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

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

复杂性是随机性吗?

辨析了对柯尔莫哥洛夫复杂性的某些误读。指出柯尔莫哥洛夫复杂性定义下的随机性即序列的不可压缩性，不等于无序性，并且与传统的随机性理解相去甚远。在某些情况下，这种序列的不可压缩性恰恰是有序性的表现，从而说明，柯尔莫哥洛夫复杂性可以成为系统有序状态即复杂性的测度。     

线性脉冲时滞微分方程解的稳定性

通过对一类n阶线性脉冲时滞微分方程零解稳定性的讨论，建立了零解稳定性的比较结果，给出了零解一致稳定、渐近稳定与指数稳定的充分条件．所得结论推广了相关结果。     

二阶非线性中立型时滞差分方程的正解存在性和振动性

研究了一类二阶非线性中立型时滞差分方程△^2（x（n）＋^m∑i=1Pi（n）x（n-ki））＋q（n）f（x（n-σ））=0的最终正解的存在性，并得出了其解振动的充分条件.     

关于剩余类环Z_m上的线性方程组

给出了剩余类环Zm中的整除、Zm上的矩阵的初等变换以及行列式因子等概念,并说明它在Zm上的线性方程组中的应用,由此很容易得出k个n元整系数线性型是正交组的充要条件.     

两传感器按对角阵加权信息融合稳态Kalman滤波器

应用现代时间序列分析方法,在按对角阵加权线性最小方差最优信息融合准则下,基于Riccati方程,提出两传感器信息融合稳态最优Kalman滤波器.与按矩阵加权最优融合.Kalman滤波器相比,可减少计算负担,与单传感器情形相比,提高了滤波精度.一个仿真例子说明其有效性.     

最高阶元个数是4p~2的有限群

文章讨论了最高阶元素的个数是4p~2的有限群(p>3,p为素数),即|M(G)|=4p~2的情形,通过最高阶元素的个数来讨论其对群G的影响,由该方程得到n,φ(k)的取值,从而根据n,φ(k)的值推导出G的结构,进一步判断G的可解性。     

基于差分算子的和声搜索算法求解非线性l1模极小化问题

针对一类目标函数非光滑的l1模极小化问题,提出了一种改进的和声搜索算法.结合差分进化算法的变异策略,用差分向量算子取代和声搜索算法的音调微调.实验结果表明,改进后的和声搜索算法能够获得原问题的全体解.     

超宽带电磁散射的时间步进法

采用时间步进法对飞机的基本构成部件(球、圆柱、薄板)的超宽带电磁散射问题进行了研究。导出了磁场积分方程数值计算公式,所得时域散射远场与实测或其它方法计算结果相比,吻合较好。本方法与时域有限差分法(FDTD)相比,无须设置吸收边界条件,适于成像数据的提取,运算简便。与频域方法相比,它可解决超宽带电磁散射预测问题。     

郯庐断裂带早白垩世岩浆活动与断裂带的活动关系

文章通过收集晚中生代时期郯庐断裂带中南段出露的糜棱岩、火山岩和侵入岩样品的同位素年代学数据,结合区域构造应力场、断陷盆地和伸展活动时间等多方面的证据,显示了早白垩世初郯庐断裂带再次发生左行平移,之后迅速转为伸展运动,并伴随发生了大规模的岩浆岩喷发事件.与华北克拉通内部相比,断裂带内具有相对较长的演化历史和减薄程度,暗示了郯庐断裂带有着比克拉通内部更加强烈的伸展运动,为岩石圈的强烈减薄及大规模岩浆活动的发生提供了有利的条件.