一种分布式实时嵌入式系统的调度分析算法

针对现有的基于Petri网的调度分析算法存在的不足,提出了一种适合于分布式实时嵌入式系统的调度分析算法。该算法使用相对的触发域判定调度序列中的变迁是否可以调度;通过引入并行间隔,记录了调度序列中的并行变迁的相对执行时间;在计算调度长度时,使用并行间隔作为并行变迁的执行时间,从而得到了正确的调度分析结果。     

基于Petri网的出口物流系统建模研究

出口物流系统是由离散业务组成的动态的系统,其业务流特征是以信息的传递和处理来推动系统的运行。本文在介绍Petri网定义、变迁规则的基础上建立其Petri网模型,提出业务流在Petri网中的运行方法以及利用Petri网分析其业务流属性的途径。     

基于Petri网的时间约束问题

为了解决复杂工作流模型中时间约束造成工作流崩溃问题,提出条件模糊时间Petri网工作流模型.首先给出条件模糊时间Petri网工作流的定义.然后给出模糊时间Petri网的三种基本模式的模糊时间推理,得到每种模式下Petri网工作流模型,同时在理论上验证所提出模型的必要性.最后通过实例说明根据条件模糊时间Petri网工作流建模,可以有 效地避免由于时间约束造成的工作流崩溃问题.     

自动机Petri网逐层加细法应用于多微处理机系统的设计

本文提出设计多微处理机系统的一种有条理的统一的方法,它基于—Petri网(所谓“自动机”联成的Petri网)逐层加细这一思想。待设计的计算系统所要完成的算法先策略地勾画成最高一级的—Petri网,而后,类似于结构程序设计那样,自顶向下,从最高一级—Petri网这一模型逐步成层次地在解释上加细—Petri网的各结点(p结点解释以数据结构,t结点解释以运算),最终达到用具体的自动机描述各t结点的功能(它们对输入p结点进行处理,将结果传递给输出p结点)。据此,可着手以互连的微处理机群(必要时,补充以随机逻辑)实现出来。作为例子,文中还提出在通用意义上的多微处理机系统,它实现所谓的扩充von Neumann总体结构,其中用并行计算的一图程序类(它实质上又是一类Petri网)代替了通常的串行计算程序。以M6800微计算机族为基础,阐明如何用本文提出的设计方法来实现扩充von Neumann总体结构。     

一种扩充PC并行支路数的实用方法

基于Petri网模型，提出一种扩充可编程控制器（PC）并行支路数的实用方法，从而克服PC用于多路并行控制时存在的局限性。该方法在用于某厂多路故障报警系统的PC程序设计中获得成功。     

Pelof语言的一种操作语义模型

Pelof 是一种融合 Petri 网、逻辑和函数三种风格的作用式并行程序设计语言.它的基本成分是谓词和函数,Petri 网体裁提供并行控制的工具.文献[5]中给出了 Pelof 语言的文法及设计思想.本文在文献[1,2]工作的基础上,以 FFP[3]为抽象机,采用形式化的方法为 Pelof 语言塑造了一种操作语义模型.     

可达树分析法及其在测试中的应用

介绍了数字电路故障诊断的Petri网模型和Petri网的分析方法之—─—可达树分析法。该方法应适用于各种Petri网,但由于状态空间的复杂,其限适用于较小Petri网。并研究了可达树分析法在数字电路故障测试中的应用。     

并行异步过程多微处理机—控制器设计方法论的探讨

本文探讨:用来控制并行异步而无干扰的诸过程(其中可以有微计算机)的那种控制结构被实现成多微处理机—控制器时可依循的设计原理和方法。为了适应多微处理机的应用,本文用多种语义给予表示并行系统的 Petri 网模型以半解释,其中 p 结点可被解释成带引燃号的定长向量,t 结点可被解释成(内部)过程。称这样半解释的 Petri 网为 MP 网。MP 网可用来描述并行系统的微控制、宏控制、或微宏混合控制。利用多微处理机来实现 MP 网,此多微处理机—控制器用来控制并行异步的过程,它们并行地异步地进行工作而无干扰。文中提出根据MP 网设计多微处理机—控制器的一般原理和方法的基本思想。分解 MP 网成各子MP 网,这些子 MP 网分别以微处理机实现之,而它们所共享的那些 p 结点实现成为它们相互间通讯用的邮箱。所有这些微处理机通过邮箱联系起来,组织成所要设计的多微处理机—挖制器。以微计算机族 M6800为例来阐明本文提出的方法论基本思想。本文未臻形式化阶段,基本上以直觉的形式叙述基本思想,而未完全论证,还不是完备的方法论,仅供讨论。     

