命令的操作语义在类型系统中的一种表示

类型系统建立在一个小的规则集合基础上，易于实现，可理解性好，且具有计算完全性和足够的表达能力,在类型系统中可以重述推导规则，将其形式化为一些归纳关系，从而直接表示了命令的操作语义,类型理论不仅适合于函数式程序的证明，也是刻画和证明命令式程序的合适的框架。     

基于支持向量机和混沌序列的空域图像双水印

为解决图像同时具有版权保护和内容认证需求问题,提出了一种基于支持向量机的鲁棒水印和混沌序列与LSB相结合的脆弱水印的双重图像水印算法.利用图像邻域像素之间的相关性,通过训练回归型支持向量机模型实现鲁棒水印图像嵌入或提取操作.然后,再将已嵌入鲁棒水印的载体图像用最低有效位和混沌序列相结合的方法嵌入基于载体图像内容的脆弱水印.实验结果表明,该算法同时实现了图像的版权保护和内容篡改定位,提高了水印系统的安全性.     

基于模糊聚类的协同过滤推荐方法

推荐系统是利用用户的历史偏好信息实现个性化服务的系统,它已经成为电子商务和信息获取领域中的重要应用。文中提出了一种通过模糊聚类的方法将项目属性特征的相似性与基于项目的协同过滤推荐技术相结合的推荐方法,首先应用模糊聚类技术对项目聚类,得到项目在属性特征上的相似关系群,然后与用户一项目评分矩阵中的协同相似关系群组合得到综合相似关系群,最后,利用综合相似关系群为目标用户推荐项目。实验结果表明,该方法不仅可有效改善基于项目的协同过滤推荐算法面临的“冷启动”问题,而且确实提高了推荐系统的推荐精度。     

基于模糊点数据的回归变点识别

传统的变点识别算法都是在精确数据集上实现的,从而忽略了数据对分析者的重要程度这一先验信息。提出用一种基于模糊点的回归类挖掘算法来识别变点。该方法首先逐步挖掘模糊点数据集中的回归类,然后确定回归变点,因而变点的数目是自动获得的,无须事先确定。试验表明,该方法不仅具有高度的稳健性,而且通过引入模糊点,将要分析数据的先验信息引入到回归类的挖掘过程中,因而所得的变点估计更具实用性。     

带自适应变异的量子粒子群优化算法

提出了一种带有自适应变异的量子粒子群优化（AMQPSO）算法,利用粒子群的适应度方差和空间位置聚集度来发现粒子群陷入局部寻优时,对当前每个粒子经历过的最好位置进行自适应变异以实现全局寻优。通过对典型函数的测试以及与量子粒子群优化（QPSO）算法和自适应粒子群优化（AMPSO）算法的比较,说明AMQPSO算法增强了全局搜索的性能,优于其他算法。     

一类0/1优化问题融合神经网络的粒子群算法

将局部寻优能力极强的人工Hopfield神经网络算法融合到粒子群优化算法的搜索过程中,提出解决一类0/1优化问题融合神经网络的混合粒子群优化算法。在该算法中依粒子群当前全局最优个体为初始态激活神经网络,生成一个局部最优态,用这个局部最优态代替粒子群当前全局最优个体,增强了算法的局部寻优能力,通过数值试验证明该算法是有效的。     

最优化广义离散Shannon奇异核褶积微分算子地震波场模拟

本文运用广义离散Shannon奇异核褶积微分算子(GDSCD)计算波动方程的空间导数,推导了一阶和二阶GDSCD的具体形式,并提出了系数优化方法,即在频率域逼近平面波的真实导数,得到不同半径和采样下限的最优权系数。通过计算滤波响应分析算子精度,与多种数值方法进行了对比。模型试算结果表明,本文构造的最优化GDSCD方法模拟地震波具有高精度、高效率的特点。     

立方插值拟质点（CIP）方法的改进及其应用

主要对求解对流方程的立方插值拟质点（CIP）方法做了改进,给出了紧致立方插值拟质点（CCIP）方法,并通过实例验证了此方法的有效性.     

带有变异算子的自适应粒子群优化算法

提出了一种新的带有变异算子的自适应粒子群优化算法,该算法使用了一种新的自适应惯性权重,使得算法在迭代的早期快速进人局部搜索,并且根据群体的适应度方差和平均聚集距离来判断算法在迭代的后期是否陷入局部最优点陷阱,对群体中的部分粒子采用新构造的变异运算作用,从而摆脱局部搜索的束缚,以实现全局搜索的性能。通过对六个例子的测试,表明这种改进的PSO算法的全局搜索能力和搜索成功率有较大提高。     

底部加热平面Poiseuille流中的局部行波结构

利用高精度紧致差分格式,模拟研究了物性参数对底部均匀加热平面Poiseuille流动系统中行波对流结构的影响.取与实验相同的参数条件下,获得的数据与实验结果吻合较好,验证了格式的有效性.当雷诺数为定值时,随着傅汝德数Fr的逐渐减小,流场中依次出现了传导状态、局部行波对流(LTW)状态和充分发展的行进波对流(TW)状态.LTW状态的存在受雷诺数和傅汝德数的共同影响,局部对流区域的宽度及对流涡卷数随着傅汝德数的增加而减小.此外,探讨了普朗特数对局部行波结构的影响,进一步给出了不同普朗特数下雷诺数和弗汝德数的倒数与产生涡旋的关系.分析表明:在给定雷诺数时,LTW状态发生的临界傅汝德数的倒数随着普朗特数Pr的增大而以指数形式减小;在Pr=2/3时,LTW状态存在的傅汝德数的范围为最小.