一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

关于相对拓扑性质的某些探讨

本文对相对正规性，可弱连续嵌入以及潜在紧空间等几个相对拓扑性质进行了初步研究，分别给出了正规空间在更大的拓扑空间中正规的条件和Tychonoff空间可弱连续嵌入到更大的Tychonoff空间的条件．同时证明了拓扑空间的潜在紧性是拓扑不变量。     

输入具有饱和非线性的离散系统闭环稳定性

基于矩阵范数和离散时间系统李雅普诺夫定理，给出了控制输入具有饱和非线性特性的状态反馈控制系统的闭环渐近稳定性判据，并用算例验证了基本原理的正确性。     

盘式电流变传动机构的动态模型研究

电流变流体是一种智能软物质，圆盘式电流变传动机构是电流变技术的主要应用领域，利用时间序列模型，对电流变传动机构的动态模型进行理论和实验研究，提出用时间序列模型和功率谱密度，来确定实际系统的动态参数，测试和控制过程采用NI虚拟仪器构建的系统自动进行，这是一个通用的动力学实验平台。     

平面布朗运动首中带形之分布

首中时是近代马氏过程的一个重要概念．作为强马氏过程的布朗运动，其首中某集的时间或位置的分布对于研究质点运动以及位势论中的Didchlet问题与平衡问题都有重要意义．球面的首中与末遇分布在六几年就已解决，1981年白苏华等在文献[1]给出了平面布朗运动首中椭圆的分布，本文用类似方法求出平面布朗运动首中带形之分布。     

陕西省人均粮食与人均耕地变化研究

对陕西省人均粮食及人均耕地变化进行了时空差异分析,结果表明:(1)近50余年的绝大多数年份为人均粮食占有量的递增期,且不同时段的增幅不同;粮食增长率大于人口增长率的时期,对应人均粮食的增长时期;(2)1978—1998年绝大多数地、市人均粮食递增,且地域差异明显;(3)近50多年来全省耕地面积总体逐年递减,近10年来减少之势加剧;同期人口数量的持续增长,造成人均耕地面积急剧减少.相关回归分析显示:各地、市人均粮食绝对增量与其相对增量之间呈正相关,人均粮食增加量占粮食增量的份额整体偏低;提高粮食生产水平及控制人口是增加全省人均粮食占有量的重要途径.     

瞬时冲力历时数据的处理及程序实现

提出了一种对碰撞过程冲力采样数据进行处理的方法及处理程序,通过对实验数据的分析,给出了从数据文本中搜索有效冲力数据的途径.该方法结合冲力瞬态数字测量仪和普通计算机系统,可用于广泛的力学测量研究中.     

THz技术进展

THz(10^12Hz)技术是二十世纪八十年代末发展起来的一种新技术，它在很多基础研究领域、工业应用领域、医学领域、军事领域以及生物领域中有相当重要的应用前景。本文从总体上介绍了THz技术的基本研究情况，包括它的产生、探测机理研究，THz光谱应用研究及THz成像研究，并介绍了目前THz技术研究中亟待解决的一些问题。     

结构时变模态参数辨识的时频分析方法

应用线性和二次时频变换方法，即短时傅里叶变换和魏格纳—维尔分布，进行了时变结构模态参数的辨识．通过对刚度突变和刚度连续变化的单自由度系统时变参数辨识的仿真，论述了两种时频辨识方法的特点．仿真结果表明，时频变换辨识方法是辨识时变模态参数的有效工具，而且魏格纳—维尔分布二次时频表示能得到比基于短时傅里叶变换的谱图更好的辨识结果．     

多因素时间序列法的研究

该文分析现有的单因素时间序列法在实际应用中的不足之处，提出采用多无线性回归原理综合处理的多因素时间序列法。它首先利用单因素时间序列法对各项影响事物发展趋势的因素进行预测；然后利用多无线性回归法将各种因素综合起来，以求得事物的总发展趋势。利用股票数据对单因素法和多因素法两者进行比较，可以明显看出多因素法较之单因素法在预测精度上的优势。