并发进程的一种跟踪与重演算法

并发程序的执行具有“不确定性”,即在同样的输入条件下并发程序的执行结果不一定相同。这使得传统的对于顺序程序的循环调试方法对于并发程序的调试不再有效。通过对并行程序的执行情况进行跟踪和重演,可以保证并发程序在相同的输入时候两次执行完全一样。本文分析了基于消息传递的并发程序执行模型,并给出了相应的跟踪和重演算法及其实现。     

具有广播功能的CSP操作语义

并发程序设计语言的形式语义定义,是当今语义学研究中比较活跃的领域之一,语言的形式操作语义为语言的准确实现,提供直接的依据。本文给出了带广播功能的CSP(Communicating Sequential Processes)的形式操作语义。     

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

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

基于特征映射的车身检具设计方法

通过对特征映射机理及其映射过程的分析，提出了一种基于车身覆盖件特征模型、面向组合检具智能设计的特征映射系统．在研究车身覆盖件的结构形状特征、定位装夹特征、检测特征和车身检具关系的基础上，讨论了车身覆盖件模型到检具模型的特征映射关系，给出特征信息演变的映射函数，实现在车身覆盖件的概念设计阶段，同步进行检具设计的思想．文中的覆盖件表面特征分析、相应检具功一构映射和组合检具结构生成的过程完成了零件设计特征到相应检具模型特征的映射，从而实现了信息在特征层上的转换，完善了在并行工程环境下产品信息的集成与共享，并进行了实例验证．     

并行工程的支持环境

讨论了并行工程支持环境的过程模型和功能要求，在过程模型中用IDEFO功能建模方法分析冲模产品与工艺开发过程并产生产品与工艺开发过程模型图，在功能要求中首先进行需求分析并产生冲模产品与工艺开发的功能图，然后详细论述了产品生命周期设计的建议工具、信息沟通和共享能力、产品数据管理、和过程控制4种并行工程支持环境的系统功能要求。     

并行工程及其在级进冲模CAD应用中的关键技术

并行工程是先进制造技术的研究热点．对并行工程的起源、原理、发展和研究状况进行了综述,提出了是并行工程实施的主体．结合级进冲模的特点、技术以及ＣＡＤ软件的应用,分析了目前级进冲模ＣＡＤ软件的问题,并对并行工程应用于模具技术领域的模式进行了探讨．提出并行设计集成框架、模具产品信息建模和模具并行设计实现方法和技术是基于并行工程的级进冲模ＣＡＤ的关键技术．     

An Algorithm to Construct Concurrent Reachability Graph of Petri Nets

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

基于并行工程的模具设计制造生产管理体系

介绍了现代制造业中模具设计制造行业的发展趋势以及面临的问题，尝试性地把并行工程引入到模具设计制造行业中，对并行工程中关键技术的建立进行了阐述     

SYN-sequence selection strategy for testing concurrent programs based on little strong happened-before

This paper defines a new relation—little strong happened-before(LSHB) and presents the algorithm for LSHB. Compared with strong happened-before (SHB) and weak happened-before (WHB), LSHB supports keeping-read-result and ensures definite sufficiency of testing. Equivalence partitioning the set of SYN-sequences based on LSHB can efficiently reduce the number of testing SYN-sequences. The case studies prove that LSHB has high practicability. Biography: PU Fangli(1970–), female, Ph. D. candidate, research direction: software testing theory and application.     

一种面向分布式系统的行为分析和检测方法

提出了一种基于进程代数的行为分析与检测方法.通过静态分析二进制码获得系统的控制流程图,并将其转换为进程表达式;通过消除表达式不确定性、添加并发操作以及约简归并等方式对表达式进行重写;根据并发规则消除进程表达式中的并发算子,建立分布式系统的行为检测模型,并给出行为检测的方法.理论分析和实验表明:所提出的方法降低了行为分析和检测的复杂度,在控制流分析方面具有较好的精确性.