邮电动力及环境集中监控系统的设计和实现

本文主要论述邮电局站的动力设备和环境的计算机集中监控系统的设计和实现。系统采用了工业控制中常用的分布式系统，对邮电部门属下的各通信局站的动力设备和环境参数进行分散监测和控制，并通过通信网络实现集中管理。     

移动通信动环监控系统现状分析

由于移动通信行业发展迅猛,稳定的动力设备和优良的机房环境是保障通信企业网络质量的必要条件,在对监控系统中常用的组网方式、监控系统结构进行总结的基础上,说明了动环监控系统的现状及发展趋势。     

动力设备和环境远程监控系统

本文综合运用计算机异步通信、网络通信和图像压缩传输等技术,提出了动力设备的环境监控的新方法,并用Ｖｉｓｕａｌ Ｃ＋＋开发出该监控系统。实际运行效果良好,有推广价值。     

改变电源监控方式,实现动力设备及环境集中监控

本文介绍了两种电源监控方式的原理、组网方式及特点,并着重介绍了中兴动力设备及环境集中监控方式的组网及网管原理,突出动力设备及环境集中监控方式比以前监控方式的先进性.     

电信动力设备及环境集中监控系统

本文介绍电信动力设备及环境集中监控系统的总体设计方案，系统的功能及系统软件实现方法。     

邮电局房动力设备及环境集中监控系统

介绍了邮电局动力设备及环境集中监控管理系统的责任制软件功能。系统采用两级网络三级设备监控方式,图形化软件界面,形象直观。     

基于STM32和nRF905的无线水泵监控系统设计

针对传统水泵控制系统存在布线复杂、成本高和动力设备分散等问题,设计了一种基于STM32控制器和nRF905无线收发模块的无线水泵监控系统。该系统由从站采集水泵供水系统的水压、液位等参数,通过nRF905组建的一对多无线通信网络进行数据传输,由STM32实现数据处理及主站与上位机间的通信。测试结果表明,该系统采样精度高、数据传输可靠、通信稳定。     

本地网动力集中监控系统的设计和实现

随着中国改革开放的深入,电信网的规模急剧扩大,各种电信设备大量增加,对局（站）动力设备及环境提出了越来越高的要求。本论文通过对动力集中监控系统的结构及原理的分析,设计并实现了本地网动力集中监控系统,并通过实例观察,对该系统做评价及展望。     

企业安防监控系统实现双核心热备

随着信息化的飞速发展,视频监控系统也从早期的模拟闭路电视监控系统向数模结合视频监控系统和现在的数字视频监控系统的演变,而现在的数字视频监控系统根据技术的发展又分为数字化本地视频监控系统和数字化远程视频监控系统。数字化监控系统核心交换机是所有流量的最终承受者和汇聚者。如果核心交换机出现故障,则与核心交换机链路相关联的所有摄像机的实时监控及录像无法使用,有着较大的安全隐患。本论文提出了基于网络数字化视频监控系统双核心交换机热备的技术解决方案,最大化规避了系统存在风险,提高了系统安全性。     

双协议融合的WSNs温室环境监控系统设计

针对温室环境数据无线采集、视频监控及远程管理的需求,设计了一种基于无线传感器网络（ WSNs）的智能温室环境监控系统。系统采用ZigBee和WiFi融合通信技术组成智能网关,其中,ZigBee无线通信设备用于采集温室环境数据,WiFi通信设备用于无线视频传输和远程通信。所设计系统既避免了传统温室环境有线监控安装和维护的繁琐,同时解决了ZigBee WSNs传输速率较低、无线传输距离较近的缺点,温室环境监控功能得到拓展。经过测试验证,正常情况下网络丢包率小于1%,系统实现了温室环境远程监控管理的各项性能,具有良好的应用性和可扩展性。     

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软件中实现与之相关的功能。     

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.     

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

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

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

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

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

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

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

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