泛在电力物联网感知层总体架构研究

泛在电力物联网从架构上可分成感知层、网络层、平台层、应用层4个层次,感知层是构建泛在电力物联网的重要基础。通过研究泛在电力物联网业务需求,分析了业务流到数据流的映射机制,并从横向、纵向2个维度提出与泛在电力物联网应用层协同规划的感知层总体架构,提出感知层的技术原则和建设模式。为泛在电力物联网的研究与建设提供了重要的理论支撑和实践依据,为下一步示范工程的设计与建设提供了重要的指导作用。     

基于构件的软件构造技术

传统的软件开发方法在面向领域的软件系统开发过程中难以支持重用性。而基于构件的软件开发（ＣＢＤ,Ｃｏｍｐｏｎｅｎｔ Ｂａｓｅｄ Ｓｏｆｔｗａｒｅ Ｄｅｖｅｌｏｐｍｅｎｔ）是提高软件生产效率和产品质量的现实有效的途径。     

基于智能变电站的站域保护原理和实现

为了克服现有继电保护系统配置无法发挥智能变电站本身优势的缺点,该文针对三层式的继电保护体系架构,分析了智能变电站站域保护的功能、实现方式、算法及原理.基于反序网络中母线电压为零的特点,提出了并联电抗电流的出线故障性质判别新方法和基于反序网的双回线路故障测距方法.将高压线路并联电抗器电流引入线路保护,形成了智能变电站带并联电抗器线路保护的新方案.该保护方案具有通过所获取的信息弥补该间隔缺失的保护功能,从而能够快速切除故障.     

程序重构预处理在提高软件模型检测效率中的应用

针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率.程序重构将大型程序分解成语义一致的小型过程的集合,由于模型检测算法中过程总结边可单独计算,而且在程序中对某过程的调用可能有多次,这种预处理可以避免状态空间的重复搜索,从而降低模型检测算法在空间和时间上的开销.根据表达程序性质的线性时序逻辑LTL公式的构成,给出了程序重构预处理前后程序语义相等的充分条件;并给定程序和性质公式,用blast作为程序模型检测实验工具,比较程序重构预处理前后blast的运行结果.理论分析和部分程序上的实验表明：程序重构预处理能降低大型程序的模型检测开销,并满足软件模型检测的安全性要求.     

基于DSP的单相PWM整流器研究

介绍了单相PWM整流器的工作原理,分析了电流内环和电压外环控制器的设计,并给出了交流侧电感和直流侧电容的参数设计原则。最后,通过DPS芯片TMS320F2812进行了实验验证,给出了实验波形。实验结果表明,输入电流跟踪输入电压,实现了网侧的高功率因数。     

地磁场对光电倍增管增益的影响

羊八井大型高海拔空气簇射观测站(LHAASO)计划中,为研究20TeV以上的伽马射线天文和宇宙线物理,提出了建设1 km2地面簇射粒子阵列(KM2A)的设计方案.其中的塑料闪烁体探测器(ED)要用到5 000多个光电倍增管,对选用的光电倍增管的性能指标(线性度、增益及其一致性等)有着较高的要求.重点研究了地磁场对XF2...     

进口240MW水轮机机组励磁系统改造方案设计与应用

本文介绍了某水电站240MW机组励磁系统进口设备国产化改造方案及其特点。新设计的励磁系统采用背靠背的盘柜布局方式,综合风冷、水冷方式实现励磁系统冷却,并以柔性电制动方式实现电气制动,实现了预期的改造效果。     

单片机控制的全数字锁相直流调速系统

文章阐述了在直流电动机速度控制中数字锁相原理的应用及以８０３１单片机为基础构成的全数字锁相调速系统的实现。提出并实现了三闭环（相位环、速度环、电流环）的变结构控制方案，还利用单片机实现了转速频率给定，晶闸管触发，三闭环ＰＩ算法，数字Ｍ／Ｔ测速及速度实时显示等功能。     

关于广西基层水利服务体系建设情况的调研报告

分析了广西基层水利服务体系的现状及其存在的主要问题,并针对这些问题提出了相应的对策,对今后广西基层水利服务体系建设提出了建议.     

三峡石市(散文)

因为采掘过石头,我特别爱石。坐江轮顺流而下,闻说三峡石刑有风采,船靠万县港,我便偕友登临寻市了。“众水会涪万,瞿塘争一门”,万即万县,取万水汇集之意,为瞿塘峡之首户。长江为万县壮色,故亦素有江城冬名,东襟都岳莽峰,西枕太白苍岩,对岸翠屏傍汪排开。据说天睛日丽,江水能把万县胜景映之屏上,蔚为