煤炭科学基金(9610509)
- 作品数：6 被引量：60H指数：3
- 相关作者：赵义军王培良叶志宝成枢温兴林更多>>
- 相关机构：山东科技大学中国科学院软件研究所新汶矿业集团更多>>
- 发文基金：煤炭科学基金国家自然科学基金山东省自然科学基金更多>>
- 相关领域：自动化与计算机技术矿业工程自然科学总论更多>>
- Petri网的并分解被引量：49
- 2001年
- 给出了Petri网的并分解的定义 ,并讨论了通过这种分解原网与子网在结构性质方面之间的关系 。
- 王培良赵义军叶志宝
- 关键词：PETRI网
- 离层带注浆充填时地表移动计算及充填效果监测被引量：1
- 2000年
- 讨论了不同岩层组合条件下离层带注浆充填时地表下沉的预计问题 ,分别考虑了 :( 1)岩层水平成层和倾斜成层 ;( 2 )注浆密实和部分未注浆 ;( 3)顶部岩层坚硬 ,在各方向上压缩相同和顶部岩层软弱 ,浆液向后充填和上山方向挤出 ,各方向上压实不等的各种情况 .简要介绍了采用地震波场对离层带浆液充填情况的探测原理 。
- 温兴林成枢程久龙吴戈
- 关键词：离层带注浆充填地表移动
- 最大速度变化的连续Petri网(VCPN)的动态演变及性质判定被引量：9
- 2002年
- 最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 VCPN的稳定的相区间 ,进一步对其性质给出了相应的定义及判定定理 .利用这些结论 ,可以对由 VCPN模拟的系统进行性能分析 .这种分析方法对某些系统利用
- 叶志宝赵义军董焕河
- 关键词：连续PETRI网离散事件系统动态性质
- Petri网的公平分解和守恒分解被引量：6
- 2003年
- 给出了Petri网的公平分解和守恒分解的定义,同时给出了Petri网达到公平分解和守恒分解的具体方法,并证明了这种分解方法保持了网的一些结构性质。
- 王培良赵义军
- 关键词：PETRI网
- 最大速度恒定的连续Petri网(CCPN)的性质及判定方法被引量：3
- 2000年
- 最大速度恒定的连续 Petri网 (CCPN)是由 David等最早提出的一类时延连续 Petri网模型 ,但并未对其性质给出确切的定义及相应的判定方法 .文 [1]中给出了 CCPN的演变图及其构造算法 .本文在给出 CCPN有关性质的定义的基础上 ,结合 CCPN的演变图 ,进一步对其性质给出了相应的判定定理 ,利用这些结论 ,可以对由
- 赵义军王培良
- 关键词：连续PETRI网
- 结构化岩体离层带注浆时的地表沉陷计算方法被引量：2
- 2000年
- 把冒落带、裂隙带、弯曲带的不同岩层视为各向同性的线弹性体 ,地表移动和采场顶板的不均匀下沉或收敛量看作是输入与输出数据 ,使用有限元方法将岩体离散为各个单元 ,导出了结构化岩体离层带充填条件下的地表移动的预计公式 ,从理论上解决该条件下的地表移动和变形预计问题。
- 温兴林成枢吴戈徐方军朱友军娄纯水
- 关键词：有限元方法地表沉陷冒落带
