形式化方法的回顾（续一）

来源 :计算机与现代化 | 被引量 : 0次 | 上传用户：lhcllk

【摘要】

：

形式化方法的回顾（续一）ＡＲｅｐｏｒｔｆｒｏｍｔｈｅＢＣＳＷｏｒｋｉｎｇＧｒｏｕｐ￥Ｃ．Ｌ．Ｎ．Ｒｕｇｇｉｅｓ（上接１９９３年第３期）２．２并发软件的ＦＤＩ和ＦＳＬ有限状态机（ＦＳＭ：）是用来描述形式系统的语言，曾应用来描述Ａｌｇ。１６０的语法，基于...

【作者】

：

Rug. CLN 胡家宝

【出处】

：

计算机与现代化

【发表日期】

：

1994年4期

【关键词】

：

形式化方法有限状态机通信协议

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

二次插值函数的研究与应用

本文以插值理论为基础，推导出插值多项式和ｎ次插值函数，并推导出简化的二次插值函数公式；给出了汇编语言二次插值程序框图。

期刊

插值多项式插值函数汇编语言

双重映射式快速排序算法

本文研究的快速排序算法采用了关键字与数组下标双重映重的方法，无须反复比较和交换关键字的操作，就可得出数据记录的顺序关系，其时间复杂度为Ｏ（Ｎ），比已有的同类算法节省空间。

期刊

映射链指针时间复杂性算法理论计算机

液氮冷冻联合5-氨基酮戊酸光动力与CO2联合5-氨基酮戊酸光动力治疗肛周尖锐湿疣的对比研究

目的：对液氮冷冻法联合5原氨基酮戊酸光动力与悦韵2联合5原氨基酮戊酸光动力治疗肛周尖锐湿疣的效果进行分析比较。方法选取符合条件的50例患者为研究对象，将其随机分为研究组

期刊

长托宁阿托品氯胺酮静脉全麻儿童Liquid nitrogen freezing methodCO2 laser method5-aminolevu

SYBASE数据库系统的备份

主要论述了在ＳＹＢＡＳＥ系统中如何对数据库进行备份。

期刊

SBASE备份数据库系统

PH过程的非线性最小方差控制

ＰＨ值控制是过程控制中最难控制的变量之一。本文首次用非线性离散Ｈａｍ－ｍｅｒｓ＋ｅｉｎ模型来描述ＰＨ过程，并设计了非线性最小方差控制器。在实验室中和反应器装置上的应用结果表明：Ｈａｍｍｅｒｓｔｅｉｎ模型能较精确地反映ＰＨ过

期刊

PH值化学反应过程非线性最小方差控制

生产计划系统的设计与实现

本文在ＥＳ已决定目标规划中不确定参数的基础上，采用反射Ｐ空间算法，并根据厂情，进行了完善，实现了某企业生产计划的计算机化。

期刊

生产计划设计企业管理

同步放化疗与放疗对早期子宫颈癌手术患者生存率的影响

目的探讨对于早期宫颈癌患者采用同步放化疗以及单独放疗的治疗方案的临床疗效差异,为早期宫颈癌的治疗提供依据.方法对我院自2004年6月至2008年6月期间收治的86例子宫颈癌

期刊

子宫颈癌同步放化疗放射治疗生存率Cervical cancer Concurrent radiochemotherapy Radiotherapy

程序变换综述

期刊

程序变换规范说明程序设计

氯胺酮应用于改良性电抽搐治疗的观察和护理

目的探讨氯胺酮在改良性电抽搐治疗（MECT）中的不良反应,采取针对性的护理措施,降低风险,提高治疗的安全性.方法将60例需做MECT治疗的难治性抑郁患者随机分为两组.氯胺酮组（30

期刊

氯胺酮丙泊酚改良性电抽搐治疗护理Ketamine Propofol Modified electroconvulsive therapy （MECT

制作高分辨图形屏幕硬拷贝的新方法

期刊

高分辨率屏幕硬拷贝

形式化方法的回顾（续一）

与本文相关的学术论文