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

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

基于AHP的企业绩效网络考核系统设计

企业绩效具有多维性的特点,考核对象较多、考核指标复杂、主观评价指标权重难以确定使考核有一定模糊性,难以保证可靠与公平.使用层次分析法对考核指标划分层次结构,进行定性和定量分析,结构清晰,数据准确,提高了绩效考核的准确性.在算法实现中采用公式自动生成、自动计算的方法,即时给出结果分析和报表,减少了用户工作量.针对某企业的具体情况,开发了网络考核平台,为企业绩效考核提供了新的工具和思路.     

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

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

基于标号随机Petri网的GSM性能分析

GSM移动通讯网络系统是目前国内覆盖最广、可靠性最高、容量最大、保密性强的公共无线数字传输系统.GSM通信分系统在车载单元与监控中心之间进行数据传输,其性能优劣对车载定位系统起着十分重要的作用.结合实时UML状态机的直观、平台无关性特点和LSPN的理论分析能力,研究了GSM通信模块的工作模式,结合实例初步探索了该方法在移动通讯网络性能分析中的适用性.     

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

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

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

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

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

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

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

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

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

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

圆形窗口的凸多边形裁剪

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