从形式化式样出发的实时控制软件开发

来源 :工业控制计算机 | 被引量 : 0次 | 上传用户：trjycp

【摘要】

：

形式化语言能够对软件的功能进行精确的描述,在实时控制软件中引入形式化语言描述是必要的也是可能的.本文介绍了形式化式样语言VDM-SL(Vienna Development Method-Specifica

【作者】

：

齐学智陈金水

【机构】

：

浙江大学现代控制研究所310027

【出处】

：

工业控制计算机

【发表日期】

：

2004年8期

【关键词】

：

形式化语言实时控制软件 VDM-SL 数据采集器 formal method VDM-SL control software

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

形式化语言能够对软件的功能进行精确的描述,在实时控制软件中引入形式化语言描述是必要的也是可能的.本文介绍了形式化式样语言VDM-SL(Vienna Development Method-Specification Language),用VDM-SL给出了一个小型控制软件的形式化描述.基于形式化式样描述,提出了从形式化式样出发的控制软件开发.最后就形式化语言应用于软件描述的前景进行了分析,同时指出了形式化语言和工具的不足.

其他文献

离线式烟梗预处理工艺研究

针对库存烟梗进入高架库前需要定量装箱,产品质量参差不齐,不能满足来料工艺要求等问题,通过考察、研究国内烟厂、复烤厂、设备制造厂家的相关制作工艺和设备,提出并简要介绍

期刊

烟梗离线式风选筛分tobacco stem offiine winnowing screening

基于规则的产品CAD模型验证

CAD模型验证能够对复杂产品的CAD模型进行检查,找出产品建模阶段的错误或不规范地方,进而改正产品CAD模型中存在的问题。笔者提出了基于规则的产品CAD模型验证方法,运用UG/KF对产品CAD模型验证规则进行描述,并通过类的形式对模型验证规则进行组织和管理,较好地实现了产品CAD模型验证规则的表达和重用,实例表明该方法具有较高的实用性。

期刊

UG/KFCAD模型验证UG/KFCAD modelverification

创生态强县建森林石柱

石柱林业紧紧抓住西部大开发的历史机遇,以退耕还林、天然林保护、库周绿化、外资林业项目、城周绿化等林业重点工程为载体,以建设两翼地区绿色生态经济强县为目标,深化改革,

期刊

森林城市石柱林业工作林业生态建设西部大开发历史机遇开拓创新天然林保护实现林业重点工程

试论全面建设小康社会的奋斗目标

全面建设小康社会是党和国家到2020年的奋斗目标，是全国各族人民的根本利益所在。邓小平曾用“小康”来描述中国式的现代化，党的十六大报告和十七大报告则绘制了“全面建设小康

期刊

全面小康内涵目标条件

基于XML的工艺文件汉英翻译研究

经济全球化要求CAPP支持远程设计和产品数据共享,传统的CAPP系统只支持本地设计,生成的工艺文件是单一语言的,通用翻译软件又不能直接被CAPP系统所使用,因此对开发基于B/S结

期刊

计算机辅助工艺设计机器翻译全球制造敏捷制造CAPP machine translation global manufacturing agile

尽早尽快把旅游业培育成重庆市支柱产业

旅游业俗称“无烟工业”，具有关联度高、带动性强、资源消耗少、劳动密集、市场需求量大、社会经济效益明显等特点。为此，我国已将旅游业列入了国家“十一五”期间积极发展的需

期刊

支柱产业旅游业重庆市“十一五”期间全面建设小康社会长江上游经济中心培育社会经济效益

基于小波分析的激光陀螺信号处理

随机噪声是影响激光陀螺精度的一个重要因素,其中随机噪声主要是白噪声.利用小波变换理论对激光陀螺数据进行消噪处理是小波的一个最基本的应用.选用Daubechies小波函数作为

期刊

激光陀螺信号处理随机噪声白噪声消噪处理DAUBECHIES小波阀值波函数除噪小波基ring laser gyrowavelet trans

深入学习胡总书记重要讲话精神扎实推进社会主义新农村建设

今年3月8日，胡锦涛总书记在参加全国“两会”重庆代表团审议时提出，要“把重庆加快建设成西部地区的重要增长极、长江上游地区的经济中心、城乡统筹发展的直辖市，在西部地区率先

期刊

胡锦涛总书记社会主义新农村建设全面建设小康社会重庆代表团精神学习长江上游地区城乡统筹发展

努力把铜梁打造成为重庆主城功能拓展区

建设“一小时经济圈”，是市委、市政府认真落实科学发展观、贯彻胡锦涛总书记“314”总体部署的重大战略举措。铜梁作为“一小时经济圈”的重要组成部分和成渝经济带、渝遂高

期刊

拓展区重庆铜梁“一小时经济圈”胡锦涛总书记渝遂高速公路科学发展观成渝经济带

数控车削加工的误差分析及解决办法

分析了数控车床使用中由于车刀刀尖圆弧和车床滚珠丝杠轴向间隙引起的加工误差;提出了减小加工误差的具体解决办法.

期刊

数控车床刀尖圆弧误差编程NC lathethe tool nose arcerrorprogram

从形式化式样出发的实时控制软件开发

与本文相关的学术论文