论文部分内容阅读
形式化方法的回顾（续一）ＡＲｅｐｏｒｔｆｒｏｍｔｈｅＢＣＳＷｏｒｋｉｎｇＧｒｏｕｐ￥Ｃ．Ｌ．Ｎ．Ｒｕｇｇｉｅｓ（上接１９９３年第３期）２．２并发软件的ＦＤＩ和ＦＳＬ有限状态机（ＦＳＭ：）是用来描述形式系统的语言，曾应用来描述Ａｌｇ。１６０的语法，基于...
形式化方法的回顾（续一）
【摘 要】
：
形式化方法的回顾（续一）ＡＲｅｐｏｒｔｆｒｏｍｔｈｅＢＣＳＷｏｒｋｉｎｇＧｒｏｕｐ￥Ｃ．Ｌ．Ｎ．Ｒｕｇｇｉｅｓ（上接１９９３年第３期）２．２并发软件的ＦＤＩ和ＦＳＬ有限状态机（ＦＳＭ：）是用来描述形式系统的语言，曾应用来描述Ａｌｇ。１６０的语法，基于...
【出 处】
：
计算机与现代化
【发表日期】
：
1994年4期
其他文献
本文研究的快速排序算法采用了关键字与数组下标双重映重的方法，无须反复比较和 交换关键字的操作，就可得出数据记录的顺序关系，其时间复杂度为Ｏ（Ｎ），比已有的同类算法节省空间。
目的：对液氮冷冻法联合5原氨基酮戊酸光动力与悦韵2联合5原氨基酮戊酸光动力治疗肛周尖锐湿疣的效果进行分析比较。方法选取符合条件的50例患者为研究对象，将其随机分为研究组
ＰＨ值控制是过程控制中最难控制的变量之一。本文首次用非线性离散Ｈａｍ－ｍｅｒｓ＋ｅｉｎ模型来描述ＰＨ过程，并设计了非线性最小方差控制器。在实验室中和反应器装置上的应用结果表明：Ｈａｍｍｅｒｓｔｅｉｎ模型能较精确地反映ＰＨ过
目的 探讨对于早期宫颈癌患者采用同步放化疗以及单独放疗的治疗方案的临床疗效差异,为早期宫颈癌的治疗提供依据.方法 对我院自2004年6月至2008年6月期间收治的86例子宫颈癌
目的 探讨氯胺酮在改良性电抽搐治疗（MECT）中的不良反应,采取针对性的护理措施,降低风险,提高治疗的安全性.方法 将60例需做MECT治疗的难治性抑郁患者随机分为两组.氯胺酮组（30