科学发现的逻辑与创新意识的培养

“科学发现的逻辑”与对科学发现问题做逻辑的研究,是两个不同的问题。现代科学哲学家对“科学发现的逻辑”的否定,给教育者如何培养人才指明了方向。教育应当把培养学生的创新能力作为重点。     

基于MAX+plusⅡ的数字钟的设计与实现

介绍了一种基于EDA工具——MAZ＋plusⅡ的多功能数字时钟的设计。在设计了数字时钟的每一个单元电路：分频、计时、显示及整点报时电路之后下载到硬件实现。其设计巧妙结合文本、原理图两种输入方法,思路简洁、新颖,经验证系统功能可靠。     

中国现代文学中的精神病患者形象及其价值

从鲁迅的《狂人日记》开始,中国现代小说中形成了一个“疯癫谱系”,他们在现代文学当中分别执行着刻度尺功能、批判功能、控诉功能等现代文学职能,同时他们无论是在时间、空间观念上,还是在心理世界上,都有着从内部的罪恶感到外部的病态的展示过程,从而也实现了现代人的精神转型。     

多平台与多种企业逻辑支持技术

通过对多平台多种企业逻辑支持技术结构的分析,介绍了该机构在信息系统设计中的优越性.分析了该结构在应对企业需求变化及多种数据库平台时的优点及实现方式.     

英语词汇的逻辑记忆法——词缀记忆法与联想记忆法

词汇学习是外语学习者在学习外语过程中所面临的主要问题之一。为帮助英语学习者更快速、更牢固地记忆英语词汇,本文将介绍两种英语词汇的逻辑记忆法——词缀记忆法;联想记忆法。     

Multisim在数字逻辑课程设计中的应用

阐述了在课程设计引入EDA技术的必要性和优越性.介绍了应用EDA技术对数字电路课程设计进行的改革和实践,根据目前EDA电子设计自动化的应用现状,分析了传统数字逻辑课程设计的不足和利用Multisim进行数字逻辑课程设计的新方法.     

系统￡*中极大相容理论结构刻画的归纳证明

在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统￡*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统￡*的满足性定理和紧致性定理,其结果完善了系统￡*的理论体系.     

基于模糊逻辑原理的非定常空气动力建模研究

以模型大振幅运动风洞试验数据为依据,对近几年来非定常空气动力建模中常用的模糊逻辑建模方法进行改进,使得建模速度更快、模型精度更高.在进行非定常空气动力建模研究中,主要对模糊逻辑建模方法中的求解内部函数系数矩阵的方法进行了改造,采用了一种新的直接法求解内部函数的系数矩阵,首先将求解内部函数的方程简化成一线性方程组,然后采用奇异值分解法(SVD)求解线性方程组.分别采用改进前后的两种方法,对两组非定常气动力数据在不同结构下进行模糊逻辑建模并进行比较.结果表明,相对于过去采用的牛顿法,新的求解方法无论在求解速度还是在计算精度上都得到了显著提高.     

非0非1型逻辑方程构成的逻辑方程组的解法

给出了逻辑方程组成立的充要条件和化逻辑方程组为0型或1型逻辑方程的方法 ,证明了若两个0型逻辑方程的解集分别为S1,S2,则对应的逻辑方程组的解集为S1 S2;若两个1型逻辑方程的解集分别为S3,S4,则对应的逻辑方程组的解集为S3 S4,从而可应用此结论 解非0非1型逻辑方程构成的逻辑方程组.