“一张图”水务信息整合共享实践

水务一体化管理对信息整合共享,有效支撑基础管理和公共服务提出了新的需求。结合信息技术的发展和水务管理的需求,开发了支撑防汛保安、水资源管理、水环境整治、电子政务等多目标任务的水务公共信息平台。设计了水务公共信息平台的总体架构、数据架构和应用架构。在WebGIS、中间件技术的支持下,基于"一张图"汇聚了水利、供水、排水、水文、气象、海洋、海事等相关部门的多源异构信息。基于"一张图"的水务公共信息平台在防汛保安和水资源管理等方面得到具体应用,减少了灾害损失,提高了服务水平,降低了建设和运维成本。     

基于 BIM 及 3D GIS 的城市水务应用项目管理平台

通过分析上海市2018年水务重大工程建设项目的现状及水务重大工程2019年建设计划,上海市水务水利工程数量、体量和复杂度逐年增加。为了贯彻落实上海市及水务局关于推广BIM应用技术的文件精神,顺应政府工程监管信息化的发展,缓解工程管理监管难度,上海市水务局在前期已开展的相关BIM模型轻量化展示、3D GIS等关键技术预研的基础上,决定建设BIM数据中心及相应的水务应用管理协同平台。项目管理平台利用云架构,大数据,BIM,3D GIS,无人机数据采集等技术,系统基于B/S结构,BIM模型轻量化采用WebGL 3D绘图协议,实现二维与三维结合、实景和BIM模型结合。该平台在模型共享、工程数据共享、工程展示及监管中发挥了一定作用。     

水务海洋核心机房可视化安全管理研究与实践

本文以水务海洋核心机房为样板,分析了当前机房管理现状,提出了政府部门核心机房可视化安全管理模式和技术实现方法的研究目标,以机房可视化安全管理平台为载体,介绍了机房可视化安全管理的总体架构,详细描述了机房物理环境、IT设施设备、网络安全的可视化安全管理设计思想与应用效果展现。该实践是水务海洋信息化进程中充分利用可视化展现方式服务安全管理的积极、有益探索。     

基于移动GIS的离线版水务一张图应用研究

随着智慧水务建设工作的推进,面向精细化业务管理和专业化社会公众服务的水务移动应用需求日益增加,常用商业在线地图无法满足水务业务管理应用需求。为解决智慧水务移动端底图业务要素内容缺少、时效性差及偏远地区水务外业巡查执法无网络环境的问题,基于MBTiles地图切片存储技术和SpatiaLite空间数据库技术,研究基于移动GIS的离线版水务一张图。同时,为保证离线数据的安全,对切片和矢量数据库进行加密,保障海量空间数据的存储安全和访问效率。经验证,该研究方案能够实现离线空间数据的加载和渲染能力,运算性能高效,数据存储安全可靠,可为河长巡河和水利工程巡检运维等应用场景提供安全、高效、专业的移动地图服务,有效支撑智慧水务建设与应用。     

水之云管理服务平台的建设和管理探索

智慧水务的不断深入给管理、技术、模式、研发思路等带来新的机遇和挑战,逐步推进水务IT环境治理向服务平台建设的方向发展和转变,促进提升上海水务的信息化科技、服务和管理水平。通过使用水之云管理服务平台将平台信息化的模式落地为"三横一纵",即基础设施云、数据云、应用云和资源管理体系,并且构建核心组件对现有管理模式逐步深入和匹配,达到不断创新发展水务行业单位信息化管理及服务能力的目的。     

天津市水务业务信息系统整合的理念与实践

为了构造适合现代城市水务综合管理的信息化体系,充分整合城市水利、供水、排水和水生态管理等行业的业务信息系统,建设统一共享的水务信息基础设施、数据与服务资源体系,讨论相关的整合需求与特点,提出以水利信息系统为基础,重点集成排水信息系统,适度接入供水行业管理信息,形成城市水务综合管理信息共享服务平台的技术理念,并据此提出以"四个一"为特征的天津市水务信息系统整合方案,此方案经天津市水务信息化建设的实践,表明其切实可行。     

大数据环境下常州市新北区智慧排水平台构建

为解决业务系统相互独立,整合困难,数据利用程度低,决策智能化水平不高等问题,梳理常州新北水务管理体系,分析水务信息化现状,在智慧城市的大背景下,借助云计算、物联网、大数据分析等先进技术,构建大数据环境下新北区排水管理一体化平台,包括水务"一张图",1个数据中心,采集和水务业务2个平台,以及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软件中实现与之相关的功能。     

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.