航天飞行动力学仿真模型验证环境研究

论述了利用三维图形建立航天飞行动力学仿真模型验证环境的研究方法,该验证环境包括飞行动力学仿真模型实时解算的主控机系统设计、三维图形显示系统的设计、输入输出界面控制台设计以及实时网络的设计。     

C-R样条用于低散射目标爬行波求解

C-R(Catmull-Rom)样条具有直观、稳定、灵活、不需反求控制顶点等优点,特别适用于具有复杂外形的飞行器进行几何描述. 利用 (G¹,k=1) Catmull-Rom样条及其张量积曲面对低散射目标进行几何建模,并求解低散射目标爬行波RCS贡献,通过计算结果与实验结果比较,获得令人满意的结果.     

可修系统的可用度分析方法研究

介绍了一种新的可修系统可用度分析方法--可修系统动态故障树建模分析方法.为了获得高的可靠性和可用性,计算机控制系统大量采用了动态余度管理、储备及复杂的故障恢复技术,使计算机控制系统呈现出很强的动态性和实时性.采用动态故障树与Markov过程综合方法,将计算机控制系统的动态时序用DFTA(Dynamic Fault Tree Analysis)描述,将系统可修过程用Markov过程描述,将系统分解成若干个小的模块,逐步计算各模块的可用度、等效故障概率和维修率,最后综合进行整个系统的可用度分析.     

轻型鸭式飞机前翼量规设计

本文简要介绍轻型鸭式飞机前翼量规的设计及交点计算方法。该方法可大大减少设计误差，使对接交点可靠定位，有效地保证了部件对接的协调和互换。     

图形文法在三维角点检测中的应用(英文)

许多局部特征描述都假设场景是平面的,而在真实场景中捕捉到的图片都是来自三维世界。在图像匹配和目标检测中,三维角点作为一种包含三维信息的形状特征,是一种新的重要不变特征,但从普通角点中自动鉴选出三维角点比较困难。基于图像的图形文法提出一种新的三维角点检测方法。该方法在一定程度上能够检测出角点的三维特性。实验结果表明三维角点特征在图像匹配中是适用的,证明了所提出的方法的有效性。     

嵌入式GUI系统Microwindows的研究及应用

介绍了嵌入式图形用户界面Microwindows的分层体系结构，对图形引擎层进行了深入分析。最后，介绍了使用Nano-X接口开发图形用户界面的方法。     

VLIW上的软件旁路与细粒度并行调度

描述并分析了一种新型的VLIW(Very Long Instruction Word)机器模型,为充分利用该模型的并行特性,提出了基于静态单一赋值(SSA)表示的软件旁路方法,以及集成的基于操作的指令调度与寄存器分配算法.与常规的软件旁路方法和基于周期的调度方法相比,该方法可以灵活地进行结果寄存器的分配,并有效减少由重用结果寄存器导致的"危险值"溢出次数,生成高质量的目标代码.      

世界文化遗产卡那封城堡

卡那封城堡坐落在Menai（爱尔兰）海峡形成的个半岛上,位于北威尔士的中,是爱德华一世所建造的所有城堡中最漂亮的一座,也是欧洲中世纪最大的城堡之一。1283年由詹姆土设计和建造,在军事元素上与他的其他大型城堡相似,但是其外观却明显不同。它的塔楼是多边形而非圆形,城墙上有非常明显的图形结构,带有不同颜色石头的条带。城堡地势险要,扼守通往威尔土富饶土地的通道。卡那封城堡是爱德华一世征服威尔士以及威尔士新政府的标志,它是爱德华军事战略的重点。     

疯狂的游戏Sudoku

Killer sudoku的规则跟原本的数独一样,只是外加一条规则:每一个虚线图形(称为区)内数字的总和.都要跟它附有的数字相同。