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

• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？

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

为了解决企业在资金受限情况下的决策问题,通过主成分分析法对多方案、资金受限项目的评价与选择进行了研究,并对多方案投资项目进行了实证分析和计算．将计算结果与传统的决策评价方法进行了比较分析,探讨了这种多元统计分析方法的有效性和可靠性,为多项目方案决策提供了依据．

第九章 统计过程控制与诊断(SPC与SPD) 第十章 接近零不合格品过程的质量控制 第十一章 质量改进常用方法 第十二章 质量机能展开 第十三章 质量评估方法 第十四章 顾客满意导向与顾客满意度 第十五章 可靠性维修性及产品安全性 第十六章 计量 第十七章 测量系统分析(MSA) 第十八章 业务流程重组 第十九章 网络时代的质量管理 第二十章 六西格玛工程简介

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

在传统氧化工艺的基础上,结合低温湿氧二次氧化退火制作4H-SiCMOS电容.通过I-V测试,结合Fowler-Nordheim(F-N)隧道电流模型分析了氧化膜质量;使用Terman法计算了SiO2/SiC界面态密度;通过XPS测试对采取不同工艺的器件界面结构进行了对比.在该工艺下获得的氧化膜击穿场强为10MV·cm-1,SiC/SiO2势垒高度2.46eV,同时SiO2/SiC的界面性能明显改善,界面态密度达到了1011eV-1·cm-2量级,已经达到了制作器件的可靠性要求

氧化物与非氧化物的烧结,合适气氛的选择特别重要.CaZrO3与ZrB2是化学性质截然不同的2种化合物,经过热力学分析,在所考虑的各种气氛中,这2种化合物高温时只有在Ar气保护的中性气氛中才能稳定存在.实验也证实了热力学分析的可靠性

针对以往设备的不足之处,设计了半固态合金浆料表观黏度的测量装置.以理论计算公式作为测量依据,合理地设计和组合各部件,提高了测量精确度和可靠性,有效防止了半固态合金的高温氧化,对高固相分数的半固态合金也可以处理,并方便地获得样品.对样品的表观黏度测量以及金相组织分析表明,本装置可有效地对半固态合金进行流变性能和组织形态演变的研究