基于加权V图的异地多活数据中心接入划分

为平衡异地多活系统访问压力、充分利用系统资源、合理有效地为各数据中心分配用户,提出一种基于加权V图的异地多活数据中心用户接入划分方法。考虑各数据中心自身的性能条件和负载情况,通过选取相应指标,运用统计分析和数据变化的方法,确定各中心的加权值,在此基础上,运用加权V图的方法对用户接入进行划分。实验结果表明,该方法能够使用户的接入划分更加合理,均衡了数据中心的系统访问压力,避免了资源的浪费,为大数据时代数据中心建设和灾备系统建设提供技术支持。

基于CIM的设备状态检修信息模型构建方法

公共信息模型(CIM)描述电力企业中所有主要对象的抽象模型,可以以此为基础采用原型法设计支撑设备状态检修信息化支持平台的信息模型。该方法主要分为需求分析、初步建模、模型验证和迭代优化四个步骤,同时该方法的实施还需要建立一套信息模型应用的长效机制,才能保证设备状态检修信息模型能支撑设备状态检修业务的发展和应用。

现代汽车故障诊断中数据流分析的应用与研究

通过对上海通用君威车型散热器冷却风扇电路原理的了解与分析,并结合对实车故障的排除,说明了数据流分析在汽车故障诊断的重要作用,应用数据流对现代汽车典型故障进行检测分析可以减少诊断时间,提高工作效率。

基于SMT求解器的嵌入式多线程程序数据竞态条件分析

针对嵌入式多线程程序中出现的数据竞态条件,论文提出了一种基于SMT求解器数据竞态条件检测分析方法。通过对多线程程序执行路径与源程序分析,构建对应的约束条件,将其作为输入,SMT求解器验证是否满足数据竞态条件。通过实验,论文提出的嵌入式多线程程序数据竞态条件的分析与检测方法在检测效率上还是比较理想的。

四元树算法在地理国情普查生产管理系统中的应用

地理国情普查生产管理系统中采用Web地图管理结合表,地图在浏览器中的显示受到浏览器和网络的限制,地图整幅显示加载速度慢,用户体验不好,利用金字塔瓦片地图技术在服务器端预先生成不同级别的瓦片,提高地图的生成、发布、显示和浏览效率,减轻了服务器负载和网络传输负担。利用四元树算法管理金字塔瓦片地图的瓦片索引,在不同缩放比例请求下,能够快速、准确地找到瓦片并显示。

旋转盘附近加热表面的射流冲击传热研究

采用数值计算方法模拟磨削工件表面的射流冲击对流换热过程,对不同旋转速度和旋转方向下,旋转盘诱导的气旋运动和射流冲击的耦合作用进行了研究分析。在转盘诱导的气旋流动影响下,冲击射流向转盘和加热表面之间区域的侵入能力受到抑制,但气旋流动与射流冲击的耦合作用均使得加热表面的对流换热能力相对圆盘静止时得到增强;盘缘在射流冲击喷嘴附近的切向速度与射流冲击方向协调时,旋转盘诱导的气旋运动和射流冲击的耦合作用有利于改善磨削弧区的对流换热,随着转盘旋转速度的增加,其强化对流换热的效果更显著。

嵌入式系统的数据竞态条件研究

针对嵌入式系统中多线程的数据竞态条件问题,提出了一种基于图形的数据竞态条件分析方法,包括数据竞态条件分析算法、图形表示方法、线程竞争集、数据竞态图和二维数组五个部分。其中,数据竞态算法分析嵌入式系统中具有数据竞态关系的线程及其竞态关系构成线程竞争集,数据竞态图描述系统中同步多线程数据竞态条件关系,二维数组存储线程数据竞态逻辑,利用获得的数据竞态图推理系统中可能的其他线程数据竞态关系。

一种基于互信息度量的时序数据因果发现方法

在时序数据因果关系发现研究中,传统算法针对时间窗口内时序数据之间的因果关系进行分析,存在因果关系识别准确率受限、算法复杂度较高等问题.为解决该问题,首先对概要因果图、因果概要互信息和条件因果概要互信息进行定义,在此基础上推导出基于因果互信息的时序变量定向规则,而后区分是否存在混杂因子,结合PC (Peter and Clark)和FCI (fast causal inference)算法分别提出改进的PCSMI (Peter and Clark summary mutual information)和FCISMI (fast causal inference summary mutual information)算法.实验结果表明改进后算法能够在低复杂度条件下有效提升时序数据因果发现的准确率.