《孟子》赵注中的同素异序词

单音节词复音化是汉语词汇发展的重要规律之一。在赵岐《孟子章句》中存在有69个同素异序词，这是汉语词汇双音化的一种表现，其中有的被历史淘汰了，有的保存下来了，研究它们有助于认识汉语词汇的发展规律。     

一类可积的三阶线性微分方程

借助自变量代换，获得了三阶变系数线性微分方程的新的可积类型，并且得到了方程y^″′＋p（x）y^″＋q（x）y′＋r（x）y=0 化为常系数线性微分方程的充要条件．     

GL(n,k)在GL(n,F)中的扩群

当F是无限域,K是F的子域,且[ F:K] < n(n - 1) 时,本文给出了GL(n ,k)在GL(n ,F) 中的全部扩群,从而得出GL( n,F) 的一类极大子群     

二叉树非递归周游算法

本文给出了二叉树的一个非递归周游算法。二叉树采有三重链式存储结构，在算法过程中无须逆转链。     

基于水平集方法的动态目标跟踪路径最优仿真

两移动平面运动体因有各自的智能控制器,因此当它们在跟踪控制时,双方必然及时根据对方的策略改变各自的控制策略(方向和速度大小),来达到一种真正的双边最优(主动跟踪者最短时间的追上被跟踪者,而被跟踪者最大化时间避免被追上).首先将平面上任意运动体简化成带速度和加速度的质点,然后利用追逃微分对策理论建立起此跟踪路径最优问题的哈密顿-雅可比-贝儿曼偏微分数学模型.对这种双边极值的难点问题,提出一种水平集数值求解方法.并利用水平集的偏微分方程与哈密顿-雅可比-贝儿曼偏微分方程结构相似性得到水平集的速度函数.对一平面上两无人驾驶飞机的动态跟踪双方进行仿真,仿真编程简单,解决了双边极值的求解.     

Banach空间中非混合单调算子的新不动点定理

利用锥与半序理论和混合单调算子理论,研究半序Banach空间中非混合单调算子方程组{A(x,x)=x/B(x,x)=x解的存在与唯一性,给出了收敛于算子方程组解的逼近迭代序列和误差估计,进而获得了非混合单调算子方程A(x,x)=x和非单调算子方程Ax=x的唯一解及其解的逼近迭代序列和误差估计,并改进和推广了有关文献中的相应结果.     

Java程序数据竞争的增量式检测

针对静态竞争检测无额外运行开销但精度低,而动态竞争检测精度高但因插桩有额外运行开销,在实际Java虚拟机的即时编译器中以竞争检测遍形式设计实现了一种精确有效的增量式竞争检测算法.结合锁集和发生序关系,依次对即时编译的每个方法进行一次方法内分析,收集独立于上下文的方法摘要,并以方法摘要为基础自下而上进行上下文敏感的跨线程方法间分析,增量计算并及时输出潜在的竞争信息.实验表明,算法对应用程序无插桩且不受程序规模限制,具有与O'Callahan等人的动态竞争检测算法类似的精度,检测时间仅占总编译时间的2%～4%.     

线性拓扑空间中的几个结果

本文给出了线性拓扑空间中线性连续算子的延拓定理,线性紧算子值域的可分性定理,非空集之边界点集不空的充分条件,最后给出凸集分离定理的一个推论。     

电力系统故障的计算机新算法

本文提出了计算电力系统对称和不对称故障的一种新算法,其特点是数学模型非常简单,既可计算正常潮流又可计算故障潮流,把正常潮流和故障潮流统一在一个数学模型中.