BIM 和GIS 的空间语义数据集成方法及应用研究

随着数字城市和智慧城市的建设发展,建筑信息模型(BIM)和地理信息系统(GIS) 的集成被广泛研究和应用。目前的集成研究主要是通用数据标准IFC 和CityGML 之间的空间和 语义转换,但由于应用领域和空间尺度等差异,存在信息错误和丢失、几何语义信息耦合度低、 应用拓展性差等问题。为此提出了一种兼顾三维实体对象和地理空间对象的三维城市数据模型, 研究了BIM 和GIS 的空间和语义数据的提取、处理和转换方法,设计了BIM 和三维GIS 的集 成应用框架并在三维可视化平台上进行验证和初步应用。该方法可实现BIM和GIS 信息在几何、 语义、精度上的完全融合,避免了传统的数据转换带来的信息缺失,在多尺度的空间和语义信 息分级存储和加载显示方面存在着优势,有利于实现大规模、高精度的建筑和城市信息的高效 集成。     

操作系统形式化设计与验证综述

对操作系统的形式化设计和验证的概念进行介绍,描述其框架和基本方法。比较和分析操作系统宏内核和微内核结构,调查多个设计和验证项目,阐述项目的验证目标、方法、优缺点和进展情况。在总结研究现状的基础上,分析和展望操作系统形式化设计和验证的发展趋势,从操作系统模型设计、验证工具、代码实现和验证重用等方面给出形式化设计和验证的思路。     

Oracle企业管理器10g将提供全面和集成的企业软件管理 应用软件将享受应用程序管理、服务级别管理、配置管理和更改的自动化

甲骨文公司宣布了其Oracle企业管理器10g的扩展功能，为Orocle应用软件和第三方应用软件提供全新的和更广泛的管理功能。除了为运行在Oracle和非Oracle数据库和中间件上的应用软件客户提供广泛支持之外。Oracle企业管理器10g将增强对Oracle电子商务套件、Oracle PeopleSoft企业版和Oracle Siebel的管理和监控能力。通过提供单一和统一的管理解决方案，甲骨文将帮助客户减少管理应用软件的复杂性和成本，使基础架构能提高应用软件的有效性和业务交易性能。     

不常用的硬件和服务，快停自如还提速

Windows和应用程序安装的一些硬件和自启动服务我们不常使用,对于这种硬件和服务,在平时停用它,在使用的时候再去启动它,显然会节约大量的系统资源。但是停用和启用这些硬件和服务,需要到控制面板中打开设备管理器和服务管理窗口,非常麻烦,能不能创建一个快捷方式,在桌面上快速启动和停用这些硬件和服务呢？     

面向儿童的多通道交互系统

设计和实现了一个基于笔和语音的面向儿童的多通道三维交互系统.系统中包含了基于笔和语音的交互信息整合框架,用来整合儿童输入的笔和语音信息.同时,系统中定义了一些基于笔和语音的交互技术,可以支持孩子们以自然的方式,通过笔和语音同系统进行交互.用笔来勾画三维的场景和小动物等实体,同时用笔和语音同场景和场景中的实体进行一定的交互.     

我国森林生态采运理论研究

生态和经济发展都达到平衡是可持续发展的基本规律,从长远看来生态目标和经济目标是统一的,没有生态平衡的经济增长,只能是暂时的增长和环境的恶化;而不顾经济发展的生态平衡又会导致经济的失调和衰退。由于森林生态经济系统的复杂性和采运作业系统的多变性,以及缺乏综合研究、技术集成和理论抽象,至今尚未形成适合国国情和林情的森林生态采运理论和技术体系。     

让关键设施安然“度夏”

数据中心和基站等关键网络设施的“度夏”不仅限于供电和制冷保障,而且对厂商和运营商全生命周期的解决方案和服务综合能力有更进一步的要求。在系统设计和产品选型时兼顾可靠性和能效;在项目前期的规划阶段进行设施选址需要充分考虑可用性风险,并在项目后期的交付阶段进行系统层面验证和试运行;进入运维后制定灾备和容灾计划,并利用管理软件进行监控。     

软件及其使用技巧攻略

该文针对计算机学习和使用中出现的一些繁复的概念,对软件相关概念及软件的操作和使用技巧进行了详细介绍,旨在帮助计算机学习和使用者透过繁复的概念,能熟练操作和使用各种软件,为自己的工作和生活更好的服务。     

本安仪表自动测试系统的研发及其实现

介绍了本安仪表自动测试系统的功能需求和组成结构,以串行通信为基础讨论了系统软硬件设计的技术方案和实现细节,给出了系统具体器件的选型和软件模块的实现方法,描述了软硬件的整合技术和联合调试过程.通过实际测试和试用,验证和完善了系统的设计目标和指定的功能.     

水轮发电机组状态监测和故障诊断系统

将Internet网络技术和虚拟仪器技术用于水轮发电机组的状态监测和故障诊断,使水轮发电机组状态监测和故障诊断提升到远程的网络环境水平,以切实提高状态监测和故障诊断的水平和时效性.通过采用Client/Server网络体系结构,运用LabIEW、DataSocket、PXI和MXI-3等技术,实现了水轮发电机组在线状态监测和故障诊断,为水轮发电机组的状态检修提供了可靠的技术保证,具有良好的应用前景.