平台式惯导系统初始对准及导航的软件设计

方位锁定小转角对准法是近年来提出的一种新的平台式惯导系统初始对准法。除限于实验设备等因素外,还由于采用汇编语言编制惯导系统软件是一项极为繁琐的工作,需要花费大量的时间和精力;因此,在此之前,本方案和很多其它方案一样,所能做的仅仅是数学仿真。本文的目的就是通过对这种初始对准方法进行软件设计与研究,力求编制一     

基于MATLAB的CAI课件的开发与设计

设计了一套控制系统计算机辅助教学软件 ,给出了其设计思想和设计方法。该软件是利用MATLAB语言开发制作的 ,它概括了自动控制理论、过程控制、系统仿真和智能控制等课程内容 ,是一种较为实用的计算机辅助教学软件。     

Common Lisp语言在Prolog／Lisp协处理器板上的实现

首先对Common Lisp语言和Prolog/Lisp(简称PLC)协处理器板的特点作一介绍,然后介绍了common Lisp在PLC上的数据表示、运行机制以及面向Common Lisp语言的指令集的设计,最后给出了PLC板在硬件设计上对CommonLisp语言的一些关键操作的硬件支持手段。模拟运行结果表明:PLC体系结构设计、指令集设计是合理的,其运行速度达到了设计要求。     

UML在软件可靠性测试数据自动生成中的运用

为了自动生成实时嵌入式软件的可靠性测试数据,利用UML(统一建模语言)提供的建模机 制,从软件可靠性测试的角度建立use-case剖面、接口模型和测试数据实现模型,然后根 据 这些模型的描述进行随机抽样,自动生成可靠性测试数据.利用该方法能够开发出相应的测 试数据自动生成工具,在软件可靠性测试领域有着较大的实用价值.     

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.     

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

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

基于MSC.PATRAN/NASTRAN的结构优化程序系统

自行开发结构优化软件存在着人机界面和结构分析功能不足等弱点。在有限元软件MSC．PATRAN／NASTRAN平台上，用PATRAN的二次开发工具PCL建立了结构优化系统，此系统由NASTRAN作结构分析和敏度分析，采用自主开发的基于二级多点逼近算法的程序模块进行寻优计算，并且特别增加针对空间飞行器结构优化的特殊功能和相应前后置界面，使PATRAN／NASTRAN具有的结构优化功能得以扩展。典型算例和实际工程的应用结果表明，本程序系统计算准确快捷，使用方便，适用于航天器的结构优化。     

伪随机时钟激励模块设计研究及应用

随着现场可编程逻辑器件（Field Programmable Gate Array,FPGA）验证水平的逐渐提高,对于测试平台（Testbench）中产生的时钟激励也提出越来越高的要求。目前,在Testbench中使用的时钟激励模块都是具有固定周期和固定占空比的激励信号,然而在现实条件下,时钟沿都具有一定的抖动,从而影响到时钟的占空比及瞬时频率。为了模拟时钟的这种实际特性,文章提出了一种基于伪随机算法实现的沿跳变的时钟激励模块,并将该模块用于高速计数器设计的实现验证,取得较好的验证效果。     

航天器控制高级语言的设计与实现

针对航天测控任务中存在的卫星控制人员手工操作多、任务准备周期长、自动化水平低等问题,在分析航天器控制流程的基础上,抽象出面向卫星控制人员的航天器控制高级语言,设计语言规范,描述Windows平台的编辑、编译、运行功能的设计与实现。该语言成功应用于某中心的卫星测控任务中,任务准备快速高效,大大减轻了卫星控制人员的工作量,任务过程自动执行,无需人工干预,提高了航天器控制过程的自动化水平。     

ARINC429总线接口设计与实现

ARINC429总线在航空电子系统领域被广泛的应用。本文分析了ARINC429总线的工作原理,根据其数据格式、接口电平要求,给出了由FPGA设计实现ARINC429总线的基本原理,并通过VHDL语言编程,实现了ARINC429总线协议部分,实现了接收和发送功能。采用FPGA器件设计集成ARINC429总线协议的通信芯片,可以有效地提高数据通信模块的处理能力和集成度。通过实际与通用型ARINC429总线芯片的通讯,验证了方案的正确性。