期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
数独游戏的问题生成及求解算法优化
被引量：
1
1
作者
黄祖贤
《安徽工业大学学报（自然科学版）》
CAS
2015年第2期187-191,共5页
将"数独"问题分解为建立终盘、生成有唯一解初盘和求解初盘等子问题。运用拉斯维加斯随机算法思想结合回溯法建立终盘,采用"挖洞"思想隐去部分数字并结合反序回溯法生成具有唯一解的初盘,依据初盘中空格数的多少对...
将"数独"问题分解为建立终盘、生成有唯一解初盘和求解初盘等子问题。运用拉斯维加斯随机算法思想结合回溯法建立终盘,采用"挖洞"思想隐去部分数字并结合反序回溯法生成具有唯一解的初盘,依据初盘中空格数的多少对问题的难度进行划分,创建不同等级难度的"数独"游戏,并对求解数独问题的候选数搜索算法进行优化改进。实例分析结果表明,优化后的候选数搜索算法性能提高了50%以上,验证了所提出算法模型的有效性。
展开更多
关键词
数独
回溯法
唯一解
候选数
搜索算法
下载PDF
职称材料
静态SAT问题并行处理器的设计研究
2
作者
廉德亮
张炜
朱明程
《深圳大学学报（理工版）》
EI
CAS
2002年第3期24-30,共7页
针对SAT问题的复杂性及求解速度缓慢的问题,采用可重构器件FPGA设计,实现了静态回溯搜索算法SAT问题并行处理器,提出了研制动态SAT并行处理器的设想.
关键词
静态SAT问题
并行处理器
FPGA
回溯搜索算法
下载PDF
职称材料
城市轨道交通ATP车载设备测试用例生成方法
被引量：
6
3
作者
唐抗尼
肖宝弟
《中国铁道科学》
EI
CAS
CSCD
北大核心
2011年第4期99-103,共5页
根据对城市轨道交通ATP车载设备功能的分析,搭建了模拟车辆外部接口的城市轨道交通ATP车载设备测试环境,确定了测试ATP车载设备的10个安全输入参数和7个非安全输入参数。基于输入参数建立了可变强度覆盖矩阵,并利用回溯搜索算法优化出...
根据对城市轨道交通ATP车载设备功能的分析,搭建了模拟车辆外部接口的城市轨道交通ATP车载设备测试环境,确定了测试ATP车载设备的10个安全输入参数和7个非安全输入参数。基于输入参数建立了可变强度覆盖矩阵,并利用回溯搜索算法优化出由20个用例组成的ATP车载设备测试用例集。测试结果表明,给出的测试用例只有穷举测试法的1%,而测试的有效性达90%以上,能够对ATP车载设备功能进行高效和可靠的测试,并大大降低了测试成本,从而验证了ATP车载设备测试用例生成方法的有效性。
展开更多
关键词
ATP车载设备
测试用例
可变强度覆盖矩阵
回溯搜索算法
下载PDF
职称材料
题名
数独游戏的问题生成及求解算法优化
被引量：
1
1
作者
黄祖贤
机构
中南大学信息科学与工程学院
出处
《安徽工业大学学报（自然科学版）》
CAS
2015年第2期187-191,共5页
文摘
将"数独"问题分解为建立终盘、生成有唯一解初盘和求解初盘等子问题。运用拉斯维加斯随机算法思想结合回溯法建立终盘,采用"挖洞"思想隐去部分数字并结合反序回溯法生成具有唯一解的初盘,依据初盘中空格数的多少对问题的难度进行划分,创建不同等级难度的"数独"游戏,并对求解数独问题的候选数搜索算法进行优化改进。实例分析结果表明,优化后的候选数搜索算法性能提高了50%以上,验证了所提出算法模型的有效性。
关键词
数独
回溯法
唯一解
候选数
搜索算法
Keywords
sudoku
backtrack
unique
solution
candidates
search
algorithm
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
静态SAT问题并行处理器的设计研究
2
作者
廉德亮
张炜
朱明程
机构
深圳大学信息工程学院
出处
《深圳大学学报（理工版）》
EI
CAS
2002年第3期24-30,共7页
基金
国家自然科学基金资助项目(69976020)
文摘
针对SAT问题的复杂性及求解速度缓慢的问题,采用可重构器件FPGA设计,实现了静态回溯搜索算法SAT问题并行处理器,提出了研制动态SAT并行处理器的设想.
关键词
静态SAT问题
并行处理器
FPGA
回溯搜索算法
Keywords
SAT
problem
FPGA
backtrack
search
algorithm
parallel
processor
分类号
TP332 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
城市轨道交通ATP车载设备测试用例生成方法
被引量：
6
3
作者
唐抗尼
肖宝弟
机构
铁道部运输局
中国铁道科学研究院通信信号研究所
出处
《中国铁道科学》
EI
CAS
CSCD
北大核心
2011年第4期99-103,共5页
基金
国家"八六三"计划项目(2009AA01Z148)
文摘
根据对城市轨道交通ATP车载设备功能的分析,搭建了模拟车辆外部接口的城市轨道交通ATP车载设备测试环境,确定了测试ATP车载设备的10个安全输入参数和7个非安全输入参数。基于输入参数建立了可变强度覆盖矩阵,并利用回溯搜索算法优化出由20个用例组成的ATP车载设备测试用例集。测试结果表明,给出的测试用例只有穷举测试法的1%,而测试的有效性达90%以上,能够对ATP车载设备功能进行高效和可靠的测试,并大大降低了测试成本,从而验证了ATP车载设备测试用例生成方法的有效性。
关键词
ATP车载设备
测试用例
可变强度覆盖矩阵
回溯搜索算法
Keywords
On-board
ATP
equipment
Test
case
Variable
strength
covering
array
backtrack
-based
search
algorithm
分类号
U284.48 [交通运输工程—交通信息工程及控制]
U284.91 [交通运输工程—道路与铁道工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
数独游戏的问题生成及求解算法优化
黄祖贤
《安徽工业大学学报（自然科学版）》
CAS
2015
1
下载PDF
职称材料
2
静态SAT问题并行处理器的设计研究
廉德亮
张炜
朱明程
《深圳大学学报（理工版）》
EI
CAS
2002
0
下载PDF
职称材料
3
城市轨道交通ATP车载设备测试用例生成方法
唐抗尼
肖宝弟
《中国铁道科学》
EI
CAS
CSCD
北大核心
2011
6
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
