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

对弈必胜策略的符号化模型检测

何青  骆翔宇  苏开乐  
【摘要】：正1 引言在对弈问题的研究中,人们一直都在探询这样的问题:对弈中的某一方是否存在必胜策略,也就是说无论对手如何行棋,该方是否总是能够战胜对手。从搜索技术的角度来看,这将需要对棋局的状态空间进行穷举搜索,因此启发式搜索技术无法很好地解决这个问题。然而从形式化方法的角度来看,这个问题可归结为棋局模型中的形式化验证问题,即

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 徐有福;文伟平;万正苏;;基于漏洞模型检测的安全漏洞挖掘方法研究[J];信息网络安全;2011年08期
2 朱维军;周清雷;;一种时间自动机时钟离散化算法[J];郑州大学学报(理学版);2011年03期
3 张琛;段振华;;应用UML2.0模型的测试用例生成方法[J];西安交通大学学报;2011年08期
4 谢觅之;马科钦;;性别视角下首个女主播电台运营研究——以FM104.5十二星座女主播电台为例[J];当代传播;2011年03期
5 吴勇;李祥;;基于行为时序逻辑TLA的时钟系统分析与检测[J];电力学报;2011年04期
6 刘新鑫;;城市形象塑造中文化符号的运用[J];当代传播;2011年03期
7 赵庆丹;卢建青;吴晓红;;基于AE和C#的地籍建库软件开发[J];测绘与空间地理信息;2011年04期
8 钮俊;曾国荪;吕新荣;徐畅;;随机模型检测连续时间Markov过程[J];计算机科学;2011年09期
9 盛伟;李曦;高妍妍;周学海;;考虑缓存预热时间的多核调度系统验证[J];中国科学技术大学学报;2011年08期
10 骆翔宇;谭征;苏开乐;吴立军;;一种基于认知模型检测的Web服务组合验证方法[J];计算机学报;2011年06期
11 温炽亮;;小额交易中SET协议的优化及SPIN验证的研究[J];计算机与现代化;2011年07期
12 朱维军;周清雷;张海宾;;扩展Tempura语言统一模型检测算法[J];华南理工大学学报(自然科学版);2011年07期
13 程凤;;网络流行语的符号和话语分析[J];青年记者;2011年23期
14 杨元原;马文平;刘维博;白晓峰;;一种可检测类型缺陷攻击的SAT改进模型[J];沈阳工业大学学报;2011年04期
15 张红月;王亮;梁勇;;党校二维及三维可视化建模实践应用[J];全球定位系统;2011年02期
16 孙囡;;从符号学角度探索游戏设计领域[J];群文天地;2011年14期
17 汪雷;;浅谈广告传播的功能[J];新闻世界;2011年06期
18 李娇;刘全;傅启明;王庭钢;;分布式数据库中基于局部CON模型的记录匹配方法[J];通信学报;2011年07期
19 贺彪;方贤勇;罗斌;吴昊;;基于新的码书模型检测动态背景下的运动目标[J];计算机技术与发展;2011年07期
20 袁敏;黄志球;李祥;;支持业务事务验证的服务协调模型[J];小型微型计算机系统;2011年09期
中国重要会议论文全文数据库 前10条
1 何青;骆翔宇;苏开乐;;对弈必胜策略的符号化模型检测[A];2006年全国理论计算机科学学术年会论文集[C];2006年
2 陈小鸿;;基于RunMap软件的符号化新工艺[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
3 陈小鸿;;基于符号化的三维GIS[A];全国测绘与地理信息技术研讨交流会专辑[C];2003年
4 祁华斌;艾廷华;胡珂;;基于ArcGIS的地图符号库建立及符号化实施[A];地图学与GIS学术讨论会论文集[C];2002年
5 王磊;;面向GIS与制图动态符号化组件关键技术研究[A];中国测绘学会2010年学术年会论文集[C];2010年
6 陈道喜;张广泉;陈冬火;;NSPK协议的Spin模型检测[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
7 徐建新;张光伟;顾芒;羌鑫林;;一种道路构面算法的实现[A];地理信息与物联网论坛暨江苏省测绘学会2010年学术年会论文集[C];2010年
8 崔京男;;浅谈ArcGis的符号库的建立[A];吉林省测绘学会2008年学术年会论文集（下）[C];2008年
9 张瑞;杨璐璐;;基于ArcObjects程序实现地图符号的符号化[A];江苏省测绘学会2008年度学术年会论文集[C];2008年
10 刘芳;魏昭;董荣胜;;基于SPIN的协议分析技术研究[A];广西计算机学会2008年年会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 林荣德;移动界程演算及模型检测应用的关键问题研究[D];华南理工大学;2010年
2 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年
3 黄宏涛;基于懒惰切片的模型检测技术研究[D];哈尔滨工程大学;2012年
4 杨琛;打结不变的命题投影时序逻辑与模型检测[D];西安电子科技大学;2010年
5 金鹏;符号化政治——并以文革时期符号象征秩序为例[D];复旦大学;2003年
6 刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院（软件研究所）;2005年
7 朱维军;时间区间时序逻辑模型检测：理论、算法及应用[D];西安电子科技大学;2011年
8 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年
9 王文革;文学梦的审美分析[D];华中师范大学;2004年
10 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院（成都计算机应用研究所）;2006年
中国硕士学位论文全文数据库 前10条
1 施小纯;基于反例搜索的启发式模型检测算法的研究[D];中国科学院研究生院（软件研究所）;2004年
2 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
3 梁建;试论数学符号对数学发展的影响[D];南京师范大学;2005年
4 杨静;被消费的中国传统文化[D];苏州大学;2008年
5 李超前;中产阶级意识与日常生活审美化[D];湖南师范大学;2009年
6 高丹丹;无线认证协议的模型检测与分析研究[D];长春理工大学;2010年
7 谢越;基于模型检测的动态协同服务间的一致性验证[D];华东师范大学;2010年
8 巫洪亮;想象的“工农兵”与“工农兵”的想象[D];福建师范大学;2007年
9 孙丽娜;中国传统节日吉祥物设计研究[D];西安理工大学;2008年
10 刘学锋;安全协议形式化分析及其应用[D];湘潭大学;2004年
中国重要报纸全文数据库 前10条
1 记者 王恒志;告别“符号化”节日[N];新华每日电讯;2009年
2 成都来也旅游策划管理有限责任公司 北京来也旅游规划咨询有限责任公司 杨振之;旅游的符号化与符号化旅游[N];中国旅游报;2009年
3 李近远;防止认知“符号化”[N];甘肃日报;2010年
4 经济视点报记者 刘慧;符号化新豫商[N];经济视点报;2005年
5 特约撰稿 胡谱忠;《太阳总在左边》：去除符号化的另一种“藏语电影”[N];中国民族报;2011年
6 商报记者 扈明;中国着装时尚告别“符号化”[N];北京商报;2009年
7 前锋电子控股公司董事长、四川新泰克控股有限公司董事长 程世平;新经济与财富的符号化（二 ）[N];厂长经理日报;2000年
8 周静文 徐宁;传统节日“符号化”令人忧[N];新华日报;2005年
9 余佐赞;图书消费符号化现象[N];中国图书商报;2007年
10 记者 刘云伶　叶健;传承离不开快乐参与,端午莫成周末加长版[N];新华每日电讯;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 http://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
©2020中国知网（CNKI）