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

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

Ada并发软件的质量保证策略和模型

本文概述了Ａｄａ并发软件质量保证的基本特点，探讨了死锁检测和实时性检测与优化方法，并研究了相应的质量保证策略和模型。     

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

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

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

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

Ada程序的会合次序图

针对Ａｄａ程序提出了一种会合次序图，用以表达程序中的会合次序和任务的流程。同已有的其他多任务描述工具相比，更容易理解，可以用做并发程序的设计描述手段和程序理解工具。它也适用于其他具有舍并并发机构的语言。     

一种有效实现Ada多任务的新方法

文中提出了一种实现Ａｄａ多任务的新方法。在运行环境中，一个程序中的所有任务共享一个堆栈，并与另一种方法进行了比较。     

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

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

Ada图形用户界面的实现策略

在UNIX环境下实现Ada的图形用户界面一直是一个比较困难的问题。X/Motif Ada Bindings是一个Ada与Motif工具箱的低级接口工具集,它可用于实现Ada的图形用户界面,本文从它的解决方案、体系结构及接口机制等几个方面对此软件包的实现进行了比较深入的研究分析,并基于此软件包和现有操作平台提供了一种高效的Ada GUI实现策略。     

用Ada异常设施实现隐式调用的体系结构

基于事件的隐式调用体系结构,因其具有系统部件的松散偶合和反作用集成的特性,正受到普遍重视。基于软件体系结构原理,本文分析了面向对象的交互方式,并提出了一套用Ａｄａ异常设施实现基于事件的隐式调用的研究方法,它表明将传统程序设计语言改造成某种特定的ＡＤＬ是可能的。     

C++的一种并发扩充方案

该文给出了一种对C++进行并发扩充的方案.它基于这样的并发面向对象模型:系统由一组自治的并发对象构成,对象可以有一个体,一旦对象被创建,对象体就开始执行;对象间采用同步消息传递,允许对象内部的并发;对象的并发控制分散在各方法的激励条件中.文章还给出了一种转换策略,把扩充的C++描述转换成C++描述,使之能被现有的C++编译器识别.转换中利用了某些多任务操作系统(如Windows 95)所提供的多线程和同步设施.     

Improving Portfolio Efficiency: A Genetic Algorithm Approach

In this paper, I present a decision-making process that incorporates a Genetic Algorithm (GA) into a state dependent dynamic portfolio optimization system. A GA is a probabilistic search approach and thus can serve as a stochastic problem solving technique. A Genetic Algorithm solves the model by forward-looking and backward-induction, which incorporates both historical information and future uncertainty when estimating the asset returns. It significantly improves the accuracy of expected return estimation and thus improves the overall portfolio efficiency over the classical mean-variance method. In addition a GA could handle a large variety of future uncertainties, which overcome the computational difficulties in the traditional Bayesian approach.I thank for Russell Cooper, David Kendrick, Douglas Dacy for their helpful comments.     

一种工作流环境下能耗感知的多路径服务组合方法

当前,服务组合方法只考虑组合服务QoS的优化而不考虑组合服务的能耗优化.针对这一问题,文中首先根据不同情况提出了两种服务能耗模型;其次在基于工作流的服务组合环境下,提出了一种能耗感知的多路径服务组合方法 EAMSC.该方法对服务组合的能耗优化问题进行了数学建模,并提出了一种基于启发式的多路径服务组合算法,该算法包括两个部分:一是组合服务的可行路径查找,即在满足端到端QoS约束的前提下找出若干条可行的服务组合路径;二是请求速率的分配,即在可行的服务组合路径上依据服务能耗模型分配请求流量以降低组合服务的总体能耗.最后,仿真实验结果表明:能耗感知的多路径服务组合方法与传统的服务组合方法相比,能够在保证端到端QoS约束的基础上有效地减少组合服务的总能耗.     

Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification

Our experience with design of Ada¹ software has indicated that a methodology, based on formal algebra, can be developed which integrates the design and management of reusable components with Ada systems design. The methodology requires the use of a specification language, also based on formal algebra, to extend Ada's expressive power for this purpose. We show that certain requirements for the use of Ada packages which cannot be expressed in Ada can be expressed in algebraic specification languages, and that such specifications can then be implemented in Ada.