论文部分内容阅读
在我国的航空领域发展过程中,机载嵌入式软件发挥着重要的作用,如果机载嵌入式软件出现问题将会给航空领域的发展带来不利影响。因此,本文主要是针对机载嵌入式软件的安全性机制进行研究。
机载嵌入式软件的安全性机制研究
【摘 要】
：
在我国的航空领域发展过程中,机载嵌入式软件发挥着重要的作用,如果机载嵌入式软件出现问题将会给航空领域的发展带来不利影响。因此,本文主要是针对机载嵌入式软件的安全性
【机 构】
：
广州南方卫星导航仪器有限公司
【出 处】
：
电子测试
【发表日期】
：
2019年6期
其他文献
目的描述脑静脉和静脉窦血栓形成（cerebral vein and sinus thrombosis，CVST）的临床表现、影像学特点、诊治方法和预后，评价预后的影响因素。方法在单中心观察性研究中，连续性入选
昨天我们疑惑于单纯控制传统危险因素不能完全阻止动脉粥样硬化的发展，易损斑块是临床事件的元凶；今天我们发现：氧化应激在动脉粥样硬化发生、发展及斑块破裂过程中产生了重要作
本文通过对缺锌小儿服用锌剂和铁剂后发锌和外周血血红蛋白的变化来研究锌剂与铁剂在体内的相互作用。研究对象及方法研究对象为1987年3月至1988年6月在我院锌门诊诊治的儿童
对于机械失效诊断提出可以根据设备中各零部件的二元关系，利用解析结构醛为建立阶递结构；该方法可以避免在建立故障树时下行法和上行法的繁杂的计算，较为简单地得到造成设备失效
本更新版指南的目的是为那些尚未患卒中或短暂性脑缺血发作的人群提供深入及时的卒中预防循证建议。循证建议涉及危险因素的控制、头颈部循环的动脉粥样硬化性疾病的介入方法
用化学结构参数－模式识别／人工神经网络方法对非晶态合金系的磁性，超导电性和力学性能与组成结构之间的关系进行了定性分析和定量计算，采用的化学结构参数为平均价电子数，混合熵，原
研究具有局域电子态的非公试体系的长统计分布。分析了格点势能分别为μｉ＝λｃｏｓ（２λσｉ）（Ｈａｒｐｅｒ模型）以及ｕｉλｔａｎ（２λσｉ）的两类非公度体系的能级长长分布函数。从中发现，若体系仅存在局域态，则其能级分布
目的：探讨中国北方青岛地区汉族人群脂联素（adiponectin，ADIPOQ）基因多态性与老年缺血性脑血管病发病的相关性。方法入组年龄大于60岁的老年缺血性脑血管病患者，按急性卒中治疗低
本文对氨选择性催化还原ＮＯｘ的宏观动力学进行了研究，并得出了相应的动力学方程．研究表明：该反应为扩散控制过程，表观反应级数为１，表观活化能约为５ｋｃａｌ，ｍｏｌ－１．
本文对复合中点求积公式提出了一个简单的校正公式，它具有Ｓｉｍｐｓｏｎ公式的精度，但所需计算的节点值只有一半（一维）或四分之一（二维）．