集合论的创立与发展

康托尔集合论是德国数学家G.Cantor在19世纪70年代创立的,它是数学中最富创造性的伟大成果之一,目前其基本概念已渗透到数学的所有领域,且不断促进着许多数学分科的发展,是整个现代数学的基础.20世纪集合论得到迅速发展和创新,相继出现Fuzzy集合论与可拓集合论,以解决实际中出现的新问题.     

vague命题逻辑与基于线性变换的近似推理

针对vague命题与近似推理问题,研究了不同论域上的基本命题运算与推理表达.由集合的扩张原理,引入vague命题上的基于连续三角模的广义合取/析取以及S-蕴涵与R-蕴涵运算.依据合成运算的定义给出vague线性变换的概念,提出基于vague线性变换的近似推理方法,进而得出单规则、多规则以及复合前提多规则的推理形式的表达.通过命题运算可实现多论域的各种vague环境下信息的聚合.与其他方法相比较,基于线性变换的推理方法具有操作简单、可选择性强等特点.     

粒及粒命题逻辑

本文定义了粒的概念及相关概念,引入了数理逻辑中五个命题逻辑联结词表,并从粒的角度分析并讨论了粒的联结词,使得粒的命题联结词与数理逻辑的命题联结词吻合地很好,并且应用于数据约简过程中。     

从集合论的角度分析循环不变式

Dijkstra-Gries提出了五种循环不变式的开发技术,薛锦云教授另外又给循环不变式作为迭代算子的定义,本文从集合论的角度来看循环不变式。     

二值命题逻辑中公式的一种概率真度

将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式.     

《马拉喀什》的对比与类比

乔治·奥威尔秉承＂把政治写作变成一门艺术＂的创作风格,在以鲜明的反殖民主义为主题的散文《马拉喀什》中,用客观、冷静、含蓄的叙事笔调揭露冷血、贪婪的殖民主义者对殖民地人民的残酷剥削压榨,其丰富的内涵由意味深长的类比和多层次多角度的对比呈现出来,到达思想与艺术的完美统一。     

用数据采掘的集合论方法分析体育达标成绩

数据采掘是数据中知识发现的核心，集合论方法是数据采掘较常用的方法之与，并通过实例对体育达标成绩进行分析。     

复变函数与高等数学的一些类比

结合教学实践和类比的经验及方法,探讨复变函数和高等数学的一些概念和定理的异同。     

命题逻辑定理证明的一个普遍能行算法

本文以等值置换为推理规则，以交换律、结合律、分配律、吸真律和排中律为公理建立一命题逻辑形式系统。在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。也引申出命题逻辑定理证明的一个可信性问题。     

命题逻辑中推理理论的数字形式

本文对简单合取式的主析取范式及简单析取式的主合取范式作了数字形式上的表示,在一定程度上简化了自然推理系统P.     

二值命题逻辑中的伪距离不等式与近似推理

伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具.以公式真度为基础,通过真度不等式以及公式到有限理论结论集伪距离的真度表示,给出了二值命题逻辑中与有限理论相关的伪距离的一系列不等式,讨论了伪距离不等式在近似推理中的应用,为二值命题逻辑系统的近似推理研究提供数值化工具和方法.     

非线性序集逻辑系统L4^2中命题真度值在[0，1]上的分布

利用势为4的均匀概率空间的无穷乘积在四值逻辑系统中引入公式的真度概念，给出了真度推理规则，证明了真值集为非线性序集四值逻辑系统L4^2中全体公式的真度值之集在[0，1]上是稠密的，为进一步建立四值非线性序集逻辑系统的近似推理理论奠定了基础．     

非线性序集逻辑系统L_4~2中命题真度值在[0,1]上的分布

利用势为4的均匀概率空间的无穷乘积在四值逻辑系统中引入公式的真度概念,给出了真度推理规则,证明了真值集为非线性序集四值逻辑系统L24中全体公式的真度值之集在[0,1]上是稠密的,为进一步建立四值非线性序集逻辑系统的近似推理理论奠定了基础.     

浅谈比喻法、类比法在电工基础课理论教学中的应用

阐述丁电工基础课理论教学的重要意义,分析了在理论教学中运用比喻法、类比法作用,指出了运用此教学方法对该课程教学的价值与意义。     

论泛集合、泛逻辑和泛代数的关系

根据描述清晰事物的经典集合、经典逻辑和L indenbaum代数是三位一体的同构关系的事实,猜想在描述复杂事物的泛集合、泛逻辑和泛代数之间也存在这种三位一体关系,以此作为研究的基础,建立了部分代数系统之间的层次关系,并给出了与之同构的逻辑系统,并利用泛逻辑学中关于线序柔性命题逻辑学的研究成果,部分证实了上述猜想.     

时滞不稳定系统的模糊设定值加权PID控制

针对时滞不稳定系统,提出了一种基于模糊逻辑的设定值加权PID控制方法。采用以设定值跟随误差和误差变化为输入的二维模糊逻辑控制器来在线实时调整加权参数值,使系统获得更好的目标值跟踪特性。仿真实验结果表明这种方法具有较好的动态性能指标。     

Analogy Theory and Application of Pressure Difference of Wind Turbine Blade Profile

风力发电叶片翼型型线理论及应用

张照煌,Aqeel Muhammad,张峻,刘青,李魏魏,宋玉旺

（华北电力大学 能源动力与机械工程学院 ,北京 102206）

中文说明：

经研究发现,在流动空气与风电叶片相互作用规律的过程中,真空中自由下落的空气团的形态与前后压差作用下流动的空气（风）非常相似;因此,本文提出以重量比拟压差设计风电叶片翼型型线的理论,即：空气团流过风电叶片翼型线的时间最短及应有尽可能多的空气团作用于该翼型线;以此为基础,本文推导出风电叶片翼型型线方程并进行了应用研究;通过从现有翼型库中选取三种相似翼型进行模拟对比,结果表明用本文建立的风电叶片翼型线方程设计的翼型线翼型(“SJX翼型”)在攻角变化时的升力及升力系数较所选取的三种翼型有较大的提升,翼型生阻比亦有小幅提升,且流动空气作用在气动中心的力矩均较大,验证了论文建立的风电叶片翼型线方程设计翼型型线的可行性和有效性,从而为风电叶片翼型型线设计理论的发展提供了新尝试和有益借鉴。

关键词：风力发电叶片;重量比拟压差;翼型型线;生阻比;翼型设计

     

电磁类比的又一应用

分别用矢势法和电磁类比的方法计算均匀带电球面绕自身某直径匀速转动时其空间的磁场分布，通过两种计算方法的比较证明，电磁类比方法在求解有关电磁场问题时比较简便。     

模糊集合(二)

模糊集合（二）陈大为（黑龙江水利高等专科学校）模糊集还存在其他形式的代数系统，常用的有（Ｆ（Ｘ），＋∧，·，Ｃ）和（Ｆ（Ｘ），，·○，Ｃ）定义２．２设Ａ，Ｂ∈Ｆ（Ｘ），则（１）Ａ＋∧Ｂ（Ａ＋∧Ｂ）（ｘ）＝Ａ（ｘ）＋Ｂ（ｘ）－Ａ（ｘ）·Ｂ（ｘ），?..