并发软件的图形化设计方法研究(一):并发设计语言CONDL的定义

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

机械产品并发设计原理与方法的探讨

一、前言 为使计算机在机械设计应用中充分发挥作用,创造出一种能模拟人类专家群对杂产品设计问题进行并行处理、相互合作这一自然属性的软件环境是+分重要的。并发设计Concurrent Design)。

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

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

一种并发PASCAL语言的设计与实现

本文论述了作者设计的一种并发PASCAL语言,语言中采用了作者提出的“可更换式进程调度”思想,使本语言不但能满足不同用户对调度策略的需求,同时还可以使本系统开销保持在很低的水平.“可更换式进程调度”的含义是:在并发PASCAL语言的进程调度中,不是采用传统的固定的调度算法模式,而是允许程序员按照不同需求,使用不同算法的进程调度内核程序.

一个并发约束程序设计语言的定义与实现

设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性.

面向对象的并发程序设计语言

将并发机构引入Ｃ＋＋，本文提出了面向对象的并发程序设计语言ＣｏｎｃｕｒｒｅｎｔＣ＋＋，揭示了类、对象及进程之间的关系。

基于Win32的并发程序设计

本文分析了Ｗｉｎ３２的４种并发控制机制：信号灯、互斥信号灯、事件对象、临界区等；并提出基于Ｗｉｎ３２的并发程序设计方法，最后给出了一个实例。

一个实用并发监控程序设计

本文在分析了一般计算机化仪表程序设计中存在的缺点后提出了一个将中断和任务块结合起来的并发程序设计方法。这种方法适合于功能复杂、实时性要求高的仪表的程序设计,这种软件设计方法对硬件不作特殊要求。文中最后以一个通信控制器为例,对程序设计中的几个技术要点作了详细叙述。

并发约束程序设计语言COPS及其执行模型

约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即为定理证明”的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增大时,其性能严重下降以致崩溃。针对传统逻辑程序设计的这种可伸缩性问题,设计了一个基于并发约束程序设计概念的说明性语言COPS,旨在从语言设计与执行模型两方面降低说明性程序的不确定性,提高搜索与运行效率。在语言设计方面,通过引入确定性语言成分,避免不确定计算用于确定性目标所浪费的系统开销;在执行模型方面,在目标的并发穿叉执行与数据驱动的并发同步机制的基础上,实现“优先执行确定目标”策略与“最少假定”策略,作为约束传播的延伸,最大幅度地剪枝搜索空间,降低搜索复杂性。COPS提供的知识表示、推理与并发机制使其成为构造agent程序的理想语言。论文给出COPS语言的语法规范与执行模型的操作语义描述。

一种基于并发程序设计的多媒体系统同步模型

多媒体系统中各个媒介信息的同步是多媒体系统创作中的一个难题。本文用面向对象的方法提出一个模型,该模型基于一种并发程序设计语言-Concurrent C++,较好地解决了同步问题。

一种基于并发程序设计的多媒体系统同步模型

多媒体系统中各个媒介信息的同步是多媒体系统创作中的一个难题。本文用面向对象的方法提出一个模型，该模型基于一种并发程序设计语言—ＣｏｎｃｕｒｒｅｎｔＣ＋＋，较好地解决了同步问题。

Windows环境下控制系统的并发程序设计

通过对DOS与Windows的比较，指出了在Win－dows多任务环境下设计开发计算机控制程序的优越性。针对喷九机床中计算机与可编程控制器的通信问题，提出了控制程序的框架结构，并给出了并发程序没计过程中进程问的同步和互斥问题的解决方案。

面向对象并发程序设计导引

面向对象的并发程序设计是一种程序设计方法学,也是一种设计方法学.在这种程序设计中,待建立的系统被模拟为一个称之为对象的可并发执行程序模块的集合,它们之间的相互作用靠发送消息来进行.本文系《面向对象的并发程序设计》文集的卷头文章,虽然重点是介绍有关这一方法学的当前工作.但有一定的普遍意义。

考虑尺寸效应的模块化结构两层级优化设计

出于构造、美观、生产工艺、质量控制、降低成本等考虑,在很多工业应用中,整个结构或装备可被规整的分成几个相同的子区域,各个子区域的结构形式完全相同,这样的子区域称为基本设计模块.整个结构或装备可通过有限个基本设计模块重复拼装而成.针对此类模块化结构,考虑结构与模块间的耦合作用,提出了结构、模块两层级并发优化设计的模型与求解方法,研究了基本设计模块的绝对尺寸对优化结果的影响.通过在结构和模块两个层次上分别引入独立的人工密度变量,借助拓扑优化技术和惩罚策略,给出了最优的设计模块构型以及模块在结构尺度上的最优分布,通过单工况和多工况数值算例验证了该方法的有效性.

面向对象并发程序模型分析和设计技术

面向对象程序设计技术是 90年代程序设计技术的主流 ,针对广泛应用的并发程序设计技术 ,讨论了面向对象程序设计中基于对象的并发程序设计技术。

约束程序设计语言COPS的设计与实现

约束程序设计作为面向智能应用的实用型程序设计风格正在AI领域产生越来越大的影响，其关键问题是如何将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来。该文介绍了设计实现的并发约束程序设计语言COPS。COPS系统的主要目标是探索智能语言的实用化与工程化，使其能够真正解决现实世界中用常规语言难以实现的智能应用问题。还介绍了COPS语言的表示及涉及的主要推理技术。

Apla语言中并发分布式机制的研究

从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的并发分布式机制,设计了并发算子、并发语句、进程定义、进程通信和进程同步,并通过实例探讨了该设计方案的可行性和实用性,最后阐述了Apla语言中并发分布式机制具有通用性强、抽象层次高、简单易懂、便于并发分布式程序的开发等优点。

提高Ada并发效率的一种途径

Ada的会合机制使我们能在高级语言一级上描述系统的并发活动,从而避免了在使用低级通信原语时所不可避免的问题。但由于会合机制是一种完全同步的实现机制,因此其并发效率较低。为此,本文提出:采用基于Ada保护对象的(异步)信箱机制实现Ada会合的服务模型,使之既具有会合机制的高可靠性,又能提高系统的并发度和实现效率。

SCOOP并发机制应用研究

SCOOP扩展了串行Eiffel程序设计语言以支持并发应用的构建。SCOOP通过一组编译规则回避了显式线程声明、同步阻塞、显式等待,并经构造消除了竞争条件和原子化违背。SCOOP意图通过一个全局调度程序来保证合理性。JSCOOP作为一种高层并发框架,是SCOOP在Java中的实现。JSCOOP引入了一组模型化注释和核心库类以提供实现SCOOP语义的必要支持。本文详细分析了SCOOP模型和JSCOOP模型的体系结构以及面向对象并发程序实现机制,并总结了SCOOP在并发程序设计中的发展现状。

并发对象技术初探

在分析和比较典型的并发面向对象程序设计语言的基础上，提出了一个并发对象模型的架构．其特色在于对象的并发特征函数和对消息传递方式的处理．从语言设计的角度对并发对象模型与继承之间的有机集成进行了初步探讨．