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

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

一种Ada83服务性任务向Ada95保护对象变换的方法

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

Ada会合关系及其分类：Ada会合关系并发复杂性度量研究之一

影响并发程序复杂性的最重要因素是任务之间的通讯和同步行为。我们认为这些行为表现为Ada程序中的会合和会合之间的关系。在这项系列研究里,我们要考察Ada程序中的会合、会合之间的关系和关系的分类,深入研究会合接续和嵌套关系,为接续关系引入接续图,为嵌套关系引入嵌套树,并给出构造这些图和树的方法和它们的一些性质。最后,我们建议Ada程序P的并发复杂性CC(P)是接续复杂性SC(P)的嵌套复杂性NC(P)的加权和;SC(P)是可从Ada程序正文静态识别的会合关系构成的诸会合接续图的边数之和,NC(P)是诸嵌套树的加权节点数之和。文中还给出若干可静态断言程序死锁的充分条件。本文第一部分讨论Ada会合、会合关系和会合关系的分类。     

Ada会合嵌套关系与会合嵌套复杂性度量——Ada会合关系并发复杂性质量研究之三

影响并发程序复杂性的最重要因素是任务之间的通讯和同步行为。我们认为这些行为表现为Ada程序中的会合和会合之间的关系。在这项系列研究里,我们要考察Ada程序中的会合、会合之间的关系和关系的分类,深入研究会合接续和嵌套关系,为接续关系引入接续图,为嵌套关系引入嵌套树,并给出构造这些图和树的方法和它们的一些性质。最后,我们建议Ada程序P的并发复杂性CC(P)是接续复杂性SC(P)和嵌套复杂性NC(P)的加权和;SC(P)是可从Ada程序正文静态识别的会合关系构成的诸会合接续图的边数之和,NC(P)是诸嵌套树的加权节点数之和。文中还给出若干可静态断言程序死锁的充分条件。本文第三部分讨论Ada会合的嵌套关系和程序的会合嵌套复杂性度量,并将综合这几部分研究,提出Ada程序并发复杂性度量的综合指标。     

Ada会合接续关系及会合接续复杂性度量——Ada会合关系并发复杂性度量研究之二

影响并发程序复杂性的最重要因素是任务之间的通讯和同步行为。我们认为这些行为表现为Ada程序中的会合和会合之间的关系。在这项系列研究里,我们要考察Ada程序中的会合、会合之间的关系和关系的分类,深入研究会合接续和嵌套关系,为接续关系引入接续图,为嵌套关系引入嵌套树,并给出构造这些图和树的方法和它们的一些性质。最后,我们建议AdaP程序P的并发复杂性CC(P)是接续复杂性SC(P)和嵌套复杂性NC(P)的加权和;SC(P)是可从Ada程序正文静态识别的会合关系构成的诸会合接续图的边数之和,NC(P)是诸嵌套树的加权节点数之和。文中还给出若干可静态断言程序死锁的充分条件。本文第二部分讨论Ada会合接续关系和程序的会合接续复杂性度量。     

一种实现Ada并行任务机制的新方法

本文提出了在单机上实现Ada语言的多任务的单栈存储组织的新方法。同一个任务一个栈的存储组织的方法比较,大大节省了存储空间,提高了任务环境的转接速度。     

一种提高网管应用开发效率的新工具

高级管理目标和低级管理模型之间的差距造成了当前网管应用开发的高难度、低效率在分析网管应用开发困难原因的基础上．设计了一种新颖的图形界面开发工具VMOC编辑器。介绍了它的原理及实现．并通过一个简单的例子说明了这一工具的用法．显示了它在高效开发网管应用方面的优越性。     

一种基于变异"生产者--消费者"模型提高广播效率的方法

提出了一种解决变异的“生产者—消费者”问题的方法，并建立适当的模型，将它应用于网络中的数据广播，以获得较好的性能。该方法的提出是基于解决某公司打印计价电子科SM-X系列软件传输速度慢、效率低下而提出的；旨在提高类似星型拓扑结构网络中的数据传输效率。实践表明该方法使数据的广播效率得到了较大的提高，且已投入实际应用。     

并发对象的一种描述机制

