Practical Application of Fractional Order Controllers to a Delay Thermal System

This paper provides an application of Fractional Model Predictive Control (FMPC) and fractional-order Proportional Integral controller (P I^λ) on a thermalsystem with time delay.The first controller is based on Grünwald-Letnikov’s method to predict the future dynamic behavior of the system. This methodconsists in replacing the non-integer derivation operator of the adopted system representation by a discrete approximation. Therefore, this controller isdeveloped on the basis of a fractional order model. However, the second controller is founded on an extended version of Hermite-Biehler theorem todetermine the complete set stabilizing P I^λ parameters Experiment results onto a time delay thermal system are given to illustrate the effectiveness of thedeveloped strategies.     

基于标记Büchi自动机的时态描述逻辑ALC-LTL模型检测

时态描述逻辑将描述逻辑的刻画能力引入到命题时态逻辑中,适合于在语义Web环境下对相关系统的时态性质进行刻画.为了对这些时态性质进行高效的验证,在ALC-LTL的基础上研究了时态描述逻辑的模型检测问题.一方面,使用时态描述逻辑ALC-LTL公式来表示待验证的时态规范;另一方面,在对系统建模时借助描述逻辑ALC对领域知识进行刻画.针对上述扩展后得到的模型检测问题,提出了基于自动机的ALC-LTL模型检测算法.模型检测算法由3个阶段组成:首先将时态规范的否定形式和系统模型分别构造成标记büchi自动机;接下来构造这两个自动机的乘积自动机,并将关于ALC的推理机制融入到乘积自动机的构造过程中;最后对该乘积自动机进行判空检测.与LTL模型检测相比,时态描述逻辑ALC-LTL的模型检测引入了描述逻辑的刻画和推理机制,可以在语义Web环境下对语义Web服务等复杂系统的时态性质进行刻画和验证.     

线性时序逻辑约束下的滚动时域控制路径规划

针对有限确定性系统中的路径规划问题,本文提出了一种线性时序逻辑约束下的在线实时求解滚动时域控制的新方法。该方法将滚动时域控制方法和满足线性时序逻辑公式的策略相结合,控制目标是在满足高级别任务规范的同时,使收集的累积回报值最大化。其中,在有限时域内的每个时间步长上局部优化回报值,并应用当前时刻计算获得的最优控制序列。通过执行适当的约束,保证控制器产生的无限轨迹满足期望的时序逻辑公式。而且,由于地势影响因子的引入,所建议的方案更接近于真实情况。仿真实验结果验证了文中提出方法的可行性和有效性。     

The Adolf-Würth-Center for the History of Psychology at the University of Würzburg: Its history, present, and future.

[Correction Notice: An erratum for this article was reported in Vol 14(1) of History of Psychology (see record 2011-03824-004). The captions for the images included in the article inadvertently omitted. The images with their captions are presented in the erratum.] The Adolf-Würth-Center for the History of Psychology at the University of Würzburg is the successor of the former Institute for the History of Modern Psychology in Passau, founded in the early 1980s by Professor Werner Traxel. In 2009, the Institute moved to Würzburg and was reopened there. With an exemplary sponsorship by Prof. Dr. H.C. Mult. Reinhold Würth and the Adolf Würth GmbH & Co. KG it was possible to realize good spatial conditions for the archive, offering new perspectives for research in the field of history of psychology. This article describes the development of the Adolf-Würth-Center for the History of Psychology and its predecessor, the historical collections, and the service offered by the Adolf-Würth-Center as well as its tasks and goals. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

B18N18、B30N30与B90N90富勒烯分子的电子传输特性

采用扩展的Hückel方法与格林函数方法,研究了Au电极作用下,B18N18、B30N30与B90N90富勒烯分子的电子结构与电子输运特性,并将B30N30富勒烯与C60富勒烯的电子结构与导电性进行了对比。结果表明,B18N18、B30N30与B90N90富勒烯分子与Au电极“接触”后为一种弱结合,其HOMO、LUMO间的能隙减小;3种BN富勒烯的电子输运性能依次为B90N90>B18N18>B30N30;C60富勒烯的导电性明显优于B30N30的导电性。     

