宁波港船舶交通管理系统(VTS)

通过对宁波港的交通环境，现有VTS系统及港口发展的趋势研究，提出了改善宁波港通航环境，建立和完善VTS系统的有效措施。     

一些部分差集和相对差集的构造

In this paper, we give a construction of RDS in Galois ring by using some bent function, and obtain the equivalent relationship between RDS and a kind of bent function. At the same time, its existence is demonstrated.     

具有位相型修理的离散时间可修排队系统

本文研究了具有一般独立输入，位相型修理的离散时间可修排队系统，假定服务台对顾客的服务时间和服务台寿命服从几何分布，运用矩阵解析方法我们给出系统嵌入在到达时刻的稳态队长分布和等待时间分布，并证明这些分布均为离散位相型分布．我们也得到在广义服务时间内服务台发生故障次数的分布，证明它服从一个修正的几何分布．我们对离散时间可修排队与连续时间可修排队进行了比较，说明这两种排队系统在一些性能指标方面的区别之处．最后我们通过一些数值例子说明在这类系统中顾客的到达过程、服务时间和服务台的故障率之间的关系．     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.     

齿轮系统间隙非线性振动研究综述

本文较为详细地评述了近２０年来齿是隙非弛性动力学拓研究。文中分别从数学及力学模型求解方法、动态特性等方面介绍了关于“振一冲”问题、齿轮传动系统和汽车变速等研究的理论与方法，并提出了应进一步深入研究的几个问题。     

可逆测度与拟可逆测度的等价性

本文讨论了一类速度函数的可逆与拟可逆测度间的关系,证明了在[2]的条件下,可逆测度与拟可逆测度是等价的。     

流动系统中鲁米诺电生化学发光(ECL)系统研究初探

本文描述了一个新的鲁米诺电生化学发光流动系统.通过微铂电极流动池,H2O2被还原为OH-以维持鲁米诺化学发光所要求的pH条件.本文对鲁米诺化学发光机理进行了初步探讨,并详细研究了ECL的最佳条件,该系统明显降低了反应噪声,优于混合反应系统,可作为液相色谱间接测定检测器.     

元胞自动机和复杂性研究

元胞自动机是建立复杂系统的离散模型，深入了解其动力学相互作用与时空演化过程的实验数学方法，它开创了基础科学研究与复杂性探索的新途径，是一类获得迅速发展的新的并行计算机，又是计算机、信息和智能应用高科技的热点之一。     

Rossler系统延迟时间的确定

本文用等间距划分空间格子的方法，计算了互信息。这种方法较之以等概率，划分空间格子的方法易于推广应用。数值计算表明两种方法确定出同样的延迟时间，得到同样的物理图象。我们以Ｒｏｓｓｉｅｒ系统为例，给出了正确重构的运动状态，并根据互信息函数的粗略周期行为，描述了重构中的粗略周期行为。