基于S曲线模型的航空装备嵌入式软件量化安全评估

软件测试是航空装备嵌入式软件生命周期中的重要环节,如何评估软件测试的效果是一个难题。以软件测试为基础,讨论了航空装备嵌入式软件的生命周期过程中安全缺陷出现的规律,认为它的安全缺陷同样满足S曲线。引入了AML建模理论,基于软件测试数据,建立了某航空嵌入式软件的S曲线模型,预测了软件的总安全缺陷数。对AML理论进行了拓展,讨论了转折点的选取原则。最后,通过卡方检验和预测检验的方法,验证了预测模型与测试数据的匹配性。检验结果表明,AML模型能够很好地模拟实际测试情况,一定程度上消除了数据随机性的影响,其模型具有一定可信度,能够用于航空装备嵌入式软件的安全性分析。     

不规则边界曲面的四边形-三角形混合网格展开法

提出了用四边形-三角形混合网格等面积展开的几何模拟法确定不规则边界曲面零件毛坯外形，并给出了四边形-三角形混合网格算法。     

轮胎滚动阻力与花纹特性的相关性研究

研究花纹特性（饱合度及形态）对轮胎滚动阻力的影响。结果表明：轮胎花纹饱和度降低,纵向花纹轮胎的滚动阻力基本保持不变,横向花纹轮胎的滚动阻力持续增大,混合花纹轮胎的滚动阻力先减小后增大;纵向花纹对滚动阻力的贡献相对较低,横向花纹对滚动阻力的贡献较高,混合花纹对滚动阻力的贡献介于横向花纹与纵向花纹之间;低滚动阻力轮胎的花纹饱和度宜在70%左右。     

蓄水条件下某水电工程坝址区变形体变形 与稳定性研究

库岸边坡在蓄水后的变形和稳定问题一直是水电工程的主要问题, 尤其是坝址区库岸边坡稳定性对水电工程 的正常运营起着至关重要的控制作用。针对黄河上游某水电站库岸一变形体边坡, 在对该变形体边坡基本特征分 析的基础上, 采用数值计算的手段, 对黄河上游某水电站坝址区变形体在自然及蓄水条件下稳定性进行对比分析。 结果表明: 蓄水后变形体边坡的变形具有明显的分区特征, 且坡体的变形受影响较大。同时, 利用强度折减法对变 形体的稳定性系数进行了计算, 变形体的稳定性较好, 考虑到坡体局部稳定性较差, 可能会产生局部失稳破坏, 因 此, 需采取支护措施保证该处坝址区变形体在运营期间的长期稳定性。     

湿法炼锌铁钒除铁工艺管路结晶的机理探讨

通过对湿法炼锌过程所涉及的三元体系M_2SO_4-ZnSO_4-H_2O(M=K,Na,NH4)溶解度相图的比较研究,发现在上述三元体系中,在一般的冶炼工艺条件下,复盐(如(NH_4)_2SO_4·ZnSO_4·6H_2O(s)、Na_2SO_4·ZnSO_4·4H_2O(s)、K_2SO_4·ZnSO_4·6H_2O(s)远比单盐(如ZnSO_4·7H_2O(s)、Na_2SO_4(s)、K_2SO_4(s))要容易析出得多。这些复盐在溶液中的溶解度均随着温度的降低而降低,是管路结晶的主要诱因。溶解度较小的((NH_4)_2SO_4·ZnSO_4·6H_2O(s)生成是导致黄铵铁钒除铁过程管路易结晶堵塞的主因。     

基于网卡的某型声呐目标模拟系统的设计

针对某型声呐目标模拟器是利用PCI总线进行上位机和下位机之间的通信,而随着移动PC和网络技术的发展,网络化的数据传输是未来数据传输的发展趋势,采用网卡芯片W5300开发了一种以太网接口系统;该系统由TMS320F2812DSP控制网络芯片W5300,给出了以太网接口的硬件设计原理、网络芯片的初始化及网络芯片数据的接收和发送控制三部分并介绍了网络驱动程序的设计;实践表明该接口稳定实现了上位机和下位机之间的网络通讯。     

微型红外探测器组件集成技术及其应用

针对微型红外探测器组件的应用特点,介 绍了国内外微型红外探测器组件集成技术的发展现状,重点阐述了红 外探测器组件集成中的几种关键技术。这些技术的研究和 发展对于推进微型红外探测器组件的应用至关重要。     

基于顶板剪切梁理论的顶板破坏及断裂力学特性分析*

顶板破坏及断裂事故占矿井灾害事故的百分之七十以上。由于顶板破坏及断裂发生的主要诱因是剪切力,因此本文基于顶板剪切梁理论,结合平煤某矿FLAC3D煤岩层开采的有限元仿真结果,研究分析了采空区长度a值对煤层内部及顶板应力的影响。通过对比分析可知煤矿顶板出现冲击地压危险的主要因素有两个:一是与采空区长度a值有关,采空区长度a值越大,出现冲击地压的可能性越大,且等效应力的最大值出现在采空区长度的二分之一处;二是与顶板承受的剪切应力值有关,当该值达到顶板剪切强度极限时,顶板与煤层组成的变形系统将失稳,出现冲击地压危险。有限元仿真结果与理论预测结果的一致性说明应用顶板剪切梁理论对顶板产生破坏及断裂的预测是准确的,同时对预测、预防冲击地压中顶板破坏煤矿灾害事故的发生具有重要的指导意义。     

冰温贮藏中南美白对虾特定腐败菌的分离鉴定及其腐败能力分析

为了分离鉴定南美白对虾在冰温贮藏条件下的腐败菌,并分析其腐败能力的大小。通过冻结实验,确定南美白对虾的冰点,在0℃与冰点之间贮藏南美白对虾,从中分离腐败菌,进行形态学观察和分子生物学鉴定,将分离得到的腐败菌接种至灭菌虾汁中,通过产硫化氢,降解蛋白质,产挥发性盐基氮(TVB-N)的测定衡量腐败能力的大小。结果表明:从南美白对虾中分离得到12株腐败菌,分别是Shewanella hafniensis,Acinetobacter johnsonii,Planoccoccus citreus,Bacillus cereus,Acinetobacter beijerinckii,Enterobacter hormaechei,Arthrobacter bergeri,Bacillus licheniformis,未鉴定出的菌株X1和X10。在冰温贮藏条件下,导致南美白对虾腐败的优势腐败菌依次是Shewanella hafniensis、X1、Acinetobacter johnsonii和Acinetobacter beijerinckii。     

长江上游水库群联合蓄水调度初步研究与思考

蓄水期是长江中下游地区用水需求最集中的时期,蓄水调度是实现水库综合利用任务最重要的环节。根据水库汛期承担的防洪任务,将长江上游蓄水水库分为仅承担所在支流防洪、自身无防洪任务但承担长江中下游防洪以及承担所在支流和长江中下游双重防洪任务的3种类型。重点分析了承担本河流和配合三峡水库承担长江中下游双重防洪任务的部分控制性水库防洪与蓄水的关系,并探讨了水库提前蓄水的可行性;结合来水的不确定性,分析了在特枯水年、偏枯水年和偏丰水年等不同典型年下三峡水库蓄水调度方式及应对措施。另外就水库群联合蓄水调度研究面临的挑战,提出了亟待开展的工作建议。