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

1

作者 陈久强 殷国富 《计算机科学》 CSCD 北大核心 1995年第4期75-78,共4页

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

关键词 机械产品 并发设计 CAD

在线阅读 下载PDF 职称材料

CCPP: 一个并发C++语言的设计与实现 被引量：3

2

作者 温冬婵 王鼎兴 张宁 《软件学报》 EI CSCD 北大核心 1997年第6期401-408,共8页

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

关键词 并发面向对象 并发程序设计 C++语言 CCPP语言

在线阅读 下载PDF 职称材料

一种并发PASCAL语言的设计与实现 被引量：2

3

作者 张延园 蒋立源 《西北工业大学学报》 EI CAS CSCD 北大核心 1993年第3期357-363,共7页

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

关键词 并发程序设计 进程调度 PASCAL语言

在线阅读 下载PDF 职称材料

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

4

作者 廖乐健 曹元大 董国增 《北京理工大学学报》 EI CAS CSCD 北大核心 2004年第3期241-246,共6页

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

关键词 并发约束程序设计 约束储仓 约束传播 回溯

在线阅读 下载PDF 职称材料

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

5

作者 李涛 伍良富 彭康 《成都科技大学学报》 EI CAS CSCD 1996年第5期86-92,共7页

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

关键词 并发程序设计 面向对象 程序语言 程序设计

在线阅读 下载PDF 职称材料

一个实用并发监控程序设计 被引量：2

6

作者 陈怡 吴勤勤 《仪器仪表学报》 EI CAS CSCD 北大核心 1993年第3期244-249,共6页

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

关键词 计算机化仪表 并发程序设计

在线阅读 下载PDF 职称材料

并发约束程序设计语言COPS及其执行模型 被引量：1

7

作者 廖乐健 史忠植 曹元大 《计算机工程与应用》 CSCD 北大核心 2003年第14期121-125,共5页

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

关键词 并发约束程序设计 约束满足 约束逻辑程序设计

在线阅读 下载PDF 职称材料

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

8

作者 盛开 金连甫 《计算机工程》 CAS CSCD 北大核心 1995年第S1期238-242,共5页

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

关键词 多媒体 同步 并发程序设计语言 ConcurrentC++

在线阅读 下载PDF 职称材料

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

9

作者 盛开 金连甫 《计算机工程与设计》 CSCD 北大核心 1995年第6期3-8,共6页

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

关键词 多媒体 同步 并发程序设计 程序设计 C++语言

在线阅读 下载PDF 职称材料

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

10

作者 Akinori Yonezawa Mario Tokoro 赵致琢 《计算机科学》 CSCD 北大核心 1990年第5期8-11,共4页

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

关键词 面向对象 并发程序设计 程序设计

在线阅读 下载PDF 职称材料

考虑尺寸效应的模块化结构两层级优化设计 被引量：7

11

作者 阎军 刘岭 +1 位作者 刘晓峰 邓佳东 《力学学报》 EI CSCD 北大核心 2010年第2期268-274,共7页

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

关键词 拓扑优化 层级优化 并发设计 模块化 尺寸效应

在线阅读 下载PDF 职称材料

约束程序设计语言COPS的设计与实现 被引量：1

12

作者 廖乐健 董国增 《计算机工程》 CAS CSCD 北大核心 2003年第8期14-15,28,共3页

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

关键词 并发约束程序设计 规则 约束传播

在线阅读 下载PDF 职称材料

Apla语言中并发分布式机制的研究 被引量：4

13

作者 游珍 薛锦云 应时 《计算机科学》 CSCD 北大核心 2012年第1期104-108,共5页

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

关键词 并发分布式程序设计 Orc语言 Apla抽象程序设计语言 并发分布式机制

在线阅读 下载PDF 职称材料

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

14

作者 赵恒 王振宇 《计算机应用与软件》 CSCD 北大核心 2001年第8期29-31,65,共4页

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

关键词 ADA语言 并发程序设计 并发效率 软件系统

在线阅读 下载PDF 职称材料

并发对象技术初探

15

作者 瞿裕忠 沈军 +2 位作者 唐立中 朱海林 朱一清 《东南大学学报（自然科学版）》 EI CAS CSCD 1998年第6期84-89,共6页

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

