一种卫星导航时间同步完好性监测算法研究

为更好地对卫星导航系统时间同步进行监测,基于Shewhart算法和CUSUM算法的特点,提出了一种Shewhart-CUSUM组合算法。改变状态转移概率,获得小于CUSUM算法的平均运行长度（ARL）。三种算法的关键性能指标ARL比较和实测数据的验证结果表明：在选择合适的参数后,组合算法能有效检测时间同步数据异常。     

基于对象的P&ID设计软件无向图模型

在开发P&ID辅助设计系统的过程中,需要表示实体间的逻辑拓扑信息.为避免引入附加抽象实体来表示逻辑拓扑信息带来的复杂性,提出以面向对象为基础将逻辑拓扑信息统一在实体本身数据结构中的方法,并介绍了从P&ID管网图抽象建立P&ID无向图模型的过程.此方法和模型在实践中取得了很好的效果.对P&ID无向图结构的特点做了深入分析,指出运用此模型建立P&ID系统的要点及运用中应注意的问题,并讨论了P&ID无向图模型的扩展.      

一种低成本的机器人室内可通行区域建模方法

基于单目视觉的同步定位与建图（SLAM）是机器人领域中的一项热门技术。然而,在场景建图方面,由于其计算量较大,各主流方法还无法在低运算能力的平台上实现实时的场景建模。针对室内环境与小型机器人的特定情况,提出了一种新的可通行区域建模方法。该方法建立在单目特征点SLAM的基础上,通过HSV色彩空间内的图像自适应阈值分割获取地面分割图像,并与SLAM生成的稀疏点云进行交叉比对,进而获取地平面与准确的地面分割区域,再将地面分割区域反投影到地平面上,获取地面的稠密建模。在室内场景的实验中,所提方法的平均运算速度能达到21帧/s,速度约为ORB-SLAM的70%,能够满足移动平台的实时性要求。对于地平面位置的还原平均误差为5.8%,地面上道路宽度的建模误差在3.5%~12.8%。      

基于键合图模型的SHA/EMA余度系统的故障诊断

针对液压伺服作动器（SHA）和机电作动器（EMA）组合的余度系统中故障模式复杂的问题,采用基于键合图模型的故障诊断方法,可以诊断出系统中多种参数故障。首先建立SHA/EMA余度系统的行为模型,然后根据因果关系倒置法转换成诊断键合图模型,进而推导出计算残差的解析冗余关系式（ARR）,并创建故障特征矩阵（FSM）作为故障隔离的依据。联立行为模型和诊断模型对可隔离故障进行诊断,并通过ARR估计故障参数以诊断不可隔离故障。选取典型故障进行仿真验证,结果表明可隔离故障和不可隔离故障均被成功隔离,验证了所提方法对SHA/EMA余度系统的故障诊断是有效可行的。      

单圈分子图的第一广义Zagreb指标的极值

第一广义Zagreb指标定义为0Rα（G）=∑i∈V（G）d（i）α,其中d（i）为i顶点的度,α为除0和1之外的所有实数。单圈分子图是指最大度不超过4且边数等于顶点数的简单连通图。本文通过一个引理,给出了单圈分子图的第一广义Zagreb指标达到极值的必要条件。     

含固支边的强厚度层合板解析解的改进方法

基于含固支边层合板的非齐次状态方程,应用增维方法,建立了齐次状态方程,给出了静力问题的解析解。这种方法对于程序的实现和数值运算稳定性的提高十分有利,在求解的过程中避免了矩阵求逆,且大大提高了计算效率。数值算例显示了本文的方法是正确的。     

二分图中哈密顿[k,k+1]因子

主要研究了在均衡二分图G中哈密顿[k,k 1]因子的存在性.设G=(X,Y,E),|X|=1Y1=2/n≥4(k-2)-3,k≥2且n≥2,δ(G)≥k,若G中每一对不相邻的顶点u,v有max{dG(x),dG(x)}≥4/n 2,则G有包含哈密顿圈C的[k,k 1]因子.在此基础上,进一步给出结论:二分图G=(X、Y、E),|x|=|Y|=2/n≥4(k-2)且n≥2,δ(G)≥k,若G中每一对不相邻的顶点u,v有dG(v)≥2/n 4,则G有包含哈密顿圈C的[k,k 1]因子.结论在很大程度上改进了已有的包含哈密顿圈的度条件,进一步完善了包含哈密顿圈的因子理论.     

中国第一幅全月球影像图正式公布

2008年11月12日,中国国防科技工业局发布了依据“嫦娥一号”卫星拍摄数据制作的中国第一幅全月球影像图（见封三图）。     

基于邻接表的分水岭变换快速区域合并算法

针对图像分水岭变换存在的过分割问题,提出了一种快速区域合并算法.该算法先对梯度图像进行Lee滤波以降低分水岭变换的过分割程度,在传统分水岭变换初步分割的基础上,利用区域邻接图(RAG, Region Adjacency Graph)的邻接表数据结构描述过分割区域之间的关系,采用分级阈值合并的方式完成区域合并,以降低合并计算的复杂度.合并过程中,将基于区域相对边界强度和边界长度的相似度度量准则与传统的区域灰度均值差异度准则相结合,构成新的区域可合并度综合评价函数,以保证区域合并准确可靠.实验结果表明,与传统的分水岭变换区域合并算法相比,该算法有效地提高了区域合并的准确性,并大幅提升了运算速度.      

高校图书流通的5M1E管理法

借鉴质量管理中的"人机料法环测"(5M1E)因果分析管理方法,提出了高校图书流通管理的5M1E分析管理方法.在分析高校图书流通过程中诸要素的作用及其相互关系的基础上,阐述了"以读者为核心,以网络为平台,以图书为对象,依规程做约束.依测量做评价,依环境做创新"的高校图书流通管理指导思想及分析管理方法.