Discrete Event Systems based Design Patterns for Diagnosability Analysis of Automated Manufacturing Systems

The main goal of this thesis is to facilitate the process of industrial automated systems development applying formal methods to ensure the reliability of systems. A new formulation of distributed diagnosability problem in terms of Discrete Event Systems theory and automata framework is presented, which is then used to enforce the desired property of the system, rather then just verifying it. This approach tackles the state explosion problem with modeling patterns and new algorithms, aimed for verification of diagnosability property in the context of the distributed diagnosability problem. The concepts are validated with a newly developed software tool.

Compressed sensing in digital tomosynthesis reconstruction

In this work we study a model for the breast image reconstruction in Digital Tomosynthesis, that is a non-invasive and non-destructive method for the three-dimensional visualization of the inner structures of an object, in which the data acquisition includes measuring a limited number of low-dose two-dimensional projections of an object by moving a detector and an X-ray tube around the object within a limited angular range. The problem of reconstructing 3D images from the projections provided in the Digital Tomosynthesis is an ill-posed inverse problem, that leads to a minimization problem with an object function that contains a data fitting term and a regularization term. The contribution of this thesis is to use the techniques of the compressed sensing, in particular replacing the standard least squares problem of data fitting with the problem of minimizing the 1-norm of the residuals, and using as regularization term the Total Variation (TV). We tested two different algorithms: a new alternating minimization algorithm (ADM), and a version of the more standard scaled projected gradient algorithm (SGP) that involves the 1-norm. We perform some experiments and analyse the performance of the two methods comparing relative errors, iterations number, times and the qualities of the reconstructed images. In conclusion we noticed that the use of the 1-norm and the Total Variation are valid tools in the formulation of the minimization problem for the image reconstruction resulting from Digital Tomosynthesis and the new algorithm ADM has reached a relative error comparable to a version of the classic algorithm SGP and proved best in speed and in the early appearance of the structures representing the masses.

An accuracy approach to robotic microsurgery in the ear

Concerns of rising healthcare costs and the ever increasing desire to improve surgical outcome have motivated the development of a new robotic assisted surgical procedure for the implantation of artificial hearing devices (AHDs). This paper describes our efforts to enable minimally invasive, cost effective surgery for the implantation of AHDs. We approach this problem with a fundamental goal to reduce errors from every component of the surgical workflow from imaging and trajectory planning to patient tracking and robot development. These efforts were successful in reducing overall system error to a previously unattained level.

Millennials: What Do We Really Know About Them?

While there are many articles in the popular press and practitioner journals concerning the Millennials (i.e., who they are and what we need to do about them), the academic literature on the subject is more limited. This chapter (1) extensively reviews this literature as published in practitioner, popular press, and academic journals across disciplines including psychology, sociology, management, human resources, and accounting education, and (2) surveys the generational study literature to determine what, if any, rigorous empirical studies exist to support (or refute) the existence of a distinct Millennial generational cohort. While the popular press is voluminous when it comes to avowed generational differences between Millennials and their predecessors, there is a paucity of peer-reviewed, academic, empirical work in the area and most of the latter suffers in some way from the overarching problem with generational research: the linear relationship between age, period, and generation that results in these variables being inherently entwined. However, even absent strong empirical evidence of a unique generational cohort, the literature offers extensive suggestions about what to do about the Millennials in our classrooms and work places. This paper better informs accounting faculty about the traits of the current generation of accounting students that are supported by empirical research versus claims made in the popular press. It argues for a more reasoned ‘‘continuous improvement’’ approach to Millennials while offering some classroom suggestions for accounting faculty members.

Hereditary hydrocephalus in laboratory-reared golden hamsters (Mesocricetus auratus)

A colony of golden hamsters had an ongoing problem with hydrocephalus. In an attempt to clear the colony of the problem, new breeders from another supplier had been purchased. At termination of a behavioral study, the brain was collected from 35 animals (four of which had died with hydrocephalus during the study) and was examined macroscopically and by light microscopy. Although no animals manifested obvious behavioral changes, 31 of 35 (88.6%, 13/15 males and 18/20 females in control and manipulated groups) had hydrocephalus. Twenty-five animals had macroscopically identifiable hydrocephalus, and six had hydrocephalus identified microscopically. Neither teratogenic concentrations of metals nor mycotoxins were detected in tissues or food, and sera from breeders tested negative for antibodies to Sendai virus, reovirus 3, and lymphocytic choriomeningitis virus. Trial matings of breeders expected to produce hydrocephalic offspring resulted in affected offspring, and mating of breeders expected to produce normal offspring resulted in normal or less-affected offspring. Hydrocephalus was confirmed retrospectively in some breeders. Hereditary hydrocephalus appears to be widespread in hamster stocks in Central Europe. Affected animals do not manifest signs of disease and usually die without obvious premonitory signs. Despite severe hydrocephalus, the animals can breed, and animal handlers do not identify motor deficits or abnormal behavioral activity. This entity is unlike the previously described, hereditary hydrocephalus of hamsters that is phenotypically identifiable and usually is lethal before they attain breeding age.

