论中学历史教材的逻辑结构

学科体系逻辑、学生学习心理逻辑和教材编写逻辑是中学教材必须体现的逻辑。本文探讨中学历史教材的编写应该如何理顺这三种逻辑关系,并以此为视角对《全日制义务教育历史课程标准》及相关教材进行评价。     

基于 PLC 的船舶机舱巡回监测报警系统的研制和改进

介绍了基于小型ＰＬＣ的船舶机舱巡回监测报警系统及其改进后全系统的组成、硬件、软件和系统功能。     

船舶电站仿真系统数学模型

阐述了船舶电站计算机仿真器逻辑和控制系统数学模型及系统动态特性的数学模型,并着重介绍了动态特性数学模型的计算机算法。     

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

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

性别逻辑对女性体育文化发展的影响

性别逻辑存在于整个文化体系内,并普遍影响着整个文化形态的各个领域,体育文化也毫无疑问地受到性别逻辑的影响。通过对体育文化中的一些性别不平等现象的分析,探讨了性别逻辑对女性体育文化发展的影响。     

教学论是关于教学的事理之学

教学作为一种动态性的价值存在,是一种人为的且是为人的存在,是一种人在做、所做的事的存在,即“人事”存在。作为“人事”存在的教学存在其基本性质决定了教学论是关于教学的事理之学。教学事理学相应地是由相互联系的教学价值规范、教学科学理论和教学方法技术构成的有机统一体。教学价值规范研究表明教学的应然性;教学理论研究规定着教学的可能性;教学方法技术研究制约着教学的现实性。     

CO-SATISFIABLE AND CO-VALID OF TWO FIRST-ORDER LANGUAGES

In this paper,the authors point out and demonstrate the difference of theconcepts concerning co-satisfiable and co-valid between one first-order language andtwo first-order languages,and put forward the concepts about uniform co-identical truthand uniform co-satisfiability.Thus some theorems in the book“A Course inMathematical Logic”,written by J.L.Bell and M.Machover,are corrected.     

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

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