Ada语言的发展

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

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

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

MATLAB在模糊控制系统仿真中的应用

介绍了MATLAB软件 SIMULINK工具箱和模糊逻辑工具箱以及如何在SIMULINK环境下构造系统的仿真模型，着重描述了如何利用图形用户界面（GUI）建立模糊推理系统（FIS），对模糊控制与传统的PID控制的仿真结果进行了比较，并得到了一些结论。     

MATLAB在模糊控制系统仿真中的应用

模糊控制系统的设计是模糊控制系统应用的重要问题之一,而系统的仿真是设计中的重要步骤和必要的保证,本文首先简要介绍了MATLAB语言、模糊逻辑工具箱和SIMULINK工具箱,然后着重介绍如何利用模糊逻辑工具箱、SIMULINK工具箱进行模糊控制系统的仿真,并给出具体实例,这种方法克服了传统用C语言进行仿真的复杂,不方便的缺点,使模糊控制系统的仿真变得容易、直观且迅速。     

Proteus和Keil在单片机控制系统仿真中的应用

本文介绍Proteus和Keil单片机控制仿真的使用方法及联调设置方法，以具体实例详细说明在单片机控制系统仿真中的应用。     

MATLAB在综合模糊自适应控制系统仿真中的应用

该文介绍了用MATLAB(SIMULINK) 语言针对一类非线性系统把模糊控制,模糊逻辑逼近及模糊滑模控制相结合的一种综合自适应模糊滑模控制方法,进行仿真的步骤和方法.直接和间接自适应模糊控制器,它们只能利用模糊控制规则或模糊描述信息.而综合自适应模糊控制器能利用上述两种信息.仿真表明算法的有效性.可以看出SIMULIK是控制系统动态仿真的有力工具,而且相对于以往任何一种仿真方法,MATLAB 语言更方便、高效,具有无可比拟的优越性.     

MATLAB语言在自动舵模糊仿真中的应用

船舶自动操舵仪（简称自动舵）是操纵船舶的关键性设备。本文详细介绍了一种基于ＭＡＴＬＡＢ语言的自动舵模糊控制仿真系统。本文的讨论分为如下几个方面：（１）自动舵模糊控制系统结构;（２）用ＭＡＴＬＡＢ语言进行自动舵模糊控制仿真,包括航向模糊控制器的设计和实现;（３）通过输入航向信号图,输出航向信号图以及控制舵角信号的变化比较图,对仿真结果进行分析。本文介绍的内容以１个实际项目为基础,具有较好的实用性。MATLAB语言在自动舵模糊仿真中的应用@马壮$南京东南大学仪器科学与工程系!２１００９６@万德钧$南京东南大…     

PSPICE的行为模型及其在控制系统仿真中的应用

通过用电子电路仿真软件PSpice的行为模型仿真功能的分析，提出了将PSpice应用于控制系统仿真的具体方案。仿真实例充分表明PSpice是进行控制系统仿真的一个有效工具，在科研和教学中具有广泛的应用、推广价值。     

MATLAB在模型参考模糊自适应控制系统仿真中的应用

该文详细介绍了用MATLAB（SIMULINK）语言对模型参考模糊自适应控制（MRFAC）系统进行仿真的步骤和方法，可以看出SIMULINK工具箱是控制系统动态仿真的有力工具，而且相对于以往任何一种仿真方法，MATLAB语言更方便，高效，具有无可比拟的优越性。     

小型机在仿真中的应用

<正> 一、序言 鹦鹉能模仿人说话,猴子能模仿人的动作,仿真就是相当于“模仿”。就目前来说根据使用计算机的不同,分为模拟仿真、数字仿真、数模混合仿真等三类。就仿真方法来说有数学仿真、半实物仿真。其仿真的基本意义就是要对真实的物理系统如:导弹在空中的飞行,原子能反应堆的化学反映过程、城市交通     

Modular verification of Ada generics

This paper develops modular verification rules for Ada generics which are proven to be sound and complete. The generic mechanism in Ada allows modules to be parameterized by types, procedures and functions. The modularity property allows a generic to be verified once, and then exported to other modules which assume that it is correct. This requires the generic to have a specification which is used in verifying other modules, but its implementation cannot be used for this purpose. Thus, modular verification cannot be based on removing generics by macro expansion which requires the use of the generic's implementation. The main difficulty with specifying and verifying a generic is that the specification language may need to be extended with a new theory for specifying and reasoning about properties of objects whose type is a parameter to the generic. Such theories must be part of the specification of the generic, and this raises the possibility that the extended specification language may not be expressive, even if it was before the extension. The use of strings in our specification language prevents this from happening, which is proven in the paper; this is a major step toward establishing the completeness of our rules. Modularity also had a large impact on our semantics for programming constructs which is quite different from the usual semantics in the literature, even though it is still based the denotational semantics of Scott and Strachey. The main reason for this is that we had to modify the standard definition of validity. Modularity requires that validity depend on certain internal assertions in a program, such as the precondition of a procedure invoked in the program.     

