Global analysis theory of climate system and its applications

The idea and main theoretical results of the global analysis theory of climate system are briefly summarized in this paper. A theorem on the global behavior of climate system is given, i.e. there exists a global attractor in the dynamical equations of climate, any state of climate system will be evolved into the global attractor as time increases,indicating the nonlinear adjustment process of climate system to external forcing. The different effects of external forcing, dissipation and nonlinearity on the long-term behavior of solutions are pointed out, and some main applications of the global analysis theory are also introduced. Especially, three applications, the adjustment and evolution processes of climate, the principle of numerical model design and the optimally numerical integration, are discussed.     

基于动态时间弯曲的区间值时间序列匹配算法

结合vague集的优点,将区间值的思想应用于时间序列研究,定义了基于区间值的时间序列.同时,在综合分析了不同的vague值(区间值)的相似度量的缺点后,提出了一种新的基于vague值的相似度量,并结合动态时间弯曲的思想,给出了一个基于动态时间弯曲的区间值时间序列的相似性匹配算法.     

不完全信息下的群体多属性决策方法

针对群体多属性决策问题,提出一种新的不完全信息下的群体多属性决策方法。该方法假设方案在主观评价属性下的评价值采用区间数的形式来表示专家评价值的不确定性和模糊性。针对每一主观评价属性设定一组与之对应的专家重要性权重值,反映决策者在不同评价属性中的重要性程度,同时考虑到专家评价值的相似度,将专家评价值进行集结得到专家群体关于方案集的决策矩阵。计算各方案与理想方案的相似度,并以此对方案进行优劣排序。通过实例说明所提方法的可行性。     

Best Tracking Performance under Plant Uncertainty and Control Energy Constraint

This paper has investigated best tracking performance for linear feedback control systems in the case that plant uncertainty and control effort need to be considered simultaneously. Firstly, an average integral square criterion of the tracking error and the plant input energy over a class of additive model errors is defined. Then, utilizing spectral factorization to minimize the performance index, we obtain an optimal controller design method, and furthermore study optimal tracking performance under plant uncertainty and control energy constraint. The results can be used to evaluate optimal average tracking performance and control energy in designing practical control systems.     

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

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

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

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

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

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

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

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

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

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

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

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