【摘 要】
：
模糊线性时序逻辑（fuzzy linear temporal logic）被应用于刻画模糊系统的规范语言,其可实现性（realizability）用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻
【机 构】
：
陕西师范大学计算机科学学院,青海师范大学民师院数学系
【基金项目】
：
国家自然科学基金(No.11671244,No.61261047);教育部博士点基金(No.20130202110001);青海省自然基金项目:不确定性信息物理融合系统的可靠性计算及智能控制关键技术研究(No.2014-ZJ-908)
论文部分内容阅读
模糊线性时序逻辑（fuzzy linear temporal logic）被应用于刻画模糊系统的规范语言,其可实现性（realizability）用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成（synthesis）的基本思想是：给定模糊线性时序逻辑公式,判断是否存在满足该公式的系统.如果存在,则构造满足该公式的最优系统.为了检验模糊线性时序逻辑的可实现性,首先引入模糊Büchi博弈的定义,作为检验模糊线性时序逻辑公式是否可实现的模型.其次通过归约的方法,研究
其他文献
随着单片机的应用日益广泛，常用安保车辆的警报系统越来越多的采用单片机控制系统。该警笛发生器的设计，是在详细分析相关技术指标的基础上，利用了PIC16F628系列单片机的TMR2模
<正>脑性瘫痪(cerebralpalsy,CP)简称脑瘫,是自受孕开始至婴儿期非进行性脑损伤和发育缺陷所导致的综合征,主要表现为运动障碍及姿势异常,常伴有感觉、认知、交流、行为障碍
冠心病是全球性的重大健康问题,预计到2020年将成为全球疾病的主要致死原因,冠心病所带来的寿命缩短、生活质量下降和医疗开销给社会造成了相当大的负担,根据2017年中国心血
五大快递巨头在经历2016年借壳上市的资本竞速后,业绩增长表现可谓大放异彩近日,5家率先上市的快递公司集体发布了首次年度报告。报告数据显示,快递上市公司2016年度业绩表现
在足球走进小学校园的过程中,或许学校、老师甚至是学生都会遇到很多问题。但是,足球运动是一项充满魅力的同场对抗性的竞技体育运动,学生喜欢足球。就校园足球的推广对小学
本文通过文本细读,在文艺批评史的学术观照下系统梳理王尘无的电影批评观念,力求呈现出其理论的整体样态。“以史为鉴”,进行反思,期望给予中国电影发展以理论上的启发与警示
塞尚,作为现代绘画之父,在他的内心深处,始终对古典主义绘画大师普桑怀有崇敬之情,并表示要对照自然再造普桑。在追寻宏伟的古典主义道路过程中,塞尚在他的绘画中完成了理性
<正>神经内科重症患者普遍存在意识模糊、吞咽不畅以及神经功能受损等问题,再加上术后一般留置数种管道,一旦护理措施不到位,则有可能导致患者出现各种问题,如感染、出血以及
消费者问题的产生源于商品交换中各方当事人利益形态的差异.消费者问题的存在和恶化催生了消费者权益保护法.本文从社会变迁的视角切入,探讨了中国消费者权益保护法在公法土
我国粮食储备管理需要进一步解决的主要问题是:储备粮管理整体协调机制不完善;粮食储备的品种结构有缺陷,布局网点还有待优化;中央储备粮的保管费用不断上涨,轮换风险大;粮食