分光光度计示值不稳的故障分析和检修

本文对可见一紫外分光光度计在使用过程中出现的吸光度读数不稳的故障原因进行了分析,结合实例提出了排除这一故障的方法。     

利用外资规模控制的非线性目标规划模型

利用外资规模控制的目标和约束条件的确定，得到了利用外资规模控制的非线性目标规划模型。     

输油管道漏磁检测信号自适应滤波的研究

在采用漏磁法对输油管道进行无损检测过程中,信号会受到各种噪声的干扰。介绍了输油管道漏磁检测方法及归一化最小均方自适应滤波方法。通过实验装置采集了含有噪声的漏磁信号。由于各传感器提离值不能保证一致,对信号进行了补偿调整。将一路的传感器输出信号作为主输入信号,与之相邻的传感器输出信号作为参考信号,采用归一化自适应滤波对主输入信号进行处理。结果表明,采用归一化最小均方自适应滤波方法可使缺陷漏磁信号的信噪比得到显著的提高。     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

基于配置约束处理的产品配置设计方法

为了解决复杂的配置设计问题，提出了一种集成配置设计方法．该方法包括3个相互协作的过程：通过实例匹配技术从现有设计实例库中搜索满意设计解；通过领域知识的支持解决具有强烈知识依赖性的模块配置问题及关键参数的赋初值问题；通过进化算法解决配置设计过程中参数的求解和优化问题．针对参数求解和优化过程中的一些复杂配置约束，在传统进化算法的基础上提出了约束校核操作和再设计规则的配置约束处理方法．最后以蜗杆减速器为实例，验证了所提出的基于配置约束处理的产品配置设计方法能够快速给出良好的设计解，从而为复杂产品的配置设计问题提供求解方案．     

一类不确定时延状态反馈网络化系统鲁棒稳定性

考虑控制器和执行器事件驱动、传感器时钟驱动、恒定周期采样和不大于一个采样周期的不确定时延,将有控制约束的状态反馈网络控制系统建模为含有不确定性的离散时变系统.利用Lyapunov理论和线性矩阵不等式方法,导出系统鲁棒稳定的充要条件.利用Matlab LMI工具箱求解该条件,可在判定该类系统稳定性的同时,获得系统鲁棒控制律.仿真算例说明了分析方法和稳定判据的有效性.     

多变量反馈系统稳定零极近似相消的积分约束

导出了多变量反馈控制系统接近于虚轴的稳定零点与补偿器的稳定极点近似相消时,其误差响应的时间域积分约束。这一约束给出了多变量反馈系统固有折中的新的观点。名义系统接近于虚轴的稳定零点与补偿器的稳定极点近似相消导致反馈控制系统的调节时间延长或者误差响应的无穷范数变大。因此,在反馈控制系统设计中,尽量避免补偿器的极、零点与名义系统的零、极点近似相消(即使这些零、极点是稳定的)。同时讨论了名义系统稳定零点与补偿器的稳定极点近似相消时闭环系统对抗干扰能力的影响。     

“五猴分桃问题”的线性方程组新解法

把一个著名问题归结为一般线性方程组或齐次线性方程组问题,再使用改造的Guass消元法进行消元,使问题解决得十分简单巧妙.     

带有不可控变迁的一般不等式约束的Petri网控制器综合

针对关于标识向量和Parikh向量的一般不等式约束的Petri网控制器实现问题,研究控制对象中存在不可控变迁情况下实现Petri网反馈控制器问题.首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,由于Petri网中不可控变迁的存在,故不能直接对给定不等式约束进行控制器设计,需要对不等式约束进行转换.提出一种新约束转换技术把不允许转变为允许不等式约束,然后设计Petri网反馈控制器.最后将该方法与Iordache等人提出的方法作比较,实验结果显示该方法更简单、更有效.     

支持并行协同产品开发的广义鲁棒设计方法

研究了并行协同产品开发过程中的广义鲁棒设计方法.首先,针对并行协同产品开发过程中的不确定性,给出了广义鲁棒设计框架;然后,提出了广义鲁棒性概念,分析了性能鲁棒性和约束鲁棒性;最后,在传统优化设计模型的基础上,考虑产品参数的变化对性能的影响,修改传统优化设计模型的优化目标和约束条件,使它们包含广义鲁棒性指标,建立了广义鲁棒设计模型,并基于遗传算法对模型求解.该方法能有效提高并行协同设计的广义鲁棒性,用一个转向架设计实例验证了其有效性.