对一个Petri网进程表达式的探讨

Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。     

一类退化—奇异抛物型方程的行波解

本文讨论一类退化-奇异抛物型方程的波前解的存在性与正则性。假设     

一个血吸虫病模型的数学分析

在前人工作的基础上,考虑了在人、牛体内血吸虫分布与空间、时间有关的血吸虫病的传播动力学模型.研究了正平衡解的个数与参数的关系以及解的渐近性质。证明了当感染能力参数超过了一定限制时,人、牛体内血吸虫趋于一个稳定的非零分布是可能的。     

季节性冻土在冻融循环作用下直剪试验研究

为研究季节性冻土抗剪强度，对不同冻融循环次数、垂直压力及初始含水率条件下的土体进行了系列直剪试验，研究经历冻融循环后峰值剪切强度及强度参数的变化规律。试验结果表明：随着冻融循环次数的增加，土体黏聚力会逐渐下降，土体内摩擦角在冻融循环作用下总体呈小幅度上升趋势，试验粉质黏土的内摩擦角在20°～30°波动，并且随着含水率的增加(18%～26%),抗剪强度、黏聚力和摩擦角均呈下降趋势。     

市政给水管道顶管施工技术探讨

顶管施工是一种管道非开挖施工技术,能够减小管道施工对现状道路、建（构）筑物的破坏,施工噪音和振动都非常小,对周围环境影响小,管道开挖量小等优点。结合工程实例探讨了市政给水管道的顶管施工技术。     

B—Z化学反应的三维模型的定性分析Ⅱ：扩散系统的稳定性与逗留性质

本文讨论Ｂｅｌｏｕｓｏｖ－Ｚｈａｂｏｔｉｎｓｋｉｉ化学反应一个新的三维模型的扩散系统，得到了Ｄｉｒｉｃｈｌｅｔ问题的逗留性结果；Ｎｅｕｍａｎｎ问题平衡解的唯一性及稳定性。