Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy

Concurrent programs written in a machine level language are being used in many areas but verifi- cation of such programs brings new challenges to the programming language community. Most of the stud- ies in the literature on verifying the safety properties of concurrent programs are for high-level languages, specifications, or calculi. Therefore, more studies are needed on concurrency verification for machine level language programs. This paper describes a framework of a Petri net based safety policy for the verification of concurrent assembly programs, to exploit the capability of Petri nets in concurrency modeling. The con- currency safety properties can be considered separately using the net structure and by mixing Hoare logic and computational tree logic. Therefore, more useful higher-level safety properties can be specified and verified.     

基于柔性总线的嵌入系统虚拟平台研究及实现

针对嵌入系统设计过程中普遍存在系统级仿真支持不够、硬件描述手段缺乏、仿真系统可移植性差等问题,提出并实现了一种基于柔性总线的嵌入系统虚拟平台。通过引入柔性总线设计概念,实现嵌入系统底层架构的柔化,在此基础上建立软/硬件协同设计及仿真集成环境和实时并发仿真控制台。平台采用面向实现模型的仿真机制,可迁移应用于不同设计抽象层次。     

面向并行工程的冲突管理决策支持系统构建

由于并行环境下诸多约束条件的制约,冲突的产生难以避免。为消除冲突、提高产品开发效率,本文按照预防性、例外性和自我强化原则,综合运用控制论、模糊理论等方法,构建了产品并行开发中的冲突管理决策支持系统;分析了前馈控制系统、监控系统、推理决策系统和模糊决策系统4个子系统的内在运行机制。该系统可实现冲突的规避、识别和解决,有助于降低资源尤其是智力资源的内耗。     

Petri网系统合成操作的活性保持性研究

合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题.本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作.与以往研究不同,侧重从并发语言的角度讨论.定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式.这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件.最后分别给出条件使得合成的Petri网系统有活性保持性质.     

智能集成数控系统的开发研究

探讨了智能集成数控系统（ＩｎｔｅｌｌｉｇｅｎｔｌｎｔｅｇｒａｔｅＮｕｍｅｒｉｃａｌＣｏｎｔｒｏｌＳｙｓｔｅｍ，Ｉ２ＮＣＳ）的体系结构和基本研究内容，并论述了系统中各智能模块的作用和智能集成数控系统的基本特征。     

并行环境下的柔性PDM系统框架研究

文章分析了目前PDM系统常用构造框架及存在问题,运用构件技术和软件代理技术,提出了并行环境下的柔性PDM系统的模型,并详细给出了该模型的体系结构和框架中的内部构造。该模型增加了系统结构的灵活性,使得系统的可维护性和重用性上升,进一步增强了系统的开放性、集成性和通讯效率。     

先进机械制造技术的发展现状

制造技术已成为衡量一个国家科技发展水平的重要标志,也成为国际间科技竞争的重点。本文从战略高度阐述了机械制造技术面临的挑战,并分析了现代制造技术的特点内涵和趋向,指出我国发展先进制造技术已势在必行。     

一种分析作战指控并发信息流的Petri网模型

目的对军事指挥控制系统进行评估和仿真。方法建立了一种描述系统的Petri网模型,进而分析在并发信息流中产生死锁的关节所在。结果为从理论上研究指控系统的效能、发现和排解死锁以及系统的评估和仿真等提供了可靠的根据,有效地保证了对系统的应用与研究。结论经部队仿真演习试用,效果良好,对于提高部队应急反应能力与组建新的指控系统具有重要的价值。     

面向并行工程的产品设计综合评价及决策

依据动态规划原理和模糊理论,建立了面向并行工程的产品设计多级模糊决策模型,对决策过程中各设计方案的模糊评价作了分析讨论,为产品并行设计的决策提供了理论依据,增加了并行设计的可操作性．利用所提出的方法,可有效地解决产品并行设计的决策问题．     

虚拟原型实验仿真技术及应用

论述了虚拟原型实验仿真的研究意义,综合归纳了VPES技术的研究内容,并对VPES的关键技术进行了分析研究,提出了VPES系统实现的技术方案,并以一汽车产品为例,建立了一套“轻型卡车备用胎架疲劳强度的载荷预测”虚拟原型实验仿真系统。