用于描述面向对象并发系统的实用图文法模型*

面向对象的并发系统与传统的并发系统(如用CSP或CCS所描述的系统)的不同之处在于其进程结构的动态性，系统中的进程以及进程之间的通信链路随着对象的变化而动态地建立或撤消．图文法模型比其他形式化工具更适合描述这种并发和动态的特性．这里我们介绍一个新的用于描述面向对象并发系统的图文法模型，在该模型中为系统的设计开发者提供了一个用来描述系统的静态和动态结构的语言工具——CSDL语言．在面向对象并发系统开发支持环境 的支持下，用CSDL语言描述的面向对象并发系统的结构可以转换成对系统运行期进程互联结构的控制机制，     

C^＋＋与面向对象的并行程序设计

C~(++)是目前流行功能较强的面向对象语言。而面向对象的并行程序设计作为一种新的程序设计方法.正需要一种易于接受的语言来支持。本文在Bofland C~(++)V2.0基础上扩充了并行内容。使其能用来编写面向对象的并行程序。     

C^＋＋与面向对象的并行程序设计

C~(++)是目前流行也是功能最强的面向对象语言,而面向对象的并行程序设计作为一种新的程序设计方法正需要一种易于接受的语言来支持,本文在Borland C~(++)V2.0基础上扩充了并行内容,使其能用来编写面向对象的并行程序     

CAUPS中评估模型定义系统的设计与实现

近年来,随着城市化进程的不断加快,城市规划的计算机辅助设计越来越受到广泛的重视。通常城市规划采用的方法是将多种辅助软件混合使用,用于进行城市规划和方案设计,但是这种方法存在多种软件间协同性不强、缺乏有效的自动评估方法等问题。为了更好地利用计算机进行城市规划,首先简要介绍了计算机辅助城市规划系统CAUPS的工作原理和主要模块,然后着重介绍CAUPS中实现自动评估过程的关键技术——评估模型定义系统的设计和实现技术。该项技术首先通过提供一组简单的操作运算符以及实体对象关系的解析支持来实现评估模型的描述功能;然后由用户根据实际规划的需要交互地选择构成特定评估模型的规则和实体以实现对评估模型的定制。     

ConEntity:一种基于进程的自主并发实体编程模型及其实现

本文在虚拟计算环境之上,研究支持具有自主能力、高并发的新型互联网应用开发方法,在已有的基于进程、面向并发的编程模型中引入实体建模机制,扩展出一种兼具进程和自主并发实体的程序设计模型ConEntity,并给出了形式化定义和描述.ConEntity模型具有表达性、并发性和可伸缩性的特点,能对虚拟计算环境资源高效、透明访问.通过扩展Erlang/OTP将其实现为Erlang语言设施UniAgent.本文的模型为在虚拟计算环境上快速直接构建具有自主、高并发能力实体的新型互联网应用提供了模型和语言上的支持.     

用于描述面向对象并发系统的实用图文法模型

面向对象的并发系统与传统的并发系统的不同之片在于其进程结构的动态性，系统中地进程以及进程之间的通信链路随着对象的变化而动态地建议或撤消。法模型比其他形式化化工具更适合描述这种并发和动态的特性。这里我们介绍一个新的用于描述向对象并发系统的图法模型，在该模型中为系统的设计开发提供了一个用来描述诉静态和动态结构的语言工具－ＣＤＳＬ语言。     

C^＋＋作为计算机专业入门语言的实践与探讨

随着计算机硬件与通信技术的迅速发展,计算机应用的规模与复杂度不断提高,计算机软件的开发语言、工具与环境也在不断更新。在系统软件与应用软件领域中,面向对象程序设计(简称OOP)语言C~(++)已成为主要开发工具,从微机、RISC作站、小型机到中、大型机的各种软件与硬件平台上均提供了C~(++)语言的开发环境;在管理信息系统、数据处理等结构化方法的传统应用领域中,越来越广泛地应用了客户/服务器体系结构,前端开发工具如Powersoft公司的PowerBuilder、Borland公司的Delphi等均支持OOP;在热门的Internet/Intranet     

计算机体系结构的发展与分布式并行程序设计语音OCCAM

本文主要概述了计算机体系结构的发展趋势以及相应的程序设计语言必然向分布式并行语言方向发展。文章中归纳了分布式程序设计语言研制的两种途径,重点介绍了一种新型的分布式并行程序设计语言——OCCAM。OCCAM既是一种分布式多机并行系统设计的系统程序设计语言,又是一种面向应用和教学的并行程序设计语言。它适合于科学计算,数字处理,实时系统的程序设计。最后,文章给出了在IBM——PC机上,UCSD——P系统支持下的并行算法及其结构的OCCAM模拟程序。     

具有通用性的设备面板模拟程序的设计

