论文部分内容阅读
在广义可能性测度下,提出了广义可能性Kripke结构来描述系统的量化行为。在广义可能性Kripke结构下重新定义了线性时序逻辑的语构和语义,研究了线性时间属性的最终可达性、限制可达性、重复可达性等模型检测问题。本文所获得的结果扩大了可能性测度在模型检测中的应用范围。
基于广义可能性测度的可达性问题的模型检测
【摘 要】
：
在广义可能性测度下,提出了广义可能性Kripke结构来描述系统的量化行为。在广义可能性Kripke结构下重新定义了线性时序逻辑的语构和语义,研究了线性时间属性的最终可达性、限
【机 构】
：
陕西师范大学计算机科学学院; 北方民族大学计算机科学与工程学院;
【出 处】
：
模糊系统与数学
【发表日期】
：
2014年06期
【基金项目】
：
国家自然科学基金资助项目(60873119);北方民族大学项目(2014xb213)
其他文献
"5.12"汶川大地震使众多羌族村寨遭受严重破坏。在羌族村寨的灾后重建工作中,出现了四种重建模式和五种建筑类型,分别对羌族文化的保护、传承和羌族村寨的文化重构产生积极的
本文从智能仿生设计出发,通过壳聚糖偶联磷酸胆碱基团(PC)和乙酰基组氨酸基团(NAc His),得到具备优良生物相容性和p H响应性的仿生壳聚糖衍生物(NAc His-PCCs),产物可以作为
突出数学本质化教学是深化数学教学改革不变的方向。＂课改＂与＂改课＂的理论探讨和实践探索开辟了数学课程建设与数学教学改革的新情景。然而,在小学数学课程教学改革实践中,仍存在
噪音音乐并非音乐主流──关于谭盾音乐之我见向周俊人们的困惑四月初，一位留美归国的中央音乐学院青年教师与我谈起了谭盾音乐现象。她忧心忡忡地说，谭盾音乐会在北京产生了轰
春秋战国时期,上古三代神祗文化渐向以理性精神为主的人文文化转变。先秦儒家从多方面致力于孝道的理性化建构,一方面纳孝于仁、礼,论孝为仁之本根、礼之文理,解决行孝正当性
<正>音乐考古学与音乐图像学的关系,目前在学界认识尚不一致。有学者认为音乐图像学是音乐考古学的一个分支。因为图像,作为音乐图像学所研究的对象,都是古代的遗迹而非现代
国有企业是我国国民经济和国家安全的重要支柱。2006年中央企业销售收入超过千亿元的有21家，利润超过百亿元的有13家，有13家中央企业进入2006年公布的世界500强。2007年1月-11
<正>教育部第二次音乐课程改革再次把"审美"视为第一理念,充分表明"审美"已成为中国音乐教育的官方哲学。聆听是人类最重要的感觉之一,不论从何种角度说,音乐审美都离不开聆
阴道炎是妇科门诊常见病及传染性较强的妇女病,卫生和医疗条件差的农村妇女患此病较多。临床表现是:白带多、瘙痒、疼痛等。用一般药物治疗见效慢、难治愈、易复发。我院于19
目的通过遗传工程获得ＺＰ３α融合蛋白，以便用表达产物制备ＺＰ３α单克隆抗体。方法根据重新测序的猪ＺＰ３αｃＤＮＡ５＇端非编码碱基数，ｐＷＲ４５０表达质粒家族的ｐＷＲ４５０－２被选用来表达β－半乳糖苷酶（ＬａｃＺ）／ＺＰ３α融合蛋白。带５＇端非编码区