T-CBESD:一个构件化嵌入式软件设计模型验证工具

现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-CBESD(Tool for Component-Based Embedded Software Designs).工具直接使用UML顺序图模型作为系统规约,可以检验系统设计模型与场景式规约之间多种行为一致性问题;并使用消息事件的时间约束不等式,检验实时接口自动机网络与带时间约束的顺序图模型之间的实时行为一致性问题.工具设计与实现内容包括:输入输出接口、顺序图模型的预处理转换、状态空间数据结构设计、抽象验证算法的实现以及通信构件组合系统的实例应用分析.     

基于峰值识别理论的BP神经网络模型及应用

针对神经网络模型在进行河道洪水预报中,由于大流量样本少而使洪峰模拟精度不高的问题,在自适应BP模型的基础上,引入一种峰值识别理论,即对峰值样本的网络误差加入合理的误差修正系数,建立一种BPPR算法模型.并将两种算法(BP,BPPR)模型进行了对比,通过实例计算,加入误差修正因子的BPPR算法模型比没有加入误差修正因子的BP算法模型对洪峰峰值的预报精度明显提高,而且总的模型的预报精度也有所提高,这对河道洪水预报在延长其预见期和提高其预报精度方面提供一种新的思路.     

实时数字仿真装置RTDS介绍

详细地介绍了广西电力有限公司从加拿大Manitoba高压直流中心引进的实时数字仿真装置RTDS的原理、结构及应用领域。     

黄铜工艺品仿古简化着色工艺的研究

本文作者简化了常规黄调着色工艺，即用机械前处理代替化学性前处理，并去掉了固色的后处理主。生产实践证实，这种简易方法，膜质量好，是值得推广的一种方法。本文还对影响膜质量因素进行了定量研究。     

信息化技术在状态检修中的应用

广西电网依托技术创新,以信息化技术为支撑,构建了支持状态检修的"4+1"平台。通过整合生产MIS等4大数据系统中状态评价和风险评估所需要的数据,在一体化数据平台上自动获取设备状态量数据,实现了设备状态和风险的自动评价及辅助决策。利用"4+1"平台,广西电网在状态检修实践中积累了成功经验,取得了良好效果。本文介绍了广西电网"4+1"平台的总体概况及其在广西电网的应用情况。     

卷烟接装纸在不同大气压下透气度换算修正方程的建立和验证

在可调节大气压实验舱中,分别测定得到试验接装纸在99.0 kPa、94.0 kPa、89.7 kPa、84.7 kPa、80.7 kPa时的透气度,并在昆明(81.0 kPa)、红河(85.9 kPa)、太原(92.6 kPa)对各接装纸透气度进行了实际检测,分别得到100 CU、200 CU、400 CU、600 CU、800 CU在不同大气压和环境下的40次检测数据。建立了各接装纸在不同地点(不同大气压)透气度线性换算修正方程,经过验证100~800 CU接装纸在不同地点(不同大气压)透气度修正后的准确性大于98.2%。该方法可以指导不同地点卷烟接装纸透气度的测定、换算和比较。     

基于状态和风险评估的老旧变压器安全经济性管理分析

笔者主要对广西电网运行15年及以上变压器进行了安全经济性分析,提出了变压器状态评价、风险评估及经济性分析辅助决策的算法和模型。通过运用变压器状态评价和风险评估技术,分别从安全性和经济性的角度对变压器大修、改造或更换所能产生的效果进行综合分析,模拟技改评估结果,提供变压器未来最佳更换时期,实现对老旧变压器的最优化管理。     

基于分层滤波算法的无人机控制系统故障检测技术

针对传统无人机控制系统故障检测技术检测误差率高，检测速率低的问题，引入分层滤波算法研究了一种新的无人机控制系统故障检测技术，构建地面坐标系得到模型数据，同时收集无人机系统的内部转向角因素，录入转向角数据，采用算法整合处理主系统数据，利用滤波手段控制数据录入量，综合提取特征参数，选取不同于正常状态的特征参数，利用噪声估计器诊断故障，分析残差与“零”之间的关系，从而实现无人机控制系统的故障检测。实验结果表明，相较于传统技术，基于分层滤波算法的无人机控制系统故障检测技术误差率降低了0.56%，检测速率提升了27.39%。     

物理化学洗涤法处理大港南部油田油泥砂的应用效果分析

在油田开发生产过程中会产生大量的含油泥砂,含油泥砂的随意排放或简单堆放都会对地下水、地表水、大气和周围植被等环境造成污染,随着国家对环境保护的日益重视,含油泥砂的无害化处理越来越重要。大港南部油田经过探索试验,最终采用物理化学洗涤技术对含油泥砂进行处理并取得了成功,通过沉降、均质、洗涤、空化分离、离心分离等措施,实现了含油泥砂的分离、清洗和浮油回收利用,该技术解决了多年来含油泥砂四处堆放存在的安全环保问题,每年可处理含油泥砂5 000 m3,处理后泥中含油体积分数小于5%,砂中含油体积分数小于1%。