Fast L0-based sparse signal recovery

This paper develops an algorithm for finding sparse signals from limited observations of a linear system. We assume an adaptive Gaussian model for sparse signals. This model results in a least square problem with an iteratively reweighted L2 penalty that approximates the L0-norm. We propose a fast algorithm to solve the problem within a continuation framework. In our examples, we show that the correct sparsity map and sparsity level are gradually learnt during the iterations even when the number of observations is reduced, or when observation noise is present. In addition, with the help of sophisticated interscale signal models, the algorithm is able to recover signals to a better accuracy and with reduced number of observations than typical L1-norm and reweighted L1 norm methods. ©2010 IEEE.

Optimal constraint tightening policies for robust variable horizon model predictive control

This paper develops a technique for improving the region of attraction of a robust variable horizon model predictive controller. It considers a constrained discrete-time linear system acted upon by a bounded, but unknown time-varying state disturbance. Using constraint tightening for robustness, it is shown how the tightening policy, parameterised as direct feedback on the disturbance, can be optimised to increase the volume of an inner approximation to the controller's true region of attraction. Numerical examples demonstrate the benefits of the policy in increasing region of attraction volume and decreasing the maximum prediction horizon length. © 2012 IEEE.

An Arbitrary Lagrangian Eulerian Method for Three-Phase Flows with Triple Junction Points

We present a moving mesh method suitable for solving two-dimensional and axisymmetric three-liquid flows with triple junction points. This method employs a body-fitted unstructured mesh where the interfaces between liquids are lines of the mesh system, and the triple junction points (if exist) are mesh nodes. To enhance the accuracy and the efficiency of the method, the mesh is constantly adapted to the evolution of the interfaces by refining and coarsening the mesh locally; dynamic boundary conditions on interfaces, in particular the triple points, are therefore incorporated naturally and accurately in a Finite- Element formulation. In order to allow pressure discontinuity across interfaces, double-values of pressure are necessary for interface nodes and triple-values of pressure on triple junction points. The resulting non-linear system of mass and momentum conservation is then solved by an Uzawa method, with the zero resultant condition on triple points reinforced at each time step. The method is used to investigate the rising of a liquid drop with an attached bubble in a lighter liquid.

Trading the stability of finite zeros for global stabilization of nonlinear cascade systems

This note analyzes the stabilizability properties of nonlinear cascades in which a nonminimum phase linear system is interconnected through its output to a Stable nonlinear system. It is shown that the instability of the zeros of the linear System can be traded with the stability of the nonlinear system up to a limit fixed by the growth properties of the cascade interconnection term. Below this limit, global stabilization is achieved by smooth static-state feedback. Beyond this limit, various examples illustrate that controllability of the cascade may be lost, making it impossible to achieve large regions of attractions.

Trading the stability of finite zeros for global stabilization of nonlinear cascade systems

This paper analyzes the stabilizability properties of nonlinear cascades in which a nonminimum phase linear system is interconnected through its output to a stable nonlinear system. It is shown that the instability of the zeros of the linear system can be traded with the stability of the nonlinear system up to a limit fixed by the growth properties of the cascade interconnection term. Below this limit, global stabilization is achieved by smooth static state feedback. Beyond this limit, various examples illustrate that controllability of the cascade may be lost, making it impossible to achieve large regions of attractions.

Parallel Fully-Implicit Computation of Magnetohydrodynamics Acceleration Experiments

A three-dimensional MHD solver is described in the paper. The solver simulates reacting flows with nonequilibrium between translational-rotational, vibrational and electron translational modes. The conservation equations are discretized with implicit time marching and the second-order modified Steger-Warming scheme, and the resulted linear system is solved iteratively with Newton-Krylov-Schwarz method that is implemented by PETS,: package. The results of convergence tests arc plotted, which show good scalability and convergence around twice faster when compared with the DPLR method. Then five test runs are conducted simulating the experiments done at the NASA Ames MHD channel, and the calculated pressures, temperatures, electrical conductivity, back EMF, load factors and flow accelerations are shown to agree with the experimental data. Our computation shows that the electrical conductivity distribution is not uniform in the powered section of the MHD channel, and that it is important to include Joule heating in order to calculate the correct conductivity and the MHD acceleration.

自养氨氧化混合种群特性和共存机理初步研究

