Verifying stability of approximate explicit MPC

Several authors have proposed algorithms for approximate explicit MPC [1],[2],[3]. These algorithms have in common that they develop a stability criterion for approximate explicit MPC that require the approximate cost function to be within a certain distance from the optimal cost function. In this paper, stability is instead ascertained by considering only the cost function of the approximate MPC. If a region of the state space is found where the cost function is not decreasing, this indicates that an improved approximation (to the optimal control) is required in that region. If the approximate cost function is decreasing everywhere, no further refinement of the approximate MPC is necessary, since stability is guaranteed. ©2009 IEEE.

The Gaussian mixture MCMC particle algorithm for dynamic cluster tracking

We present a novel filtering algorithm for tracking multiple clusters of coordinated objects. Based on a Markov chain Monte Carlo (MCMC) mechanism, the new algorithm propagates a discrete approximation of the underlying filtering density. A dynamic Gaussian mixture model is utilized for representing the time-varying clustering structure. This involves point process formulations of typical behavioral moves such as birth and death of clusters as well as merging and splitting. For handling complex, possibly large scale scenarios, the sampling efficiency of the basic MCMC scheme is enhanced via the use of a Metropolis within Gibbs particle refinement step. As the proposed methodology essentially involves random set representations, a new type of estimator, termed the probability hypothesis density surface (PHDS), is derived for computing point estimates. It is further proved that this estimator is optimal in the sense of the mean relative entropy. Finally, the algorithm's performance is assessed and demonstrated in both synthetic and realistic tracking scenarios. © 2012 Elsevier Ltd. All rights reserved.

A computational fluid-structure interaction study of inflation cycles of a tension cone decelerator

Inflatable aerodynamic decelerators present potential advantages for planetary entry in missions of robotic and human exploration. The design of these structures face many engineering challenges, including complex deformable geometries, anisotropic material response, and coupled shockturbulence interactions. In this paper, we describe a comprehensive computational fluid-structure interaction study of an inflation cycle of a tension cone decelerator in supersonic flow and compare the simulations with earlier published experimental results. The aeroshell design and flow conditions closely match recent experiments conducted at Mach 2.5. The structural model is a 16-sided polygonal tension cone with seams between each segment. The computational model utilizes adaptive mesh refinement, large-eddy simulation, and shell mechanics with self-contact modeling to represent the flow and structure interaction. This study focuses on the dynamics of the structure as the inflation pressure varies gradually, and the behavior of forces experienced by the flexible and rigid (the payload capsule) structures. © 2011 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved.

Superposition codes for mismatched decoding

An achievable rate is given for discrete memoryless channels with a given (possibly suboptimal) decoding rule. The result is obtained using a refinement of the superposition coding ensemble. The rate is tight with respect to the ensemble average, and can be weakened to the LM rate of Hui and Csiszár-Körner, and to Lapidoth's rate based on parallel codebooks. © 2013 IEEE.

Dense active appearance models using a bounded diameter minimum spanning tree

We present a method for producing dense Active Appearance Models (AAMs), suitable for video-realistic synthesis. To this end we estimate a joint alignment of all training images using a set of pairwise registrations and ensure that these pairwise registrations are only calculated between similar images. This is achieved by defining a graph on the image set whose edge weights correspond to registration errors and computing a bounded diameter minimum spanning tree (BDMST). Dense optical flow is used to compute pairwise registration and we introduce a flow refinement method to align small scale texture. Once registration between training images has been established we propose a method to add vertices to the AAM in a way that minimises error between the observed flow fields and a flow field interpolated between the AAM mesh points. We demonstrate a significant improvement in model compactness using the proposed method and show it dealing with cases that are problematic for current state-of-the-art approaches.

A derivation of the asymptotic random-coding prefactor

This paper studies the subexponential prefactor to the random-coding bound for a given rate. Using a refinement of Gallager's bounding techniques, an alternative proof of a recent result by Altuǧ and Wagner is given, and the result is extended to the setting of mismatched decoding. © 2013 IEEE.

Vulnerability assessment of buildings subject to tunnel-induced settlements: the influence of orientation and position of the building

