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

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

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

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

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

在构建专家系统时,非精确性推理的研究处于相当重要的地位。本文在对非精确性推理的理论和应用实例进行评析的基础上,运用模糊数学方法,提出了处理非精确性推理的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对属性进行自动化验证。     

基础教育改革的政治逻辑

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

The Philosophy of Sport

Philosophy as a discipline is typically characterized through the use of rigorous argument and analysis, and the clarification of the meaning of concepts. Philosophical problems are thus resolved, not through the appeal to empirical evidence, but by identifying inconsistent and confusing patterns of thought and reflection. This paper will clarify the nature of a philosophical methodology by explicating the relationship between the philosophy of sport and the core traditional areas of philosophy, metaphysics, epistemology, axiology and logic.     

论模糊逻辑的有效性

为了符合经典有效性标准,我国学者王国俊教授和婓道武教授分别构造了模糊形式演绎系统L*和模糊谓词一阶形式系统K*,这反驳了模糊逻辑缺乏逻辑基础的谬论。然而随着现代科学日益进步和逻辑学分支学科的不断发展,经典逻辑过于狭隘的非此即彼的模式及其有效性标准显得越来越过时了。非形式逻辑通过对经典有效性标准的限制和修改,已形成归纳有效性、实质有效性等另类的有效性概念。模糊逻辑用发展了的有效性标准来评估更能体现其理论存在的价值和自身特点。     

谈大学英语写作的逻辑谬误

结合逻辑学谬误理论和分类,以实证研究为基础,对大学生英语习作中存在的逻辑谬误进行系统的识别和分析,以当中较为典型的逻辑谬误为例,说明逻辑对写作条理性和表达效果的重要影响,以及在英语教学中引入逻辑训练环节的必要性。     

They do not buy it: exploring the extent to which entering first-year students view themselves as customers

While a number of scholars have discussed the pervasiveness of the conceptualization of students as customers, to date there has been limited reliable research examining the extent to which students actually view themselves as customers. Using a survey that was administered to a census of entering first-year students at a large public research university (59.8% response rate), this study shows that students do not agree with many of the educational beliefs and planned behaviors associated with a customer orientation. Results of exploratory factor analysis suggested only 28.9% of respondents expressed a customer orientation. These results show that contrary to what has become common sense in postsecondary education, most students at this public university do not express a customer orientation towards their education. Such findings should make scholars and practitioners rethink some of their embedded assumptions with regards to the goals, motivations, and general educational orientations of today's college students.