PHS网络的无线侧优化

由于覆盖环境的不同,测试可分为路测和点测。路测是针对道路覆盖,点测主要是针对是建筑物内部以及路测不便进行的地区。要将覆盖不足的问题解决好,必须在现场制定方案前对路测和点测的数据做充分的分析。     

TMS320LF2812在电力系统测频测相装置中的应用

提出了一种基于数字信号处理器（DSP）的测频测相方法，用于同步发电机微机励磁系统中机组频率及机端电压电流相位差的测量，与传统的单片机、PLC或FPGA测频测相装置相比，其硬件电路大为简化，测频测相装置的可靠性极大提高，而且测频测相精度较高，提高了发电机励磁控制的可靠性和控制精度。     

应用于纳米测量机的MEMS微接触式测头的结构设计和优化

为了提高MEMS微接触式测头的性能,系统开展了测头的结构设计和参数优化.根据测头结构各个部分的设计目标,提出了测头悬挂系统拓扑结构的设计方案.基于测头结构的力学模型,提出了结构参数对测头性能的影响机理,并采用有限元方法对测头的测杆、中心连接体、梁等结构参数进行了仿真优化,获得了符合测头整体性能设计要求的参数及应力分布曲线.     

同步双界点测频测周集成高准确度频率测量

针对现有测频技术存在问题 ,提出一种新的测频方法 ,它是在测频测周的基础上 ,利用软件同步技术、测频测周双分界点及改变闸门时间的方法进行频率测量 ,从而大大提高准确度 ,扩大测量范围     

边坡测斜管扭转检验与测值修正

为定量了解实际工程中测斜管扭转情况及其检验方法,以及基于测扭结果的变形测值修正方法,给出了专业的测扭仪的应用过程,分析了测斜管扭转成因以及根据实测扭转角度进行测值修正过程,以某电站工程进水口边坡上安装的CF01和CF02两根测斜管为例,采用几何修正和坐标转换的方法对测斜管导槽扭转和测值修正过程进行了深入研究,分析了现有扭转程度对测值的影响。具体工程实例证明本文方法合理可信、所选用的测扭仪可靠,对类似工程具有一定参考应用价值。     

三维超声波测风仪原理与应用

超声波测风是超声波检测技术在气体介质中的一种新的应用。文章描述了三维超声波测风仪较之传统二维测风仪的优点,给出了超声波测风的原理并对其中的直接时差测风法作了详细介绍,最后给出了几种典型的三维超声波测风仪的应用领域。     

有色量测噪声下机器人同步定位与地图构建

针对有色量测噪声模型,提出一种有色量测噪声下的轮式机器人同步定位与地图构建算法。通过重新组合轮式机器人的过程模型和量测模型,将有色量测噪声量测模型转化为虚拟的白噪声量测模型。为使过程噪声和量测噪声不相关,对过程模型进行不相关条件处理。算法按照构造的虚拟过程模型和量测模型进行滤波估计和地图构建。仿真结果验证了算法的一致性和鲁棒性。     

轴测投影的若干问题

重新审视了轴测投影定义的表述。轴测投影法是用平行投影的方法,沿投射方向 将空间坐标系投射到投影面上得到轴测坐标系并进而在这个坐标系下表述空间形体,用这种方 法得到的图纸叫轴测图。三视图用3 个视图分别表示形体的3 个方向(面),轴测图用一个视图 同时表示三直三面角,其本质都是要表达出形体的3 个方向(面),在平面上表述空间形体。讨 论了轴测投影中的一些根本问题,包括平行投影体系、轴测三角形、轴测投影体系、轴测投影 的基本要素和基本公式,剖析了正轴测投影和斜轴测投影之共性和不同,给出了其原理图。     

基于转换量测容积卡尔曼滤波器带多普勒量测的目标跟踪算法

针对带多普勒量测的目标跟踪问题,提出一种基于转换量测容积卡尔曼滤波器的序贯滤波目标跟踪算法.对具有量测误差相关性的距离和多普勒量测进行解相关处理,构造出新的解相关量测方程,进而基于贝叶斯方法提出带多普勒量测的序贯处理算法的统一理论框架,实现对位置量测和多普勒量测的序贯滤波.在该理论框架下,提出基于转换量测容积卡尔曼滤波器的序贯滤波目标跟踪算法.该算法先采用转换量测容积卡尔曼滤波器和位置量测对目标状态进行估计,再利用经典容积卡尔曼滤波器对新构造的伪多普勒量测进行量测更新以实现目标跟踪.通过对所提算法的性能分析验证该算法的一致性和收敛性.仿真结果表明,该算法与其他跟踪算法相比,具有更高的跟踪精度.     

顺序更新式无序量测处理算法

在集中式多传感器目标跟踪系统中,常出现源自同一目标的量测到达处理中心时的乱序现象,即无序量测问题。本文借鉴等价量测与重新滤波法的思想,提出一种基于等价量测的顺序更新式无序量测处理算法。该算法用等价量测来代替重新滤波法中需要缓存的量测序列,然后从无序量测处开始用无序量测和等价量测进行顺序更新。通过理论分析和仿真实验证明:该算法在处理一步延迟时是最优的,在处理多步延迟时,接近最优;且该算法有较高的滤波精度和较小的额外存储量。     

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软件中实现与之相关的功能。     

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

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

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.     

全国多级、多分辨率图形图像控制点数据库建立及应用展望

控制点图形图像数据库的建立能够克服常规控制点获取技术中周期长、应用效率低、可重复利用率低的缺点, 是实现高效、高精度几何纠正的基础。详细介绍了全国多级、多分辨率图形图像控制点数据库的数据源选择标准、控制点采集技术指标、数据库建立与管理模式、数据库共享机制等。最后对全国多级、多分辨率图形图像控制点数据库的应用做了简单介绍和展望。     

小型水库运行管理问题与对策

我国小型水库量多面广,加强小型水库运行管理对防洪保安意义重大。基于小型水库除险加固遗留问题和典型案例、安全运行专项督察中发现的主要问题、雨水情测报和监测设施现状等数据,分析小型水库在除险加固、运行管理体制、管护能力、信息化建设等方面存在的不足之处及原因,结合全国小型水库管理体制改革样板县创建经验,从提升除险加固标准、消除安全隐患,理顺管理机制、创新管护模式,强化责任落实、提高管护能力,加强科技应用、提升智慧化管理水平等方面提出建议和对策,并以重庆市永川区为实例,总结小型水库运行管理经验和智慧水利系统情况,为保障全国各地小型水库安全运行提供参考。     

传感网与物联网的进展与趋势

文章概括地论述了当前IT前沿技术中的热点：传感网、物联网的由来、进展与趋势,阐述了从因特网到物联网,从数字化、网络化到智能化的进展与融合,以及它们的汇聚所引发的IT第三次浪潮对产业革命和社会发展的影响与作用;文中提出传感器核心芯片和传感网接入因特网技术,是当前IT前沿技术攻关的瓶颈,并由此引出了物联网与智慧地球的新理念和战略性新兴产业;文中分析了物联网向融合化、嵌入化、可信化、智能化发展的技术趋势和向标准化、服务化、开放化、工程化发展的管理应用趋势。     

水电管理系统的设计与实现

基于某校水电管理的实际情况,采用B/S模式和C/S模式的混合模式实现了水电管理系统的设计与开发。