Vertebroplasty and kyphoplasty: a systematic review of 69 clinical studies

STUDY DESIGN: Systematic literature review. OBJECTIVE: To evaluate the safety and efficacy of vertebroplasty and kyphoplasty using the data presented in published clinical studies, with respect to patient pain relief, restoration of mobility and vertebral body height, complication rate, and incidence of new adjacent vertebral fractures. SUMMARY OF BACKGROUND DATA: Vertebroplasty and kyphoplasty have been gaining popularity for treating vertebral fractures. Current reviews provide an overview of the procedures but are not comprehensive and tend to rely heavily on personal experience. This article aimed to compile all available data and evaluate the clinical outcome of the 2 procedures. METHODS: This is a systematic review of all the available data presented in peer-reviewed published clinical trials. The methodological quality of included studies was evaluated, and data were collected targeting specific standard measurements. Where possible, a quantitative aggregation of the data was performed. RESULTS: A large proportion of subjects had some pain relief, including 87% with vertebroplasty and 92% with kyphoplasty. Vertebral height restoration was possible using kyphoplasty (average 6.6 degrees ) and for a subset of patients using vertebroplasty (average 6.6 degrees ). Cement leaks occurred for 41% and 9% of treated vertebrae for vertebroplasty and kyphoplasty, respectively. New fractures of adjacent vertebrae occurred for both procedures at rates that are higher than the general osteoporotic population but approximately equivalent to the general osteoporotic population that had a previous vertebral fracture. CONCLUSIONS: The problem with stating definitely that vertebroplasty and kyphoplasty are safe and effective procedures is the lack of comparative, blinded, randomized clinical trials. Standardized evaluative methods should be adopted.

Kernel Estimation of Rate Function for Recurrent Event Data

Recurrent event data are largely characterized by the rate function but smoothing techniques for estimating the rate function have never been rigorously developed or studied in statistical literature. This paper considers the moment and least squares methods for estimating the rate function from recurrent event data. With an independent censoring assumption on the recurrent event process, we study statistical properties of the proposed estimators and propose bootstrap procedures for the bandwidth selection and for the approximation of confidence intervals in the estimation of the occurrence rate function. It is identified that the moment method without resmoothing via a smaller bandwidth will produce curve with nicks occurring at the censoring times, whereas there is no such problem with the least squares method. Furthermore, the asymptotic variance of the least squares estimator is shown to be smaller under regularity conditions. However, in the implementation of the bootstrap procedures, the moment method is computationally more efficient than the least squares method because the former approach uses condensed bootstrap data. The performance of the proposed procedures is studied through Monte Carlo simulations and an epidemiological example on intravenous drug users.

Impact of working memory training on memory performance in old-old adults

Memory impairments constitute an increasing objective and subjective problem with advancing age. The aim of the present study was to investigate the impact of working memory training on memory performance. The authors trained a sample of 80-year-old adults twice weekly over a time period of 3 months. Participants were tested on 4 different memory measures before, immediately after, and 1 year after training completion. The authors found overall increased memory performance in the experimental group compared to an active control group immediately after training completion. This increase was especially pronounced in visual working memory performance and, to a smaller degree, also in visual episodic memory. No group differences were found 1 year after training completion. The results indicate that even in old?old adults, brain plasticity is strong enough to result in transfer effects, that is, performance increases in tasks that were not trained during the intervention.

Automated optimization of polymer extrusion dies using finite element analysis

