化简技术

作品数：13被引量：65H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：乐晓波汪琳陈国平田立勤林闯更多>>
相关机构：长沙理工大学吉首大学内蒙古科技大学北京理工大学更多>>
相关期刊：《计算机工程》《计算机应用》《计算机技术与发展》《计算机工程与设计》更多>>
相关基金：国家自然科学基金内蒙古自治区自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
列车通信网络时间触发调度模型的等价化简技术
《铁道学报》2025年第3期73-80,共8页朱广超 聂晓波 李洋涛 李宗辉 聂晨浩 马可 
动车组和机车牵引与控制国家重点实验室(中国铁道科学研究院集团有限公司)开放课题基金资助(2021YJ283)。
时间敏感网络因其高确定性及低时延特性逐步成为列车通信网络的下一步发展方向。它通过时间触发调度精确地指定数据流在网络节点中的发送时间,从而保障数据流端到端的确定性实时传输。时间触发调度模型通常形式化为可满足性约束模型,由...
关键词：列车通信网络 确定性实时传输 时间触发 调度模型 等价化简 
形式不同 方法各异——谈二次根式的化简技术
《中学生数理化（八年级数学）（人教版）》2016年第6期25-25,共1页蒋小铭 
在进行二次根式的运算时，为了计算方便，常常要把二次根式化成最简二次根式．下面介绍不同形式的二次根式化简的方法．
关键词：二次根式化简 化简技巧 最简二次根式 
软件Markov链使用模型生成与化简技术被引量：3
《计算机工程与设计》2015年第8期2114-2119,共6页冯俊池 于磊 刘洋 
为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描...
关键词：统一建模语言 马尔科夫链 使用模型 软件可靠性测试 状态化简 
Petri网化简技术的动态特性研究被引量：2
《计算机应用》2011年第6期1641-1644,共4页闫博钊 乐晓波 周恺卿 莫礼平 
湖南省自然科学基金资助项目(08JJ3124)
对于大而复杂的Petri网,"节点过多,状态爆炸"一直是阻碍其技术发展的主要问题,因此,如何有效地简化Petri网一直是Petri网研究领域的一个研究热点。将Petri网简化为若干子网是一个很有效的方法。提出了库所指标概念,根据该指标,给出了Pe...
关键词：PETRI网 化简 动态特性 状态爆炸 
基于Petri网的仓库备件管理工作流建模研究
《机械制造》2011年第3期85-87,共3页郑钧宜 廖扬振 宋兆华 方宇 
基于Petri网的工作流建模技术具有描述功能强及结构简洁易懂的特点,阐述基于Petri网的工作流建模技术,并将其应用到企业仓库备件管理中。绘制基于Petri网的仓库备件工作流管理系统模型,然后运用工作流网的理论,对该模型进行了化简和合...
关键词：PETRI网 工作流网 化简技术 
基于Petri网化简技术的工作流模型合理性验证被引量：6
《微计算机信息》2009年第15期219-221,共3页赵军富 靳荣 马胜梅 刘玉平 
基金申请人:靳荣;项目名称:基于AXML的工作流关键技术的研究;颁发部门:内蒙古自治区自然科学基金(200607010810)
随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。本文通过引入Petri网、Workflow Petri网和过程合理性定义,采用Petri网的两种化简...
关键词：PETRI网 工作流 合理性 模型化简 
基于Petri网化简技术的工作流过程模型结构验证被引量：3
《计算机技术与发展》2009年第6期51-54,57,共5页徐晶明 杜宝珠 
内蒙古自然科学基金(200607010810)
目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。文中介绍两种化简规则。这些规则将一个大的Petri网化简为更小的Petri网...
关键词：PETRI网 工作流 合理性 模型化简 
基于Petri网化简技术的工作流模型正确性研究被引量：7
《计算机工程》2007年第9期60-61,94,共3页张亮 姚淑珍 
为了更有效地对工作流模型进行分析验证,提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上,通过对非自由选择网结构活性和有界性的分析,给出了针对Petri网中非自由选择部分的分...
关键词：PETRI网 工作流 模型正确性 化简技术 
Petri网化简技术的研究被引量：1
《系统仿真学报》2007年第A01期110-113,共4页汪琳 乐晓波 陈国平 
湖南省教育厅科研基金重点资助项目(06A003)
Petri网是系统建模和行为分析的有力工具,在很多领域得到广泛应用。但"节点过多,状态爆炸"是阻碍Petri网技术发展的瓶颈问题,尤其对于目前很多大而复杂的系统,其分析非常复杂。化简Petri网一直是Petri网工作者研究的重点,将Petri网分解...
关键词：PETRI网 化简 并分解 状态爆炸 
基于Petri网的Web服务组合与分析被引量：16
《计算机科学》2007年第2期100-103,124,共5页闫春钢 蒋昌俊 李启炎 
国家自然科学基金(60125205;60534060)资助.
Web服务为互联网提供了一种新的应用环境。然而,Web服务还有许多需要进一步研究的问题。Web服务的组合及其验证就是需要深入研究的问题。本文针对通用构件描述语言(UCDL)提出一种Petri网模拟和验证方法,即对于Web服务的元活动和构件,提...
关键词：PETRI网 化简技术 WEB服务组合 语言 表达式 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部