结构动力学有限元模型修正.pdf
本书研究内容是依据振动试验测试数据修改数值模型的问题，工程设计上最广泛应用的数值模拟方法是有限单元法。本书各章节详细阐述了导致试验结果和数值预示结果不一致的各种因素，其最终目的是依据试验结果来修正数值模型。模型修正对数值分析和振动测试工程分别提出了相应的技巧要求，且需要应用现代预
修正
R-演算：一种信念修正的逻辑.pdf
信念修正是人工智能的研究分支之一。在哲学，认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来，它是任何一个合理的信念修正算子应该满足的最基本条件。本书第一作者李未院士在20世纪80年代中期提出R-演算，这是一个满足AGM公设，非
R-演算：一种信念修正的逻辑（英文版）（R-Calculus: A logic of belief revision） 李未,眭跃飞 著.pdf
信念修正是人工智能的研究分支之一。在哲学、认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出，它是任何一个合理的信念修正算子应该满足的*基本条件。《R-CALCULUS:A Logic of Belief Revision》作者李
2009年1月，甲（1993年4月生）因抢劫罪被判处有期徒刑1年。2011年3月20日，甲以特别残忍的手段故意杀人后逃跑，6月被抓获。关于本案，下列选项正确的是（ ）。
2009年1月，甲（1993年4月生）因抢劫罪被判处有期徒刑1年。2011年3月20日，甲以特别残忍的手段故意杀人后逃跑，6月被抓获。关于本案，下列选项正确的是（ ）。
智能推理及其在信念修正中的应用.pdf
智能推理是实现智能化的基础，它包括经典的单调推理和非单调推理。本书首先介绍了经典的单调推理中的命题推理系统和谓词推理系统，以及推理的公理化系统和自然推理系统:其次，介绍了单调推理系统下的自动推理算法和可满足性验证算法:然后介绍了非单调推理的主要理论和方法，包括非单调推理逻辑、自知
结合材料回答问题 材料1 1978年，中国正徘徊在一个新的十字路口，中国发展的逻辑是什么，中国现代化到底要通过何种方式抵达？自近代以来盘桓在中华民族头上的问题，再次成为时代之问。 时间定格在这一刻。中国上百台印刷机转动，不同的报头之下，出现了同一个标题；校园的阅报栏前挤满年轻的面孔，无数学子闻风而至，阅读同一篇文章；千百人重新铺展稿纸，千百支笔重新抖落尘埃，准备书写同一个主题；被一种沉重的沉默笼罩的中国大地，随着第一声响动，忽然爆发出轰鸣。 这是1978年5月，一篇名为《实践是检验真理的唯一标准》
结合材料回答问题 材料1 1978年，中国正徘徊在一个新的十字路口，中国发展的逻辑是什么，中国现代化到底要通过何种方式抵达？自近代以来盘桓在中华民族头上的问题，再次成为时代之问。 时间定格在这一刻。中国上百台印刷机转动，不同的报头之下，出现了同一个标题；校园的阅报栏前挤满年轻的面孔，无数学子闻风而至，阅读同一篇文章；千百人重新铺展稿纸，千百支笔重新抖落尘埃，准备书写同一个主题；被一种沉重的沉
模型修正与破损诊断.pdf
本书系统地讨论了结构计算模型修正技术和结构破损诊断方法的原理与功能，囊括了当前该领域内各主要流派的最新成果.此外，还介绍了近年来创立的实用完备模态空间理论，最新的动力模型减缩技术和特征向量导数计算方法（含修改结构特征导数的快速分析法）等内容.附录中叙述了约束最小二乘法和求解病态方
（ ）是将纯保险费进行修正，然后以修正后的纯保险费为基础而计算的责任准备金。
（ ）是将纯保险费进行修正，然后以修正后的纯保险费为基础而计算的责任准备金。
路面代表弯沉值检测时，当沥青层厚度小于、等于( ) cm时，可不进行温度修正。
路面代表弯沉值检测时，当沥青层厚度小于、等于( ) cm时，可不进行温度修正。A