第一节 真值表方法 第二节 命题演算的证明方法 第三节 假设证明法与反证法的区别与综合应用 一、假设证明法与反证法的区别 二、假设证明法与反证法的综合应用 1、在证明中的综合应用 2、在推理中的综合应用 三、命题逻辑定理的证明

1研究对象变形固体的基本假设 均匀连续性假设:假定变形固体内部毫无空隙 地充满物质,且各点处的力学性能都是相同的。 各向同性假设:假定变形固体材料内部各个方 向的力学性能都是相同的。 弹性小变形条件:在载荷作用下,构件会产生变 形。构件的承载能力分析主要研究微小的弹性变形 问题,称为弹性小变形。弹性小变形与构件的原始 尺寸相比较是微不足道的,在确定构件內力和计算 应力及变形时,均按构件的原始尺寸进行分析计算

第一节 假设检验的一般问题 第二节 一个正态总体的参数检验 第三节 两个正态总体的参数检验 第四节 假设检验中的两个样本之相关

采用基于应变梯度理论的假设应变有限元方法研究了微尺度梁弯曲的尺寸效应.在假设应变单元设计中,非局部的应变梯度项通过围绕高斯点的胞元进行数值积分得到.在本构方程中引入等效应变梯度项,在积分本构方程时就可以反映材料在微细变形时的尺寸效应.为了验证本方法的正确性,对微尺度下的悬臂梁进行了模拟计算.计算结果与已发表的实验结果比较吻合,表明可以模拟出材料微细变形的尺寸效应,具有较好的计算精度

第一节 引言 第二节 二元假设检验 第三节 最佳检测准则及其判决规则 第四节 接收机工作特性曲线（ROC曲线） 第五节 二元复合假设检验 第六节 序列（序贯）检测 第七节 多元假设检验

研究多元地质统计学涉及以下方面的若干问题:(1)多元地质统计学的基本假设,包括:协同区域化变量、互变异函数、互协方差以及协同区域化变量的二阶平稳假设和内蕴假设;(2)协同区域化矩阵;(3)协同区域化的线性模型;(4)多元地质统计学的最佳估计方法,包括用协同克立格法对区域化变量的估计、空间分量的估计以及区域化因子的估计

本文首先提出了修正的曼耐尔假设,从而克服了曼耐尔假设的一个明显的缺陷。进而以此为基础,推导了机械零件所承受的各种变载荷的等效载荷计算公式,并对其正确使用提出下必要的要求。文中还进行了等效载荷的实例计算和试验验证。结果表明;本文提出的公式有一定精确度,可以在实际中使用

第一节 假设检验的概念及原理 第二节 t 检验 第三节 二项分布与poisson分布资料的z检验 第四节 假设检验的功效

&5.1 统计假设测验概述 &5.2 平均数的假设测验 &5.3 百分数的假设测验 &5.4 参数的区间估计

第一节 参数估计 第二节 假设检验的基本原理 第三节 几种常见的假设检验