论文部分内容阅读
在系统测试中,对处理器或部件之间的通信验证是非常重要的.为此,本文提出把统一建模语言的顺序图转换成为马尔可夫链标记语言的方法.文中介绍了基于统计软件测试的欧盟项目中有关的主要技术.还介绍了基于扩展标识语言的马尔可夫链标记语言的主要结构及编码方法.最后,给出了相应的算法及实现技术.
基于马尔可夫链使用模型的系统测试
【摘 要】
：
在系统测试中,对处理器或部件之间的通信验证是非常重要的.为此,本文提出把统一建模语言的顺序图转换成为马尔可夫链标记语言的方法.文中介绍了基于统计软件测试的欧盟项目中
【出 处】
：
计算机集成制造系统
【发表日期】
：
2003年z1期
其他文献
为拓展水电工程导流方案多属性决策理论,更好地辅助解决导流方案决策问题,针对施工导流决策评价指标间灰色关联性,提出了一种考虑主观认知的灰色关联定权方法。该方法结合决
自制简易胆道测压装置检测胆道压力及胆汁流量杜茂蓉陈茂清杨银华（南充市第五人民医院６３７１００）（岳池县人民医院）我院从１９８７年５月～１９９６年７月，对７６例胆道术后病人施行胆道测压及胆汁流量测定，为早期闭管的
分析了远程协同设计的现状，讨论了浏览/服务器模式的特点和服务器端应用程序开发的通用网关接口、数据库连接器、服务器编程接口技术，提出了远程协同设计与制造的原形系统并给
冷冻治疗女性外阴尖锐湿疣６０例报告朱淑华（川北医学院附属医院妇产科）本文报告１９９５年８月至１９９６年３月６０例女性外阴尖锐湿疣进行冷冻治疗的效果进行总结。认为女性外阴尖锐湿疣发病率高，传染性强
针对当前大坝安全监测信息发布对终端便携性和实时性的需求,开展了基于移动终端的大坝安全监测信息发布平台研究。通过对平台通用数据接口、图表后台处理以及多级阈值判定等
要在工程领域中应用多Ａｇｅｎｔ系统作为新的分布式智能手段，实现 协同设计与开发，首先必须把握好Ａｇｅｎｔ的概念和原理，为产品设计与开发的计算机辅助分布式智能协同环境打下紧实扔理论基础。
调查了我国实施并行工程的企业，分析了它们当前在组织集成上的做法和存在的问题。并提出了解决的措施。然后进一步提出这几种组织集成的具体方法。
在协同设计过程中，由于相互影响、制约的协同小组对设计的考虑角度、评价标准、领域知识不尽相同，从而导致设计冲突的产生。由于冲突在设计过程中特有的正、负面影响，冲突消解在
水利水电工程一般位于偏远山区,所需的外来物资数量大且包含发电机组重件及大件设备,其对外交通运输方案的优选是水利水电工程前期设计阶段要解决的重要问题。根据水利水电工
ＳＴＥＰ的应用协议规定了特定应用领域可共享的模型，但其限制太严，应用者难以有足够的灵活性，本文给出了一种基于多视图的ＳＴＥＰ模型管理方法，它将应用视图与ＳＴＥＰ的应用协议相分离，通过视图来提供基