基于Petri网的综合教学实验平台研究

设计了一种综合教学实验平台。该综合实验平台将现有的课程实验设备集成到平台中并根据电力系统中发电到输配电环节的结构设计七大功能模块模拟电力系统运行,其中故障诊断模块利用 Petri 网建立故障诊断模型对实验平台进行监控并保证其稳定运行。算例分析证明该实验平台具有良好的故障自诊断能力,满足了实验教学的需求。     

Petri网的活性与安全性的理论研究

针对Petri网的子类的活性和安全性,对AC网的子类,扩展的强化非对称选择网（ESAC）进行了再一次扩张,定义了新扩展的强化非对称选择网（NESAC）。通过对NESAC的活性与安全性的讨论,得到了非对称选择网（AC）的一个大类的某些性质判定;进而讨论了AC网的活性和安全性,得到了一个有效的算法。该课题研究了网的合成的一些基本性质,从理论上讨论了AC网的活性特征。     

基于着色Petri网的工作流模式研究

工作流技术的出现为解决现代企业信息化的需求提供了一种有效的技术方案,已成为工作流理论研究领域的热点,文章在分析经典Petri网建模能力的基础上,采用一种着色Petri网对文献[3]中提出的23种新的工作流模式进行建模研究。结果表明着色Petri网具有更强大的建模能力,能灵活实现这些复杂的新的工作流模式。     

基于组件的分布式三层体系结构应用系统研究

在研究组件技术的基础上,作者设计并实现了基于组件的分布式三层体系结构的测井评价系统的服务端组件.为了便于客户端调用服务器端的组件和便于对服务器组件的管理,在服务器端采用了由一个主管理组件统一调度各子功能组件总体结构;为了提高服务器端的运行效率,对功能子组件采用DLL进程内服务器模式,对主管理组件采用EXE非本地服务器模式.     

基于优先级的Java线程唤醒机制研究与实现

目的 针对Java多线程访问临界资源时不能按优先级唤醒的问题,设计一个基于优先级唤醒等待临界资源线程的组件,保证高优先级线程优先获得临界资源,提高通用环境下Java的实时性能.方法 创建具有扩展优先级的线程类,为每个共享资源的线程创建包含唤醒用优先级信息的线程代理,线程的唤醒由与共享资源唯一相关的线程代理集合类按照优先级顺序在代理集合中完成.结果 使用该组件,等待集合中的线程总是按照优先级高低进行唤醒.结论 能够创建访问共享资源时可按优先级唤醒、运行可以预测的Java线程,同时优先级等比例映射有效地解决了原Java线程优先级太少而无法按优先级调度过多线程的问题.     

行为协调知识的形式化研究

近年来,关于协调已有大量的研究成果,但对于协调问题中依赖关系及协调策略多是作定性的表述,给出的一般都是非形式化的结果,难以实现协调问题的计算机求解.针对这一难题,利用形式化和图形化的建模工具Petri网对协调问题中的依赖关系及协调机制进行研究,提出任务之间基于资源的3种基本依赖关系,并用Petri网对这3种依赖关系相应的协调机制进行了表述,最后用XML语言时Petri网表示的协调机制进行了形式化,为协调问题的可计算化提供了一种新的思考角度.     

Design of Onboard Instrument Based on Virtual Instrument Technology

After analyzing and comparing the traditional automobile instrument,the onboard instrument based on virtual instrument technology is designed in this paper.The PC/104 computer was employed as the core processing unit of the onbaard in- strument,and the several intelligent data acquisition nodes are set and connected by the CAN bus,through which the nodes can com- municate with the core processing unit.The information of the vehicle's working condition can be displayed synthetically by adopt- ing virtual instrument technology.When the working condition goes beyond its limit,the system can emit an alarm,record and storage the abnormal condition automatically,and suggest how to deal with the abnormity urgently.The development background and design idea of onboard information system were elaborated in the paper.The software,the hardware architecture and the principle of onboard information system were introduced in detail.     

基于扩展Petri网的PPCES建模研究

针对Job—shop型生产系统中NP难度的调度问题，利用生产计划与控制专家系统(PPCES)进行启发式搜索，根据Petri网建模原理及PPCES的推理需要，对生产系统建模，定义了一类扩展有色、时间Petri网．实践证明，这种方法不仅可以在增强模型描述能力的同时有效地降低其复杂度，还可以应用专家系统领域的知识指导系统进行冲突消解，从而避免了常规分析方法所带来的组合爆炸问题．     

基于Petri网时间约束工作流的研究与应用

针对目前工作流管理系统中时间管理研究现状,以基于时间Petri网的工作流建模方法为基础,把时态逻辑引入到控制流中,给出其形式化定义.借助相关的理论,全面、系统地分析该模型的时态特性,提出基本模型等效变化规则,对复杂工作流的进行时间约束的等效变换,对存在时间冲突的活动进行动态调整;最后以一个实例对文中提出的方法进行了论证...     

基于三维地形的虚拟仪表仿真技术研究与实现

虚拟仪表仿真技术研究一直是航空仿真领域中热门研究课题。文章研究了某型飞机虚拟仪表在Creator／Vega开发环境下利用DOF技术的快捷实现方法,讨论仪表的数据驱动技术,应用多线程编程技术实现仪表的实时仿真功能。仿真结果表明该系统具有开销小、延迟低特点,平均帧率达到30fps以上,满足实时交互需求。     

基于面向对象技术与有色Petri网的FMS建模

在柔性制造系统建模中，结合应用面向对象技术和有色Ｐｅｔｒｉ网。提出了该建模方法在ＦＭＳ中的应用思路和步骤：运用思想将ＦＭＳ抽象化、对象化并从整体上规划对象间的信息交流，建立系统级信息Ｐｅｔｒｉ网模型；在此基础上，建立了对象内部行为的有色Ｐｅｔｒｉ网模型。     

基于虚拟仪器技术的逻辑分析仪的研制

介绍了基于虚拟仪器技术的逻辑分析仪的研制,以FPGA为重点阐述了硬件系统的设计,同时给出了单片机固件程序和VC++上位机程序的设计.由于采用USB2.0接口,该虚拟仪器具有传输速率高、使用方便等优点.     

基于Labview虚拟仪器技术的粉尘浓度测控系统研究

针对某工业产品在特定浓度粉尘的使用可靠性检测需求,本文设计了一种基于朗伯-比尔定律和labview虚拟仪器技术的粉尘浓度光电测控系统。在阐述其测控原理的基础上,搭建了测量和实验装置实物。通过称重实验对测控系统精度进行验证,结果证明系统满足1.8±0.2g/m3的粉尘浓度测控精度要求,本文所研究的测控系统的优点在于各控制参数精确可控,同时由于借助虚拟仪器技术,可视化程度更好。