基于CPN的CBTC地面数据通信系统仿真和分析

数据通信系统是影响CBTC系统的控制精度,效率和可靠性.安全性的主要因素.充分利用分层赋时有色Petri网(HCPN),综合CBTC系统的实际通信需求,建立了CBTC地面数据通信系统的分层模型,并在HCPN中引入消息的时间标志,实现对数据传输时间特性的分析.对模型进行实时仿真的结果表明基于以太网的DCS地面通信系统的实时性可以满足CBTC系统的需要,而且影响数据帧传输延迟的主要因素是数据帧长度,而与行车密度关系不大.     

基于有色赋时Petri网的半导体生产线建模技术研究

在深入了解半导体制造过程的基础上,为了有效分析半导体生产线调度与控制性能,提出了有色赋时Petri网的半导体生产线建模方法。该模型,根据生产线所存在主要调度子问题及其之间的相互关系,将半导体生产线划分为投料控制模块、路径调度模块和工件调度模块,这样可以有效降低模型的复杂性和提高模型的可重用性。建立以一个拥有3个工作中心、6台设备的半导体生产线Petri网模型,并对模型进行分析。最后指出了下一步的工作目标。     

二阶自适应IIR陷波器复数算法的收敛性分析

针对背景噪声中复正弦信号的检测和估计问题,分析了自适应格型IIR陷波器的两种复数算法即梯度算法和简化的梯度算法的收敛性能,证明了输入白噪声方差的大小不影响收敛速度。并分析了由一阶自回归模型产生的有色噪声对算法的收敛性能的影响,为有色噪声中复正弦信号检测的自适应过程的参数的选取提供了理论依据。     

线性代数的教学思路——矩阵秩理论的教学思路

本文给出非数学专业线性代数矩阵秩理论的教学思路,并且应用关系映射反演思想方法简要论述矩阵的秩理论。     

关于三角化在圆盘上计数的注记

对文献<数组合地图论>中三角化在圆盘上的计数方程提供了一种参数解法,并对原来的证明过程进行了实质性的简化.     

一种兼顾分辨率和协方差的广义逆反演

提出了一种兼顾分辨率和协方差的广义逆矩阵，给出了其算法，可用于求解地球物理反演问题，对理论模型的试算，效果比较理想。     

小波变换在波阻抗反演中的应用

根据国内外广泛采用的波阻抗随机反演理论，提出了多道小波波阻抗反演方法，消除了噪声对反演结果的影响。针对地震剖面上不同频带和时段上有不同的信噪比，以及相邻地震道反射波有效成分在波形和能量上有较强的相关性，运用多道记录同时进行波阻抗反演，在失代过程中将实记录与模型合记录的残差道进行小波分解，形成残差道分频小波波面，然利用Ｋ＿Ｌ变换提取分频剖面中的相干部分用于波阻抗变化量的计算，从而避免了噪音参与波阻抗     

分光光度法测定MRn型有色配合物K稳值的新设想

利用分光光度法测定有色配合物稳定常数K稳值的方法一般为连续变化法，目前所采用的单曲线法对研究配位比大和离解度大的配合物不准确，又由于双曲线法需要同时作两种等摩尔连续变化曲线，其测定过程繁琐，也不方便应用，故障 作者在本文中提出一种新的设想，即取单曲线法和双曲线法两者的优点来建立第三种方法-单曲线改进法。     

反演关系的机械化证明

反演关系是组合论中的一个重要内容，其证明十分繁杂，又要求很高的技巧，将近几年刚刚发展起来的证明组合恒等式的ＷＺ方法运用到反演关系的证明中，从而给出了两类反演关系的机械化证明方法。     

质面系数法在重力反演中的边界效及改进

得用重力资源反演三维单一密度界面的质面系数法是目前最为常用的方法之一。本文提出这一问题以臁改进的措施，理论模型和琉球沟弧盆系实例计算表明，经边界修正后的反演效果有了明显改善。