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

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

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

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

P2P网络通信树群发算法研究

深入分析P2P通信规则,以并发通信时间最短为目标,提出了一种新型的群发通信树构建算法——“困难节点”优先通信树算法.对比支路优先试加节点通信树算法,更加合理的布局各个节点在通信树中的位置,模拟结果表明,“困难节点”优先通信树算法的通信效率优于支路优先试加节点通信树算法.     

压力容器制造的CECAPP技术

由于压力容器制造的诸多特点，制约了CAPP技术在压力容器计算机辅助设计制造中的应用。提出了工具化CECAPP专家系统的结构和主导技术，为化工机械厂的CAD／CAPP／CAM集成提供了实用的运行模式。     

面向并行设计的分布式产品模型的研究

为实现产品模型内部的一致性,针对并行设计过程,提出了面向并行设计的分布式产品模型,该模型基于Multi-agent的结构,既能表达产品内各部分相互之间的层次组成关系,也能表达产品内各部分相互之间的约束关系。实现了产品模型的分布式表达,该模型可以很好地支持分布,协作,并发的并行设计过程,满足并行设计Top-down设计,约束设计和再设计的要求。     

Apla-Java 可重用部件库并行、并发机制的研究

Apla-Java可重用部件库是PAR方法的重要研究成果.实验证明它对基于PAR平台进行串行Java程序开发提供了有效的支持.实现部件库的并行、并发机制,使其支持并行、并发程序设计,对于提高并行、并发软件开发效率具有重要意义.该文研究并提出了并发类库的若干设计策略并实现了Apla-Java可重用部件库并行、并发机制.     

不确定性下R&D项目的排程问题

探讨不确定性下Ｒ＆Ｄ项目的排程问题，给出完成任务的方案排序原则与任务的串行排序原则，并通过对串行与并行工程的时间——成本分析，提出一个折衷的Ｒ＆Ｄ项目执行程序。     

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

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

产品并行设计多Agent系统中任务分解和协调模型的研究

适当的任务分解是网络式分布环境下进行产品并行设计的关键。本文分析了产品并行设计中任务分解的原则 ,提出了一种进行任务分解的与或树方法 ,探讨了在多Agent系统中并行设计各任务间的组织方法和协调策略 ,并对KQML语言作了扩充 ,这些工作为减少多Agent间的通讯量 ,加强多Agent间的相互协作 ,提高产品并行设计效率奠定了基础     

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

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