基于多层次启发式动态规划算法的电力系统动态等值

针对电力系统运行工况变化后动态等值系统响应精度不够的问题,提出一种基于多层次启发式动态规划(Global representation heuristic dynamic programming,Gr HDP)算法的动态等值方法。该方法在基于同调等值得到的模型的基础上,在等值边界上加入基于Gr HDP算法的动态补偿环节,实时补偿同调等值系统与原系统间动态特性的差额,从而实现精确跟踪原系统的动态特性。以10机39节点系统为例进行仿真研究,结果表明:在不同运行工况、故障方式和故障地点下,基于所提算法的动态等值系统相比传统的同调等值能更精确地跟踪原系统的动态特性。

直驱式风电机组风电场动态等值

以并网点运行特性一致性为目标,提出了一种直驱式风电机组风电场的等值算法。该等值算法定义了能够反映全部直驱式风电机组运行特性的分群指标,利用聚类算法对直驱式风电机组进行分群;以等值机的风力机与单台风电机组风力机的功率转换特性不变为原则,对同群风电机组的风力机参数进行等值;以被等值的风电机组输出功率之和与等值机输出功率相等为原则对风电场集电线路进行了静态等值。仿真研究表明,等值前后风电场并网点的运行特性一致,等值算法能够更加准确地反映直驱式风电场的并网特性,具有重要的工程应用价值。

折线式等值线的曲线化模型探讨

本文结合等值线的曲线化，提出用三次Ｂｅｚｉｅｒ曲线拼接模型来拟合折线式等值线。

基于双馈式风电机组的风电场实用动态等值模型研究

针对采用风电场详细模型导致仿真计算复杂的问题,对风电场动态等值展开研究。选取机组类型和参数完全相同的风电场,提出基于风速等值的单机倍乘等值法;以机组类型相同但参数不完全相同的风电场为例,采用基于同调等值的容量加权等值法。基于DIgSILENT/PowerFactory软件,通过比较风电场单机倍乘模型、容量加权模型和详细模型在风速改变和暂态故障情况下的仿真结果,验证了不同模型的准确性和适用性,结果表明所提方法实用有效。

塔尔斯基(T)型等值式成立吗?

塔尔斯基在阐述关于"真"的语义学定义时,提出了著名的(T)型等值式:X是真的,当且仅当P。其中,P为任意语句,X则为该语句的名称。典型的例子如,"雪是白的"是真的,当且仅当雪是白的。(T)型等值式的提出,偏离了真之符合论的初衷,给真之紧缩论提供了重要的资源。然而,需要指出的是,(T)型等值式把指向事实的语句泛化为一般的语句形式,通过对(T)型等值式两边严格的语义分析,(T)型等值式并非等值。

关于负假言判断的等值式的探讨

本文针对传统形式逻辑中的负假言判断的等值式提出了不同的看法 。

直驱式风电场并网动态等值研究

随着直驱式风力发电机在电网中的比例增加,研究其精确的动态等值模型越来越重要。根据直驱式风力发电机的输出特性,提出了基于风速分群的多机等值方法。在等值计算中,考虑了直驱式风电机组并网时变压器和集电线路对等值效果的影响,并计及了尾流效应对风机输入风速的影响。所提等值方法适合于直驱式风电场并网的分析计算,具有实际工程的应用价值。

关于塔斯基的T型等值式

本文阐述了波兰逻辑学家塔斯基,关于形式语言中真句子的意义的重要组成部分T型等值式及其深远的意思。

一种堆栈式快速等值线图填充算法

等值线图在科学研究、石油地质勘探等应用中具有较重要的应用。对于生成填充的等值线图,提出了一种基于堆栈式边界扫描方法,该方法通过将填充边界特征点和等值线特征点进行统一排序,利用堆栈的先进后出的特性,得到等值线之间的拓扑关系,进而追踪出闭合连通区域;对于颜色充填,提出了一种双深度值填充方法。与其他方法相比,该方法较容易理解与实现,对矢量化图件能快速填充。

直驱式永磁同步风电机组的风电场降阶等值模型

针对直驱式永磁同步风电机组的风电场等值建模这一难题,采用模型降阶方法和参数辨识技术,提出了一种风电场降阶等值模型构建方法。该方法首先根据直驱式永磁同步风电机组的数学表征构建聚合风电场的等值模型,采用平衡截断模型降阶方法进一步对风电场等值模型进行降阶处理,建立风电场降阶等值模型;然后利用确定自回归移动平均方法辨识等值风电场的模型参数,并通过实例风电场进行仿真分析。算例分析表明,数据的降阶等值模型能够合理表征风电场的并网运行状况,在风速波动和电网扰动下均能反映出风电场的动态输出特性,可为直驱式永磁同步风电机组的风电场运行分析及并网研究提供参考。

考虑不同故障穿越模式的双馈风电场短路电流计算等值建模

