基于立方体理论的MFTA软件设计与实现

本文报道的MFTA(Multi-stateFaultTreeAnalysis)软件为可靠性工程师分析多状态系统提供一种计算机辅助分析工具。我们设计了友好的Windows95用户交互界面 ,采用树视图组件实现逻辑树结构框架的输入 ,采用字符串表格组件实现判定表的直接输入 (立方体形式的 0 -1序列 ) ,还实现了多态单调关联典型结构函数到立方体形式判定表的转化。以标准模板库 (StandardTemplateLibrary)为基础 ,采用面向对象程序设计方法构建了立方体类库 ;然后 ,实现了以立方体理论为核心的MFTA定性定量分析算法 ,完成了软件的研制。     

一类基于循环群理论的变形机理分析

随着病毒与反病毒竞争的加剧,变形已成为病毒技术中必不可少的一部分,深入剖析病毒变形机理是查杀变形病毒的关键.通过运用循环群的基本理论对两个具体问题进行抽象分析,揭示了这类变形机理的理论依据,并讨论了相应的检测方法.     

软件内建自测试系统中模板的研究及系统构建

软件内建自测试(Build-In-Self-Test for Software)的思想来自于硬件内建自测试.讨论了在该项目中模板需要存储的有关信息,研究了测试用例的组织方式和在模板中的存储方式及其执行方式.而且就如何简化结构化程序的测试也进行了探讨,并提出了包装类的概念.     

思想政治工作在军企破产改制中的应用

为适应国家重点保军和国防科技工业结构调整的需要,加快军工企业改革和脱困步伐,稳妥实施“分立破产,重组改制”,是国防科技工业近年来探索出的一条军工企业改革脱困的成功之路。在这个探索中,思想政治工作在军工企业破产改制中发挥了“不可低估”的重要作用。因此,认真研究军工企业破产改制中如何发挥思想政治工作的作用,具有十分重要的现实意义。一、做到“两个统一”,是军工企业破产改制顺利进行的领导保证。在军工企业实施“分立破产,重组改制”,并不是所有企业领导班子的思想都是通的,有相当一部分企业领导班子担心,将一个具有“光荣历…     

加强企业文化建设提升思想政治工作水平

随着改革的不断深化．中核集团公司流程再造、产业板块专业化重组的调整工作也在不断深入,核工业企业思想政治工作面临着严峻挑战。如何将不同岗位、不同收入、不同文化背景、不同价值取向的职工思想统一起来,是企业思想政治工作必须面对的新的问题和紧迫任务。面对挑战．思想政治工作要在继承核工业企业过去好的经验做法的同时,认真研究新形势下思想政治工作的特点和规律．积极开辟新途径,     

增加运动预测的模板匹配方法在战车火控系统中的应用

分析研究了一种新的增加运动预测的模板匹配算法,并将其应用到战车火控系统中。实验证明该算法可以满足跟踪系统实时性的要求,对于运动目标的平移,旋转运动具有不变性。     

Cu(Ⅱ)大环希夫碱配合物的合成与表征

以邻苯二甲醛和邻苯二胺为原料,三水合硝酸铜为模板剂,用模板反应在无水乙醇中制备了一种新的固体配合物[CuL](NO_3)_2·6H_2O。通过元素分析、磁化率及摩尔电导测定、红外光谱和电子光谱分析、热重-差热分析等,确定了配合物的组成、立体结构与对称性,并对其电致变色机理进行了初步的探讨。     

真核表达载体的研究进展及其在防化研究中的应用

真核细胞表达载体在生物技术的许多领域都具有很好的应用前景,尤其在防化研究中的应用受到了各国军界的重视。对目前国内外真核表达载体的构建策略、IRES序列的应用及存在的问题进行了评述,并对其发展趋势进行了探讨。     

对改革现行高校学报体制的思考

论述了高校学报在现行体制下表现出的种种弊端 ,指出弊端的根源在于现行学报的体制不能与市场经济条件下出版业的大局相适应。要使高校学报更好地发挥其社会职能 ,必须对现行体制进行改革。体制改革的目标设计 ,就是使学报由各高等学校的封闭式单干变为以省为单位的出版资源重新组合 ,由事业型管理向企业化管理模式转变 ,发挥整体组合优势。     

分布式虚拟战场地形实时渲染策略

大规模地形作为分布式虚拟战场的重要组成部分,在非常有限的资源下,很难达到实时性绘制。针对此问题,设计了两级三层的概要四叉树组织地形数据,用多线程模式算法调度数据,以提高庞大地形数据的交互速率;提出基于衔接索引模板的算法来消除裂缝,实现不同细节层次的无缝拼接;引入样本纹理堆栈的纹理合成算子,增强各层次细节地貌的逼真表现。实验表明:该方法能够很好地实现战场环境下地形的实时性绘制,提供稳定的视觉漫游效果。