缺省模态逻辑

本文在Reiter 1980年提出的缺省逻辑的基础上,将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑,提出了一种缺省模态逻辑。它是一种非单调逻辑,并且具有在Reiter的系统中所不能保证的两个重要性质:扩充的存在性和非单调性,然后通过知识从其背景中分离出来的方法,给出了一个缺省理论扩充的概念,它是Reiter的扩充概念的一种推广。     

关于逻辑函数的卡诺图化简法的几个问题

用卡诺图化简逻辑函数时，合并的最小项方法若有两种以上的，要比较、检查才能得出其最简逻辑函数表达式，且结果不具有惟一性。     

马克思的历史进步尺度思想对“和谐发展”的启示

科学发展与社会和谐的结合就是"和谐发展"。马克思的历史进步尺度思想对"和谐发展"有多方面的启示:生产力的发展归根到底会促进人的发展;生产力的发展程度是人的发展程度的标识;"共同富裕"是生产力与人"和谐发展"的归宿;主体创新能力是科学发展的可持续力。唯有实现"和谐发展",才能真正实现生产力发展与人的自由全面发展这两个社会进步尺度的有机的内在统一。     

关于新历史主义与新历史小说

作为一种新的历史观和新的文学批评方法，新历史主义在20世纪末期颠覆了传统的历史叙述和文学叙述。它传人中国以后，也自然对中国的历史小说创作有着一定的影响，以至于很多人认为，中国的新历史小说就是在新历史主义的历史观念影响之下而形成的，两者在历史观上是一致的。然而，作为西方舶来品的新历史主义和中国土生土长的新历史小说之间在历史观念上有着很大的不同，两者之间并不能直接划等号。文章即拟对两者之间的差异作初步探讨。     

论“两独”与“两依”兼评《制约逻辑元思想剖析》一文

真正的充分条件关系刻划清楚后便是制约关系,事实上具有"两个独立性"。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数实质蕴涵事实上具有与"两个独立性"相对立的"两个依赖性",从而并非真正的充分条件关系的"逻辑抽象"。即使在正统数理逻辑中作为逻辑工具使用的"若,则"乃是事实上具有"两个独立性"的制约,而并非为其所研究的实质蕴涵。希望进行立足原文原意的纯学术讨论。     

非精确性推理的模糊化处理方法研究

在构建专家系统时,非精确性推理的研究处于相当重要的地位。本文在对非精确性推理的理论和应用实例进行评析的基础上,运用模糊数学方法,提出了处理非精确性推理的FUZZY模式;并将它运用于港口装卸工艺设计专家系统的构建中。     

用 S7-200 PLC I/O 口传输打印数据的 STEP 7 语言实现

在对ＳＩＥＭＥＮＳＳ７－２００系列ＰＬＣ的专用编程软件ＳＴＥＰ７的功能和特点进行归纳的基础上，介绍了应用ＳＴＥＰ７语言实现ＳＩＭＡＴＩＣＳ７－２００ＰＬＣＩ／Ｏ口传输并行打印数据的编程技术关键。     

基于时空自动机的CPS建模与验证

为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。     

基础教育改革的政治逻辑

基础教育改革的政治逻辑是指支配基础教育改革运行的政治因素及其运行机理。基础教育改革形成的政治逻辑是：改革无不由政治官员提议形成,并具有主观性与功利性;改革方案无不由政治官员延请专家学者论证形成,并具有选择性与合谋性。基础教育改革实施的政治逻辑是：改革无不以试验形式渐进推行,并具有人缘性与地缘性;改革无不在总结反思中实施推广,并具有自我辩护性与潜在排他性。政治因素在基础教育改革中力度与限度的博弈逻辑是：总体而言,政治因素对于基础教育改革的基本趋向是力度大于限度、具有外在强制性与自我挺进性特征,限度制约力度、具有外在回避性与自我消解性特征;力度的主要依据在于政治因素本身的客观必然性、行政推进力量的明显强势和非行政干预力量相对分散;限度的大致条件可以分为三类具体情形。     

宁波历史文化街区保护与更新存在的问题与对策研究

在对宁波历史街区保护与更新现状调查基础上,认为历史街区保护存在着建设性破坏和保护性衰败两大文化与社会困境。提出突破困境之路在于运用有机更新理论和方法,并从保护与延续整体历史原真性、生活真实性,保护与传承人文社会网络等方面,对历史街区的保护与更新方法进行探讨,以期达到对历史街区进行整体原真性保护与更新,维系发展人文活力和可持续发展的目标。