WebGIS公共交通信息系统设计

设计了一种基于WebGIS的公共交通信息系统框架。在WebGIS技术的基础上,结合数据库技术和互联网技术等,系统实现了空间到属性与属性到空间的相互查询、公交换乘分析查询等功能。系统应用不仅有利于公交信息的快速广泛发布,而且对于缓解城市交通压力也将起到重要作用。     

基于GIS的下沙公交信息系统设计与开发

研究了基于GIS开发公交信息系统的基本方法及关键技术,设计了一个公交管理信息系统框架,探讨了公交查询及路径优化的方法及其实现技术,并基于杭州下沙开发区的实例,验证了算法的高效性和有效性.     

虚拟组织信息系统动态集成研究

虚拟组织信息系统是一种分布性、柔性、开放性能够快速适应组织变化与发展的动态集成系统。提出了基于SOA体系框架来构建虚拟组织信息系统,分析了虚拟组织从组建到解散的动态集成过程框架。应用Web Services技术设计了一个虚拟组织信息系统动态集成应用系统,具有了用户访问系统、动态业务构建器、UDDI注册服务系统和信息管理工具等功能。最后给出了虚拟组织信息系统动态集成在图书馆信息资源共享服务项目中的应用实例。     

基于RFID的连锁超市应用系统框架设计

针对射频识别(RFID)技术应用的广泛前景,本文以连锁超市作为依托,设计了一个基于RFID的连锁超市应用系统的框架,该框架在实现普通连锁超市信息系统所具有的功能的同时,重点突出了引入RFID技术以后该应用系统所具有的新特征。     

基于WebGIS的公交查询信息系统研究

本文通过分析实际的公交乘车过程,将双层公交网络模型划分为几何网络和逻辑网络,定义公交线路和站点的空间类和换乘查询所需的属性类以及表达站点之间的连通关系,并基于Web GIS与Java Script/Ajax技术以及SQL Server 2000数据库技术设计并开发了一个公交查询信息系统,该系统实现了站点查询、线路查询、换乘查询等基本功能,并且提供了地图显示、漫游和缩放等功能。     

基于RFID技术的智能公交站牌设计

我国经济和人均值的不断增长,大大加速了城市的发展,同时促进了智能科技的快速发展,而传统的公交站牌已经不能满足广大市民的要求,取而代之的是智能公交站牌系统.本论文在无线通信技术的基础之上,采用射频识别技术,提出了智能公交站牌系统,该系统利用功能模块化设计理念设计,并在Matlab软件中进行了仿真实验对比.研究结果显示,该系统可以实现远程精准定位、远程数据交换等功能,这对于智能公交的发展以及提高公共服务质量有一定的促进意义.     

基于XML的远程教育信息系统的设计与实现

本文介绍了基于XML远程教育信息系统的设计和实现。针对实际应用的需求,建立了基于XML远程教育信息系统的框架体系和功能模块关系,详细阐述了系统的实现和各个模块的功能和设计。     

工作流技术在医院信息系统中的应用

针对当前医院信息系统中执行环境和需求的变化性,提出一种基于分布式工作流技术的系统框架.在该框架中,各个功能子模块可以动态组装和运行,以实现分布式工作流系统的柔性和扩展性,从而提高了医院信息系统对运行环境的适应性.     

基于ZigBee的智能公交报站系统

设计一种基于无线ZigBee技术的智能公交报站系统,该系统利用ZigBee和3G无线通信技术能实现公交站台对公交车辆的到站预报功能,也能及时上报公交车辆运行大概位置信息,便于公交管理部门对公交车辆及时地进行管理、调度和维护。     

城市地质空间信息系统研究与建设*

通过对城市地质数据与功能的需求分析,确定了城市地质数据仓库及其信息系统的建设内容,进行了系统框架设计;基于GIS技术、数据仓库技术、三维可视化技术以及决策支持技术,进行了多源数据整合、模型集成、城市地下空间规划辅助决策等主要功能模块的研究.     

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为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

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

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

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

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