剖析三种非经典逻辑的思想来源与特征

论述了概率逻辑,模糊逻辑和不确定逻辑的思想来源;揭示了它们的思想本质特性;比较分析了它们的长处和不足.     

面向大语料库的语音合成方法研究

针对几百小时粗标注大语料库, 提出一种新颖的语音合成系统构建方法。首先, 借助于语音识别、文本对齐和句法分析等技术实现大语料库的自动筛选与标注。 然后, 为了有效解决大语料库声学模型训练中存在的内存空间以及计算时间开销过大等问题, 优化了传统的训练流程, 在不损失声学模型准确性的前提下, 显著提高了模型的训练速度。主观实验表明, 与具有精标注的小语料库相比, 引入粗标注的大语料库可以带来0.5分左右的MOS提升。     

逻辑能力与数理科学创新小议

 我国历届国家领导人都高度重视科技创新,但“我们天天大呼创新和创造,却不问创新和创造从何而来”。每当谈起创新,人们往往只提起专注、投入等品质因素,很少谈到具体的创新方法。笔者在本文中讨论数理科学创新中逻辑方法的作用,以期抛砖引玉。     

信息理论框架下的神经网络构建

神经网络模型的构建方法是神经网络研究的重点和难点,传统的构建方法建立在实验和重复学习的基础上,本文提出了一种信息理论框架下的神经网络构建方法基于熵的神经网络(EBNN).EBNN借助于前馈网络与决策树的等价性,采用熵做为神经网络构造的准则,利用决策树的构造思想和方法,建立了一种系统的神经网络构造方法.实验表明EBNN方法学习速度比传统BP网络快,但又不降低神经网络性能.     

基于AODV协议的动态路由管理算法

提出了一个基于AODV协议的动态路由管理算法,通过算法动态地配置路由协议参数,适应网络环境的变化,提高路由协议性能.算法利用模糊逻辑对移动自组网(MANET)网络环境进行分类,根据不同类型的MANET网络环境选择不同的AODV路由参数来改善路由性能.将这种算法应用到AODV路由协议中,通过NS2网络仿真器对标准AODV算法和基于AODV的动态路由管理算法进行了仿真比较.仿真结果表明,基于AODV的动态路由管理算法显著改善了协议路由性能.这证明在优化MANET路由性能研究领域中应用模糊逻辑的可行性.     

试论互逆主义数学哲学与东方精确科学

经验科学、数学、逻辑分别是初抽象、再抽象、全抽象科学,数学定理与逻辑定理之间具有相似性是有原因的,互逆主义具有整体论、非公理化、实用化的性质,是东方精确科学的代表之一,而东方精确科学可优于西方逻辑和数学.     

互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

基于Web的教学评价系统的研究与设计

本文在分析了教学评价与模糊数学之间的关系之后,提出了一种新的评价方法,即以科学可行的评价指标为依托,采用记名问卷法搜集评价信息,利用综合评判模型、计算机技术去统计、量化评价结果,借助因特网或局域网实施评价活动。     

模糊粗糙集与模糊粗糙逻辑算子

在S．Nanda和S．Majumdar定义的模糊粗糙集以及模糊粗糙集运算的基础上,给出了新的模糊粗糙集∪、∩运算及偏序关系,并讨论了它们的性质,定义了模糊粗糙逻辑补、与、或算子,同时给出了这些算子的构造方法。     

数学选择题的编拟

选择题已是各级各类学校考试——尤其是标准化考试中所广泛采用的题型,并且因为它具备题型小、容量大,有利于培养学生迅捷解题能力和便于阅卷等优点而受青睐。然而因选择题只表现解题结果,无法显示分析问题与解决问题的思维过程,所以若编拟不当,其副作用也是不可低估的,特别是那些通过多种思路都能获得正确答案的选择题,其所具有的“欺骗性”和“危害性”更应引起我们的重视。本文试从选择题的逻辑结构入手,探讨与“四选一”选择题的有关问题。