轻质双相高熵合金Al20Li20Mg10Sc20Ti30热力学性质的第一性原理研究

采用特殊准随机结构(Special Quasi-random Structure, SQS)处理高熵合金固溶体的化学无序性,并基于密度泛函理论研究了具有面心立方(Face-centered Cubic, FCC)和密排六方(Hexagonal Close-packed, HCP)结构的Al20Li20Mg10Sc20Ti30高熵合金的结构稳定性和热力学性质。理论得到的两个相的晶格常数与实验测量值符合较好。两相中,由于HCP相具有较FCC相略大的体模量,因而其具有较好的抗压缩性能。由于计算得到的两个相在0 K时的形成焓都为小的正值,因而两个相都为热力学亚稳结构。采用Debye-Grüneisen模型研究了不同温度下两个相的热力学性质,结果表明两个相的体模量随温度的上升表现出缓慢的下降趋势,且HCP相的体模量大于FCC相,而FCC相具有更大的体积热膨胀系数。研究了两个相的熵(包括振动部分的贡献和电子部分的贡献)随温度的变化,结果表明在研究的温度范围内,HCP相比FCC相具有更大的熵,且两个相的熵的主要来源都为振动部分的贡献。     

一种基于Büchi自动机的LTL程序模型检测方法

时序逻辑程序的形式化验证对提高程序的正确性具有重要意义。基于自动机的理论,用标签转移系统（S）表示程序的行为,用时序逻辑公式（F）描述程序的性质,构建相应的Büchi自动机,从而证明形式化公式SF是否可满足。     

Sources.

Reports an error in The Adolf-Würth-Center for the History of Psychology at the University of Würzburg: Its history, present, and future by Armin Stock (History of Psychology, 2010[Aug], Vol 13[3], 335-339). The captions for the images included in the article were inadvertently omitted. The images with their captions are presented in the erratum. (The following abstract of the original article appeared in record 2010-16755-005.) The Adolf-Würth-Center for the History of Psychology at the University of Würzburg is the successor of the former Institute for the History of Modern Psychology in Passau, founded in the early 1980s by Professor Werner Traxel. In 2009, the Institute moved to Würzburg and was reopened there. With an exemplary sponsorship by Prof. Dr. H.C. Mult. Reinhold Würth and the Adolf Würth GmbH & Co. KG it was possible to realize good spatial conditions for the archive, offering new perspectives for research in the field of history of psychology. This article describes the development of the Adolf-Würth-Center for the History of Psychology and its predecessor, the historical collections, and the service offered by the Adolf-Würth-Center as well as its tasks and goals. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

杀虫剂亚致死剂量对棉铃虫靶标酶的影响

高效氯氰菊酯、氯氟氰菊酯、辛硫磷、杀螟硫磷4种杀虫剂亚致死剂量(LC50)预处理棉铃虫Helicoverpaarmigera(Hübner)3龄幼虫一定时间后,4种杀虫药剂对棉铃虫的毒力影响有明显差异。酶动力学研究表明:用4种药剂的亚致死浓度LC50剂量处理棉铃虫3龄幼虫,在药剂处理后的144h内,幼虫GSTs活性发育变化规律与对照有一定的差异。GSTs比活力在对照组GSTs比活力值附近波动,说明昆虫在杀虫药剂刺激一段时间后,其GSTs处于动态的调整之中。在48～120h之间,Na+–K+–ATP酶比活力与对照组相比有回升的趋势,说明昆虫在外界刺激物的作用下,其Na+–K+–ATP酶也处于动态的调整之中。     

C_(60)富勒稀分子的电子传输特性

采用扩展的Hückel方法与格林函数方法,分析了双Au电极作用下C60富勒稀分子的电子结构与电子输运特性。结果表明,C60富勒稀分子与Au电极“接触”后,其分子轨道能级发生了较大的变化,HOMO,LUMO间的能隙显著减小;C60与Au电极之间的结合既有共价键的成分,又有离子键的成分;C60富勒稀分子的电压-电导率曲线以及伏安曲线表现出了微妙的量子特性。