求解一次不定方程的Petri网方法(Ⅲ)——Frobenius问题研究

本文分别从Ⅰ型一次不定方程网的可达性和活性出发,导出当 m≤(sum from i=2 to n)a_i(d_i-1)/d_i-(sum from i=1 to n)a_i时,不定方程a_1x_1+a_2x_2+…+a_nx_n=m有非负整数解的两个不同的充分必要条件;并根据充分必要条件的不同提法,给出求n元线性型最大不可表数的两个算法。     

计算斐波那契数列和错位排列数的增广Petri网模型

本文给出了计算斐波那契数列和错位排列数的两个增广Ｐｅｔｒｉ网模型，然后给出了矩阵描述和状态方程分析，最后导出了已知输入值求其输出值的算法。     

两个智力问题的增广Petri网模型

给出人携带狼,羊,白菜安全过河问题的增广Petri网模型及著名的用餐哲学家问题的一个无饥饿解的增广Petri网模型.     

一般二次曲面为抛物柱面时位置的直接确定

根椐二次曲面一般方程的系数,确定抛物柱面的顶点直线和开口方向,从而直接确定抛物柱面的位置。     

利用Petri网方法求解二次同余式:ax2+bx+c≡0(modp, p≥3,素数)

首先给出判定a是奇素数模p的平方剩余的增广Petri网模型,然后给出求解二次同余式x2≡a(modp,p≥3,素数,(a,p)=1)的增广Petri网模型.同时给出这种类型增广Petri网的矩阵分析和状态方程,从而导出由EXN网的输入求其输出的算法.     

阳涉铁路石门沟大桥2＃3＃桥墩动载试验分析

通过对位于阳（阳泉）涉（涉县）铁路麻悬段上的石门沟铁路大桥动载试验，认为：该桥２＃，３＃桥墩整体性好，具有足够的刚度，强度也能满足要求．裂纹测量表明裂纹处处于弹性工作状态，墩顶的冲击系数为１．０６５，保护构造钢筋，防止裂纹处产生塑性变形，是关系到大桥安全的重要因素，提出使用中桥墩顶帽部分出现大于２×１０－４ｍ的裂纹应按照桥规进行修补封闭的措施．而为了防止墩顶局部开裂和疲劳而对列车限速是不必要的     

实现自然数M次乘方和开M次方计算的增广PETRI网模型

本文给出一个实现自然数m次乘方计算和开m次方计算的两个增广Petri网模型。对于开m次方的增广Petri网模型,若被开方数为完全m次方数,则可算得准确的m次方根值;若被开方数不是完全m次方数,则可根椐需要算出精确到小数点后第k位的近似值。     

长钢轨双频淬火生产线微机测控系统的研究

给出了长钢轨双频淬火生产线微机测控系统的硬件组成和软件设计 ,重点阐述了加热温度和加热线圈与轨顶间隙的测量方案 ,提出了基于神经网络的加热温度控制策略 .     

再用轨全长热处理的研究

采用欠速淬火工艺对再用轨进行全长热处理，对经过热处理后的再用轨和普通再用轨的力学性能如冲击韧性、断裂韧性、疲劳强度、残余应力、硬度及金相组织等进行了对比实验，结果表明，经过欠速淬火后，再用轨的强韧性和塑性有明显提高，并结合铺设实验，探讨了欠速淬火提高钢轨强韧性能的原因以及它与使用性能的关系．     

无冲突可重复网极小活标识的配置

首先给出无冲突可重复网的定义,并证明无冲突可重复网是结构活的.然后将无冲突可重复网的极小活标识的配置化为强连通T_图极小活标识的配置.文[2]虽然给出T_图极小活标识的判断方法,但是对于一个比较复杂的T_图的极小活标识的配置是无法实现的.本文通过求解强连通T_图的m-n+1个线性无关的极小S_不变量的支集,找出m-n+1个线性无关的有向回路组,然后给出构造强连通T_图以任一变迁为根的有向生成树,最后给出配置强连通T_图极小活标识的有效算法.