基于Petri网的异步并发系统建模方法及应用研究

从Petri网的角度,异步并发是指两个或多个事件没有因果关系及由因果关系产生的顺序,与是否同时或是否有统一的时间控制没有关系。异步并发系统具有对称性、自返性而不具备传递性。其建模过程涉及到变迁发生的条件、结果以及是否存在冲突、冲撞等问题。用异步并发系统的建模方法改进Linux系统的队列数据结构,用Visobjnet++软件进行模拟,并编程测试,得到了比原结构更高的效率。

基于Petri网模型的异步并发性

通过分析Petri网的网状结构特性,研究其描述异步并发的能力和特点.然后以Petri网的角度重新定义异步并发的概念,并结合实际异步并发应用中的特性,完成建模过程分析.最后,以教务系统中排课系统A jax的异步传输机制为例建立模型,指导和检验系统的运行情况.

多任务的异步并发在梯级AGC系统中的实现

探讨了实时条件下多任务的程序设计技术,并给出了实现方案与基本编程模型。针对并发程序设计并发性、共享性的特点,对引入多线程机制如何提高软件系统处理速度,以及可能带来的问题进行充分研究,并结合三峡梯级AGC工程应用实际找出了瓶颈及制约因素,提出了针对性的解决策略。实际运行验证表明,该方案充分利用了UNIX小型机的资源优势,有效提高系统整体性能,满足了AGC系统对实时性的要求。

MDB负载均衡和异步并发的短信分发系统研究

针对单线程短信系统和单一同步机制的多线程短信系统在处理分发短信的大数据量和高并发量的不足,为了确保大量的短信息应用的实时性,提出基于MDB动态负载均衡算法和异步并发多线程调度策略的短信分发系统,详细描述该系统的整体设计方案和使用的算法策略,并且实现该系统和进行实验测试。通过实验证明,该系统是可以确保短信应用的高并发性和实时性。

基于流程组态的电力系统安全稳定分析并发计算

针对电力系统安全稳定分析分布式计算的应用现状,基于异步并发和工作流的思想,提出了一种适应于粗粒度算例并行的电力系统安全稳定分析多层次并发计算框架。通过多数据断面并行和多应用功能并发,在不改变安全稳定分析程序算法逻辑的前提下,实现对不同断面下多个应用功能的计算任务异步并发调度管理,有效提高了计算资源的利用率。基于过程定义方法对安全稳定分析应用功能进行统一封装,满足不同运行场景下安全稳定分析计算流程的定制化需求。该技术已在多个省级及以上电网安全稳定综合防御系统中得到应用,验证了该方法的有效性。

短消息网关协议的异步实现

研究分析了中国移动的CMPP协议和中国电信的SMGP协议,提出了一套兼容两大运营商的短消息网关协议的完善的异步双工实现方法,能很好地支持大流量的高速并发通信,具有独特的基于滑动窗口的流量控制机制和重发机制,适用于短消息网关系统的设计或服务提供商的网关接口设计。对短消息网关协议提出了一些改进建议。

基于Petri网的文件并行传输优化方案

Petri网是一种适合于描述异步并发现象的计算机系统模型.Petri网理论的分析方法和技术既可用于静态的结构分析,又可用于动态的行为分析,最适合表示事件之间的并行性和自然相关性.因而,用Petri网来描述、分析和研究并发现象有独特的优越之处.在分布式网络环境下文件并行传输方案的设计中,传统的分析方法是采用线性规划,这样往往需要求解庞大的线性方程组.基于Petri网的文件并行传输优化方案可大大简化这一过程,并能达到更直观、更理想的效果.

基于Petri网的动态建模技术的研究

Petri网是一种适合于描述异步并发现象的计算机系统模型。本文所提出的Petri网理论的分析方法和技术即可用于静态的结构分析,又可用于动态的行为分析,最适合表示事件之间的并行性和自然相关性。本文利用一个典型实例对基于Petri网的动态建模技术做了方法性的研究,并给出了动态建模技术的一般方法。

嵌入式实时操作系统特点与应用初探

随着科学和经济的进步,计算机技术也在迅猛的发展,芯片制造工艺也日益的崛起,嵌入式实时操作系统的应用也日渐广泛。我们家里也有各式各样的嵌入式实时操作系统,最简单的就是我们现在手里拿的手机,通过这种系统软件来达到为我们服务的目的,还有就是电视遥控器,等等。在军用飞机,航空母舰,中也都有嵌入式系统的身影。本文主要是对嵌入式实时操作系统的特点以及其应用进行探究讨论。

正则Petri网的研究

State equation method based on incidence matrix ,which shows the structural property of Petri Nets ,has been used widely in the reachability analysis ot Petri Nets. However,due to the state explosion, the complexity of this method increased exponentially when the rank of this incidence matrix is not full. So in this paper ,a new Petri Net model——full rank Petri Net has been proposed to solve this problem.