排序方式: 共有51条查询结果,搜索用时 15 毫秒
1.
在分析传统的分布式实时嵌入式系统开发过程中,针对服务质量(QoS)评价方法存在弊端的问题,总结了运用模型驱动工程(MDE)对分布式实时嵌入式系统的服务质量进行管理,将服务质量评价引入系统开发周期的各种探索,指出该方法应解决的几个关键问题,并分析了几种具有代表性解决方案的优缺点,提出了解决方法和建议. 相似文献
2.
企业绩效具有多维性的特点,考核对象较多、考核指标复杂、主观评价指标权重难以确定使考核有一定模糊性,难以保证可靠与公平.使用层次分析法对考核指标划分层次结构,进行定性和定量分析,结构清晰,数据准确,提高了绩效考核的准确性.在算法实现中采用公式自动生成、自动计算的方法,即时给出结果分析和报表,减少了用户工作量.针对某企业的具体情况,开发了网络考核平台,为企业绩效考核提供了新的工具和思路. 相似文献
3.
4.
GSM移动通讯网络系统是目前国内覆盖最广、可靠性最高、容量最大、保密性强的公共无线数字传输系统.GSM通信分系统在车载单元与监控中心之间进行数据传输,其性能优劣对车载定位系统起着十分重要的作用.结合实时UML状态机的直观、平台无关性特点和LSPN的理论分析能力,研究了GSM通信模块的工作模式,结合实例初步探索了该方法在移动通讯网络性能分析中的适用性. 相似文献
5.
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网活性的控制装置。 相似文献
6.
提出了一种新颖而实用的圆形窗口V对多边形P的裁剪算法。它将多边形P的边视为有向线段,通过引入多边形顶点的入边和出边交点的概念,深入研究了P被V裁剪后的区域确定问题,给出了作出P在V内部分的定理 相似文献
7.
杜玉越 《计算机应用与软件》1998,15(1):23-28
本文提出了一种实用的圆与多边形重叠区域的判定算法,它集判断与确定功能于一体。该算法将多边形的边视为有向线段,通过引入多边形顶点的入边,出边交点的概念,研究了圆与多边形重叠区域的确定问题,并给出了作出其重叠区域的定理。 相似文献
8.
T—组合Petri网络活性和公平性分析 总被引:1,自引:0,他引:1
同步合成是研究复杂Petri网络系统性质的有效途径。文中通过引入可引发变迁序偶的概念,研究了T-组合(同步合成)Petri网对子网的活性和公平性继承关系,给出了一组T-组合Petri网活或公平的充要条件和充分条件。这些结果对网组合同步设计具有重要的指导意义。 相似文献
9.
流程结构演化是实现服务流程重构的一种有效手段,可以充分利用已有流程资源快速定制满足新业务需求的服务流程.然而,当前服务演化研究多关注于流程局部组成服务以及接口参数的兼容替换,对于流程结构演化所提供的操作过于简单,难以应对复杂流程演化场景.针对上述问题,提出一种基于逻辑Petri网的服务流程结构演化形式化描述方法.利用逻辑Petri网将服务流程建模为服务网,在服务网的基础上,针对不同的演化需求构建相应的结构演化运算;引入结构范式概念评价服务流程的结构健壮性,并借助逻辑Petri网的结构性质来分析与验证所建立的演化运算对流程结构范式的级别保持问题.给出了基于流程结构演化的服务流程定制框架,并基于所提出结构演化运算设计开发了仿真验证平台,验证了方法的有效性. 相似文献
10.