关于右连左极函数的Gronwall不等式

给出了传统意义下的Gronwall不等式的推广形式,并且给出了在右连左极函数积分下的一种Gronwall不等式。     

软件系统的可靠性综合评估模型研究*

主要研究了软件系统可靠性的评估方法。基于软件系统的基本结构和体系,对软件系统层次可靠性进行分析,并对影响可靠性的因素进行了分析;根据各分系统失效对整体系统失效影响程度的大小,通过事件测试分析得到实际参数,在给出重要度系数的基础上,建立了串并联系统间权重系数模型,并通过Bayes分析建立了软件系统的可靠性综合评估模型,从而达到对软件系统可靠性综合评估的目的。算例表明该可靠性综合评估模型具有一定的工程应用价值。     

推进舰队舰船装备保障军民融合深度发展

文章就推动装备保障军民融合深度发展,提出应正确把握和领会其基本内涵,客观分析其发展现状,着力解决制约装备保障军民融合深度发展的深层次矛盾和问题,并从创新体制机制、构建管理系统、健全法规标准三方面提出了相关的对策思考。     

计算机实验教学软件环境规范化管理初探

根据实验教学的要求和不同的机型 ,对实验教学软件进行规范化管理 ,利用“克隆”技术和硬盘保护卡有效地保护数据和快速恢复数据 ,确保教学用机的安全和有效率     

软件可靠性分配的遗传模型研究

对软件可靠性分配的遗传模型进行了研究,结合相关知识缩小了基本遗传算法的搜索区域,比较灵活地处理了非线性约束条件,提高了搜索效率,避免了早熟收敛现象.此外,在基本遗传算法中增加了保优操作,从而能够在理论上保证实现分配的最优化.算例表明,该算法十分有效.     

高频雷达多波束最优天线方向图综合

在高频雷达中 ,多个部分重叠的波束被用来形成对预定空域的覆盖 ,而射频干扰和期望信号的空间结构之间的差异以及接收天线阵列的空间多样性则被用来抑制干扰以提高高频雷达的整体工作性能。然而如何在实时地形成多波束的同时有效地抑制射频干扰仍然是高频雷达一个急待解决的问题。基于最优天线方向图综合方法 ,通过主瓣形状保持和干扰抑制之间的合理折衷进一步提出了多波束形成算法。仿真结果表明该算法可以快速、灵活地形成多个波束来覆盖预定的空域 ,同时最大限度地抑制射频干扰 ,从而极大地提高了高频雷达的工作性能     

面向构件的测试研究

主要阐述了对构件测试的一种观点 ,并通过对系统测试及集成测试的裁剪 ,给出了对构件的一种测试方法     

对信息技术与课程整合的思考

从大学本科教育出发,分析信息技术与课程整合的必要性与迫切性,提出信息技术与课程整合面临的一些亟待解决的问题。根据计算机与信息化教学的实践经验和特点,提出了解决问题的一些看法。     

软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则,但由于对一般的软件,路径数目太大,以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ,按就近原则,现给出了一种划分Ｐ的算法,使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。     

航天器软件的研发路线

航天器自主能力构建面临着需求不断增多、多变、复杂化、未知的发展趋势,需要在软件研发方式和架构设计上做出改变.在分析已有的4种研发路线的基础上,提出第5条路线,即基于模型化、数据化设计思想的研发路线;提出具有即插即用能力的业务模型,采用电子数据单技术自底向上构建设备级和功能业务级的即插即用能力;以智能规划业务为例说明了业...