第1节 引言 第2节 命题逻辑的语言 第3节 真值指派 第4节 唯一可读性 第5节 其它联词 第6节 命题逻辑的一个推演系统 第7节 命题逻辑的自然推演 第8节 命题逻辑的可靠性和完全性定理 第9节 模态逻辑简介

本文介绍一种新的混合离散变量优化方法及通用程序。该程序适合于求解含有整型、离散型和连续型变量的最优化问题,能给出符合工程要求的规格化最优解。本程序经用30个工程设计和数学问题的考核与评定,证明这种具有多功能的组合型算法和程序,其解题的可靠性,若按最优解的目标函数值的精度在10-2以下统计,达到100%。文中还简介了本程序在两个工程设计问题中的应用

本文提出了根据由chatel法所测出水平垫片上液滴的投影尺寸,通过计算机求算表面张力、液滴体积和润湿角的数学方法。编制了适用于单板机(ZX-48型)的BASIC语言程序。用此程序计算Hg、Cu、Cu (40%)-Sb和Sb的表面张力,验证了它的可行性和可靠性

第一章 绪论 第二章 计算机控制系统设计的硬件基础 第三章 计算机控制系统数学基础 第四章 计算机控制系统分析 第五章 计算机控制系统的间接设计法 第六章 计算机控制系统的直接设计法 第七章 数字控制器的状态空间设计方法 第八章 计算机控制系统设计 第九章 新型计算机控制系统 第十章 计算机控制系统的可靠性设计

基于一些合理的假设,文中建立了水煤浆的管道输送数学模型。从该模型的求解可以得到水煤浆管道输送过程中的能量损失、范宁摩阻系数随管径的变化及不同输送量下的管道输送最佳管径。实际的水煤浆管道输送系统运行结果,证明了该模型的可靠性和正确性

为使导轨的平直度达到高速电梯的要求,通过应用弹塑性理论,建立了电梯导轨在矫直过程中的数学模型,模型给出了电梯导轨在反弯矫直过程中挠度、弯矩、曲率以及中性层之间的关系,并获得了矫直压下量的取值范围.通过有限元软件ANSYS分析验证了理论计算得到的矫直压下量取值的可靠性,并证明能够使矫直后的导轨符合使用要求

为解决不同边界品位下多金属矿床的储量快速估算问题,针对多金属矿床有用组分之间具有相关性的特点,基于多维概率分布函数建立了多金属矿床储量估算数学模型.以某金铜矿床为例,分析证明了矿床中金、铜品位的概率密度呈对数正态分布,并对金、铜品位分布的相关性特征进行检验.在此基础上将一维概率密度扩展至多维,建立了金铜矿床品位分布的多维概率密度函数,得出了不同边界品位下矿床保有的资源储量,并进行了可靠性验证.结果表明,模型的计算误差在10%以内,符合储量管理的精度要求

一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义

参数估计的内容: 1、点估计(Point Estination):估计未知参数的值 2、区间估计(Interval Estimation):估计未知参数的估计值的精确性和可靠性 0=θ+△ 本章介绍统计学中的参数估计的一些基本概念和方法

参数估计:当总体的某些参数未知(一般要求分布类型已知)时 ,从样本出发构造适当的统计量,作为未知参数的估计量。当 取得一组观察值后,以相应的统计量的观察值作为未知参数的 估计值,并讨论估计值对真值进行估计的可靠性。 参数估计方法是处理实际问题时最常用的方法