论文部分内容阅读
目前的约简算法中,以启发式算法居多。此次提出了一种基于搜索树的算法,通过搜索树,在测试用例集中求得约简问题的全局最优解。
搜索树在测试用例约减中的应用
【摘 要】
：
目前的约简算法中,以启发式算法居多。此次提出了一种基于搜索树的算法,通过搜索树,在测试用例集中求得约简问题的全局最优解。
【机 构】
：
上海应用技术学院计算机与信息工程学院
【出 处】
：
计算机与网络
【发表日期】
：
2016年23期
【基金项目】
：
上海市教委高校优秀青年教师基金：405ZK10YQ08-yyy10030,1020K116089-YJ2011-39
其他文献
作者从“社会结构转型”的角度出发，分析深圳特区农村在向城市化迈进的过程中，农村的转型与旧村改造的关系以及旧村改造的机遇、困难、策略和方法，提出旧村改造模式的现实选择性。
2015年1月1日，当大家都还沉浸在欢乐的元旦节日气氛之时，手机迅雷的全体项目组人员也迎来了属于他们自己的欢庆时刻，这是因为手机迅雷总用户数突破1亿大关，而单日活跃用户数也接
2012年7月受副热带高压和高空槽的共同影响,大伙房水库上游浑河流域从7月19日—22日普降暴雨,产生了较大径流过致。对大伙房水库＂10719＂洪水进行分析,包括降雨、洪水预报、洪水
随着教育改革的不断深入发展,舞蹈教学成为幼儿教育的重要组成部分,幼儿舞蹈编创在幼儿师范专业舞蹈教学中重要的作用和意义也尤为明显。本文就幼儿舞蹈编创能力的内涵展开,
孟加拉国德比甘吉公路桥工程为笔者所在公司参加的援外建设工程。文章从公路桥下部结构施工方法和施工质量控制研究入手,探讨钻孔灌注桩施工工艺和钻孔灌注桩施工质量控制措
陈望道(1891-1977)，原名参一，笔名佛突、雪帆，浙江义乌人。早年留学日本，毕业于日本中央大学法科，获法学学士学位。回国后积极提倡新文化运动，任《新青年》编辑，翻译出版了《共产党宣言》第一个中文全译本。是中国共产党上海发起组成员。1921年7月出席中共一大并当选为中共
在过去2年里，中桥调研咨询针对中国数千人次的最终用户做了大量调研。综合这些调研数据和分析，中桥认为以下10点将是2015年的IT大热点，并驱动着中国市场IT投资和IT管理流程的变
针对网络无法满足重要紧急信息的按需传送的问题,采用服务化设计方法,在现有网络基础之上,增加信息传送控制服务、数据服务、网络资源管理服务和网络管理服务,信息传送控制服