基于热路法的环网柜T型电缆接头导体温度检测研究

针对目前环网柜电缆温度监测方法的不足之处,基于改进的热路模型,提出了一种环网柜T型电缆接头温度在线监测方法.该方法仅需检测出T型绝缘护套和环境温度即可反演出内部导体温度,搭建了模拟环网柜内T型连接头真实运行状况的实验平台,进行了电缆温升实验,利用实测值与计算值对比,验证了热路模型的正确性.实验数据表明:稳态时计算结果的相对误差小于5.4%;暂态时计算结果的相对误差小于9.0%.利用热路模型可以实时监测电缆接头温度状况,保障了环网柜和电缆线路的安全运行.     

基于AT89C51单片机的电缆接头温度监测系统

介绍一套功能强大、技术先进的电缆接头发热故障在线实时监测、诊断及预警系统.该系统通过对电缆接头温度的实时监测,得到表示所有接头温度的在线显示值、曲线图形和表格.通过对温度曲线的分析,可预测电缆接头的老化、过热及各种事故发生的可能,为消除电缆接头安全隐患提供帮助,为电缆接头的安全运行提供有力保证.     

基于ZigBee的电缆接头温度在线监测系统设计

针对电缆接头温度过高容易导致故障发生、但在实际中电缆接头线芯的温度无法直接测量的问题,利用ANSYS软件建立了电缆中间接头稳态温度场分布模型,并对其在正常运行状态下的温度场分布进行了仿真分析。根据仿真结果,得到了合适的监测点,即将温度传感器以"三点式"的形式排列放置在电缆中间接头。给出了电缆接头温度在线监测系统的设计方案,以ZigBee协议栈为基础,构建了ZigBee无线通信网络;通过通用分组无线业务(GPRS)实现了温度数据的远距离传输。该系统具有可靠性、可移植性强、成本低的特点。     

电力电缆故障监测及预警系统的设计

电缆接头温度严重影响电缆的绝缘寿命,传统的电力电缆监控系统通过采集电缆接头温度,当监测到电缆接头温度大于阈值时再进行处理,此时可能已经发生电缆故障.重点研究如何实现电缆故障预判,通过合适的算法提前判断电缆接头存在故障的可能性.因此提出利用灰色GM(1,1)模型建立电缆接头温度预测模型,实时预测电缆接头在下个周期内的温度,将该模型的预测值与阈值进行比较,当预测值大于阈值时,电缆便存在发生故障的趋势,系统发出告警信号.利用该预警模型成功预测了蚌埠供电公司汤河路段电缆故障点.     

电力电缆接头运行温度的在线监测

分析了电力电缆接头故障产生的原因及对电缆接头温度监测的重要性。重点介绍了电缆接头温度监测系统的设计思想、软硬件构成、温度传感器的选取和前置监测单元的设计。该系统可实现电缆接头温度的自动监测和统计分析。     

基于温度场的电缆接头温度监测系统研究

针对电缆接头线芯的温度无法直接测量的问题,应用有限元法建立了电缆接头稳态温度场分布模型;利用ANSYS软件对其温度场分布进行了仿真分析,得到了电缆接头线芯温度和表面温度的关系;根据仿真结果,提出了一种基于温度场的电缆接头温度监测系统的设计方案,给出了系统中供电电源和数据处理的设计,为工程中监测电缆接头温度、电缆运行状况提供了理论依据。     

电力电缆中间接头温度的测量与监视

针对目前电力电缆中间接头运行可靠性差、故障发生几率高、故障损失惨重的现状，提出了通过测量电缆接头表面温度来监视其运行状态、及时发现其绝缘老化情况、在温度急剧上升超过定值时发出报警信号的检测方案。应用检测技术、计算机技术和通信技术等先进技术手段，设计出了集测量、显示、打印、报警和远传通信等多项功能于一体的集散式电力电缆接头温度监测系统。     

矿井高压电缆接头温度在线监测系统的研究

针对目前煤矿井下高压电缆接头运行可靠性差、故障发生率高的问题,提出了一种矿井高压电缆接头温度在线监测系统的设计方案,给出了系统整体结构,详细介绍了系统硬件及软件的设计。实验结果表明,该系统运行稳定、可靠性高,各项指标满足国家煤炭行业标准和实际运行要求,具有一定的实用价值。     

电缆接头温度监测系统

电缆温度监测是一些大中型企业经常面临的问题。详细介绍了利用计算机、单片机构成的电缆接头温度自动监测系统。通过该系统可及时获得电缆温度变化情况 ,为安全生产提供保障     

电力电缆接头运行温度监测系统设计

从温度检测的原理入手,介绍电缆接头温度检测系统的设计,重点阐述系统各组成部分的结构、原理及特点.     

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.