排序方式: 共有22条查询结果,搜索用时 71 毫秒
2.
阐述了无功功率在电压稳定和谐波抑制方面的作用,根据宁夏电网无功补偿的实际情况和发展趋势,分析了3种动态无功补偿装置(SVC)的原理,介绍了无功补偿方式的发展趋势和方向。 相似文献
3.
基于故障配置的故障树生成 总被引:1,自引:1,他引:0
故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错。为此,提出基于故障配置的故障树生成方法,引入软件产品线的可变性管理,用于系统故障建模与形式化分析。首先,定义故障特征图模型用于刻画系统故障间的约束关系,基于Kripke结构定义故障标记迁移系统来描述系统的行为;然后,基于模型的语义建立通过模型检测生成故障树的过程;最后,通过时序逻辑描述系统安全属性,利用模型检测工具SNIP验证安全属性进而生成故障树。案例研究验证了该方法的有效性。 相似文献
4.
低密度高强度水泥浆体系在苏丹1/2/4区块的应用 总被引:2,自引:2,他引:0
苏丹1/2/4区块中的4区面积较1区和2区大,是地层较复杂的区块,此区块的Zarap、Betinue和Baraka等层位地层压力系数低,固井施工中易发生水泥浆漏失,造成低返;地层成岩性差,易发生井塌,糖葫芦现象严重,固井施工中顶替效率低。并且这一区块的井普遍较深,封固段较长。苏丹1/2/4区块位于北纬5°~10°之间,天气炎热,年平均气温高,地温梯度高,给固井施工带来很大的困难。文章从地层资料、井身结构、固井工艺等环节进行分析、研究,经过大量的室内试验和现场应用,确定出性能优良的低密度高强度水泥浆体系,解决了该地区固井技术难题。 相似文献
5.
6.
软件产品线保持产品个性化的同时提高了公共部分的复用。但软件产品线中包含的不确定信息,给产品带来了潜在风险。形式化验证技术逐步应用于软件产品线验证。但是传统的布尔逻辑模型不能很好地描述软件产品线的不确定性和不一致性。本文结合多值模型检测器χChek,通过基于动作的模型描述方法,对软件产品线进行描述,然后转换成为χChek规定的模型格式,同时提供多值逻辑描述。最后采用计算树逻辑描述产品线属性,使用χChek进行验证。 相似文献
7.
基于SAT求解器的故障树最小割集求解算法 总被引:1,自引:0,他引:1
故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析。求解故障树的最小割集是故障树分析的关键步骤。目前,对于大规模故障树的最小割集的求解方法主要是将故障树转化为二元决策图之后求解,其主要缺点在于算法在时间和空间上的消耗严重依赖良好的变量顺序。为了减少存储资源并加快求解速度,提出了一种基于可满足性问题的故障树最小割集求解算法。首先,将求解故障树最小割集问题转化为求解布尔可满足性问题。然后,利用可满足性问题求解器,通过迭代分析求得最小可满足解集合,即为对应故障树的最小割集。实验表明,本文算法求得的最小割集准确、有效并且在空间和时间上的消耗均要优于传统的基于二元决策图的故障树最小割集求解算法。 相似文献
8.
本系统利用开源OpenCV图像处理函数库进行快速开发,总体设计方案包括如下几个方面:在图像预处理方面,系统将通过视频流获得的图像帧进行直方图均衡化,去除实际图像中存在的噪声,放大图像细节;在人眼识别与定位方面,系统采用成功的Adaboost算法,利用OpenCV提供的样本训练集和检测方法;人眼睁闭状态判断方面,系统利用自适应阈值化获取能够展示人眼完整形状的二值化图像,通过人眼区域内黑色像素点面积变化的比较来判断睁眼闭眼;最后,系统选取目前公认有效的PERCOLS疲劳程度评价指标对当前驾驶员的疲劳状态进行分析。 相似文献
9.
输电线路故障定位在故障隔离中起着至关重要的作用,针对单端行波法在输电线路故障定位应用中的不足,提出了一种基于轨迹去伪的输电线路故障定位方法。该方法先采用单端行波法记录故障点反射波和干扰反射波进而获得真、伪故障点,再根据线路两端的电压差和上游端电流构建的电压差-电流(Δv-i)椭圆轨迹图得到估计故障位置,进一步比较估计位置与真、伪故障点的距离,将与估计故障距离最近的故障点作为准确的故障位置。所提方法是对单端行波法的改进,不需要增加额外的检测设备,仅利用输电线路两端原有的计量或保护装置即可监测线路两端电压和电流。在输电线路三相接地、单相接地、两相接地等不同故障类型条件下对所提方法进行测试,运行结果表明所提方法在输电线路发生不同故障时均能准确定位故障位置。 相似文献
10.
场内风速分布不均、集电线路分布不匀等因素造成各发电机间继电保护状态和外特性的差异,使得常规单机聚合模型难以准确反映真实风电场的故障穿越行为。为此,基于逆向建模方法与宏观特征参数,提出了对双馈异步机组(doubly-fed induction generator,DFIG)风电场具有更强适应的双机聚合模型。首先,分析了过流短接保护对风电场外特性指标的影响。其次,考虑到DFIG的功率源特性,低电压穿越中对其转子侧Crowbar的描述决定了是否能精确模拟风电场的功率调制响应,而短路电流水平又决定了Crowbar是否动作,是引起发电机间调性不同的最主要因素。基于该不同调性对故障过程中的DFIG进行分类,在双机等值模型的基础上实现了对风电场内分布行为的描述,并可根据具体风电场参数和风资源特性主动调节宏观参数组,从而平滑设定影响外特性的场内分布因素水平。最后,为提高该模型的实用性,还提出了一套参数辨识策略,依据故障深度提取出能体现风电场于该次扰动中最大的可能性响应的宏观参数组。多机系统仿真验证了单机等值存在的问题以及双机等值模型的性能。所提方法可考虑风电场自身的风资源特性,同时有效提高对风电场功率响应、相邻同步机功角稳定和负荷电压稳定行为的模拟精度。 相似文献