组态王与GSM在远程水情监控管理系统中的应用

本文利用“组态王”工控软件在PC机管理软件设计中的优势与GSM短消息数据传输技术在通信方面的突出优点,在组态王的命令语言编辑环境下进行程序设计实现了水情监测管理系统软件对GSM短消息数据通信过程的控制,从而开发了一种实用的新型远程水情监控管理系统。     

基于GSM短消息的水情实时监测系统

本文采用基于GSM短消息的水情实时监测系统。该系统应用GSM短消息技术,实时采集水情数据并判断水情的变化。通过主控机实时查看和设置水文数据极限值;实现通过GSM进行自动、实时、准确的传输极限水文信息;通过现场终端监控仪设备实现部分设备的自动控制。     

基于GSM短消息的水情实时监测系统设计

针对现有水情监测系统采用专用网络,投资成本大、维护费用高、网络覆盖范围有限的现状,提出了基于GSM短消息的水情实时监测系统.该系统由数据采集子系统和监测中心子系统组成,利用水位传感器实时监测水情的变化,如果水情变化,则由数据采集子系统的GSM MODEM以短消息的方式将当前的实时水情数据发送到水情监测中心和相关管理人员手机,以便及时处理.     

基于GPRS和GPS的水情遥测系统

本文主要论述利用GSM移动通信网络中提供的短消息业务进行水情信息的传输，为水情系统的信息传输寻找了一个新的途径与方式。作者首先介绍了水情遥测系统的各组成部分，然后提出了利用GPRS网络的短信息进行水情传输的解决方案。     

盾构设备信息化管理系统的研制

主要介绍用国产工控软件--组态王开发的盾构设备信息化管理系统,结合国家"863"项目--地铁盾构样机的实例探讨盾构设备信息化管理系统的硬件特点和软件结构,并对组态王软件在盾构设备信息化管理系统中的典型应用作了一定的论述.     

GSM短消息增值业务平台的设计与实现

介绍了GSM短消息的体系结构,短消息接口协议CMPP/SGIP;在分析GSM短消息增值业务接口的基础上详细论述了基于CMPP的一种GSM短消息增值业务平台的设计与实现.     

基于CMPP协议的GSM短消息增值业务平台的设计与实现

介绍了GSM短消息的体系结构，短消息接口协议CMPP／SGIP；在分析GSM短消息增值业务接口的基础上详细论述了基于CMPP的一种GSM短消息增值业务平台的设计与实现。     

GSM短消息增值业务的平台设计与实现

介绍了GSM短消息的体系结构，短消息接口协议CMPP／SGIP；在分析GSM短消息增值业务接口的基础上详细论述了基于CMPP的一种GSM短消息增值业务平台的设计与实现。     

GSM短消息通信方式在车辆监控系统的具体应用

本文主要介绍了车辆监控和调度管理系统的组成、原理以及涉及的相关技术,重点讨论了本系统的GSM短消息通信方式的技术实现.     

GSM在煤矿远程监控软件中的应用

文章阐述了基于GSM技术开发的煤矿远程监控软件的设计思想、设计方法和技术要点。该监控软件采用模块化设计,通过GSM网以短消息的方式传输数据,实现了煤矿设备的远程监控。     

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.