基于系统依赖图的过程间指针分析方法

针对目前指针分析算法的程序中间表示形式不能充分表示程序的语法结构与语义,因而不适合应用于源代码-源代码级别的程序转换与分析的问题,提出了一种基于系统依赖图的过程间指针别名分析算法。改进了指针别名信息的表示方法,精确描述数组元素和指针数组元素的别名。以系统依赖图作为程序的中间表示形式,在每个过程调用节点,根据是否为递归调用,分别采用改进的Banning算法和函数内联的方法处理因参数传递引起的别名信息。实验结果表明,该方法的准确性高于Wilson算法和Emami算法,且指针分析结果可直接应用于源代码级别的程序分析与转换中。     

Latent ancestral graph of structure vector autoregressive models

A class of latent ancestral graph for modelling the dependence structure of structural vector autoregressive (VAR) model affected by latent variables is proposed.The graphs are mixed graphs with possibly two kind of edges,namely directed and bidirected edges.The vertex set denotes random variables at difforent times.In Gaussian case,the latent ancestral graph leads to a simple parameterization model.A modified iterative conditional fitting algorithm is presented to obtain maximum likelihood estimation of the parameters.Furthermore,a log-likelihood criterion is used to select the most appropriate models.Simulations are performed using illustrative examples and results are provided to demonstrate the validity of the methods.     

一种基于马尔可夫链的高维离群点挖掘算法

提出了一种基于马尔可夫链的离群点检测(outlier detection algorithms based on Markov chain, MRKFOD)算法。该算法把基本数据集看作一个加权无向图,数据集中的每个数据表示一个节点,用每条加权边表示节点之间的相似度;形成一个邻接矩阵,把邻接矩阵当作马尔可夫链中的概率转移矩阵;寻求概率转移矩阵的主要特征向量;把每个节点的主要特征向量值作为每个数据的离群度。实验结果表明,该算法与其他高维离群点挖掘算法相比,在效率及有效处理的维数方面均有显著提高。     

人脑连接组研究:脑结构网络和脑功能网络

人脑是自然界中最复杂的系统之一,在这个系统中,多个神经元、神经元集群或者多个脑区相互连接成庞杂的结构网络,并通过相互作用完成脑的各种功能.近年来,结合基于图论的复杂网络理论,研究者们发现利用结构和扩散磁共振成像数据构建的脑结构网络以及利用脑电图/脑磁图数据和功能磁共振成像数据构建的脑功能网络具有很多重要的拓扑性质,如"小世界"属性、模块化的组织结构以及主要分布在联合皮层上的核心脑区(如楔前叶、额上回、额中回).另一方面,研究者发现许多神经精神疾病(如阿尔兹海默病和精神分裂症等)与脑结构和脑功能网络的异常的拓扑变化有关,这些研究不仅为理解神经精神疾病的病理机制提供了新视角,也可能为疾病的早期诊断和治疗评价提供脑网络影像学标记.本文以人脑结构和功能连接网络的研究为重点,介绍了人脑连接组和复杂网络理论的基本概念,并且回顾了近年来人脑结构和功能连接组的研究成果,并指出了该领域中存在的问题及未来的研究方向.     

中学物理实验教学的改革探索

实验教学是物理教学的重要组成部分,然而,传统的实验教学难以符合新课程理念的要求。新课程理念指导下的实验教学应增强实验的研究性,注重实验的生活化和提高实验教学的创新性。     

高中学生心理压力和体育锻炼调适调查研究

通过对300名高中学生进行的问卷调查结果所做的分析,发现他们普遍存在心理压力的困扰。应全面识别引起高中学生心理压力的压力源,并且控制压力源,提高高中学生适应能力两方面来调适高中学生心理压力。通过比较分析可看出,经常参加体育运动的高中学生,其心理压力困扰的程度明显低于不经常参加者,研究认为,科学锻炼有助于提高高中学生身心健康。     

让中学图书馆“绿”起来

从以色列打造的＂绿色家具＂谈起,引出了中学图书馆的最新定位——＂绿色空间＂,并根据定位,提出了图书馆的建设设想,即让图书馆成为读者流连忘返的绿色空间。     

一种基于脆弱点依赖图的脆弱性评估方法

为弥补目前网络脆弱性评估系统比较简单、评估结果不全面不准确的不足,提出一种基于脆弱点依赖图的网络脆弱性评估方法,并在该评估方法基础上开发出相应的评估系统.该方法吸收了通用弱点评价体系(CVSS)的优势,同时与目标网络的脆弱点依赖图很好地结合起来,可对网络脆弱性做出一个客观评价.在计算过程中,该方法将脆弱性可利用性和脆弱性影响分开计算,并与实际目标网络中的脆弱点依赖图相结合,从而使得计算值更有参考和实用价值.     

图Laplacian半监督特征加权用于高光谱波段选择

提出一种利用图Laplacian实现半监督波段选择的方法. 该方法首先将标记样本类别信息引入图Laplacian,接着通过广义特征值求解确定投影变换矩阵,最后采用载荷因子对变换矩阵进行系数分析,对波段重要性赋以权值并排序. 实验比较了多种波段选择算法,结果表明算法能更好地利用标记样本的类别信息和大量非标记样本中的局部结构信息,性能优于多种波段选择方法.     

蕴含H可图序列的刻划

对于给定图Г,称可图序列π=（d1,d2,…,dn）是蕴含Г-可图的,若存在π的一个实现以Г为其子图．本文刻划了蕴含H的可图序列,其中H为剖分完全图K4的相邻两条边所得到的剖分图．