-
包云霞
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:山东科技大学
- 所在地区:山东省 泰安市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 鲁法明
![](/images/user-pic.gif)
- 作品数:91被引量:102H指数:6
- 供职机构:山东科技大学
- 研究主题:PETRI网 不变量 S- 文本 业务流程管理
- 曾庆田
![](/images/user-pic.gif)
- 作品数:271被引量:721H指数:16
- 供职机构:山东科技大学
- 研究主题:PETRI网 极化 三维可视化 矿业软件 迭代
- 段华
![](/images/user-pic.gif)
- 作品数:89被引量:124H指数:7
- 供职机构:山东科技大学
- 研究主题:PETRI网 文本 网络 支持向量机 知识表示
- 王艳晓
![](/images/user-pic.gif)
- 作品数:4被引量:2H指数:1
- 供职机构:山东科技大学
- 研究主题:分支定界法 性教育 工作流网 向量 数据挖掘
- 李鹏飞
![](/images/user-pic.gif)
- 作品数:24被引量:7H指数:1
- 供职机构:山东科技大学
- 研究主题:行人过街 信号控制 地感线圈 智能交通控制 椅子
- 可达性与状态方程可满足性等价的两个Petri网子类被引量:4
- 2007年
- 可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。
- 包云霞鲁法明曾庆田
- 关键词:PETRI网可达性
- 一种可控制温度区间的重力热管
- 本发明提供了一种可控制温度区间的重力热管,包括蒸发段和冷凝段;蒸发段的流出端通过第一绝热管与冷凝段的流入端相连接,冷凝段的流出端通过第二绝热管与蒸发段的流入端相连接,第二绝热管上设置有储液罐;第一绝热管靠近冷凝段流入端处...
- 鲁法明吕赛赛包云霞李婕
- 文献传递
- 非线性状态空间模型的EHMM抽样法被引量:1
- 2005年
- 给出了一种新的非线性状态空间模型的MCMC方法———EHMM(EmbeddedHiddenMarkovModel)抽样法,运用该方法构造的Markov链的收敛速度比传统的MCMC方法有明显提升,文中证明了这一结论并以一维非线性状态空间模型为例加以说明。
- 包云霞鲁法明刘福升
- 关键词:MCMC方法HMM
- 一种金融账号密码分级保护机制的实现方法
- 本发明公开了:一种金融账号密码分级保护机制的实现方法,所述实现方法包括存款步骤、取现或者消费步骤、余额查询步骤,所述实现方法包括,用户输入金融账号及某等级的账号密码,系统自动识别所输入密码对应的账号等级,所述实现方法还包...
- 鲁法明王艳晓宋戈包云霞
- 文献传递
- 一种并行化的启发式流程挖掘算法被引量:15
- 2015年
- 启发式流程挖掘算法在日志噪音与不完备日志的处理方面优势显著,但是现有算法对长距离依赖关系以及2-循环特殊结构的处理存在不足,而且算法未进行并行化处理.针对上述问题,基于执行任务集将流程模型划分为多个案例模型,结合改进的启发式算法并行挖掘各个案例模型所对应的C-net模型;再将上述模型集成得到完整流程对应的C-net.同时,将长距离依赖关系扩展为决策点处两个任务子集之间的非局部依赖关系,给出了更为准确的长距离依赖关系度量指标和挖掘算法.上述改进措施使得该算法更为精确、高效.
- 鲁法明曾庆田段华程久军包云霞
- 向量目标整数线性规划问题及其在工作流网分析中的应用被引量:1
- 2017年
- 为了求解一类特殊的整数规划问题以对工作流网进行可达性分析和不变量计算,将该类问题进行归纳和抽象,提出向量目标整数线性规划问题的概念和标准模型;在传统整数规划问题求解方法的基础上,针对一类正定的向量目标整数线性规划问题设计了一种新的分支定界算法,以求取全部最优解;将工作流网不变量分解与恰当终结性验证等问题转换为前述向量目标整数规划问题,结合实例说明了该方法在工作流网性质分析中的应用。
- 包云霞鲁法明王艳晓段华林泽东
- 关键词:整数规划PETRI网工作流网分支定界法
- 可达性与状态方程可满足性等价的两个Petri网子类
- 可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具...
- 包云霞鲁法明曾庆田
- 关键词:PETRI网可达性空间复杂度
- 文献传递
- 贝叶斯动态模型的随机模拟研究
- 贝叶斯动态模型理论中的参数估计及模型选择问题尚未找到好的解决方法,而随机模拟方法(又称蒙特卡罗法)在解决高维概率密度的积分问题及统计建模和推断方面取得的成功启发我们将此方法应用到解决贝叶斯动态模型的参数估计及模型选择问题...
- 包云霞
- 文献传递
- 随机数生成的Petri网模拟被引量:1
- 2007年
- 引入含弧权变量的连续Petri网的概念,并以此为工具,介绍了用Petri网来模拟逆变换法和离散法的方法,利用该方法可以生成服从任意连续或离散分布的随机数。
- 包云霞鲁法明耿霞
- 关键词:随机数发生器PETRI网VISUALOBJECT
- 一种面向死锁检测的无界Petri网展开方法
- 本发明公开了一种面向死锁检测的无界Petri网展开方法,属于计算机技术领域。本发明针对无界Petri网领域并且保证新的展开方法检测到的死锁全部真实存在;本发明中所得展开中每一个配置对应的带环或无环的变迁序列均可从初始标识...
- 鲁法明陶冉冉包云霞张雪萍
- 文献传递