Smart Mirror: remote verification of an identity document holder

Nowadays, some activities, such as subscribing an insurance policy or opening a bank account, are possible by navigating through a web page or a downloadable application. Since the user is often “hidden” behind a monitor or a smartphone, it is necessary a solution able to guarantee about their identity. Companies are often requiring the submission of a “proof-of-identity”, which usually consists in a picture of an identity document of the user, together with a picture or a brief video of themselves. This work describes a system whose purpose is the automation of these kinds of verifications.

Verification of rupture disc sizing of Acrylic Reactor

The primary goal of this thesis is to verify the rupture disc sizing of the acrylic reactor. Primarily the test to check the sizing was divided into several stages. It went on to examine ideas to explain the concern and ethical ways, as well as remedies and suggestions to solve the issues and difficulties that were discovered. This thesis will highlight the gathering and arranging of reaction data (recipe composition, enthalpies, reaction temperature, and catalyst feeding times) of the products to be chosen, in accordance with pre-established criteria. To collaborate with the research and development team in the lab to carry out calorimetric testing for the important recipes that have been identified. The verification of the currently installed Rupture Discs in the plant based on the calorimetric test findings is the final stage. This thesis used two separate calorimetry techniques: Phi-TEC II adiabatic calorimetry and differential scanning calorimetry (DSC). The target of the experiment is to check and confirm the correct size of the reactor rupture disc. Arkema (Boretto/Coatex) plant (Emilia romagna) provided a recipe and a scenario following multiple meetings and discussions. The purpose of this technical paper is to describe the outcomes of adiabatic calorimetry performed at the lab scale so that the computation of the vents for a particular recipe and scenario can be verified.

Structural models for yttrium aluminium borate laser glasses: NMR and EPR studies of the system (Y(2)O(3))(0.2)-(Al(2)O(3))(x)-(B(2)O(3))(0.8-x)

The structure of laser glasses in the system (Y(2)O(3))(0.2){(Al(2)O(3))(x))(B(2)O(3))(0.8-x)} (0.15 <= x <= 0.40) has been investigated by means of (11)B, (27)Al, and (89)Y solid state NMR as well as electron spin echo envelope modulation (ESEEM) of Yb-doped samples. The latter technique has been applied for the first time to an aluminoborate glass system. (11)B magic-angle spinning (MAS)-NMR spectra reveal that, while the majority of the boron atoms are three-coordinated over the entire composition region, the fraction of three-coordinated boron atoms increases significantly with increasing x. Charge balance considerations as well as (11)B NMR lineshape analyses suggest that the dominant borate species are predominantly singly charged metaborate (BO(2/2)O(-)), doubly charged pyroborate (BO(1/2)(O(-))(2)), and (at x = 0.40) triply charged orthoborate groups. As x increases along this series, the average anionic charge per trigonal borate group increases from 1.38 to 2.91. (27)Al MAS-NMR spectra show that the alumina species are present in the coordination states four, five and six, and the fraction of four-coordinated Al increases markedly with increasing x. All of the Al coordination states are in intimate contact with both the three-and the four-coordinate boron species and vice versa, as indicated by (11)B/(27)Al rotational echo double resonance (REDOR) data. These results are consistent with the formation of a homogeneous, non-segregated glass structure. (89)Y solid state NMR spectra show a significant chemical shift trend, reflecting that the second coordination sphere becomes increasingly ""aluminate-like'' with increasing x. This conclusion is supported by electron spin echo envelope modulation (ESEEM) data of Yb-doped glasses, which indicate that both borate and aluminate species participate in the medium range structure of the rare-earth ions, consistent with a random spatial distribution of the glass components.

Obtaining and stability verification of superconducting phases of the Nb-Al and Nb-Sn systems by mechanical alloying and low-temperature heat treatments

