基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

桂南平话山摄、臻摄入声韵的演变

以选点和计量统计方式,对桂南平话山摄和臻摄入声韵的今读情况进行描述,分析探讨其演变类型、规律,试图揭示桂南平话固有层次语音的演变。     

注意正确使用百分点

"百分点"这个数学基础概念的使用现在越来越多,但不少媒体用错了。例如"2007年XX产量为100万吨,2008年达112万吨,增加了12百分点"的表达有误,应该用百分数表示,即"增加了12%"。百分点只用于比较采用百分数形式表示的数值的增减,例如个人存款的年利率从3.25%降至2.25%,     

美国航宇局对女航天员政策的演变

从上世纪60年代初到现在,美国航宇局对女航天员的政策大致经历了三个阶段的变化过程：第一阶段是从1961年到1978年,即从“水星”13名妇女的航天员试选到美国第一批女航天员的正式选出,称为“保守期”;第二阶段是从1978年至1999年,即从第一批女航天员的选出到航宇局第一次让妇女担任航天飞机机长,称为“开放期”;第三阶段是从1999年至今,称为“成熟期”。     

美国载人航天计划的演变及教训分析

50多年来,美国载人航天领域取得了众多成就,航天技术一直保持领先地位;但其载人航天计划的演变并没有遵循稳定的发展路线。美国载人航天计划主要经历了阿波罗计划、航天飞机计划、"国际空间站"项目和"太空探索新构想"。目前,奥巴马政府又计划出台新的载人航天政策,可见,演变过程与总统制的决策制度以及美国保持航天技术领先的政治目标有一定的关系。     

前体尾流对降落伞工作性能的影响

为研究前体尾流对降落伞工作性能的非定常影响,基于Realizablek-ε湍流模型采用PISO算法开展了物伞系统的非定常绕流数值计算,获得了精细的流场旋涡结构。在此基础上,研究了不同拖曳比下物伞系统的尾涡演变规律、流场分布规律以及伞衣气动特性变化。结果表明:前体尾涡导致伞衣入口处的涡量大小和方向时刻变化,随拖曳比增加,涡量黏性耗散增强,进入伞衣的旋涡强度逐渐减弱,伞衣入口形成稳定的负涡量区,伞衣尾涡脱离周期随之延长;拖曳比对尾涡区后端（伞衣入口处）流场压力的影响远大于前端,随拖曳比增加,流动形式逐渐由闭式转变为开式,流场的速度分布和压力分布更为对称,伞衣入口形成稳定的正压区,内外压差增加;当拖曳比大于9时,前体尾流对降落伞阻力系数和表面压强系数的影响减小。      

机身框与长桁、蒙皮的连接形式研究

通过对飞机机身框与长桁、蒙皮连接的不同结构形式进行对比分析,从传力、疲劳耐久性、工艺性和结构重量等方面进行比较,得出各种连接形式的优缺点,为今后机身设计提供一定的依据和参考。     

高速风洞试验中运输机支撑形式的选择

合理选择模型的支撑形式和解决支架干扰问题是准确获取气动力数据的关键因素。为了寻找一种合适的运输类飞机在高速风洞试验中的支撑形式,首先通过计算分析和试验验证,给出了运输类飞机高速风洞试验中30°尾支撑支架干扰问题存在的原因,然后根据0°、5°、15°以及30°不同尾支撑形式的计算分析和专项试验论证结果,提出并验证了小角度尾支撑是现阶段运输类飞机高速风洞试验中最合理、最有效的支撑形式。     

基于Patran/Nastran 和Hypersizer的复合材料后机身加筋结构形式选择分析

针对复合材料后机身加筋壁板构型选择问题,采用有限元前后置处理软件Patran建立有限元模型,使用有限元分析软件Nastran进行初步分析,利用复合材料结构分析与优化软件Hypersizer进行结构形式的优化计算分析,优选出后机身壁板最佳结构形式。通过计算分析,得出有意义的工程经验。     

结构形式及成型方案对飞机复材结构的外形精度影响分析

与金属相比复合材料板件的厚度偏差较大,这一弱点对保证飞机装配精度非常不利。本文针对三种典型结构形式,计算了各结构形式采用不同成型方案的外形偏差值,通过对比分析,从保证飞机外形面精度的角度提出了应选择的成型方案。