Efficient Fault Tree Analysis of Complex Fault Tolerant Multiple-Phased Systems

Fault tolerant multiple phased systems (FTMPS), i.e., systems whose critical components are independently replicated and whose operational life can be partitioned in a set of disjoint periods, are called "phases". Because of their deployment in critical applications, their reliability analysis is a task of primary relevance to validate the designs. Fault tree analysis based on binary decision diagram (BDD) is one of the most commonly used techniques for FTMPS reliability analysis. To utilize the technique the fault tree structure of FTMPS needs to be converted into the corresponding BDD format. Our research work shows that the system BDD generation algorithms presented in the literature are too inefficient to be used for industrial complex FTPMS because of the problems, such as variable ordering and combination of large BDDs. This paper presents a more efficient approach consisting of a flatting pre-processing technique, a proved efficient ordering heuristic and a bottom-up generation algorithm. The approach tries to combine share-variable BDDs by complex combination operation firstly and then combine no-share-variable BDDs using simple combination operation, thus to alvoid the intensive computations caused by large BDD combination operations. An example FTMPS is analyzed to illustrate the advantages of our approach.     

员工流动损益的计量研究

随着企业间人才的竞争日益激烈,员工流动的现象也愈演愈烈。适当的人才流动对人力资源配置的科学化、合理化有着一定的积极意义,但过高的流动率也会给企业带来巨大损失。笔者从成本-收益的角度出发,在已有的员工流动成本模型基础上,构建了全新的员工流动损益模型,并提供了隐性成本/收益的有效计量方法,让人们对于员工流动有更客观、更全面的认识,有利于企业正确的评价员工流动对企业的影响,帮助企业提高人力资源的管理水平。     

青梅茎的化学成分研究(Ⅰ)

利用硅胶柱层析和葡聚糖凝胶柱层析分离和纯化,从青梅(Vatica mangachpoi Blanco)茎的乙醇提取物的乙酸乙酯部位分离得到5个化合物。经理化数据对照和波谱分析,确定它们分别为岩白菜素(1)、邻苯二甲酸二丁酯(2)、β-谷甾醇(3)、β-胡萝卜甙(4)和熊果酸(5)。其中化合物(2)、(4)和(5)首次从该属植物中分离得到,所有化合物均为首次从该植物中发现。     

基于Web的有监督自适应话题追踪系统的设计与实现

描述了一个基于Web的监督自适应话题追踪系统.在IBM的对称Okapi公式算法基础上,通过结合监督自适应机制,对报道进行评分.系统通过调整关键字权重和增量学习的方式,对话题追踪任务中的监督自适应机制提出了新的算法,弥补了现有话题追踪系统的不足.该算法还考虑话题追踪的时序性,引入了时间信息.以互联网的新闻报道作为测试语料,将有监督自适应话题追踪系统与无监督自适应话题追踪系统进行性能比较.结果表明,有监督的自适应方法能有效降低误报率和漏报率,提高话题追踪的性能.     

微米磁性复合材料超声波吸收检测研究

目的研究磁性SiO2-Fe3O4-P(NIPAM-co-AA)有机-无机复合微球及复合材料的制备、吸收超声波的能力和吸波机理。方法分别对不同系列样品的超声衰减系数及声速进行测量、比对分析。结果磁性复合材料声衰减系数随SiO2的包覆厚度增大而增大,磁含量大小对声衰减系数有一定的影响,同时超声衰减系数对频率有很强的依赖性。结论复合材料中SiO2的包覆厚度、磁性大小对声衰减系数、超声速度有不同影响,此复合材料应用于超声波吸波材料时在较高频率对超声波的吸收效果好。     

聚吡咯/聚砜复合膜的电化学制备及其电化学性能

采用电化学聚合法制备了聚吡咯（PPY）／聚砜（PSF）复合膜，分别用扫描电子显微镜（SEM）和红外光谱（FT—IR）表征了复合膜的表面形态和化学组分，并用循环伏安法和电化学交流阻抗法对其电化学性能进行了研究．结果表明，复合膜呈双层不对称孔结构，其内层（与工作电极接触的一面）是由黑色聚吡咯组成的带少量微孔的致密导电层，而外层（与溶液接触的一面）则是由白色聚砜组成的具有许多微孔的绝缘层；相同条件下所制的复合膜电化学重复性好，在酸性溶液中具有较好的电化学稳定性和电化学活性．     

关于《成本会计》课程双语教学的调查

对双语教学授课班级学生进行了问卷调查,调查涉及学生对双语教学的认识、接受能力、对教材的要求,以及课堂上英、汉语使用比例等双语教学中较为关键的问题。在对调查结果进行统计分析后,提出了一些改进建议。     

高等教育质量保障制度变迁中的博弈均衡探析

我国高等教育质量保障制度正在经历从以政府主导的外部控制向以高校自控为主、内外结合的演进过程.文章从博弈论中的基本概念"参与人"出发,对现行高等教育质量保障制度中的四大利益主体博弈进行分析,探讨主体博弈规则缺失及其原因,通过制度创新实现利益主体的博弈均衡.     

小菜蛾半合成人工饲料配方的优化

小菜蛾是研究害虫抗药性、生理学、病理学、毒理学等方面的重要实验昆虫。为了获得大量发育整齐的实验昆虫,应用二次正交旋转回归组合设计方法,筛选小菜蛾半合成人工饲料配方,以世代总存活率为目标函数获得的优化配方为:每100g人工饲料中,麦芽粉4.33g、蔗糖4.5g、菜叶粉5g、干酪素3g。在温度24～26℃,相对湿度60%～70%的条件下,用该优化配方饲养小菜蛾,幼虫期8.55d,蛹期4.5d,化蛹概率0.736,羽化概率0.905,存活率和发育速度与自然饲料的相似,存活比较稳定。20头蛹质量为100.30mg。成虫行为正常,雌虫平均寿命9.8d,雄虫13.7d。每雌产卵量123.50粒。该饲料配制简单,成本低廉,饲养过程中不必更换饲料,管理方便。     

一卡多表管理系统软件的研发

用DelPhi语言设计了一卡多表系统的功能模块和与它相关的数据库.本系统包括冷水和用暖的提供、收费管理、用户校对和用户的一些基本信息等功能,将多种收费和管理功能集于一身,便于用户和管理者使用和管理.系统由主模块通过菜单和快捷键调用各个功能模块实现对系统的操作与管理,方便快捷.