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

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

周期摄动保守系统的存在性定理

本文利用全局反函数定理讨论了一类非线性边值问题解的存在性与唯一性.     

一类自治中立型泛型微分方程的周期解

研究一类自治中立型泛型微分方程的周期解，运用不动点原理结合Kaplan-Yorke技巧的方法，得到其周期解存在的充分条件。     

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.     

VB程序设计教学方法初探

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

土工分析中土压力计算方法与应用探讨

详细论述了土工分析中水土分算、水土合算的概念和原理,并结合工程实际情况分析,提出土压力计算模式及应用条件,对合理确定技术标准、降低工程造价具有重要意义。     

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

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

一维热方程奇异初边值问题

本文证明了形如：Ｕｘｘ＝Ｕｔ，Ｕ（ｘ，０）＝０，Ｕ（０，ｔ）＝Ｕｔ＾（－（ｋ＋１）／２，Ｕ（∞，ｔ）＝０，的奇异初边值问题，当ｋ＝１，３，５，…时没有相似解；而当ｋ＞－１且ｋ≠１，３，５，…时相似解一定存在。第一个断言推断了Ｐｈａｎ－Ｔｈｉｅｎ于文［１］中提出的一个重要结论。     

三维空间线性规划问题的图解法

本文着重论述怎样利用几何作图,并通过计算,求三维空间线性规划问题的最优解。