文中针对目前电子仪器设备上十分常见的液晶显示屏 控制键盘面板结构，设计了一种以帧为基本语句的面板描述语言PDL，并实现了其文法分析程序。本文给出了以PDL为基础的设备模拟程序的结构，在这种结构下可以实现模拟程序和面板描述数据的分离，使模拟程序具有了通用性，提高了开发效率。     

带迭代算子的函数式程序设计

本文提出了程序设计语言的一种新的计算模型，带迭代处子的函数式模型，文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定怀证明，该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解，证明及构造高效的执行系统，相信该类语言是一咱有坚实理论基础、高效的、实际有用的高级确定性程序设计语言。     

分布式并行处理和多晶片机系统

本文首先描述以CSP 理论为基础的一种经命名通道通信、有层次结构的分布式并行处理模型,然后详细分析、归纳occam 语言和晶片机(transputer)为支持和实现这种并行处理模型所具有的结构特征,并以具体系统为例探讨了以晶片机为结构组件构造的多晶片机系统在系统结构上的一般特性。对于多晶片机系统在九十年代可能的发展变化,也作了简要的分析评估。     

一个并发对象演算

由于缺乏一个为人们接受的描述并发对象系统语义的形式化模型,开发面向对象程序设计语言的开发受到了很大的制约,为了给并发面向对象程序设计定义一个公共的语义框架,人们分别以π演算和ａｃｔｏｒ模型为基础进行了研究。     

STOOP：面向对象与状态转移一体化的程序设计体裁

本文提出,在 C/C~(++)这样的面向对象编程语言中的一种“面向对象与状态转移一体化的程序设计体裁(STOOP)”,或者,一种“嵌入于 C/C~(++)中的面向对象与状态转移一体化的编程语言”.它蕴含了诸如过程式、产生式(基于法则的)、逻辑式等体裁。本文讨论 STOOP 的语言特性,在 C/C~(++)中STOOP 的体系结构,STOOP 与过程式、产生式、逻辑式诸体裁的关系。     

SoC设计中支持软硬件划分的虚部件库设计

在传统的软硬件协同设计中，硬件采用的是RTL描述(用硬件设计语言HDL描述)，而软件通常采用C或者C 语言进行描述，这种语言描述的不一致会加大协同验证仿真的难度，从而导致系统设计过程的反复。文章提出了一种基于WISHBONE总线协议标准的用SystemC语言描述的虚部件库设计与管理方法，可以降低SoC系统设计的复杂度，从而加快SoC系统设计的过程。     

贝叶斯缺陷分析模型及其在软件测试中的应用

针对面向对象软件提出了一种以贝叶斯网络理论为基础的软件缺陷分析模型,通过分析系统中存在缺陷对象之间的影响关系构建贝叶斯网络模型,利用已有的经验数据评估贝叶斯网络模型中各节点的缺陷概率分布,并与软件测试过程相结合,直接从测试设计级别为测试人员提供相关决策支持。将该模型应用到实际的项目中,取得了较好的效果。     

基于分层模糊有色Petri网的防空C~3I系统建模研究

通过分析某防空C~3I系统的组成和运行方式,针对系统结构复杂、多种资源、资源多种模糊属性等特点,定义了一种分层模糊有色Petri网HFCPN,并给出具体的推理算法。在此基础上建立该防空C~3I系统模型,从而提出了一种建立防空C~3I系统分析模型的新方法。最后通过应用实例验证了该方法在描述系统分布、并发、异步等特性的同时,分析系统资源多种模糊属性问题的能力。     

成员系统模型及其归约

本文提出了一种基于有限关联团块观点的成员系统模型，主要针对不确定性情况给出了其归约操作的形式化描述，讨论了它与产生式系统的关系，并根据该模型及其归约过程，成功地设计实现了一种并发成员系统程序计算语言，对研究支持多种ＡＩ问题求解的模型及其语言做了有益的尝试。     

C＋＋目标对象的抽象与并发控制

C＋＋作为一种面向对象程序设计语言具有非常强大的功能。文章描述了C＋＋面向对象程序设计语言中实体描述（数据抽象）以及程序（进程）的并发控制。     

OCCAM并发程序设计语言及其通信机制

OCCAM是基于C·A·R HOARE提出的CSP(Communicating SequentialProcess)语言模型而设计的一种小巧的并发程序设计语言。它的特点是语言简洁、程序结构化及并发描述能力强等。OCCAM允许用户定义成组的多个并发进程以及它们之间的同步通信通道(Channel),适用于对高度并发系统的模拟仿真以及各种实时系统的控制。也适于用作高级并发语言的教材。本文扼要地说明OCCAM的语法及相应语义,并用实例分析其通信机制。OCCAM语言在国际上已受到日益广泛的注意和称赞,在分布式系统的模拟上,OCCAM也是很有价值的。