车削功率约束适应数字控制系统的研究

本文介绍一种在普通车床上建立的以TP801-Z80单板机为控制主机的车削过程功率约束型适应数字控制系统,阐述系统的结构设计、分析系统的控制性能以及管理程序设计框图。通过切削试验说明:这种系统有助于充分发挥机床的加工能力,提高机床功率利用率和节约能源。     

NIELSEN方程在理论力学中的应用

本文从理论上探讨Nielsen方程在理论力学中的应用,为解决某些两个自由度系统动力学问题提供简便解法。     

动态模糊随机信息处理的数学方法

本文系统地概述了我们近年来提出的动态模糊随机信息处理的数学方法,内容包括模糊随机变量、模糊随机过程和模糊随机微分方程的基本解法等方面的基本概念、基本定义和某些重要的定理,以及动态系统的模糊随机响应与可靠性分析的方法等。这些方法是为我们研究工程实际问题的需要逐步发展起来的,对于处理某些类型的问题简便实用。     

二阶变系数线性微分方程组的稳定性

本文讨论方程组的零解的稳定性,推广了文[2]的相应结果.     

有序分组资料的线性趋势检验的确切概率计算

有序分组资料的线性趋势检验主要用于检验几个二项总体反应率的线性趋势；在医学与生物学中最典型的用途是研究剂量和反应的关系． 如果用Ｚ检验来代替通常在本检验中所用的卡方检验，就可容易地导出本检验的确切概率计算方法，和其他２×Ｃ有序列联表有着相同的形式．本文给出了该检验的确切概率计算方法．     

广义系统的某些性质

本文定义了广义系统的消失性,并给出了判别消失性的充要条件,进而给出了广义系统的闭环谱与其动态补偿器的谱不相交的充要条件.最后利用广义系统的一种特殊分解给出了广义系统脉冲可控的充要条件.     

节能气动系统数学模型的改进

作者曾提出一种节能近50%的节能气动系统,进行了理论与实验研究。本文重新定义特征时间 T_m~″和有效面积比 a_(?)~″,改进了它的退回阶段Ⅲ的动特性数学模型,使之能更准确地描述系统的真实特性,仿真结果与实验结果更趋一致。     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.