缓倾斜超近距离煤层开采相似模拟实验研究

为了确定缓倾斜超近距离煤层的合理开采方案,采用相似材料模拟实验研究的方法,采用现场所取的煤样、岩样在实验室进行测试而获得的煤层有关的物理力学参数,对缓倾斜超近距离煤层的不同开采方案进行了相似材料模拟实验研究,得出了开采过程中工作面顶板活动的规律和矿压显现规律,从而确定了合理的开采方案。该研究成果对国内同类煤层的安全高效开采具有一定的参考价值和指导意义。     

关于Besov空间的一个注记

H.Triebel给出了关于Besov空间的关系B_(p,q)~(s+θ(r-s))B_(p,q)~s,其中0sr,0θ1,1≤p,q,q~1+∞。给出在B_(p,q)~s(r0)中具有r-正则多解的Besov空间B_(p,q)~(s+θ(r-s))的一个新特性,为判别在B_(p,q)~s中f∈B_(p,q)~(s+θ(r-s))提供了一个等价条件。     

基于矩阵变换的软件可信性演化波及效应

软件可信性演化属于软件演化范畴,它由一系列复杂的变化活动组成.从构件内部、构件之间表征构件可信性的可信属性存在相互依赖关系的视角,借鉴图论中的邻接图理论,建立了基于构件的软件可信性模型,并在此基础上给出了可信性DSM、可信性邻接矩阵和可信属性的可达矩阵的定义,凭借矩阵变换与运算对软件可信性演化中的波及效应进行了刻画分析和量化界定;对演化中可信属性的增加、删除、修改、合并与拆分等可信性变化活动所引起的各种波及效应给予了阐述;给出了可信属性在软件可信性中贡献大小相对量的计算方法,为软件可信性演化的管理、控制、利用和评价提供了客观依据.     

蕴含（K_4-e）＋K_3可图序列的刻划

对于给定的图H,称π是蕴含H可图的,如果π有一个实现包含H作为子图.K k,C k,Pk分别表示k阶完全图,圈长为k的圈和路长为k的路.本文刻划了当n≥6时,蕴含（K 4-e）＋K3的可图序列,其中,（K 4-e）＋K3如下图所示.     

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

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

不确定奇异系统的Terminal滑模控制

针对一类不确定奇异系统,研究其Terminal滑模控制问题。通过非奇异线性变换把不确定奇异系统变换成受限等价形式,利用Lyapunov函数方法,首次提出了一种新的Terminal滑模控制策略,给出了特殊的Terminal滑模超曲面,设计了相应的滑模控制器,实现了滑模运动,保证了系统状态变量在有限时间内收敛到平衡点。给出数值算例,说明了方法的有效性。     

背景辐射对拦截器导引头探测性能的影响分析

在综合考虑背景辐射、光学系统近场辐射、探测器及其后续处理电路和焦平面非均匀性噪声影响的基础上,建立了拦截器导引头红外传感器的探测性能模型。根据文献给定的拦截器导引头参数对模型进行了验证,并利用所建立的模型分析了背景辐射对拦截器探测性能的影响。提出的方法和模型具有通用性,可用于分析背景辐射影响下各种拦截器红外导引头的探测能力。     

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)算法。该算法把基本数据集看作一个加权无向图,数据集中的每个数据表示一个节点,用每条加权边表示节点之间的相似度;形成一个邻接矩阵,把邻接矩阵当作马尔可夫链中的概率转移矩阵;寻求概率转移矩阵的主要特征向量;把每个节点的主要特征向量值作为每个数据的离群度。实验结果表明,该算法与其他高维离群点挖掘算法相比,在效率及有效处理的维数方面均有显著提高。     

对称机动飞行时飞行员人体动态体表压力分布研究

论述了飞行员人体动态体表压力分布对于飞行过载动感仿真的重要性。给出坐姿人体体表压力模式及其等效压力分析方法。在对称机动飞行情形下,建立了飞行员人体动力学方程,该方程考虑了歼击机飞行员实际坐姿。导出了动态体表压力公式,动态体表压力与飞行员人体加速度之间的惯性传递矩阵。给出与动态体表压力相关的歼击机飞行员人体参数计算方法。以某飞机眼镜蛇机动为例,通过数值求解,得到该机动飞行时飞行员人体动态体表压力分布。研究结果可用于指导过载椅设计。