Parameter identification for nonlinear systems: Guaranteed confidence regions through LSCR

In this paper we consider the problem of constructing confidence regions for the parameters of nonlinear dynamical systems. The proposed method uses higher order statistics and extends the LSCR (leave-out sign-dominant correlation regions) algorithm for linear systems introduced in Campi and Weyer [2005, Guaranteed non-asymptotic confidence regions in system identification. Automatica 41(10), 1751-1764. Extended version available at 〈http://www.ing.unibs.it/∼campi〉]. The confidence regions contain the true parameter value with a guaranteed probability for any finite number of data points. Moreover, the confidence regions shrink around the true parameter value as the number of data points increases. The usefulness of the proposed approach is illustrated on some simple examples.     

Mortar finite element discretization for the flow in a nonhomogeneous porous medium

Darcy’s equations model the flow of a viscous incompressible fluid in a rigid porous medium. One of the parameters of the system depends on the permeability of the medium and, when this medium is not homogeneous, the variations of the parameter could be very high. To handle this phenomenon, we propose a discretization of the model that relies on the mortar finite element method. Indeed, the idea is to construct a decomposition of the domain such that the permeability is constant on each element of the partition and to use independent meshes on the different subdomains. We perform the a priori and a posteriori analysis of this discretization and present some numerical experiments which are in good coherency with the results of the analysis.     

Decisive arrival law parameters and a general finite capacity queueing problem

This paper addresses the problem of finding the parameters of the arrival law which most significantly influence expected occupation and loss of a finite capacity queue. The input process is supposed to be ergodic and wide sense stationary. We show that it is mostly possible to fit an MMPP(2) to the decisive parameters of observational data. Numerical examples illustrate the importance of the decisive parameters, called key parameters, and also show the accuracy of the proposed fitting procedure. Finally, in the appendix we present the solution of the finite capacity queueing problem with Special Semi Markov Process (SSMP) arrivals and a general service strategy.     

CXFTV2: A Fortran subroutine for the discrete least squares convex approximation

A Fortan subroutine calculates the least squares approximation to n data values containing random errors subject to non-negative second divided differences (convexity). The method employs a dual active set quadratic programming technique that allows several concavities of an iterate to be corrected simultaneously, which is a distinctive feature of this calculation. A B-spline representation of the iterates reduces each active set calculation to an unconstrained minimization with fewer variables that requires only O(n) computer operations. Details in these techniques including the data structure that establishes the implementation of the method are specified. Numerical testing on a variety of data sets indicates that the subroutine is particularly efficient, terminating after a small number of active set changes, the subroutine being suitable for large numbers of data. A numerical example and its output is provided to help the use of the software.     

空气调节中加湿处理的方案选择--某商标编织车间的空调设计

本文针对散热量大 ,散湿量小并要求控制室内相对湿度的场所进行了空调方案的分析比较 ,由此选择了一种比较节能和节省投资的空调设计方案。     

由有穷自动机构造正则表达式的新算法

本文借助图论的理论，通过识别回路和不包含回路的由起始状态到终止状态的路径的方法，提出一种构造给定有穷自动机对应的正则表达式的新算法，并给出具体实例。     

基于ANSYS的闩体刚强度有限元分析

闩体的刚度和强度必须满足设计要求。用有限元法对复杂结构件进行力学性能分析是非常有效的方法。采用ANSYS软件对闩体进行了刚度和强度分析,得出了有用的结论,可供相关设计借鉴。     

我国和奥地利普兰西公司的钨、钼产品及其差距

对奥地利普兰西公司作了简要介绍，并将我国的钨、钼产品标准和普兰百公司的钨、钼产品、规格进行了对比。根据差距提出了我国钨、钼产品今后的发展方向。     

Ray-cast volume rendering accelerated by incremental trilinear interpolation and cell templates

Two related ideas for improving the speed of ray-cast volume rendering are studied in this paper. The first is an incremental algorithm for trilinear interpolation, a method commonly used in ray-cast volume rendering to calculate sample values. The incremental algorithm can expedite trilinear interpolation when many samples along a ray are located in one cell. The second is an efficient hybrid volume rendering restricted to parallel projection. In the preprocessing stage, acell template is created to store the information used by the incremental trilinear interpolation. When a cell is parallel projected, the information is retrieved from the template to compute the cell contribution. Because the algorithm with only one template may cause aliasing, an antialiasing technique exploiting multiple cell templates is proposed. With our method, ray-cast volume rendering can be accelerated considerably.