The development of Nb(3)Al and Nb(3)Sn superconductors is of great interest for the applied superconductivity area. These intermetallics composites are obtained normally by heat treatment reactions at high temperature. Processes that allow formation of the superconducting phases at lower temperatures (<1000 degrees C), particularly for Nb(3)Al, are of great interest. The present work studies phase formation and stability of Nb(3)Al and Nb(3)Sn superconducting phases using mechanical alloying (high energy ball milling). Our main objective was to form composites near stoichiometry, which could be transformed into the superconducting phases using low-temperature heat treatments. High purity Nb-Sn and Nb-Al powders were mixed to generate the required superconducting phases (Nb-25at.%Sn and Nb-25at.%Al) in an argon atmosphere glove-box. After milling in a Fritsch mill, the samples were compressed in a hydraulic uniaxial press and encapsulated in evacuated quartz tubes for heat treatment. The compressed and heat treated samples were characterized using X-ray diffractometry. Microstructure and chemical analysis were accomplished using scanning electron microscopy and energy dispersive spectrometry. Nb(3)Al XRD peaks were observed after the sintering at 800 degrees C for the sample milled for 30 h. Nb(3)Sn XRD peaks could be observed even before the heat treatment. (C) 2009 Elsevier B.V. All rights reserved.

An algorithm for computerized automatic tuning of power system stabilizers

The main objective of this paper is to relieve the power system engineers from the burden of the complex and time-consuming process of power system stabilizer (PSS) tuning. To achieve this goal, the paper proposes an automatic process for computerized tuning of PSSs, which is based on an iterative process that uses a linear matrix inequality (LMI) solver to find the PSS parameters. It is shown in the paper that PSS tuning can be written as a search problem over a non-convex feasible set. The proposed algorithm solves this feasibility problem using an iterative LMI approach and a suitable initial condition, corresponding to a PSS designed for nominal operating conditions only (which is a quite simple task, since the required phase compensation is uniquely defined). Some knowledge about the PSS tuning is also incorporated in the algorithm through the specification of bounds defining the allowable PSS parameters. The application of the proposed algorithm to a benchmark test system and the nonlinear simulation of the resulting closed-loop models demonstrate the efficiency of this algorithm. (C) 2009 Elsevier Ltd. All rights reserved.

Verification of a mixed high-order accurate DNS code for laminar turbulent transition by the method of manufactured solutions

This paper presents results on a verification test of a Direct Numerical Simulation code of mixed high-order of accuracy using the method of manufactured solutions (MMS). This test is based on the formulation of an analytical solution for the Navier-Stokes equations modified by the addition of a source term. The present numerical code was aimed at simulating the temporal evolution of instability waves in a plane Poiseuille flow. The governing equations were solved in a vorticity-velocity formulation for a two-dimensional incompressible flow. The code employed two different numerical schemes. One used mixed high-order compact and non-compact finite-differences from fourth-order to sixth-order of accuracy. The other scheme used spectral methods instead of finite-difference methods for the streamwise direction, which was periodic. In the present test, particular attention was paid to the boundary conditions of the physical problem of interest. Indeed, the verification procedure using MMS can be more demanding than the often used comparison with Linear Stability Theory. That is particularly because in the latter test no attention is paid to the nonlinear terms. For the present verification test, it was possible to manufacture an analytical solution that reproduced some aspects of an instability wave in a nonlinear stage. Although the results of the verification by MMS for this mixed-order numerical scheme had to be interpreted with care, the test was very useful as it gave confidence that the code was free of programming errors. Copyright (C) 2009 John Wiley & Sons, Ltd.

Model to predict the chloride penetration in concrete with profile forming peak: verification of its precision

