一种适用于过程控制系统建模的形式描述语言PROTOB

来源 :计算机应用与软件 | 被引量 : 5次 | 上传用户:fencer_20
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研讨一种适用于过程控制系统建模的形式描述语言PROTOB。文中首先阐述了PROT网的基本概念及其实例,在此基础上讨论了PROTOB网,结合一个过程控制系统的控制流程,给出了它的PROTOB模型。
其他文献
本文介绍了帧中继网络的概念、原理及它的特点,并给出了帧中继网络在我国金融业的两个应用实例。
本文给出了一种有效的图象目标检索方法。该方法由颜色分割和定位算法组成。颜色分割中利用样本学习和非样本学习交互操作,提取目标的特征颜色,并以此建立颜色索引表,以提高颜色分割速度。定位算法中利用映射技术与区域生长相结合的操作,确定目标的大小和位置。实验结果表明,本检索算法具有正确检测和定位目标的能力。
目的 观察硫辛酸(LA)对氧化低密度脂蛋白(ox-LDL)诱导的大鼠胸主动脉平滑肌细胞(VSMC)内甘油三脂(TG)、总胆固醇(TC)、超氧化物歧化酶(SOD)和谷胱甘肽过氧化物酶(GSH-PX)活性
本文提出了一种基于广义模糊性质集的图像分割方法,它利用图像的广义隶属函数,把图像灰度转换成广义的模糊集合,通过对图像作多次增强而实现图像分割。实验结果表明,本文提出的方法与Otsu法、熵函数法和FCM2D法相比,在分割速度和分割质量上,都有不同程度的提高。
为了能更好地服务于货币市场,我们在基于Web技术的信息服务系统中实现了大量的图形图表功能。本文阐述了用Java结合中间件在Web页面中进行图形、图表显示的技术原理。
目的 探讨症状性动脉粥样硬化性颅内椎基底动脉狭窄患者择期支架成形术治疗的远期疗效.方法 回顾性分析2001年9月至2007年9月在我院行择期支架成形术治疗的症状性动脉粥样硬
目的探讨普罗布考对缺血性卒中患者急性期血清基质金属蛋白酶-9(matrix metalloproteinases-9,MMP-9)水平的影响。方法采用自身对照和组间对照,随机将82例急性期缺血性卒中患者
全国高等学校专科英语应用能力考试结果表明:习惯了重读写、轻听说学习方式的学生,在听力方面很薄弱.笔者就此作了初步分析,并提出了传授听力技巧,提高听力水平的解决方法.
患者,男,71岁,因“突发右侧肢体无力伴言语不清6天”急诊以“脑梗死”于2009年8月8日入院。患者于6天前夜间起床排尿时突然出现右侧肢体无力,右上肢不能抬起、抓握,右下肢不能行走
卒中,尤其是缺血性卒中的发病率居高不下,颈动脉粥样硬化斑块作为缺血性卒中的重要危险因素,成为近年研究的热点,积极治疗颈动脉粥样硬化斑块成为防治缺血性卒中的重要手段之一。