基于均值约束满足度剪枝策略的高效序列模式挖掘算法

为了减少无用候选序列的生成,并使挖掘得到的序列模式符合用户要求,约束条件下的频繁序列模式挖掘已成为数据挖掘领域的一个新的重要研究方向.作为强约束形式的一种,均值约束目前仍然是基于约束的频繁序列模式挖掘的一个困难问题,其主要原因在于很难利用均值约束来进行序列模式挖掘中的剪枝.为此,提出了一种基于均值约束满足度剪枝策略,并且以前缀增长方法为基础设计了一个有效的频繁序列模式挖掘算法.通过分析并实验验证了该算法的时间效率和剪枝性能,结果表明,该方法是有效的.     

基于小波库构造的信号去噪

提出了通过构造小波库进行去噪的方法.该方法的关键是光滑正交小波库的构造,因此提出了一种新的光滑正交小波库的构造方法,该构造方法基于3个条件进行小波库的构造:1)光滑性,即小波要有足够的光滑性;2)非冗余性,即小波库中的小波不要重复;3)完备性,即构造的小波库要能表示整个小波空间.实验结果表明当把构造的小波库应用到信号去噪时,其去噪性能优于任何的单小波.     

一种个性化人脸游戏引擎设计

个性化人脸在游戏人物造型技术中的地位变得越来越重要.设计一种基于照片的个性化人脸游戏引擎.在定义一种面向游戏且能有效支持个性化变形和实时显示的三维中性人脸模型数据结构基础上,使用径向基函数插值方法变形中性人脸模型到特定人脸模型.同时给出了一种基于特征约束的连续多分辨率快速纹理映射方法.实验表明,使用引擎绘制的个性化人脸,满足游戏中人物造型所必须平衡的精确性和效率两方面的要求.     

基于命题逻辑的组件约束检测

针对组件约束数量大、复杂度高的问题，提出了一种基于命题逻辑的组件约束检测算法．通过命题符号化的过程，即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题．该算法首次使用受限真值表的概念来描述组件约束，清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换，通过包含、否定和插入等规则来合并真值表，以解决检测组件约束时存在的冗余与冲突问题，并获得期望行为的最小组件集合，从而保证了组件约束之间相互一致．与基于规则模式表方法相比，所提算法克服了人工检测的不确定性，改善了检测的时间性能，并可将冲突错判率降低大约10％，平均处理时间降低大约33％．     

德育与思想政治教育概念辨正

在学校教育实践及理论研究中，人们对“德育”和“思想政治教育”两个概念的理解很不一致，本文考察它们的使用现状，分辨它们的共性和差异性；并通过分析两者混用的原因及影响，提出区别使用的结论。     

一类高维非线性方程(组)自相似解的简易求法

对(2 1)维非线性偏微分方程进行相似变换后,根据相似变量不变性原理,提出了一个相似变量的复合变换,从而把(2 1)维偏微分方程最终化成常微分方程.将该方法用于KP方程、ZK方程、高维Burgers方程组,均得到了具有Palinlevé性质的常微分方程.通过进一步的分析求解得到KP方程和ZK方程的自相似渐进解,尤其是得到了高维耦合Burgers方程组的精确解.     

科技资源图像检索技术研究与实现

科技资源具有海量、复杂、异构、地理分布广的特点。为了高效查找和使用科技资源的图像,综合运用TB IR(基于文本的图像检索)和CB IR(基于内容的图像检索)共同检索科技资源图像,设计了科技资源图像检索系统,并对系统中的图像分割、特征提取和相似度度量3种关键技术进行了研究。     

一类快速非线性预测控制的分析与改进

针对仿射非线性系统,分析了一类快速预测控制算法稳态误差的来源,给出了误差的解析表达式.通过反馈校正消除稳态误差,提高了算法对模型失配的鲁棒性.对水箱液位控制系统的仿真和实验研究,结果验证了分析和改进的有效性.     

FP_tree算法在入侵检测系统中的应用

指出了入侵检测系统中的常见约束条件,即关键属性约束、挖掘范围约束、个数约束.在分析这些约束条件性质的基础上提出了3种剪枝策略,对基于"支持度-可信度"度量机制的FP_tree算法进行了扩展.实验结果表明:新的算法提高了挖掘效率,删除了许多无意义的模式.     

煤矿复杂多源数据的混合相似性度量方法

随着煤矿产业自动化、电子化和信息化的发展，目前已有的数据描述方式不能有效刻画煤矿中多源、多维、动态的海量数据信息．针对该问题，首先将源于哲学范畴中的本体引入煤矿生产领域，以矿区监测位置本体作为语义模型与数值描述相结合，形成树状层次结构来描述煤矿复杂多源数据；然后，通过基于语义和数值的混合相似性度量方法计算煤矿数据的相似度；最后通过实验验证了本文所述方法的可行性和有效性．