论文部分内容阅读
抽象近似是验证混合系统安全性的主要方法，模型转换是构造一个可判定的（或半判定的）混合自动机采近似原混合自动机。本文将线性phase-portrait近似推广到多项式phase-portrait近似，叙述了如何自动构造多项式。phase-portrait近似自动机及如何精化近似模型。
混合自动机的多项式phase-portrait近似
【摘 要】
：
抽象近似是验证混合系统安全性的主要方法，模型转换是构造一个可判定的（或半判定的）混合自动机采近似原混合自动机。本文将线性phase-portrait近似推广到多项式phase-portrait近
【机 构】
：
华南理工大学自动化科学与工程学院,华南农业大学应用数学系
【出 处】
：
计算机科学
【发表日期】
：
2008年5期
【基金项目】
：
本文受国家自然科学基金（60374036）（60574004）、广东省自然科学基金（031407）项目资助.
其他文献
让计算机具有认知和表达自己情感的能力，培养其智能地对人类的情感做出反应是现阶段信息科学研究的热点内容。本文构建了基于动态Q学习算法的情感自动机模型，在该模型中，定义了
在Prolog程序分析中，考虑程序的执行路径和非逻辑的cut操作可提高程序分析的精度。当前用于Prolog程序路径依赖分析的语义因依赖于程序执行的目标而不适合目标独立的程序分析
用粗糙集近似描述了三类常见信息系统（即Pawlak信息系统、不完备信息系统、不完备模糊信息系统）中对象的基本信息粒度。通过信息系统中对象属性值关于对象属性近似空间的上近似
为了更好地解决高维海量数据的分类问题，本文提出一种基于粒度计算的覆盖算法。该算法以粒度计算为理论依据，指出在分析研究某一问题时，可以适当将其属性、论域或者结构粗化，求得
抽象层次上马尔可夫决策过程的引入,使得人们可简洁地、陈述地表达复杂的马尔可夫决策过程,解决常规马尔可夫决策过程（MDPs）在实际中所遇到的大型状态空间的表达问题。介绍了结
在安全操作系统中，通常采用了多种访问控制模型来保证静态客体的内容的机密性和完整性。但是，传统的访问控制政策不能保证静态客体内容的真实性。因此，安全操作系统中的客体并不
最近点对问题是空中交通控制系统中的一个重要问题，并且在许多领域都有应用，也是计算几何学研究的基本问题之一。利用分治法解决该问题的线性和平面情况，算法可以在O（n＊logn）时间内
为实现对说话人特征空间多聚类区的有效识别,提出一种基于并行覆盖前馈优先级网络(PCPONN)的说话人识别方法。该方法以LBG算法生成每个说话人特征空间初始的聚类中心,对本类样本按聚类中心分类后,用前馈优先级神经网络(PONN)对每个聚类区进行并行覆盖。相关实验证明,PCPONN符合说话人特征空间点的分布特点,得到更好的稳定性和更高的识别率。