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

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

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

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

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

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

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

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

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

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

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

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

用遗传算法确定斜拉桥的恒载初始索力

在设计预应力混凝土 (P .C .)斜拉桥时 ,确定成桥恒载初始索力值是一项重要而困难的任务 ,为此尝试用遗传算法来确定不同目标状态下的斜拉桥初始索力 .以往的方法往往都要假设一个斜拉桥成桥初始内力或位移状态 ,与以往方法不同的是 ,在使用遗传算法的时候却没有这样的要求 ,它只需要一个目标函数即可 ,剩下的任务就是求目标函数的极值解或者目标函数极值解所对应的各变量值     

THz技术进展

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

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

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

解周期初值问题的两步显式P-稳定方法

本文提出了解二阶周期初值问题的两步显式P-稳定方法,其代数阶为2,而相滞阶是4.基于一种特殊的向量运算,将这一方法拓展成向量可行的.数值试验表明了方法的有效性.