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

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

加快打造河北环京津新增长极战略突破口路径选择

京津冀协同发展已上升为国家发展战略,河北提出要大力培育环京津地区新的发展增长极,廊坊由于区位独特,发展优势明显,将成为河北打造环京津新增长极战略突破口。廊坊打造河北环京津新增长极战略突破口有其深刻的内涵,是廊坊未来发展与客观现实的必然选择,必须内化于心,外化于行。     

火星车转移坡道柔顺性优化设计及动力学分析

对一种抽展式火星车转移坡道开展柔顺性优化设计和动力学分析。首先,分析火星车与存在异面角的坡道的挤压几何原理。然后,设计坡道的间隙机构和限位机构,并计算出机构关键设计参数的最优值,以自适应调整两侧坡道的距离,〖JP2〗减小火星车与坡道护栏之间的相互作用力。最后,对坡道下落过程和火星车在坡道上的行驶过程进行动力学仿真,验证坡道柔顺性优化设计的效果。结果表明：优化后的坡道柔顺性大幅提高,坡道可以自适应调整两侧的距离;使用优化后的坡道,可以有效降低火星车与坡道护栏的作用力,实现火星车在坡道上的安全行驶。     

基于变刚度变阻尼的柔性喷管动态模型

针对柔性接头动态迟滞曲线受控制系统控制位置精度和动态响应速度影响较大的问题,基于电液伺服机构和柔性接头变刚度变阻尼模型,构建了柔性喷管的电液伺服机构-变刚度变阻尼模型,将其和电液伺服机构-定刚度定阻尼模型进行了对比。分析了电液伺服机构主要参数、柔性接头工作参数等对电液伺服机构-柔性接头系统动态特性的影响。分析结果表明:电液伺服机构-变刚度变阻尼模型所构造的迟滞曲线可更准确地与实验结果相吻合,并符合迟滞曲线随频率变化的规律,反馈系数、放大器静态放大系数、电液伺服机构增益、滑阀流量增益等参数对系统动态特性的影响更为明显。该模型为固体火箭发动机电液伺服机构-柔性接头系统动态特性的调整提供理论依据。     

水陆两栖飞机方向舵附面层控制研究

水陆两栖飞机采用增升手段降低起降速度后,需要提高方向舵的操纵能力。将吹气式附面层控制方法应用到水陆两栖飞机的垂尾上,建立其二维模型并进行数值模拟,设计垂尾安定面与方向舵之间的缝道挡板,防止迎风一侧的高压气流冲击背风面、阻碍吹气气流附着;研究垂尾安定面后缘和前缘吹气共同作用的组合吹气方案,防止方向舵较早失速。结果表明:垂尾采用吹气式附面层控制之后,结合缝道挡板和组合吹气,方向舵操纵能力可提高1倍左右。     

低能自由空气电离室优化设计

借助于空气比释动能的基本定义和概念以及空气比释动能绝对测量的理论方法,分析了自由空气电离室可以作为空气比释动能绝对测量方法的原理和条件。通过平板型与圆柱型自由空气电离室的优劣比较,选择平板型作为研究对象,详细介绍了经典的平板型自由空气电离室,并通过理论分析计算以及模拟计算的方法,优化设计包括：光阑半径、空气衰减长度、极间距等低能自由空气电离室的关键几何尺寸,以最小化空气比释动能测量时产生的总不确定度。     

多元校正一紫外吸收光度法同时测定苯酚、苯胺、对苯二酚

苯酚、苯胺和对苯二酚在紫外区具有吸收,但吸收光谱相互重叠而形成干扰,难以进行直接分析.本文采用化学计量学多元校正方法处理,建立相应的数学模型,进而用于未知溶液的浓度预报分析.该法还用于实际水样的分析,获得较好的定量分析结果.     

对高校建立经常性统计数据质量核查制度的思考

文章探讨了在国家教育体制不断改革的情况下,经常性统计数据质量核查制度的内涵,以及高校建立经常性统计数据质量核查制度的必要性,并对高校如何落实经常性统计数据质量核查制度提出了自己的看法.     

非线性油膜支承裂纹转子振动特性分析

 以具有无限长轴承和无限短轴承支承的横向裂纹转子为研究对象,分析在非线性油膜力与横向裂纹联合作用时,Jeffcott转子的动力特性,并将其与刚性支承情况进行比较。结果表明轴承油膜力的存在对裂纹转子的振动影响较大,一般将降低转子的振动,这样势必增加转子裂纹故障诊断的难度。所以,在进行裂纹转子的故障诊断时,必须考虑到支承条件的影响,建立合理的动力学模型。     

GPS姿态测量的载波相位整周模糊度快速解算

 根据 ARCE方法可以将模糊度搜索空间从所观测到的 m颗卫星的 m -1维降为 3维独立整周模糊度搜索空间,结合整数高斯变换及基线长度约束减小模糊度搜索空间,利用 Cholesky分解提高模糊度搜索效率,实验结果证明该方法能够快速解算整周模糊度适于实时姿态确定等应用。