合理的风电场故障暂态等值建模是风电并网运行分析的基础。双馈风电场中各机组在故障时的运行点和故障穿越模式不尽相同,单机倍乘无法准确表征整个风电场暂态特性。以风电场输出短路电流一致为目标,理论推导不同故障穿越模式下单机输出短路电流解析式,以表征外界故障的电压跌落和表征风机自身运行点的转速作为分群指标,在故障不同阶段采用不同指标权重,建立风机相似度距离矩阵。基于层次聚类算法对风电场进行划分,按照输出短路电流不变的原则对同群风机参数进行等值。对比在PSCAD中搭建的风电场详细和等值模型,结果表明,所建立的等值模型可以全面描述风电场出口短路电流特性,等值方法合理有效。

基于环境等值线法的海上浮式风机长期极限响应预测

为保证海上浮式风机在复杂的风浪环境载荷作用下正常服役,需要评估海上浮式风机的长期极限响应。通过实测风浪的联合概率分布,利用基于逆一次可靠度法(IFORM)和逆二次可靠度法(ISORM)的环境等值线法获取环境工况组合,模拟风机短期响应并结合Gumbel极值分布计算风机长期极限响应,实现了对海上浮式风机50 a重现周期的极限响应预测。研究结果表明:风浪联合作用下,随着平均风速增大,平台纵荡运动、叶根面外弯矩和塔基前后弯矩出现了先增大后减少的趋势;随着有义波高增大,平台纵荡运动最大值和平均值、塔基前后弯矩最大值也随之增大;与基于IFORM的环境等值线法相比,基于ISORM的环境等值线法可以涵盖更多的环境工况组合,得到更大的浮式风机长期极限响应,进一步提高了风机结构设计安全性。

求重言等值式的一组图式

命题逻辑所揭示的逻辑规律都是重言式,其中有一部分是重言等值式。重言等值式在逻辑学这个大学科中占有极其重要的地位,是命题逻辑、谓词逻辑乃至普通逻辑的规律和推导工具。重言等值式的重要性质是:等值的两端具有相同的真值,←→的赋值永真,所以当等值的一端出现在任一公式中时,可以用另一端代替,而不改变原公式的真值。有些重言等值式是命题逻辑中常用的,因为这些重言等值式本身是逻辑规律。

因果性,等值式和可能世界:关于形式知识本性的研究

本文基于对因果性，等值式以及重言式等概念的独特分析，表明了对同一命题事实真理观和逻辑真更观可有不同的理解；进而论证了重言推理的有效性并非必然地导源于其同义反复性。

基于阻抗分离的工业谐波源非侵入式识别方法

针对传统非侵入式负荷识别方法难以直接应用于工业谐波源负荷识别的问题,本文提出一种基于阻抗分离的工业谐波源非侵入式识别方法。首先,构建等值阻抗参数计算模型,分析多负荷并联网络中综合等值阻抗与各支路等值阻抗间的关联关系;然后,采用改进型复局部均值分解和复值快速独立分量分析,分离支路等值阻抗信号;最后,通过分析支路等值阻抗信号特征以识别谐波源负荷类型。仿真与实测结果表明,本文识别方法具有较好的工程实用性和适应性。

关于一阶逻辑范式定理的几个等值式的一个注记

以｛→,～｝为连词完全集的一阶逻辑前束范式定理是由4 个等值式得到的。对于4个等值式,本文得到了它们之间的一个基本关系;同时,利用不带等词的一阶系统K 中的两个定理来证明了4 个等值式是两两等价的。

谓词逻辑等值式在多元谓词的推广

本文主要对离散数学中的一些只含一个个体变元的谓词逻辑等值式在个体变元多于两个时的简单形式的推广,并加以证明和举例说明,从而可以简化多元谓词问题.

关于洋流和等值线的一组选择题及变式设计

设计思路：本组试题突破常规命题思路，将洋流知识和盐度规律相结合，并叠加在等值线判读的基本原理中进行考查，综合程度高。 解析： 1．题中所给信息说明，本题考查某一洋流对其沿岸区域自然要素（如海水温度、盐度和沿岸降水）的影响。题中没有提供有效信息帮助我们判断网中等值线是否为等压线；如果图中等值线表示等降水量线，则图上应该体现从沿海向内陆降水减少的特点，等值线也大致应该是南北走向；

判断的等值与句式选择

判断作为一种思维形式,其存在与表达都要依赖语句。语句是表达判断的主要形式。要准确表达思想,必须重视句式的选择。一般地说,句子的“意义”包括了两个层次:一层是指日常交际意义,这层意义可以从语言形式这一表层反映出来;一层则是指语句表达的判断所具有的真值意义。这层意义要透过语言形式这一表层,深入到它所表达判断的逻辑形式这一深层揭示出来。因而表达等值判断的语句都具有相同的真值意义。基于这一点,判断的等值与句式选择之间有着极为密切的关系,即表达等值判断的语句同时又属不同的句式,供人们表达思想时选择使用。 下面,笔者就现行逻辑教材中提到的一些等值判断转换式,作初步的探讨。 一、假言判断的等值转换与句式的选择 根据充分条件假言判断与必要条件假言判断的性质,有如下一组判断等值式: (p→q)(q←p)((?)←(?))((?)→(?)) ① ② ③ ④ 同该组判断式对应的语句如: