暂无评论
优化软件测试中前置测试模型的研究论文
主要介绍了一个空间环境信息系统(Spatial Environment Integrated Information System, SEIIS)的设计和实现的核心技术。系统将面向对象的设计方法和GI
变频多联机空调由于各蒸发器之间参数相互影响,使其运行特性非常复杂。以各室内温度和吸气压力为被控变量分别调节电子膨胀阀开度和压缩机转速,提出了一种鲁棒自适应两级模糊比例—积分—微分控制器并进行了仿真。该
基于柔性并联机构的微动执行器,梁桥康,王耀南,微动执行器在微操作、微装配和微位移等领域得到了深入的应用,被广泛应用于细胞操作、精细外科手术、微机电系统装配、光纤对接、
数字图像处理技术笔迹识别
汉字笔迹鉴定预处理算法,简单易懂,适合于初学者
在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性测试用例。结果表明对前置条件的研究能够促进测试用例的自动化生成过程。
针对程序静态分析技术误报过多的问题,提出一种基于最弱前置条件的静态分析误报消除方法。根据不同的软件安全性质,从目标状态出发,以需求驱动的方式得到过程起始位置的最弱前置条件,判断该条件公式的可满足性来消
OLAP(联机分析处理)。 什么是联机分析处理(OLAP) 联机分析处理 (OLAP) 的概念最早是由关系数据库之父E.F.Codd于1993年提出的,他同时提出了关于OLAP的12条准则。 OLAP
对量子系统的基本原理以及建立在对这一理论体系进行仿真基础上的量子信号处理算法的理论框架进行了分析和研究,提出了量子信号处理在信号处理和图像处理领域的应用方法,并根据量子信号处理的理论框架得到了更为通用
暂无评论