基于逻辑Petri网的模型修正方法

为了解决现有模型修正方法仅考虑拟合度,而忽略精确度以及简洁度等指标的问题,提出一种基于逻辑Petri网的模型修正技术。利用已有的一致性检测技术计算最优校准,并通过标识所在库所定位偏差位置。给出了逻辑校准和逻辑最优校准的定义,并提出一种基于最优校准的计算拟合度的方法。将本文所提方法与Fahland方法进行对比分析,表明本文修正方法的拟合度和精确度更高,能够更好的修正带有复杂循环结构的流程。最后,通过仿真实验证明了方法的有效性。     

基于服务簇的服务组合替换与分析

提出了一种基于服务簇的服务替换方法。将服务库中服务聚类形成服务簇,并建立相应的服务簇网元及其矩阵模型。假设基于服务簇的服务组合已建立,通过分析服务组合流程,构建了组合服务网模型。根据失效服务网元标准矩阵和组合服务网模型,提出了一种替换服务的快速查找与替换算法。实验结果例证了本文方法的正确性和有效性,并表明基于失效服务网元标准矩阵实施服务替换,可提高服务的替换效率,保持服务组合模型的健壮性。     

改进的最小割集生成算法与联锁系统模型的安全性测试*

为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。     

圆形窗口的凸多边形裁剪

已有的多边形裁剪算法都是针对矩形窗口或凸多边形窗口进行的。但是，在实际应用中，也常常使用圆形窗口对多边形区域进行裁剪和填充。因此，本文提出一个对干圆形窗口的凸多边形区域裁剪法，并且给出作出凸多边形Ｐ在窗口Ｖ之内部分的定理。     

Web服务组合的有色网模型及运算性质

定义了一种基于有色Petri网的Web服务组合模型,这一模型能清晰表达服务组合中各组成部分之间的逻辑关系,并可模拟组合服务的执行,分析其动态性质．给出了服务、服务组合运算的定义及性质、服务组合的建立与执行算法．     

圆与多边形重叠区域的判定算法

本文提出了一种实用的圆与多边形重叠区域的判定算法，它集判断与确定功能于一体。该算法将多边形的边视为有向线段，通过引入多边形顶点的入边，出边交点的概念，研究了圆与多边形重叠区域的确定问题，并给出了作出其重叠区域的定理。     

S-组合Petri网的活性分析与实现

设Σ１＝（Ｎ１，Ｍ１），Σ２＝（Ｎ２，Ｍ２）是两个Ｐｅｔｒｉ网，且不含有冻结标志，Ｎｉ＝（Ｓｉ，Ｔｉ；Ｆｉ），ｉ＝１，２，Ｔ１∩Ｔ２＝Φ，Ｓ１∩Ｓ２≠Φ，本文定义了Σ１，Σ２的Ｓ－组合Ｐｅｔｒｉ网Σｓ，通过引入Ｐｅｔｒｉ网互逆位置序偶的概念，深入研究了Σｓ的活性，给出了Σｓ有界活的几个判定条件。若Σ１，Σ２是两个活的Ｐｅｔｒｉ网，最后提出了一种实现Ｓ－组合Ｐｅｔｒｉ网活性的控制装置。     

基于圆形窗口的简单多边形裁剪算法

提出了一种新颖而实用的圆形窗口Ｖ对多边形Ｐ的裁剪算法。它将多边形Ｐ的边视为有向线段，通过引入多边形顶点的入边和出边交点的概念，深入研究了Ｐ被Ｖ裁剪后的区域确定问题，给出了作出Ｐ在Ｖ内部分的定理     

基于MDA和可执行形式化的可信软件设计

提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。     

模型驱动工程在分布式实时嵌入式系统QoS评价中的应用

在分析传统的分布式实时嵌入式系统开发过程中,针对服务质量(QoS)评价方法存在弊端的问题,总结了运用模型驱动工程(MDE)对分布式实时嵌入式系统的服务质量进行管理,将服务质量评价引入系统开发周期的各种探索,指出该方法应解决的几个关键问题,并分析了几种具有代表性解决方案的优缺点,提出了解决方法和建议.