ada语言相关论文
本文首先叙述了运载火箭的地面 CA-MAC 测控系统的硬件构成及软件需求,然后用面向对象的方法,论述了地面 CAMAC测控中模拟量测试及......
本文给出的动态监督系统可以检测ada语言多任务程序在运行过程中是否发生死锁.如果死锁的原因是由于程序设计不周而引起的,将提示......
基于模型驱动架构MDA方法,对AADL进行了研究,提出了AADL模型元素同ada语言元素之间的映射规则,开发了AADL模型的ada代码自动生成器......
以编制解算三通道控制系统方程为例,本文对Ada语言在仿真方面的适用性进行了初步研究。......
给出了一个基于Ada的建模语言AML.AML以Ada95为基础,吸取了Ada95的基本原理和思想,利用支持建模的设施对其进行扩充,以便适用于软......
<正> 1.DIANA的外部表示文法(1)〈DIANA程序〉::=〈使用结点〉〈结点序列〉(2)〈使用结点〉::=名字〈属性标号地址〉|整数〈标号地......
对程序进行分析和测试是提高软件可靠性的有效途径。本文介绍的Ada软件SLICE分析器是一种对被测软件进行静态数据流分析的工具,它能缩小用户......
Ada是唯一由政府组织、按规定的需求和严格的工程要求研制的语言,唯一经过全世界计算机科学家共同参与讨论而制定的、并且得到工业......
战术导弹制导与控制算法的运算量已非常大,但随着武器系统处理需求的不断增加,当前通用处理器已不能满足运算需求。因此,使用美国防部......
<正> 一、引言过去十年在计算语言领域的重要进展之一是出现了具有并行计算能力的Ada语言和Occam语言。Ada语言是具有类似Pascal语......
<正>Ada语言是美国国防部(DOD)为解决软件危机和日益增长的软件开发费用而主持研制的一个通用......
利用Ada语言单CPU多任务并行算法的特点,我们用单CPU上多任务并发运行 垭仿真多机并行处理的模型,实现单机交替并发的并行仿真运算,对单CPU多任务......
本文详细讨论了ADA语言的分别编译原理及其在两个编译程序实例中的实现方法。...
本文给出了计算图的所有顶点间的距离矩阵D及最短路径矩阵P的一串行和异步并行算法,利用上述结果,又得到其他图论问题的高效异步并行算......
GCC(GNU Compiler Collection)是可以用来编译C、C++、面向对象C、Fortran、Java和Ada语言的一组编译器的集合,属于GNU的原始计划之一。......
本文提出了在单机上实现Ada语言的多任务的单栈存储组织的新方法。同一个任务一个栈的存储组织的方法比较,大大节省了存储空间,提......
Ada语言是一种功能极强的程序设计语言,已成为80年代最有影响和最有代表性的一种高级语言;Prolog语言是建立在符号逻辑基础上的简......
本文将逐步求精的思想融合于面向对象的方法,形成了逐步求精的面向对象的方法学SROOM,提出了对象的三级抽象;给出了三级对象范围统一......
本文首先叙述了运载火箭的地面 CA-MAC 测控系统的硬件构成及软件需求,然后用面向对象的方法,论述了地面 CAMAC测控中模拟量测试及......
概述了Ada语言的由来与发展、特点、西方推行Ada评阅的政策和状态,Ada语言的软件工程环境以及国内推行Ada语言的策略和现状。......
用GAG的基本原理和属性文法的基本理论,对GAG输入文件中的DIANA GENERATION部分作了研究,提出了一种用GAG开发具有生成DIANA属树性功能的ADAA前端编译器的实现方案,并对......
本文介绍了AWA(Ada Working Assistant)系统的研制和开发.AWA是一个建立在VAX/VMS上的集成化的Ada程序设计支持环境,AWA的研制和开......
Ada语法制导编辑器ASDE是集成化的Ada程序设计环境AWA(Ada working Assistant)的核心系统。它引导用户按照Ada的语法规则编写程序,......
接口描述语言IDL(Interface Description Language)翻译器将交换数据的IDL描述翻译成目标语言的描述,同时,IDL翻译器还生成基于目......
Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750A......
Ali文件是Ada编译工具生成的文本文件。该文对M1750Ada编译器所生成的Ali文件作了具体的分析,并介绍了用于Ali分析的工具和Ali的应......
先简要介绍了Ada语言中的3种重载现象,并给出了表达式的二叉树存储结构,随后阐述了判别重载的基本算法,即先后对表达式分析树进行自底向上......
论述了Ada软件测试结果分析系统的功能,它的方案设计以及界面风格,此系统是集成化的Ada软件测试与分析系统中的主要工具之一,它不仅能够帮助......
介绍了一些软件的性能检测技术和检测工具,并对它们的实用性和适用性进行了讨论然后,着重讨论了Ada软件系统的并行机制,并详细分析了与软......
<正> 基于PC/DOS、MS/DOS操作系统的Ada(及Ada变种)编译程序有若干个,Janus Ada是目前巳使用的一个。引进的目的在于消化和吸收,最......
本文比较了Ada和Fortram-77两种语言在形式和功能上的差别,并指出Fortran程序向Ada程序转换应重点解决的问题。......
文章介绍了一种基于C/S结构的Ada_DBMS分布并行计算模型,它将Ada的任务机制、C/S结构、DBMS的多线索机制相结合,形成一种灵活的分......
Ada编程语言的一次重大修订正在国际标准化组织的监督之下进行,修订版于6月在英国约克召开的Ada欧洲会议上公布,并有望在今年年底......
本文给出一种对Ada并行程序的流程图分析法,该方法不仅给出在并行程序中,并发多任务之间相互通信的一种可视化的表示,同时可检查出地程序......