论文部分内容阅读
抽象近似是验证混合系统安全性的主要方法，矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间。本文采用定性推理的方法，叙述了如何根据系统动态特征来划分状态空间及如何精化抽象模型。
定性推理在矩形phase—portrait近似中的应用
【摘 要】
：
抽象近似是验证混合系统安全性的主要方法，矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间。本
【机 构】
：
华南理工大学自动化科学与工程学院
【出 处】
：
计算机科学
【发表日期】
：
2008年9期
【基金项目】
：
本文受国家自然科学基金（60374036）（60574004）,广东省自然科学基金（031407）项目资助.
其他文献
随着入侵检测系统的广泛应用，对入侵检测系统进行评估的要求也越来越迫切。本文首先对入侵检测评估的现状进行了深入的总结研究，然后在已有方法的基础上，提出了基于成本的基于成
以正硅酸乙酯和去离子水为反应物，氨水为催化剂，乙醇为共溶剂，通过沉淀反应制备窄分布的纳米二氧化硅标准物质候选物。利用扫描电子显微镜分析考察了氨水的用量对制备的二氧化硅
公开号：CN101082585公开日：2007．12．05申请人：清华大学 反射式近场拉曼光谱仪测量头，属于近场光学、光谱分析测试仪器技术领域。基于金属纳米探针的局域场增强原理，本发明公开了一种
研究了铋盐共沉淀分离富集及火焰法测定铅的最佳备件，在pH8.9的溶液中，用氨水定量沉淀铅。样品中微量铅测定结果的相对标准偏差为1.2％-1.8％，加标回收率为98.8％-101.5％。方法可用于酱
2006—2007年度新建国家重点实验室终审工作于1月15日顺利完成。评审采取先现场考察、后集中会议答辩的方式，将进入终审的31个实验室按领域分为地学、工程、材料与化学等7个组
国家标准化管理委员会于2008年8月19日批准发布32项造纸工业国家标准,其中包括《纸和纸板中无机填料和无机涂料的定性分析电子显微镜/X射线能谱法》、《造纸原料和纸浆中糖类
期刊
模糊逻辑算子是模糊信息融合、模糊推理及模糊决策的重要工具。针对作为模糊逻辑算子重要扩展的直觉模糊逻辑算子，首先引入了直觉模糊集在特殊格上的等价定义。其次，验证了直觉
传统的模糊集合模型基于词词关联矩阵来实现模糊检索，词词关联矩阵只考虑语词在文献内部的同时出现。本文提出了一个基于相似性叙词表的模糊集合模型，考虑语词与查询之间的相似
据美国“每日科学”网不久前报道，科学家从鳄鱼血液中提取出的蛋白质，在抵抗严重烧伤引起的皮肤感染，糖尿病引起的溃疡，艾滋病继发感染等疾病时，比传统抗生素更有效。
在传感器网络中，拓扑控制对于平衡节点负载、增强网络的适应性以及提高网络的通信效率具有十分重要的作用。本文提出了一种通用的分布式拓扑控制机制（DCPC），综合考虑能源和通讯消