包云霞
- 作品数：22 被引量：38H指数：4
- 供职机构：山东科技大学更多>>
- 发文基金：国家自然科学基金山东省优秀中青年科学家科研奖励基金山东省科技发展计划项目更多>>
- 相关领域：自动化与计算机技术理学动力工程及工程热物理电气工程更多>>
- 随机数生成的Petri网模拟被引量：1
- 2007年
- 引入含弧权变量的连续Petri网的概念,并以此为工具,介绍了用Petri网来模拟逆变换法和离散法的方法,利用该方法可以生成服从任意连续或离散分布的随机数。
- 包云霞鲁法明耿霞
- 关键词：随机数发生器PETRI网VISUALOBJECT
- 一种面向死锁检测的无界Petri网展开方法
- 本发明公开了一种面向死锁检测的无界Petri网展开方法，属于计算机技术领域。本发明针对无界Petri网领域并且保证新的展开方法检测到的死锁全部真实存在；本发明中所得展开中每一个配置对应的带环或无环的变迁序列均可从初始标识...
- 鲁法明陶冉冉包云霞张雪萍
- 文献传递
- 一种基于云边端协同的智能安全帽设计与实现被引量：1
- 2022年
- 文章对用于工程施工场景下的智能安全帽进行设计与研发,以“云—边—端”协同为技术架构,融合物联网、移动互联网、边缘计算、云计算和AI技术,实现了基于安全帽的安全生产环境信息、人定位与体征数据、人员行为异常以及点对点通信等功能,使安全帽成为施工作业环境的感知端、通信端以及智能预警设备,边缘侧的处理充分调度各个环节资源,解决了智能安全帽传感器过于集中问题,同时有效降低了云侧服务器载荷。
- 王宁鲁法明包云霞
- 有效模-n S-不变量与不可达性判定被引量：1
- 2007年
- Hohn F E提出用S-不变量判定Petri网不可达性的一个方法。Desel J指出,存在某些标识,用S-不变量无法判定其不可达性,但利用模-n S-不变量却可加以判定。然而,对于一个给定的标识,是否存在模-n S-不变量能判定该标识的不可达性。如果存在的话,又该如何求取这些模-n S-不变量Desel J并未就这两个问题给出答案。该文提出了有效模-n S-不变量的概念,将上述问题转化为有效模-n S-不变量的存在性问题,并借助矩阵的整数分解给出了寻找有效模-n S-不变量的方法,有效解决了利用模-n S-不变量进行不可达性判定的问题。
- 鲁法明包云霞岳昊
- 关键词：PETRI网
- 一种基于处方数据挖掘的药物推荐方法
- 本发明公开了一种基于处方数据挖掘的药物推荐方法，属于计算机技术领域，本发明直接使用病人的处方药物日志，具有较高的完备性且容易获得，与传统方法直接在医嘱指令级粒度进行推荐不同，本发明首先在较高粒度级预测翌日可能的诊疗主题组...
- 鲁法明朱冠烨包云霞李鹏飞
- 文献传递
- 基于流程案例簇的任务关系挖掘算法被引量：7
- 2013年
- 为了进行流程发现,提出一种基于流程案例簇的任务关系挖掘方法。该方法首先将基本案例按照特征向量分为多个案例簇,根据基本案例的任务轨迹对案例簇中任务间的依赖关系进行挖掘;然后给出了基于循环基元的循环结构建模和挖掘方法,最终可以从事件日志导出流程中完整的任务依赖关系以及存在的循环结构。所提方法能正确处理任务依赖关系随案例属性取值不同而变化的情况。只要日志完备,基于挖掘到的任务关系和循环结构就能得到一个与原流程行为等价的流程模型。
- 鲁法明曾庆田包云霞段华张昊
- 关键词：业务流程管理
- 一种可控制温度区间的重力热管
- 本发明提供了一种可控制温度区间的重力热管，包括蒸发段和冷凝段；蒸发段的流出端通过第一绝热管与冷凝段的流入端相连接，冷凝段的流出端通过第二绝热管与蒸发段的流入端相连接，第二绝热管上设置有储液罐；第一绝热管靠近冷凝段流入端处...
- 鲁法明吕赛赛包云霞李婕
- 文献传递
- 非线性状态空间模型的EHMM抽样法被引量：1
- 2005年
- 给出了一种新的非线性状态空间模型的MCMC方法———EHMM(EmbeddedHiddenMarkovModel)抽样法,运用该方法构造的Markov链的收敛速度比传统的MCMC方法有明显提升,文中证明了这一结论并以一维非线性状态空间模型为例加以说明。
- 包云霞鲁法明刘福升
- 关键词：MCMC方法HMM
- 向量目标整数线性规划问题及其在工作流网分析中的应用被引量：1
- 2017年
- 为了求解一类特殊的整数规划问题以对工作流网进行可达性分析和不变量计算,将该类问题进行归纳和抽象,提出向量目标整数线性规划问题的概念和标准模型;在传统整数规划问题求解方法的基础上,针对一类正定的向量目标整数线性规划问题设计了一种新的分支定界算法,以求取全部最优解;将工作流网不变量分解与恰当终结性验证等问题转换为前述向量目标整数规划问题,结合实例说明了该方法在工作流网性质分析中的应用。
- 包云霞鲁法明王艳晓段华林泽东
- 关键词：整数规划PETRI网工作流网分支定界法
- 可达性与状态方程可满足性等价的两个Petri网子类
- 可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具...
- 包云霞鲁法明曾庆田
- 关键词：PETRI网可达性空间复杂度
- 文献传递
