软件主动性及其实现技术

提出一种软件主动性概念，并讨论它的实现技术。主动性将改变一般应用程序系统只能提供遥惯列，可使一个具有主动性的应用系统中种主动服务功能，使得诸如实时监控和报警功能，安全保障功能，系统冗错功能，通信和同步功能，灵活的实时处理能力，以及其它军用需要的功能等等，都可以一种统一而方便的机制得以实现。     

XML数据安全系统的研究与实现

可扩展置标语言(XML,eXtensible Markup Language)正逐渐成为分布式计算的通用语言.随着XML的广泛应用,尤其是XML在电子商务中的广泛应用,XML数据的安全问题已成为关注的重点.分析了XML数据安全的特殊性,并在XML数字签名和XML加密技术的基础上,设计和实现了XML数字签名和XML加密系统.该系统能够对XML文档、XML元素以及任意二进制数据加密、签名,保证了XML数据的安全.      

基于时间自动机的AADL端到端流的延迟分析

对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.      

试论高级程序设计语言的设计与评价标准

高级程序设计语言的设计与评价标准是长期以来人们一直关心并争论的问题。我们在分析了数十种很有影响的高级语言的基础上,提出了有关程序设计语言设计与评价标准的十个主要指标。本文首先介绍了各个标准指标的选择依据,并对可靠性、可读性、可维护性、效率、可用性、灵活性、可移植性、自然性、一致性与简洁性进行了详细的讨论,最后给出了一些分析实例。     

持久性在面向对象语言中的扩充

持久性是传统程序设计语言所缺乏的,它是程序设计语言中值得重视的一个要素,面向对象语言是当前表达能力和建模能力最强的一种语言,持久性与面向对象语言的结合将能够提供一个计算建模和数据建模、数据处理和数据管理的一体化语言环境。本文介绍了持久性程序设计的发展及其相关的概念,包括持久性与数据类型的正交性;讨论了持久性与面向对象语言结合中的有关问题,如对象标识及对象指针持久性等问题;同时给出了一个在面向对象语言基础上扩充持久性的实现描述,重点在其组织结构、内外存映射及其工作过程。     

带时间参数的面向agent的程序语言AOPLID

对面向ａｇｅｎｔ的程序设计语言ＡＯＰＬＩＤ进行时态扩充,使之能表达并处理带时间参数的并发行动。对经典情境演算进行适当改造,使之能描述含时间变元的行动,因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程,因此可以将一个持续动作分解为两个时间上互不相交的瞬时动作,再引入一个新的关系流刻画这两个瞬时动作的执行情况,从而可在扩充后的情境演算中表达带时间参数的并发行动;对已有的ＡＯＰＬＩＤ离线解释器进行了适当改造与扩充,使之能执行带时间变元的ＡＯＰＬＩＤ程序;通过实例说明了该方法以及扩充后的一些语言特色。     

旋臂式模型旋翼机动飞行试验机转速控制系统研究

旋臂式模型旅翼机动飞行试验机转速控制系统采用了先进的集成电子技术、变频调速、单片机和计算机软硬件等技术，实现了对模型旋翼的转速、前飞速度进行精确控制。文中较为详细地介绍了控制系统设计，给出了实际调试结果和应用实例。     

ATML标准及其在航空装备维修保障体系中的应用

测试系统及测试信息标准化是实现测试信息和测试资源共享、交换、互操作的重要基础,也是解决航空装备维修保障领域故障诊断效率低、测试费用高等问题的重要途径。本文简要介绍了航空装备寿命周期各测试活动及对各种测试信息的依赖关系,研究了自动测试标记语言(ATML)标准的组成及其框架结构,分析了ATML标准在航空装备维修保障体系中的具体应用形式及其优势。     

A Critique of What is the Logical Problem of Foreign Language Learning

The logical problem of foreign language learning has long been a very controversial topic.Bley-Vroman claims that L2 acquisition is very different from L1 acquisition in his paper‘What is the logical problem of foreign language learning'.This paper views differently from his points about the role of native language,negative evidence and domain-specific cognitive facility.He emphasizes the facilitative role of the native language and ignoring the negative role of it.He views that negative evidence plays n...     

IPL：运载火箭测试数据自动判读语言

为确保运载火箭测试数据的完整性与正确性，克服传统人工判读模式判读效率低、易误判漏判以及通用编程语言自动判读模式判读适应性、扩展性、复用性差的不足，提出并设计运载火箭测试数据处理领域的自动判读语言IPL（Interpretation Language），以及配套的语言解析与执行器，实现了运载火箭测试判据的形式化定义与描述，减轻了业务人员的学习、判读成本，使得海量测试数据的判读在分钟级即可全部自动完成，目前已在多种新一代运载火箭工程实践中得到成功应用。