嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

Fe_2O_3掺杂原位合成Al_2O_3/TiAl复合材料的组织与性能

利用Ti-Al-TiO2-Fe2O3体系的放热反应,原位热压合成了Fe掺杂的Al2O3/TiAl复合材料。借助XRD和SEM研究了复合材料的物相组成和显微结构以及Fe2O3引入量对复合材料结构和力学性能的影响。结果表明:产物主要由γ-TiAl,α2-Ti3Al,Al2O3相构成,Al2O3颗粒分布于基体交界处,存在一定的团聚;随Fe2O3的掺杂量增大,Al2O3颗粒呈细小弥散分布,同时基体晶粒尺寸也减小,较好地改善了材料的力学性能,复合材料的相对密度和洛氏硬度逐渐增大。Fe2O3掺杂量为0.84%(质量分数)时,复合材料弯曲强度和断裂韧度达到最大值,分别为624MPa和6.63 MPa·m1/2。     

主动对等计算系统的路由机制

针对无结构对等计算系统路由机制中用户需求粒度过细,忽略需求模糊性和多元性的问题,提出了基于用户需求的路由机制.借鉴模糊理论,提出了从文件类型、文件质量、下载速度多方面综合评价节点能力的路由模型.给出了节点能力因素及节点能力的定义,采用隶属度的方式来描述节点提供资源的能力与用户需求的符合程度.分析和实验结果表明,该机制在满足用户需求和减少网络开销方面能够达到很好的均衡.      

一种基于P2P网络的语义Web服务发现机制

针对如何高效而又准确地发现分布于各地Web服务的问题,基于P2P网络和语义描述提出一种新型服务发现机制,将服务按照语义动态地注册于由委托(broker)管理的不同节点簇,并将语义相似的节点簇组成虚拟语义网,提高了查询效率;采用反馈机制主动监测拓扑节点,和利用节点簇之间的分裂与聚合机制来保证该模型的有效性和性能.最后通过对原型系统的实现证明了该机制的合理性与有效性.      

基于JXTA的CBM系统模型研究与设计

随着机械设备复杂程度的提高,设备的维护和故障检修变得十分困难。为提高机械设备的维护效率,降低维护成本,研究了采用JXTA技术实现一种P2P网络结构的通用CBM故障监测诊断系统,并给出了系统的总体结构及功能模型。整个系统具有很强的灵活性,可以针对不同设备进行具体地定制和设计。     

一种P2P的网格服务发现模型

针对当前网格服务发现中存在的问题,分析和总结了现存的网格服务发现机制的优缺点,提出了一种基于P2P技术的网格服务发现模型,该模型有效融合了集中式和分布式控制模式的优点,较好的解决了网格的可扩展性、动态自适应性,为网格提供了高效的服务发现和更好的协同工作支持.     

聚碳硅烷PC-P不熔化纤维的热解过程

聚碳硅烷PC—P是制备力学性能优异的低电阻率碳化硅纤维的先驱体。利用IR、TG、凝胶含量分析等手段研究了聚碳硅烷PC—P不熔化纤维的热解过程。研究表明，聚碳硅烷PC—P不熔化纤维高温热解过程与PCS不熔化纤维类似，但在300℃左右存在明显的自交联现象，使PC—P不熔化纤维的凝胶含量迅速增加，这是PC—P纤维在不熔化程度较低情况下能够通过高温烧成的原因。     

ZrO2基热障涂层陶瓷材料研究进展

由于ZrO2基陶瓷材料在热障涂层上的广泛应用,本文综述了氧化物(一元、二元、多元)稳定ZrO2、MZrO3化合物及Ln2Zr2O7化合物的研究情况。结果指出氧化物稳定ZrO2在热障涂层上的应用空间已十分有限,随着航空发动机技术的发展,化学式为A32 B24 O7焦绿石结构的陶瓷材料有望替代YSZ,根据声子导热理论和晶体化学原理,用稀土元素离子对A32 B24 O7型陶瓷材料进行掺杂进一步降低其热导率,将为热障涂层技术应用开辟广阔的空间。该机理对MZrO3同样适用。     

K403合金高性能钎焊技术研究

用新型镍基钎料3P1对K403合金进行真空钎焊试验,分析钎焊接头的微观组织和连接机制,测试接头高温力学性能.结果表明:采用3P1钎料,在1230℃/10min 1160℃/4h条件下进行K403合金钎焊,可以获得无缺陷的,与基体组织相似的钎焊接头,其1000℃下高温拉伸强度可以达到基体强度的90%,高温持久强度可以达到基体强度的70%以上.