论文部分内容阅读
状态机作为一种描述实体间交互或者单个实体行为的建模图，它具有丰富的直观图形化的符号。在许多模型的设计阶段都采用它来建模。但是因为缺乏精确完整的语义定义，给它的形式化验证带来困难。本文给出一种形式化操作语义，并概述基于形式化规则的验证技术。
一种基于状态机的形式化验证技术
【摘 要】
：
状态机作为一种描述实体间交互或者单个实体行为的建模图，它具有丰富的直观图形化的符号。在许多模型的设计阶段都采用它来建模。但是因为缺乏精确完整的语义定义，给它的形式化
【机 构】
：
福建师范大学光电科学与技术教育部重点实验室
【出 处】
：
电脑知识与技术：学术交流
【发表日期】
：
2008年5期
其他文献
目的：探讨替莫唑胺（Temozolomide ，TMZ）及其衍生物对人脑胶质瘤细胞生物活性的影响，为人脑胶质瘤的治疗提供理论指导。方法制备TMZ衍生物2‐替莫唑胺‐8‐羧酸聚乙二醇脂（2T‐P400
随着网络技术的发展和网络规模的扩大，针对计算机网络攻击的方式也日趋多样，那么入侵检测就成为了网络安全研究的热点。为此分析研究了模糊C均值聚类算法在入侵检测中的应用，在
目的 探讨应用数字减影血管造影技术（DSA）对非高血压青年脑出血患者的诊断价值。方法 对165例非高血压脑出血青年患者行数字减影脑血管造影,对患者出现脑出血的原因进行总结分
长白山舰、海口舰和武汉舰及3架直升机、一艘气垫艇组成的海军南海舭队战备巡逻远海洲练编队，2月11日完成辖区防卫作战和潜舰对抗演练后，靠泊湛江某军港码头，海军新年度首次常态
目的探讨囊性脑肿瘤应用神经内镜辅助显微手术治疗的效果。方法确诊为囊性脑肿瘤患者78例纳入研究并随机分组,观察组38例,对照组40例;对照组采用显微手术治疗,观察组则采用神
摘要：该文在介绍国外农业电子商务发展的背景下，对我国农业电子商务发展的现状作了实例的分析和对策研究。 关键词：信息；农业；电子商务 中图分类号：S126文献标识码：A文章编号：1009-3044(2008)34-1604-02 Status Quo and Countermeasure of Agriculture Electron Commerce Development PIAO Gu
近日，国务院公布了《进一步深化上海自贸区改革开放方案》。而在4月21日，广东、天津、福建自贸区同步挂牌。有关人士表示，这标志着我国自贸区建设正式迎来“2．0”时代。由南到北，
针对目前数字图像目标识别方法中存在识别精度和实时性的问题,该文提出一种结合Gabor小波和神经网络的图像目标识别方法。该方法首先对图像进行预处理、用Canny算子进行边缘
目的：通过对出血性脑梗死患者的CT检查结果进行回顾性分析，探讨CT 诊断出血性脑梗死的临床价值，及C T扫描的表现特点。方法选取本院2005‐03—2014‐03收治的出血性脑梗死患者74