数理逻辑中主范式的存在性

数理逻辑中关于析取范式与合取范式的求法有两种,一种是利用真值表直接写出,另一种利用命题公式的等值演算得出.使用数学归纳法,从归纳于逻辑联结词的个数和归纳于命题的个数两个方面,给出了析取范式与合取范式的存在性证明.     

创意世博

<正>159年来,创意始终是世博会的关键词。从新科技、新产品,到新理念、新潮流,在世博会上,人类社会发展中的诸多命题,往往都需要用崭新的创意,给出智慧的作答,托起人类更美好的明天。那么,此次上海世博会上,又有哪些创意能让我们的生活更美好呢     

大学生创新分享平台设计与开发

大学生是国家和社会发展的重要基石,而当下大学生教育却普遍存在大众化、无特色发展等问题。为了满足21世纪国家人才发展的需求,本文主要对"有创意缺乏技能""有技能缺乏创意"这两类大学生进行分析,综合考虑"创新创意分享""合作共赢"两个方面,对平台开发背景、平台功能需求、技术方案等进行阐述。     

大学生创新分享平台设计与开发

大学生是国家和社会发展的重要基石,而当下大学生教育却普遍存在大众化、无特色发展等问题。为了满足21世纪国家人才发展的需求,本文主要对"有创意缺乏技能""有技能缺乏创意"这两类大学生进行分析,综合考虑"创新创意分享""合作共赢"两个方面,对平台开发背景、平台功能需求、技术方案等进行阐述。     

关于“创意经济”战略的再思考

检视创意产业和创意经济的理论来源及现实发展,从战略研讨的角度重新论证了创意经济的经济意义与文化意义,认为在全球创意经济大潮中包含着许多需要澄清及反思的复杂命题;针对中国经济及社会发展的现实要求,指出应当重点展开关于创意经济发展战略的定位及路径方向的思考。     

控制设计——设计的失控与风险反思

现今设计面临的问题,不是设计太少、创意不够突出或创新意识不够明显,而主要在于设计师过度的设计行为本身,或者说是在于设计的失控。此外,单纯强调设计的创新和创意性特征的做法,已经把设计引入了一种发展的困境。就创作层面的思考而言,进行控制比设计更关键,因为控制本身包含了更为完整的设计方法系统。同时,控制设计的方法和理论命题的提出,对我们重新思考创新设计、创新效益和设计风险,提供了更加系统的认识基础,这在某种程度上也是对服务设计研究课题的深化。     

扰动模糊逻辑中的连续算子

本文提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊连续算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

采用经典一阶逻辑的混合系统仿真逻辑验证法

针对混合系统难以分析和验证的问题,提出了一种采用经典一阶逻辑的混合系统仿真逻辑验证法.首先给出了混合程序、混合系统仿真逻辑公式、仿真逻辑的命题形式和含义、混合仿真、混合程序仿真语义、仿真逻辑公式的值等定义,然后在经典一阶逻辑、混合程序仿真语义和仿真逻辑公式的值的基础上给出仿真逻辑形式推演规则.最后通过煮鸡蛋的例子验证了混合系统的活性.     

论环境犯罪

在对环境犯罪的内涵加以(?)释的基础上,对环境犯罪的构成要件,即环境犯罪客体、环境犯罪客观方面、环境犯罪主体、环境犯罪主观方面四个要件进行了探讨,以求对完善环境犯罪理论有所裨益。     

精细结构常数

本文从不同的角度对精细结构常数的物理意义了探讨，以求对其有较深刻，全面的认识。     

网络技术与人的创造力批判

网络技术的诞生不仅促进了人的创造力的发展,而且也造成了人的创造力的扭曲,从而导致了虚假的创造力。造成虚假的创造力的根本原因是资本主义制度的生产方式。要彻底消除虚假的创造力,必须变革资本主义制度,实现共产主义。     

论创造性人才的培养与新时代德育

如何实施创新教育,培养创造性人才是当前教育改革的研究主题.探讨创造性人才的培养与德育之间的密切关系,认为培养学生的创造性也应成为新时代德育的新要求.     

模糊规则中的不确定性推理研究

针对模糊规则中以真值形式表达的不确定性推理问题进行了深入的研究.首先完整地分析了规则中的前提、结论、证据、条件、推论和结果这6类命题的不同含义;然后根据规则应用的实际情况,提出了一种新的逻辑组合关系——广义逻辑关系;最后定义了模糊子集匹配度和模糊规则匹配度,并给出了相应的条件真值和结果真值推理算法,从而形成了完整的通用不确定性推理模型.     

单峰符号序列的一些性质及单峰函数中的周期轨道

本文给出了单峰函数符号序列即由字母R.L.C组成的一类序列的一些性质,推广了Collet和Eckmann的文章中的某些结论,证明了关于单峰函数的点的旅程的一些命题,并对作者的另一篇文章中的一个主要定理作了进一步的讨论。     

可数紧性的等价命题

给出了可数紧性的3个等价命题.     

关于函数一致连续性的判定

本文弃一惯由定义证函数一致连续性之路,给出三个命题,以此证明函数的一致连续性。     

新形势下影响居民消费意向的因素分析

科学合理地对居民消费情况进行分析,找出影响居民消费的制约因素,从而提出促进消费的对策措施,对促进济源经济持续健康发展,对政府进行经济决策,具有非常重要的意义。通过抽样调查,对不同年龄、不同收入、不同学历的人群进行调查,指出了居民收入、消费环境、预期消费心理消费习惯等制约因素,提出了增加收入方式及相应的对策措施。     

关于FP-投射模

本文利用投射模的研究手法构造出FP-内射模的对偶模类FP-投射模，并研究了它的性质及等价命题．     

数学建模在创新型人才培养中的作用

介绍了数学建模的发展及数学建模的思想方法,论述创新型人才的特征,阐述了数学建模教学与数学建模竞赛对培养创新型人才的作用,进行了工科数学教学及教学改革适应于创新型人才培养的研究与探讨.     

Noether环的伪内射性特征

进一步研究了Noether环的伪内射性特征，得到了刻画Noether环的几个等价命题．