论Ada的类型

Ada是一个庞大而复杂的系统。造成其庞杂的一个重要原因是其类型特别丰富。从整体上认识Ada的类型是学习、掌握和应用Ada的关键。本文从类型的概念出发,论述了Ada的类型定义、预定义类型、类型的因子化和进一步提高抽象度的私有类型。这些论述涉及原理和实用两个方面。     

关于VAX/VMS上Fortran至Ada转换中几个技术问题

Ada语言是一种现代的模块化语言,它不仅是应用于工业控制、通讯和军事系统等实时领域的理想语言,还可以广泛地应用于系统程序设计、远程信息处理等各个领域。DEC公司VAX/VMS上实现的Ada就是非常高效的产品。由于工作需要,我们在VAX/VMS上将Ada引入控制系统,替代原来的Fortran程序。本文将阐述Fortran到Ada转换中的几个技术问题,这些技术问题的解决方法在我们的实验中证明是正确的。     

Ada语言和Ada程序设计环境

本文较详细地介绍了Ada计划和STARS计划的起因、历史和现状,论述了Ada语言的特点和Ada程序设计环境。论文指出Ada作为von Neumann机上程序设计语言的一个发展高峰,优点很多,应用广泛,前途光明,但是必须要有完善的程序设计环境支撑,否则作用难以发挥。     

Ada在操作系统中的应用

Ada已被美国国防部选定为统一的军用实时和并发程序设计语言。它不仅适合编制应用软件,而且适合编制系统软件。操作系统是系统软件的主干项目。Ada在操作系统领域内的应用前景如何?本文讨论利用Ada实现操作系统,试图回答这个普遍关注的问题。     

用Ada实现一军事辅助指挥系统

本文论及用Ada开发一军事辅助指挥系统的体会及一些实用技术,其中包括用Ada实现并发进程间的同步和通信,用Ada对dBASE-Ⅲ文件的存取等,并论及了一军事辅助指挥系统的原理。     

Ada语言在反坦克导弹半实物仿真中的应用

本文介绍应用Ada语言开发以VAX机实时仿真反坦克导弹弹体运动,并与导弹的数字控制器实时通讯,进行反坦克导弹半实物仿真的软件研究情况。特别叙述了用Ada实现并发过程及仿真软件与实际装置之间的同步和信息传递方面的实用技术。     

美国将扩大使用Ada语言

Ada语言是美国国防部开发的计算机高级语言。尽管曾一度过分夸大了它的性能,但现在Ada正逐步用于宇航和防御计划中。 一位前任陆军副部长(现任陆军部长顾问)在Ada年度展览会和波士顿召开的特殊重要的小组会议上指出,对Ada的作用夸大得太过分了。他提醒Ada销售商在宣传该语     

浅谈崭露头角的Ada语言

本文不是对Ada语言的语言文本作全面的介绍,也不是对当前Ada编译和Ada机的研制进展情况所作的综述。本文的目的仅仅是企图引起读者对Ada语言的重视,并介绍一些Ada的背景材料和基本知识,权作读者在阅读其他有关Ada文献资料的先导。 浏览书架上陈列着的各种计算机、电子     

美国国防部软件倡议——情况报告

本倡议是针对美国军事和民用工业中存在的主要软件工程问题提出的一个综合性情况报告。文章介绍了九十年代防御武器系统的主要特征,提出了控制软件复杂性和提高软件生产率的途径,着重介绍了Ada计划和STARS计划的主要方面。为了能使软件的需求和软件的研究及技术同步增长,美国建立了专门的研究所(SEI)来加强技术的转移,对国防部的各软件机构起促进和指导作用。本倡议面临的挑战是至少要把软件的复杂性和价格降低一个数量级。     

高性能的Ada机

美国国防部正致力于实现其计算机高级语言——Ada,这是因为Ada像英语一样地易读,即使对于原先未参加应用程序编程的程序员,也能很容易地理解和修改这个程序。采用Ada语言能够节省几十亿美元的软件维护费用(软件维护费是当前国防计算机     

集成结构建模框架

结构建模为模型理论和实践奠定了坚实的基础。近五年来，国外学者已有上百篇有关结构建模的研究论文发表。本文对结构建模框架进行了重构，提出了集成结构建模柜架，它克服了结构建模中基础结构、类属结构和模式结构分离的缺点；它既是理想的内部描述框架又是理想的外部描述框架；它具有明确的模型输入和输出边界以及边界的自解析能力。同时，框架蕴含的函数关系便于建模语言吸收非过程性的数据查询和非过程性函数语言的双重优点，消除了结构建模语言（ＳＭＬ）中的脚标。更重要的是该框架解决了长期得不到解决的模型操作问题。     

模糊析取语言的结构特征

采用代数方法探讨模糊 ( F -)析取语言的结构特征 .首先给出了 F -析取语言的等价刻划定理 .进而讨论了其代数性质与结构性质 .因而为其具体应用奠定了基础.     

知识的转移特性研究

通过分析不同两个主体之间知识的转移过程 ,提出了知识转移过程存在着语言调制及联结学习两种方式 ,同时 ,隐性知识也可分为真隐性知识与伪隐性知识 .对于真隐性知识的转移 ,联结学习方式是唯一的知识转移方式 ,对于伪隐性知识的转移 ,语言调制及联结学习发生在知识转移的不同阶段 ,语言作为一种共同的知识直接影响着知识转移的效率 .在伪隐性知识转移过程中 ,在初期其效率呈现稳定状态 ,而在语言知识发展到一定阶段后 ,其效率呈现指数增长 .     

Using an Action Research Framework to Explore Assessment: A South African Case Study

This article is a reflection of my first experience with action research in trying to devise a system of assessment that would benefit both first and second language speakers of English in an assessment system that is plagued by its separatist past. In this paper, I discuss an action research study on oral assessment implemented at two tertiary institutions in South Africa. The actual details of each phase of the assessments are not reported on, but the methods used to facilitate the processes are. The findings and adaptations after each phase of the assessments are discussed to show the effectiveness of using an action research methodology.

空间信息可视化查询语言SIVQL的研究和应用

在ＱＢＥ（ＱｕｅｒｙＢｙＥｘａｍｐｌｅ）的基础上扩展并构造了一种可视化的空间信息查询语言ＳＩＶＱＬ（ＶｉｓｕａｌＱｕｅｒｙＬａｎｇｕａｇｅｏｎＳｐａｔｉａｌＩｎｆｏｒｍａｔｉｏｎ），论述了ＳＩＶＱＬ的基本原理、数学基础，并给出了ＳＩＶＱＬ的具体应用实例。     

模糊推理预测方法及其应用

给出了连续论域和离散论域模糊推理预测的一般性方法,并应用连续论域模糊推理预测方法,对中国居民的人均粮食消费量进行预测。