排序方式: 共有51条查询结果,搜索用时 15 毫秒
1.
在分析传统的分布式实时嵌入式系统开发过程中,针对服务质量(QoS)评价方法存在弊端的问题,总结了运用模型驱动工程(MDE)对分布式实时嵌入式系统的服务质量进行管理,将服务质量评价引入系统开发周期的各种探索,指出该方法应解决的几个关键问题,并分析了几种具有代表性解决方案的优缺点,提出了解决方法和建议. 相似文献
2.
3.
GSM移动通讯网络系统是目前国内覆盖最广、可靠性最高、容量最大、保密性强的公共无线数字传输系统.GSM通信分系统在车载单元与监控中心之间进行数据传输,其性能优劣对车载定位系统起着十分重要的作用.结合实时UML状态机的直观、平台无关性特点和LSPN的理论分析能力,研究了GSM通信模块的工作模式,结合实例初步探索了该方法在移动通讯网络性能分析中的适用性. 相似文献
4.
杜玉越 《计算机应用与软件》1998,15(1):23-28
本文提出了一种实用的圆与多边形重叠区域的判定算法,它集判断与确定功能于一体。该算法将多边形的边视为有向线段,通过引入多边形顶点的入边,出边交点的概念,研究了圆与多边形重叠区域的确定问题,并给出了作出其重叠区域的定理。 相似文献
5.
6.
T-组合Petri网的活性和公平性分析 总被引:1,自引:0,他引:1
同步合成是研究复杂Petri网系统性质的有效途径.文中通过引入可引发变迁序偶的概念,研究了T-组合(同步合成)Petri网对子网的活性和公平性继承关系,给出了一组T-组合Petri网活或公平的充要条件和充分条件.这些结果对网组合同步设计具有重要的指导意义 相似文献
7.
8.
S-组合Petri网的活性分析与实现 总被引:19,自引:1,他引:19
设Σ1=(N1,M1),Σ2=(N2,M2)是两个Petri网,且不含有冻结标志,Ni=(Si,Ti;Fi),i=1,2,T1∩T2=Φ,S1∩S2≠Φ,本文定义了Σ1,Σ2的S-组合Petri网Σs,通过引入Petri网互逆位置序偶的概念,深入研究了Σs的活性,给出了Σs有界活的几个判定条件。若Σ1,Σ2是两个活的Petri网,最后提出了一种实现S-组合Petri网活性的控制装置。 相似文献
9.
为了解决现有模型修正方法仅考虑拟合度,而忽略精确度以及简洁度等指标的问题,提出一种基于逻辑Petri网的模型修正技术。利用已有的一致性检测技术计算最优校准,并通过标识所在库所定位偏差位置。给出了逻辑校准和逻辑最优校准的定义,并提出一种基于最优校准的计算拟合度的方法。将本文所提方法与Fahland方法进行对比分析,表明本文修正方法的拟合度和精确度更高,能够更好的修正带有复杂循环结构的流程。最后,通过仿真实验证明了方法的有效性。 相似文献
10.
改进的最小割集生成算法与联锁系统模型的安全性测试* 总被引:1,自引:0,他引:1
为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。 相似文献