基于Petri网的并发系统控制器设计

针对并发系统的死锁现象,通过原系统Petri网模型的状态可达图和行为规范,产生目标系统的可达图,进一步生成控制器的Petri网模型。同此为这类问题的控制器Petri网模型的生成提供一条有效途径。     

一个经典进程同步问题的几种解法

描述了经典的进程同步问题—哲学家进餐问题。解决此类问题的关键是如何避免死锁,根据信号量机制与P、V操作能协调进程并发执行的特点,提出了分析此类问题的方法,并给出了此类问题的一些解法和性能分析。     

面向对象数据库设计分析

从传统数据库的设计方法出发 ,融入面向对象特有的类 ,封装 ,多态和继承等概念 ,在分析中以面向对象数据库的设计工具— Jasmine为例 ,讲述面向对象数据库设计的主要步骤和设计方法     

改进覆盖树与标识网死锁的检测

通过在ω符号中加入令牌数增减的信息,改进了原标识Petri覆盖树的构造方法,从而提出了一种新型的覆盖树,即改进覆盖树,这种覆盖树是有限的,它可以覆盖所有的可达标识,并且每一节点都有可达标识,这种覆盖树可单独用于检测标识网的死锁,文中示例表明它是有效的。     

基于MPI的两种数据分组方式的KMP算法的实现

通过对KMP算法的研究,确定了基于MPI的KMP算法实现的可能性.主要重点是分析了MPI环境下KMP算法中目标串分组2种方式,第1种是把目标串进行平均的不重叠的分组,第2种上把目标串以模式串长度为重叠单位进行分组.并对初步的实验结果进行了分析.     

浅谈数据库中的锁

锁是数据库中的一个非常重要的概念,它主要用于多用户环境下保证数据库完整性和一致性。我们知道,多个用户能够同时操纵同一个数据库中的数据,会发生数据不一致现象。如果没有锁定且多个用户同时访问一个数据库,当他们的事务同时使用相同的数据时就可能会发生问题。     

P操作序的部分结果

给出了在一定的约束条件下，Ｐ操作次序安排的构造性定理及推论，解决了一类类似于生产者－消费者问题中由于Ｐ操作序安排不当而导致死锁的问题。     

对录入程序中的网络冲突问题的探讨

结合编写实用程序的经验，本文对用ＦＯＸＰＲＯ编写多用户实用录入程序中的网络冲突进行了探讨，主要包括如何减少网络冲突，冲突出错处理以及预防死锁等问题。     

片上网络中基于拓扑排序的死锁检测与恢复方法

提出了一种将拓扑排序应用于片上网络的死锁检测与恢复的方法.利用片上网络线资源丰富的特点,使用专用线路采集并分析网络中各通道之间的依赖关系,快速确定处于死锁环路中的通道位置,并对死锁环路进行解锁.结果表明,所提出的方法简单有效,可以支持各种路由算法,与广泛应用的死锁避免策略相比,其网络资源的利用率和网络性能有所提高,并具有一定的容错能力.
     

坐式垂直起降无人机的一种姿态解算算法的设计

固定翼模式水平飞行的坐式垂直起降无人机克服了传统固定翼无人机起降条件要求高的缺点,继承了其总体效率高的优点,拥有巨大的发展潜力和非常广阔的应用前景。坐式垂直起降无人机在起降阶段姿态变化范围大,所使用的姿态传感器在俯仰方向的角度变化超过90°时,根据四元数转换出的欧拉角会出现奇异点,即万向节死锁。从解算算法出发,提出了一种更改旋转顺序的方法,避免奇异点出现。结果表明,此方法可以很好地应用在垂直起降无人机的姿态解算上。