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

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

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

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

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

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

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

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

大学英语四级考试对三年制师范院校大学英语教学的影响

三年制师范院校的大学英语教学存在诸多困难和问题,但对它们而言大学英语四级考试(即CET-4)是挑战更是机遇.CET-4是针对普通本科高校非英语专业学生进行的标准化水平测试,但近年来,随着CET-4影响渐大和就业压力的增大,已有越来越多的三年制师范院校非英语专业学生参加或积极准备参加CET-4.在教师的教学思想、方法,学生的学习心理、行为、策略,教材选择,考试评价和教学管理等许多方面,CET-4对三年制师范院校的大学英语教学产生了深刻影响,也有力地促进了它们的大学英语教学和改革.     

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

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

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

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

THz技术进展

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

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

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

杆式侵彻体冲击起爆反应装甲影响因素研究

该文对杆式侵彻体冲击起爆反应装甲进行了试验研究，分析侵彻体对夹层炸药的盖板、面板的分层侵彻机理，在Held准则基础上，提出了与杆式侵彻体的密度、长度、直径、速度因素有关的冲击起爆反应装甲的关系式。该关系式对于研究对付反应装甲的动能弹具有指导意义，并对反导冲击起爆机制研究具有一定的参考价值。