高能物理科学数据中心智能运维系统

【目的】高能物理科学数据中心运维环境复杂,监控工具种类繁多,功能相对重叠且监控数据无法互通,日常运维面临巨大的挑战。为高效运用监控数据,提高数据中心运维能力,本文实现了高能物理科学数据中心智能运维系统。【方法】本文结合工业大数据技术、机器学习技术和数据中心运维需求,设计了通用的数据中心运维技术架构。介绍监控数据采集、分析、存储、共享、可视化等系统核心功能及其实现方式,以及依托该系统在数据中心数据存储、计算服务、网络安全等日常运维的具体应用效果。【结果】本文设计的运维框架,在高能物理科学数据中心日常运维中得到了成熟的应用和实践,提升了数据中心运维管理能力。【结论】智能运维系统在高能物理科学数据中心的应用,加速了运维监控从数据持久化、统一化到数据业务化、生态化的价值演进,实现了基于数据驱动的数据中心智能化运维生态。     

基于InfluxDB的监控设备通用运维管理平台

监控设备大规模安装和应用带来了运维困难的问题.本文研发了一个通用运维管理平台,平台通过前端状态采集装置获取监控设备运行时产生的各种状态信息;平台的运维管理系统汇总、存储状态信息,并提供监控、统计、分析、报警等管理功能以支持运维业务;平台的可视化展示子系统对状态信息进行可视化渲染呈现,为系统运维提供智能化的支持.状态采集装置模块化和冗余设计使得设备具有通用性、可扩展性、高可靠性和易维护性.状态信息具有时序数据特征,运维管理系统使用InfluxDB存储状态信息,大幅度降低了存储空间需求,并保证了数据查询和管理的性能需求.基于InfluxDB的监控设备通用运维管理平台已在多个用户单位安装试用,运行状态良好,具有很好的经济社会效益和推广价值.     

面向新型智能融合终端的健康监测系统的设计

针对现有健康监测系统对智能终端运行状态监控不完善、指标不健全,以及无法满足用户监控、分析和预判终端健康情况的问题,本文提出了一种智能、高效、便捷的终端健康监测系统。该系统接入云端管理平台,利用大数据计算分析组件,实现终端健康指标制定、数据收集清洗;根据健康规则配置,计算分析智能融合终端的健康情况,生成终端健康指标综合分析报告;并基于智能融合终端的健康分析,实现主动预警,可提升远程运维服务能力,提高终端运维效率,降低终端运维成本。     

江苏水文自动测报系统智慧化运维研究与设计

概述江苏水文自动测报系统的规模、架构及其运维情况,分析当前运维管理存在的问题。提出以采集层、服务层、应用层三层架构为主体的智慧化运维方案,以提高运维实时性、提升运维效率、降低运维成本。该方案对自动测报系统的软硬件状况和自动采集数据进行实时监控,对水文自动测报系统的数据入库、数据质量、设备运行等情况及运维人员工作效率进行统计,分析和考核,同时对系统故障的诊断进行告警和跟踪,并做出智能调度和处置推荐,并为系统建立一个知识库系统。     

智慧型IT综合监控运维管理平台中的关联分析与风险分析

随着IT信息化的高速发展,对基础IT环境的管理、维护难度也在不断地增加,为了保障基础IT支撑环境的稳定和可靠运行,各种运维管理技术不断涌现,以帮助运维人员提高IT支撑环境的监控与运维能力.探讨了智慧型IT运维管理中的关联分析及风险分析,通过实现对安全事件的深度分析,能快速做出智能响应,实现对安全风险的统一监控分析和预警处理,也为IT基础支撑环境的监控运维提供了更广阔的思路.     

一种基于Hadoop的云运维监控模型设计与实现

随着企业信息化在生产实时监测、海量存储和科学分析决策等方面的需求不断提升,运维监控系统已逐渐成为主要的管理手段。采用最新的云计算技术,设计及搭建一个数据规模易扩展、处理速度快、安全性高、成本低的云运维监控系统;针对运维控制系统中海量监控历史数据实时提取响应速度慢的缺点,设计并实现一种基于Hadoop的分布式海量数据处理模型。仿真实验证明,Hadoop在对云监控系统中的海量数据提取效率优于传统方法,随着数据量的快速增长,优势越明显。     

智能运维的实践: 现状与标准化

IT系统运维目前正面临着IT规模快速膨胀、系统架构日趋复杂、自主可控要求日益突出等众多挑战。智能运维技术作为一种利用大数据和机器学习对海量运维数据分析的手段,能够辅助运维人员更为高效地运行和维护IT系统。然而,在企业进行智能运维工程化实践的过程中,往往会遇到各种困难,需要智能运维技术的标准规范以指导企业开展智能运维的能力建设工作。为推动智能运维的标准化工作,本文对多个行业的智能运维实施单位开展了问卷调研,分析总结国内智能运维的实践现状;对国内外现行的运维标准、人工智能标准和智能运维标准进行梳理,研究智能运维的标准化工作当前进展;根据对实践现状和现有标准的调研分析结果,本文提出了智能运维的能力建设标准框架AIOps-OSA。该框架从企业建设智能运维能力的角度列举出了在组织、场景和能力上的关键要点。在实际标准的编制过程中通过对AIOps-OSA内各项要点提出具体的规范要求,可形成对企业具有指导作用的智能运维标准规范。     

地铁智慧运维平台建设方案研究

为了响应中国城市轨道交通协会提出的《中国城市轨道交通智慧城轨发展纲要》,研究了地铁智慧运维平台建设方案。该方案能够弥补城市轨道交通已建成的设备监控和运维系统功能的不足,消除系统之间的孤立问题,减轻运维人员的巡检压力并及时发现不易察觉的故障或隐患,提高巡检效率,扩大巡检范围。平台除了通过传统方式对一次设备或系统的实时状态数据采集外,还增加了辅助设备数据采集方式,融合现代计算机技术,应用最新前沿技术,如智慧传感器、边缘计算、智能机器人、视频分析、移动APP、5G等,不仅能够实现城市轨道交通设备的全方位监控,同时可以加强数据综合分析的深度,有效地提升运维管理的水平。     

基于智能电网的安全监测云平台设计

为了保证智能电网的安全运维,设计了基于智能电网的安全监测云平台.利用监控数据收发器的工作原理,将智能电网数据分类.通过监控收发器的通信原理,实现数据的采集和提取,完成监控数据收发器的设计.将数据收发器采集到的智能电网数据,通过电能计量芯片提取出智能电网的传感电流.利用芯片外端接口完成电能计量芯片的设计.通过监控数据收发...     

智慧型IT运维监控管理平台的技术特点及实现

随着IT信息化的高速发展,支撑信息系统安全运行的IT运维监控管理平台为信息化应用提供了最基本的保障措施.如何建设好有效的IT支撑环境监控管理运维平台,是目前大规模IT应用环境中必须要考虑的问题.站在平台实现的角度,浅析了平台的技术特点,以安全对象管理为基础,以风险管理为核心,以事件管理为主线,通过深度数据挖掘、事件关联等技术,辅以有效的网络管理与监视等功能,对企业内部各类安全事件进行集中管理和智能分析,最终实现对安全风险态势的统一监控分析和预警处理,为大规模信息化应用环境中的IT运维平台建设提供参考.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.