形式化方法Designware及其规约精化机理*

介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述.     

蒙东电网中压用户可靠性数据评价分析

介绍了蒙东电网中压系统的主要指标及影响因素,选取了2011年至2015年的可靠性数据并进行对比分析,通过分析可靠性数据的变化趋势及具体原因,反映出中压系统的影响程度,及时掌握当前线路及电力设施的运行状况及其存在的安全隐患,对蒙东电网中压系统保持良好的运行状况具有借鉴作用。     

一种形式化开发非递归算法的方法*

提出了一种简单、统一的形式化开发非递归算法的方法.该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体实例进行了阐述.对使用形式化方法及循环不变式开发新策略开发非递归算法的方法作了较深入的实践和探讨.     

500kV电抗器局部放电故障处理分析

针对某500kV变电站带电检测时发现的500kV 1号电抗器A相存在明显的局部放电信号情况,根据油色谱检测数据,通过现场检查、测试及故障分析,显示该电抗器乙炔含量超标,初步判断缺陷为电抗器爬梯对侧的屏蔽件、定位件、紧固件等金属部件发生悬浮放电,进一步确认是因为此处的铁轭穿心杆螺母松动导致局部放电。根据故障原因,采取了相应的故障检修处理措施,有效消除了事故隐患。     

移动代理技术在生态系统仿真中的应用

本文将移动代理及协调技术引入真实世界的仿真，通过确定草原各物种之间的关系，在移动代理系统中仿真了一个简单的草原生态系统，验证了移动代理技术是一种特别适合仿真真实世界的新型分布式计算模式。     

Windows CE帮助机制的研究及应用

阐述了嵌入式操作系统windows CE的帮助机制的实现，并讨论了与台式机的windows帮助体系的区别。结合自身经验并以一个简单实例，详细描述了基于Windows CE 3．0应用程序的帮助文件的创建过程，以及与Windows CE 3．0帮助体系的无缝集成。     

内蒙古东部电网架空输电线路运行情况分析

对内蒙古东部电力公司所属架空输电线路2006—2012年的运行情况及雷害、外力破坏、鸟害、风害等典型故障进行统计、分析,发现跳闸及停运故障主要集中在110 kV、220 kV这两个电压等级,其中雷击与外力破坏是最主要的线路故障原因。对此提出了改造杆塔、降低杆塔接地电阻、安装线路氧化锌避雷器等防雷害措施,以及加强对输电线路沿线居住群众进行电力设施保护宣传、在新建线路中采用具有防盗功能的新材料等防外力破坏措施,进一步加强架空输电线路管理,确保电网安全稳定运行。     

一起光伏电站电压振荡事故分析和解决措施

针对一起光伏电站母线电压发生低频振荡,电压频繁越上限的事故进行分析,得出引起电压频繁越上限的原因是系统运行方式改变从而引起短路容量改变,导致光伏站内SVG控制参数与系统短路容量不匹配,SVG输出无功电流出现低频振荡现象,并进行了时域分析和频域分析.针对该问题提出了调整电压外环调节器参数和无功电流滞后常数的解决措施,并通过仿真和实际运行验证了解决措施的可行性.     

算法程序变换研究与进展

开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率，人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径，已成为程序设计方法学和软件自动化领域中的重要课题，目前已取得很大进展。本文介绍了算法程序变换的相关概念，给出了算法程序变换的分类，并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目，讨论了当前研究的不足以及今后的研究方向。     

一种新型风—光—水互补发电系统

本文介绍了利用风能和太阳能互补性设计的一种风能和太阳能联合供电系统。整个联合供电系统受能量交换平台的调度,根据供用电的实际情况,实现供电系统在多种工作模式的切换,充分利用抽水蓄能电站和蓄电池这两种储能装置的优势,实现了供电、用电、储能三者之间的互相平衡,达到了完全利用可再生能源可靠、高效、持续地为分散用户提供生活用电的目的。本系统很好地利用了风、光、水这些可再生资源在昼夜、季节、地域上的互补性,拓展了风能、太阳能和水利的经济利用范围,节省了输电成本,具有很高的推广价值。