基于Lyaunov方法的离散时间模糊控制系统设计

研究了基于T－S模型的离散时间模糊控制器的规则化设计问题。将模型控制系统看成是一类具有结构式不确定性的系统，利用Lyapunov稳定性定理，提出了一类线性状态反馈控制器的规则化设计方法。通过求解离散时间Lyapunov方程，得出线性状态反馈控制律，并给出了保证闭环系统渐近稳定的充分条件。     

CAD／CAM集成系统中面向对象产品定义模型

分析ＣＡＤ／ＣＡＭ集成系统对产品定义模型的要求，利用面向对象的方法研究了产品设计信息、制造信息的特点及相互间关系，提出设计／制造特征（简称ＤＭ特征）的概念，建立了面向对象产品定义模型的总体结构，作为实现ＣＡＤ／ＣＡＭ信息集成的基础     

纯滞后MIMO离散系统建模及数字仿真

针对纯滞后ＭＩＭＯ连续系统模型按常规方法离散化,所得的离散模型不适用于数字控制系统,提出基于ＭＡＴＬＡＢ语言的ＣＡＣＳＤ,求出相关的增广矩阵,重构标准的离散数学模型。仿真研究证实此方法的正确性。     

自适应遗传算法优化模型小脑模型

首次采用遗传算法（ＧＡ）设计模糊小脑模型神经网络的隶属函数，提出一个自适应ＧＡ优化算法，并且以优化模型小脑模型ＦｕｚｚｙＣＭＡＣ学习正弦曲线，仿真实例表明，采用自适应ＧＡ方法优化的ＦｕｚｚｙＣＭＡＣ学习精度比标准小脑模型ＣＭＡＣ提高大约三个数量级，比标准ＦｕｚｚｙＣＭＡＣ（三角形隶属函数）提高一个数量级，自适应ＧＡ方法优化的ＦｕｚｚｙＣＭＡＣ学习速度比ＧＡ优化的速度快且乾化过程的振荡明显减小，仿真     

一类离散不确定时滞系统的鲁棒模糊控制

定义一种具有时滞和参数不确定性的离散Takagi—Sugeno(T—S)模糊模型．研究基于此模糊模型的离散不确定时滞系统的模糊鲁棒控制问题。利用Lyapunov稳定性理论，提出一种基于LMI的模糊鲁棒状态反馈控制器的新的设计方法，给出模糊反馈控制器存在的充分条件，证明模糊闭环系统的鲁棒全局渐近稳定性。算例仿真表明该方法的有效性。     

自适应遗传算法优化模糊小脑模型

首次采用遗传算法（ＧＡ）设计模糊小脑模型神经网络（ＦｕｚｚｙＣＭＡＣ）的隶属函数．提出一个自适应ＧＡ优化算法，并且以优化模糊小脑模型ＦｕｚｙＣＭＡＣ学习正弦曲线．仿真实例表明，采用自适应ＧＡ方法优化的ＦｕｚｙＣＭＡＣ学习精度比标准小脑模型ＣＭＡＣ提高大约三个数量级、比标准ＦｕｚｚｙＣＭＡＣ（三角形隶属函数）提高一个数量级．自适应ＧＡ方法优化的ＦｕｚｙＣＭＡＣ学习速度比普通ＧＡ优化的速度快且进化过程的振荡明显减小，仿真证明该方法比普通ＧＡ优化方法稳定，收敛效果好．     

基于Lyapunov方法的离散时间模糊控制系统设计

研究了基于 T-S模型的离散时间模糊控制器的规则化设计问题。将模糊控制系统看成是一类具有结构式不确定性的系统 ,利用 L ya-punov稳定性定理 ,提出了一类线性状态反馈控制器的规则化设计方法。通过求解离散时间 Lyapunov方程 ,得出线性状态反馈控制律。并给出了保证闭环系统渐近稳定的充分条件     

LMI解充要条件及其参数化方法

针对线性矩阵不等式（ＬＭＩ）ＢＧＣ＋（ＢＧＣ）＾Ｔ＋Ｄ〈０中，ｒａｎｋＢ〈ｎ．ｒａｎｋＢ＝ｎ＝ｍ，ｒａｎｋＣ〈ｎ，ｒａｎｄＣ＝ｎ＝ｋ及ｒａｎｋＢ＝ｎ＝ｍ＝ｒａｎｋＣ＝ｋ几种情况，分别得到ＬＭＩ解的新的充要条件，并给出了相应的参数化方法，可方便地用于方差控制、Ｑ稳定控制和鲁棒Ｌ控制等问题的固定阶输出反馈控制器的Ｇ的设计。     

机械智能CAD的结构模型

利用ＣＳＣＷ的结构、原理和方法探讨了机械智能ＣＡＤ系统的结构模型，指出智能ＣＡＤ系统已由单用户、面向设计的传统方法向多用户集成化和面向制造的方向转变，并为ＣＡＤ／ＣＡＭ集成化道路的发展指出了切实可行的方向。     

高碳铬不锈钢泵阀材料的研究：Ⅰ热处理对泵阀材料组织和…

研究了淬火和回火温度对６Ｃｒ１８Ｍｏ和９Ｃｒ１８Ｍｏ钢组织和性能的影响，最后确定了性能可满足泵阀服役条件要求的热处理工艺。上述工作为用９Ｃｒ１８Ｍｏ和６Ｃｒ１８Ｍｏ代替ＧＣｒ１５和２０ＣｒＭｏ制造抽油泵泵阀提供了科学的依据。     

