基于吴方法的多值模型检验

大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.     

评析

问题153，154来稿较少，暂不评析． 问题 155 该问题共收稿7篇，均认为问题提出者的结论是正确的，可加以逻辑证明．来稿中，江苏省徐州高级中学沈家书、浙江省杭州市长河高级中学许鑫娟给出了与选登1相同的证明，湖北省武汉市黄陂一中高二（17）班喻超同学也参与了对该问题的讨论．     

R0代数的Fuzzy子代数与Fuzzy关联MP滤子

引入了R0代数的Fuzzy 子代数、Fuzzy关联MP滤子的概念,给出了R0代数的Fuzzy集是Fuzzy子代数的几个等价刻画,讨论了R0代数的Fuzzy关联MP滤子的若干性质,证明了Fuzzy子代数(Fuzzy关联MP滤子)在R0代数同态(同构)下的不变性.     

基于教材逻辑解读高中物理人教版新教材的改变——以“电磁感应”内容为例

在新课标的指导下,新编写的人教版教材内容编排与旧人教版相比有所不同,基于教材逻辑解读新教材作出的改变,有利于教师合理利用新教材开展高质量教学.以“电磁感应”为研究对象,探讨了教材学科逻辑、认知逻辑和教学逻辑的内涵及其相互关系,并结合课标基于三大逻辑从宏观章节结构解读新教材“电磁感应”作出的改变,以期能对教师的课堂教学有所启示,并为教师们分析教材提供思路.     

冒险小王子

“IQ加油站”供应逻辑细胞类、趣味故事类、个性习惯类、笑话测试类等各种特色智慧能量,只要得到相应的智慧豆,便可在轻松的阅读中提升IQ指数！还等什么？快选择你喜欢的品种,为大脑加油吧！     

冒险小王子

“IQ加油站”供应逻辑细胞类、财富故事类、修改习惯类、笑话测试类等各种特色智慧能量,只要得到相应的智慧豆,便可以轻松的在阅读中提升IQ指数！     

冒险小王子

“IQ加油站”供应逻辑细胞类、财富的故事类、个性习惯类、笑话测试类等各种特色智慧能量,只要得到相应的智慧豆,便可在轻松的阅读中提升IQ指数！还等什么？快选择你喜欢的品种,为大脑加油吧！     

设计合成亚胺类化合物用于金属阳离子逻辑门识别及双控荧光分子开关构建

报道了首次设计合成希夫碱还原产物N,N-双(4-甲氧基苯)乙基-1,2-二胺受体分子L.通过考察L与12种金属阳离子作用时的荧光性质变化,发现Cu2+和Fe3+对L有显著的荧光猝灭作用,Zn2+和Cd2+对L有明显的荧光增强作用;因此可构建受体分子L对两对金属阳离子的"OR"逻辑门作用关系,形成逻辑识别体系.测定了Zn...     

简易逻辑与函数及不等式的综合──以2012年北京文科卷14题为例

近年来,将简易逻辑与函数及不等式综合在一起的考题在高考中时有出现,且往往以小题压轴题的形式出现,这类题目已成为高考的热点及难点.这类试题知识覆盖面广,综合性强,灵活多样.从知识目标看能考查高中数学核心概念,从能力目标看能考查学生的分类讨论、数形结合、化归转化、分析问题及解决问题等能力.在推行高考命题以“能力立意”的今天此种类型倍受命题教师的青睐.     

剩余格上的L滤子

剩余格为模糊逻辑和模糊推理提供了一种良好的代数结构,滤子是剩余格中一个十分重要的概念,它在基于剩余格的模糊逻辑代数语义的研究中,扮演着一个关键的角色。本文基于Pavelka所提出的广义MP规则和真值提升规则,研究基于这两种推理规则的演绎系统的代数化问题。引入L滤子的概念,讨论这些滤子之间的关系,并给出它们的一些代数刻画。