安全关键软件的需求递阶层次结构

软件需求缺陷特别是关于系统安全性方面的需求缺陷已逐渐成为导致飞机等安全关键系统发生事故的主要根源。在基于模型的软件开发中,有效管理开发出来的软件需求将有助于解决这一问题。为避免软件需求的无序性导致软件需求缺陷特别是安全性需求缺陷的生成,在借鉴层次分析法的有关思想基础上,提出了层次化管理安全关键软件需求的思路,构建了安全关键软件的需求递阶层次结构。该结构按照目的、准则、方案三层将软件需求有序组织在一起,不仅明确表达了不同层次软件需求之间的关系,有助于保证软件需求的一致性、可溯性,而且说明了软件安全性需求与危险场景之间的关系,有助于预防安全性需求缺陷,从而可以有效规避软件安全性问题。     

采煤机断裂液压拉杆修复工艺研究

某矿区使用的进口EKF采煤机机身采用液压拉杆联接,液压拉杆在实际使用过程中经常发生螺纹损坏、主体断裂等现象,设备维修厂内近年来积压了大批断裂拉杆,不但不能循环利用,而且进口件采购周期长、单件价值高。通过对原拉杆应力、变形率进行计算、对母材进行分析,选用合适的焊材、合理的接头形式和修复工艺,恢复其使用性能,不仅节约了配件费,而且修复周期短,工期可控,符合企业可持续发展要求,也为类似零件修复提供经验。     

TS－BUS智能照明系统在机场中节能应用

结合实际案例,介绍了最新的南京天溯TS－BUSKNX智能照明技术及该技术在机场照明中的智能节能应用,通过TS－BUS智能照明系统,可实现远程网络监管,同时实现根据照度、时间等来进行实时开闭,实时联动,节省了人力,节约了能源。     

船用蒸馏造水机设计分析

造水机是重要的船舶辅机之一,使用蒸汽或内燃机缸套冷却液余热作为驱动热源,为船舶提供淡水.目前国际市场上船用蒸馏造水机已由管壳式换热器向板片式换热器过渡,国内相关设计产品和技术研究比较缺乏.本文为了研究板式蒸馏造水机换热及流动特性,以内燃机冷却液余热作为驱动力,选取实际运行工况,从热力学和流体力学角度分析研究板式蒸馏造水装置的设计要点,通过对造水机的板式蒸馏器进行热力计算和换热计算,对引射器进行结构改进设计以及对造水机的整体工艺流程设计,得到船用板式蒸馏造水机各部分的结构和详细尺寸参数.计算得到额定工况下的理论产水量并进行低负荷实验.结果表明,造水机产水品质和运行特性符合设计要求,为板式造水机制造和研发提供参考.     

无机盐颗粒在超临界水膜反应器内的流动特性研究

文中采用基于欧拉-拉格朗日方程的拉格朗日离散相模型,对无机盐颗粒在超临界水膜反应器内的气固两相流特性进行数值模拟。分析了无机盐颗粒直径、入口流量、颗粒密度等对超临界水膜反应器内的颗粒运动规律、分布特性的影响。并且分析了颗粒直径和颗粒密度对无机盐颗粒接近多孔璧的参数的影响。结果表明曳力对颗粒在反应器内流动非常重要;相对于颗粒密度,颗粒直径的变化会引起颗粒流动状态更明显的变化;并且颗粒在多孔璧附近的参数受流场两侧靠近多孔璧的湍流扩散影响较大。研究结果有利于优化超临界水膜反应器。     

基于平稳小波变换的飞行数据去噪方法

为更有效地去除飞行数据中的噪声,分析了平稳小波变换的基本原理,将小波系数相关性与阈值收缩去噪方法相结合,提出一种基于系数相关性的改进阈值函数去噪方法。该方法采用平稳小波变换,先对小波系数进行相关性分析,而后使用改进的阈值函数对小波系数进行阈值处理,最后进行信号重构。实验结果表明:该方法不仅能够很好地保持信号的形状,而且信噪比较高、均方误差较小;在实际的飞行数据处理中能够获得较好的去噪效果。     

基于粗糙集的管理人才甄选方法研究

针对管理人才甄选中的信息不确定性、不对称性及相关性,基于粗糙集理论、信息熵概念以及相关性分析,对原始指标进行筛选得出管理人才甄选评价指标体系,集成主、客观信息偏好,构造综合权重优化模型,运用Lagrange法来求解指标的权重向量,从而得出了一种管理人才甄选的粗糙集综合评价模型.通过算例证明了该方法的有效性.     

PKM炉粗煤气出口温度和灰锁温度高的原因及处理措施

1 PKM炉制气简介 PKM炉是一种自热式,逆流移动床加压气化工艺,PKM炉制气工艺简图如图1所示.     

企业治理机制与国企改革

现在关于国企改革的讨论都集中在如何达到政企分开以及如何重组和管理资产上 ,而忽视了对现代公司体制运行以及这种体制赖以生存的制度环境的系统研究。从国企改革的目标和中心议题——建立有效的治理机制入手 ,结合目前上市公司治理机制现状 ,提出改善企业治理机制必须产权改革和创建公平、竞争的市场环境并举 ,并给出几点政策建议     

TiO_2纳米线/Bi_2WO_6催化剂制备及影响因素探究

为制备具有可见光响应的高效光催化剂,采用水热法制备了点-线型形貌的TiO_2纳米线/Bi_2WO_6复合催化剂,考查了钛源、水热温度、溶剂、复合配比等制备因素对复合催化剂形貌的影响,并采用X射线衍射(XRD)、紫外-可见吸收光谱(UV-Vis)、扫描电子显微镜(SEM)、透射电子显微镜(TEM)等方法进行表征.结果表明:采用钛酸丁酯制备的TiO_2纳米线为锐钛矿相且结晶度良好;水热温度为180℃,溶剂为乙二醇,TiO_2纳米线复合配比为50%(质量分数)时所制备的TiO_2纳米线/Bi_2WO_6复合催化剂点-线形貌最优;TiO_2纳米线复合窄带隙半导体Bi_2WO_6明显拓宽了光谱响应范围,复合催化剂的禁带宽度达Eg=2.70 e V.