We extend the constraint data model to allow complex objects and study the expressive power of various query languages over this sort of constraint databases.The tools we use come in the form of collapse results which...We extend the constraint data model to allow complex objects and study the expressive power of various query languages over this sort of constraint databases.The tools we use come in the form of collapse results which are well established in the context of first-order logic.We show that the natural-active collapse with a condition and the activegeneric collapse carry over to the second-order logic for structures with o-minimality property and any signature in the complex value relations.The expressiveness results for more powerful logics including monadic second-order logic,monadic second-order logic with fix-point operators,and fragments of second-order logic are investigated in the paper.We discuss the data complexity for second-order logics over constraint databases.The main results are that the complexity upper bounds for three theories,MSO+(LIN),MSO+(POLY),and Inflationary DATALOGact^cv(SC,M)without powerset operator are∪iΣi^NC1,NCH=∪iΣi^NC,and AC^0/poly,respectively.We also consider the problem of query closure property in the context of embedded finite models and constraint databases with complex objects and the issue of how to determine safe constraint queries.展开更多
电压失稳是一个动态的强非线性过程,需要采用动态方法来研究,而常规的动态电压稳定分析方法(如时域仿真法)的最大缺点是计算速度慢、耗费时间长,不能满足电压稳定在线研究的需要。本文利用PMU实测数据,在网损灵敏度理论的基础上,构造了...电压失稳是一个动态的强非线性过程,需要采用动态方法来研究,而常规的动态电压稳定分析方法(如时域仿真法)的最大缺点是计算速度慢、耗费时间长,不能满足电压稳定在线研究的需要。本文利用PMU实测数据,在网损灵敏度理论的基础上,构造了一个二阶指标—综合网损灵敏度指标(Integrated Loss Sensitivity Index,ILSI),同目前电压稳定分析常用的一阶指标相比,具有线性度好,准确度高的优点,在电压失稳过程中有比较均匀的变化趋势,这样不仅可以让运行人员清楚地了解系统的稳定状况,而且还可以预测稳定极限。提出的算法物理意义明确、算法结构简单,在IEEE9节点系统的仿真结果表明,该指标在系统电压恶化的过程中显示良好的线性度,可以很好地表征目前系统的电压水平。展开更多
文摘We extend the constraint data model to allow complex objects and study the expressive power of various query languages over this sort of constraint databases.The tools we use come in the form of collapse results which are well established in the context of first-order logic.We show that the natural-active collapse with a condition and the activegeneric collapse carry over to the second-order logic for structures with o-minimality property and any signature in the complex value relations.The expressiveness results for more powerful logics including monadic second-order logic,monadic second-order logic with fix-point operators,and fragments of second-order logic are investigated in the paper.We discuss the data complexity for second-order logics over constraint databases.The main results are that the complexity upper bounds for three theories,MSO+(LIN),MSO+(POLY),and Inflationary DATALOGact^cv(SC,M)without powerset operator are∪iΣi^NC1,NCH=∪iΣi^NC,and AC^0/poly,respectively.We also consider the problem of query closure property in the context of embedded finite models and constraint databases with complex objects and the issue of how to determine safe constraint queries.
文摘电压失稳是一个动态的强非线性过程,需要采用动态方法来研究,而常规的动态电压稳定分析方法(如时域仿真法)的最大缺点是计算速度慢、耗费时间长,不能满足电压稳定在线研究的需要。本文利用PMU实测数据,在网损灵敏度理论的基础上,构造了一个二阶指标—综合网损灵敏度指标(Integrated Loss Sensitivity Index,ILSI),同目前电压稳定分析常用的一阶指标相比,具有线性度好,准确度高的优点,在电压失稳过程中有比较均匀的变化趋势,这样不仅可以让运行人员清楚地了解系统的稳定状况,而且还可以预测稳定极限。提出的算法物理意义明确、算法结构简单,在IEEE9节点系统的仿真结果表明,该指标在系统电压恶化的过程中显示良好的线性度,可以很好地表征目前系统的电压水平。
