基于XML的汽车零部件查询系统的研究和设计

在一个汽车零部件信息查询系统的基础，从一个侧面对基于XML存储的具有语义特征的Web信息的存储、索引和查询进行了研究，通过把XML和传统的DBMS技术结合起来，提出了一种新的实现方法。     

基于模式的XML文档关系数据库存储

基于XML的模式定义给出了一种使用关系数据库存储XML文档的方法．谊方法在存储文档的同时，使用元表以保存模式信息，并实现了模式所定义的完整性约束．对查询映射和由于XML的半结构化特性所导致的一些目前难以解决的问题，文章也进行了说明．     

基于O-D的XML编码及对信息查询与更新的支持

提出了一种基于区间表示的XML编码方式，设计了相应的关系存储模式，研究了该编码方式对信息查询和信息更新的支持。鉴于XML关系存储下信息更新的困难性，采用基于order-descendan(O-D)的XML编码方式，不仅可以完全支持XPath查询语言的13个查询轴的查询功能，而且通过简单的计算即可有效地支持XML数据的增加和删除，这种简单计算可以在关系存储模式下通过SQL语句方便地实现。     

基于DOM的XML解析与应用

随着XML的广泛应用，大量的信息都将通过XML文档来进行存储、交换，因此熟悉和掌握一种解析XML文档的方法是很重要的。文中着重介绍基于DOM的XML解析的原理、特点、实现及在数据存储方面的应用，并以业务查询组件为例，详细描述了XML建模、解析及与JAVA反射机制相结合实现组件的可扩展现性，增强了组件的灵活性和扩展现性，降低组件的维护成本，突出了XML存储数据的优点，对推广应用XML和DOM技术有一定的实用意义。     

基于XML的信息交换构件的研究

对分布式信息系统基于可扩展标记语言XML的信息交换模式进行了研究，利用构件技术将信息交换流程进行构件化封装，从而创建出一种基于XML的信息交换构件——X-R构件的逻辑模型。构件完成的主要功能是将XML模式转化为关系模式，并将XML文档中的数据存储到关系数据库中。将构件应用于网上招投标系统时，对系统具有的优势进行了分析。     

基于XSLT的XML文档信息隐藏方法研究

XML文档具有存储与显示分离的特性,利用XSLT可以将同一篇XML文档显示出不同的内容,这样就可以实现隐藏信息的目的。通过研究XML的样式表转换,提出了基于XSLT的内容抽取、内容比较、样式表合并的三种XML文档信息隐藏方法,每种隐藏方法利用了样式表元素的不同性质,并通过实例对进行具体介绍和分析。上述三种隐藏方法主要针对文档的显示特性,不对文档存储的格式和内容做任何改动。实验结果表明,利用样式表转换的方法在XML文档中隐藏信息具有实现简单、安全性高的特点。     

软件配置信息的DTD描述与关系模式映射方法

结合XML具有可扩展性、灵活性和自描述性特点以及DTD能够为XML文档中的元素属性、元素的拓扑结构等创建规则的能力，提出了利用DTD描述软件配置信息的方法，通过DTD描述实现关系存储的途径，达到了有效地管理软件配置信息的目的。     

基于Schema的XML文档到关系数据库的转换

XML已成为Internet数据表示和数据交换的标准,XML在不同的领域得到了广泛的应用,越来越多的数据采用XML格式表示,因此如何有效存储和查询XML数据已成为研究的热点问题。对基于XML Schema的XML文档在关系数据库中的存储进行了说明,提出了相应的存储方法,并实现了XML文档到关系数据库的转换。     

基于Schema的XML文档到关系数据库的转换

XML已成为Intemet数据表示和数据交换的标准,XML在不同的领域得到了广泛的应用,越来越多的数据采用XML格式表示,因此如何有效存储和查询XML数据已成为研究的热点问题.对基于XMLSchema的XML文档在关系数据库中的存储进行了说明,提出了相应的存储方法,并实现了XML文档到关系数据库的转换.     

XML与Database的连接方法

本文提出了一个全新的基于XML技术的远程考试系统的模型的设计与具体实现，该系统将成为下一代远程考试系统，分数据层，服务层，表现层三层结构，数据层采用XML技术存储，按照IMS规范中统一的数据结构设计XML Schema，充分何证了课程试题数据的反复可重用性与其他系统的交互性及数据存储的长期有效性。中间服务层采用Web Service结构，保证了整个系统良好的模块化结构特征与优秀的可扩展性。同时着重介绍了其中的关键技术，即XML与Datebase的连接方法。     

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集成定制实现的关键步骤及方法。     

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.     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

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

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的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为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.