收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

任务流模型检验的研究

于庆梅  骆丽  
【摘要】：对任务流模型检验技术进行了讨论。任务流方法不关心状态数量、能否从一个指定状态到达另一指定状态及系统必须的状态是否存在,而是关心状态组合提供的功能是否存在及各状态组合之间是否存在指定的转换关系,从而避免了状态空间爆炸问题。模块搜索算法以模块为基础对任务流模型进行搜索来验证给定系统是否满足规范要求。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王青;杨孟飞;;基于断言的形式验证方法应用研究[J];航天控制;2007年03期
2 周修毅;赵建华;李宣东;郑国梁;;实时系统的模型检验中针对共享变量的优化技术[J];计算机科学;2005年07期
3 李雅楠;古天龙;常亮;;基于CPDL模型检验的装配序列规划[J];桂林电子科技大学学报;2011年02期
4 张广泉;并发系统性质验证的一种形式化方法[J];重庆师范学院学报(自然科学版);1999年03期
5 陈颖,李在铭;基于统计分析的实时多任务流系统的最优调度[J];系统工程与电子技术;2001年01期
6 许翔;吴尽昭;林连南;陈剑锋;;基于交互式马尔可夫链的模型检验[J];计算机应用;2008年07期
7 杨建军,王伟,王小刚;基于状态空间的稳定广义预测控制器[J];控制与决策;1998年S1期
8 沈春龙,孔建寿,张友良;支持产品协同设计项目管理系统的研究与实现[J];计算机应用研究;2000年03期
9 纪丰伟,陈恳;专家系统在PDM任务流控制中的应用[J];计算机集成制造系统-CIMS;2004年05期
10 宋勇;李贻斌;栗春;李彩虹;;基于神经网络的移动机器人路径规划方法[J];系统工程与电子技术;2008年02期
11 尤小泉;彭映杰;;一种基于指令预测的目标跟踪方法[J];电视技术;2010年02期
12 赵宁社;王国庆;翟正军;;一种基于状态空间的资源健康度量方法及应用[J];计算机应用;2010年05期
13 黄炜;;文本相似度计算在企业信息检索中的应用[J];科学技术与工程;2011年15期
14 陈彤;;测控技术中含有“X”值的验证[J];西安工程科技学院学报;2006年05期
15 杜军威;徐中伟;宋波;;联锁逻辑形式化模型检验的研究[J];计算机工程;2007年15期
16 常小慧 ,李宏伟;基于C#的GML文档解析[J];电脑编程技巧与维护;2004年11期
17 郭建;韩俊刚;;基于不完全Kripke结构三值逻辑的模型检验[J];计算机科学;2006年03期
18 应进,姚起剑;基于Internet环境的模具资源信息库研究[J];模具技术;2002年03期
19 ;《执行》——如何完成任务的学问[J];现代企业教育;2004年02期
20 叶俊;谭庆平;李暾;;面向特征编程范式的形式化验证技术研究综述[J];计算机工程与科学;2010年09期
中国重要会议论文全文数据库 前10条
1 赵飞;李雅彦;任福;阮依香;杜清运;;以任务流为中心的在线动态地图集设计研究[A];中国测绘学会2010年学术年会论文集[C];2010年
2 卫东华;石志强;吴志美;;基于事件流模型的网络故障管理系统[A];2003年通信软件技术学术年会论文集[C];2003年
3 余峰;汤庸;潘炎;;一种工作流模型的挖掘方法[A];第二十四届中国数据库学术会议论文集（研究报告篇）[C];2007年
4 高军;王海洋;;面向事务的工作流模型在用电管理系统中的应用[A];第十六届全国数据库学术会议论文集[C];1999年
5 葛威;林志文;王聪;韦海军;;基于多信号流模型的建模信息描述方法[A];2011下一代自动测试系统学术研讨会论文集[C];2011年
6 王彦博;谢柏翰;王智洋;Le Quang-Tuyen;;基于地震反应监测资料之结构损伤探测[A];全国结构振动与动力学学术研讨会论文集[C];2011年
7 华山;李红燕;;面向领域的工作流模型的设计[A];第二十届全国数据库学术会议论文集（技术报告篇）[C];2003年
8 任永杰;黄锦辉;刘文卓;;适合中国本土化环境的工作流模型与描述语言[A];第十六届全国数据库学术会议论文集[C];1999年
9 张功源;李必信;邱栋;吉顺慧;;一种基于并发的BPEL控制流模型的分析及验证[A];第六届中国测试学术会议论文集[C];2010年
10 苏达权;陈雪;;张裂大陆边缘的下地壳流模型研究[A];中国地球物理学会年刊2002——中国地球物理学会第十八届年会论文集[C];2002年
中国博士学位论文全文数据库 前10条
1 张德珍;串联机械系统运动方案设计的状态空间理论与方法的研究[D];大连理工大学;2003年
2 王超;异构多核可重构片上系统关键技术研究[D];中国科学技术大学;2011年
3 周云英;多场耦合层状结构的振动与波动[D];浙江大学;2011年
4 肖正;多Agent系统中合作与协调机制的研究[D];复旦大学;2009年
5 张劲松;协同产品开发链中过程管理、产品配置与数据管理技术研究[D];华中科技大学;2004年
6 张建明;机械产品概念设计的若干方法研究[D];大连理工大学;2006年
7 杨娟;异构环境中的PE资源控制策略研究[D];西南大学;2007年
8 刘沛清;挑射水流对岩石河床的冲刷机理研究[D];清华大学;1994年
9 李庆华;基于顾客价值创新的企业战略定位研究[D];浙江大学;2002年
10 牛健植;长江上游暗针叶林生态系统优先流机理研究[D];北京林业大学;2003年
中国硕士学位论文全文数据库 前10条
1 邓清华;基于TCP协议漏洞的攻击性行为研究[D];中南大学;2005年
2 徐若冰;基于极点配置的倒立摆控制器设计[D];哈尔滨工程大学;2007年
3 邹艳妮;基于价格时间Petri网的Web服务组合建模与分析[D];安徽理工大学;2008年
4 陈忠学;带有协商机制的任务流网格调度模型的设计与实现[D];电子科技大学;2010年
5 王雪;ETL在ISBN中心业务系统中的研究与应用[D];北方工业大学;2005年
6 方鑫;状态空间法求解脑电静动态逆问题[D];浙江大学;2011年
7 史忠孝;基于任务流的目标管理信息系统[D];华北电力大学（北京）;2008年
8 王仁;基于服务体执行流模型的MiniOSEK操作系统设计与实现[D];中国科学技术大学;2010年
9 于敏芳;网络流仿真的研究与实现[D];天津大学;2004年
10 关英辉;子空间辨识算法在铁水硅含量中的建模研究[D];内蒙古科技大学;2011年
中国重要报纸全文数据库 前10条
1 张平树;巴塘力推“十大惠民行动”建设[N];甘孜日报(汉文);2007年
2 本报记者 张建国;齐心协力 奋发有为 全面完成任务[N];忻州日报;2007年
3 记者 秦建莉 通讯员 杨磊;我市为民办实事工程进展良好[N];徐州日报;2007年
4 程国宏;开拓思路 丰富形式确保高质量完成任务[N];廊坊日报;2007年
5 祝俊业 刘贞华 刘雷英;广东总队 四支队完成任务与部队建设实现双赢[N];人民武警;2004年
6 记者石柳萍;认准目标加快进度 确保两年完成任务[N];白银日报;2010年
7 建喜 向东 小辉 永斌;加速冲刺确保完成任务[N];韶关日报;2005年
8 林国庆;抓存量促增量 确保完成任务[N];安庆日报;2006年
9 刘飞云;市地税局2006“两费”收入超额完成任务[N];鄂尔多斯日报;2007年
10 记者 黄明钢通讯员 吴江天 崔嵩;垃圾转运站建设已过半[N];深圳商报;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 http://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
©2020中国知网（CNKI）