An extrusion die is used to continuously produce parts with a constant cross section; such as sheets, pipes, tire components and more complex shapes such as window seals. The die is fed by a screw extruder when polymers are used. The extruder melts, mixes and pressures the material by the rotation of either a single or double screw. The polymer can then be continuously forced through the die producing a long part in the shape of the die outlet. The extruded section is then cut to the desired length. Generally, the primary target of a well designed die is to produce a uniform outlet velocity without excessively raising the pressure required to extrude the polymer through the die. Other properties such as temperature uniformity and residence time are also important but are not directly considered in this work. Designing dies for optimal outlet velocity variation using simple analytical equations are feasible for basic die geometries or simple channels. Due to the complexity of die geometry and of polymer material properties design of complex dies by analytical methods is difficult. For complex dies iterative methods must be used to optimize dies. An automated iterative method is desired for die optimization. To automate the design and optimization of an extrusion die two issues must be dealt with. The first is how to generate a new mesh for each iteration. In this work, this is approached by modifying a Parasolid file that describes a CAD part. This file is then used in a commercial meshing software. Skewing the initial mesh to produce a new geometry was also employed as a second option. The second issue is an optimization problem with the presence of noise stemming from variations in the mesh and cumulative truncation errors. In this work a simplex method and a modified trust region method were employed for automated optimization of die geometries. For the trust region a discreet derivative and a BFGS Hessian approximation were used. To deal with the noise in the function the trust region method was modified to automatically adjust the discreet derivative step size and the trust region based on changes in noise and function contour. Generally uniformity of velocity at exit of the extrusion die can be improved by increasing resistance across the die but this is limited by the pressure capabilities of the extruder. In optimization, a penalty factor that increases exponentially from the pressure limit is applied. This penalty can be applied in two different ways; the first only to the designs which exceed the pressure limit, the second to both designs above and below the pressure limit. Both of these methods were tested and compared in this work.

Hermitian curve interpolation for CT-data re-sampling

Purpose: Development of an interpolation algorithm for re‐sampling spatially distributed CT‐data with the following features: global and local integral conservation, avoidance of negative interpolation values for positively defined datasets and the ability to control re‐sampling artifacts. Method and Materials: The interpolation can be separated into two steps: first, the discrete CT‐data has to be continuously distributed by an analytic function considering the boundary conditions. Generally, this function is determined by piecewise interpolation. Instead of using linear or high order polynomialinterpolations, which do not fulfill all the above mentioned features, a special form of Hermitian curve interpolation is used to solve the interpolation problem with respect to the required boundary conditions. A single parameter is determined, by which the behavior of the interpolation function is controlled. Second, the interpolated data have to be re‐distributed with respect to the requested grid. Results: The new algorithm was compared with commonly used interpolation functions based on linear and second order polynomial. It is demonstrated that these interpolation functions may over‐ or underestimate the source data by about 10%–20% while the parameter of the new algorithm can be adjusted in order to significantly reduce these interpolation errors. Finally, the performance and accuracy of the algorithm was tested by re‐gridding a series of X‐ray CT‐images. Conclusion: Inaccurate sampling values may occur due to the lack of integral conservation. Re‐sampling algorithms using high order polynomialinterpolation functions may result in significant artifacts of the re‐sampled data. Such artifacts can be avoided by using the new algorithm based on Hermitian curve interpolation

Optimal game theoretic distributed control methodologies in small scale power systems

This dissertation presents the competitive control methodologies for small-scale power system (SSPS). A SSPS is a collection of sources and loads that shares a common network which can be isolated during terrestrial disturbances. Micro-grids, naval ship electric power systems (NSEPS), aircraft power systems and telecommunication system power systems are typical examples of SSPS. The analysis and development of control systems for small-scale power systems (SSPS) lacks a defined slack bus. In addition, a change of a load or source will influence the real time system parameters of the system. Therefore, the control system should provide the required flexibility, to ensure operation as a single aggregated system. In most of the cases of a SSPS the sources and loads must be equipped with power electronic interfaces which can be modeled as a dynamic controllable quantity. The mathematical formulation of the micro-grid is carried out with the help of game theory, optimal control and fundamental theory of electrical power systems. Then the micro-grid can be viewed as a dynamical multi-objective optimization problem with nonlinear objectives and variables. Basically detailed analysis was done with optimal solutions with regards to start up transient modeling, bus selection modeling and level of communication within the micro-grids. In each approach a detail mathematical model is formed to observe the system response. The differential game theoretic approach was also used for modeling and optimization of startup transients. The startup transient controller was implemented with open loop, PI and feedback control methodologies. Then the hardware implementation was carried out to validate the theoretical results. The proposed game theoretic controller shows higher performances over traditional the PI controller during startup. In addition, the optimal transient surface is necessary while implementing the feedback controller for startup transient. Further, the experimental results are in agreement with the theoretical simulation. The bus selection and team communication was modeled with discrete and continuous game theory models. Although players have multiple choices, this controller is capable of choosing the optimum bus. Next the team communication structures are able to optimize the players’ Nash equilibrium point. All mathematical models are based on the local information of the load or source. As a result, these models are the keys to developing accurate distributed controllers.

Developing Higher-level Cognitive Skills In a Fire Protection Course

