铁路站段用交流不间断电源供电系统

结合铁路站段的特点 ,介绍了一种交流不间断电源供电系统 ,能够很好的解决其供电问题。     

存储媒体的媒体内同步反馈控制算法

本文提出了一种存储媒体的媒体内同步反馈控制算法，该方案是建立在缓冲区占用率控制基础上，通过周期性地检查缓冲区的占用情况来检测失步，并将其反馈给发送方，由发送方对发送帧速率进行调整。文章给出了接收方所需缓冲区的设计准则及发送帧速率的调整方法，并分析了算法中各参数对同步性能的影响。实验表明该方案能够处理由于网络传输时延特性变化引起的失步，与其它反馈控制方案相比具有更低的数据丢弃率，从而使接收端播放平滑连续，具有良好的视频播放质量。     

鞍钢1780mm热轧生产线"三电"工程施工概述

概述了鞍钢1780mm生产线技术改造工程中供电、传动及自动控制系统的构成、安装及调试技术要点,以及技术经济效果评述,可供同类工程施工参考.     

新型微波-毫米波幅相测试系统及扩展应用

介绍了一种新型微波 毫米波幅相测试系统及其在相关测试领域中的典型应用。与传统微波幅相测试系统相比 ,该系统具有原理新颖、结构简单、扩展频段容易和使用方便等优点。本系统目前广泛应用于紧缩场电气性能检测、天线测量和RCS测量等领域中 ,频率范围为 1～ 110GHz。本测试系统已经申请国家专利 ,并通过相关部门鉴定。     

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

HTR-10燃料元件装卸系统冷态调试

10MW高温气冷实验堆（HTR－10）是一座球床堆，由燃料元件装卸系统实现燃料元件的装卸和循环，且不需要停堆，为保证HTR－10的正常运行，燃料元件装卸系统必须安全，可靠，为此，必须对燃料元件装卸系统进行周密，细致的调试试验和验证，本文介绍了燃料元件装卸系统冷调试的主要调试项目，调试方法和调试结果。     

科学焚烧垃圾系统的技术特点

科学焚烧处理垃圾法具有占地少,场地易选择,时间短,减量化显著,无害化彻底以及回收余热供发电供热等优点.其处理设备和控制系统是保证科学焚烧处理垃圾成功,并带来巨大经济效益的关键.鉴于此,文章对科学焚烧垃圾系统设计作了比较详细的介绍.     

基于GPRS的闸门监控系统设计

利用通用分组无线电业务(GPRS)通信技术、可编程逻辑控制器(PLC)和RS-485总线设计了稳定、经济的分布式闸门监控系统。该系统采用Internet/数字数据网(DDN)和GPRS Modem方式接入无线通信网络,并根据闸门监控系统的运行特点,采用GPRS实时通信与短信服务(SMS)通信相结合的方式,不仅保证了系统通信的稳定性和平衡性,且优化了系统的运行成本。最后,对基于GPRS的闸门监控系统的经济性和适用性进行了讨论。     

莲花水电站外部变形自动监测系统改造

介绍莲花水电站大坝面板及溢洪道外部变形自动化监测系统设计、测量精度分析及运行情况.     

A frame-based knowledge representation model and its mapping to nested relations

The first part of this paper introduces the basic constructs of a frame representation model and gives a formal definition for them. Subsequently the nested relational model (NF²) is described as an extension of the classical relational model to support relation-valued attributes. In the second part of this paper both models are compared with each other and a mapping of frame representation structures to NF² structures is specified. The structural similarities between frames and NF² relations are made clear and it is shown that their main difference is due to the type polymorphism introduced by the concept hierarchy of the frame model. This causes type collisions to occur in the strictly typed NF² model when frames are directly mapped to NF² structures. Two solutions to this problem are suggested and compared. The paper concludes with a reformulation of query operations of the frame model in terms of NF² algebra operations.