组特殊自养氨氧化混合种群，表现：无机环境种群生长迅速、生物量高；在一个完全无机的自养生长环境中，不仅保持高氨氧化速率，并出现丰富的异养微生物种群；该种群置于异养、厌氧环境中，迅速表现出产氢特征。对于这样一个特殊的生态体系，研究其共生机理，以及联接这些种群之间的碳源和能源问题，将具有非常重要意义。我们拟从种群特征、细胞表面分泌产物、游离体系产物多糖、蛋白和脂肪酸方面开展研究。 第一部分，自养氨氧化混合种群的基本特征。采用氨氧化培养基，进行种群氨氧化特征研究；采用扫描电镜观察自养混合种群的微观特征；沉降、离心去除微生物种群，分析水相中的总有机碳、糖类等物质；利用LB培养基进行种群的分离、纯化，并采用DGGE手段对微生物种群结构进行分析。结果表明，接入菌种后（2/5000（V/V）），培养液中氨（200mg/L）在3－5天内快速降解；亚硝酸盐与氨氮变化呈负相关趋势，仅有少量硝酸盐含量（< 30mg/L）。氨氧化种群的生物量增长与氨氧化趋势一致，初始生物量7.75 mg/L(蛋白含量)，3-5天后生物量快速增长，并达到最高63.06 mg/L（蛋白含量）。电镜图片显示，种群外包裹一层粘液。离心除去菌体后，检测培养液总有机碳和糖的含量，同样表现出与生物量增长相似的特征，分别由初始的3.73、2.35 mg/L，3－5内天迅速增加，并分别达到最大值35.19、27.45 mg/L。经初步分离、纯化并对纯化菌株进行测序，获得了10株异养微生物分别为布鲁氏菌科苍白杆菌属、纤维单孢菌、类芽孢菌属、黄杆菌属、无色杆菌、鞘脂单胞菌、嗜麦芽寡养单胞菌、噬氢菌属、硫红球菌、假单胞菌；DGGE显示，约有20分条离带，我们对其中的两条优势条带进行切割回收测序，鉴定为欧洲亚硝化单胞菌（Nitrosomonas eur）。 第二部分：混合种群自养-异养菌共生的可能机制。在对微生物种群特征初步分析基础上，针对胞外糖类组分可能被微生物代谢分解，我们重点对微生物细胞蛋白质与糖类进行分析。采用超声结合RIPA裂解液裂解，SDS-PAGE电泳分析混合种群总蛋白种类，并通过氨基酸分析仪及红外光谱法分析氨基酸组成及蛋白红外特征。采用超声破碎结合反复冻融对细胞样品进行处理，提取液采用醇沉、Sevage脱氮白，凝胶过滤方法脱盐和分级分离。对提取物的糖分析包括：紫外扫描，红外光谱，核磁共振，单糖组成分析；扫描电镜观察菌群破裂现象。SDS-PAGE分析结果表明：氨氧化种群不同生长阶段都显示出42kD蛋白表达量很高，d4时42kD蛋白表达已经很强，4-7d内一直持续这种过量表达，直到d8后表达开始减弱。说明42kD蛋白可能与氨氧化密切相关。红外光谱分析显示：细胞提取物的特征峰分布在3427.42cm-1、1718.18 cm-1和1681.72 cm-1、1160.07和1086.74 cm-1，分别对应为OH、 C=O、C－O－C基团，表明具有蛋白的典型特征；氨基酸分析显示蛋白中的Gly,Asp,Ala,Glu含量相对较高。 提取物中胞外多糖分离谱图得到不均一组分，共得到6个收集峰；紫外扫描在201－213 nm处有多糖吸收峰，同样表明多糖成分不均一性；多糖红外光谱特征峰主要分别在3400.49 cm-1、2920.28 cm-1、1154.54和1087.52 cm-1，对应OH、－CH2－ or CH 、C－O－H or C－O－C等多糖特征基团；多糖提取物核磁共振1H d4.3～5.9之间出现强吸收峰，这是1H中，多糖存在的明显证据，1H NMR中，其中O-乙酰基的甲基上的氢信号为d1.1～1.3之间。糖肟全苯甲酸酯衍生物的HPLC测定中，得到单一的单糖峰，由于时间问题，还未进行更深入的试验；电镜图片显示，种群中的细胞有大量的破裂现象。 实验表明，自养氨氧化混合种群显示出快速的氨氧化速率，氨氧化过程生物量和有机质的增加明显。微生物种群包裹粘液层，并分离纯化出大量的异养菌；去除菌体后的游离培养液中存在有机质（包括多糖）说明无机自养生长体系中存在异养菌生长、繁殖的二次碳源；细胞提取物中蛋白条带数目多、种类丰富；细胞多糖提取物具有明显的多糖特征，以及单糖的存在。结合种群的显微特征和游离体系中的有机质的检测结果，我们认为，无机自养生长体系中，种群细胞生长过程中发生的破裂现象可能是导致大量的蛋白、多糖释放到游离胞外，并成为其他异养菌生长的碳源和氮源。这可能是自养体系中，大量异养菌共生的可能机制，至于是什么原因引起种群生长过程中产生的破裂现象，还有待下一步深入研究。 A group of mixed autotrophic ammonia oxidizing populations, having much biological characteristic tested by concerned personnel for pilot test: Performed rapid population growth and obtained high biomass in inorganic environment; Not only maintained a high rate of ammoxidation, promoted a wealth of heterotrophic microbial populations growth in a totally inorganic and autotrophic growth environment; Placed in heterotrophic and anaerobic environment,had the performance characteristics that could rapidly produce hydrogen.For such a special ecological system, Study its symbiotic mechanism and the connection between these populations of carbon and energy issues, will have a very important significance. We intended from the characteristics of the population, the secretion product of cell surface, free substance in the liquid medium like polysaccharide, protein and fatty acids carrying out research. Part I: The basic features of mixed autotrophic ammonia oxidizing populations . Use inorganic liquid medium, processed study for ammonia oxidation characteristics of the population; we used scanning electron microscopy to get micro-features of autotrophic ammonia oxidizing populations .The medium was carried out settlement and centrifugal then removed the microbial populations, after all of that we analysis the water phase for total organic carbon(TOC), carbohydrate and other substances; Solid ammonia oxidizing medium was adopted to separation and purification of population, DGGE means was for structure analysis of microbial population. The results showed that after the inoculum of bacteria (2 / 5000 (V / V)), ammonia in the culture medium (200 mg / L) was rapid degradation in 3-5 days; ammonia and nitrite have the negative correlation between changes in the trend, then only a small amount of nitrate content (<30mg / L). The biomass growth of ammoxidation population in line with the trend of ammonia oxidation, the initial volume of it was 7.75 mg / L (protein content), in 3-5 days upto 63.06 mg / L (protein content). Electron microscope image showed, the populations were wrapped in a layer of mucus, including the a large number ruptted micorbe , Centrifuge to remove bacteria, then detected the medium for total organic carbon and sugar content, result took on the same characteristics with biomass growth, that were from the initial 3.73、2.35 mg / L respectively, in 3-6 days achieved rapid increase in the maximum to 35.19、27.45 mg / L respectively. After initial separation、 purification ,then processed sequencing to strains purified and got the result that there were 10 heterotrophic microorganisms : Brucella Branch pale bacillus, Cellu lomonas, Bacillus species category, a Flavobacterium, colorless Bacteria, Aeromonas sheath fat, little support maltophilia Aeromonas, macrophages species hydrogen, sulphur-MI, Pseudomonas bacteria spores; DGGE display, there were 20 separation bands approximately. Part II: Mixed populations that autotrophic - heterotrophic bacteria symbiotic mechanism. On the basis of preliminary analysis of microbial population characteristics, aiming at extracellular carbohydrate components might be decomposition by microbial, we focused on microbial cell protein and carbohydrate analysis. Using ultrasound combined with RIPA lysis cracking the cells, SDS-PAGE electrophoresis analysis the total protein species of the population, and through the amino acid analyzer studied the compositions of amino acid and infrared spectroscopy analysis of a protein infrared characteristics. Using ultrasound combined with repeatedly freezing and thawing to treated the cell sample, then took the means that alcohol precipitation, deproteinization by Sevage, gel filtration aimed at desalination and grade separation to deal with the lysates . The extraction of sugar analysis included: UV scanning, IR, NMR, single-sugar composition analysis. SDS-PAGE analysis showed that: 42 kD protein expression was very high at different growth stages of mixed autotrophic ammonia oxidizing populations , on the fourth day, 42 kD protein expression had been very strong, 4-7d, it had continued this excessive expression, then started to weaken after 7 days. 42 kD protein that might be closely associated with ammonia oxidation. Infrared spectral analysis showed that: cell extracts with the characteristic that the peak distribution in 3427.42 cm-1、1718.18 cm-1 and 1681.72 cm-1、1160.07 cm-1 and 1086.74 cm-1 corresponding to OH、C = O、C-O-C Groups which had the typical characteristics of protein; and analysis showed that amino acids including Gly, Asp, Ala, Glu ,the content in the protein is relatively high. Exopolysaccharide in the extracts had the separation map that it was uneven, received a total of six collection peaks by the detection mode of phenol-sulphruic acid method ; ultraviolet scan in the 201-213 nm department had polysaccharide absorbing peak, the same ingredients that polysaccharide heterogeneity; infrared polysaccharide spectral characteristics of the main peak at 3400.49 cm-1, 2920.28 cm-1, 1154.54 and 1087.52 cm-1, corresponding OH,-CH2-or CH, C-O-H or C-O-C;and other characteristics of polysaccharide group; 1H NMR of polysaccharide extract appeared absorption peak between d4.3 ~5.9, which is the apparent evidence of polysaccharide, In 1H NMR, the hydrogen signal of one of O-acetyl was between 1.1 to 1.3. The determination of Sugar oxime whole benzoate derivatives by HPLC, there was a single-sugar peak, as a matter of time, yet more in-depth test. Summary: Mixed autotrophic ammonia oxidizing populations show us that it had the ability in ammonia oxidizing and it was great, organic matter and biomass increased significantly in the process of ammonia oxidation. Microbial populations was wrapped up slime layer, the phenomenon of cell breakdown obviously, and there were a lot of separation and purification of the heterotrophic bacteria; a lot of organic matter (including polysaccharides)remined in the medium that removal of cell indicated the inorganic system existed secondary carbon sources that could be used by the heterotrophic bacteria ; there were a large number proteins bands of cell extract, rich variety; cell extracts of polysaccharide had obvious characteristics of polysaccharide, and the existence evidence of single-sugar. Combined population of microscopic characteristics and free of organic matter in the test results, we believe that the health of inorganic system, population growth occurred in the course of the breakdown of the phenomenon is likely to lead to a lot of protein and polysaccharide released into the extracellular free, And other heterotrophic bacteria use them to the growth as carbon and nitrogen. This may be autotrophic system, the large number of heterotrophic bacteria symbiotic mechanism.

