嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

一种涡扇发动机测温R型热电偶高精度采集方案

设计了一种涡扇发动机测温R型热电偶高精度采集方案。根据热电偶中间温度定理,结合数字电子控制器实际运行场景,选取温度可测量的控制器插头作为热电偶传感器的冷端,这种新型冷端补偿方法解决了数字电子控制器内外温度差带来的冷端测量误差。同时,通过分析热电偶分度表,分段选取不同插值表,采用线性拟合评估方法,保证了软件运算速率和计算精度。利用FLUKE多功能检验仪,对R型热电偶信号采集回路进行了验证。结果表明,其性能指标满足要求,对于工程应用是一个合理可行的方案。     

一种拉索结构张力测量方法

为了准确获取较高精度星载网状天线上柔性索网结构的张力,提出了一种通过两次做动的接触式索网结构张力测量方法;该方法通过两次做动,消除因测量过程中绳索三点弯对测量结果的影响,实现两端固支预张力绳索张力值的确定;提出了张力测量系统的设计思路,设计出了张力测量系统,具有一定的应用价值.     

厚壁圆筒热应力问题的传递函数方法

采用传递函数方法研究了厚壁圆筒的热应力问题.首先建立了厚壁圆筒的热弹性基本微分方程,然后运用传递函数方法求解了温度场作用下厚壁圆筒的位移与热应力,并给出其封闭形式解.数值算例表明计算结果与有限元方法的计算结果一致.该文方法还可应用于复合材料层合厚壁圆筒结构的热应力分析.     

非开普勒轨道下卫星交会变轨决策研究

针对卫星在非开普勒轨道下的运动特征,提出了研究卫星交会变轨决策的方法。首先,在Hill坐标下,采用比例导引方法求解卫星进行变轨机动时所需要的速度增量。然后,再通过Lagrange插值算法解出卫星在任意特征点上变轨机动所需要的速度增量,根据数字仿真得出大量的仿真数据并画出满足变轨决策条件的决策曲面。最后,对决策曲面的涵义做出分析,说明了该方法对于研究非开普勒轨道下卫星变轨决策问题具有一定的意义。     

航天发射故障基本分析方法

阐述航天发射故障诊断基本程序,提出航天发射故障分析方法和故障诊断方法。     

可拓优度评价方法在创新项目选择中的应用

创新项目选择是否得当，直接关系着企业的生存和发展。针对创新项目选择的可行性问题，文章将可拓工程中的优度评价方法应用于创新项目的选择过程之中，运用定性与定量相结合的方法，对项目方案进行评价，为决策提供可靠依据。     

影子工资理论的发展与应用

影子工资是为实现一定的经济发展目标而人为确定的,比名义工资或实际工资更能准确地反映劳动力资源的真实价值,并能促进其合理流动与利用的经济价格。它不仅能合理地反映劳动力价值,而且还能反映社会消耗、劳动力市场的供求关系和劳动力资源的稀缺或过剩程度,有利于资源的优化配置。影子工资理论的发展经历了线性规划对偶法、市场均衡价格理论及其拓展、按贸易货物口岸价调节的国际市场价格理论等阶段。国际通用的影子工资测算方法有UNIDO法、L-M法、S-V-T法和阿拉伯法,等等。