基于GIS的矿井水文地质的空间分析及预测系统的设计

文章结合矿井水文地质的空间特性,介绍了一种运用地理信息系统技术设计开发的矿井水文地质信息系统的设计。该系统以Supermap Objects为平台,将Supermap Objects技术、组件式开发技术、数据库技术和C#.NET编程语言进行集成,实现了矿井水文地质中数据的管理、数据的空间分析和预测等功能,对指导矿井生产和矿井灾害的防治具有十分重要的意义。     

小城镇综合地理信息系统的设计与开发

针对小城镇管理的现状和发展需求,结合小城镇的经济承受能力和科技力量,采用组件式GIS与可视化开发语言的集成二次开发方式,设计和开发了实用的小城镇综合地理信息系统.介绍了系统的技术框架,以其中的土壤资源管理子系统为例说明系统的开发过程,讨论了系统建设需要解决的几项关键问题.通过该系统可实现小城镇的资源、规划管理及工业、农业、商业,税务.交通等的统计、查询、分析及决策功能,同时可提供相应的图文资料.     

矿产资源开发远程综合监管系统设计

以矿产资源开发监管为目的,设计了一种矿产资源开发远程综合监管系统;介绍了该系统的工作原理和特点,重点阐述了系统各个子系统的设计。该系统结合地理信息系统和物联网技术,以地理信息系统为管理平台,实现了矿山矿界管理、井下采掘监控、矿山视频监控、储量动态管理等功能,提高了矿产资源科学化、信息化管理水平,达到了科技管矿的目的。     

基于GIS的城市绿化管理信息系统设计与研究

分析了地理信息系统（GIS）和计算机技术在城市绿化管理中的重要性，针对城市绿化的特点综合运用地理信息技术、数据库技术等信息技术设计和开发了城市绿化管理信息系统，该系统突破了传统绿化管理的狭义管理模式，综合管理树木、花卉、草坪、小品等，从规划到建设再到维护实现智能决策、三维一体。使城市绿化走上数字化管理的道路，为“数字城市”打下良好基础。     

基于GIS的港口管理计算机集成信息支持系统研究

本文采用组件式地理信息系统(ComGIS)技术,基于ArcObiects开发了上海港岸线资源、港口水域工程设施信息管理系统.该系统着眼于政府宏观层面对岸线资源与港口设施的管理,在对相关数据及用户需求进行充分调研和分析的基础上,进行系统结构、功能和数据库设计.     

基于GIS的校园绿化管理信息系统设计与研究

分析了地理信息系统(GIS)和计算机技术在校园绿化管理中的重要性,针对校园绿化的特点综合运用地理信息技术、数据库技术等信息技术设计和开发了校园绿化管理信息系统,该系统突破了传统绿化管理的狭义管理模式,综合管理树木、花卉、草坪、小品、道路灯,从规划到建设到维护实现智能决策、三维一体.使校园绿化走上数字化管理的道路,为“数字校园“打下良好基础.     

智能地理信息系统的开发与研究

介绍了一个面向电网发展规划的智能地理信息系统的设计与开发,对系统功能及实现进行了详细的阐述,探讨了其中的关键技术,并研究了新一代地理信息系统结构及技术.关键技术,并研究了新一代地理信息系统结构及技术.     

江苏沿江地理信息系统的设计与实现

将地理信息系统（GIS）技术应用到江苏沿江开发的决策和管理，建立了江苏沿江地理信息系统，论述了系统的设计方法、实现技术和特点。     

智能地理信息系统的开发与研究

介绍了一个面向电网发展规划的智能地理信息系统的设计与开发 ,对系统功能及实现进行了详细的阐述 ,探讨了其中的关键技术 ,并研究了新一代地理信息系统结构及技术     

基于Web的矿井供电设计系统的研究

提出了基于B/S模式网络结构、Web服务器和Access数据库的矿井供电设计系统的设计方案,详细介绍了矿井供电设计系统的开发环境和主要功能模块的设计,并实例验证了该设计系统的可行性。该设计系统实现了计算资源、数据资源和服务资源的有效聚合和广泛共享,给工程设计人员提供了便捷的计算方法和丰富的设备数据参考,有效地提高了工程设计计算的效率。     

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.     

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

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

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

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

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

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

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

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