第1节 可靠性定理 第2节 完全性定理 第3节 自然推演系统的可靠性和完全性 第4节 紧致性定理及其应用

在研究某些实际问题时，经常无法直接得到各变量之间的联系，问题的特征往往会给出关于变化率的一些关系。利用这些关系，我们可以建立相应的微分方程模型。从另一个方面来讲，从微小的变化量来研究函数变化的规律，微分提供了一种人们认识系统更加深入的描写和刻画。从这个角度说，微分方程模型在模拟客观事物时更加具有机理性和本质性

层次分析法（AHP）是美国运筹学家匹茨堡大学教授萨蒂(T.L.Saaty)于上世纪70年代初，为美国国防部研究“根据各个工业部门对国家福利的贡献大小而进行电力分配”课题时，应用网络系统理论和多目标综合评价方法，提出的一种层次权重决策分析方法。 引言 层次分析法原理 层次分析法模型举例

艾滋病是当前人类社会最严重的瘟疫之一，虽然有一些针对艾滋病的疗法，但迄今为止还没有关于这些疗法疗效的评价和预测方法，因此合理评价艾滋病疗法及预测其疗效有着重要的意义。本文对治疗时用药量的选择进行了讨论，提出了药物量的最优选择模型，基于该模型的特点，建议用大系统总体优化方法和模拟退火混合遗传算法求解该模型

§1 基本概念 §2 输入过程与服务时间的分布 §3 生灭过程 §4 M / M /s 等待制排队模型 §5 M / M / s/ s 损失制排队模型 §6 M / M / s 混合制排队模型 §7 其它排队模型简介 §8 排队系统的优化 §9 产生给定分布的随机数的方法 §10 排队模型的计算机模拟

本章讨论的虚位移原理（Principleofvirtualdisplacement），是用数学分析的方法研究任意非自由质点系的平衡问题，平衡条件表现为主动力在系统的虚位移上所做虚功的关系。虚位移原理给出任意非自由质点系平衡的必要与充分条件，是解决质点系平衡问题的普遍原理，可称为分析静力学（Analyticalstatics）

为有效解决半导体制造业中带并行腔和重入约束的双臂集束型设备调度问题,提出一种以优化搜索为核心的调度方法.首先,引入优化FIFO (first in first out)搜索规则,并以系统总完工时间最小化作为目标,建立带并行腔和重入约束的四加工腔双臂集束型设备调度数学模型.在此基础之上,结合虚拟缓冲模块的概念,提出一种基于机械臂交换策略的优化搜索算法.最后,对所提出的算法进行仿真实验,实验结果表明该算法是可行且有效的

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

通过数值计算方法,建立了镇静钢锭热过程的数学模型,并通过现场的实际测定对其进行了修正。在模拟计算中,选用固相线温度做为冶金指标,综合考虑了模铸系统参数及浇注工艺参数,评估了帽口和发热剂设计及浇注工艺对钢锭凝固的影响

本文给出了高炉炉顶布料及炉内料层分布、炉料温度分布、煤气流动及温度分布的数学描述方法,用计算机仿真的手段推断实际生产高炉炉内状态.在实际高炉中应用表明,该仿真系统有较好的实用性