Symbolic analysis approach to settling time minimization in sc networks

The paper presents a method of settling time minimization in switched capacitor (SC) circuits. This problem has been discussed in recent papers because of high-frequency applications of SC networks. In comparison with the methods elaborated up to now and limited to biquads, the method presented in this paper can be used for an SC circuit containing an arbitrary number of operational amplifiers coupled together in each switching state and modelled as ideal transconductances. the fifth-order ladder bilinear SC filter is considered for illustration of the method and SPICE simulations.     

Catalyst instabilities during the liquid phase partial oxidation of methane

A promising catalytic system for the low temperature oxidation of methane to a methanol derivative has been investigated under both batch and semi-continuous operation in two different reactor types. The system comprises of a bimetallic palladium and copper(II) chloride catalyst contained in a trifluoroacetic acid (TFA) and an aqueous phase. Methane, oxygen and a co-reductant carbon monoxide constitute the gas phase. Typical operating conditions were a temperature of 85 °C and a pressure of 83 bar.

The yields of the methyl trifluoroacetate product observed in this present work were less than those obtained in other batch autoclave works, which employed only 4 ml of liquid phase, compared with 50 ml in this study. Furthermore, an encouraging initial product formation rate of ca. 40 mol/m³ h, quickly decreased after the first hour, and came to an apparent end after only 2 h. This observation had not been reported previously.

Work performed in a semi-continuous porous tube reactor (300 ml of re-circulating liquid phase) also showed the same reaction characteristics as in the batch reactor. Thus, the deteriorating product formation rate cannot be attributed to gaseous reactant depletion (batch operation). The results suggest problems associated with catalyst instabilities, e.g. with the previously elucidated Wacker chemistry.     

Surface geometry of slide bearings after percussive burnishing

A review of literature about the effect of oil pockets on improvement of sliding elements tribological performance as well as about the changes of surface topography during “zero-wear” process is shown. The paper presents also the results of experimental investigations done in the Department of Manufacturing Processes and Production Organisation of Rzeszow University of Technology, connected with the creation of oil pockets on sliding surfaces. In order to simulate a deterministic surface a program for the visualisation of pits was written. The procedures for assessment of the oil pocket size of specific shape and oil pockets coverage are presented. The tendencies of changes of surface topography and oil pockets dimensions during “zero-wear” process are also described.     

Necessary and sufficient conditions for the universality of programming formalisms

Summary Over many familiar datatypes the notion of computable coincides with the notion of flowchartable. It is also known that flowcharts are not a universal programming formalism over arbitrary datatypes, in the sense that there are datatypes over which not all computable functions are flowchartable. In this paper we consider various extensions and restrictions of the basic formalism of flowcharts, and then for every such formalism, we characterize the datatypes over which the computable functions are exactly the functions programmable in this formalism. We say that a function is computable over a datatype if it is effective relative to the primitive operations and relations of the datatype.     

Improved Accuracy of High-Order WENO Finite Volume Methods on Cartesian Grids

We propose a simple modification of standard weighted essentially non-oscillatory (WENO) finite volume methods for Cartesian grids, which retains the full spatial order of accuracy of the one-dimensional discretization when applied to nonlinear multidimensional systems of conservation laws. We derive formulas, which allow us to compute high-order accurate point values of the conserved quantities at grid cell interfaces. Using those point values, we can compute a high-order flux at the center of a grid cell interface. Finally, we use those point values to compute high-order accurate averaged fluxes at cell interfaces as needed by a finite volume method. The method is described in detail for the two-dimensional Euler equations of gas dynamics. An extension to the three-dimensional case as well as to other nonlinear systems of conservation laws in divergence form is straightforward. Furthermore, similar ideas can be used to improve the accuracy of WENO type methods for hyperbolic systems which are not in divergence form. Several test computations confirm the high-order accuracy for smooth nonlinear problems.     

Algorithms for spatial collocation pattern mining in a limited memory environment: a summary of results

Rapid growth of spatial datasets requires methods to find (semi-)automatically spatial knowledge from these sets. Spatial collocation patterns represent subsets of spatial features whose instances are frequently located together in a spatial neighborhood. In recent years, efficient methods for collocation discovery have been developed, however, none of them assume limited size of the operational memory or limited access to memory with short access times. Such restrictions are especially important in the context of the large size of the data structures required for efficient identification of collocation instances. In this work we present and compare three algorithms for collocation pattern mining in a limited memory environment. The first algorithm is based on the well-known joinless method introduced by Shekhar and Yoo. The second and third algorithms are inspired by a tree structure (iCPI-tree) presented by Wang et al. In our experimental evaluation, we have compared the efficiency of the algorithms, both on synthetic and real world datasets.     

Long-term cyclability of nanostructured LiFePO4

Amorphous LiFePO₄ was obtained by lithiation of FePO₄ synthesized by spontaneous precipitation from equimolar aqueous solutions of Fe(NH₄)₂(SO₄)₂·6H₂O and NH₄H₂PO₄, using hydrogen peroxide as oxidizing agent. Nano-crystalline LiFePO₄ was obtained by heating amorphous nano-sized LiFePO₄ for different periods of time. The materials were characterized by TG, DTA, X-ray powder diffraction, scanning electron microscopy (SEM) and BET. All materials showed very good electrochemical performance in terms of energy and power density. Upon cycling, a capacity fading affected the materials, thus reducing the electrochemical performance. Nevertheless, the fading decreased upon cycling and after the 200th cycle the cell was able to cycle for more than 500 cycles without further fading.     

