Petri网络在无控制交叉口延误分析中的应用

选用比较适合描述系统组织结构和动态行为的Petri网络模型对主路优先通行的无信号交叉口运行过程建立HSPN模型．在此基础上，结合间隙接受理论，对无控制交叉口进行平均延误分析探索，为交叉口仿真控制软件的研发奠定了算法基础。     

用循环矩阵构造HADAMARD矩阵

用循环矩阵上构造的域以及域上定义的特定的符号函数,给出了Hadamard矩阵较为直接的构造方法。用该方法可以较快和较准确地给出例如500或者1020等等较高阶的Hadamard矩阵。     

Evolutionary Computation and its Application

On Mar.23,2006,a project in the Major Program of NSFC-"Evolutionary computation and its application",managed by Prof.Licheng Jiao,Prof.Lishan Kang,Prof.Zhenya He,and Prof.Tao Xie,passed its Final Qualification Process and was evaluated as Excellent.     

M矩阵的判定与证明

M矩阵是计算数学中应用极其广泛的矩阵类。本文对n阶方阵A是否为M矩阵给出了几个新的判定定理,并得到结果:(2|aii|-iα)(2|ajj|-jβ)jαiβ,这一结果比过去的结果有明显的进步。     

VB程序设计教学方法初探

总结vb程序设计的实际教学经验并加以反思,重新对“程序设计”进行了探讨,根据个人的实际教学总结出链条式教学方法,同时对该教学方法进行了阐述以及基于这种方法如何进行具体的实际教学。     

非线性似变分不等式组的Mann迭代算法

引入了对称上强制的定义,提出了非线性似变分不等式组问题的Mann迭代算法,并证明了该算法在一定条件下的收敛性,使笔者提出的算法比文献[1]更具普遍性.     

一类信号所确定的预测误差滤波器的零点分布

对R.Kumaresan提出的由M个指数衰减(或不衰减)的正弦信号的和组成的信号进行了推广,讨论了由这类推广了的信号所确定的预测误差滤波器多项式的零点分布。信号零点完全由信号所确定。不论信号零点如何分布,只要预测误差滤波器多项式的系数满足某些条件,则其额外零点在单位圆的外部呈均匀状分布。     

亚双曲型广义Cartan矩阵的分类

本文解决了一类非双曲型的不定型（亚双曲型）广义Ｃａｒｔａｎ矩阵的分类问题．证明了亚双曲型矩阵的阶数范围，并做出了阶数为３，５，６的亚双曲型广义Ｃａｒｔａｎ矩阵的Ｄｙｎｋｉｎ图．     

N阶幻体及其初等性质

幻方和幻立方是组合数学中古老问题,它们体现了数字间关系的优美性与和谐性.本文基于幻方和幻立方的理论引入了幻体,给出了其存在性定理的证明,并进一步讨论了幻体的初等性质.     

从置换引出的线性变换看循环矩阵的性质

从置换入手，引进线性变换快速切入循环矩阵相似性的讨论，一方面纠正文[1]的失误，同时得到循环矩阵之间相似的三个结论。