Ada语言回顾与展望

本文概述了 Ada 语言的研制背景与过程,讨论了 Ada 与其它语言的区别、Ada 的成就与不足,分析了 Ada 的现状并展望了 Ada 的未来。     

基于网语言的Ada程序局部性质的分析和验证

旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.     

ADA语言和环境

本文概述了Ada语言的历史和当前的研制情况,描述了Ada语言的特征,讨论了提议的Ada环境。预示Ada的使用到1995年将赶上Fortran。     

Ada的成就与不足

自美国国防部把Ada语言订为军用通用语言之后,相继有十多个国家国防部门也将Ada定为军标。我国也正掀起研究、推广普及Ada的热潮。毫无疑问,研究、普及Ada对我国软件产业,软件工程学,军用软件现代化起到了很大的推动作用。美国Brown大学教授P.Wegner在IEEE Software杂志讨论资金密集软件技术中提出“Ada的成就与不足”,对Ada标准化,Ada语言持反对态度。其基本理由Ada是软件工程、软件环境处于发展初期的产物。当今软件技术发展迅速,单为降低软件费用而标准化会阻滞技术发展。提出从Ada开发十年中汲取教益,先搞出标准化的环境和接口然后再标准化语言的思想。当然,译者深信DoD不会放弃Ada的标准化及其推行,但读此文章确能看到Ada的不足。对我们的工作也许有所补益。     

Ada备忘录

介绍Ada语言的产生过程,语言的一般特点和程序包,并结合程序包的使用讨论Ada语言中的作用域概念和程序结构问题。     

VAX／VMS Ada异常的实现方法

程序单元的运行可能会遇到程序无法正常运行下去的出错(或例外)情况。在Ada语言中引入了异常机制,以处理程序运行中出现的这些错误或例外情况。异常机制是Ada语言程序运行期间处理异常的方法和手段,是Ada语言的一个重要特点,也是实时程序设计所要求的重要设施。本文主要讨论Ada异常机制的语义、以及VAX/VMS Ada实现这一机制使用的数据结构和实现方法。     

Ada编译中若干问题

Ada是由Jean D.Ichbiah等人代表美国国防部设计的一个新的系统程序设计语言,我们提出了Ada编译程序的一种结构,它分为(不依赖于机器的)前端部分与依赖于机器的后端部分。文章讨论了解决前端设计某些问题的若干方法。最后简要地介绍了中间语言DIANA,它是专门为表示Ada程序的中间形式而设计的。     

基于消息传递的程序设计语言

本文扼要介绍了几个著名的基于消息传递的程序设计语言(如CSP, PLITS, Ada, SR, DP和MOD等)的主要特点,并简单讨论了并发程序设计语言的分类模型。     

Ada语言的发展

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

基于ALI的ADA语言静态分析器的研究与实现

Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实现ADA语言静态分析器的过程。     

支持软件详细设计工具JS—PDL／C的设计与实现

ＰＤＬ是在ＣＡＳＥ中使用非常广泛的一种软件详细设计方法和工具。ＪＳ－ＰＤＬ是集成环境ＪＳ－ＳＣＡＳ中基于ＰＤＬ方法的详细设计工具，是支持交互式，多窗口和菜单驱动的工作方式。它把概要设计阶段产生的结构图和模块说明自动转换成最初的详细设计档，通过对最初详细设计文档的编辑、逐步精化以及部分自动转换，从而生成Ｃ语言程序和各种详细设计文档。     

一种策略驱动的BPEL流程异常处理描述方法

针对如何提高BPEL流程的异常处理描述能力的问题,提出了一种策略驱动的BPEL流程异常处理描述方法。首先设计了一种新型的BPEL流程异常处理策略描述语言BPEH/PDL,并基于着色Petri网提出了BPEH/PDL异常处理策略的形式化描述方法。最后结合制造执行系统领域的汽车装配流水线管理系统,讨论了基于BPEH/PDL的BPEL流程异常处理策略的应用过程,以供参考。     

