基于改进样板机法的风光互补新能源电站容量配比优化

风光等新能源电站出力具有间歇性和波动性,合理的风光容量配比可以充分实现二者的互补。不准确的电站理论功率计算会影响风光真实特征的提取,进而导致较大的容量配比误差。本文在新能源电站理论功率计算所通常采用的样板机法基础上进行改进,首先对异常数据进行识别及重构,然后识别新能源电站中的异常样板机并更新样板机集合,进一步根据非样板机的实际运行情况选取动态信息窗,利用动态信息窗内样板机和非样板机的实测功率,对非样板机分组并动态识别每组非样板机的比例系数,从而计算新能源电站的理论功率。基于多年历史理论功率对新能源电站进行特征分析,模拟随机出力场景,并进行场景筛选,建立了基于源荷不匹配风险的风光配比优化方法。通过算例验证了改进样板机法的准确性,利用该方法得到西北某地区电网风、光伏电站多年的改进理论功率数据,并优化得到该地区的风光最优配比。     

火箭结构系统纵向模态自动辨识方法

针对工程中需要从火箭结构系统的整体模态中识别纵向模态,根据模态有效质量理论,提出了一种识别火箭结构系统纵向模态的自动辨识方法.以具有集中质量系统的振动特性作为算例,通过有限元软件,建立了具有集中质量系统的梁模型,利用自动辨识的方法,自动辨识出系统的纵向模态,并与应用模态分析法所计算的系统模态信息相比较,这种自动辨识方法不仅能准确的辨识出振动系统的纵向模态,而且还具有自动高效的识别特点.为准确快速建立液体火箭POGO振动系统的动力学模型等工程系统的模型提供理论依据.     

Modal Pure Type Systems

We present a framework for intensional reasoning in typed -calculus. In this family of calculi, called Modal Pure Type Systems (MPTSs), a propositions-as-types-interpretation can be given for normal modal logics. MPTSs are an extension of the Pure Type Systems (PTSs) of Barendregt (1992). We show that they retain the desirable meta-theoretical properties of PTSs, and briefly discuss applications in the area of knowledge representation.     

Common Knowledge and Update in Finite Environments

Logics of knowledge have been shown to provide a useful approach to the high level specification and analysis of distributed systems. It has been proposed that such systems can be developed using knowledge- based protocols, in which agents' actions have preconditions that test their state of knowledge. Both computer-assisted analysis of the knowledge properties of systems and automated compilation of knowledge-based protocols require the development of algorithms for the computation of states of knowledge. This paper studies one of the computational problems of interest, the model checking problem for knowledge formulae in the S5_nKripke structures generated by finite state environments in which states determine an observation for each agent. Agents are assumed to have perfect recall and may operate synchronously or asynchronously. It is shown that, in this setting, model checking of common knowledge formulae is intractable, but efficient incremental algorithms are developed for formulae containing only knowledge operators. Connections to knowledge updates and compilation of knowledge-based protocols are discussed.     

梁组合结构的模态分析

对工程中常见的梁组合结构的固有模态进行了理论和测试分析,得到了梁组合结构固有模态随单梁根数变化的一般规律。     

格值模态命题逻辑及其完备性

文中以满足第一及第二无限分配律的完备格为工具,建立了格值模态命题逻辑的语义理论,并指出这种语义是经典模态命题逻辑语义理论及[0,1]值模态命题逻辑语义理论的共同推广.给出了QMR0代数的定义,并分别以Boole代数及QMR0代数为背景构建了Boole型格值模态命题逻辑系统B及QMR0型格值模态命题逻辑系统QML*,并证明了系统B及系统QML*的完备性.     

小世界模型的个体决策微粒群算法

微粒群算法是一种模拟动物行为的群智能优化算法.由于微粒(个体)在不同环境中生存与觅食,积累了不同的经验,因此不同个体在觅食或者其他行为中会做出不同的决策,但是这种决策机制在标准微粒群算法中并没有体现出来.微粒在决策时会考虑周围其它粒子的信息,因此本文通过引入个体决策机制与小世界模型的邻域结构来改进微粒群算法,同时利用李雅普诺夫稳定性理论对改进的算法进行稳定性分析,并给出相应的参数选择方式.在改进的微粒群算法中,微粒被周围理想微粒的位置和群体最优位置所吸引,改变了传统微粒群算法只被群体最优位置吸引的弊端.对常用的几个测试函数进行仿真,与其它两种改进的微粒群算法相比,结果表明该算法有更好的性能.     

基于morlet小波与模态分析的突发型声发射源定位研究

在建立基于声发射技术的裂纹产生与拓展检测系统的基础上.以薄钢板为实验对象,研究了Lamb波在薄板中传播的频散及多模态特性,并结合morlet小波时频联合分析方法,提出了一种针对声发射信号在薄板中传播时产生的不同模态进行识别的方法.通过提取不同模态波到达同一传感器的时间差并依据不同模态波对应的波速实现对出现裂纹的位置进行定位.经过实验研究表明,运用该方法不仅能准确地识别A0、S0模态波并实现对声发射源进行精确定位.