基于踪迹挖掘的自动缺陷警报分类方法

缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,提出一种基于警报踪迹挖掘的警报分类方法,使用该方法挖掘警报踪迹进而将代码结构相似警报分为一类,使得分类后的最终警报报告更加易于人工确认.实验表明,该方法能够在较大规模的软件测试过程中分类测试结果,提高警报确认效率.     

基于音乐基因的乐谱存储模型

本文提出一种基于音乐基因的乐谱存储模型S-MusicXML.将乐谱的存储和处理的基本单位由音阶提升到基因,有利于通过数据挖掘技术对音乐内涵的挖掘和存储.定义了旋律基因等概念,并通过实验进一步分析了挖掘音乐基因比挖掘音乐频繁模式更有优势.     

基于区域特征分布式Web用户兴趣迁移模式

提出一种基于区域特征的分布式Web用户兴趣迁移模式挖掘模型DWICP,以及基于该模型的具有区域特征的用户识别方法和局部浏览兴趣迁移模式更新算法/全局浏览兴趣迁移模式更新算法,用于发现具有区域特征的用户浏览兴趣迁移模式.实验表明,该方法能够较好地解决分布式环境下Web访问行为模式研究中的区域分析需求,同时提高了用户浏览兴趣表示的准确性.     

一种不定长特征模式入侵检测模型及仿真分析

针对定长序列模式在刻画序列特征方面的不足,提出了一种不定长序列特征模式抽取算法,并以此为基础设计了一个新的入侵检测模型。模型引入了状态转移概念并将模式匹配检测和状态转移检测结合在一起,克服了已有模型只专注于单一特征检测的缺陷。实验证实,和单特征检测相比,该模型在保证检测率的同时降低了误报率,并且检测算法的效率也是可接受的。     

Vega下带碰撞检测响应视点方式的开发

为满足用户浏览场景时自由控制视点的需要,同时实现视点避碰的功能,剖析了Vega环境中视点的工作原理,介绍了用户自定义运动模式视点的工作流程,开发了具有碰撞检测、能做出正确响应、可键盘控制功能的视点方式,提出了可行的碰撞响应策略。在导弹拦截系统的仿真应用中,该视点方式灵活易用、可操作性好,提高了用户浏览场景时的灵活性,大大增强了用户浏览场景时的真实感和沉浸感。     

Rough function model and rough membership function

Two pairs of approximation operators, which are the scale lower and upper approximations as well as the real line lower and upper approximations, are defined. Their properties and antithesis characteristics are analyzed. The rough function model is generalized based on rough set theory, and the scheme of rough function theory is made more distinct and complete. Therefore, the transformation of the real function analysis from real line to scale is achieved. A series of basic concepts in rough function model including rough numbers, rough intervals, and rough membership functions are defined in the new scheme of the rough function model. Operating properties of rough intervals similar to rough sets are obtained. The relationship of rough inclusion and rough equality of rough intervals is defined by two kinds of tools, known as the lower （upper） approximation operator in real numbers domain and rough membership functions. Their relative properties are analyzed and proved strictly, which provides necessary theoretical foundation and technical support for the further discussion of properties and practical application of the rough function model.     

一种DC-DC变换器的离散数学模型

当DC-DC变换器工作于大信号运行条件或系统中出现较大振荡时,变换器将呈现电感电流连续和不连续两种运行模式,为了更确切地描述系统特性,建立了基于两种运行模式的DC.DC变换器离散数学模型.分别给出了基本的Boost和Buck变换器每个开关周期中功率开关关断后电感电流持续时间的计算方法,并根据电流持续时间与开关断开时间的关系预测下个工作周期变换器的运行模式,确定模型的系数矩阵.根据与Simulink系统模块运行结果的比较,验证了离散数学模型的正确性.     

A Multistep Finite Volume Method with Penalty for Thermal Convection Problems in Two or Three Dimensions

The author considers a thermal convection problem with infinite Prandtl number in two or three dimensions. The mathematical model of such problem is described as an initial boundary value problem made up of three partial differential equations. One equation of the convection-dominated diffusion type for the temperature, and another two of the Stokes type for the normalized velocity and pressure. The approximate solution is obtained by a penalty finite volume method for the Stokes equation and a multistep upwind finite volume method for the convection-diffusion equation. Under suitable smoothness of the exact solution, error estimates in some discrete norms are derived.     

通过课堂观察探究独立学院英语课堂中的互动模式

文章通过定性研究的方法,以作者工作的独立学院的非英语专业学生为研究对象,对英语课堂中的互动教学模式进行探讨.首先,作者通过访谈,了解适合独立学院学生的英语课堂互动模式;其次,结合教师的观察日志和学生的日记反馈、分析他们在各种英语课堂互动模式中的表现,以便在独立学院英语教学中准确恰当地运用课堂互动模式,激发学生的学习动机、端正学生的学习态度,提高学生的语言综合应用能力.     

第三方融资租赁公司融资模式研究

融资租赁是银行信用和实物信用结合而产生的金融工具,但是目前我国第三方融资租赁公司资金缺口较大,拓宽融资模式是改善融资租赁公司发展的当务之急。通过对创新型的融资模式的分析可以看出,我国应支持融资租赁公司构建多元化的融资模式。