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

采用灰色关联分析方法对2Cr13和1Cr18Ni9Ti不锈钢在典型地区12a大气腐蚀和环境因素之间的关联度进行了计算,研究了大气腐蚀影响因素随时间的变化.结果表明,2Cr13和1Cr18Ni9Ti不锈钢大气腐蚀影响因素随时间的变化有所不同.2Cr13不锈钢的初期腐蚀,受相对湿度大于80%的年时数、降雨量、温度和Cl-的影响较大,受SO2影响较小.2Cr13不锈钢的中长期腐蚀,主要受Cl-、SO2、相对湿度大于80%的年时数、平均相对湿度及温度等影响.在各个腐蚀阶段腐蚀速率和各种影响因素的关联度大小次序均在不断变化.1Cr18Ni9Ti不锈钢在发生腐蚀的初期,主要受相对湿度大于80%的年时数、降雨量及降尘等因素影响.随着腐蚀时间的延长,Cl-的作用逐渐上升为主导因素,关联度大小次序趋于稳定

2流体的P-V-T关系 2.1纯物质的P-V-T关系 2.2气体的状态方程 2.3对比态原理及其应用 2.4真实气体混合物的P-V-T关系 2.5液体的P-VT性质

本章主要内容简介 1.主要介绍n维向量(vector)、向量组(vector set)的线性组合、向 量的线性表示、向量组的线性相关与线性无关、向量组的极 大线性无关组、向量组的秩、向量组的等价等概念。 2.介绍向量组线性相关(linearly dependent)的性质。矩阵的秩与 向量组的秩的关系,用矩阵的初等变换求向量组的秩和极大无关组。 3.用向量组的性质分析线性方程组的结构 4.向量空间、子空间的概念,向量空间的基(basis)和维数(dimension)

针对轮船螺旋桨清洗时因空间结构曲面复杂而难清理的问题,设计一种搭载于水下吸附式机器人载体上的射流超灵巧机械臂(hyper-dexterous manipulator,HDM)清洗装置.结合无骨架类生物肌肉高自由度特点构建超灵巧机械臂结构,采用虎克铰接的连接方式替换相邻关节连接处的柔性构件,兼顾了高压水射流承载压力高的特点.运用几何分析法对单端机械臂进行正逆运动学建模,基于多关节连杆变换通式推导出基于等圆弧假设下的机械臂模型,进而得出其多关节驱动空间与操作空间的映射关系.仿真实验和物理实验对比结果表明,所设计的机械臂能够达到期望的操作空间位姿,并能在加载实验下保证一定的鲁棒性

一、关于血压水平的定义和分类 二、关于危险度分层 三、关于卫生经济学 四、关于用药问题

研制了一种双臂、双机械手的绝缘子串更换带电作业机器人.分解了机器人作业过程中机械臂的运动.利用拉格朗日法并结合关节电机电枢电压方程对机器人机械臂基本动作进行动力学建模,得出机械臂基本动作的统一动力学模型,计算出机械臂2的动力学方程,提出基于五次多项式插值的机械臂运动轨迹规划方法,计算出机械臂2各关节运动方程.在ADAMS环境下进行机器人机械臂动力学和运动学仿真,结果验证了动力学模型的正确性,同时各关节运动轨迹规划满足运动学要求.最后在实际线路上进行机器人带电更换绝缘子串实验,结果表明机器人机械臂各关节运动获得了较好的动态性能,验证了本文提出的五次多项式插值机械臂运动轨迹规划具有较强的工程实用性,进一步提高了机器人的作业效率和稳定性

本文介绍了我国自行设计和制造的第一台真空脱气、电磁搅拌和电弧加热多功能的炉外精炼炉。结合工艺讨论了炉外精炼过程中的几个理论问题:关于真空下碳脱氧的问题;关于搅拌和去除夹杂的关系问题;关于精炼过程中加热的必要性问题。通过在北京钢厂精炼炉上百余炉的实验数据证明,炉外精炼对改善钢的质量、提高钢的产量和降低钢的成本等方面具有明显的效果

通过对国内某钢厂DH36高强度船板钢轧制成型之后的成品板材进行研究,利用数学模拟的分析方法,建立了DH36高强度船板钢主要化学成分与基本力学性能之间关系的数学模型,并在此基础上重点分析了各元素随Mn含量的变化对力学性能产生的影响.结果表明:在相关成分允许的波动范围内,Mn元素对冲击功的影响主要呈斜率为负的直线关系,对屈服强度、抗拉强度、断面收缩率的影响也均呈直线关系,但斜率规律与其他元素的含量有关,需具体分析

相关分析与回归分析是以概率论与数理统计为基础 迅速发展起来的应用性较强的科学方法,是现代应用统计 学的重要分支,是研究事物间量变规律的科学方法。回归 分析着重在寻找变量之间近似的函数关系相关分析则不 着重这种关系而致力于寻找一些数量指标,以刻划有关变 量之间关系深浅的程度变