从逻辑哲学看模糊逻辑的形式化

从逻辑哲学观点看,在"符号化、公理化的模糊逻辑"与形式化的"人脑使用的模糊逻辑"(苗东升的说法)这两者之间,只是形式模型及其现实原型的关系,决不相互排斥.真正的问题不在于,现实生活中人脑所使用的实际上行之有效的模糊推理,是否应该和可能符号化、公理化,而是在于如何恰当地进行形式化.笔者采用苏珊·哈克(Susan Haack)的逻辑哲学观点,认为非经典逻辑可划分为扩展逻辑和异常(deviation)逻辑,模糊逻辑归属于异常逻辑.本文以模糊逻辑系统FZ为例,具体分析了虽然经典逻辑中一些较强的公理和推理规则均不成立,但是与之对应的较弱的"合经典的"(well-behaved)公理和推理则却仍然可以成立,由此导致一系列新奇性质.笔者采用了达·柯斯塔(da Costa)的形式化技巧,它是关睛"在虚设不矛盾律成立的前提下"(相应公式可以称为"合经典的")才能成立的逆否律.当我们撤除了"虚设不矛盾律为前提"的限定,它又重新回到了无条件成立的情况.笔者也推广了玻尔(N.Bohr)和冯·威扎克(von Weizsaecker)关于对应原理的思想,认为作为非经典逻辑的模糊逻辑与经典逻辑之间也应当遵守"对应原理":经典逻辑是模糊逻辑的前身,模糊逻辑将构成更为普遍的逻辑形式,经典逻辑作为模糊逻辑的极限形式,在局部情况下还保持自身的意义.     

国家数学咨询组报告:美国数学教育的新视角

最近,美国国家数学咨询组向美国总统和教育部提交了《成功的基础：国家数学咨询组最后报告》,这是一份具有突破性意义的报告．它对美国数学教育的课程内容、学习过程、教师和教师教育、教学实践、教学材料、评价、研究政策和机制七个主题提出了新的视角,并对每一个主题提出了一些建设性的建议,也反映了美国数学教育观念的一些变化。     

职业院校专业的设置与调整

职业院校专业设置与调整应遵循以市场需求为导向、以区域职业岗位要求为依据、以优化为前提、具有适度的超前意识、力求效益最大化、稳定与灵活相结合、局部与全局相协调的基本原则.可采取进行市场机会分析、确定和定位目标市场、优化专业结构等步骤进行专业设置与调整.     

《线性代数》课程教学改革的实践与思考

《线性代数》在自然科学与社会科学的各个领域发挥着越来越重要的作用,但大学里的课堂教学与现实中的实际应用存在着一定的脱节。本文从线性代数课程的教学现状出发,提出了在教学内容、教学方法及教学手段上进行改革的一些建议。     

智能制造背景下自动化类专业综合实践平台的设计与实践

该文结合自动化类专业实践环节实际情况,设计了基于智能制造的自动化类专业综合实践平台,重点介绍了实践平台设计方案、硬件组成、实验项目以及实施成效。实践证明,实践平台能满足智能制造背景下自动化类专业人才培养实践要求,提高了学生的动手能力、工程设计能力、系统意识和创新意识,为自动化类专业人才培养提供了可借鉴的新途径。     

新形势下如何充分发挥政务信息工作在国家科技智库建设中的作用

文章以中科院2002—2015年向中共中央办公厅和国务院办公厅上报信息及采用批示情况为数据源进行多维度研究,深入分析了中科院政务信息对上报送工作现状和特点,并结合全球科技格局变革、我国科技智库建设需求和科技决策模式的新要求,建议建立嵌入科技决策、跨学科跨机构交叉融合式工作机制,建立能有效支撑政务信息工作发挥智库作用的信息资源和人力资源保障平台,建立政务信息产品评估审核制度和共享平台。     

加强职教"十管理" 提高企业整体素质

根据公司实际情况，从全面提高企业整体素质的目的出发，从职教计划、安全技术培训、经费管理等十个方面将工作经验进行了阐述。     

张家口市居民家中尘螨调查

尘螨是强烈的过敏原之一,可引起尘螨性哮喘、过敏性鼻炎、过敏性皮炎。1992年我们对张家口医学院居民家中的枕和褥上的尘土进行了尘螨检查,发现尘螨阳性率为10.96％(8户/73户),与国内其他省市报告比较有显著性差异,原因可能与张家口气侯干燥、寒冷、少雨,不利于尘螨的孳生有关。     

一种高效稳定的WebMail服务器系统的设计与优化

研究了高效稳定的、基于WEB的电子邮件系统的实现及性能优化,提高了服务器效率,利用开源免费软件调整用户认证、邮件存储、负载均衡,实现了高效、稳定、可靠、方便的大规模邮件系统。     

关于邓小平理论的两个命题

在当代中国，只有邓小平理论能解决社会主义的前途和命运问题；坚持邓小平理论就是真正坚持马克思列宁主义，毛泽东思想。这两个命题具有实践依据和科学性。正确理解和深刻邻会这两个命题，对于坚持邓小平理论和有中国特色社会主义事业的发展，具有极其重要的意义。坚持邓小平理论，在实践中丰富和创造性地发展邓小平理论，是中国共产党庄重的历史责任。