仿真网格原型系统的设计与实现

进行仿真网格原型系统的研究是解决仿真网格关键技术的基础。SGE网格引擎是一个构建本地和集群级网格的工具,通过SGE构建基本的网格平台,根据HLA仿真任务的特点,对分布式仿真网格的原型系统进行了研究和设计。提出了仿真网格的双通道通信机制:一个通道负责仿真网格组件的通信,另一个通道负责HLA仿真任务之间的通信。提出了仿真任务在仿真网格中的三种调度模式:以进程为单位的调度、以联邦成员为单位的调度、以联邦为单位的调度等。通过研究初步实现了仿真网格的原型系统,并对HLA仿真任务的三种调度模式进行了简单的测试。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

涵道螺旋桨气动特性数值模拟

以某涵道螺旋桨为研究对象,利用动量理论分析了孤立螺旋桨和涵道螺旋桨产生不同拉力的原因;同时利用SST k-ω湍流模型,采用三维Navier-Stokes方程,利用滑移网格模型,通过数值模拟分别计算了孤立螺旋桨与涵道螺旋桨的复杂流动,分析它们在不同转速下,拉力系数、功率系数和效率的差异。分析表明,加上涵道以后,有效抑制了螺旋桨桨尖涡,减少了能量损失。在相同转速下,总拉力系数增加23%,涵道螺旋桨的拉力系数与功率系数的比值比孤立螺旋桨的高出40%,效率显著提高,同时需用功率系数也略有增加,约0.05,结果与理论分析相吻合。     

直接挤出成型用环氧树脂的流变性及其可打印性

直接挤出成型制造适用于任何含或不含添加剂的膏状或凝胶状复合材料,对复合材料制造技术具有深远意义.通过探讨热固性环氧树脂的流变学行为与挤出成型特性,得出热固性环氧树脂在直接挤出成型制造应用中的通用性流变学参数.通过向复合材料中加入增稠剂,对其流变学行为进行设计.结果表明:在高剪切速率(50 s-1)和低剪切速率(0.01...     

机载视觉自主着陆过程中的跑道提取方法

跑道直线参数的准确提取,是机载视觉完成自主着陆过程的重要条件.首先在边缘图像的基础上利用相位编组算法,得到当前边缘图像中大量的线段,根据线段之间的角度,端点距离,以及线段两边的灰度均值,设计了一套规则来定量描述线段之间的亲近性,根据亲近值,将处于同一直线上的短线段首尾连接成长线段.取最长的若干条线段待选,再利用跑道区域的先验知识,主要是跑道内外的灰度对比信息,将位于同一条跑道的两条边缘上的线段识别出来.大量的实际图像结果验证了算法的有效性.