康托对角线法真的证明实数不可数了吗?

首先揭示,康托对角线法的使用存在一个隐含前提。如改变前提,是可以得到连续统与自然数集合间的一个一一对应的。这一结论,与传统看法明显不同,而由此,连续统假设的相对独立性将是必然的,从而为这一问题的澄清提供了依据。     

深冷处理在瓷砖模具上的应用

瓷砖模具的寿命主要取决于衬板的质量.文章从原理上分析深冷处理对镶嵌式衬板中镶条性能的影响.试验结果表明,温度在-160℃和-196℃,保温时间2～4h最适宜.     

方寸之间现妙处——几首古诗中的音乐描写比较赏析

古诗中的音乐描写，用语不多却能尽显音乐的妙处，把无形的抽象的音乐变为有形的具体可感的形象。为此，诗人们采取了许多手法。本文就这一问题，分析了几首诗歌以期得出结论。     

互逆真蕴涵的建立过程为何要这样定义

互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样,都是三真一假的真值表,但含义却不尽相同。     

基于集对分析的城市生态足迹预测——以武汉市为例

自然生态环境是城市生态系统赖以生存和发展的重要物质基础，生态足迹作为生态环境承载状态测度的指标，受到社会、经济、人口等多种因素的影响，表现出时空动态性和不确定性特征。鉴于集对分析(SPA)在处理不确定性问题的优势，以武汉市为研究对象，将城市总生态足迹与其相关影响因子联系起来考虑，融合集对分析中的同异反模式识别的“择近原则”和聚类分析思想构造集对分析动态模型，模型精度较高，验证误差均小于0.3%。并对武汉市2005年～2020年总生态足迹发展趋势进行了预测。研究结果表明，2005年～2020年总生态足迹将由1 784.662×10⁴hm²增长到2 781.388×10⁴hm²，呈现出低于GDP、高于能源利用率增长速率的趋势，生态环境将进一步恶化，对此就武汉市生态系统的发展提出了对策与建议。最后，指出SPA动态模型对城市生态系统中生态足迹动态化方法的修正具有理论和实际意义。     

基于思维进化算法--粗糙集理论的模糊控制方案及实现

针对传统模糊控制中不确定知识获取的主观性缺陷,本文充分利用思维进化算法,考虑所有属性条件全局寻优离散点和粗糙集理论直接从数据中挖掘知识并进行约简的能力,结合两者提出一种新的模糊控制方案。仿真实验证明,该方案相对于PID控制简单易行,有良好的控制品质及很强的鲁棒性。     

基于Rough Set的高职教育教学质量评价

针对高职教育的特点和现状,建立了高职教育教学质量评价指标体系,并利用RoughSet强大的数据挖掘能力,对若干位教师的教学质量进行了评价。将该方法应用于教学质量评价,不但能科学有效的得出评价结论,而且有助于教学质量的可持续发展评价。     

基于粗集的支持向量机文本分类方法研究

本文提出了一种基于粗糙集的支持向量机文本分类方法。该方法利用粗糙集的约简理论降低了支持向量的维数,同时保证了分类性能。实验表明该方法能获得较好的分类效果。     

普通高校健美操教学体系的构建与设想

根据大学生的生理、心理、知识方面的特点,以"健康第一"为指导思想,以"终身体育"为主线,从教学内容、教学形式、考核与评定等方面,重新构建理论依据充分、可操作性强、符合大学生身心发展特点、能适应现代化社会发展需要的健美操教学新体系,为推进高校健美操课的进一步发展,为高校体育教育的进一步改革提供有益参考.     

柴油发电机组故障录波器的研究

故障录波器一般应用于高压端的电力系统,由柴油发电机组构成的低压电力系统很少安装故障录波器,而柴油发电机组发生故障是很常见的。计算机软硬件技术的飞速发展,现场总线、数字信号处理器(DSP)、嵌入式计算机技术以及相关的一些软件技术为微机型故障录波装置的改善提供了必要条件。本文介绍了一种基于当前先进的计算机技术的高性能的机组故障录波装置的设计方案,该装置特别适合柴油发电机构成的低压电力系统。