航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

两种多重网格法求解径流叶轮机械可压流动

为了加快数值求解叶轮机械内部流场的收敛速度,并改善计算结果,在数值求解径流叶轮机械可压流动的计算中,采用了由微元、二重和三重网格逐级转入和同时转入的两种多重网格法。对德国宇航局Ｋｒａｉｎ Ｈ设计的离心压气机内部流场的数值计算表明,两种多重网格法的计算结果差别不大,尽管在收敛速度方面存在差异,但均与测量数据吻合比较好。     

航空装备修理工厂质量竞争力评价体系研究

目前,国内缺少一套科学、系统的适用于飞机、发动机和导弹等航空装备修理工厂的质量竞争力评价体系。运用系统工程理论和过程分析方法,从质量体系能力、质量支持能力、质量运行能力和质量绩效能力四个方面构建涵盖19项二级、60项三级指标的质量竞争力评价指标体系;提出一种基于G1专家组合多重相关赋权的评价方法,全面综合决策者或专家意愿,形成一套标准化的权重系数集;依据评价准则,采用专家打分、模糊评价的方式对航空装备修理工厂质量竞争力进行评价,并作进一步分析。结果表明:该指标体系合理,评价方法可行,对航空装备修理工厂提高自身质量竞争力具有一定的指导和借鉴意义。     

光折变晶体多重存储实验研究

本文首先讨论了在光折变晶体同一体积内复用多幅全息图的等衍射效率记录方法 ,即递减时间曝光方法。然后采用这种曝光方法 ,分别以掺杂为 0 .0 3 %的Fe :LiNbO3和双掺杂晶体Zn :Fe:LiNbO3为存储介质 ,以Δθ=ΔΘ(ΔΘ =0 .0 94°)为复用角度间隔 ,存储了 12个字母 ,并再现出了清新的图像。     

欧洲计算流体力学——个人观点

介绍了70年代初到20世纪末欧洲科学家对CFD发展的主要贡献,并重点关注了对国际流体力学数值方法会议(ICNMFD)和国际计算力学学术会议(ISCFD)的成功举办具有重大贡献的科学家.ICNMFD始于1969年(新西伯利亚),由参与了美国和苏联太空竞赛的两国科学家联合创办,而ISCFD则作为ICNMFD在亚太地区的同类会议初创于1995年(东京).由Oshima教授和本人提议,得益于上述两个会议全体科学委员会成员的共同努力,ICNMFD和ISCFD自2000年开始,合并成为每两年举办一次的国际计算流体力学会议(ICCFD).绝大部分本文讨论所涉及的学者通常都在受邀进行大会报告后,成为了前述三大国际会议中的一个或多个科学委员会的成员.作者对文中讨论所涉及的研究人员的圈定负有全权责任,上述人员的选择更多地基于应用而非理论计算流体力学,因此尚存在不完善之处.此外由于文中所讨论的学者大都是作者在40多年计算流体力学研究生涯中的私交好友,因此并没有将年轻一代的科学家考虑进来,但这并非由于他们的贡献不重要.另外值得注意的是欧洲的计算流体力学同美国的计算流体力学有非常紧密的联系,本文讨论所涉及的研究学者有些最早从欧洲开始涉足计算流体力学而现在则生活和工作于美国(例如Glowinski,Roe,Van Leer等人),而有些则是在美国取得了博士学位(例如Launder,Napolitano),他们都同美国的科学家进行过合作,因此很难清晰地对欧洲和美国的计算流体力学进行界定.对那些现已移居美国的欧洲科学家们,本文优先考虑了他们移居之前的贡献.最后但并非是最不重要的,作者通过电子邮件一一联系了文中所涉及的科学家,希望他们本人能够给出其自身贡献的评价草稿,从而帮助作者以最权威的视角在文中相应章节对其工作进行评述.本文向提供自述评价的诸位致以谢意,同时也希望其他同仁能够对本人不恰当的擅自评述给予谅解.     

用基于混合网格的多重网格法数值模拟绕物体的紊流流动

本文在混合网格基础上用多重网格法求解了紊流N-S方程。混合网格是由在物面附近采用的柱状网格与其他区域则采用的非结构网格组成。方程的求解采用Jamson的有限体积法，紊流模型采用两层Baldwin-Lomax代数紊流模型。用多重网格法来加速解的收敛。数值算例表明，用混合网格及多重网格法来求解紊流Navier-Stokes是非常有效的。     

基于小波的网络连接层流量模型

最近研究表明网络流量的统计特性在不同尺度上表现出很大的差异,由大量具有高斯性的网络流量和少量的突发性网络流量组成.为了更好地理解这种复杂的网络流量统计特性,引入多尺度分析工具小波,在多尺度分析的基础上提出一种新的基于小波的网络连接层流量模型,有机地结合了独立小波模型和多重分形小波模型的优点,即保持了独立小波模型在不同尺度对高斯性方差的拟合,同时保持了多重分形小波模型对突发性的拟合.真实网络流量的仿真结果表明这个模型能够灵活地适应网络流量在不同尺度下所表现出的高斯特性和突发行为.     

利用比力多重积分作为输入信号的捷联导航算法

本论文提出了异于传统的推导捷联导航算法的方法,现在常用的仍然是传统的推导方法,且不久前Paul Savage做过总结(Savage,P．G,“Strapdown Inertial Navigation Integration Algorithm Design Part2：Velocity and Position Algorithms”,Journal of Guidance,Control,and Dynamics,V01．21,No．2,1998,PP．208—221．)。新方法的要点是利用了额外的加速度计的输出信号,它是比力多重积分在迭代周期的增量。由此产生了比力转换算法新的家族,它有效地消弱所谓的假振摆效应(它在线性振动和高频陀螺仪误差存在时产生),以较低的速度计算且无须采用抗混叠预滤波。     

多面人生 源于奇思妙想 蔡康永专访

<正>"蔡康永"这三个字对于我们大多数人来说都是非常熟悉的,每当我们看到这个名字总会想起小S的搞怪以及他的温柔微笑。红遍大江南北的台湾综艺节目《康熙来了》让我们了认识了知性、理智且博学的蔡康永,他总是像个长辈一样包容和照顾着其他人。     

众眼看宇宙

这多重曝光的月面南极合成图，是“月球探勘者”号的广角相机在六个月球日（即六个地球月）中，重复在月球南极区拍摄的多张照片处理而成。总共使用了1700张照片，每张照片经过电脑处理，把最暗像素设成O，最亮的像素设成1，其他亮度取值在0—1之间，最后再叠加。所以，这幅照片展示的是月球南极区日照时间的比率图。