gain bounds for systems with sector bounded and slope‐restricted nonlinearities

This paper proposes a new method for calculating a bound on the gain of a system comprising a linear time invariant part and a static nonlinear part, which is odd, bounded, zero at zero and has a restriction on its slope. The nonlinear part is also assumed to be sector bounded, with the sector bound being (possibly) different from that implied by the slope restriction. The computation of the gain bound is found by solving a set of linear matrix inequalities, which arise from an integral quadratic constraint formulation of a multiplier problem involving both Zames‐Falb and Popov multipliers. Examples illustrate the effectiveness of the results, and comparisons are made against the state‐of‐the‐art. Copyright © 2011 John Wiley & Sons, Ltd.     

一种合成聚焦的便携式B型超声成像方法

传统合成聚焦超声成像方法在图像重建过程中处理数据量较大,致使其在便携式B型超声设备中应用受限。针对该问题,提出一种基于压缩感知理论和合成聚焦波束形成算法的便携式B型超声成像方法(SFCS)。该方法通过对接收到的射频回波信号进行随机采样得到欠采样的测量信号,将测量信号经过合成聚焦波束形成处理获得欠采样的射频信号线,基于压缩感知的信号重构算法,由欠采样的射频信号线高质量地恢复信号后供后续成像处理使用。仿真实验结果表明,SFCS可有效地解决合成聚焦超声成像过程中数据量大的问题,从而在保证较高成像质量的前提下满足便携式B型超声设备小型化、低成本的技术要求,具有工程应用价值。     

受限波兹曼机联合稀疏近似的脑功能检测模型

人脑功能连通性检测是神经科学研究的重要技术．使用受限制波兹曼机（RestrictedBoltzmannMachine,RBM）对大量多被试功能磁共振（functionalMagneticResonanceImaging,fMRI）数据进行建模可以检测人脑功能连接,但是不能有效检测单被试数据的功能连接．本文研究一种新颖的融合了稀疏近似与RBM技术的脑功能连通性检测模型,该模型充分利用fMRI数据的稀疏性,采用稀疏近似理论对fMRI数据进行空间域稀疏近似压缩,然后使用RBM建立模型,以检测脑功能连通性．实验结果表明,该融合模型可以有效地提取单被试数据的脑功能时间域混合模型及其相应的脑功能图谱,解决了RBM在单被试数据分析上的瓶颈．     

细集料对沥青混合料体积和高温特性的影响

通过2种细集料(天然砂、机制砂)、2种级配(AC-13、Sup-12.5)沥青混合料的试验研究,分析了细集料类型和禁区对混合料体积指标和高温动稳定度的影响,结果表明机制砂更能有效提高混合料的高温性能,禁区的存在可有效限制细集料特别是天然砂的用量,以明显提高沥青混合料重载作用下混合料的动稳定度。而体积参数结果表明,Superpave设计方法中用固定空隙率4%标准来确定最佳沥青用量的方法是否合理有待进一步验证。     

限制李超代数环面秩的一个重要性质

限制李代数基本理论在李代数研究中具有重要地位.本文根据限制李代数理论,给出了限制李超代数的环面及环面秩的定义,并利用限制包络证明了关于限制李超代数环面秩的一个重要性质.     

概率最大受限路径相容算法

研究了可用于求解约束满足问题的最大受限路径相容算法(maxRPC).maxRPC算法执行过程中有大量无效的寻找路径相容证明(PC-witness)的操作,有效地识别和避免这些无效的寻找PC-witness的操作,可以提高maxRPC算法的求解效率.首先,提出了在一条约束上任意两个相容的值在任意路径上存在PC-witness的概率;然后,基于这一概率提出了一种概率最大受限路径相容算法(PmaxRPC),并将新算法成功应用于求解约束满足问题的回溯搜索.实验结果显示:PmaxRPC可以避免一部分无效的寻找PC-witness的操作,在求解约束满足问题时,PmaxRPC效率高于maxRPC.在某些测试用例上,PmaxRPC比maxRPC和最流行的弧相容算法效率更高.     

On absolute (robust) stability: slope restrictions andstability multipliers

Absolute stability for systems with several sector‐restricted and slope‐restricted nonlinearities is studied in this paper. A critical analysis of the multipliers is performed and the multipliers of Yakubovich type are chosen because the stability inequality is obtained with a minimum of technical assumptions. The main part of the paper is devoted to obtaining the Yakubovich‐type criterion in the unified context of stable, critical, and unstable cases for the linear part. The paper is motivated by the problem of pilot in‐the‐loop oscillations of the aircrafts where critical and unstable cases appear and the saturation nonlinearity is both sector and slope restricted. The paper contains some applications of the frequency domain inequalities. The conclusions show a ‘parsimony principle’: using as few free parameters as possible to obtain the largest possible domain of stability. The paper ends with conclusions and hints for further development. Copyright © 2011 John Wiley & Sons, Ltd.     

Minimum Setup Minimum Aberration Two‐level Split‐plot Type Designs for Physical Prototype Testing

Although new technologies allow for less effort in prototyping, physical testing still remains an important step in the product development cycle. Well‐planned experiments are useful to guide the decision‐making process. During the design of an experiment, one of the challenges is to balance limited resources and system constraints to obtain useful information. It is common that prototypes are composed of several parts, with some parts more difficult to assemble than others. And, usually, there is only one piece available of each part type and a large number of different setups. Under these conditions, designs with randomization restrictions become attractive approaches. Considering this scenario, a new and additional criterion, minimum setup, to construct split‐plot type designs is presented. Designs with the minimum number of setups of the more difficult parts, which are especially useful for screening purposes in physical prototype testing, are discussed. The use of the proposed criterion combined with minimum aberration for selecting a regular design is shown through a real application in testing car prototypes. As a tool to practitioners, catalogs of selected 32‐run minimum setup minimum aberration split‐split‐plot and split‐split‐split‐plot designs are presented. More complete catalogs are available as Supporting information. Copyright © 2015 John Wiley & Sons, Ltd.     

基于非线性重构模型的植物叶片图像集分类方法

提出一种基于非线性重构模型的植物叶片图像集的分类识别方法。该方法首先使用高斯受限玻尔兹曼机(GRBMs)通过非监督预训练来初始化模型的权值;然后针对每一个植物叶片图像集用初始化的模型训练得到一个特定的模型;最后根据测试样本的最小重构误差和测试样本集的最多投票策略来判定测试样本集的类别。该方法通过图像预处理来处理图像,避免了图像在缩放时发生形变,并采用基于k-means的特征提取方法来提取植物叶片图像特征。实验结果表明,该方法能够准确地对植物叶片图像集进行分类识别。     

处理图像语言的格点自动机与格点文法

Giammarresi与Restivo在一篇综述中总结出一个关于可识别的图像语言(即2维矩形语言)REC的等价性定理.对比1维字语言的相应结果,其中还缺少关于生成文法的相应一环.提出了一种(矩形的)格点文法,正好弥补了这一缺环.而取代2维on-line tesselation自动机,引入了格点自动机的概念.一方面,它与经典的2元树型自动机更相似,另一方面,它也是格点文法与等价性定理中关于REC的其他描述方式之间的一座桥梁.同时,标准的existential monadic二阶逻辑也被一种更弱的规范框架——positive monadic分划逻辑所取代.由此导出一个新的更完整的关于REC的等价性定理.