论文部分内容阅读
基于Bayes-ball算法，来判定多Agents影响图中任意2个决策节点是否S-可达，给出了构造策略相关图的完整算法．最后给出了算法正确性的证明．
构造多Agents影响图的策略相关图
【摘 要】
：
基于Bayes-ball算法，来判定多Agents影响图中任意2个决策节点是否S-可达，给出了构造策略相关图的完整算法．最后给出了算法正确性的证明．
【机 构】
：
云南大学计算机科学系
【出 处】
：
云南大学学报：自然科学版
【发表日期】
：
2004年2期
【基金项目】
：
国家自然科学基金资助项目(60263006),,云南省自然科学基金资助项目(2002F0063M).
其他文献
为贯彻落实党中央、国务院关于危险化学品安全工作的部署，按照《国务院办公厅关于印发危险化学品安全治理方案的通知》要求，国家标准委和国家安全监管总局会同发改委、工信部、公安部、环保部、住建部、交通运输部、卫计委、能源局、铁路局、海洋局、民航局等成立编制領导小组和工作组，共同研究制定了《危险化学品安全标准体系建设规划（2018—2020年）》（以下简称《建设规划》）。 《建设规划》提出了危险化学品安全
摘要：常用玻璃量器是最常见的计量器具之一，广泛使用于实验室的计量、测试和分析中，其对实验的准确与否起着关键作用。通过对玻璃量器多年的检定工作，归纳了常用玻璃量器检定过程中注意事项以及日常操作过程中的注意事项，通过此项工作的研究，保证了常用玻璃量器使用过程中的准确性、稳定性和可靠性，为计量同行提供一定的参考。 关键词：常用玻璃量器 检定 Talking about the Problems in
解决了组合星图的一对一容错路由问题.给出了故障节点不超过n-2时,无故障节点s到t的路由算法,证明了算法可以在O(n)内找到一条长度不超过D(Sn,k)+4的路P:s t,其中,D(Sn,k)是S
针对央视“3·15”晚会报道的“辣条”生产经营问题,市场监管总局要求河南省、湖南省市场监管局严厉查处涉事企业,并部署各地进一步加强“辣条”生产经营监管,依法查处违
日前，中国家用电器研究院中国家用电器标准与技术产业联盟（简称CHASA）在北京发布联盟标准-《射流式自动空气净化送风系统》标准。这是全球首个针对智能化无叶空气净化风扇设立的
5月14日，国家市场监督管理总局局长张茅在北京会见了来访的爱尔兰农业食品和海事部部长麦克尔·柯里德一行。张茅首先介绍了国家市场监督管理总局的职能和改革现状。他指
2月12—13日,由联合国粮农组织、世界卫生组织和非洲联盟共同召开的首届国际食品安全大会在埃塞俄比亚首都亚的斯亚贝巴举行。国家市场监督管理总局副局长孙梅君率中国代表团
期刊
从介绍CeO2的结构和功能特性出发,综述了掺杂纳米CeO2基材料的制备、性能及其在固体氧化物燃料电池、汽车尾气探测及净化催化处理、防紫外线材料以光催化剂等方面的应用研究
讨论密度函数的非参数估计问题,提出了一种修正的支持向量机(Support Vector Machines,简记为SVM)方法,修正SVM法是在SVM方法的基础上进行简单改进而得到的,它是基于概率理论
采用液相法制备纳米氧化锌,平均粒径20 nm.以此纳米氧化锌与乳酸为原料合成纳米乳酸锌晶体,长度600μm,粒径为50~70 nm.考察了反应温度、反应时间、物料配比3个因素对乳酸锌