组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

燃气- 蒸汽联合循环性能计算平台界面开发

为实现联合循环机组的快速设计、性能优化及分析,基于热力学定律,采用面向对象及混合编程技术开发了燃气-蒸汽联合循环机组热力性能计算平台。针对燃气-蒸汽联合循环系统流程结构,运用Fortran语言编译了联合循环热力性能计算模块,并借助混合编程技术与C#界面程序实现对接,完成软件界面的编译。提出界面的整体架构及类的实现与继承,构造出窗体类、计算接口类及灵敏度分析接口类,实现了所开发软件的性能计算功能。该软件能快速开展循环方案设计、优化及变工况的性能分析等工作,为机组的设计和优化提供有益指导。     

一种基于非面向对象语言的星载软件构件技术

为了进一步提高星载软件复用程度和解决航天器软件开发效率低下的问题,对星载软件特性和软件构件技术进行了分析和研究;对星载软件构件进行了定义,提出了一种基于非面向对象语言的、适用于星载软件开发和应用环境的星载软件构件模型。基于该模型开发的星载软件构件,具备独立性、完整性、可组装性和功能性。除此之外,对基于这种模型的星载软件构件设计、开发和使用方法进行了介绍,可以为采用非面向对象语言进行星载软件构件开发提供参考。在多个型号中对该技术展开实践,实践结果表明：提出的星载软件构件设计方法能够将星载软件开发效率提高2～5倍。     

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

真空热试验中卫星水平度测量系统的设计与仿真

真空热试验是卫星研制过程中必须进行的大型地面模拟试验之一。在真空热试验的准备阶段和试验阶段都必须采集卫星南北板倾斜角度,密切关注卫星姿态,以判断热管是否处于正常工作状态。文章基于AT89C52单片机、TSD-232水平敏感器和C语言设计出一套卫星水平度测量系统,并对其在Keil u Vision3和Proteus联合平台下进行了仿真分析。结果表明:该系统结构简单,程序设计方便,为卫星水平度的实时监测提供了保障。     

一个确定汉语句子主干的递归模型

汉语句子主干识别对于整个句子的语义理解起着重要的作用,汉语语义分析在确定一个多动词句子的句子主干等方面有一定的困难.提出了句子的完整语义性概念,通过对语义完整性在句子中的具体表现形式--语义完整块的介绍,分析了句子的完整语义性的特点,尝试利用语义完整性在汉语的多动词句中找出句子的主干,并提供一个递归算法加以描述,并据此建立了一个基于语义完整性的递归模型.     

高级语言在数字飞行控制系统中的应用

为跟踪90年代由高级语言开发飞控实时软件的总趋势,本文综述了高级语言在飞控中应用前景;归纳了编译器效率指标、编译器与目标计算机、软件生产率等问题。还简要地以C语言开发某直升机数字飞行控制系统为例,对高级语言开发实时飞控软件作了初步探讨,叙述了方法步骤,仿真验证手段及其结论。     

Rhetorical shadows: The conceptual representation of incongruent shadows

ABSTRACT

This article addresses the topic of conceptual representation of shadows. We analyze several examples of contemporary imagery, taken from advertising and cartooning, to shed light on the way shadow depictions are used as rhetorical devices. Instead of being inserted as a natural phenomenon, rhetorical shadows invite the construction of meaning, and instead of being a mere natural companion of their casters, they reveal things about their casters. Three so-called “shadow incongruity types” are distinguished: (1) shadows revealing the “true nature” of their caster or the “hidden contents” of the caster’s mind; (2) shadows marking some transition their caster is involved in; and (3) shadows suggesting a certain quality attached to one of a shadow’s main ingredients (casting object, light source or surface). For each of these types of rhetorical shadows, we demonstrate that the way they convey meaning basically follows the principles of perceiving and understanding natural shadows.     

1553B多功能RT IP核的设计与实现

介绍了采用一种自主研发多功能IP核实现总线全地址响应的设计方案,其可在FPGA中灵活配置,配备外围电路后可以方便实现各种功能.设计采用VHDL硬件描述语言进行编程,采用综合工具ISE Foundation对设计进行综合、优化,在ModelSim - SE 6.1g中进行时序仿真,并且最后在FPGA上实现.