不平衡电桥在等电位联结电阻测量中的应用

针对建筑物等电位联结的意义进行了说明,并阐述了其定义标准和等电位联结电阻的要求和测量标准。描述了采用不平衡电桥进行等电位联结电阻的测量原理及实现方法,介绍了等电位联结电阻测量仪的组成原理。     

室内主要污染及对人体健康影响

随着人们生活水平的提高,对居住环境要求也越来越高,过度的装修是必会采用大量的人造板材、多种粘合剂及油漆。这氆物资会释放出大量的有机污染物,下面就现阶段人们普遍关心的甲醛、苯系物的来源、性质、危害及控制加以介绍。     

基于Google Map的西安旅游电子地图设计与实现

实现移动终端上的电子地图查询和导航功能对城市旅游事业的发展具有重要作用。在申请GoogleMapAPIKey的基础上,基于Android开发平台,通过Java语言调用GoogleMap,可以开发和实现基于Android系统的电子地图应用系统。文中介绍了Android系统平台的搭建、GoogleMapAPI的功能和GoogleMapAPIKey的申请过程,探讨了GoogleMapAPI在电子地图服务中的应用,并以西安旅游智能地图手机软件为例,设计并实现了一个在线移动旅游服务平台,这为移动用户快速通过智能手机获取和导航景点地理信息提供支持。     

UML状态图在并行环境的应用研究

标准UML(unified model language)状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而CSP(通信序列进程)语言具有严格的数学定义和分析方法,可用于验证模型的正确性.针对此特点,提出了结合CSP的UML状态图的形式语义,同时给出在并行环境下UML状态图的...     

基于 ADL 的物理信息系统的建模与分析

当前分析和设计物理信息系统的模型和方法通常是线性分离的,且由不同的数学形式化方法和工程与计算机科学中的不同方法定义.为便于处理,对关注点分离是必要的,但这种分析方式由于在系统设计时过早地将系统信息特征与物理特征分离,导致很难评估直接与这两个领域进行交互的可替换元素的影响和协调性.文中对围绕组成 CPS 系统的所有范围的元素的架构描述进行扩展,最终目的是能够建立一个可扩展的框架,包括一套可被创建的综合设计工具.由此文中提出这种物理信息系统建模方法并通过一个简单应用实例对方法进行说明     

信息物理融合系统体系结构研究

信息物理融合系统(Cyber-Physical System,CPS)是近年来国内外科技界与学术界研究的新兴的重要领域。为了从整体上把握和研究CPS的体系结构,归纳列举包括原型的、基于事件驱动的、"发布-订阅"式的、面向服务的和基于云的几类主流的CPS体系结构。分析讨论CPS各类主流体系结构的层次划分及层级结构,归纳其共性,总结并提出典型CPS体系结构和典型CPS层级体系结构,为以后CPS体系结构的研究提供了参考。     

移动实时数据库的时间一致性研究

在实际应用中,实时的移动数据库系统不仅需要确保事务完成的最后期限,而且还需保证事务处理的时态一致性,为此研究了移动实时数据库的时间一致性.从移动实时数据库时间特性的定义出发,分析实时事务的时间一致性限制因素,提出实时事务的时间一致性维护策略.性能测试结果表明,乐观协议OPT-Wait与基于锁的协议VL-HP各有优劣,在延误截止时间率方面,OPT-Wait协议比VL-HP协议性能好.     

实时数据库中时态性与安全性保障的服务质量管理方法

本文提出了使用服务质量管理的确保时态与安全的时态、安全实时反馈控制体系结构。探讨了在无确定工作量和数据访问模式下为事务提供截止时间丢失比例和时态一致性保障的QMF方法，并通过动态调整基于反馈控制环中测量性能差错上的系统行为．采纳反馈控制器要求的自适应修改策略动态调整工作量以达到用户期望的时态、安全保障的实时数据服务。     

网格技术及其应用

网格实现了将计算机网络作为统一的计算资源的可能性。这是一种动态的、多机构虚拟组织的资源协调共享和问题解决的崭新技术，与传统分布式计算的区别，主要在于其重点是大规模的资源共享、创新的应用以及高性能的目标。文章阐述了网格的基本概念，并介绍了网格的应用与发展。     

形式化语言RT-Z的合成及其应用

Z是一种确定相关数据特征的非常成功的形式化语言，却在构造动态行为方面的模型缺乏相应的功能；而Timed CSP是一种确定动态行为的功能强大的语言，但它没提供适当的结构来构造相关数据特征。文中通过形式化语言Z和过程代数Timed CSP合成一种新的形式化方法RT-Z，使得RT-Z在软件系统开发过程的需求定义和设计阶段能书写软件系统一致、简单的规格说明。