分布式Ada语言系统的实现

基于Ada 95参考手册附录E“分布式系统”中的思想,提出了实现分布式Ada语言系统的一些概念和设计思想,并给出了实现分区通信子系统的具体方案.在此基础上,通过一些前置处理,并利用已实现的分区通信子系统的接口,实现了分布式Ada语言系统.最后通过一个实例,具体介绍了分布式Ada语言系统的程序设计方法.     

M1750 ADA生成的ALI信息剖析

Ali文件是Ada编译工具生成的文本文件。该文对M1750 Ada编译器所生成的Ali文件作了具体的分析,并介绍了用于Ali分析的工具和Ali的应用,旨在供从事Ada编译器研究和Ada语言编码的工作者参考。     

M1750 ADA生成的ALI信息剖析

Ali文件是Ada编译工具生成的文本文件。该文对M1750Ada编译器所生成的Ali文件作了具体的分析,并介绍了用于Ali分析的工具和Ali的应用,旨在供从事Ada编译器研究和Ada语言编码的工作者参考。     

丹麦数据处理中心的Ada编译程序研制方法

本文概述了大型、完整 Ada 编译程序和运行系统研制方案中使用的具体研制方法。该方案最重要的特色是坚持使用形式的、以数学为基础的定义技术,说明技术和实现技术。该编译程序基于两步:首先是对包括任务在内的 Ada 语言作形式的,标志的和抽象的语义说明;然后从动态语义(标志)说明,推导出从 Ada 到(所谓) A代码的抽象编译算法。     

几种基于MOOC的文本分类算法的比较与实现

机器学习是人工智能的主要内容之一,文本分类正是机器学习中典型的监督学习场景。而机器学习在在线教育平台中的应用正是现阶段的发展趋势。首先介绍了文本分类的背景及意义,文本分类系统中的文本预处理部分,介绍了信息增益算法、主要成分分析等相关技术;文本分类的分类算法部分,主要介绍了Ada Boost技术。在遵循文本分类流程的基础上,设计了一个3模块文本分类系统:一、中文分词及去停止词模块;二、文本向量化及特征降维模块;三、分类器模块。文本分类系统的具体实现上,全部采用开源工具完成,使用Ansj实现模块一,Weka实现模块二、三。按照文本分类流程,利用文本分类系统进行了实验,并对实验中得到的数据进行了分析和总结。为了提升最后的分类效果,在特征降维这一步中,添加了IG-LSA(信息增益(IG)-潜在语义分析(LSA))的混合降维方法。     

Ada语言的发展

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

AWA：一个集成化的Ada程序设计环境

本文介绍了AWA(Ada Working Assistant)系统的研制和开发.AWA是一个建立在VAX/VMS上的集成化的Ada程序设计支持环境,AWA的研制和开发大体上可分为两个部分,即构造Ada与其它一些应用软件的接口和设计一个以编辑器为核心的多级菜单驱动的、交互式的Ada程序设计环境系统.     

支撑程序包用户指南专辑 前言

<正> Ada是一种用于大型和实时嵌入式系统的设计和实现的高级语言。Ada的特点之一是其可扩充性。这不仅体现于APSE的开放式,也体现予Ada语言本身。Ada本身只定义了必需的数据结构和控制结构以及有限的高级I/O,更多的设施都可以Ada程序包的形式进行实现所允许的扩充。Ada的分别编译、库单元和程序包机制保证这种扩充可以为所有的Ada用户共享。     

VAX／VMS Ada编译程序的结构与功能

《Ada编译程序系统剖析》是我国七·五期间军用计算机研制计划中的主要课题之一。其目标是以VAX/VMS Ada编译程序系统的目标码为对象,搞清该系统的结构、功能、方法和接口技术。从Ada编译及其环境各方面介绍了Ada编译系统的结构、所采用的编译方法、各遍扫描的任务和相互接口、中间语言的形式、Ada任务与异常的实现以及与操作系统VMS的接口等技术。     

VAX／VMS Ada编译语义剖析

语义分析具体体现了Ada特性的实现,这一部分是Ada编译较重要的一部分,包含有29个模块约985个子程序,并涉及到与库打交道的输入输出。一、Ada语义分析的功能语义分析阶段穿越抽象语法树(AST),派生出编译单元的静态含义表示,完成Ada     