The assessment of settlement induced damage on buildings during the preliminary phase of tunnel excavation projects, is nowadays receiving greater attention. Analyses at different levels of detail are performed on the surface building in proximity to the tunnel, to evaluate the risk of structural damage and the need of mitigation measures. In this paper, the possibility to define a correlation between the main parameters that influence the structural response to settlement and the potential damage is investigated through numerical analysis. The adopted 3D finite element model allows to take into account important features that are neglected in more simplified approaches, like the soil-structure interaction, the nonlinear behaviour of the building, the three dimensional effect of the tunnelling induced settlement trough and the influence of openings in the structure. Aim of this approach is the development of an improved classification system taking into account the intrinsic vulnerability of the structure, which could have a relevant effect on the final damage assessment. Parametric analyses are performed, focusing on the effect of the orientation and the position of the structure with respect to the tunnel. The obtained results in terms of damage are compared with the Building Risk Assessment (BRA) procedure. This method was developed by Geodata Engineering (GDE) on the basis of empirical observations and building monitoring and applied during the construction of different metro lines in urban environment. The comparison shows a substantial agreement between the two procedures on the influence of the analysed parameters. The finite element analyses suggest a refinement of the BRA procedure for pure sagging conditions.

QtUCP-A program for determining unit-cell parameters in electron diffraction experiments using double-tilt and rotation-tilt holders

A computer program, QtUCP, has been developed based on several well-established algorithms using GCC 4.0 and Qt (R) 4.0 (Open Source Edition) under Debian GNU/Linux 4.0r0. it can determine the unit-cell parameters from an electron diffraction tilt series obtained from both double-tilt and rotation-tilt holders. In this approach, two or more primitive cells of the reciprocal lattice are determined from experimental data, in the meantime, the measurement errors of the tilt angles are checked and minimized. Subsequently, the derived primitive cells are converted into the reduced form and then transformed into the reduced direct primitive cell. Finally all the patterns are indexed and the least-squares refinement is employed to obtain the optimized results of the lattice parameters. Finally, two examples are given to show the application of the program, one is based on the experiment, the other is from the simulation. (C) 2008 Elsevier B.V. All rights reserved.

Structure and magnetic properties of ScFe6Ga6-type RCo5Ga7 (R = Y, Tb, Dy, Ho and Er)

The structure and magnetic properties of the RCo5Ga7 (R = Y, Tb, Dy, Ho and Er) compounds with the ScFe6Ga6-type structure have been studied. The stability of RCo5Ga7 is closely related with the ratio of the metal radii R-RE/R-(Co,R-Ga). With R-RE/R-(Co,R-Ga) less than or equal to 1.36, the compounds can be stabilized in the ScFe6Ga6-type structure. The lattice of RCo5Ga7 shrinks as the atomic order of R increases, and it is consistent with the lanthanide contraction. The structure analysis based on X-ray diffraction patterns reveals that in the orthorhombic RCo5Ga7 (Immm), R occupies the 2a site, and Co enters into the 8k and the 4h sites, and Ga is at the 4e, 4f, 4g, 4h and 8k sites. The interatomic distances and the coordination numbers of RCo5Ga7 are provided from the refinement results. The short interatomic distance (less than 2.480 Angstrom) between the Co ions results in the negative magnetic interaction, which does not favor ferromagnetic ordering. The magnetic moment of YCo5Ga7 is absent, and RCo5Ga7 (R = Tb, Dy, Ho and Er) may have long-range magnetic ordering with the paramagnetic Curie temperature lower than 5 K. (C) 2004 Elsevier Inc. All rights reserved.

超图多级划分算法框架及对划分结果的多阶段优化

超图划分应用于大规模矩阵计算、大规模集成电路等领域.详细地阐述了超图多级划分的算法框架,并提出对划分结果进行优化的一种手段,通过进行多阶段的V循环优化,在可以接受的运行时间内得到对超图的一个较优的划分.

一种改进的数据求精证明规则

提出一种改进的数据求精规则，并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出，允许非平凡的初始化，允许前向模拟和后向模拟，能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isabelle定理证明器中规则的应用方法。

多粒度多维度软件过程度量和改进方法研究

