Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions of the Bakery Mutual exclusion algorithm for mutual exclusion. We verify the classic two-process algorithm and simple variants, as well as an atomic parameterized version. The methods used include deductive verification rules, verification diagrams, automatic invariant generation, and finite-state model checking and abstraction.     

3D工厂软件—PDMS应用特点

本文介绍应用PDMS进行项目设计时，其数据库结构，项目管理等方面的特点。     

无线网络在电力生产监控中的应用

根据当前无线网络和工业监控软件技术的发展,分析了无线局域网用于电力生产企业的优势和存在的问题,针对不同问题提出了相应的解决方法．同时,结合通辽电厂局域网的实际情况,提出了无线监控网络在电力生产企业中应用的设计方案．     

在艺术设计学科中的素描问题新探

纯美术教育和艺术设计教育分属不同的教育体系，而目前艺术设计教育中有许多直接从纯美术承接的结构内容，这或许会影响艺术设计教育的良性发展。作为基础课程的传统的素描教学不能适应艺术设计的培养目标，如何调整教学目标和教学方式的问题突显出来。参照艺术设计的三大构成基础进行改革，将是一种有效的方式。     

单层球面网壳结构的力学性能研究

基于非线性有限元方法，研究了单层球面网壳结构的内力分布规律及结构变形特点，并针对力学计算模型、结构失跨比、外荷载分布等主要因素，研究其对单层网壳结构力学性状的影响情况。得出了工程中常用的单层球面网壳的荷载传递方式以及存在于结构内的力流方向，为在工程设计中控制力流，并设计力流的导向提供理论指导。     

短路电流分流系数的计算与测试方法

本文以220kV变电站及输电线路为研究对象,对接地短路电流的分流系数进行了分析,提出了计算与测试方法,并通过对实际工程的验证,得出了适用的结论。     

送电线路钢管杆基础的设计

根据钢管杆所受的外力及地质条件,详细汁算钢管杆所受的弯矩、基础的配置等情况。说明合理的设计方法可以大大节约钢管杆的基础混凝土及其配筋量。     

湖北省"十五"期间电力系统无功补偿研究

针对湖北电冈在用电负荷低谷期间电压越上限的问题，进行了2005年湖北500kV电网感性无功平衡计算，并进行了调相调压计算。认为：按照有关规划，湖北500kV电网2005年感性无功补供度过低，“十五”期应加强感性无功补偿装置的建设；另外，“十五”期湖北电网应进一步加强发电机组的进相运行工作；应进一步加强电容器的自动投切工作。     

结构工程设计自动参数化图形系统的开发研究

以钢结构设计专家系统（ＥＳＯＳＳＤ）图形系统为例，介绍了其设计原理及主要思想，提供了建造ＡＣＡＤ图形函数库，利用ＭＳ－ＦＯＲＴＲＡＮ实现模型代真等方法，并对系统参数化建模及施工图绘制进行了探讨和研究。     

华中华北联网及安阳变电所过渡方案研究

华中与华北联网是全国联网南北互供的主通道之一，是全国北部电网与中部电网的重要联网工程。经过系统论证，华中华北联网宜采用先交流，后过渡到直流背靠背的方案。安阳变电所是华中华北联网工程中的关键变电站，其电气接线方案、配电装置、站用电接线等既要满足近期的联网要求，又要适应远期直流背靠背换流站的要求。因此，安阳变过渡方案的研究对于联网工程显得尤为重要。文中对安阳变电站的过渡方案进行了深入细致的研究，提出经过优化的过渡方案，能更好地适应华中华北联网先交流、后直流的分步实施要求。