关键词： 供热系统   供热设备   热力系统   供热方式   热源点   热负荷   双抽机组   供热能力   热力站   凝汽机组   数学模型   试验模型  

摘要： 本文将一般供热系统供热方式优化问题概括为有容量约束的多地点、多设备、多产品的工厂布置问题,构造出相应的混合0-1整数规划模型。对优化模型中涉及的热源费用和供热管网费用的计算方法作了说明。扼要介绍了求解优化模型的反向跟踪分支限界算法。

关键词： 传统数学   数学工作者   算法设计  

摘要： 本文在简述算法的特征后,比较了它与传统数学在方法上的主要不同之处.

关键词： 调度问题   0-1规划   启发式算法   满意解  

摘要： 本文讨论并建立了客车调度问题的数学模型,着重讨论其费用矩阵和目标函数。本文提出的一种新的启发式算法,能保证该问题获得满意的可行解和非可行解。这种新算法经实践证明是有效的。

关键词： 数学模型   仿真   实时控制   连续铸钢   凝固传热过程  

摘要： 连续铸钢计算机控制系统的建立,是连铸生产自动化的保证。为了进一步提高和完善该系统的控制功能,运用计算机辅助手段对连续铸钢凝固传热过程的数学模型(尤其是二冷水控制模型)进行仿真分析与研究,具有特别重要的意义。 本文主要介绍了连续铸钢凝固传热过程数学模型的建立、仿真算法的数学抉择、连续铸钢凝固传热过程计算机仿真软件包的主要内容及该软件包应用于实际的结果分析等。

关键词： COMPUTER PROGRAMMING  

摘要： An algebraic specification is given of an algorithm for recovery from catastrophe by a deterministic process. A second version of the algorithm also includes check-points. The algorithms are formulated in the notations of Communicating Sequential Processes (Hoare 1985) and the proofs of correctness are conducted wholly by application of algebraic laws (together with the unique fixed point theorem).

关键词： 数学模型   二室模型   药动参数   剩余法   分布相(α相)   消除相(β相)  

摘要： 本文供血管外给药二室模型PK参数简便计算法。当有些药物不宣静脉给药时,其药物动力学参数可通过口服或肌注(血管处)给药测定。但目前所见数学处理一般较繁。本文仅利用消除相和分布相的血样数据,线性回归求得参数。数值例子进行检验,结果相当吻合,表明它能实际应用。

关键词： 差分方程   微分方程   方程组   联立方程   三维潮流   破开   差分形式   破开算子法   系数矩阵   基本方程   代入   算法  

摘要： 本文采用多层二维潮流数学模型,并利用破开算子法,将复杂的微分方程分裂成简单微分方程组,根据各子方程特点,分别采用不同算法,对于似线性抛物型方程,可用予测—校正方法,其他微分方程可用ADI法。

关键词： 函数   定义   复变   主值   余弦   arccosz   恒等关系式   定理   象点   复域   数学基础   数理哲学   算法  

摘要： 这是复变反三角函数研究中拟定的几篇文章之。本文从反函数的定义出发,首先给复变反余弦函数Arccosφ的主值arccosφ建立表达式(10),还证明了arcsinφ和arccosφ间的恒等关系式(14)在复域中仍成立。据此我们详尽地研究了函数arccosφ与Arccosφ的映射性质。公式(10)不仅更正了文献[1]中4.4.38式的错误,而且其等价形式(11)巳成了我们构造arceosφ有效算法的数学基础。

关键词： Mathematics   Algorithm design and analysis   Books   Optical design   Computer architecture   Writing   Design methodology   Programming   Apertures   Application software