主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

宽带钢热连轧工作辊热辊形模型

实现工作辊热辊形的在线预报是板形控制的难题之一.采用一维有限差分方法建立了工作辊热辊形在线计算模型,并利用该模型计算了热轧过程中和下机后任意时刻工作辊温度场及其热辊形.仿真和在线应用结果表明,此在线模型计算速度快,精度高,能满足板形在线过程控制的需要.     

用有限元法分析无缝道岔组合效应

为建立能反映无缝道岔组合实际受力情况的计算、分析模型,基于有限单元法,建立了多组无缝道岔相联结时钢轨纵向力及位移的计算模型,编制了计算软件,并以12号固定辙叉无缝道岔为例,分析了不同联接形式无缝道岔对钢轨附加力及位移的影响.研究结果表明:道岔不同联结形式对钢轨的受力及变形有明显的影响,其组合效应不容忽视,特别是钢轨的位移受组合效应影响很大;随着组合道岔组合数的增加,钢轨附加力及钢轨位移的组合效应也随之增加,但增加幅值逐渐减少.     

量子群Uq(sl(2))的广义伴随作用

设U表示单李代数sl(2)的量子化包络代数Uq(sl(2))，Ft(U)是由广义伴随作用下局部有限的元素组成，作为U-模，Ft(U)的单模分解式为Ft(U）=⊙i，j≥0[c^iE^jK^-t]。     

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

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

基于n阶Dickson多项式的公钥密码系统

利用n阶Dickson多项式给出一多项式序列，由此序列构造一种新的公钥密码系统。与基于2阶的Dickson多项式的LUC公钥系统相比，明文密文空间扩大，攻击该系统等价于分解大整数的同时还要求解若干个困难的高次同余式，使得破解难度增大，安全性增强。     

超空间2X的诱导连续映射

本文对超空间2^X的诱导映射进行了探讨,同时给出超空间连续自映射有关动力性质的一个初步结果.     

MRTD和高阶FDTD算法的数值色散特性的分析

时域多分辨分析（MRTD）算法和高阶时域有限差分法（HO-FDTD）是目前解决电大尺寸电磁结构仿真的有效手段。导出了基于Daubechies小波尺度函数的MRTD算法和HO-FDTD算法的通用差分公式和数值色散方程，并详细讨论了空间步长、时间步长以及电磁波传播方向对二者数值色散误差的影响。结果证明，MRTD算法与HO-FDTD算法非常相似，但HO-FDTD算法的数值色散特性优干具有相同展开项个数的MRTD算法。     

离心叶轮回转S1流面流动数值计算方法探讨

采用贴体坐标下的有限差分法计算了离心泵叶轮回转S1流面流动,并用试验结果进行了验证,发现了流层厚度对流动数值计算有重要影响.     

基于生物启发反步级联控制方法的多AUV主从式编队

研究了自治水下机器人(AUV)在三维环境中主从式编队控制问题,提出一种基于生物启发反步级联控制方法.该方法利用领航者的位置信息以及期望的队形得到虚拟AUV的航行轨迹和速度信息,引入反步控制实现跟随AUV对虚拟AUV的轨迹跟踪,实现三维水下编队控制;利用生物启发神经网络有界性的特点,解决了速度跳变以及由此引起的驱动饱和问题.仿真结果表明,该方法实现了预期控制效果,并且有较好的有效性和实用性.