基于语义API依赖图的恶意代码检测

传统的恶意代码动态分析方法大多基于序列挖掘和图匹配来进行恶意代码检测,序列挖掘易受系统调用注入的影响,图匹配受限于子图匹配的复杂性问题,并且此类方法并未考虑到样本的反检测行为,如反虚拟机.因此检测效果越来越差.本文设计并提出一种基于程序语义API依赖图的真机动态分析方法,在基于真机的沙箱中来提取恶意代码的API调用序列,从而不受反虚拟机检测的影响.本文的特征构建方法是基于广泛应用于信息理论领域的渐近均分性(AEP)概念,基于AEP可以提取出语义信息丰富的API序列,然后以关键API序列依赖图的典型路径来定义程序行为,以典型路径的平均对数分支因子来定义路径的相关性,利用平均对数分支因子和直方图bin方法来构建特征空间.最后采用集成学习算法-随机森林进行恶意代码分类.实验结果表明,本文所提出的方法可以有效分类恶意代码,精确度达到97.1%.     

数控加工中计算机图形仿真器的研究与设计

主要研究数控图形仿真器的实现方法。首先介绍三维图形几何仿真数学模型。根据数控ANC—45M加工中心的图形仿真需求,对图形仿真器数学建模、图形裁减、三维图形层次感等问题进行研究与设计。并在加工中心的控制系统中用C语言实现。     

仙人掌链图的Hosoya多项式

1988年,对于连通图G,日本化学家Hosoya提出了一个基于距离的多项式,即H(G)≡H(G,x):=∑k≥0d(G,k)xk。仙人掌链图是一个具有如下性质的连通可平面图:其所有的内部面都是六边形;任意两个六边形要么无公共顶点,要么恰有一个公共顶点(邻接);任意三个六边形都没有公共顶点;任意一个六边形最多同时与两个六边形邻接。文章给出了仙人掌链图的Hosoya多项式。     

试述南怀仁《坤舆全图》的历史文物价值

简述了《坤舆全图》的组成及作者情况,对《坤舆全图》所表达的内容及历史价值进行了详细介绍,指出该图具有很高的历史文物价值、地理学价值、美学价值,堪称为一件稀世珍品。     

基于DAG方法的我国股票市场的联动分析

根据我国股票市场的关键性政策,将2001年2月19日至2009年7月30日分为4个样本时期,通过有向非循环图（DAG）和动态因果检验分析我国5个主要股票指数的联动效应．实证结果表明上证A股市场是导致深证A股市场变化的短期和长期原因,在B股市场刚对国内投资者开放时,上证和深讧B股的联动效应特别显著．近年来香港股票市场与国内其它市场的联动性越来越显著．     

几类图的色多项式

本文给出了几类图的色多项式的计算公式。     

树T（1，4，n）及其补图的匹配唯一性

利用图的匹配多项式及其最大实数根的性质证明了树T（1,4,n）及其补图匹配唯一的充要条件是n≠4,7,13．     

结合显著性和Graph cuts的肺区域图像分割

针对肺部CT图像灰度分布不均匀、各组织结构复杂导致难以准确地分割提取出肺区域的问题,提出了一种结合图像显著性和Graph cuts的肺区域自动分割方法.对10位病例的CT图像序列进行测试,结果表明:该方法可以自动完成肺区域分割,具有较高精度,且耗时较少.     

Draft Consensus Building in Hall for Workshop of Meta-Synthetic Engineering

This paper discusses that there are two sorts of group consensus in Hall for Workshop of Meta-synthetic Engineering： draft consensus and decisive consensus, which are respectively formed in the two synchronous stages in the process of ＂synchronous stages 1- asynchronous stages- synchronous stages 2＂, and focuses on the concept of draft consensus. Then proposes a draft consensus building model and its solution method called Consensus Building Graph, by which claim concern value, claim support value, claim authority value and claim consensus value can be calculated real time for reaching a consensus, and designs a computer aided consensus building system called Internet based Group Discussion Environment. The model follows the methodology of meta-synthesis from qualitative to quantitative analysis in which computers and humans are combined to solve complex problems.     

离散数学中图论部分教学方法的研究

图论是离散数学的重要组成部分。在分析了图论教学内容的特点和图论的发展历史，提出了三种提高教学效果的教学改革方法。