随着软件对社会各领域、各层次的渗透，软件逐渐转变为一种对社会团体、 甚至对社会公众的服务，软件的规模越来越大、用户需求越来越多、功能和性能 要求也越来越复杂。因此，对软件的可用性、可靠性、可信性等质量要求不断提 高。伴随着软件业的逐渐发展，软件过程技术逐渐被应用于软件产品的开发当中。 “质量形成于产品的生产过程”这一理念逐渐被软件组织所接受。其核心思想体 现在通过对软件过程的策划、控制和改进来保证软件产品的质量，进而提高软件 组织的经营业绩。软件过程度量作为软件过程管理和过程改进的关键活动，越来 越为软件组织所重视。 通过实施过程管理，能够刻画项目或过程目标的满足程度，找到造成过程 或产品重大偏差的根本原因，进而实施过程改进。然而，在软件过程度量实施期 间，软件组织面对不同的软件开发过程、众多的过程性能度量指标、复杂的统计 分析方法，既要考虑量化管理方法的合理性和复杂程度，又要权衡量化管理的实 施成本，这使得实施有效的过程度量充满挑战。本文基于经验软件工程方法，提 出一种多粒度多维度软件过程度量框架，以及实现该框架的关键技术：软件过程 性能基线的建立和维护方法；同时介绍了该框架下的软件项目进度量化控制模 型，支持软件组织实施有效的过程管理和改进。 本文的主要贡献包括： 提出了一种多粒度多维度软件过程度量框架(Multi-granularity Multi-dimensional software Process Measurement Framework，M2-PMF)，该框架通 过综合考虑软件过程管理和改进的必要信息所属的特征维度和软件组织的过程 管理粒度，自底向上的通过实体层、度量分析层和目标层指导软件组织建立一套 可以覆盖软件全生命周期的、开放的、支持过程改进的综合指标体系和模型。支 持软件组织裁减和定制确定环境下的度量体系，清晰了解其软件过程能力和性 能，提高软件组织对软件过程的控制能力，保障软件开发过程和软件产品的质量。 提出了基于统计分析的过程性能基线的建立和改进方法（Baseline – Statistic - Refinement， BSR），该方法可以有效地建立和维护过程性能基线，支持软件 组织从定性管理提升到定量管理。该方法应用波动图，在过程尚不稳定、数据样 本不足的情况下尽可能多的获得过程改进信息，识别过程改进机会，确定过程改 进途径，帮助软件组织高效地改进其过程中明显的弱项。在过程逐步稳定之后， 利用控制图、排列图、因果图、散点图等统计工具，分析过程性能，建立过程性 多粒度多维度软件过程度量和改进方法研究 ii 能基线，并不断精化。 在M2-PMF 框架下，提出了基于统计过程控制（Statitical Process Control， SPC）和挣值管理（Earned Value Management，EVM）的项目进度量化控制模型 SEVM，该方法通过对项目进度指数的统计控制，分析其稳定性，并通过估算模 型，根据项目当前挣值数据推算项目总进度偏差，并加以控制。支持软件组织对 项目进度进行量化控制，提高了项目按期交付的可能性。 最后，介绍了本文提出的过程度量框架和量化管理方法在国内多家软件组 织中的实际应用。应用案例表明，本文的方法和模型具有广泛的适应性和高度的 可操作性。应用本文方法能够对项目进行有效的估算、度量和控制，进而提高产 品质量并改善客户满意度。

镍-金属氢化物电池新型负极材料研究