Chloride attack in marine environments or in structures where deicing salts are used will not always show profiles with concentrations that decrease from the external surface to the interior of the concrete. Some profiles show an increase in chloride concentrations from when a peak is formed. This type of profile must be analyzed in a different way from the traditional model of Fick`s second law to generate more precise service life models. A model for forecasting the penetration of chloride ions as a function of time for profiles having formed a peak. To confirm the efficiency of this model, it is necessary to observe the behavior of a chloride profile with peak in a specific structure over a period of time. To achieve this, two chloride profiles with different ages (22 and 27 years) were extracted from the same structure. The profile obtained from the 22-year sample was used to estimate the chloride profile at 27 years using three models: a) the traditional model using Fick`s second law and extrapolating the value of C(S)-external surface chloride concentration; b) the traditional model using Fick`s second law and shifting the x-axis to the peak depth; c) the previously proposed model. The results from these models were compared with the actual profile measured in the 27-year sample and the results were analyzed. The model was presented with good precision for this study of case, requiring to be tested with other structures in use.

Adaptable Strut-and-Tie Model for Design and Verification of Four-Pile Caps

A large percentage of pile caps support only one column, and the pile caps in turn are supported by only a few piles. These are typically short and deep members with overall span-depth ratios of less than 1.5. Codes of practice do not provide uniform treatment for the design of these types of pile caps. These members have traditionally been designed as beams spanning between piles with the depth selected to avoid shear failures and the amount of longitudinal reinforcement selected to provide sufficient flexural capacity as calculated by the engineering beam theory. More recently, the strut-and-tie method has been used for the design of pile caps (disturbed or D-region) in which the load path is envisaged to be a three-dimensional truss, with compressive forces being supported by concrete compressive struts between the column and piles and tensile forces being carried by reinforcing steel located between piles. Both of these models have not provided uniform factors of safety against failure or been able to predict whether failure will occur by flexure (ductile mode) or shear (fragile mode). In this paper, an analytical model based on the strut-and-tie approach is presented. The proposed model has been calibrated using an extensive experimental database of pile caps subjected to compression and evaluated analytically for more complex loading conditions. It has been proven to be applicable across a broad range of test data and can predict the failures modes, cracking, yielding, and failure loads of four-pile caps with reasonable accuracy.

Adoption of integrated production of peach system in Parana State

The success in the adoption of peach integrated production (IP) was evaluated in small orchards of the Parana State. The importance of specific technical accompaniment; points of strangulating in adoption of technology and the classification of the areas to IP conformity were evaluated. The seasons 2005/2006 (without IP orientation) and 2006/2007 (with IP orientation) were compared considering 20 producers who were oriented monthly to attend the minimum requisites. The incidence of peach rust (Tranzschelia discolor) and of brown rot (Monilinia fructicola) in full bloom was evaluated in 2006/2007 and 2007/2008 seasons, as biological parameters to accompany the efficiency of system adoption. After the technical accompaniment in 2007/2008 season, the software APOIA-Novo Rural-PI (APOIA-PI) was applied to measure the conformity to IP in peach orchards. The conformity index of each orchard was compared to the minimum requisite to classify as IP (0.7). The major difficulties in register of field book were: pests monitoring; collect of climate data and the harvest evaluation. The technical accompaniment increased in 60% the conformity in use of field book. In 2007/2008 season, the brown rot incidence increased in some areas, caused by not following IP recommendations. The inadequate management caused the increment in pathogen inoculum, promoting the disease development in peach orchards. The APOIA-PI classified two orchards as good agricultural practices (GAP) (0.7 <= conformity index >= 0.4), two as integrated production (IP) (>= 0.7) and the other orchards had conformity index lower than 0.4.

Optimization of preservative system in ophthalmic suspension with dexamethasone and polymyxin B

A simplex-lattice statistical project was employed to study an optimization method for a preservative system in an ophthalmic suspension of dexametasone and polymyxin B. The assay matrix generated 17 formulas which were differentiated by the preservatives and EDTA (disodium ethylene diamine-tetraacetate), being the independent variable: X-1 = chlorhexidine digluconate (0.010 % w/v); X-2 = phenylethanol (0.500 % w/v); X-3 = EDTA (0.100 % w/v). The dependent variable was the Dvalue obtained from the microbial challenge of the formulas and calculated when the microbial killing process was modeled by an exponential function. The analysis of the dependent variable, performed using the software Design Expert/W, originated cubic equations with terms derived from stepwise adjustment method for the challenging microorganisms: Pseudomonas aeruginosa, Burkholderia cepacia, Staphylococcus aureus, Candida albicans and Aspergillus niger. Besides the mathematical expressions, the response surfaces and the contour graphics were obtained for each assay. The contour graphs obtained were overlaid in order to permit the identification of a region containing the most adequate formulas (graphic strategy), having as representatives: X-1 = 0.10 ( 0.001 % w/v); X-2 = 0.80 (0.400 % w/v); X-3 = 0.10 (0.010 % w/v). Additionally, in order to minimize responses (Dvalue), a numerical strategy corresponding to the use of the desirability function was used, which resulted in the following independent variables combinations: X-1 = 0.25 (0.0025 % w/v); X-2 = 0.75 (0.375 % w/v); X-3 = 0. These formulas, derived from the two strategies (graphic and numerical), were submitted to microbial challenge, and the experimental Dvalue obtained was compared to the theoretical Dvalue calculated from the cubic equation. Both Dvalues were similar to all the assays except that related to Staphylococcus aureus. This microorganism, as well as Pseudomonas aeruginosa, presented intense susceptibility to the formulas independently from the preservative and EDTA concentrations. Both formulas derived from graphic and numerical strategies attained the recommended criteria adopted by the official method. It was concluded that the model proposed allowed the optimization of the formulas in their preservation aspect.

The formal representation of process system modelling assumptions and their implications

In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and methods for checking them are described. It is shown on a simple example how different modelling assumptions act on the model equations and their effect on the differential index of the resulted model is also indicated.

Impact of Nervous System Hyperalgesia on Pain, Disability, and Quality of Life in Patients With Knee Osteoarthritis: A Controlled Analysis

Objective. Refractory, disabling pain associated with knee osteoarthritis (OA) is usually treated with total knee replacement. However, pain in these patients might be associated with central nervous sensitization rather than peripheral inflammation and injury. We evaluated the presence of hyperalgesia in patients scheduled for a total knee replacement due to knee osteoarthritis with refractory pain, and we assessed the impact of pressure pain threshold measurements (PPT) on pain, disability, and quality of life of these patients. Methods. Sixty-two female patients were compared with 22 age-matched healthy controls without reported pain for the last year. PPT was measured at the lower extremities subcutaneous dermatomes, over the vastus medialis, adductor longus, rectus femoris, vastus lateralis, tibialis anterior, peroneus longus, iliacus, quadratus lumborum and popliteus muscles and at the supraspinous ligaments from L1-L5, over the L5-S1 and S1-S2 sacral areas and at the pes anserinus bursae and patellar tendon. Results. Patients with knee OA had significantly lower PPT over all evaluated structures versus healthy control subjects (P < 0.001). Lower PPT values were correlated with higher pain intensity, higher disability scores, and with poorer quality of life, except for the role-emotional and general health status. Combined PPT values over the patellar tendon, at the S2 subcutaneous dermatome and at the adductor longus muscle were the best predictors for visual analog scale and Western Ontario and McMaster Universities Osteoarthritis Index pain scores. Conclusion. Patients with pain due to osteoarthritis who were scheduled for total knee replacement showed hyperalgesia of nervous system origin that negatively impacted pain, knee functional capacity, and most aspects of quality of life.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

The Effect of Repetitive Pilot-Hole Use on the Insertion Torque and Pullout Strength of Vertebral System Screws

Study Design. In vitro biomechanical investigation of the screw-holding capacity. Objective. To evaluate the effect of repetitive screw-hole use on the insertional torque and retentive strength of vertebral system screws. Summary and Background Data. Placement and removal of vertebral system screws is sometimes necessary during the surgical procedures in order to assess the walls of the pilot hole. This procedure may compromise the holding capacity of the implant. Methods. Screws with outer diameter measuring 5, 6, and 7 mm were inserted into wood, polyurethane, polyethylene, and cancellous bone cylindrical blocks. The pilot holes were made with drills of a smaller, equal, or wider diameter than the inner screw diameter. Three experimental groups were established based on the number of insertions and reinsertions of the screws and subgroups were created according to the outer diameter of the screw and the diameter of the pilot hole used. Results. A reduction of screw-holding capacity was observed between the first and the following insertions regardless the anchorage material. The pattern of reduction of retentive strength was not similar to the pattern of torque reduction. The pullout strength was more pronounced between the first and the last insertions, while the torque decreased more proportionally from the first to the last insertions. Conclusion. Insertion and reinsertion of the screws of the vertebral fixation system used in the present study reduced the insertion torque and screw purchase.