Robust Learning Control for Manipulators with Uncertainty Disturbances Based on Internal Model

In this paper, a disturbance controller is designed for making robotic system behave as a decoupled linear system according to the concept of internal model. Based on the linear system, the paper presents an iterative learning control algorithm to robotic manipulators. A sufficient condition for convergence is provided. The selection of parameter values of the algorithm is simple and easy to meet the convergence condition. The simulation results demonstrate the effectiveness of the algorithm..

Rola wojsk specjalnych w systemie obronnym RP

Na przestrzeni ostatnich dwóch dekad wojska specjalne stały się ważnym elementem systemów obronnych wielu państw, wnosząc istotny wkład w prowadzone operacje wojskowe, oraz ogólny potencjał realizacji stawianych przed nimi zadań. Wynika to z unikalnych zdolności tego rodzaju wojsk, czyniących je szczególnie użytecznymi we współczesnym środowisku bezpieczeństwa międzynarodowego. Czynniki te zadecydowały również o daleko idącej ewolucji i dynamicznym rozwoju polskich Wojsk Specjalnych. Celem artykułu jest analiza użyteczności jednostek specjalnych dla realizacji zasadniczych misji Sil Zbrojnych RP (zapisanych w Strategii Obronności RP) oraz prezentacja perspektyw ich dalszego rozwoju (przez pryzmat szans, wyzwań, ryzyk i zagrożeń).

