无界问题无网格方法和自然边界元的耦合计算

为充分利用无网格方法和自然边界元的优点,用无网格和自然边界元耦合的方法来解决带方孔的无界平面弹性问题,通过引入人工边界,用自然边界元方法来描述无界问题,编制无网格和自然边界元耦合方法的相应计算程序。与有限元方法计算结果的比较,表明了耦合方法的有效性。     

求解线性不等式组的一个统一算法

本文给出了求解线性不等式组的一个统一算法,此算法包含了松弛方法、Cimmo-型方法:Richardson-型方法、同时投影方法和替代约束方法,同时也讨论了这一算法的分组顺序迭代和平行迭代的实现.     

一种基于Rough集的数据约简方法

在对Pawlak的属性约简数据分析方法和Skowron的分明矩阵方法进行深入研究后,通过引入排斥矩阵提出了一种新的数据约简方法,经过实践证明这种方法在对决策表进行数据约简时可以和Pawlak的属性约简数据分析方法取得同样的效果.     

嵌入式实时软件需求规格说明的原型化检测方法

提出了一个检测嵌入式实时软件需求规格说明的方法,该方法将原型化方法,可执行的需求描述语言和动画显示集成为一体,并可模拟执行嵌入式实时软件的需求规格说明,此外,也阐述了这个方法的基本原理和某些实现方法,最后,讨论了这个方法及相关的支持环境的特点。     

结合梯度与区域信息的变分水平集图像分割方法

在研究分析基于梯度的图像分割方法和基于区域的Chan-Vese(C-V)分割方法的基础上,提出了一种改进的分割方法,该方法将图像的边缘信息和区域信息相结合,既保留了基于图像边缘信息的分割方法对图像边缘逼近效果好、分割曲线光滑,又保留了基于图像区域信息的分割方法演化速度快、对弱边界和内部有空洞的情况处理效果较好两方面的优点.实验结果表明,该方法效果良好,鲁棒性较强.     

降低轴流风机噪声的两种方法

本文对轴流风机的噪声源进行了理论和实验分析,对降低风机噪声的方法进行了总结。在此基础上,研究了降低风机噪声的两种新方法——叶片不等距分布方法和叶片穿孔方法。理论分析和实验结果表明,这两种方法为降低轴流风机噪声提供了新的途径。     

情报检索中的集成相似性测度法研究

提出了一种将距离和方向因素集成在一起的相似性测度方法．这种集成方法将传统的基于距离的相似性测度法和基于方向的相似性测度法的优点融为一体，使其能够弥补单独采用某一种传统方法可能造成的缺陷．分析比较了新的集成方法与传统方法的特点和同位相似曲线，以及各种参数、变量对集成相似性测度的影响．最后给出了该领域未来的研究课题     

SSPH核近似的降元算法研究

本文首先介绍传统光滑粒子流体动力学（Smoothed Particle Hydrodynamics,简称SPH）方法的基本公式,用对称（Symmetric）光滑粒子流体动力学（SSPH）核近似方法函数.函数一阶导数和函数二阶导数的计算进行了研究,在SSPH方法的基础上提出了精度较高、计算量少和所占内存空间较低的降元算法.对SSPH核近似方法和降元算法的精度进行了分析,SSPH方法和本文提出算法用于一维函数的一阶导数和二阶导数的计算,并进行误差对比分析发现精度有所提高.最后本算法应用于非稳态热传导问题上,同时进行数值计算和对比分析,验证了本方法的有效性.     

Rough隶属函数关于集合并与交的一种高精度计算方法

近些年来，许多处理近似问题的方法陆续被提出，其中利用Rough集理论计算两个集合的并和交的Rough隶属函数方法是被用较多的一种方法，但毕竟该方法精度较差。为此，介绍了一种精度较高的计算两个集合的并和交的Rough隶属函数方法，它克服了前者利用Rough集理论计算Rough隶属函数的复杂性，而迎来了简单和高精度的特点。     

基于时序逻辑和SCR方法的需求分析方法

以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础,提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解,还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性．