基于Petri网下的哲学家就餐问题的模拟与验证

哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个有代表性的问题,该问题是评价同步方法的一个测试标准.利用Petri 网的C/E系统来模拟哲学家就餐问题具有很好的实用背景,因为C/E系统下的条件事件集的发生可以用开关或者门电路来实现.通过采用C/E系统来完善哲学家就餐问题的模型,并给出一个可以允许外部条件来加以有选择控制的模型.     

论艺术设计多学科合作实验平台的系统设计

多学科合作在艺术设计实验教学中的作用日益凸现。以艺术设计实验中心为例,对多学科合作实验教学体系的建立、多学科合作实验教学课程设置、跨专业的实验室整合与开放、实验教师及专业技术人员队伍的管理等方面进行探讨,以期为艺术设计教育的研究和实践提供更有价值的参考。     

YAWL与BPMN的双向映射研究

对高级建模语言YAWL及BPMN进行了研究.提出BPMN与YAWL语言之间的双向映射算法.转换可使得建模时对不同高级语言各取所长,减少重复开发的费用.算法的最终实现已以插件嵌入到进程挖掘开发平台ProM6.0中.     

带抑制弧Petri网极小活标识的配置

讨论无冲突带抑制弧Petri网结构活性的判定条件,即证明一个结构活的网,扩充为带抑制弧的网后仍然活当且仅当生成的抑制弧网具有持续性.给出一个已知结构活的带抑制弧网的极小活标识的配置算法,将网的极小活标识配置最终转化为环路中极小活标识的求解.与传统方法相比,新算法不仅易于程序实现,且时间复杂度是多项式的.     

乙炔——氯乙烯混合气的气相色谱分析 Ⅲ、以磷酸三丁酯作为固定液

前文述及使用糠醛一硝基苯混合固定液分离空气-乙炔-氯乙烯,混合柱分离效率高,柱子短,分析时间节省,但糠醛易于挥发。为了进一步寻找效率高、寿命长的色谱柱,我们广泛地进行了选择。根据对三组份分析的经验,我们认为,作为色谱柱的固定液,除一般地对固定液的要求外,还应符合如下几个原则:(1) 乙炔的保留体积大,这样可以在适当的缩短柱长后仍能保证乙炔与空气的分离;(2) 氯乙烯与乙炔的     

基于增广Petri网的实时交通信号控制系统

利用带抑制弧/使能弧、自控网技术的增广Petri网设计了一种交叉路口实时交通信号控制系统,通过采集路面车流量信息实时改变每个信号灯周期内各相位时长,模型通过了正确性分析.并依据该模型开发了Java原型系统,实验表明该系统能有效缓解交叉口的交通滞留.     

YAWL到BPMN的映射研究

针对YAWL语言目前存在较多OR逻辑二义性的情况,提出将YAWL转换成BPMN语言.转换不仅可以解决YAWL在多实例、同步和取消等模式表达上存在的不足,转换后更为简洁的BPMN模型也有利于进一步性质分析.算法的最终实现已嵌入到最新的ProM5.2平台中.     

结构活网极小标识的一个求解算法

活性(Liveness)是Petri网的基本性质.从网的关联矩阵以及所定义变迁发生序列的结构,求解结构活网的极小标识,得到了一个多项式时间算法.     

公文交换系统的安全解决方案

在分析政府部门间公文交换存在问题的基础上,提出了基于CA技术的公文交换系统信息安全解决方案。并对方案中关键环节（比如安全性要求,收发流程等）进行了充分的论述,并详述了该系统安全传输的解决方案。     

地下车库空气智能通风系统的设计及实现

探讨了地下车库空气的质量状况,针对日益严重的污染现状开发研制了适合国情的智能通风系统（LB系列）,改善了地下车库的污染状况,实现了管理的规范化和网络化。介绍了该系统的结构、各模块功能,并指出该系统需要进一步完善,扩展的内容。