【摘 要】
：
时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型,可达性分析是Petri网模型最基本分析方法。基于"状态类(State-class)"的可达性分析方法不能正确计算并发情况下的时间延迟,而基于"带时间戳的状态类(CS-class)"的可达性分析方法不能正确处理冲突情况下的事件调度,因此提出了"扩展的带时间戳的状态类(ECS-class)"可达性分析方法。它不仅正确的计
【机 构】
：
北京联合大学信息学院,中国兵器装备研究院
【基金项目】
：
国家“十五”计划基金资助项目（40405010101C）
论文部分内容阅读
时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型,可达性分析是Petri网模型最基本分析方法。基于"状态类(State-class)"的可达性分析方法不能正确计算并发情况下的时间延迟,而基于"带时间戳的状态类(CS-class)"的可达性分析方法不能正确处理冲突情况下的事件调度,因此提出了"扩展的带时间戳的状态类(ECS-class)"可达性分析方法。它不仅正确的计算时间延迟,而且合理地调度事件。并对一个时间Petri网模型进行可达性分析验证。
其他文献
为实现在不同环境的壁面上自由爬行,设计了应用仿壁虎微纳米粘附阵列的爬壁机器人,建立了机器人的动力学模型及足部与壁面之间的接触模型,并利用机械系统动力学软件ADAMS的仿真功能,对机器人沿垂直壁面爬行的运动特性进行了仿真。利用ADAMS的后处理模块的分析功能,重点研究了在一个运动周期内,模型整体质心的位移、电机转矩以及足部与壁面之间的接触力随时间的变化情况。仿真结果表明该仿壁虎爬壁机器人能够以约26
优先级顶协议是一种优先级驱动的抢占式调度协议,它具有无死锁和单阻塞的性质。Dang Van Hung和Philip Chan在文献[6]中形式地规范和验证了这两个性质。但他们没有对状态函数HiPripcp明确定义,这使得验证的细节较难理解。为了解决这个问题,提出了一种新的方法来验证优先级顶协议单阻塞的性质。通过时段演算的方法,对优先级顶协议进行了规范,并给出了状态函数HiPripcp的明确定义。根
介绍了博客网络中信息传播的博弈演化模型，利用无标度网络的健壮性对模型进行了简化，研究了在网络高效率的传播机制下信息的扩张或湮灭。将现实中博客网络的数据与仿真实验的数
提出了基于身份的签名方案为基础合理融入代理委托机制，设计出一种基于身份的代理签名方案。在安全性方面给出具体分析和相关的定理及其证明，在系统性能方面也给出了具体的分析
质子交换膜燃料电池(PEMFC)发电装置具有高能效,低噪音,常温启动和环境友好等特点。文中将对PEMFC进行稳态建模,使模型能正确反映电堆的实际输出性能。PEMFC实验模型主要是通过实验方法,建立描述电池输出特性(输出电压与电流密度关系)的经验公式。为了提高模型的精度,以便模型能更好地反映真实的PEMFC电对性能,则需要对模型的参数进行优化。通过不同的Matlab优化函数对所建模型进行参数辨识,比
介绍了数字水印技术的基本概念、重要特性以及数字水印的分类，讨论了典型的水印算法及其在不同领域的应用。
《C语言程序设计》是本科教学中理工科学生的基础课程。如何帮助学生克服学习C语言的畏难心理,培养自学能力,激发学习兴趣,是《C语言程序设计》教学的关键。为此提出了如何设
阐述了星地授时同步原理和小波变换理论，分析了小波基的选取准则以及阈值，阈值函数的选取方法。将小波变换理论应用于星地同步数据的处理上，在matlab的平台上对星地同步数据进行
互联网不断增长的多媒体应用引发人们研究如何满足这些应用的服务质量(QoS)约束。目前网络中多主机之间的多播通信一般需要严格的多个QoS保证,文中描述了一种适应于研究多播QoS路由多目标优化的网络模型,在此基础上提出了基于遗传算法和禁忌搜索混合策略的,具有多目标的多播路由QoS优化方法,以克服遗传算法的爬山能力差以及不成熟收敛等问题。此外还采用了改进的多播树编码方法及高效的遗传操作,同时还优化时延、
软件维护问题已经日益成为人们关注的焦点,除软件产品本身固有因素(如软件维护性)影响软件维护工作量外,软件维护过程也对它有着重要的影响,一个资源配置合理的维护过程能够提高维护效率,并降低维护费用。文中提出了一个用于对软件维护过程运行进行建模和评估的方法,它能够提高一个维护组织的过程成熟度和效率。该方法建立了基于排队网络软件维护过程模型,并通过GRASP仿真来确定它的运行情况,可以对多种过程方案选择进