软件并行开发过程体系结构设计与应用

 软件并行开发技术,大大提高了软件开发的效率.软件并行开发过程体系结构是对软件并行开发过程的高级抽象.通过对基本元素的定义,提出了软件并行开发过程体系结构SCDPA和SCDPA元模型.图形化工具描述软件并行开发过程构件和连接件,并映射为Petri网下的表示.通过实例应用来说明其可行性.     

高级 Petri网并行化预处理方法的研究

为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网（ Place/Transition Net）的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数模型对颜色Petri网转化为P/T网的预处理方法进行研究,并通过实例和编程对预处理方法的正确性和有效性进行验证。实验结果表明,提出的高级Petri网并行化预处理方法是可行而有效的。     

开放网—交互式并行系统的模型

定义了开放网的静态结构、动态行为、系统的进程,讨论了开放网及其进程的分解与合成、抽象对象、开放网的外部特性——黑盒理论及开放网的层次结构等基本问题。由于开放网引入了系统与外部的交互机制及层次结构,它可以作为交互式并行系统,特别是规模较大的复杂系统的描述与分析的工具。     

并行加工系统“提前／拖期”排序问题研究

通过对现有单机Ｅ／Ｔ排序问题的研究，建立了一类相 应的多机并行加工系统的Ｅ／Ｔ排序模型，模型的优化目标为工件排序的提前与拖期损失的总罚值为极小。还给出了一个工程实用型启发 式排序算法。     

Petri网模型在MIS系统中的应用

管理信息系统是控制物质和信息的协调系统。Petri网是一种建模及分析系统性能的有力工具，特别是对检测系统并发冲突方面具有独到的优势。利用Petri网和MIS的耦合性，Petri网模型可以使管理者了解生产的细节和工作流程，更好地为决策者服务。     

支持网络软件开发的并行进化模型

软件开发过程的分布并行化是缩短软件开发周期和降低开发成本的有效途径．文中进化式原型方法引入到软件的并行开发过程中，提出并行进化式软件开发模型ＣＥＳＤ及相应的管理与控制机制，并将并行成分及并行控制成分统一到面向对象的机制下，提出并行环境下面向对象的原型进化过程     

Petri网模型在MIS系统中的应用

管理信息系统是控制物质和信息的协调系统，利用Petri网和MIS的耦合性，Petri网模型可以使管理了解生产的细节和工作流程，更好地为管理服务。     

故障诊断的模糊Petri网模型

针对故障诊断系统知识具有不稳定性和模糊性的特点，给出了Petri网的定义和故障诊断的模糊Petri网模型，并以实际故障诊断为例，说明了该模型具有直观，表达能力强和易于推理的优点。     

并行工程过程研究

过程、计算机支持系统和组织管理是并行工程的三个关键问题,在对设计过程进行详细分析的基础上,利用Petri网作为表达工龄,建立了并行工程的过程模型,形式化地表达出并行工程中设计和制造活动在信息意义上的并行性,为并行工程过程的仿真和评价提供了理论依据。     

并行设计中冲突的一致性检测算法

对并行设计基于约束的一致性检测算法进行了研究,建立了Petri网模型. 分析了模型的性质,给出了适用于并行设计冲突检测的算法,并且通过具体应用实例进行了验证,说明了方案的可行性.     

柔性制造控制系统的并行设计方法

通过分析控制系统并行设计的支持环境，建立了控制系统并行设计支持环境的框架模型．从面向对象以及并行工程观点出发，提出了控制系统并行设计的策略，构造了以过程为中心，控制系统体系结构、数据、过程建模、用户界面／接口并重的面向对象的控制系统并行设计的工作流集成模型．在此基础上，描述了控制系统并行设计的实施内容和步骤．建立在上述设计方法基础上的柔性制造控制系统具有可重用性、可靠性、鲁棒性和开放性等特点．     

非确定并发系统的基于说明的测试推导

讨论具有非确定性的分布式并发软件系统，对论（1）的行为机构造方法的测试推导方法进行了扩展，使之可同时适用于确定和非确定的并发系统。     

An Algorithm to Construct Concurrent Reachability Graph of Petri Nets

IntroductionPetrinetisausefultooltomodelaconcurrentsystemandanalyzeitsproperties.[1]ThetheoryofPetrinetshasdevelopedsoundlysinceitwasputforwardin1962andwaswidelyappliedtomanyfieldssuchasflexiblemanufacturingsystem,workflow,webservice,etc.[234]ReachabilitygraphisapowerfultooltoanalyzethedynamicpropertiesofPetrinets,bywhichthefiringofconcurrenttransitionsinPetrinetsisrepresentedinaserialmanner.Thatis,Petrinetitselfisaconcurrentmodel,whileitsreachabilitygraphisserial.Infact,concurrencyrelations…     

并发面向对象语言运行支撑系统

探讨如何为并发面向对象语言提供松散耦合分布式环境下的运行支撑环境．介绍我们为并发面向对象语言ＡＣ＋＋设计实现的分布式运行支撑系统ＤＲＴＳ．着重讨论了ＤＲＴＳ的设计思想和一些重要的实现技术．     

并行工程在铝型材产品开发中的应用研究

介绍了当前我国铝型材产品开发技术状况及存在的问题,提出了一种新的、基于并行工程的铝型材产品开发模式,该模式为产品质量提高、开发周期缩短和开发成本降低提供了有效保证。讨论了铝型材新产品并行开发工程中的关键技术。     

并发一致性问题及解决办法

维持系统的一致性是使系统正常运行的前提。该文叙述了面向对象分布式计算系统在引入并发之后可能带来的不一致问题及解决办法，从一致性理论出发，全面探讨了维持并发一致性的各种方案，提出了一套维持一致性的管理策略，设计并实现了一个并发控制算法。     

基于并行工程的产品开发系统的研究

在对基于并行工程的产品开发过程进行分析的基础上 ,提出了并行工程企业产品开发系统的集成框架。