Overloading in the Ada language: Is it too restrictive?

Packages in the Ada™ language provide a mechanism for extending the language through the development of additional data types. Such types can be better integrated into the language using operator overloading; however, key limitations prevent new types from being transparently integrated into the language. Allowing function names to overload private type names would give a cleaner and clearer mechanism for building values of these types. Furthermore, by allowing redefinitions of “:=” and by making it easier to overload “=” for private types, Ada could be transformed into a more expressive language.     

双电机驱动伺服系统的控制与仿真研究

研究双电机驱动伺服系统优化控制问题,双电机驱动伺服系统中存在齿隙非线性,从而降低系统跟踪响应速度、稳态精度及抗干扰能力,为了削弱齿隙非线性对系统产生的不利影响,提出了一种新的控制方法,采用遗传算法和RBF神经网络相结合。针对RBF神经网络控制器参数难以确定的问题,对RBF神经网络的隐层中心值和宽度进行了优化,用递推最小二乘法训练隐层和输出层之间的权值。最后在双电机驱动伺服系统中进行了仿真,结果表明系统跟踪响应速度快,稳态精度高,抗干扰能力强,具有较高的鲁棒性,证明所提出的控制策略是有效的。     

柴油机转速智能控制系统仿真

以12V180柴油机为对象,建立了柴油机简化传递函数和执行器模型。控制方法采用PID控制,并利用遗传算法优化控制器参数,对柴油机动态调速过程进行了仿真分析,在30s和60s时分别突加和突减50％负荷,并列出了柴油机各参数在负荷突变时的仿真结果。仿真结果和基于Z—N（Ziegler—Nichols）法的参数整定方法做了比较,结果表明遗传算法的性能远优于传统的参数整定法。     

Two implementations of the Ada program library

The programming language Ada defines a separate compilation mechanism which must enforce the language rules in the same manner when compiling a program either in several units or as one compilation unit. Two implementations of the Ada program library required by this mechanism are described. Each has an associated compiler manager program which is the user's interface to the library. The first maintains a central map file containing the library structure. The second uses the UNIX tool make to maintain the library and permits more flexibility in the UNIX operating system environment. Higher level tools could use the second manager as a component part.     

数控弹簧机控制系统的设计

介绍了用触摸屏、PLC、变频器设计数控弹簧机控制系统,详细地介绍了该机控制系统的工作原理,硬件的选型,软件的实现.该控制系统具有性价比高,参数修改容易等特点.     

多变量控制系统CAD软件包及其应用

以多变量频域法中的逆Ｎｙｑｕｉｓｔ阵列法为基础，开发了设计多变量控制系统的软件包，利用该软件包设计了直流锅炉控制系统。该系统结构简单、工程应用方便、调节品质良好、具有较好的鲁棒性，为多变量控制系统设计提供了一种实用有效的方法。     

Ada95分布系统模型的分析

本文详细分析了Ada95分布系统模型的语义,重点探讨了分布单元的构成、通信和库单元分类编译指示,最后给出了网络应用的例子。     

电动缸测控系统的仿真与通信

为了研究电动缸的性能和控制系统,利用虚拟仪器LabWindows/CVI设计了电动缸测控系统的仿真软件.通过对电动缸数学建模,并模拟电动缸伺服驱动器的位置信号,采用增量式PID、步进式PID及专家PID控制算法对控制效果进行仿真.为了使控制效果达到最佳,采用遗传算法对PID参数进行整定,结合Matlab/GUI实现在线参数整定,并通过Polling Queue技术实现数据的通信.仿真结果表明,该仿真软件达到了较好的控制效果.     

Semantic analysis of program initialisation in genetic programming

Population initialisation in genetic programming is both easy, because random combinations of syntax can be generated straightforwardly, and hard, because these random combinations of syntax do not always produce random and diverse program behaviours. In this paper we perform analyses of behavioural diversity, the size and shape of starting populations, the effects of purely semantic program initialisation and the importance of tree shape in the context of program initialisation. To achieve this, we create four different algorithms, in addition to using the traditional ramped half and half technique, applied to seven genetic programming problems. We present results to show that varying the choice and design of program initialisation can dramatically influence the performance of genetic programming. In particular, program behaviour and evolvable tree shape can have dramatic effects on the performance of genetic programming. The four algorithms we present have different rates of success on different problems.