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)     

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.     

引入分数阶微分的局部高斯分布拟合能量模型

局部高斯分布拟合能量(LGDF)模型缺乏全局信息,对初始轮廓曲线选取较敏感,特别在分割弱边缘和弱纹理区域图像时,容易陷入局部极值,对噪声的鲁棒性不好.针对上述问题,文中提出引入分数阶微分的LGDF模型.在LGDF模型中引入全局的Grümwald-Letnikov(G-L)分数阶梯度拟合项,增强弱边缘和弱纹理区域的梯度信息,提高对初始轮廓曲线和噪声的鲁棒性.采用自适应权重函数确定全局项和局部项的系数,提高对灰度不均匀图像的分割效率和分割精度.根据图像的梯度模值、信息熵和对比度构建自适应分数阶阶次的函数,提高分割效率.理论分析和实验均表明,文中模型可以用于灰度不均匀、弱纹理、弱边缘图像的分割.合成图像和真实图像的实验表明文中模型可以提高图像的分割精度和效率.     

结合全局与局部变化的图像质量评价

图像所包含的信息是通过灰度值在空域的变化呈现的. 梯度是度量变化的基本工具, 这使得梯度成为了目前大多数图像质量评价算法的重要组成部分. 但是梯度只能度量局部变化, 而当人类视觉系统(Human visual system, HVS)感知一幅图像时, 既能感知到局部变化, 也能感知到全局变化. 基于HVS的这一特性, 本文提出了一种结合全局与局部变化的图像质量评价算法(Global and local variation similarity, GLV-SIM). 该算法利用Grünwald-Letnikov分数阶导数来度量图像的全局变化, 利用梯度模来度量图像的局部变化. 然后结合二者计算参考图像和退化图像之间的相似度谱(Similarity map), 进而得到图像的客观评分. 在TID2013、TID2008、CSIQ与LIVE四个数据库上的仿真实验表明, 较之单一度量局部变化的方法, 本文算法能更准确地模拟HVS对图像质量的感知过程, 给出的客观评分与主观评分具有较好的一致性.     

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

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

一种基于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)     

Teichmüller映射与调和映射

讨论亏格为g(＞1)的紧Riemann曲面间映射的同伦类中,Teichmüller映射的伸缩商与调和映射的能量间的关系.作为其应用,建立起Tg中的Teichmüller度量与(M,σ|dz|2)上的全纯二次微分空间QD(σ)中的范数之间的联系.     

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

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

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

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