Semantics of looping programs in Propositional Dynamic Logic

Standard and nonstandard models of Propositional Dynamic Logic differ in their interpretation of loops. In Standard models, a loop is interpreted as the Kleene closure of the interpretation of its loop body; in nonstandard (Loop Invariant) models, a loop is interpreted as a program which preserves invariant assertions over the loop body.In this paper we show that both interpretations are adequate to represent loops in PDL. We demonstrate this in two ways: First we note that Standard and Loop Invariant models are distinct but not distinguishable within PDL. Second, we show that the class of Loop Invariant models is complete with respect to the Segerberg axiomatization of PDL. Since completeness of the class of Loop Invariant models implies completeness of the class of Standard models, Standard models are also complete with respect to this axiomatization.The research reported here was supported in part by NSF Grants MCS77-02474 and MCS80-05387. Most of the results in this paper were announced in A Completeness Technique forD-axiomatizable Semantics presented at the 11th Annual ACM Symposium on the Theory of Computing in May, 1979.     

Results on the propositional μ-calculus

In this paper we define and study a propositional μ-calculus Lμ, which consists essentially of propositional modal logic with a least fixpoint operator. Lμ is syntactically simpler yet strictly more expressive than Propositional Dynamic Logic (PDL). For a restricted version we give an exponential-time decision procedure, small model property, and complete deductive system, theory subsuming the corresponding results for PDL.     

客专运行调整混沌改进遗传算法研究

客专时期列车运行调整的对象更加多样化和复杂化,采用高效率的运行调整避免晚点传播现象,成为运输组织的焦点问题。针对此问题,对客专列车运营模式进行分析,建立了客运专线列车运行调整的数学模型,提出了基于混沌改进的遗传算法列车运行调整模型,设计了混沌变异算子,以郑西客运专线构造实例,仿真结果验证了优化模型可行性,表明改进算法具有优越于标准GA的优化能力。     

Experiment and hydro-mechanical coupling simulation study on the human periodontal ligament

In this paper, a new method involving an experiment in vivo and hydro-mechanical coupling simulations was proposed to investigate the biomechanical property of human periodontal ligament (PDL). Teeth were loaded and their displacements were measured in vivo. The finite element model of the experiment was built and hydro-mechanical coupling simulations were conducted to test some PDL's constitutive models. In the simulations, the linear elastic model, the hyperfoam model, and the Ogden model were assumed for the solid phase of the PDL coupled with a model of the fluid phase of the PDL. The displacements of the teeth derived from the simulations were compared with the experimental data to validate these constitutive models. The study shows that a proposed constitutive model of the PDL can be reliably tested by this method. Furthermore, the influence of species, areas, and the fluid volume ratio on PDL's mechanical property should be considered in the modeling and simulation of the mechanical property of the PDL.     

一种策略驱动的BPEL流程异常处理框架

如何提高BPEL流程异常处理的开发效率是策略驱动的BPEL流程异常处理方法亟待解决的关键问题之一.首先分析了基于策略的BPEL流程异常处理机制,设计了一种新的BPEL流程异常处理策略描述语言BPEH/PDL,然后结合BPEH/PDL异常处理策略,给出了一种新的BPEL流程异常处理框架BPEH/F,它具有一定的应用意义.     

基于DSP的PDL解释器的设计与实现

介绍了页面描述语言(PDL)的概念及其在印字输出设备中的应用，讨论了页面描述语言的处理过程及其解释器的原理和实现方法，提出了基于数字信号处理器(DSP)的页面描述语言解释器及打印控制器的设计方法，并给出了其硬件框图和软件流程。试验结果表明，这种PDL，解释器的性能较传统实现方法得到了大幅度的提高。     

并行数据库系统PARO的数据装载方法

文中介绍了并行数据库系统ＰＡＲＯ的数据装载器ＰＤＬ实现。它基于两个基本算子：数据输入划分和数据收集存储，根据数据划分特征进行装载。给出了从前台主机装载和从多个后台处理结点装载的两个典型方法，并进行了实验研究。