Controllability of second-order infinite-dimensional systems

In the paper, the approximate controllability of linear abstract second-order infinite-dimensional dynamical systems is considered. It is proved using the frequency-domain method, that approximate controllability of second-order system can be verified by the approximate controllability conditions for the corresponding simplified first-order system. General results are then applied for approximate controllability investigation of a vibratory dynamical system modeling flexible mechanical structure. Some special cases are also considered. Moreover, remarks and comments on the relationships between different concepts of controllability are given. The paper extends earlier results on approximate controllability of second-order abstract dynamical systems.     

Certification of software for real-time safety-critical systems: state of the art

This paper presents an overview and discusses the role of certification in safety-critical computer systems focusing on software, and partially hardware, used in the civil aviation domain. It discusses certification activities according to RTCA DO-178B “Software Considerations in Airborne Systems and Equipment Certification” and touches on tool qualification according to RTCA DO-254 “Design Assurance Guidance for Airborne Electronic Hardware.” Specifically, certification issues as related to real-time operating systems and programming languages are reviewed, as well as software development tools and complex electronic hardware tool qualification processes are discussed. Results of an independent industry survey done by the authors are also presented.     

Generating relational database transactions from eb 3 attribute definitions

eb ³ is a trace-based formal language created for the specification of information systems. In eb ³, each entity and association attribute is independently defined by a recursive function on the valid traces of external events. This paper describes an algorithm that generates, for each external event, a transaction that updates the value of affected attributes in their relational database representation. The benefits are twofold: eb ³ attribute specifications are automatically translated into executable programs, eliminating system design and implementation steps; the construction of information systems is streamlined, because eb ³ specifications are simpler and shorter to write than corresponding traditional specifications, design and implementations. In particular, the paper shows that simple eb ³ constructs can replace complex SQL queries which are typically difficult to write.

Wide band resonant ultrasound spectroscopy of spheroidal modes for high accuracy estimation of Poisson coefficient of balls

An original inversion method specifically adapted to the estimation of Poisson coefficient of balls by using their resonance spectra is described. From the study of their elastic vibrations, it is possible to accurately characterize the balls. The proposed methodology can create both spheroidal modes in the balls and detect such vibrations over a large frequency range. Experimentally, by using both an ultrasonic probe for the emission (piezoelectric transducer) and a heterodyne optic probe for the reception (interferometer), it was possible to take spectroscopic measurements of spheroidal vibrations over a large frequency range (100 kHz-45 MHz) in a continuous regime. This method, which uses ratios between wave resonance frequencies, allows the Poisson coefficient to be determined independently of Young's modulus and the ball's radius and density. This has the advantage of providing highly accurate estimations of Poisson coefficient (+/-4.3 x 10(-4)) over a wide frequency range.     

Joint Estimation of Location and Scatter in Complex Elliptically Symmetric Distributions

The joint estimation of the location vector and the shape matrix of a set of independent and identically Complex Elliptically Symmetric (CES) distributed observations is investigated from both the theoretical and computational viewpoints. This joint estimation problem is framed in the original context of semiparametric models allowing us to handle the (generally unknown) density generator as an infinite-dimensional nuisance parameter. In the first part of the paper, a computationally efficient and memory saving implementation of the robust and semiparmaetric efficient R-estimator for shape matrices is derived. Building upon this result, in the second part, a joint estimator, relying on the Tyler’s M-estimator of location and on the R-estimator of shape matrix, is proposed and its Mean Squared Error (MSE) performance compared with the Semiparametric Cramér-Rao Bound (SCRB).

     

An industrial portrait background removal solution based on knowledge infusion

