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

沈卫国 《天津职业院校联合学报》2005,7(3):85-91

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

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

李倩 《中国教育研究与创新》2007,4(5):24-25

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

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

周训伟  鲍泓 《毕节学院学报》2006,24(6):32-35

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

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

周敬宣  李湘梅  陈雷  李勇 《资源科学》2007,29(3):111-116

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

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

林岚 《湖北体育科技》2007,26(5):583-585,588

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

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

刘涛 《科技广场》2007,(3):225-227

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

非良基集合理论的研究及其应用     

杜文静 《毕节学院学报》2011,29(8):1-4,53

近年来,随着科学的发展人们发现循环现象无处不在,它的研究越来越受到人们的关注。为了对各种循环现象做出解释,集合论的研究从良基集合延伸到非良基集合(也叫超集合),在此基础上,论述四种不同的非良基公理及其集合全域:A,S,F,和B,并且讨论了非良基集合在计算机科学、哲学和模态逻辑等领域的广泛应用。  相似文献   

形式语义学研究两题   总被引：1，自引：0，他引：1  

满海霞 《毕节学院学报》2010,28(2):37-41

形式语义学奠基人蒙太格在其语句系统中设置了两个初始类型：对应个体的类型e与对应真值的类型t。按照传统哲学的观点,专名指个体,但是在蒙太格的系统中,专名不直接解释成论域中的个体,它表示性质的集合,对应类型〈〈e,t〉,t〉。这样的类型匹配方式实现了专名与量化短语的统一处理,是蒙太格语法的独到之处,有着深刻的集合论基础。  相似文献   

社区远程教育为空巢家庭服务的模式     

谢瑞霞 《继续教育研究》2008,(7):45-47

社区远程教育是建设和谐文化的重要途径。空巢家庭目前在中国一直呈上升趋势,由于空巢家庭成员本身所具有的特点,使他们成为社区远程教育的重要对象。本文针对空巢家庭特点,从教学资源、教学内容、教学方式和考核方式等几个角度,提出社区远程教育对这一群体的教学服务模式。  相似文献   

一种基于遗传算法的连续属性离散化方法     

刘志先 《钦州学院学报》2008,23(6)

连续属性离散化是基于粗糙集的数据挖掘中的关键问题。针对该问题提出了一种遗传算法,在保持不可分辨关系的前提下,以最小断点集为目标,对交叉算子、变异算子进行了改进。最后,使用UCI机器学习数据对算法进行了验证,并与其它的离散化算法进行了比较,结果表明算法是有效的。  相似文献