基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

基于Petri网的自校正模型

在增加Petri网标识的冗余度基础上，通过构造监督矩阵和冗余矩阵，提出了具有自校正能力的Petri网模型；给出了Petri网有效的递推寻错法，该方法不仅能够检测和纠正Petri网中出现的故障，而且可以给出实际对象网络中与故障相关的进程；利用不间断电源的Petri网模型验证了递推寻错法的正确性以及在实际应用中的可行性．     

自由基聚合氧化还原引发体系的分解速率常数

探讨了过硫酸盐与亚硫酸盐组成的氧化还原引发体系在水溶性单体丙烯酰胺溶液聚合中的引发作用,观察到在相同聚合条件下不同摩尔比时,聚合反应速率有明显差异。实验结果表明:氧化还原引发体系中氧化剂与还原剂的摩尔比对分解速率常数值有明显影响,从而影响聚合速率,在30℃下当SO₃^2-与S₂O₈^2-摩尔比为6.7∶10时,分解速率常数和聚合速率达到最大。从引发速率及分解速率常数方面进行了理论分析,找出了其分解速率常数的变化规律,给出了分解速率常数值的范围,并认为氧化还原引发体系的分解速率常数随其摩尔比的变化而变化,是催化因素的影响。     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

基于冲突判定的混杂Petri网模型行为分析

为了分析基本混杂Petri网模型行为,提出了基本混杂Petri网各迁移间的冲突判定定理,讨论了消解策略,并给出了基于冲突判定和消解的基本混杂Petri网模型行为分析算法。理论分析证明了所提出定理的正确性,实例分析和比较说明了所提出算法的有效性。     

基于逻辑混合Petri网的混合系统建模与分析

逻辑Petri网可以建模和分析复杂业务过程,但无法描述混合系统.基于此,提出逻辑混合Petri网.首先,扩展逻辑表达式的定义用于描述混合系统,并在逻辑输出中加入修正表达式.其次,针对逻辑变迁的表达不确定性以及连续变迁的连续性,提出标识求解方程.再次,为详尽地描述系统的连续动态属性,在连续库所上添加连续变化的速度和时间,...     

带抑制弧Petri网极小活标识的配置

讨论无冲突带抑制弧Petri网结构活性的判定条件,即证明一个结构活的网,扩充为带抑制弧的网后仍然活当且仅当生成的抑制弧网具有持续性.给出一个已知结构活的带抑制弧网的极小活标识的配置算法,将网的极小活标识配置最终转化为环路中极小活标识的求解.与传统方法相比,新算法不仅易于程序实现,且时间复杂度是多项式的.     

一阶流体随机Petri网:定义与分析

重新定义了一阶流体随机Petri网,其中,流体跳跃弧的跳跃高度取确定值,并被赋予在瞬间内清空与之相联接的连续库所的功能.给出了随机标识过程的动态方程,讨论了连续弧的流体流动速度为连续标识的函数而导致的概率值累积问题,使得直接用数值方法对模型的动态方程进行求解成为可能.     

影响UV固化光纤着色涂料固化速率的因素

本文从光引发剂、涂膜厚度、单体、颜料几个方面研究了影响红、黄、兰三种体系紫外光固化涂料（ UVCC）的固化速率的因素．当光引发剂含量为最佳值时，固化速率可达最大值．不同颜料对固化速率的影响不同，随着颜料含量的增加，固化速率都降低．膜厚对固化速率的影响很大，膜越厚，固化速率越低．一定含量的多官能度单体，可提高 UVCC的固化速率．     

规则Petri网的推理策略的研究

本讨论了规则Petri网的可交换性，给出了规则Petri网的三种推理策略以及并行推理和冲突仲裁的推理方法。     

论高速与安全航速

就高速船舶如何理解和使用安全航速，特别是在能见度不良时，高速船舶如何遵守安全航速条款提出见解，并就安全航速中的高速与过分速度之区分进行了探讨。     

基于瞬时速度辨识的无速度传感器矢量控制系统

采用同步瞬时速度辨识的方法,以数字信号处理单元（DSP）为核心控制器件来实现无速度传感器矢量控制的交流调速系统。给出了系统的控制方案。实验结果表明,该同步瞬时速度辨识的方法和控制方案具有良好的速度辨识性能和控制效果。     

无速度传感器矢量控制系统转速辨识方法研究

转速辨识是无速度传感器矢量控制系统的关键问题之一.介绍了当前研究的具有代表性的异步电动机无速度传感器矢量控制系统速度辨识方法,利用MATLAB/SIMULINK建立了异步电动机无速度传感器矢量控制系统模型,对动态速度估计器、模型参考自适应、滑模观测器等几种速度辨识方法进行了仿真、比较和分析.     

高等级公路运行速度与设计车速匹配研究

针对高等级公路运行速度与设计车速非合理匹配中存在的问题，在公路设计部门仅重视的道路设计车速、在行汽车运行速度的基础上，提出期望车速的概念，并以设计车速、运行速度、期望车速为基础，讨论这三种速度之间的相互关系及运行速度与设计车速匹配的现状，分析运行速度与设计车速非合理匹配产生的原因，并提出了使高等级公路上运行速度与道路设计车速合理匹配的相关措施。     

高速、超高速磨床机械安全设计框架研究

高速、超高速磨床在加工过程中由于主轴速度高、切削力大、进给速度快、砂轮旋转速度高，其危害性极大。本文根据机械安全设计的方法，针对影响高速、超高速磨床安全的各个子系统的危险情况和风险，探讨高速磨床的安全设计总体技术方案和技术路线，为寻求建立适合于高速、超高速磨削工况下的风险评价体系和寻找出最优的风险评价数学模型探路，为高速加工机床的机械安全设计提供理论依据和设计方法。     

高速加工中的速度规划与段间连接

在复杂型面高速加工中,针对离散速度控制的特点,采用基于时间分割的前加减速算法对前瞻处理后的路径进行离散速度规划;在满足周期性、速度、加速度和定位要求的前提下,对速度规划后的残余长度在减速段进行平摊处理;对于无法进行平摊的残余长度,给出了空间直线与圆弧相互连接的计算公式.结果表明,该方法能够满足复杂型面高速加工的插补精度和加工效率要求.     

迈克尔逊干涉实验的零结果能说明光速不变吗？

本文通过对迈克尔逊干涉结果零结果的讨论，得出实验结果未必能够证实光速与光源运动速度无关。     

KS系列无级变速器调速控制机构研究

针对德国ＰＩＶ公司的ＫＳ系列球盘式无级变速器，剖析其调速控制机构的传动原理和结构特点，据其结构上存在的问题提出改进意见，有助于此类产品的利用和开发．     

低速巡航工况非线性车速跟踪控制

电控机械式自动变速器（AMT）车辆在车速较低时,其跟车巡航控制的性能对于车辆安全有重要影响,为此,提出三步法控制策略对离合器滑差进行精确控制,从而确保AMT车辆在低速巡航工况下的车速跟踪性能。三步法控制利用参考跟踪轨迹的前馈信息和车辆速度的反馈信息,控制器推导过程中采用李雅普诺夫函数法,以保证控制系统的渐近稳定性。仿真和实车试验结果表明,采用所提出的三步法控制策略,可使AMT车辆在各种工况下均能保持良好的速度跟踪性能。