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

基于时序逻辑语言XYZ/E的实时系统应用研究

刘珊艳  张广泉  
【摘要】:针对实时系统在计算机系统应用中的重要性,采用形式化方法是保证实时系统软件开发正确性的一种重要途径,而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给出了时序逻辑语言XYZ/E的相关介绍,并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 李华春;实时系统中设备并行应满足的条件[J];计算机工程;1984年01期
2 唐庾梅;实时系统的软件设计方法[J];电光与控制;1986年02期
3 邹明德;脑电图数据的实时压缩处理[J];华东理工大学学报;1986年04期
4 罗大卫;余可人;;微机实时管理控制系统的总体结构设计及实现[J];计算机工程与应用;1987年10期
5 杨贤芳;微机实时系统中的数据快速传送[J];数据采集与处理;1988年02期
6 吕仲霖;董浩;;一种应用于实时处理计算机系统的总线监视器[J];应用科技;1988年04期
7 田振华;;以色列的视频图象增强系统[J];航空兵器;1988年01期
8 李艳华;;新型遥测计算机系统的研究与设计[J];遥测遥控;1988年04期
9 胡金初;;微机实时系统中程序和数据保护技术[J];电子技术;1988年10期
10 林中达;实时软件测试技巧探讨[J];微计算机应用;1989年06期
中国重要会议论文全文数据库 前10条
1 吴学贤;江杰;徐大威;何永保;;宝钢一号高炉操作指导专家系统[A];1995年中国智能自动化学术会议暨智能自动化专业委员会成立大会论文集(上册)[C];1995年
2 沈理;徐慧娥;;模糊推理ASIC芯片F200[A];1999年中国智能自动化学术会议论文集(上册)[C];1999年
3 李秋云;莫福源;李昌立;;基于IMBE模型的低速率语音编码算法及其实时实现[A];第五届全国人机语音通讯学术会议论文集[C];1998年
4 金建设;董文葆;;大型无机化工厂基于规则的生产调度辅助系统[A];第三届全国控制与决策系统学术会议论文集[C];1991年
5 严隽薇;宋国斌;张克技;;一种实时系统分析法——H-P扩展法[A];第三届全国控制与决策系统学术会议论文集[C];1991年
6 孙舫;包化成;;VMEexec——实时开发运行环境介绍[A];第7届全国核电子学与核探测技术学术年会论文集(二)[C];1994年
7 吴世英;许祖润;杨朝文;甘绍碱;;实时监控系统中数据处理的一些方法问题[A];第8届全国核电子学与核探测技术学术年会论文集(二)[C];1996年
8 郭宏飞;周建常;;具有时间特征的实时专家系统的设计[A];1994中国控制与决策学术年会论文集[C];1994年
9 商书元;李柯;冯振声;;导弹飞行可视化系统的研究[A];第一届国际机械工程学术会议论文集[C];2000年
10 骆志刚;唐雪飞;刘锦德;;开放系统中的实时性问题[A];中国电子学会第七届学术年会论文集[C];2001年
中国博士学位论文全文数据库 前10条
1 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
2 沈国重;多抽样率信号处理方法及其在实时系统中的应用[D];浙江大学;2001年
3 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
4 骆志刚;开放系统中的实时性研究[D];电子科技大学;2001年
5 窦强;分布式强实时系统中可调度性分析算法的研究[D];国防科学技术大学;2001年
6 李翔龙;电火花铣削加工中伺服运动及工具补偿智能控制技术的研究[D];四川大学;2003年
7 陈靖;带实时的传值与移动系统研究[D];中国科学院研究生院(软件研究所);2003年
8 张焕强;家庭网关中的资源管理[D];中国科学院研究生院(软件研究所);2003年
9 邹勇;开放式实时系统的调度方法研究[D];中国科学院研究生院(软件研究所);2003年
10 阳春华;工业实时系统多任务容错调度技术及应用研究[D];中南大学;2002年
中国硕士学位论文全文数据库 前10条
1 钟洋;基于Windows NT的弱实时多任务的实现[D];武汉科技大学;2002年
2 罗秉安;软件能力成熟度模型在实时系统开发中的应用[D];广东工业大学;2003年
3 谢斌盛;嵌入式实时系统中实时数据库的研究[D];湖南大学;2003年
4 胡鹏;基于定点DSPs的实时系统设计与实现[D];武汉理工大学;2003年
5 胡靖宇;实时软件开发技术的研究与实现[D];西北工业大学;2002年
6 胡海涛;面向对象技术在实时系统中的研究与应用[D];西北工业大学;2003年
7 舒国强;面向对象的实时系统可调度性验证和代码生成技术研究[D];中国科学院研究生院(软件研究所);2003年
8 莫剑荣;统一建模语言(UML)实时扩展[D];广东工业大学;2004年
9 陈生庆;PEARL语言在实时系统中的应用[D];广东工业大学;2004年
10 刘彬;工控设备中数据处理技术的研究[D];中南大学;2004年
中国重要报纸全文数据库 前10条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
2 广东省电信科学技术研究院多媒体部 陈学军 曹克虎;嵌入式系统软件的面向对象开发技术[N];中国计算机报;2000年
3 ;微电子技术:Socware开辟新战场[N];中国电子报;2002年
4 曹琰;卢放详解中国电力安全体系[N];华中电力报;2003年
5 钟水;水情测报及洪水预报调度自动化系统[N];中国水利报;2004年
6 毛黎;新型室内三维定位系统获大奖[N];科技日报;2004年
7 王棣华;高新企业如何应用标准成本?[N];财会信报;2005年
8 罗清岳;嵌入式操作系统探讨[N];电子资讯时报;2005年
9 通讯员 赵娜;富拉尔基发电总厂实时监控确保经济运行[N];中国电力报;2006年
10 吉胜钧 本报记者 戴汇峰;李鹏同志到东北电网公司考察[N];东北电力报;2006年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978