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.     

Use of 3D modelling and several ultrasound sensors to assess overflow rate.

A new instrumentation mode has been put in place in order to determine the overflow rate of five complex CSOs of the system in Sélestat (French), which are subject to self monitoring. 3D and 1D models have made it possible to predict the shapes of the water lines and suggest a location for the ultrasound sensors. In order to validate the instrumentation principle, three overhead sensors were placed on a weir. The overflow laws suggested are of the type Q(overflow) = a1h1b1 + a2h2b2 + a3h3b3. Early results of the overflow rate that have been obtained by applying the law are close to 10 % of the flow measured in the physical test bench. On the actual site, the ultrasound sensors were assembled on a rail covering the entire weir in order to be able to change their position in future after models calibration.     

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.     

Exosomal Cargo May Hold the Key to Improving Reproductive Outcomes in Dairy Cows

The reproductive status of dairy cows remains a challenge for dairy farmers worldwide, with impaired fertility linked to a significant reduction in herd profitability, due in part to impaired immunity, increased metabolic pressure, and longer postpartum anestrous interval (PPAI). Exosomes are nanovesicles released from a variety of cell types and end up in circulation, and carry proteins, bioactive peptides, lipids, and nucleic acids specific to the place of origin. As such, their role in health and disease has been investigated in humans and animals. This review discusses research into exosomes in the context of reproduction in dairy herds and introduces recent advances in mass-spectrometry (MS) based proteomics that have a potential to advance quantitative profiling of exosomal protein cargo in a search for early biomarkers of cattle fertility.     

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.