试论我国违宪审查制度的确立

违宪审查制度在监督宪法实施中的作用是不可替代的,它是我们建设社会主义法治国家的有效保障。当前,我国的违宪审查制度尚未完整建立,还存在一些问题,而且解决这些问题也遇到了一定困难。我们应当以一种渐进式的方式逐步建立和完善违宪审查制度。     

Parlay/OSA网关协议映射的一种实现模式

Parlay/OSA（Open service access）网关的主要功能之一是实现各种电信协议到Parlay/OSA API的映射。 OMG的CORBA/TC Interworking规范给出了使用TC/SS7的通信实体与基于CORBA的实体交互的建议，因为 大部分的Parlay/OSA网关是基于CORBA实现的，因此该规范对协议映射的实现具有重要的参考价值。在深入 理解TC-CORBA规范的基础上，提出了一种Parlay/OSA网关中协议映射实现的一种模式。重点描述了模式的主 要体系结构和工作流程，分析了其特点，此模式对Parlay/OSA网关产品中协议映射的实现具有重要的参考价值。     

基于DEVS的通用数据驱动实时仿真环境

良好的适应性是仿真系统生命力的重要保证之一。提高仿真的适应性需要规定良好的模型和系统描述规范，并借助于规范的仿真系统开发模型，建立集成的仿真应用环境。基于实时网络的分布式硬实时仿真在很多领域有着广泛的应用，为适合硬实时仿真的需求，将离散事件系统形式化规范进行了适当扩展，并以面向对象模型和数据驱动的仿真系统开发方法为基础，建立了一集设计、试验与分析于一体的适应性集成实时仿真环境。文章详细介绍了硬实时仿真运行支撑件及其辅助工具的具体设计，并以其在“柔性数字化航天器设计”项目中的应用举例验证了该仿真环境的合理性。     

空间直线度坐标测量的不确定度计算

根据空间直线度坐标测量的基本原理和新一代GPS（Geometncal Product Specification）标准的不确定度理论，提出了一种空间直线度坐标测量的不确定度的计算方法，从而保证了空间直线度坐标测量结果的完整性和有效性．实验结果表明根据空间直线度坐标测量的结果及其不确定度，可以依据ISO14253-1给出的判定原则定量地对空间直线度进行评定。     

城市立体化——城市模式发展的一种新趋向解析

集约型三维立体化城市模式是化解城市生存空间短缺、城市要素立体化与城市基面平面化矛盾等问题的有效途径之一．城市立体化主要是指城市基面的立体化．城市综合效益优先的原则、城市要素开放的原则、城市要素整合的原则、城市环境宜人的原则是立体城市设计实施当中所应遵循的基本原则，也是立体城市机制能够发挥效能的保障．城市地域功能系统整合型、城市历史与环境保护型、城市综合体利用型、城市形态景观环境利用型是城市立体化功能目标的几种主要类型．城市的立体化是城市模式发展的重要趋向之一，立体思维方式将逐渐渗入城市设计的理论体系之中．     

校园网VLAN的研究与实现

在一个大型的校园网中，VLAN可以按照应用的需求灵活多变的划分逻辑子网，实现信息高速、高效的通讯。以CISCO6509为例，研究并实现校园网VLAN的划分与安全解决方案，分析网络吞吐量与输入负载的关系。     

土地利用总体规划实施难点及对策分析

通过实地踏勘、座谈等调研方式，发现重庆市区、县土地利用总体规划实施对合理利用土地资源，强化土地利用的宏观调控，协调用地矛盾，优化土地利用结构和落实土地空间布局起了积极作用．着重分析了规划实施的难点，提出了保障土地利用总体规划实施的政策建议．这对下一轮规划修编具有积极的借鉴意义．     

SDL在数字系统设计中的应用

作为一种标准的形式语言，SDL已经被广泛地应用在软件设计中。为了进一步扩大其应用领域，进行了在硬件方面的应用探索，以逻辑门电路－－与门为例，以SDT为工具，说明了应用SDL进行特性描述和仿真／验证的方法，由于SDL支持面向对象技术，所以可以把各种常用逻辑电路或数字电路设计为SDL包。通过引用这些包，就能够描述和领导 具／验证复杂的数字系统了。实践证明，SDL在硬件方面的应用是可靠的，而且也是相当简便的。     

基于小型嵌入式系统的TCP简化实现方法

介绍了一种适用于嵌入式系统的TCP实现方法,符合RFC1122的兼容性规范,而代码的规模只有BSD TCP的30%.该实现强调对TCP的简化,以提高可靠性;同时应用了几种简化的TCP优化技术以提升性能,包括头部预测、重传回退.该TCP无须操作系统的支持,假定整个IP栈运行在裸机上.     

A solution of spatial query processing and query optimization for spatial databases

Recently, attention has been focused on spatial query language which is used to query spatial databases. A design of spatial query language has been presented in this paper by extending the standard relational database query language SQL. It recognizes the significantly different requirements of spatial data handling and overcomes the inherent problems of the application of conventional database query languages. This design is based on an extended spatial data model, including the spatial data types and the spatial operators on them. The processing and optimization of spatial queries have also been discussed in this design. In the end, an implementation of this design is given in a spatial query subsystem.