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

实时离散事件问题的扩展自动机描述与控制

古天龙  周春晖  
【摘要】:讨论了实时离散事件问题的扩展自动机描述与控制方法,并提出了扩展状态机——条件迁移状态机的研究思想。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 董威,王戟,齐治昌;并发和实时系统的模型检验技术[J];计算机研究与发展;2001年06期
2 王鹏;王向云;蔡开元;;基于DES监督控制理论的安全关键系统设计研究[J];工业控制计算机;2006年03期
3 王蓓,吴智铭;实时离散事件系统规范与证明方法[J];上海交通大学学报;1998年01期
4 戈应安,刘松强,王砚方;采用分布式实时操作系统的容错系统的设计与实现[J];核电子学与探测技术;1999年05期
5 史立,马然,张兆扬;计算机和实时计算[J];微机发展;2000年01期
6 王长武,陈运生,杨国来;虚拟自行火炮分布式实时动力学仿真系统[J];计算机工程;2001年09期
7 王文生,郭阳雪,张晔,宋慧营,王洪尊;光电混合联合变换相关器目标探测与识别[J];仪器仪表学报;2002年S3期
8 王文生,郭阳雪,张晔,宋慧营,王洪尊;光电混合联合变换相关器目标探测与识别[J];长春理工大学学报;2002年02期
9 姜震,邵定蓉,熊华钢;航电系统SCI环型互连的可靠性建模研究[J];北京航空航天大学学报;2004年03期
10 张亮,孙海东,贺勇;车载动态实时可视化交通信息服务系统[J];中南公路工程;2004年01期
11 钟德明,刘斌,阮镰;嵌入式软件仿真测试单机平台实时任务调度方法研究[J];测控技术;2004年04期
12 江明德,菊燕;面向对象程序设计体裁嵌入FFP-AST系统[J];软件学报;1990年04期
13 李莞菁;管理信息系统与自动化立体仓库集成技术[J];计算机工程;1996年S1期
14 王璞,张臻鉴,周凯,王玉玺;面向实时嵌入式机载软件的测试技术研究[J];航空计算技术;1997年04期
15 戴君,赵海洋,冯心海;机器视觉[J];机械设计与制造工程;1998年04期
16 王璞,张臻鉴,王玉玺;基于覆盖的软件测试技术在实时嵌入式软件中的应用研究[J];计算机工程与设计;1998年06期
17 朱亚云,方承远;Windows环境下实现实时数据采集的可行性[J];上海理工大学学报;1999年02期
18 邢晓波,阮建山;Visual Basic 在实时数据采集中的应用[J];江苏电机工程;1999年03期
19 何嘉,徐虹;网络股票分析交易系统[J];西南师范大学学报(自然科学版);2001年03期
20 刘建峰,尚利宏,金惠华;嵌入式实时集成开发环境TornadoII及其应用[J];计算机系统应用;2001年03期
中国重要会议论文全文数据库 前10条
1 古天龙;周春晖;;实时离散事件问题的扩展自动机描述与控制[A];1997中国控制与决策学术年会论文集[C];1997年
2 周博;孙冰;王钊;王国仁;于戈;;基于自动机的Twig路径查询技术研究[A];第二十届全国数据库学术会议论文集(研究报告篇)[C];2003年
3 李旭晖;何炎祥;彭智勇;;基于时间序列的离散事件系统模型语义描述[A];2005年全国理论计算机科学学术年会论文集[C];2005年
4 孙冰;贾福林;王国仁;于戈;周博;;用自动机匹配技术解决XML数据的RPE查询问题[A];第十九届全国数据库学术会议论文集(研究报告篇)[C];2002年
5 肖文栋;刘长有;徐心和;;离散事件系统2-D域方法的计算机代数处理[A];1993中国控制与决策学术年会论文集[C];1993年
6 许伟;杨正球;;基于SaaS的企业问题管理系统设计与实现[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
7 赵新昱;于云程;张维明;;Petri网仿真平台设计与实现[A];1996年中国智能自动化学术会议论文集(下册)[C];1996年
8 沈晓勇;龚咸;吉国力;;离散事件系统的MATLAB仿真实现[A];1999中国控制与决策学术年会论文集[C];1999年
9 邢清华;刘付显;;关于离散事件系统异步仿真中时钟管理机制的理论探讨[A];1994中国控制与决策学术年会论文集[C];1994年
10 张小花;邓则名;陈玮;陈昶;;基于FPGA的回单机控制器的建模与仿真[A];04'中国企业自动化和信息化建设论坛暨中南六省区自动化学会学术年会专辑[C];2004年
中国博士学位论文全文数据库 前10条
1 赵相福;离散事件系统基于模型诊断的若干问题研究[D];吉林大学;2009年
2 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
3 吴维敏;离散事件系统的Petri网控制器综合[D];浙江大学;2002年
4 胡圣明;基于内存自动机与模式的动态引擎构造技术研究[D];西安电子科技大学;2009年
5 郑光;并发系统的动作细化理论[D];兰州大学;2008年
6 李仕;航空异速像移模糊实时恢复算法研究与GPU平台实现[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
7 陈优广;边界跟踪、区域填充及链码的应用研究[D];华东师范大学;2006年
8 王湛;智能化细粒度软件抗衰策略及相关技术研究[D];南京理工大学;2007年
9 刘万伟;扩展时序逻辑的推理及符号化模型检验技术[D];国防科学技术大学;2009年
10 夏登文;数字海洋基础数据及业务流程建模方法及相关技术研究[D];东北大学;2006年
中国硕士学位论文全文数据库 前10条
1 刘文秀;单片机系统仿真[D];沈阳工业大学;2004年
2 魏世豪;具有模糊参数的离散事件系统仿真与输出分析研究[D];清华大学;2008年
3 李莉丽;实时分布系统容错调度算法的设计与实现[D];电子科技大学;2005年
4 郑小红;面向通信行业的嵌入式软件平台的研究[D];哈尔滨工程大学;2005年
5 张海艳;基于受控Petri网的离散事件系统的建模与仿真[D];武汉大学;2005年
6 吴冰;基于Petri网的物流中心库存建模和预测仿真的研究和实现[D];上海交通大学;2008年
7 周子力;城市交通流智能控制及仿真研究[D];华东师范大学;2004年
8 邱冰;楼房内人员逃生流的自动机模拟研究[D];广西师范大学;2004年
9 盛慧;链编码技术及区域标定自动机在图像处理中的应用[D];华东师范大学;2004年
10 王晓龙;Z规格说明中一阶逻辑算子自动求精的研究与实现[D];沈阳工业大学;2005年
中国重要报纸全文数据库 前10条
1 本报记者 于翔;数据集成驱动企业实时创新[N];网络世界;2010年
2 本报记者 刘洪宇;农民村内就医可实时报销[N];中国计算机报;2009年
3 本报记者 边歆;从实时走向预测[N];网络世界;2008年
4 本报记者 霍娜;当业务要求IT超越实时[N];中国计算机报;2008年
5 郭文东 胡冬梅;河北财政数据库实时复制容灾项目分析[N];计算机世界;2009年
6 ;银江移动临床信息系统[N];中国计算机报;2008年
7 记者 李佳霖;苏州启动医疗便民服务“一卡通”工程[N];经济日报;2009年
8 本报深度报道组记者 王馨;探路“物联网产业”[N];南京日报;2009年
9 ;智能公交,让城市出行更美好[N];通信产业报;2009年
10 通讯员 苏喜娥 记者 郭伟;三维显示嫦娥二号实时精彩绕月之旅[N];河北日报;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978