基于ANSYS软件的管道漏磁场分析

介绍了漏磁场分析的基本理论以及由麦克斯韦方程导出的泊松方程对应的能量泛函,利用基于此理论基础的ANSYS有限元分析软件的ANSYS Multiphysics软件包对管道漏磁场进行模拟仿真,能得出大量缺陷漏磁场数据,这为缺陷漏磁检测定量化打下基础.     

Optimal stopping in software testing

In this paper we address the problem of how to decide when to terminate the testing/modification process and to release the software during the development phase. We present a Bayesian decision theoretic approach by formulating the optimal release problem as a sequential decision problem. By using a non‐Gaussian Kalman filter type model, proposed by Chen and Singpurwalla (1994), to track software reliability, we are able to obtain tractable expressions for inference and determine a one‐stage look ahead stopping rule under reasonable conditions and a class of loss functions. © 2002 Wiley Periodicals, Inc. Naval Research Logistics, 2003     

高校教育信息化建设问题及对策

高校信息化建设是高校建设的一项重要任务，我国高校信息化经过十几年基础设施建设后，现阶段仍然存在一些问题。总结分析现阶段教育信息化建设中存在的问题及解决策略，有助于高校教育信息化建设健康、有序发展。     

高职软件技术专业顶岗实习研究与实践

顶岗实习是职业教育人才培养模式的重要组成部分,是职业院校人才培养的一个重要阶段。我国目前高职软件技术专业学生顶岗实习时间延长了,但质量不高。借鉴加拿大高职教育顶岗实习模式的特点,结合目前软件行业的特点,软件技术专业高职顶岗实习可以在时间安排上做出调整,实行订单式顶岗实习模式。     

一种基于任务-系统结构的软件可靠性建模方法

针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。     

基于GQM的装备软件可靠性参数选取方法

针对装备软件无可靠性定量要求以及开发过程缺少监管的问题,提出基于GQM(Goal-Question-Metric)的装备软件可靠性参数选取方法。首先构建了软件可靠性通用参数集和装备软件可靠性特有参数集,然后按照GQM方法的框架,从不同角度出发,制定装备软件可靠性度量目标,列出为实现目标需要回答的一系列问题,进而以回答问题的方式,确定不同情况下适用的软件可靠性参数,最终建立装备软件可靠性参数体系。     

基于CMOS的双目视觉定位系统的设计

介绍了一种基于CMOS视觉芯片的双目视觉相对定位信息提取系统。重点描述了该系统的硬件系统的组成:成像采集设备、控制器、存储器、专用DSP和外部接口电路,以及各部分的芯片选择和相应的接口设计,并提供了设计方案实例。系统具有体积小、重量轻、功耗小、集成度高、接口灵活、定位精度高等特点,可以方便地安装在各种设备,尤其是嵌入式系统上,因此可以广泛地应用到很多领域。     

武警院校指挥类“合训”学员军事素质科学评价研究

针对武警部队第一批指挥类“合训”学员,选取部分“合训”学员的军事体能考核成绩,利用多元统计中的主成分分析方法,构造科学、客观的评价函数,对学员军事体能考核指标体系进行综合评价,并对每一名学员考核成绩排序,为武警部队“合训”学员教学、管理提供参考。     

试验方案评价的密切值方法及软件实现

分析了试验方案评价的要素和特点,针对试验方案评价决策中指标众多、指标层次划分困难、指标权重难以确定等问题,引入密切值模型的评价方法,并分析密切值模型的计算过程;基于MFC类库和VC开发环境,开发了密切值决策评价软件;给出试验方案密切值决策评价的应用案例,对软件进行测试,软件运行稳定,所得结果与理论分析一致.     

基于优化遗传算法的软硬件划分方法

针对软硬件划分问题,研究了一种优化的遗传算法,提出硬件倾向度的概念,用于遗传算法初始群体的生成,减少了初始解的随机性和搜索的盲目性;在遗传算法过程中,使交叉变异概率随着遗传过程由大变小,保证早期具有较大的搜索空间,后期又能保留较好的解,使用动态结束条件自适应结束遗传算法。与对比算法相比,该算法的效率较高,且在大规模问题求解上能够获得更优解。