Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。     

MSM6242实时日历时钟在微机系统中的应用

本文介绍了OKI公司生产的MSM6242RS/GS实时日历时钟芯片,并论述了其在微机系统中的应用。     

师专数学专业“数学分析”教学改革初探

对数学分析的教学改革作了深入思考与初步探索。教学计划的改革提出三学期必修、一学期选修的设想，并对原教学大纲提出修订意见；教学方法的改革侧重于提高学生的思维能力与数学素质，对课堂教学进行了大胆的改革尝试。     

预测油包水乳化泥浆表观粘度的数学模型

在全面测试六种不同组成、不同比重的油包水乳化泥浆和两种基础油(2号柴油和Mentor 26矿物油)在各种温度和压力下的流变参数的基础上,运用回归分析方法,提出了预测油包水乳化泥浆在高温高压下的表观粘度的数学模型。经验证,计算值与实测值吻合较好。模型中温度常数A和压力常数B的绝对值,可直观地反映温度和压力对表观粘度的影响程度。该模型使用方便,并适于在生产现场应用。     

三维井眼轴线的数值模拟计算

本文应用数值逼近原理,建立了一种较为准确的计算定向井眼轴线的数学模型,该模型程序计算简便,计算结果与现场解析计算结果相当吻合。可用于模拟井眼轴线,也可为定向井中钻柱受力变形有限元分析提供可靠的计算数据。     

非线性规划的一个改进型可行方向法

本文对Frank-Wolef方法进行了改进,从而得到了一个新的算法。并且讨论了算法的收敛性及在凸规划情形具有的良好收敛性质。     

水轮机径向式导水机构运动图的数值分析及图形显示

本文用数值分析方法研究了非标准系列径向式导水机构的运动关系,论述了如何由计算机绘制相应的图形.为此,建立了导叶翼型及传动机构的数学模型,选定了合理的数值计算方法,进行了程序设计和调试,从而开发出径向式导水机构运动图的CAD软件.     

固井规划系统目的分析及套管柱优化设计模型

根据系统工程的理论对固井工程规划系统结构进行了分析，建立了固井规划系统的目的分析程序．该程序是将固井规划过程定义为一个完整的系统，它具有一般系统的整体性、相关性、目的性和对环境的适应性等属性．该系统按其功能可分解成５个子系统，对每个子系统可以建立计算模型。文中以套管柱优化设计为例讨论了子系统的建模过程．     

数理经济学中的微分拓扑方法

本文简要地介绍了数理经济学中的微分拓扑方法。在给出交换经济模型并提出均衡理论所讨论的基本问题后,列举了微分拓扑学中关于正则值、度数、向量场零点指数的若于最重要的结果、然后用它们来处理诸如均衡价格的存在性、局部唯一性、均衡价格关于经济参数的依赖性等问题。最后从一般性观点证明:具有这些良好性态的所谓正则经济是“典型的”,几乎所加经济都是正则的。     

竖直板外含不凝性气体的蒸汽凝结过程的研究

本文建立了在含不凝性气体的蒸汽凝结过程中,液膜表面外形成的气-汽扩散层内自然对流传热和传质的物理和数学模型。文中采用积分方法求解描述凝结过程的微分方程组;计算了凝结放热系数九及传质系数k,并讨论了一些主要参数对凝结放热系数及传质系数的影响。