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

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

【作者单位】：中山大学计算机科学系中山大学计算机科学系中山大学计算机科学系
【分类号】：TP301.6

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前10条

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期

中国重要会议论文全文数据库

前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	记者王恒志;告别“符号化”节日[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年

中国博士学位论文全文数据库

前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年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡神州行卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62791813 010-62985026	常见问题在线咨询阅读器下载	充值中心知网卡新手指南