基于遗传算法的纤维增强复合材料层合板刚度设计方法

基于遗传算法,提出了一种带刚度要求的纤维增强复合材料层合板设计方法。以层合板的各层铺设角和厚度为设计变量、刚度为设计目标、制造工艺性为设计约束,将纤维增强复合材料层合板的刚度设计问题处理成一种离散的叠层顺序优化问题,采用遗传算法求出满足给定刚度要求的层合板设计。最后,通过算例验证了设计方法的有效性。     

顺序图的形式化方法描述

UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数学理论,按照抽象机的方式理解系统.为了使UML表达的语义更加明确,同时发挥形式化方法的优势,采用B方法对UML中的顺序图进行描述.     

边界扫描JTAG控制器设计及实现

从边界扫描测试的概念、工作原理和基本结构入手,分析并设计了边界扫描JTAG控制器,以具体的芯片和指令为例,通过 JTAG 控制器实现了对芯片的边界扫描测试功能,为进一步展开嵌入式边界扫描测试研究工作提供了依据。     

基于INS辅助的GPS接收机完善性监测算法研究

以惯性导航系统输出的数据作为辅助信息 ,对 GPS完善性监测算法进行了研究。该法以卡尔曼滤波新息序列为依据 ,对 GPS卫星的伪距测量值是否出现故障进行的检测 ,并给出了计算机仿真算例。仿真结果表明 :该方法能够及时准确地检测出 GPS故障星     

GPS C／A码与P（Y）码抗干扰性能分析

讨论C/A码与P(Y)码重复周期的不同对各自抗干扰性能的影响。探讨涉及P(Y)码接收机抗干扰性能的认定问题。分析表明:多数情况下P(Y)码接收机具有比C/A码接收机远高出10dB的抗干扰性能;转发式干扰对P(Y)码接收机很难达到欺骗效果。     

运载火箭控制系统漏电故障诊断研究

从系统的角度分析了运载火箭控制系统漏电故障诊断的特殊性，指出故障也是系统要素之间的一种联系方式。为了准确、有效地描述系统状态条件同其故障关系问所存在的关联，提出了条件故障图的描述模型，界定并分析了描述系统状态关系的状态树，并将它与故障图相结合形成条件故障图，用于对故障关系的自动化描述及分析。在此基础上，引入蚁群算法来确定故障树的最优检测次序，并指导系统多故障状态的决策。将它们应用于运载火箭的控制系统，给出了一个特征实例。条件故障图可以有效地描述状态条件对故障关系的影响及作用，蚁群算法能够实时地、自适应地进行动态路径选择。获得了令人满意的效果。     

CoRoT and Kepler results: Solar-like oscillators

The space-borne observatories CoRoT (Convection Rotation and planetary Transits) and Kepler have provided photometric time series data of unprecedented precision for large numbers of stars. These data have revolutionized the fields of transiting exoplanets and asteroseismology. In this review some important asteroseismic results obtained using data from the CoRoT and Kepler space missions concerning stars that show solar-like oscillations are discussed. These results comprise, among others, measurements of the location of the base of the convection zone and helium second-ionization zone in main-sequence stars, the presence (or not) of core-helium burning in red-giant stars, as well as differential rotation in these stars.     

Nk-投射半模及其性质

主要引进了Nκ-投射半模的概念，并结合环中投射模与半环中投射半模的性质，得到了关于Nκ-投射半模的一些性质，这些性质是投射模与投射半模性质的推广。     

数字电视大范围载波频偏快速捕获算法

根据中国数字电视地面传输标准帧结构特点,提出了一种大范围频率偏差捕获方法.该算法利用PN(Pseudo Noise)序列移位相加后仍为PN序列这一特征,通过帧头PN序列与本地PN序列的差分互相关得到待求的频偏值,然后利用BLUE(Best Linear Unbiased Estimator)方法,在不损失频偏精度的前提下扩大频偏估计范围.该算法能在帧同步前快速捕获大范围频偏,为可靠实现帧同步以及频偏跟踪过程提供了必要条件.仿真结果表明,相对于传统的差分互相关算法,该算法能在一个帧头时间内快速锁定频偏,频偏估计范围扩大了H倍且频偏精度不变.