论文部分内容阅读
本文对信念修正的典型方法,如基于语法结构的方法,基于模型测试方法,修正理论,修正理论基础,重复方法等用我们的算法来实现,并且完成了其相关工作.
信念修正的实现方法
【摘 要】
：
本文对信念修正的典型方法,如基于语法结构的方法,基于模型测试方法,修正理论,修正理论基础,重复方法等用我们的算法来实现,并且完成了其相关工作.
【机 构】
：
中国科学院软件研究所北京100080
【出 处】
：
计算机科学
【发表日期】
：
2004年12期
其他文献
目的研究氮化和喷涂MoS_(2)涂层的异种不锈钢试样,经振动试验后的抗咬死性能及失效原因。方法利用三角级数法转化得到了振动参数,对底座(Ⅰ型不锈钢)和拉杆(Ⅱ型不锈钢)的模
用熔铸法制备了ＳｉＣ，Ａｌ２Ｏ３和ＴｉＢ２颗粒增强Ｆｅ－２８Ａｌ－５Ｃｒ基复合材料，研究了材料的微观组织和力学性能，结果表明，Ａａ２Ｏ３在Ｆｅ３Ａｌ中的化学稳定性很好，ＴｉＢ２与基体发生了部分反应，ＳｉＣ与基体的反应严重，复合材料在室温和高温下的力学性能
随着网格技术的提出，能够快速、准确地查找性能最优的网格服务并对其状态进行实时监控显得尤为重要。文中对现有UDDI系统的查询方式、存储形式和安全等方面进行了改进，建立一个
应用射频磁控共溅射方法,分别在InP薄片与磁控靶底座紧接触(方法1)和InP薄片放在石英靶表面(方法2)两种情况下制备了 InP/SiO2复合薄膜,并分别在高纯H2中和在P气氛中对薄膜进
大数据时代,每一个字节背后都蕴藏着丰富的能量,不断跃动出数字化的旋律。杭州这座城市变得更聪明、更智慧,数字化为营商环境带来了更多的可能。余杭全力打造数字经济先行区,
良好的营商环境是一个国家或地区经济软实力的重要体现，是一个国家或地区提高综合竞争力的重要方面。杭州在《中国营商环境报告2020》中综合排名全国第五，被选取为世行营商环境参评备选城市、全国营商环境首批创新试点城市。 布局：召开高规格营商环境会议 2018年11月9日上午，杭州召开了一次高规格的会议——建设国际一流营商环境暨争创民营经济高质量发展示范区动员大会。这次会议的主题非常明确，要建设国际一
在围绕建设“生态型海洋经济强县”的总体目标下，以建设“幸福南澳”为抓手，南澳县委、县政府高度重视、关注LED路灯工程的建设，以此来推动海岛的发展。
研究了Cd2+掺杂的ZnS纳米晶的光致发光特性,结果表明,当Cd的掺杂量较低时(≤5%,摩尔分数),ZnS纳米晶试样的荧光强度显著提高,Cd的掺杂量为0.5%时,掺杂试样的相对荧光强度约为
采用SEM分析了用电化学表面处理方法得到的高强度SiC纤维表面形貌和断口的结构.讨论了表面氧化膜的形成对用CVD法制备的SiC纤维力学性能的影响
目的研究热处理对激光选区熔化成形(Selective Laser Melting,SLM)AZ91D镁合金组织与耐蚀性能的影响。方法利用SLM技术成形了AZ91D镁合金,对试样进行固溶处理(T4)、固溶+时效