【摘 要】
：
研究目前在以下方面取得了研究进展。首先,在信息服务的需求获取及协同优化方面：（1）完善了面向特征领域分析的需求获取方法;（2）完善了基于目标场景的用例驱动需求获取方法;（3）研究了
论文部分内容阅读
研究目前在以下方面取得了研究进展。首先,在信息服务的需求获取及协同优化方面：（1）完善了面向特征领域分析的需求获取方法;（2）完善了基于目标场景的用例驱动需求获取方法;（3）研究了协同分析与优化方法,同时开发了相应的支撑工具。其次,在信息服务的建模与模型演化方面：（1）研究了基于Petri网的建模和模型演化理论与方法,同时开发了相应的支撑工具;（2）研究了基于进程代数的建模与模型演化理论与方法。最后,在信息服务模型的形式化验证与确认方面：（1）研究了基于模型的测试理论与方法,并开发了相应的模型测试工具;（
其他文献
以腾冲县某2500t／d新型干法水泥熟料生产线建设项目环境影响评价实例为基础，从工程分析、大气环境影响及卫生防护距离确定、项目选址环境合理性等几个方面探讨西南山区水泥厂建
长距离有压输配水管道始末端的压力差是输配水管道中流动的动力.在设计中流量和输配水管道长度不变时,设计水头损失略小于实际高差时的管径,较为经济.针对吕梁市供水量不足的
由文化和旅游部艺术司、江苏省文化和旅游厅主办，昆山市人民政府、苏州市文化广电和旅游局承办的百戏盛典，邀请全国所有现存剧种到昆山一展风采，这无疑是空前盛举。$$我有幸在这
使用计算机对期刊编辑部进行管理是期刊发展的需要,是满足稿件管理高效化、科学化的需要.文章以稿件日常业务处理为主线索,介绍了适用于编辑部出版编辑和稿件处理的稿件管理
介绍了VRML格式的文件在数控加工仿真领域的应用，通过与目前流行的STL格式加以比较，得出VRML格式具有数据量小、计算速度快、显示效果好的特点，并通过其在VERICUT中的应用实例，验
在山东省枣庄市峄城区“冠世榴园”内，青檀树是一种奇树，它咬住青山，扎根峭壁，破岩而生，愈久弥坚，顽强地诠释着生命的奇迹。
明清三国戏曲出现了众多的翻案补恨作品,这些作品大致可以分成两类,一为翻历史定局之恨,这是翻案补恨之作的主流;二是弥补个人之恨。除此之外,转世报应也可以视为另类的补恨
介绍两种典型的有线电视网不间断电源（UPS）的远程监控系统的实现方案，设计实现了一种基于单向CATV网络UPS的远程监控通信系统，这种监控系统利用公用电话网（PSTN）传输UPS信息，这样通
2019年以来，国内外经济形势愈加错综复杂，经济下行压力亦随之加大。$$江苏启东农商银行在准确把握宏观形势的基础上，厘清经营发展思路，稳扎稳打做好今年信贷工作，坚守服务“三农”
根据科技期刊计算机信息化的现状,提出建立完整、统一的稿件管理数据库,以满足进一步提高科技期刊信息化管理和网络化水平需要的思想,并以Microsoft Excel为例,论述完整、统