通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研究的两点模糊认识,在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在,该结论无疑对当前基于模态逻辑的agent形式化研究具有十分重要的意义

海洋环境 地球表面积5100000m2,其中70.84%被海洋所覆盖; 海洋面积中84%的水深超过2000m,平均深度3800m; 真光层(阳光所能到达的深度)即便是在最清洁的水中,其深度也不会超过200m

物体或者系统内部由于温度不同而使热量发生转移的过程, 称为热量的传递,简称传热。根据热力学第二定律,只要 有温度差就将有热量自发地从高温处传到低温处,因此传 热是自然界和工程技术领域中普遍存在的种物理现象

化学工程学:以化学、物理和数学原理为基础,研究物料在 工业规模条件下,它所发生物理或化学状态变化的工业过程 R及这类工业过程所用装置的设计和操作的一门技术学科

在绘制复杂或过大、过小图形 时,我们总希望图纸能够任意放大 或缩小或移动, AutoCAD的显示 控制命令就具有这种功能。且不影 响图形的实际尺寸

呼吸(respiration) 是机体在新陈代谢过程中,不断地 从外界摄取氧气,排出二氧化碳, 是机体与环境之间的气体交换过程

分析了介孔复合材料的原材料、中间产品及最终产品的傅里叶变换红外光谱图和X射线衍射图,得出材料制备过程中有机及无机组分定性及定量变化.结合透射电镜观测结果提出了介孔复合材料制备过程中组分变化机理,从作用力和热力学角度分析了有机离子载入反应的驱动力种类及作用机制

学习会计等式,账户的结构,账户体系,复式记账 方法,过账与试算平衡以及总分类账与明细分类账的平 行登记。掌握会计等式,资产,负债,所有者权益,收 入,费用类账户的基本结构;掌握借贷记账法,过账程 序以及试算平衡的基本原理;掌握总分类账与明细分类 账的平行登记要点

第一章总论 第一节会计的含义、职能与目标 一、会计的含义 (一)对会定义的理解 会计与社会生产经营的发展有着不可分割的联系,它计量经济过程中占用的财产物资及劳动耗费,通过价值量的变化来描述经济过程,评价经济上的得失,并且发展成为一种对生产经营活动进行核算与监督的、以价值管理为主要特征的经济管理活动

为了探索合金元素在TRIP钢相变过程中的重要作用,利用金相、显微硬度等方法研究了四种不同合金成分C-Mn-Al-PTRIP钢的CCT图.结果表明:Al元素强烈地缩小奥氏体相区,提高Ac3与Ms;Al元素促使CCT图左移和上移.P元素能够阻碍碳化物生成,当钢中P质量分数达到0.14%时,能显著地将CCT图中的珠光体区与贝氏体区右移;P元素对铁素体相变和马氏体相变没有显著的影响.结果还显示出随着冷却速率的增加,材料的显微硬度随之增加.对于每一种成分,超过其临界冷却速率时,将得到完全的马氏体组织