Grafchart在柔性制造系统中的建模与调度

该文应用Grafchart工具箱对柔性制造系统进行了研究,对Grafchart网系统和谓词/变迁系统给出了基本的数学描述,并对系统调度过程中的突发事件引入受控位置,对相同结构部分加入颜色标记,简化了模型,是对Grafchart在FSM建模的一个扩展.说明扩展后的Grafchart结构紧凑、内涵丰富,更适合于对系统进行分析和研究,很好地解决了模型规模和信息显示容量之间的矛盾,具有较强建模能力.     

Kantorovich积分不等式的加强式及应用

从Kantorovich离散型不等式出发,推广到相应的积分型不等式,并给出构造性证明,又对其积分型不等式进行了加强,最后讨论了Kantorovich积分不等式加强式的应用.     

基于个体行为的人员疏散微观离散模型

紧急情况下的人员疏散研究可为减少人员受到的伤害提供必要的指导.提出了一个基于元胞自动机理论的人员行为微观离散模型, 该模型可以充分考虑人员个体行为特征, 认为人员在选择逃生路线时将受到一系列因素的制约, 包括人员对建筑物结构的熟悉程度、对紧急情况发展的了解程度以及周围人员之间的引力和斥力作用等. 该模型的着重点在于研究影响人员疏散效率各因素的单独及综合作用, 是从人员行为的角度出发考虑疏散问题. 针对火灾情况下的模拟研究表明, 可比较准确地预测紧急情况下的人员疏散现象.     

补零对有限长序列频谱及DFT的影响

补零是DFT中经常采用的方法，本文具体分析了零的不同位置对序列频谱及DFT产生不同的影响，及补零后DFT的计算公式，同时不仅从理论上证明而且利用MATLAB更加直观地说明补零只能使片列的频谱变得细致，但不能提高序列的频率分辨率，只有采集更多的有效数据，才能得到序列的高分辨率频谱。     

基于距离空间的遗传算法分析

通过对简单遗传算法的分析，发现每次执行复制、杂交、变异等操作均相当于对所作用的个体进行一次线性变换，这样，从函数的角度来看，引入非线性变换的遗传算子将是一个有待研究的问题，因而提出了非线性遗传算法。通过对二进制遗传算法的Hamming距离的扩充，引入了一种几何模型-距离空间，并在该空间上对杂交、变异等算子进行了系统的分析。根据分析结果，指出了改进遗传算法的途径，并提出一种改进的二进制非线性遗传算法，仿真实例证明了其有效性。以上分析从几何意义出发，提出了一种全新的分析遗传算子的方法，对遗传算法理论的完善与发展具有重要意义。     

基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。     

基于多尺度特征融合的红外图像小目标检测

针对复杂背景红外图像弱目标检测问题,提出了一种基于多尺度特征融合的红外小目标检测方法。该方法在对红外图像进行离散小波框架变换的基础上,提取目标在各子带图像上的多个特征;然后对各子带图像上的多个特征分别进行融合,获得相应的目标检测判决置信度图;接着采用自适应加权方法对各个目标检测判决置信度图进行融合,得到目标检测判决总置信度图,并对其进行目标区域分割,获得最终的目标检测结果。实验结果显示,该方法对高杂波条件下红外弱目标检测具有良好效果。     

d维问题离散Green函数的几个估计

对于一般的d维二阶椭圆边值问题，首先证明了离散δ函数具有O（h^-d＋d/p）阶的L^p估计和O（h^-d-1,d/p）阶的W^1-p估计，然后得到了准Green函数的L^2估计，最后导出了离散Green函数的L^2,L^x和H^1估计。     

一类非线性离散时间系统的变结构控制

针对一类非线性离散时间系统，提出了一种基于神经网络趋近律的变结构控制方法。分别用两个神经网络自适应调整趋近律中的参数ε和δ，利用离散趋近控制律与离散等效控制律的偏差对网络权值进行更新，克服了常规变结构控制方法中需预先设定趋近律中参数的限制，既保留了传统趋近律设计方法的所有优点，又有效的改善了系统的动态品质，消除了系统抖振，使系统最终以理想方式在滑模面上运动。理论分析和仿真结果表明了所提出方法的有效性。     

MINIMAL INVERSION AND ITS ALGORITHMS OF DISCRETE-TIME NONLINEAR SYSTEMS

The left-inverse system with minimal order and its algorithms of discrete-time nonlinear systems are studied in a linear algebraic framework. The general structure of left-inverse system is described and computed in symbolic algorithm. Two algorithms are given for constructing left-inverse systems with minimal order.