原子命题是数理逻辑研究的基本单位.分析了原子命题的相关性与逻辑运算之间的关系.在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同.定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点

1联系原子核外电子运动的特征,了解波函数、四个量子数和电子云的基本概念,了解波函数和电子云的角度分布示意图。 2掌握周期系元素的原子的核外电子分布的一般规律及其与周期表的关系,明确原子(及离子)的外层电子分布和元素分区的情况。联系原子结构了解元素的某些性质的一般递变情况

以纯铁粉、硅粉、硼铁粉、铬铁粉、胶体石墨及镍粉为原料,通过真空反应钎涂在低碳钢基体上制备了碳化铬/铁基自熔合金复合涂层,涂层表面光滑、平整且与基体为冶金结合。应用扫描电子显微镜、能谱仪、X射线衍射仪及显微硬度计,研究了涂层的组织结构、成分分布和硬度分布。结果表明：涂层为复合结构,其组织由Fe-Ni固溶体基底和原位合成的六棱柱Cr3C2相组成。涂层与基体间存在过渡区,过渡区内元素和硬度呈梯度分布；涂层表面硬度可达85HR15N以上

*5.1 广域网的基本概念 5.1.1 广域网的构成 5.1.2 数据报和虚电路 *5.2 广域网中的分组转发机制 5.2.1 结点交换机中查找转发表 5.2.2 在路由表中使用默认路由 *5.3 拥塞控制 5.3.1 拥塞控制的意义 5.3.2 拥塞控制的一般原理 *5.4 X.25 网 5.5 帧中继 FR *5.5.1 帧中继的工作原理 5.5.2 帧中继的帧格式 5.5.3 帧中继的拥塞控制 *5.6 异步传递方式ATM 5.6.1 ATM 的基本概念 5.6.2 ATM 的协议参考模型和信元结构 5.6.3 ATM 的逻辑连接机制 5.6.4 AAL 层举例：AAL5

19-1碳水化合物的分类; 19-2单糖: 单糖的结构、构型及命名 教学内容单糖的结构、构型及命名 单糖的反应、还原糖与非还原糖。 19-3二糖: 19-4多糖

2-1研究机构结构的目的 2-2机构的组成及其运动简图的绘制 2-3机构自由度的计算 2-4平面机构的组成原理和结构分析 2-5平面机构的结构综合

第3章数据链路层 *3.1数据链路层的基本概念 *3.2停止等待协议 3.2.1完全理想化的数据传输 3.2.2具有最简单流量控制的数据链路层协议 3.2.3实用的停止等待协议 3.2.4循环冗余检验的原理 3.2.5停止等待协议的算法 3.2.6停止等待协议的定量分析 *3.3 连续ARQ 协议 3.3.1 连续 ARQ 协议的工作原理 3.3.2 连续 ARQ 协议的吞吐量 3.3.3 滑动窗口的概念 3.3.4 信道利用率与最佳帧长 3.4 选择重传ARQ 协议

通过对武汉钢铁公司热轧带钢厂粗轧机(R2~R4)设备、工艺参数的综合测试研究,论述了四辊轧机辊系运动状态与辊系轴向力的关系,分析了辊系轴向力生成的原因和轴向力的大小。以实测数据为依据,讨论了支承辊止推轴承的实际负荷状况、破坏机理及工作寿命,提出了减少R2~R4轧机支承辊止推轴承烧损的可行措施

一、三相全控桥式整流电路,输入三380V,主电变器△/Y接法,U2-30V,直流母线市联平波电扇足够大,出-50v1.5w 1.画出主电路原理图(器他要编号 2.不计裕,求品问管的电流定额和压定额 3求变器副边,原边线电流2和网低输入相电流

为了提高深井矿山充填管道的满管状态,提出以满管率作为系统满管状态定量描述指标,基于水力学输送理论推导了满管率的数学模型,并对其影响因素作了理论分析,明确减小管道直径及增大系统流量是提高满管率的最佳途径.基于管道两相流理论,建立了管径、流速以及满管率关系的数学表达式,为系统最佳输送参数的选取提供了理论依据.对某深井矿山充填系统进行的局部改造结果显示:将系统原φ150 mm水平管道替换为φ85 mm管道,同时增大流量至80 m3·h-1,系统满管率为原来的6倍,有效减轻了管道磨损