副井提升系统安全回路及上位机优化改造

针对煤矿副井提升系统安全回路软硬件及上位机中存在的不足进行了优化改造,改进了过卷试验方式,将闸系统紧停信号引入安全回路,并将安全回路各节点状态信号引入RSView32人机界面,实时显示安全回路状态;根据现场检修需要,在上位机增加了复位显示功能及行程偏差大报警信号。实际应用表明,该优化改造可迅速定位故障节点,实现软硬件互查。     

基于动态贝叶斯网络的社交圈归属匹配模型

为了帮助社交网中新成员寻找与之最为合适的社交圈,尝试采用动态贝叶斯网（DBN）理论解决社交网分析应用中成员（节点）与社交圈（集合）的匹配问题。将圈内成员个人的多项兴趣爱好程度作为描述社交圈基本属性的特征向量,对每一类圈子建立了带有辅助信息形式的DBN模型,求解最大输出概率即为最佳匹配对象。结果表明,在客观测试和主观评价两方面,该模型都收到了较为满意的结果。     

高流速双室床节水效果评价

高流速双室床(HDCB)是我国自主开发的一项水处理新技术。陕西某热电厂1年多的运行结果表明,其自用水率仅为3.2%,远低于反渗透(33%)及其他离子交换技术(10%)。HDCB自用水率低是由其结构及运行特性决定的,它具有周期制水量大,再生步骤少,再生过程用水量少,大反洗(清洗)次数少等特性,是目前化学水处理技术中节水效果最好的一种技术。     

电磁泄放阀辅阀改进

通过对电磁泄放阀辅阀泄漏原因的分析，提出了相应的改进措施：(1)改进辅助阀瓣结构；(2)改动辅阀位置；(3)改变试验方法；(4)加强锅炉起动时的检查。珠江电厂3号、4号炉电磁泄放阀采取这些措施后已运行近两年，效果良好，辅阀未再泄漏，确保了机组的安全运行。     

变频调速技术在局部通风机中的应用

变频调速技术,正是顺应了工业生产自动化发展的要求,一改普通电动机只能以额定的转速运行的固定模式,使得电动机及其负载在无须任何改动的情况下即可以按照我矿生产要求调整功率输出,从而降低电机功耗以达到设备高效运行的目的。     

不确定关联大系统的分散变结构控制

针对不确定关联大系统,提出了一种变结构渐近稳定控制律.利用左特征向量设计了关联大系统的切换面,在理想切换面附近利用一个辅助函数,建立一个柔化带来柔化控制律.利用Lyapunov稳定性理论和对角占优性质,严格证明了所设计的不确定关联大系统的变结构控制系统的全局渐近稳定性.这种变结构控制律不仅提高了系统进入滑动模态的快速性,而且消除切换面附近的抖振.仿真算例验证了该方法的有效性.     

发电厂厂用电电气综合自动化技术发展综述

总结了厂用电系统的监控范围和特点,对厂用电电气综合自动化技术的发展历程做出回顾,分析比较了目前系统组态模式的结构及其特点,提出了分层分布式模式的关键技术,并进一步探讨了技术的发展趋势.     

输出信号量化的双率采样系统参数辨识方法

针对双率采样和信号量化(signal quantization)[BFQB]的控制系统,采用随机重复性试验测量信息,提出基于辅助模型的双率采样量化控制系统辨识方法.分析了在随机重复试验和放松估计误差方差条件下,双率采样量化系统的模型特征并给出了分两步辨识的策略,推导了进行参数辨识所满足的持续激励条件,并给出了基于辅助模型的双率采样量化控制系统量化辨识递推算法;接着分析了所给出量化辨识递推算法的收敛性,得到了双率采样量化系统参数估计误差上界的计算式,最后数字仿真验证了该算法及结论的有效性.     

Automatic Generation of Invariants

When proving invariance properties of programs, one is faced with two problems. The first problem is related to the necessity of proving tautologies of the considered assertion language, whereas the second manifests itself in the need of finding sufficiently strong invariants. This paper focuses on the second problem and describes techniques for the automatic generation of invariants. The first set of these techniques is applicable to sequential transition systems and allows deriving so-called local invariants, i.e., predicates which are invariant at some control location. The second is applicable on networks of transition systems and allows combining local invariants of the sequential components to obtain local invariants of the global system.     

考虑市场力风险约束的最优AGC控制模型

针对传统自动发电控制(AGC)优化模型中难以考虑市场力风险的问题,引入度量市场风险的价值模型,提出了以风险价值为限值的辅助服务成本约束混合整数非线性规划的AGC优化模型。为处理模型的非线性,引入两态辅助变量,将三态的机组状态变量进行等效转化,实现了模型的线性化,有效地降低了模型求解难度。以广西电网运行数据为例,对比不同风险置信水平下AGC控制性能,结果表明:置信水平越高,调节成本越大,控制效果越好,但无论置信水平高低,所提模型均能确保控制性能标准(CPS)合格,验证了模型的有效性,为电力市场环境下的AGC控制提供了有益参考。