丸尺蛾属(尺蛾科,灰尺蛾亚科)一中国新纪录种

记述采自四川乐山市的丸尺蛾属一中国新纪录种——Plutodes unidentata Holloway,1976.对其外部形态和生殖器进行了简要描述,给出其特征图.研究标本保存于西华师范大学昆虫标本馆.     

离散雅可比多项式序列预报控制理论与算法

本文提出一种用于微机加工误差实时预报控制的新方法;构造了离散雅可比多项式序列的计算通式及其递推格式;证明了其离散正交性;开发了用于微机在线预报与控制的递推公式及算法.本文所提出的理论与算法对加工误差的实时补偿控制是适用有效的.     

基于小波分析与卡尔曼滤波的网络流量估计和预测方法

将目标状态的小波变换系数向量描述为卡尔曼滤波方法的状态变量,进而建立了网络流量估计和预测模型,能够实现周期内的实时跟踪和动态多步预测.利用CERNET华中地区主干网的实测流量数据对该模型进行检验,所有检验周期网络流量预测值的相对误差均值为4.58%,表明网络流量估计和预测模型具有较强的适用性.     

时间自动机与信号自动机的互模拟算法

基于时间自动机的验证工具已被广泛应用于实时系统模型验证。信号自动机为一类实时系统建立了比时间自动机更适合的模型,但是它还不能用于实际的实时系统模型验证,因为没有验证算法可用。把信号自动机验证问题归约到了时间自动机验证问题：证明了两种自动机具有相同的识别语言能力,证明了二者具有双向模拟关系,并在此基础上提出了线性的互模拟算法。把互模拟算法和已有的时间自动机验证算法结合起来,就得到了信号自动机的验证算法,从而解决了对信号自动机模型的验证问题。     

柔性存储传输线的赋时Petri网建模

该文在深入研究了赋时Petri网的基础上，对柔性存储传输线进行了建模，提出了采用递推模型简化基本模型，为下一步对实时离散事件系统进行分析和控制研究打下了良好的基础．结果表明递推模型对化简Petri网模型是有效的．     

多轴数控加工碰撞问题及其仿真研究

对数控加工仿真及碰撞问题进行分析研究,采用通过对刀具扫掠体包络面与夹具的投影是否相交,来作为预判断,再与传统的精判断刀具离散矢量点法相结合来进行完整的碰撞检测,并且通过仿真中的实时碰撞检测,当刀具与夹具发生碰撞时,使对应部位变成红色,相应代码提示出错误报告以便修正.本文通过SIEMENS NX建模、生成数控加工程序,以整体叶轮在VERICUT仿真中实例验证这种算法的实用性与正确性.     

A real-time 5/3 lifting wavelet HD-video de-noising system based on FPGA

In accordance with the application requirements of high definition(HD) video surveillance systems,a real-time 5/3 lifting wavelet HD-video de-noising system is proposed with frame rate conversion(FRC) based on a field-programmable gate array(FPGA),which uses a 3-level pipeline paralleled 5/3 lifting wavelet transformation and reconstruction structure,as well as a fast BayesS hrink adaptive threshold filtering module.The proposed system demonstrates de-noising performance,while also balancing system resources and achieving real-time processing.The experiments show that the proposed system's maximum operating frequency(through logic synthesis and layout using Quartus 13.1 software) can reach 178 MHz,based on the Altera Company's Stratix III EP3SE80 series FPGA.The proposed system can also satisfy real-time de-noising requirements of 1920 × 1080 at60 fps HD-video sources,while also significantly improving the peak signal to noise rate of the denoising images.Compared with similar systems,the system has the advantages of high operating frequency,and the ability to support multiple source formats for real-time processing.     

二进制整数离散余弦变换无乘法提升阶梯算法

研究了一种基于二进制整数离散余弦变换的无乘法快速和高效算法 ,新算法同时对实现提升阶梯中涉及的系数进行了分式化和截“1”近似 ,对带来的误差进行了实验分析 ,实现了加法器总数的优化 .实验表明通过构造无乘法提升阶梯替代传统的递归平面旋转变换的算法降低了系统的运算复杂度 ,同时提高了算法的实时性 .     

一种基于dsPIC30F6014和SPC3的Profibus-DP/Modbus协议转换装置

为了解决工业现场Modbus网络和Profibus-DP网络的通信互联问题,设计一种基于dsPIC30F6014单片机和SPC3的Profibus-DP与Modbus协议的转换装置.介绍了该装置的硬件设计、软件设计及调试过程.经现场调试,本装置能很好地实现波特率为9.6 k～6M的实时通信,支持的Modbus-RTU报文数为20条,最大的数据传输量为输入输出各224字节,装置稳定性高,抗干扰能力强.     

基于Web的异步交互考试系统的设计与实现

随着计算机技术和网络技术的发展，网上考试系统已成为高等学校教学改革的一个重要组成部分．本文详细介绍了以《离散数学》课程为例的考试系统，对考试系统的题库设置，随机抽题，多用户实时考试，自动批卷等关键部分如何设计及实现作了详细说明．该系统已经投入使用并运行良好．