In an ideal world, all instructors of safety and health courses would be masters of course subject matter as well as the theories and practices for effective teaching. In practice, however, most instructors are much stronger in one or the other. This paper provides an example of how some fundamental knowledge from educational experts can be useful for improving a traditional safety course. Is there a problem with the way traditional safety and health (S&H) courses are taught? It is asserted by this author that S&H education, in general, places too much emphasis on acquisition and comprehension of facts at the expense of helping students develop higher-level cognitive abilities. This paper explains the basis for the assertion and reports an experience upgrading a traditional fire protection course to include more assignments involving the higher-level ability known in the education community as synthesis.

Laser wavelengths and oral implantology

In modern implant dentistry there are several clinical indications for laser surgery. Different laser systems have a considerable spectrum of application in soft and hard peri-implant tissues. The literature was searched for clinical application of different laser wavelengths in peri-implant tissues: second-stage surgery of submerged implants, treatment of infrabony defects, removal of peri-implant hyperplastic overgrowths, and, possibly, the preparation of bone cavities for implant placement. This report describes the state-of-the-art application of different laser systems in modern implant dentistry for the treatment of peri-implant lesions and decontamination of implant surfaces. Our study evaluated in vitro examinations, clinical experience and long-term clinical studies. The exact selection of the appropriate laser system and wavelength was dependent on the scientific evaluation of recent literature and the level of changes in implant and tissue temperatures during laser application. The significant reduction in bacteria on the implant surface and the peri-implant tissues during irradiation and the cutting effects associated with the coagulation properties of the lasers are the main reasons for laser application in the treatment of peri-implant lesions and the successful long-term prognosis of failing oral implants. The various applications of lasers in implant dentistry are dependent on the wavelength and laser-tissue interactions.

Reduced bone breakage and increased bone strength in free range laying hens fed omega-3 polyunsaturated fatty acid supplemented diets

INTRODUCTION The omega-3 and omega-6 polyunsaturated fatty acids (PUFAs) are the immediate precursors to a number of important mediators of immunity, inflammation and bone function, with products of omega-6 generally thought to promote inflammation and favour bone resorption. Western diets generally provide a 10 to 20-fold deficit in omega-3 PUFAs compared with omega-6, and this is thought to have contributed to the marked rise in incidence of disorders of modern human societies, such as heart disease, colitis and perhaps osteoporosis. Many of our food production animals, fed on grains rich in omega-6, are also exposed to a dietary deficit in omega-3, with perhaps similar health consequences. Bone fragility due to osteoporotic changes in laying hens is a major economic and welfare problem, with our recent estimates of breakage rates indicating up to 95% of free range hens suffer breaks during lay. METHODS Free range hens housed in full scale commercial systems were provided diets supplemented with omega-3 alpha linolenic acid, and the skeletal benefits were investigated by comparison to standard diets rich in omega-6. RESULTS There was a significant 40-60% reduction in keel bone breakage rate, and a corresponding reduction in breakage severity in the omega-3 supplemented hens. There was significantly greater bone density and bone mineral content, alongside increases in total bone and trabecular volumes. The mechanical properties of the omega-3 supplemented hens were improved, with strength, energy to break and stiffness demonstrating significant increases. Alkaline phosphatase (an osteoblast marker) and tartrate-resistant acid phosphatase (an osteoclast marker) both showed significant increases with the omega-3 diets, indicating enhanced bone turnover. This was corroborated by the significantly lower levels of the mature collagen crosslinks, hydroxylysyl pyridinoline, lysyl pyridinoline and histidinohydroxy-lysinonorleucine, with a corresponding significant shift in the mature:immature crosslink ratio. CONCLUSIONS The improved skeletal health in laying hens corresponds to as many as 68million fewer hens suffering keel fractures in the EU each year. The biomechanical and biochemical evidence suggests that increased bone turnover has enhanced the bone mechanical properties, and that this may suggest potential benefits for human osteoporosis.

The ethnolinguistic identity of the domesticators of Asian rice

Linguistic palaeontology permits the identification of two language families whose linguistic ancestors pose the likeliest candidates for the original domesticators of rice, viz. Hmong-Mien and Austroasiatic. In the 2009 model, the ancient Hmong-Mien was identified as the primary domesticators of Asian rice, and the ancient Austroasiatics as the secondary domesticators. Recent rice genetic research leads to the modification of this model for rice domestication, but falls short of identifying the original locus of rice domestication. At the same time, the precise whereabouts of the Austroasiatic homeland remains disputed. Linguistic evidence unrelated to rice agriculture has been adduced to support a southern homeland for Austroasiatic somewhere within the Bay of Bengal littoral. The implications of new rice genetic research are discussed, the linguistic palaeontological evidence is reassessed, and an enduring problem with the archaeology of rice agriculture is highlighted.