Mermera: Non-Coherent Distributed Shared Memory for Parallel Computing

The proliferation of inexpensive workstations and networks has prompted several researchers to use such distributed systems for parallel computing. Attempts have been made to offer a shared-memory programming model on such distributed memory computers. Most systems provide a shared-memory that is coherent in that all processes that use it agree on the order of all memory events. This dissertation explores the possibility of a significant improvement in the performance of some applications when they use non-coherent memory. First, a new formal model to describe existing non-coherent memories is developed. I use this model to prove that certain problems can be solved using asynchronous iterative algorithms on shared-memory in which the coherence constraints are substantially relaxed. In the course of the development of the model I discovered a new type of non-coherent behavior called Local Consistency. Second, a programming model, Mermera, is proposed. It provides programmers with a choice of hierarchically related non-coherent behaviors along with one coherent behavior. Thus, one can trade-off the ease of programming with coherent memory for improved performance with non-coherent memory. As an example, I present a program to solve a linear system of equations using an asynchronous iterative algorithm. This program uses all the behaviors offered by Mermera. Third, I describe the implementation of Mermera on a BBN Butterfly TC2000 and on a network of workstations. The performance of a version of the equation solving program that uses all the behaviors of Mermera is compared with that of a version that uses coherent behavior only. For a system of 1000 equations the former exhibits at least a 5-fold improvement in convergence time over the latter. The version using coherent behavior only does not benefit from employing more than one workstation to solve the problem while the program using non-coherent behavior continues to achieve improved performance as the number of workstations is increased from 1 to 6. This measurement corroborates our belief that non-coherent shared memory can be a performance boon for some applications.

