关于Robbins代数与Heyting代数的类似性质

Ｓ．Ｗｉｎｋｅｒ在文〔１〕中给出了Ｒｏｂｂｉｎｓ代数成为Ｂｏｏｌｅａｎ代数的一个较弱的条件。本文将讨论Ｈｅｙｔｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件，我们发现Ｈｅｙｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件与Ｒｏｂｂｉｎｓ代数成为Ｂｏｏｌｅａｎ代数的条件相似，从而提示了Ｈｅｙｔｉｎｇ代数与Ｒｏｂｂｉｎｓ代数之间具有一定的关系。     

H—空间中单调型集值映象变分不等式解的存在性问题

该文研究了一类具广义单调型集值映象的变分不等式解的存在性问题，结果包含文献「１，８，９」中的相应结果为特例。     

基于水平集方法的二维Stokes多工况流动的拓扑优化EI北大核心CSCD

本文采用水平集方法进行了多工况条件下Stokes流动问题的拓扑优化,研究了进出口边界变化对流体拓扑优化结果的影响。在拓扑优化过程中,采用无需样条参数化的重新网格划分方法来实现物理场和水平集类方程交替求解。以最小能量耗散为目标,通过对三工况条件下流动通道的拓扑优化设计,表明多工况条件下的流动拓扑优化比单工况条件下获得的拓扑优化设计结果更为合理。     

谐波显著度的基频提取方法

我们提出的谐波显著度的基频提取方法,目的是从语音信号中自动获取人声基频,该方法利用抑制因子计算出基频的谐波显著度谱,对各次谐波显著度加权求和之后进行基频轨迹跟踪确定语音的基频序列。在TIMIT掺噪数据集和音乐信息检索评测2005主旋律数据集上,谐波显著度方法的准确率分别达到了88.5%和73.3%,使倍频、半频错误相对降低了80%。实验表明,基于谐波显著度的基频提取方法增强了系统的抗噪性能以及抗倍半频错误的能力。     

非平面图的色数算法

本文对非平面无向简单图的点着色问题进行分析研究后,提出了一个点色数算法.该算法不仅给出了非平面图求点色数的方法,同时也解决了着色方法.并且对算法所涉及的有关性质定理给出了证明.     

线性谐振子的非定态波函数

引入初坐标算符和初动量算符为线性谐振子的力学量完全集，求解薛定谔方程，可得到线性谐振子的两类非定态波函数。     

定义在分形集上函数的H-导数

 分形的生成含有降维与升维两种形式,采用适当的方式总可以对分形集加以定向化,分形的内禀测度是Hausdorff测度。因此,定义在分形集上的函数可以看作是在Hausdorff测度下定义在区间[0, h]。在函数图像也是分形的前提下,依函数的Hausdorff测度的定义,给出了定义在分形集上的函数f(p)关于Hausdorff测度p的导数以及一些性质。     

基于水平集方法二维模型的软性磨粒两相流流场特性分析方法

两相流场特性分析是软性磨粒流精密加工方法的技术关键. 针对此问题, 利用水平集方法(LSM)结构拓扑变换原理, 建立了描述磨粒流在另一流体中运动变化的二维模型. 该模型中, 用LSM捕捉两相流之间的界面, 从而对两相流的运动情况和相关参数进行模拟仿真, 深入讨论了磨粒流加工机理. 研究表明: 以LSM原理建立的二维模型, 成功地仿真模拟了两相流相变过程; 利用k-ε湍流模型与Preston方程相结合的数值分析方法, 对流道内各区域的速度等流场特性进行讨论, 为软性磨粒流加工提供了前期基础性研究. 关键词： 水平集方法 结构化表面 软性磨粒流 k-ε湍流模型')" href="#">k-ε湍流模型     

基于废铁渣载氧体煤加压化学链燃烧试验研究

针对废铁渣载氧体,在小型固定床反应器上进行了燃煤加压化学链燃烧试验以及载氧体持续循环能力的研究,结果表明,压力增加抑制了煤的初始热解过程,提高了煤焦的气化过程以及气化产物与载氧体之间的反应.随着压力增加,CO2浓度和燃料的转化率增加,CO和CH4的浓度降低,载氧体的转化率也随压力的增加而增加.由于载氧体载氧能力一定,随...