孟永刚
- 作品数：8 被引量：12H指数：2
- 供职机构：石家庄经济学院信息工程学院更多>>
- 发文基金：四川省应用基础研究计划项目河北省自然科学基金河北省科学技术研究与发展计划项目更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 基于Petri网下的离散事件的模拟与动态系统的验证
- 本文主要研究了基于Petri网下的离散事件的模拟与动态系统的验证.本文首先介绍了令牌环是一种在共享信道的情况下，可以避免冲突的介质访问控制方法，然后用P/T_系统模拟了令牌环网，进而对其进行了验证。接下来本文指出了基于时...
- 孟永刚
- 关键词：PETRI网动态系统
- 文献传递
- 基于Petri网的工作流逻辑化简规则的矩阵表示被引量：8
- 2006年
- Petri网是一种很有效的模型描述语言,尤其适合描述工作流。给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。
- 孟永刚宋文叶剑虹
- 关键词：PETRI网工作流化简规则
- 基于Petri网下的哲学家就餐问题的模拟与验证
- 2005年
- 哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个有代表性的问题,该问题是评价同步方法的一个测试标准.利用Petri 网的C/E系统来模拟哲学家就餐问题具有很好的实用背景,因为C/E系统下的条件事件集的发生可以用开关或者门电路来实现.通过采用C/E系统来完善哲学家就餐问题的模型,并给出一个可以允许外部条件来加以有选择控制的模型.
- 叶剑虹宋文孟永刚
- 关键词：PETRI网哲学家就餐问题
- 一种Token Ring的P/T_系统模型与分析
- 2009年
- Token Ring是一种是一种LAN协议,通过围绕环的令牌授予工作站传输权限。本文用Petri网中最一般的P/T_系统模拟了Token Ring,并进行了分析。
- 孟永刚胡吉朝贺毅朝
- 关键词：P/T_系统令牌
- 基于Petri网的网上股票交易系统模拟与验证被引量：1
- 2006年
- 给出了基于时序Petri网下的网上证券交易系统,其模型过于复杂。由于Petri网本身很强的模拟能力,本文用P/T_系统,模拟了证券交易所的网上证券交易系统,进而用S-不变等方法对其进行了验证。
- 孟永刚宋文叶剑虹
- 关键词：PETRI网P/T_系统证券交易系统
- Edwards曲线上的快速标量乘法算法被引量：2
- 2010年
- 在特征不等于2的域上,将椭圆曲线转换为与其双有理等价的Edwards曲线,可以有效提高ECC的软、硬件实现速度。首先简化了Edwards曲线上倍点的计算公式,然后根据连续倍点2mP(m=2,3,…)的坐标具有统一表示形式的特征,基于递归技术提出了一种计算2mP的连续倍点算法(CDA)。通过算法的复杂性分析与实例计算表明:CDA可使Edwards曲线上标量运算的速度提高10%以上。
- 贺毅朝曲文龙孟永刚
- 关键词：椭圆曲线密码系统标量乘法
- 基于Petri网下的哲学家就餐问题的模拟与验证
- 哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个有代表性的问题,该问题是评价同步方法的一个测试标准.利用Petri网的C/E系统来模拟哲学家就餐问题具有很好的实用背景,因为C/E系统下的条件...
- 叶剑虹宋文孟永刚
- 关键词：PETRI网系统模拟
- 文献传递
- 自控网的S-不变的研究
- 2005年
- 自控网是一种自修正系统，主要用于并发系统中的程序规范以及工业控制中的数学建模等领域。自控纲的S-不变、T-不变的非线性，使得它无法直接套用Petri网中一些已有的分析方法。有关不变的讨论一般在具体系统中作具体分析，从而给出具体的解释。对于一般网中S-不变呈现的特性在自控网上是否有条件的成立却鲜有文献涉及，本文给出了一个相应的定理。
- 叶剑虹宋文孟永刚
- 关键词：自控网PETRI网理论
