公共文化服务平台

一种改进的规划器算法在军用软件GUI测试用例自动生成中的应用被引量：1: 2010年; 以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,针对这一现象,以IPP规划器为例,提出目标分解法对规划器所需事实文件进行划分,并对IPP规划器应用多事实文件处理算法进行扩展,扩展后的MF-IPP规划器能够处理多个事实文档,有效避免了组合爆炸问题的发生。将该方法应用到军用主控软件GUI(Graphical User Interface)测试用例自动生成中,主要思想是首先利用规划器生成初始测试用例,其次提出解扩展的方法来完善测试用例的生成。针对测试用例生成问题进行了比对分析,结果显示,MF-IPP可以很好地防止组合爆炸问题的发生。所生成的测试用例生成时间短、覆盖率高,不仅能够很好地辅助软件测试人员进行测试用例的编写,还能应用于自动化软件测试。; 李丽沈湘衡魏颖任佳阅王大勇; 关键词：GUI测试测试用例自动生成

基于FODA的特定领域软件建模被引量：2: 2009年; 针对目前特定领域软件开发中存在的复用率不高、开发效率低等问题,提出一种基于FODA的特定领域建模方法.采用FODA方法进行领域分析,建立一种简化的领域特征模型;利用领域建模语言(GME),根据特征模型构建领域元模型,并解释生成该领域建模环境;通过在该环境中搭建新系统模型,指导应用系统开发,以简化领域内应用系统的开发过程.该方法应用于医疗检验分析仪器领域的结果表明,开发效率得到显著提高,可为其他领域系统开发提供借鉴.; 权巍邢忠宝王弼陡魏纯杰; 关键词：软件工程复用特定领域建模元模型

激光主动照明成像实验研究被引量：9: 2009年; 激光照明成像系统为主动光学系统。在低照度情况下,使用激光对远距离目标进行照明,最终利用激光回波在CCD上成像。通过对激光经大气传输后回波功率的研究,对激光照明成像系统作用距离进行推导。利用886 nm固体激光器和CCD相机建立实验系统,验证利用激光照明在主动探测中的可行性。; 孙露王建立王鸣浩; 关键词：激光传输大气衰减视距 CCD

基于δ-LBP的红外目标检测方法被引量：1: 2009年; 研究红外序列图像中目标检测方法,在对传统方法分析的基础上,提出了以LBP算法为基础的δ-LBP算法。该算法充分利用了LBP算子的平移不变性和旋转不变性,能在复杂的背景中快速检测到目标边缘,进而确定和跟踪目标。与几种传统算法比较,此检测方法在准确性和实时性方面都有所提高。; 卢珊杨进华张波张波; 关键词：LBP 目标检测红外图像处理

环境参数与状态参数融合的测试用例集约简方法被引量：6: 2009年; 为提高软件测试的效率和覆盖率,对测试用例的生成方法进行了研究。以等价类划分等测试用例生成方法为基础,提出把接口参数分成环境参数和状态参数,针对这两种不同性质的参数分析测试用例生成的影响,并分别建立测试用例生成算法模型,据此在实际应用中将两者的作用融合起来生成简约测试用例集。在覆盖率相同的条件下,生成的平均测试用例数量是传统生成测试用例方法的1/5,达到了用更少的测试用例覆盖更多测试需求的目的。; 王俊杰沈湘衡张波张波权巍; 关键词：软件测试测试用例配置项

一种光电经纬仪数字相机数据传输系统的设计: 2008年; 为了实现数字图像以光纤为通道实时传输,利用RocketIO实现数据的串行以及解串操作,建立了适合于经纬仪的数据传输系统。针对Xilinx的Virtex-ⅡPRO系列FPGA内嵌的RocketIO收发器模块,设计了用于经纬仪中数字相机的高速数据传输系统。结果显示,其单通道传输速率可达3.125 Gb/s,数据延迟低于300 ns,误码率低于10-12,实现了数字图像高速、实时、远距离传输,满足了光电探测设备对于传输带宽的需求。; 吴瑾高世杰郭永飞; 关键词：光电经纬仪 ROCKETIO CAMERA LINK

基于混合体系结构的软件可靠性评估方法与应用被引量：4: 2010年; 基于体系结构的软件可靠性模型建立在软件研制周期的初期阶段,能够对软件进行较早的可靠性分析,对早期软件结构的变更以及后期软件的更新与升级都提供了一定的指导依据。然而,早期的基于体系结构的软件可靠性模型只对单一的软件结构进行分析,这显然不满足如今同时存在多种体系结构风格的复杂软件的需求。分析了目前常用的软件体系结构风格,在基于混合体系结构的软件可靠性模型的基础上,阐述了应用体系结构模型进行评估的步骤,并结合实例进行了分析与验证。; 魏颖沈湘衡; 关键词：软件可靠性评估

医学检验仪器领域软构件开发被引量：2: 2011年; 提出了一种针对医学检验仪器领域的领域软构件开发方法.首先,对特定领域进行分析,建立领域特征模型和领域元模型;然后,根据领域元模型等领域分析结果识别领域软构件;最后,确定构件模型,并对领域构件进行制作和封装.基于这些构件实现了该领域应用系统的开发,结果表明:构件的易用性较好,复用率也较高,系统的开发效率得以提高.; 权巍陈爱华郭丹伟; 关键词：软件开发软件复用

大型地面目标红外辐射亮度外场模拟系统被引量：5: 2010年; 为实现大型地面目标红外辐射亮度的外场模拟,研制了一套红外辐射外场模拟系统。采用一种电加热布作为红外辐射材料,将其粘贴于长方形充气靶表面,通过温度控制系统控制电加热布表面温度来实现红外辐射亮度的外场模拟。为提高模拟精度,采用长波热像仪作为温度控制系统中的一个环节,建立了热像仪测温结果与温控系统设定值及环境温度之间的关系公式,为给定辐射亮度条件下红外辐射材料表面温度的设置提供参考。另外,也考虑了靶场环境对红外辐射材料辐射亮度的影响。大量外场试验证明,提出的方法能够在一定精度范围内实现目标红外辐射亮度的外场模拟,其模拟精度换算为辐射温度约为2℃。; 宋江涛沈湘衡; 关键词：红外成像仪

精密磨削齿轮的误差分析被引量：7: 2009年; 齿轮是一种广泛应用的传动零件,在机械、农业、医疗、航天等行业发挥巨大作用。齿轮的优劣,主要取决于其精度等级,也就是说精度等级的提高是齿轮加工的核心问题,而精度提高的途径是尽可能的减少误差。在各类齿轮加工中,磨削齿轮是齿轮的精加工,是提高齿轮精度,尽量消除误差的手段之一。分析将从齿轮检测图入手,整体系统归纳出影响磨齿精度的各个相关因素,为精密磨削齿轮提供修整方向,从而提高生产高精密齿轮的能力。; 刘铁军丁亚林张馥生; 关键词：齿轮修整

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家高技术研究发展计划(2007AA703112)