并发软件的图形化设计方法研究(二):并发设计语言CONDL的图形化表示

这项研究的目标是：为并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架(并发程序单元的划分和它们之间的通信)。这样做的好处在于提高软件的生产率,改善软件质量。在论文的这一部分,给出了并发设计语言OONDL的一种图形化表示,即泳道表示。     

Ada并发软件的图形化设计方法研究

研究的目标：为Ada并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架（并发程序单元的划分和它们之间的通信）。这样做的好处在于提高软件的生产率,改善软件质量。在提出用于并发软件理解的会合次序图的基础上,给出了并发设计语言CONDL的语法、语义描述和图形化表示（泳道）,并简单介绍了所研制的一个工具CONDLAS（生成Ada代码框架）。     

Java并发机制研究

针对高质量Java多线程并发程序设计，结合实例分析研究了Java多线程同步机制、通信机制以及并发机制的扩展，给出了防止死锁现象的编程策略，有助于解决实际编程中的并发问题。     

Java中的并发机制的研究与实现

开发并发程序并非是一件容易的事情。随着程序设计的日益庞大和复杂,怎样开发出高性能的并发程序变得越来越重要。在分析了Java的并发机制和同步机制的基础上,给出了一些在开发Java并发程序中防止死锁的策略和方法,这些方法为并发程序的设计带来了方便。     

基于嵌入式平台的并发虚拟机研究

并发程序对提高应用系统的处理能力具有重要作用,基于嵌入式平台的并发程序开发尚无统一的工具支持.本文提出了一种基于嵌入式平台的并发虚拟机(CVM)设计思想,并采用标准C实现了一个CVM模型.研究表明,它可以支持嵌入式平台中的并发程序,实现了嵌入式平台中并发程序的平台无关性和可移植性.     

并发计算重复问题与控制方法

数据竞争问题是并发程序开发与测试难题,发现数据竞争可能导致计算重复,重复会导致系统性能下降.从实例出发定义了并发计算重复问题(concurrent computation redundancy problem,简称CCRP),给出了相关性能指标和判断方法,设计了通用并发重复控制机制.并发程序一般都可以基于生产者-消费者模型进行CCRP分析.以带数据源的生产者-消费者为例详细分析了CCRP,给出了单条件、条件交叉两种重复控制算法,算法具有不同的适用范围,都可以作为固定模式来解决CCRP,基于Petri网作了相关性质的证明与仿真.并发程序实验结果说明了并发重复控制的必要性和有效性,比较了两种算法的差异.该研究对于数据竞争检测、并发程序设计具有参考价值.     

CCPP: 一个并发C++语言的设计与实现

并发面向对象语言ＣＯＯＬ（ｃｏｎｃｕｒｅｎｔｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｌａｎｇｕａｇｅ）是一种有效的并发程序设计语言．本文提出了一种并发对象模型（ＣｏｎｃｕｒｅｎｔＣ＋＋，ＣＣＰＰ）及其语言．在ＣＣＰＰ并发对象模型中，所有对象都是并发对象，对象间的通讯都采用异步消息发送方式．对象间的同步采用“需要时等待”策略，同一对象内并发线程间的同步用路径表达式描述．ＣＣＰＰ语言是对Ｃ＋＋语言的扩充，采用预编译方法实现．ＣＣＰＰ语言允许并发／顺序代码重用.     

并发软件适应性随机测试方法

测试用例选择是软件测试中的关键问题之一.目前,测试用例选择在并发软件测试方面鲜有涉及.以多线程并发程序为研究对象,提出面向并发软件的适应性随机测试方法,通过优化测试用例选择,来提高并发软件测试的效率和错误发现能力.根据实验结果,我们提出的并发软件适应性随机测试方法比随机测试方法的测试效率更高,错误发现能力也更强.     

MultiobjectC─一个面向对象的并发程序设计语言的设计

ＭｕｌｔｉｏｂｊｅｃｔＣ语言是我们设计的一个面向对象的并发程序设计语言，它以Ｃ语言为基语言，引入了类和对象等机制以及并发对象间的通信设施，支持面向对象的并发程序设计。本文讨论了我们在设计过程中的考虑，并与ＡＴ＆ＴＢｅｌｌ实验室的ＣｏｎｃｕｒｒｅｎｔＣ＋＋语言作了一些比较。     

Java并发类库包的研究与应用

Java在其JDK5.0版本中推出了Concurrent并发类库包,该包为程序员提供了众多开发并发程序的新特征,如同步对象,并发集合,执行程序等,为并发程序的设计提供了更方便、安全的途径.本文在对并发类库包进行了分析与研究的基础上,运用并发包锁机制与原子操作实现了模拟电梯控制的仿真系统.     

基于Ｉnternet的异地并行设计中信息交换机制研究

结合具体开发的相关软件平台，介绍了基于Ｉnternet的产品异地并行设计系统中产品设计信息交换的设计原理及软件实现方法。     

一个基于多代理的并行工程设计系统模型研究

并行工程设计方法试图在产品的早期设计时期就考虑产品生命周期中的各方面因素,但是要真正实现却是很困难的,该文给出了一个基于多代理的并行工程设计系统框架,来解决“考虑制造的设计（ＤＦＭ）”这一总理２,同样地,并行工程的其它考虑,如可装配性,可维护性与可服务性都能以同样的方式集成到这个框架中来。     

并发Java程序动态分析及重演技术研究

Java语言在并发程序方面的广泛应用对软件测试提出了新的挑战。众所周知,由于并发程序的不确定性,使得并发程序的设计、开发、调试和测试都非常困难。文章介绍了Safepro／Java中的多线程测试技术,通过对Java源程序进行适当的修改并且保持语义不变,跟踪并发Java程序的运行过程,收集有关数据并对数据进行分析,最终控制并发Java程序的重演。     

面向并行设计的智能决策支持系统研究

基于并行设计支撑环境讨论了智能决策支持系统的重要性，论述了基于知识的并行设计过程和基于小循环的并行设计过程模型，建立了复杂产品并行智能决策支持框架，阐明了适合并行设计智能决策支持系统的领域知识描述模型，并以方案设计智能决策支持系统为例进行了验证。     

并行工程中的活动规划

针对并行工程设计活动的新特征和并行工程顺利进行的关键因素，提出一套地工程的活动规划方法。算例结果表明了该算法的可行性。     

鲁棒并行设计的模型与算法

提出一种基于约束网络的鲁棒设计方法,该方法能用约束网络对并行设计中的一类不确定性参数进行有效的描述和处理。提出了反映该问题需求的数学模型,设计了通用的一致性求解算法框架,得到了满足该框架的算法都是弧一致的充分条件以及推论,并利用区间算法对该框架进行实现。飞行器布局设计实例说明了该方法的有效性。     

A Knowledge-Level Model for Concurrent Design

This paper describes the development and validation of a knowledge-level model of concurrent design. Concurrent design is characterised by the extent to which multidisciplinary perspectives influence all stages of the product design process. This design philosophy is being increasingly used in industry to reduce costs and improve product quality. We propose an essentially rational model for concurrent design and report on our validation of the model through studies with designers. We outline some of the limitations of current computational techniques needed to support negotiation in the design cycle and consider some of the implications of this for the development of systems to support concurrent design.