面向对象模型潜在的并发计算能力为并发程序设计提供了更高层次的解决方案。为了充分利用这种潜在的并发招行能力,必须在对象模型中显式地给出并发控制。本文给出了一种描述并发对象的机制,即：把对象的并发控制作为对象的单独属性进行描述,在定义子类时,把对象的并发描述与对象的方法分开进行继承。我们的目标是使得引进的并发机制尽量少地与对象模型的各个重要特性相冲突,减轻继承异常。另外,我们提出的并发模型允许对象内部的并发。     

Ada95保护对象与面向数据的同步

本文详细讨论了Ａｄａ保护对象机制，分析其应用并将之与其它有关设施进行了分析与比较。     

一种并发程序依赖性分析方法

并发程序的依赖性分析是并发程序分析,理解,调试,测试和维护的重要手段,由于并发程序执行的不确定性,目前,尚有很多难点有待解决,针对Ada任务机制,首先提出了一种简洁,有效的并发程序表示方法－并发程序流图,然后讨论了由任务间同步引起的同步依赖和由访问共享变量引起的任务数据依赖,建立了并发程序依赖图,并在此基础上给出了一种有效的并发程序依赖性分析算法,得到一个比较精确的依赖性,较好地解决了并发程序依赖关系不可传递性问题。     

并发面向对象程序设计语言研究与进展

随着面向对象程序设计的普及和对并发应用程序需求的增加，并发面向对象程序设计语言的设计日益成为研究热点。     

分布式柔性工作流的研究与实现

工作流的柔性问题已经成为工作流研究领域的一个重要方面。笔者首先讨论了实现柔性的必要性,具体分析了柔性的分类。在此基础上给出了应用面向对象的概念和RMI技术来实现这一课题的详细方案。原形系统是基于C/S架构和RMI、采用Java语言开发的。系统中各客户独立地运行在各自的系统机上,通过分布式工作流引擎灵活的调度、控制、柔性协同地完成共同的目标。     

基于视觉非线性的图象分割新方法

本文分析了在感知目标与其背景时Otsu判别准则与人类视觉机理间的不一致性,并根据视觉的非线性和适应性原理提出了新的目标图象分割计算模型和算法.实验结果表明,与传统的分割法相比,该方法具有优良的从低反差图象中抽取目标的性能.     

安全模型的一种形式化方法

本文基于有限状态机的理论，结合通信顺序进行的概念，提出了一种开发安全模型的形式化方法。在该方法中，用ＦＳＭ描述整个系统结构和控制部分，用ＣＳＰ描述系统的状态转移。文章以多级安全策略为例建立了一个安全模型。     

基于矩阵的视频存储模式研究

视频存储分配技术在视频服务器主要技术之一,对VOD应用性能起决定性作用。本文提出一种视频存储模式的定义和基于矩阵的视频存储模式,在该模式中,采用三层结构存储基于矩阵分割的视频流,实现了VOD系统的无延迟即点即播,同时通过在视频流GOP中减少B帧的方法,减少复制数据段的数目,从而减少系统的内存需求。实验表明,该视频存储模式是有效可行的。     

基于物理模型的彩色图象理解算法

本文给出一个彩色图象理解算法。算法首先对图象上的颜色变化(由光照和物体颜色引起)进行分析与综合,然后分割图象。算法的基础是双色反射模型理论,理论认为反射光的颜色是界面反射(耀斑颜色)和本体反射(物体颜色)的线性组合,这两种反射光在颜色空间的三维直方图中形成特定的聚类(点簇)。因此分析聚类的性质可帮助确定光照和物体的颜色,但是有意义的聚类的生成又以图象中物体区域的确定为前提。算法按照假设检验的策略,依据图象中的连通性和颜色空间中聚类的特征,完成彩色图象的分割,并产生对景物中所发生的光学过程的物理描述。该描述包括本征反射图象,分割图象,物体和光照颜色的符号描述。本征反射图象包括只反映界面反射的耀斑图象和从原图象中去除耀斑影响后的本体图象。     

面象对象用户接口管理系统模型的建立

本文采用面向对象技术，在对用户接口管理系统（ＵＩＭＳ）进行分析的基础上，提出了满足典型应用要求的ＵＩＭＳ模型框架，其目的是建立基于快速原型法的ＵＩＭＳ开发与管理模型。