Bridge-vehicle interaction for structural health monitoring: potentials, applications, and limitations

Structural Health Monitoring (SHM) is an integral part of infrastructure maintenance and management systems due to socio-economic, safety and security reasons. The behaviour of a structure under vibration depends on structure characteristics. The change of structure characteristics may suggest the change in system behaviour due to the presence of damage(s) within. Therefore the consistent, output signal guided, and system dependable markers would be convenient tool for the online monitoring, the maintenance, rehabilitation strategies, and optimized decision making policies as required by the engineers, owners, managers, and the users from both safety and serviceability aspects. SHM has a very significant advantage over traditional investigations where tangible and intangible costs of a very high degree are often incurred due to the disruption of service. Additionally, SHM through bridge-vehicle interaction opens up opportunities for continuous tracking of the condition of the structure. Research in this area is still in initial stage and is extremely promising. This PhD focuses on using bridge-vehicle interaction response for SHM of damaged or deteriorating bridges to monitor or assess them under operating conditions. In the present study, a number of damage detection markers have been investigated and proposed in order to identify the existence, location, and the extent of an open crack in the structure. The theoretical and experimental investigation has been conducted on Single Degree of Freedom linear system, simply supported beams. The novel Delay Vector Variance (DVV) methodology has been employed for characterization of structural behaviour by time-domain response analysis. Also, the analysis of responses of actual bridges using DVV method has been for the first time employed for this kind of investigation.

Signal restoration from band-pass filtered data

The restoration problem for a band-pass linear system is examined in the case the input signal is weighted by a profile function. The singular system is evaluated analytically for three different forms of the profile function. An example of restoration process is presented.

Wireless networked control systems with QoS-based sampling

Closing feedback loops using an IEEE 802.11b ad hoc wireless communication network incurs many challenges sensitivity to varying channel conditions and lower physical transmission rates tend to limit the bandwidth of the communication channel. Given that the bandwidth usage and control performance are linked, a method of adapting the sampling interval based on an 'a priori', static sampling policy has been proposed and, more significantly, assuring stability in the mean square sense using discrete-time Markov jump linear system theory. Practical issues including current limitations of the 802.11 b protocol, the sampling policy and stability are highlighted. Simulation results on a cart-mounted inverted pendulum show that closed-loop stability can be improved using sample rate adaptation and that the control design criteria can be met in the presence of channel errors and severe channel contention.

Improved conjugate gradient implementation for least squares support vector machines

As a promising method for pattern recognition and function estimation, least squares support vector machines (LS-SVM) express the training in terms of solving a linear system instead of a quadratic programming problem as for conventional support vector machines (SVM). In this paper, by using the information provided by the equality constraint, we transform the minimization problem with a single equality constraint in LS-SVM into an unconstrained minimization problem, then propose reduced formulations for LS-SVM. By introducing this transformation, the times of using conjugate gradient (CG) method, which is a greatly time-consuming step in obtaining the numerical solution, are reduced to one instead of two as proposed by Suykens et al. (1999). The comparison on computational speed of our method with the CG method proposed by Suykens et al. and the first order and second order SMO methods on several benchmark data sets shows a reduction of training time by up to 44%. (C) 2011 Elsevier B.V. All rights reserved.