基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。     

信息不完全应急物资转运系统的随机Petri网建模

对信息不完全条件下的应急物资转运系统建立了一个随机Petri网模型。根据这一模型，找到了计算各个状态中驻留时间、卡车的平均利用率、物资分发点等待物资的平均等待概率、物资分发点等待物资的平均等待时间的方法。使用这个模型对某企业在汶川特大地震应急物资保障中的物资转运系统的性能进行了计算，性能计算的主要结果与实际统计数据吻合。     

一种有向图并行性拓扑排序算法

论述了有向图并行性拓扑排序的基本概念及其算法,解决了目前有向图拓扑序列串行性的缺点,说明有向图并行拓扑排序具有应用范围广、实用价值大的特点.     

遗传算法应用于并联管道计算中的研究

传统求解并联管路的水力计算的方法不是精度低就是限制条件多。设计了一种改进的遗传算法求解的方案，对适应度函数的选取作了详尽地分析，并提出了可增强局部搜索能力的微调变异算子。并联管路的水力计算实例证明了改进的遗传算法的有效性。     

提高连云港西港区铁路运输效率的思考

结合连云港港西港区铁路运输发展实际,阐述了连云港港口路港直通状况,分析了当前港口铁路运输中存在的问题,在此基础上,从提高空车利用率与作业效率、减少路港双方在装车环节的重复作业、增加装车线的数量和长度方面提出了在直通运输形势下提高港口铁路运输效率的路径选择。     

人为加强产品可靠性分析

分析了人为因素对产品可靠性的影响,提出了一个动态的复合系统的可靠性优化模型,定量分析了在并联情况下人为可靠性因素的提高程度。通过对模拟值的运算,验证了复合系统的可靠性优化模型的有效性。     

罚转向网络最短路径研究

建立和研究了具有转向惩罚值的网络模型。在引入了罚转向网络符号及规则后,对所建立的罚转向网络模型的有关最短路径的性质进行了研究,提出了以标记法为基础的求解最短路径的算法,最后给出了应用该算法的一个简单实例。     

大学生数学观念、数学学习行为的调查分析

对大学生的数学观念与学习行为进行了调查。他们认为高等数学的研究对象是早已存在的抽象、严谨的真理;是大量的定理、公式、计算;它的发展应是关于猜想、证明、反驳的社会建构活动;绝大多数学生对“高等数学是否有用”持有矛盾的心理。他们的数学观念与所采取的学习行为之间有一定的联系。     

一种基于并串结合方式的波控系统设计

针对相控阵雷达波控系统的特点,提出了一种基于并串结合方式的波控系统,实现对相控阵雷达众多T/R组件的波束控制.本文指出了几种常用波控系统设计的优缺点,重点介绍了本波控系统设计的原理、组成和具体实现方法,并介绍了该波控系统设计在各方面带来的改进,包括布相时间短、波束切换快、系统扩展方便,同时能够有效的减少阵面走线、提高波控系统的可靠性和可维修性.     

冰蓄冷空调系统配置模式分析

介绍了冰蓄冷空调系统的各种配置模式，并且按机优先和冰优先两种工作模式，分别对串联系统和并联系统的工作特性进行了分析，据此提出一种理想的冰蓄冷空调系统模式及经济运行模式的原则。     

Pre—Invex函数的择一性定理

本文提出了一种予一仿射函数的概念,並进而讨论了关于予——不变凸函数与予——仿射函数的择一性定理,这些结论拓广和改进了关于凸函数不等式系统的几个Fan.ky定理。     

《聊斋志异》复合叙事序列论析

《聊斋志异》使用了连续式、镶嵌式、并列式、串珠式等复合叙事序列,在使用小说叙事序列和结构模式方面独具匠心,体现了作者在文言小说艺术空间上的开拓与创新。