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

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

一种改进的正弦拟合时基失真估计算法

利用采样输出估计时基失真的方法可以分为正弦拟合法和分解信号法两种。根据输入校准信号以及选择时基失真模型的不同,这两种方法各有其优缺点,且当时基失真模型不符合时,估计性能较差。提出了一种改进的正弦估计失真方法。它不需要考虑时基失真的模型,因此在时基失真类型未知或时基失真与模型不吻合时,较上述两种方法的性能更为优越。     

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

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

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

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

氨氮测定过程中的影响因素的讨论

1 前言 水体中氨氮(NH_3—N)以游离氨(NH_3)或铵盐(NH_4~+)形式存在于水中,两者的组成比取决于水的PH值。当PH值偏高时,游离氨的比例较高。反之,则铵盐的比例为高。水中氨氮的来源主要为生活污水、工业废水、农用排水等含氮有机物受微生物作用的分解产物。其测定方法是纳氏试剂光度法(GB7479—87),其方法简单、快速、准确度高,但方法的准确度受显色时间和室内温度的影响较大,那么对显色时间和温度的控制尤为重要。本文对纳氏试剂比色法的显色时间和温度控制进行初步探讨。     

一类单阶段混合制造系统的调度

研究了一类单阶段混合制造系统的建模、分析与调度问题，这类系统既包含离散事件动态，也包含连续时间动态，前者用排队网络描述，后者用微分方程描述。不仅考虑了这类系统的最优控制问题，而且考虑了工件进入生产线的最优时间，并用一个复杂的优化模型描述，同时给出了一个两层优化方法，内层给出对给定工件序列的最优控制，而外层用一改进的遗传算法求解工件进入生产线的最优时间序列。若干仿真实例说明了算法的有效性。     

带机器准备时间的同类机在线与半在线排序问题

研究带机器准备时间的m台同类机(uniform machines)在线和半在线排序问题，目标函数为极小化最大机器(工件)完工时间。对于在线情形，证明了LS算法的最坏情况为ρ=｛（1 √5）/2，m=2,1 √2m-2/2,m≥3，并且当m=2，LS算法是最好的近似算法；当m=2，3，…，6时界是紧的，特别地，当s1=s2=…=sm-1,sm≥l时，证明了LS算法的最坏情况界为ρ=｛（1 √5）/2，m=2,3-4/m 1,m≥3，而且界是紧的；对于已知加工时间递减的半在线排序问题，证明了LS算法的最坏情况界为2—2/(m 1)。     

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

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

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

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

二苯基碳酰二肼光度法测定镀锌层中铬

研究了二苯基碳酰二肼与微量铬的显色反应，在硫酸介质中铬与二苯基碳酰二肼反应生成可溶性的紫红色络合物，在波长为550nm处测其吸光度。当铬含量在0-25μg／50mL范围内符合比尔定律，此法应用于铁片镀锌层中微量铬的测定获得满意结果。