Damage localization for beams based on the wavelet correlation operator

The continuous wavelet transform (CWT) is one of the crucial damage identification tools in the vibration-based damage assessment. Because of the vanishing moment property, the CWT method is capable of featuring damage singularity in the higher scales, and separating the global trends and noise progressively. In the classical investigations about this issue, the localization property of the CWT is usually deemed as the most critical point. The abundant information provided by the scale-domain information and the corresponding effectiveness are, however, neglected to some extent. Ultimately, this neglect restricts the sufficient application of the CWT method in damage localization, especially in noisy conditions. In order to address this problem, the wavelet correlation operator is introduced into the CWT damage detection method as a post-processing. By means of the correlations among different scales, the proposed operator suppresses noise, cancels global trends, and intensifies the damage features for various mode shapes. The proposed method is demonstrated numerically with emphasis on characterizing damage in noisy environments, where the wavelet scale Teager-Kaiser energy operator is taken as the benchmark method for comparison. Experimental validations are conducted based on the benchmark data from composite beam specimens measured by a scanning laser vibrometer. Numerical and experimental validations/comparisons present that the introduction of wavelet correlation operator is effective for damage localization in noisy conditions.     

Cryo-EM image alignment based on nonuniform fast Fourier transform

In single particle analysis, two-dimensional (2-D) alignment is a fundamental step intended to put into register various particle projections of biological macromolecules collected at the electron microscope. The efficiency and quality of three-dimensional (3-D) structure reconstruction largely depends on the computational speed and alignment accuracy of this crucial step. In order to improve the performance of alignment, we introduce a new method that takes advantage of the highly accurate interpolation scheme based on the gridding method, a version of the nonuniform fast Fourier transform, and utilizes a multi-dimensional optimization algorithm for the refinement of the orientation parameters. Using simulated data, we demonstrate that by using less than half of the sample points and taking twice the runtime, our new 2-D alignment method achieves dramatically better alignment accuracy than that based on quadratic interpolation. We also apply our method to image to volume registration, the key step in the single particle EM structure refinement protocol. We find that in this case the accuracy of the method not only surpasses the accuracy of the commonly used real-space implementation, but results are achieved in much shorter time, making gridding-based alignment a perfect candidate for efficient structure determination in single particle analysis.     

Integrated Data Management for a Fleet of Search‐and‐rescue Robots

Search‐and‐rescue operations have recently been confronted with the introduction of robotic tools that assist the human search‐and‐rescue workers in their dangerous but life‐saving job of searching for human survivors after major catastrophes. However, the world of search and rescue is highly reliant on strict procedures for the transfer of messages, alarms, data, and command and control over the deployed assets. The introduction of robotic tools into this world causes an important structural change in this procedural toolchain. Moreover, the introduction of search‐and‐rescue robots acting as data gatherers could potentially lead to an information overload toward the human search‐and‐rescue workers, if the data acquired by these robotic tools are not managed in an intelligent way. With that in mind, we present in this paper an integrated data combination and data management architecture that is able to accommodate real‐time data gathered by a fleet of robotic vehicles on a crisis site, and we present and publish these data in a way that is easy to understand by end‐users. In the scope of this paper, a fleet of unmanned ground and aerial search‐and‐rescue vehicles is considered, developed within the scope of the European ICARUS project. As a first step toward the integrated data‐management methodology, the different robotic systems require an interoperable framework in order to pass data from one to another and toward the unified command and control station. As a second step, a data fusion methodology will be presented, combining the data acquired by the different heterogenic robotic systems. The computation needed for this process is done in a novel mobile data center and then (as a third step) published in a software as a service (SaaS) model. The SaaS model helps in providing access to robotic data over ubiquitous Ethernet connections. As a final step, we show how the presented data‐management architecture allows for reusing recorded exercises with real robots and rescue teams for training purposes and teaching search‐and‐rescue personnel how to handle the different robotic tools. The system was validated in two experiments. First, in the controlled environment of a military testing base, a fleet of unmanned ground and aerial vehicles was deployed in an earthquake‐response scenario. The data gathered by the different interoperable robotic systems were combined by a novel mobile data center and presented to the end‐user public. Second, an unmanned aerial system was deployed on an actual mission with an international relief team to help with the relief operations after major flooding in Bosnia in the spring of 2014. Due to the nature of the event (floods), no ground vehicles were deployed here, but all data acquired by the aerial system (mainly three‐dimensional maps) were stored in the ICARUS data center, where they were securely published for authorized personnel all over the world. This mission (which is, to our knowledge, the first recorded deployment of an unmanned aerial system by an official governmental international search‐and‐rescue team in another country) proved also the concept of the procedural integration of the ICARUS data management system into the existing procedural toolchain of the search and rescue workers, and this in an international context (deployment from Belgium to Bosnia). The feedback received from the search‐and‐rescue personnel on both validation exercises was highly positive, proving that the ICARUS data management system can efficiently increase the situational awareness of the search‐and‐rescue personnel.