多阶段可松弛的设计模式变体检测方法

针对设计模式演化后难以检测的问题,提出一种多阶段可松弛的设计模式变体检测方法.通过遍历设计模式中的参与者角色来探究不同参与者之间存在的关系,制定了检测设计模式变体的规则,引入了隐形关系增加机制,并构建了4阶段的设计模式变体检测框架.通过经典系统进行了单元检测与系统集成检测实验.实验结果表明:该方法简单有效,对设计模式变体的检测精确率达到81.25%,与传统方法相比有较明显的提高.     

转换系统的设计及其应用

在软件的可重用性和转换的通用性基础上,探讨了适于多种程序范型理解的转换系统的系统架构,并就有关应用问题和转换方法做了特化探讨,研究结果表明,系统某种意义上不仅优于传统的分析工具,而且具有较好的通用性。     

数学、计算机与音乐

音乐中的科学问题正日益受到广泛重视 .它不仅是当今迅猛发展的多媒体研究领域的重要组成部分 ,而且反过来已成为“计算机科学形成过程中最重要的推动力之一”[1] .本文揭示了音乐艺术的部分科学特性及相应的研究思路 ,内容涉及数字音乐原理、MIDI文化现象、音乐艺术的形式化手段以及代数研究方法 .     

一种形式化上下无关文法关系驱动的设计模式检测方法

针对设计模式识别结果的假阴性问题与重叠问题,为提高设计模式实例恢复的精确性,提出一种形式化上下无关文法关系驱动的设计模式检测方法。依据设计模式实例中的参与者属性及其关系,以形式化可视化语言描述模式实例的识别文法。在此基础上,改进该文法检测设计模式实例参与者间的附加关系,并识别共享实例的模式。实验结果表明,新方法不仅减少了模式实例的假阴性结果,还解决了模式实例识别的重叠问题,与其他检测方法的精确度、召回率及F-score指标比较,新方法取得了较好的效果。     

证明策略的集成研究

讨论了ＸＹＺ／ＶＥＲＩ系统的向后推理机制，具体而言是基本策略，集成策略语言、策略的结构以及在这样的策略集成环境中的向后推理过程。     

基于有限元的塑料瓦推力轴承油膜特性分析

应用COMSOL Multiphysics对塑料瓦推力轴承建立有限元三维模型,在塑料瓦表面求解雷诺方程,得到塑料瓦表面的压力分布,以确定其弹性变形量,用于塑料瓦推力轴承油膜的特性分析.分析结果表明,载荷增大时油膜压力明显增大,并且油膜压力最大值向推力瓦出油区一侧移动,在推力瓦上产生较大变形;转速增加有利于形成流体动压润滑;倾斜角度在一定范围内增大时,油膜压力先减小后显著增大,存在一个最佳倾斜角,可以使油膜压力分布均匀.