收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于区间运算和组测试求解CSP以及在测试用例自动生成上的应用

吴子敬  宫云战  郭毅军  
【摘要】:CSP(Constraint Satisfaction Problem)求解部分是目前很多系统的核心部分,对其进行研究有重要作用,本文提出的算法能够解决约束为实数域上由初等函数复合而成的CSP问题。CSP的核心问题就是如何快速求出一组数据使其满足特定几个约束。目前实数域上的CSP问题的求解算法,基本上都是基于迭代或启发式的。这类算法的缺点是不能保证算法一定能够返回一组解。本文提出一种使用区间运算和组测试的方法,此算法首先使用区间运算测试在整个搜索空间内是否有解,如果不能得出确定的结论,那么将搜索空间分裂成几个子空间,并且使用相同方法对每一个子空间进行处理。并且本文提出,当某一约束表达式中所有变量出现的次数为0或1次时,程序在最坏的情况下时空复杂度为lg(V/e~n)=lg(V)-nlg(e)+εε=0,1 V为搜索空间的测度,n为变量个数,e为变量要求的精度。另外,本文提出了约束—变量关联图,并在其基础上对算法做出改进工作,同时还讨论了基于符号计算的改进。最后,本文讨论了CSP求解在测试用例自动生成上的应用。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张彩环;刘栋;冯勇;;单变元多项式方程的高效区间牛顿算法[J];四川大学学报(工程科学版);2011年04期
2 谢永强;陈建军;朱增青;;不确定系统响应上下界分析的改进仿射算法[J];电子科技大学学报;2011年04期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 吴子敬;宫云战;郭毅军;;基于区间运算和组测试求解CSP以及在测试用例自动生成上的应用[A];第五届中国测试学术会议论文集[C];2008年
2 刘莉;金大海;宫云战;;区间运算中提高循环处理精度的研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 张志克;牛永青;张瑞忠;;邯钢CSP连铸机的技术创新与生产实践[A];河北省2011年炼钢连铸生产技术与学术交流会论文集[C];2011年
4 张志克;牛永青;张瑞忠;;邯钢CSP连铸机的技术创新与生产实践[A];2011年第九届全国连铸学术会议论文集[C];2011年
5 赵海峰;;提高CSP连拉炉数的应用研究[A];河北省2010年炼钢—连铸—轧钢生产技术与学术交流会论文集(上)[C];2010年
6 王和军;;低碳钢C高对CSP连铸的影响[A];2010年全国炼钢—连铸生产技术会议文集[C];2010年
7 吕文学;;CSP连铸连轧生产过程协调控制系统[A];中国计量协会冶金分会2010年会论文集[C];2010年
8 周明伟;吴浩鸿;崔宏荣;;涟钢CSP薄规格生产实践[A];2010年全国轧钢生产技术会议文集[C];2010年
9 邓建军;王彦杰;郝强;;CSP低碳铝镇静钢用钢砂铝脱氧工艺研究与实践[A];第十六届全国炼钢学术会议论文集[C];2010年
10 邓建军;王彦杰;郝强;;CSP低碳铝镇静钢用钢砂铝脱氧工艺研究与实践[A];河北省2010年炼钢—连铸—轧钢生产技术与学术交流会论文集(上)[C];2010年
中国博士学位论文全文数据库 前10条
1 张超;CSP薄板坯连铸连轧钢的热变形规律及其强化机理[D];武汉科技大学;2012年
2 张波;CSP板级封装在跌落冲击载荷下的可靠性研究[D];上海交通大学;2008年
3 阎志华;虚拟企业信息系统若干关键技术研究[D];南京航空航天大学;2005年
4 沈静;约束满足问题的模型构造和相变现象[D];华中师范大学;2011年
5 孙海龙;结构可靠性分析区间模型的若干问题研究[D];南京航空航天大学;2007年
6 单美静;求解非线性实代数系统的混合算法研究[D];华东师范大学;2008年
7 莫晓云;帕金森病(PD)致病基因LRRK2启动子分离及PD相关基因CSP-α、Nrdp1、USP24突变筛查研究[D];中南大学;2010年
8 沈悦;基于导航通信多模应用的位置服务技术研究[D];中国科学技术大学;2012年
9 樊旭川;区间多项式与区间隐式化方法[D];中国科学技术大学;2005年
10 陈景浒;中高碳合金钢薄板坯连铸连轧新工艺的研究[D];广东工业大学;2011年
中国硕士学位论文全文数据库 前10条
1 陈魁;CSP算法在多任务下的扩展及在脑—机接口中的应用[D];南昌大学;2010年
2 陈磊;CSP和传统热连轧工艺生产的冷轧深冲板性能研究[D];武汉科技大学;2011年
3 钱彦军;WS-CDL与CSP的映射及验证自动化研究[D];云南大学;2011年
4 李书黎;CSP供板冷轧工艺与深冲性能研究[D];武汉科技大学;2012年
5 丁艳;约氏疟原虫CSP抑制肿瘤细胞增殖和存活及其机制研究[D];第三军医大学;2010年
6 宋畅;CSP再结晶模型及其组织与性能研究[D];武汉科技大学;2011年
7 杨柳;CSP生产Q235B热轧带钢边部裂纹分析[D];武汉科技大学;2012年
8 张勇福;CSP生产高强钢再结晶及强化机理[D];武汉科技大学;2012年
9 魏远征;CSP-冷轧基材的热变形规律及深冲板的性能[D];武汉科技大学;2012年
10 薛明;SPHD钢CSP热轧过程计算机模拟[D];武汉科技大学;2012年
中国重要报纸全文数据库 前10条
1 长城证券新能源分析师 周涛;资源和政策促进CSP技术发展[N];中国电子报;2010年
2 Uwe Grafe,Ingo Schuster;模拟材料和微观结构设计CSP■设备[N];世界金属导报;2009年
3 王会军;CSP支承辊锁紧门钉断裂分析及预防[N];世界金属导报;2010年
4 朱铮;特尔尼钢铁公司建世界首台生产不锈钢CSP铸机[N];世界金属导报;2001年
5 通讯员 鲜军 陈蛟 李敏;川庆钻探CSP—9队举行联合消防演习[N];中国石油报;2008年
6 阎红;剖宫产再妊娠警惕CSP[N];健康报;2009年
7 本报记者 董征;为运营商增收[N];中国计算机报;2001年
8 本报记者 于进 章利军;创新工艺 催生“钢铁艺术品”[N];中国冶金报;2009年
9 Openet公司 戴诺华;数据调节平台的价值[N];计算机世界;2001年
10 程刚;武钢连铸连轧0.8mm超薄板成功[N];中国冶金报;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978