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

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

方形膜片压力敏感元件的频率特性

方形膜片是一种先进的敏感压力的谐振子。其于板的大找度变形理论，建立了被测压力与谐振子固有频率的数学模型，计算机、分析了谐振子的几何参数对振动特性的影响规律，得到了在给定压力得程内，对确定材料的膜片其固有频率相对零压力频率的变化率只与其边长、膜片厚的比值有关的重要结论，为设计该类谐振子提供了理论依据。     

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

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

舰面状态直升机机体在起落架上的固有频率分析

针对起落架缓冲支柱和轮胎的非线性特性,应用等效线性模型,提出一种预估刚性机体在弹性起落架上的固有频率计算方法。利用缓冲支柱和轮胎的刚度和阻尼试验数据,采用循环迭代方法计算了机体耦合振动的固有频率;分析了直升机重量、旋翼拉力、舰面运动状态、舰面风力等因素对机体模态固有频率的影响。对最不稳定的机体侧向二阶模态而言,最大设计重量和大升力状态时其固有频率最低,与最小重量、零升力状态相比其稳定转速余度减少约133 r/min;文中假设的舰面运动状态和舰面风力对机体模态的固有频率影响很小,而采用纵、横侧向独立的简化模型来预估机体模态固有频率具有足够的精度。     

SINS任意失准角无奇异快速传递对准

针对战术级捷联惯导系统(SINS)任意失准角下的快速传递对准,提出一种直接姿态矩阵线性矩阵卡尔曼滤波的传递对准算法。首先,利用姿态矩阵描述姿态,将传统大、小失准角条件下的强非线性、线性滤波对准问题统一转化为一个线性滤波问题;然后,采用矩阵形式卡尔曼滤波对状态进行估计,得到一种线性矩阵滤波对准算法,可以在任意失准角、无初值条件下完成对准;最后,推导姿态矩阵正交约束条件下滤波算法的最优实现。仿真结果表明,算法适用于任意失准角下的传递对准,在摇摆运动下,可以在10 s内完成快速传递对准,水平精度达到0.02°(误差均方根)以内,航向精度达到0.03°(误差均方根)以内。     

有向拓扑下无径向速度测量的多导弹协同制导

针对多枚导弹在平面内从各自期望的方向同时击中移动目标问题,提出一种有向通信拓扑下无需导弹-目标径向速度测量且带视线角约束的分布式有限时间协同制导律。基于平面内导弹-目标相对运动方程建立带视线角约束的多导弹协同制导模型。基于二阶多智能体协同控制理论设计了视线方向上的制导律,可保证有向拓扑下多导弹的打击时刻在有限时间内达到一致。基于齐次系统稳定性理论和积分滑模控制理论设计了视线法向方向上的制导律,可保证多导弹击中移动目标且视线角在有限时间内收敛到期望值。仿真校验所设计的协同制导律在理想条件下可使有向拓扑下的多导弹从各自的期望方向同时击中移动目标。     

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.     

超临界自然层流机翼设计及基于TSP技术的边界层转捩风洞试验

为了实现绿色航空节能减排的目标,层流设计技术成为飞行器设计者的研究热点。对于跨声速客机而言,超临界自然层流机翼设计技术将显著减小飞行阻力,提升气动性能,减少燃油消耗和污染物排放。首先,基于高精度边界层转捩预测技术耦合翼型优化设计系统,实现超临界自然层流翼型设计;经过合理的翼型配置,形成超临界自然层流机翼。转捩数值模拟分析结果表明,超临界自然层流机翼的层流流动特性良好。然后,以比例为1：10.4的试验模型在荷兰高速低湍流度风洞进行边界层转捩风洞试验,使用温度敏感材料涂层（TSP）技术拍照获得机翼表面在不同马赫数、雷诺数和迎角工况下的层流-湍流分布。最后,通过超临界自然层流机翼边界层转捩试验结果,探讨了该类型机翼的转捩特性随来流参数的变化规律,总结了超临界自然层流机翼设计的关键因素。此外,该模型也可用来验证边界层转捩预测技术在超临界、高雷诺数工况下的预测精度。     

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

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

二次约束优化方法在结构动力模型修正中的应用

将二次约束优化方法应用于结构动力模型修正问题中.该方法将模型修正问题转化为一个带二次约束的最优化问题.应用奇异值分解,给出了结构模型修正的数值方法,并进行了数值实验.通过与其他方法比较,本文提出的方法是有效的.