Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明

本文推广了线图的树对及其距离的概念,提出了等参数图及其树对和树对之距离的概念。给出了等参数图中任一树对为一最大（或最小）距离树对的充分必要条件和相应的算法,讨论了等参数图中最大与最小距离树对在电网络分析中的应用,给出了网络图主划分算法1的对偶算法和电网络的最优调和分解算法

论述了西石门铁矿水文地质条件,并在此基础上应用三维流有限元法求得了矿区水文地质参数和预测了4个中段的矿坑涌水量,为该矿山排水设计提供了科学依据。应用三维流有限元法求解水文地质问题,目前实例不多,这是一次有意义的探索

第一节串行通信概述 第二节MCS-51单片机的串行接口 第三节串行口应用举例

本文论述了可控硅逆变器逆变角影响串级调速装置功率因数的基本原理。从而阐明了当采用PWM型串级调速装置时,它的功率因数可得到一定程度的改善。从研制的PWM型串级调速装置试验结果,证明了理论分析的正确性。由于这种装置的结构和控制较简单,在实际应用中能得到较大的经济效益

将双流函数法进行推广,设定出了对任意的孔型形状严格满足速度边界条件的速度场;并用若干相交平面代替入口刚塑性变界面使速度不连续条件得到满足;用罚函数法使体积不变条件得到满足;找到了一个用上界法模拟复杂孔型中金属三维变形的一般途径,提出了一个通用的速度场。以5#和2#角钢的切分孔轧制为例,进行了模拟计算和相应的物理模拟实验。求出了孔型的充满,变形区的形状,变形区内金属流线的形状,速度场,应变速率场,应力场以及轧制压力,前滑,延伸等参数。模拟计算值与实验值基本吻合。这种模拟复杂孔型中金属三维变形的一般方法,为CARD技术的进一步发展打下了基础

建立了方坯连铸冷却最优化数学模型,用于确定最优二冷制度和最大拉速。应用分布参数系统最优化控制理论,对此最优化问题进行了分析求解。模型还应用于某厂方坯连铸,进行优化计算,证明模型是合理的

第一节输入/输出控制方式 第二节中断系统 第三节中断处理过程 第四节定时/计数器 第五节定时/计数器的应用 第六节外部中断源的扩展

同时平衡原理应用到Fe-H2O和Cu-H2O体系。在一定电位范围内,计算了液固之间E-pH关系。该方法应用到含有多种离子平衡的金属-水体系计算E一pH关系,结果与实验符合

本文把旋转机械故障产生的周期性激励—周期性特征信号分解成“波形”与“特征脉冲序列”的卷积,提出了有关周期性特征信号幅值调制、相位调制、波形畸变以及背景噪声四种类型噪声的概念。在此基础上,应用解卷积理论,对实倒谱分析识别周期性特征信号问题进行了研究。并在计算机上讨论了各种类型噪声对实倒谱分析的影响。研究表明,周期性特征信号在实倒谱上将形成依次递减的倒谐频结构,其大小仅与特征信号本身的稳定性有关,与信号的大小、形状无关,且最大值不超过1。分析结论较好地解释了文献以及作者的应用实例