关键词 并发对象技术 并发面向对象程序设计语言 并发对象模型 继承 并发特征函数

在线阅读 下载PDF 职称材料

ANGEL系统中CLIENT/SERVER机制的设计与实现

16

作者 郭晓 蒋泽军 徐秋元 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 1997年第4期339-343,共5页

本文介绍了ＡＮＧＥＬ工程数据库管理系统中ＣＬＩＥＮＴ／ＳＥＲＶＥＲ机制的设计与实现。ＡＮＧＥＬ系统的服务器端采用单进程多线索技术。

关键词 客户/服务器 并发程序设计 数据库管理系统

在线阅读 下载PDF 职称材料

带标记信号量——一种新型同步与互斥机制 被引量：3

17

作者 徐宝文 《计算机科学》 CSCD 北大核心 2001年第1期15-17,共3页

1 问题的引出 信号量机制是E.W.Dijkstra最先提出来的[1],是并发程序设计中一种基本的、重要的同步与互斥原语,也是研究并发程序行为的重要机制[2.3].其描述能力强、机理简单、易于掌握,能方便地描述处理绝大多数并发程序设计的同步与... 1 问题的引出 信号量机制是E.W.Dijkstra最先提出来的[1],是并发程序设计中一种基本的、重要的同步与互斥原语,也是研究并发程序行为的重要机制[2.3].其描述能力强、机理简单、易于掌握,能方便地描述处理绝大多数并发程序设计的同步与互斥问题(如共享变量的保护).信号量原语自问世二十余年来,已广泛地应用于许多操作系统与程序设计语言的研究与设计中,成了它们不可分割的一部分.信号量虽然不为一些语言设计者所欣赏,但它仍然得到了很广泛的应用,是研究并发程序同步与互斥的必不可少的工具.尽管如此,也有一些问题用信号量描述起来比较困难或比较复杂.下面是一个典型的入厕问题: 展开更多

关键词 并发程序设计 标记信号量 同步机制 互斥机制

在线阅读 下载PDF 职称材料

一种Ada83服务性任务向Ada95保护对象变换的方法 被引量：2

18

作者 李帮清 徐宝文 《软件学报》 EI CSCD 北大核心 2000年第6期836-840,共5页

任务是 Ada语言支持并发程序设计的基础 ,它提供了一种进程同步和通信的良好机制 .但也存在一类被动的、专为其他任务服务的服务性任务 .服务性任务的存在增加了系统的负担 ,降低了系统的性能 .如果能将服务性任务变换为保护对象 ,则可... 任务是 Ada语言支持并发程序设计的基础 ,它提供了一种进程同步和通信的良好机制 .但也存在一类被动的、专为其他任务服务的服务性任务 .服务性任务的存在增加了系统的负担 ,降低了系统的性能 .如果能将服务性任务变换为保护对象 ,则可以明显地提高系统的性能 ,减少维护的费用 .该文提出了一种在源程序级将 Ada83服务性任务变换为 Ada95保护对象的方法 .先给出服务性任务应满足的条件、识别和表示服务性任务的方法 ,最后讨论此方法的可行性 .与其他方法相比 ,此方法具有假设条件少、识别和变换效率高以及容易验证等特点 . 展开更多

关键词 ADA 服务性任务 保护对象 并发程序设计 数据流图

在线阅读 下载PDF 职称材料

Concurrent C语言单处理机版本的实现 被引量：1

19

作者 胡冰烽 王彤 +1 位作者 裴健 徐良贤 《小型微型计算机系统》 CSCD 北大核心 1993年第3期19-26,共8页

Concurrent C是一种支持并发程序设计的语言,它是C语言的一个超集。本文讨论Concurrent C语言在运行XENIX或UNIX操作系统的单处理机上的实现。

关键词 并发程序设计 程序语言 单处理机

在线阅读 下载PDF 职称材料

Ada语言的发展 被引量：1

20

作者 吴迪 徐宝文 《计算机科学》 CSCD 北大核心 2014年第1期1-15,38,共16页

Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好... Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada 83,Ada 95,Ada 2005,Ada 2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析。 展开更多

关键词 ADA 程序设计语言 强类型机制 程序包 分别编译 异常处理 类属单元 面向对象程序设计 并发程序设计 契约式程序设计 大型软件开发

在线阅读 下载PDF 职称材料