基于关联度的决策概率转换方法

针对基本概率赋值转换为决策概率的问题,提出一种新的基于关联度的决策概率转换方法.该方法将单子集命题的基本概率赋值和转换后的决策概率之间的关联度作为评价转换方法的标准,并用其对比例信度转换方法和比例似然度转换方法进行线性组合,得出命题的决策概率.通过算例对比新方法与已有方法,结果表明新方法更加合理有效.     

基于B/S模式的实验室资源管理信息系统分析与设计

利用以Web技术为基础的B/S模式的优点,完成了基于B/S结构的实验室资源管理信息系统的分析和设计.将网站模块化设计、存储过程、Session登录验证等技术应用到系统开发中,大大提高了系统的性能及安全性.     

基于优先级的单元测试技术应用研究

考虑到单元测试的并行性,提出了基于函数优先级的测试策略.分析了函数的参数、全局变量和局部变量对函数控制流正确实现的影响,建立了量化的权值影响因子数学模型,并结合函数的控制流图生成了带权值有向无环图,最后根据AOE-网关键路径求解算法,生成被测函数的关键路径,设计测试用例.测试结束之后,再进行次关键路径选择,直至达到测试标准.通过以上技术,合理分配各模块测试计划时间,有助于提高软件测试效率,保证软件质量.     

国际标准电子海图显示平台组件化研究与实现

基于GIS组件开发已经成为地理信息应用系统开发的主流,我国已经具备了生产国际标准电子海图数据的能力,但目前市场上还没有支持国际标准电子海图数据的GIS组件.在研究了电子海图国际标准和COM组件的基础上,分析了电子海图显示平台的组成结构,完成了显示平台组件的结构设计.在Visual C++ 6.0下利用ATL技术,实现了显示平台组件,验证了这种开发方法的可行性.     

考虑故障检测与修正的软件可靠性增长模型

针对现有NHPP类软件可靠性增长模型基本假设中故障检测和不完美修正过程考虑不完善的现状,提出一种非齐次泊松过程软件可靠性增长模型．该模型既考虑故障本身特性,故障检测率是随时间递减的函数,又考虑了排错过程引入新错误的概率,故障总数函数是随时间变化的;同时,还考虑了不完全排错的情况,引入了一种与故障检测率具有相同变化趋势的故障排除率函数．利用一组标准化的失效数据集进行仿真验证,实验结果表明该模型具有更好的拟合效果和预测能力．     

基于MapObjects开发电子海图系统的研究与实现

提出把MapObjects应用到电子海图系统开发中的设想,分析了利用MapObjects开发电子海图系统的可能性.基于MapObjects设计开发了电子海图显示平台,实现了海图基本操作、图层管理、海图图层绘制、海图要素查询等功能,验证了利用MapObjects开发电子海图系统的可行性.