贮氢合金是镍一金属氢化物电池的核心材料，其综合性能的改善是提高镍一金属氢化物电池性能的关键。本研究以探索镍一金属氢化物电池新型负极材料为目的，以非ABS型贮氢合金为研究对象，采用X射线衍射、Rietveld分析、恒电流充／放电、P-C-T曲线及线性微极化等方法，从基础和潜在应用等方面详细研究了非ABS型合金的结构与电化学性能。对La-Ni体系中非ABS型二元合金的结构和电化学性能的研究表明，LaNi_(228)具有最优异的高倍率充电性能；La_2Ni_7合金电极的高倍率放电性能最佳；La_7Ni_3在低温条件下表现出较好的放电性能。然而，所有得到的La-Ni合金电极容量远低于其理论容量。因此，必须通过进一步研究，如元素取代、热处理、表面处理等来提高其电化学容量。对RENi_3（RE＝La，Ce，Pr，Nd，Sm，Gd，Th，Dy，Ho，Er，Y）研究表明：YNi_3合金因其具有最大的晶胞体积，最小的密度，而表现出最好的高倍率充／放电性能及低温放电性能，但其高温放电性能需要进一步提高，以满足实际应用的要求。用Al、Mn、Ti、Fe、Sn、Si、Cr、M。、Cu和Co十种元素取代Ni进行了大量的配方筛选工作。得到了大量的实验数据，并发现LaNi_(3.7)Al_(0.3)合金电极电化学放电容量最高，达290.8mAh／g；LaNi_(3.7)Mo_(0.3)合金电极的高倍率放电性能最好，在以4200mA/g的电流密度下进行放电时，其放电容量仍达到145.8mA/g；而I镍一金属氢化物电池新型负极材料研究镍一金属氢化物电池新型负极材料的研究Al的取代会使合金电极性能对温度不敏感。以我们的实验为基础，进一步进行合金配方的微调，具有可能开发出具有实用价值的贮氢合金的潜力。在Ar保护下用真空电弧炉熔炼合成了四种Lal一xMg：（NICoAI）3．6体系贮氢合金，制成姐卜Ni电池负极，通过恒电流充／放电方法研究了其电化学性能。结果表明：Lal一xMg：（NiCoAI）3．6体系金属氢化物电极较容易活化，室温下具有优异的高倍率放电性能，在以4200mA／g电流放电时，La卜汉gx（NICoAI）36合金电极的放电容量是ABS型合金电极的3倍，达152hah／g，显示出良好的动力学特性。R，入1兮Ni（R：raree田劝，Ca，Y）型合金因能吸引／释放1．8一1．87％质量的HZ而被认为是种很有希望的贮氢合金。但其吸／放氢平台过高，循环寿命短。如何提高Rh厦g剑19循环稳定性是这类合金能否成功商业化的关键。研究发现，Co能够显著提高ABS型合金电极的循环寿命，但其价格太贵。人们发现Al在提高电极寿命方面与C。有类似的作用，但Al元素的添加因其在碱性电解质的作用下在电极表面易生成致密的氧化膜而不利于氢的扩散，进而对高倍率放电性能不利。入物在提高电极表面活性，改善其高倍率放电性方面作用明显。本工作在前面的基础上用Al和MO联合取代Ni，以期待同时改善La一Mg一Ni一Co合金的循环稳定性和高倍率放电性能。详细研究了La07Mg03Ni切一（A105Mo05）x（x：o，0．2，0．4，0．6，0．8）系列贮氢合金的晶体结构和电化学性能。X射线衍射及Rietveld分析发现：所有La07Mg03Ni4D一x（A105Mo05）x合金均为包含PuNi3结构的六方LaZMgNig相、CaCus结构的LaNis主相及L匆Ni7，LaN儿和LaNi杂相的多相结构。合金中La（La，Mg）剑19相及LaNis相的晶格参数及晶胞体积均随合金中Al和Mo含量的增加而增大。用电化学方法测得的RC一T曲线显示：Al和'fo部分取代Ni降低了氢的平台压力。随合金中Al和Mo含量的增加，电极的电化学容量从329．7（x＝0）、徽橇毓孺鑫盆一11瀚加至365．物A吨（＝0．6）后又降低到351．3毗吨（x＝0．8）。当以1200m刀g的电流密度进行放电时，其I｛RD从62．0％沁0）增加到82．1％沁0．8）。线性微极化结果显示：Al和Mo的添加增大了合金表面的交换电流密度，因而也改善了合金电极的高倍率放电性能。另外，Al和M。取代合金中的Ni增大了氢在电极合金中的扩散系数（D），改善了La07Mgo3Ni4。一x（Alo5M。。5）x（X＝o，0．2，0．4，0．6，0．8）合金电极的低温放电性能（LTD）。

超图多级划分算法框架及对划分结果的多阶段优化

超图划分应用于大规模矩阵计算、大规模集成电路等领域.详细地阐述了超图多级划分的算法框架,并提出对划分结果进行优化的一种手段,通过进行多阶段的循环优化,在可以接受的运行时间内得到对超图的一个较优的划分.