混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

基于LMI的混合系统的稳定性和鲁棒镇定研究

混合系统的稳定性分析,乃至镇定方法是混合系统研究的重要内容。线性多模态切换系统是一类重要的混合系统。针对线性多模态系统提出了一种基于线性矩阵不等式技术进行稳定性分析和鲁棒镇定的方法,通过求解一组线性不等式得出稳定性的判定条件,设计出的一组状态反馈控制律对系统的模态切换乃至有界模型不确定有鲁棒性。推导了控制律设计所对应的线性矩阵不等式组,并证明了其中的一致性关系,探讨了求解方法,应用实施也显示出该方     

仿生翅室对跨声速扩压叶栅角区分离流动影响研究

为了抑制压气机叶片吸力面角区分离,减小内部流动损失,改善通道内的通流能力,基于蜻蜓翅翼的翅室和褶皱结构特征,在跨声速扩压叶栅的端壁上布置仿生翅室结构.采用数值模拟方法,研究不同深度的仿生翅室结构对角区分离流动的影响.研究结果表明:0°攻角条件下仿生翅室影响效果最明显,能够提高端壁附近的湍动能,增加靠近端壁处流体速度,减...     

考虑冲压发动机工作边界的导弹大过载机动反演控制

针对冲压发动机导弹大过载机动控制问题,设计了基于干扰观测器的反演控制器.根据导弹纵向运动方程建立了过载控制和马赫数控制模型,将模型存在的不确定性和扰动视为总干扰,采用扩张状态观测器进行精确估计,然后设计了过载回路和马赫数回路的反演控制器,为避免对控制器中的虚控制量多次求导导致"微分膨胀",采用反正切跟踪微分器对其进行精...     

亚格子模型对泵喷推进器宽带非定常力预测的影响研究

为了研究亚格子模型对泵喷推进器非定常流动与宽带非定常力预报结果的影响,采用分块结构化网格建立了模型尺度下艇后泵喷推进器的计算模型,并进行了大涡模拟数值计算。从艇尾非定常流场特征量和推进器转子脉动载荷两个方面对比了三种不同亚格子模型计算结果的差异,并分析了泵喷内部流动与转子非定常力间的内在联系。研究结果表明：三种亚格子模型均能得到含有叶频宽带峰的轴向推力谱,且整体趋势相近。泵喷转子上游的湍流强度和尺度的分布对亚格子模型较敏感,其中Smargrinsky-Lilly模型得到的湍流强度较强,尺度较大,该模型下的湍流谱在非平衡区量级较大,但由低频向高频的衰减较快,并且预测到的分离区范围大,导叶尾缘脱落涡分散,导致转子上游来流空间分布不均程度较强。对于转子叶片上的载荷脉动,Smargrinsky-Lilly模型预测的推力谱中线谱成分明显,并且叶频处宽带谱峰“陡峭”,而WALE模型和KET模型的结果宽带特性较强,对比非定常推力测试结果可知,WALE模型和KET模型更适于该问题宽带非定常力预测。     

空间交会最终平移段控制策略

提出空间交会最终平移段的控制方法,选取追踪航天器的相对位置与姿态角作为控制变量,同步控制追踪航天器的质心运动与姿态运动,修正制导机动执行偏差的影响,使目标航天器保持在光学导航视场范围之内,且满足对接操作对追踪航天器状态的要求。     

Hermite算法的收敛性分析及其改进

为了提高多点切触加工算法的计算效率,对其中的Hermite算法进行了改进,并且对改进后的Hermite算法的收敛性进行了理论分析,推导了改进后算法的局部收敛条件,同时给出算法的Steffensen加速迭代公式并新提出了一种基于试算的待定系数迭代法.分析和实例表明,改进后的Hermite算法属于线性收敛的算法,而待定系数迭代法则有接近二阶的收敛速度.综合应用上述算法,可以满足一般性自由曲面多点切触加工刀位计算的要求.      

基于KBE的飞机板金件工艺性审查系统

由于板金零件的可成形性取决于多方面的因素,板金零件成形的工艺性审查也就显得十分复杂,工艺审查的合理性和准确性往往成为飞机设计和制造的矛盾焦点.通过分析当前我国飞机板金零件工艺性审查的现状,提出了在工艺性审查中利用基于知识的(KBE,Knowledge Based Engineering)技术的必要性.分析了利用后台数据库及知识库创建工艺性审查系统的总体结构和实现方案,并对系统创建中的关键技术及解决方法进行了研究.通过实例验证了该系统的功能及可靠性.      

非对称偏差下质量特性值分布评价

传统的统计过程控制以公差中心为基准研究质量问题,对基本尺寸未给予足够重视,导致公差为非对称偏差时产品质量测度方法缺乏完善性.对此,以基本尺寸为基准,对非对称偏差下基于正态分布和切段正态分布假设的产品质量水平进行了分析,运用Taguchi质量损失函数对两类分布下产品价值的期望进行比较.结果表明,质量特性值服从切段正态分布的产品质量水平较优,产品价值的期望较高.      

宇宙探索十五、攻克宇宙大爆炸的他山之石

基本粒子和基本力概念攻克宇宙大爆炸的他山之石之一,是基本粒子和基本力概念。所谓基本粒子,就是组成物质原子的最小粒子,也叫亚原子粒子。绕原子核旋转的电子是基本粒子;原子核是由质子和中子组成的,而质子和中子又是由夸克组成的,它们也是基本粒子;此外还有中微子等。上述组