与Ada有关的软件开发环境问题

1.引言近来选作美国国防部公共高级编程语言的 Ada 在现实中展示出先进技术的优点。诸如并行性、包块化和可见性的思想都溶于Ada 中,从而促进了大型复杂系统的开发。然而,Ada 的功能并不意味着它能独自促进这种系统的开发:诚然,Ada 允许你编写相当大型的系统,但不得不需要有软件开发环境的支撑。软件开发遇到的问题出现在三个级别上:编程级,系统合成级和管理级。     

Ada语言族

本文提出由Ada全集和各种子集构成Ada语言族的概念。根据应用的对象和特点,定义了Ada语言族中四个子集,即基本顺序子集、系统程序设计子集。科学计算子集和实时控制子集。     

Ada与图形核心系统

图形核心系统(GKS)是一种通用的、独立于设备的二维图形系统。由国际标准化组织(ISO)[ISO 1982]和美国标准化协会(ANSI)主持的该系统的标准化工作,现在已进入了最后阶段。每一项GKS标准化工作都与程序设计语言的联编(binding)有关。它为GKS的实现提供了特定语言的标准化接口。当前在该项标准化工作的建议草案中,把Ada语言联编到ANSI GKS[ANSI 1985]。本文介绍产生联编到ANSI GKS的Ada语言和用Ada实现GKS(GKS/Ada)的研究工作。这与建议的Ada语言联编的草案要求相一致。这将是第一个展示标准化的Ada图形能力的系统。     

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

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

时序Ada网的语言性质

在Ada网的基础上，利用时序Petri网为Ada任务程序建模，提出了时序Ada网的概念，利用时序Ada网，可以很好地反映Ada程序的公平性和原子性要求及描述程序的需求，规范，对时序Ada网的语言性质进行分析，结论表明时序Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系，有助于对程序性质的分析和验证。     

Ada的成就与不足

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

Ada语法制导编辑器的设计与实现

Ada语法制导编辑器ASDE是集成化的Ada程序设计环境AWA(Ada working Assistant)的核心系统。它引导用户按照Ada的语法规则编写程序,支持自顶向下逐步求精的程序设计方法,并提供了与其它软件工具的接口,使得用户在编辑状态下就可以执行其它的系统命令。本文首先介绍ASDE所采用的模板驱动方式的语法制导编辑模型,然后详细描述了ASDE的功能、总体结构和主要实现技术。     

大型实时应用系统中C和Ada之间的一种接口技术

本文提出了一种在UNIX操作系统上适用于大型实时应用系统的C和Ada接口的软件模型,并在这个软件模型上深入地讨论了C和Ada语言的实用接口技术。     

Ada语言可重用性技术方法研究

Ada属于一种强类型通用程序设计语言,它比较适用于大型的复杂软件系统,尤其是实时和嵌入式系统。现在我国很多卫星型号软件都采用Ada语言进行开发。由于卫星使用的芯片代码区容量有限,为了实现更多的功能,提高卫星的使用率,对于代码的复用显得尤为重要。研究Ada语言的可重用性技术方法很有必要,通过对Ada语言重用性技术方法研究以及其实际应用介绍,能够更好的帮助软件开发人员以尽量少的代码来实现尽量多功能。     

一个基于Ada的面向对象建模语言

给出了一个基于Ada的建模语言AML.AML以Ada95为基础,吸取了Ada95的基本原理和思想,利用支持建模的设施对其进行扩充,以便适用于软件建模的各个阶段.AML沿用了Ada95中的程序包概念,并将程序包作为它的核心成份,同时,沿用了Ada95的任务单元和保护单元等设施,以精确描述了软件系统中主动控制成份和资源保护成份的各种特性;AML吸取了图形化面向对象建模语言与建模方法所采用的多视点模型思想,将实体不同侧面的特征分开描述;AML利用一种新的并发模型和限制设施,有效地解决了系统的并发特性和不确定性等非功能特性的描述问题;AML有较强的可扩充性,能应用于各种应用领域.总之,AML是一个既面向用户,面向开发者,又面向系统的通用建模语言,有效地克服了现有一些建模语言在表达能力和应用范围等方面存在的诸多不足.