Background removal of an identity (ID) picture consists in separating the foreground (face, body, hair and clothes) from the background of the image. It is a necessary groundwork for all modern identity documents that also has many benefits for improving ID security. State of the art image processing techniques encountered several segmentation issues and offer only partial solutions. It is due to the presence of erratic components like hairs, poor contrast, luminosity variation, shadow, color overlap between clothes and background. In this paper, a knowledge infused approach is proposed that hybridizes smart image processing tasks and prior knowledge. The research is based on a divide and conquer strategy aiming at simulating the sequential attention of human when performing a manual segmentation. Knowledge is infused by considering the spatial relation between anatomic elements of the ID image (face feature, forehead, body and hair) as well as their “signal properties”. The process consists in first determining a convex hull around the person’s body including all the foreground while keeping very close to the contour between the background and the foreground. Then, a body map generated from biometric analysis associated to an automatic grab cut process is applied to reach a finer segmentation. Finally, a heuristic-based post-processing step consisting in correcting potential hair and fine boundary issues leads to the final segmentation. Experimental results show that the newly proposed architecture achieves better performances than tested current state-of-the-art methodologies including active contours, generalist popular deep learning techniques, and also two other ones considered as the smartest for portrait segmentation. This new technology has been adopted by an international company as its industrial ID foreground solution.

     

Ultralow Expansion Glass as Material for Advanced Micromechanical Systems

Ultralow expansion (ULE) glasses are of special interest for temperature stabilized systems for example in precision metrology. Nowadays, ULE materials are mainly used in macroscopic and less in micromechanical systems. Reasons for this are a lack of technologies for parallel fabricating high-quality released microstructures with a high accuracy. As a result, there is a high demand in transferring these materials into miniaturized application examples, realistic system modeling, and the investigation of microscopic material properties. Herein, a technological base for fabricating released micromechanical structures and systems with a structure height above 100 μm in ULE 7972 glass is established. Herein, the main fabrication parameters that are important for the system design and contribute thus to the introduction of titanium silicate as material for glass-based micromechanical systems are discussed. To study the mechanical properties in combination with respective simulation models, microcantilevers are used as basic mechanical elements to evaluate technological parameters and other impact factors. The implemented models allow to predict the micromechanical system properties with a deviation of only ±5% and can thus effectively support the micromechanical system design in an early stage of development.     

Effect of NiAl precipitation on shape recovery of CuZnAlNi alloy

In a CuZnAl alloy containing 2.2 wt% of nickel it was found that due to alloy quenching and low temperature ageing, precipitation of NiAl disperse particles takes place resulting in raising of martensitic transformation characteristic temperatures. The ease with which this phase precipitates indicates the low thermal stability of this alloy. At the same time the process of precipitation of NiAl particles offers an opportunity for control of shape recovery temperature by varying quenching temperature, cooling rate and especially ageing time, since variations of characteristic temperatures as a function of ageing time can be expressed by the relation T=At ^0.5. It was also ascertained that the two way shape memory effect, as opposed to the one-way effect, is sensitive to processes associated with alloy ageing and also matrix phase transition in the bainite.     

Automated extraction of DNA from blood and PCR setup using a Tecan Freedom EVO liquid handler for forensic genetic STR typing of reference samples

We have implemented and validated automated protocols for DNA extraction and PCR setup using a Tecan Freedom EVO liquid handler mounted with the Te-MagS magnetic separation device (Tecan, M?nnedorf, Switzerland). The protocols were validated for accredited forensic genetic work according to ISO 17025 using the Qiagen MagAttract DNA Mini M48 kit (Qiagen GmbH, Hilden, Germany) from fresh whole blood and blood from deceased individuals. The workflow was simplified by returning the DNA extracts to the original tubes minimizing the risk of misplacing samples. The tubes that originally contained the samples were washed with MilliQ water before the return of the DNA extracts. The PCR was setup in 96-well microtiter plates. The methods were validated for the kits: AmpF?STR Identifiler, SGM Plus and Yfiler (Applied Biosystems, Foster City, CA), GenePrint FFFL and PowerPlex Y (Promega, Madison, WI). The automated protocols allowed for extraction and addition of PCR master mix of 96 samples within 3.5h. In conclusion, we demonstrated that (1) DNA extraction with magnetic beads and (2) PCR setup for accredited, forensic genetic short tandem repeat typing can be implemented on a simple automated liquid handler leading to the reduction of manual work, and increased quality and throughput.