A measure of stability as a criterion for the verification and analysis of simulation models

The aim of this study is to define a new statistic, PVL, based on the relative distance between the likelihood associated with the simulation replications and the likelihood of the conceptual model. Our results coming from several simulation experiments of a clinical trial show that the PVL statistic range can be a good measure of stability to establish when a computational model verifies the underlying conceptual model. PVL improves also the analysis of simulation replications because only one statistic is associated with all the simulation replications. As well it presents several verification scenarios, obtained by altering the simulation model, that show the usefulness of PVL. Further simulation experiments suggest that a 0 to 20 % range may define adequate limits for the verification problem, if considered from the viewpoint of an equivalence test.

Simulation and analysis of an emergency lowering system for crane applications

An emergency lowering system for use in safety critical crane applications is discussed. The system is used to safely lower the payload of a crane in case of an electric blackout. The system is based on a backup power source, which is used to operate the crane while the regular supply is not available. The system enables both horizontal and vertical movements of the crane. Two different configurations for building the system are described, one with an uninterruptible power source (UPS) or a diesel generator connected in parallel to the crane’s power supply and one with a customized energy storage connected to the intermediate DC-link in the crane. In order to be able to size the backup power source, the power required during emergency lowering needs to be understood. A simulation model is used to study and optimize the power used during emergency lowering. The simulation model and optimizations are verified in a test hoist. Simulation results are presented with non-optimized and optimized controls for two example applications: a paper roll crane and a steel mill ladle crane. The optimizations are found to significantly reduce the required power for the crane movements during emergency lowering.

Detection and analysis of apoptosis in peripheral blood cells from breast cancer patients

Apoptosis is a well-known specific process of cell death that normally occurs in physiological situations such as tissue or organ development and involution. During tumor growth there is a balance between proliferation and cell death which involves apoptotic mechanisms. In the present study genomic DNAs from 120 breast tumor biopsies were analyzed by agarose gel electrophoresis and none of them presented the fragmentation pattern characteristic of the apoptosis process. However, 33% of the 105 breast cancer patients clearly showed the apoptotic pattern when DNA from blood cells was analyzed. None of the DNAs from healthy volunteer blood cells showed any trace of apoptosis. Since the breast cancer patients were not receiving chemo- or hormone therapy, the possible relationship between blood cortisol levels and the apoptotic pattern found in patient blood cells was investigated. Using a chemoluminescence immunodetection assay, similar cortisol levels were observed in breast cancer patient sera presenting or not apoptotic blood cells and in healthy volunteer sera. Analysis of the clinical data obtained from 60 of these patients showed that patients bearing tumors of smaller size (under 20 mm) were more susceptible to the apoptotic effect in blood cells. According to the Elston grade, it was observed that 7 of 12 patients with grade III tumors (58%) presented apoptotic peripheral blood cells, in contrast to 10 of 48 patients with grade I and grade II tumors. These observations may reflect the immunosuppression characteristic of some breast cancer patients, which may contribute to tumor growth. Therefore, further studies are necessary to elucidate the factor(s) involved in such massive blood cell death.

Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes

Nous présentons une nouvelle approche pour formuler et calculer le temps de séparation des événements utilisé dans l’analyse et la vérification de différents systèmes cycliques et acycliques sous des contraintes linéaires-min-max avec des composants ayant des délais finis et infinis. Notre approche consiste à formuler le problème sous la forme d’un programme entier mixte, puis à utiliser le solveur Cplex pour avoir les temps de séparation entre les événements. Afin de démontrer l’utilité en pratique de notre approche, nous l’avons utilisée pour la vérification et l’analyse d’une puce asynchrone d’Intel de calcul d’équations différentielles. Comparée aux travaux précédents, notre approche est basée sur une formulation exacte et elle permet non seulement de calculer le maximum de séparation, mais aussi de trouver un ordonnancement cyclique et de calculer les temps de séparation correspondant aux différentes périodes possibles de cet ordonnancement.

Solid state data acquisition and processing system (SSDAPS). Volume I: system summary and volume II: description, operation, and verification test report. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Work domain analysis for training-system definition and acquisition

Training-needs analysis is critical for defining and procuring effective training systems. However, traditional approaches to training-needs analysis are not suitable for capturing the demands of highly automated and computerized work domains. In this article, we propose that work domain analysis can identify the functional structure of a work domain that must be captured in a training system, so that workers can be trained to deal with unpredictable contingencies that cannot be handled by computer systems. To illustrate this argument, we outline a work domain analysis of a fighter aircraft that defines its functional structure in terms of its training objectives, measures of performance, basic training functions, physical functionality, and physical context. The functional structure or training needs identified by work domain analysis can then be used as a basis for developing functional specifications for training systems, specifically its design objectives, data collection capabilities, scenario generation capabilities, physical functionality, and physical attributes. Finally, work domain analysis also provides a useful framework for evaluating whether a tendered solution fulfills the training needs of a work domain.

Bone repair in mandibular body osteotomy after using 2.0 miniplate system - histological and histometric analysis in dogs

The objective of this study was to evaluate the bone repair along a mandibular body osteotomy after using a 2.0 miniplate system. Nine adult mongrel dogs were subjected to unilateral continuous defect through an osteotomy between the mandibular 3rd and 4th premolars. Two four-hole miniplates were placed in accordance with the Arbeitgeimeinschaft fur Osteosynthesefragen Manual. Miniplates adapted to the alveolar processes were fixed monocortically with 6.0-mm-length titanium alloy self-tapping screws, whereas miniplates placed near the mandible bases were fixed bicortically. At 2, 6 and 12 weeks, three dogs were sacrificed per period, and the osteotomy sites were removed, divided into three thirds (Tension Third, TT; Intermediary Third, IT; Compression Third, CT) and prepared for conventional and polarized light microscopy. At 6 weeks, while the CT repaired faster and showed bone union by woven bone formation, the TT and IT exhibited a ligament-like fibrous connective tissue inserted in, and connecting, newly formed woven bone overlying the parent lamellar bone edges. At 12 weeks, bone repair took place at all thirds. Histometrically, proportions of newly formed bone did not alter at TT, IT and CT, whereas significantly enhanced bone formation was observed for the 12-week group, irrespective of the third. The results demonstrated that although the method used to stabilize the mandibular osteotomy allowed bone repair to occur, differences in the dynamics of bone healing may take place along the osteotomy site, depending on the action of tension and compression forces generated by masticatory muscles.

Concrete Pavement Mixture Design and Analysis (MDA): Assessment of Air Void System Requirements for Durable Concrete, TPF-5(205), 2012

Concrete will suffer frost damage when saturated and subjected to freezing temperatures. Frost-durable concrete can be produced if a specialized surfactant, also known as an air-entraining admixture (AEA), is added during mixing to stabilize microscopic air voids. Small and well-dispersed air voids are critical to produce frost-resistant concrete. Work completed by Klieger in 1952 found the minimum volume of air required to consistently ensure frost durability in a concrete mixture subjected to rapid freezing and thawing cycles. He suggested that frost durability was provided if 18 percent air was created in the paste. This is the basis of current practice despite the tests being conducted on materials that are no longer available using tests that are different from those in use today. Based on the data presented, it was found that a minimum air content of 3.5 percent in the concrete and 11.0 percent in the paste should yield concrete durable in the ASTM C 666 with modern AEAs and low or no lignosulfonate water reducers (WRs). Limited data suggests that mixtures with a higher dosage of lignosulfonate will need about 1 percent more air in the concrete or 3 percent more air in the paste for the materials and procedures used. A spacing factor of 0.008 in. was still found to be necessary to provide frost durability for the mixtures investigated.

GIS-Based Accident Location and Analysis System (GIS-ALAS) Project Report: Phase 1, 1998

This report summarizes progress made in Phase 1 of the GIS-based Accident Location and Analysis System (GIS-ALAS) project. The GIS-ALAS project builds on several longstanding efforts by the Iowa Department of Transportation (DOT), law enforcement agencies, Iowa State University, and several other entities to create a locationally-referenced highway accident database for Iowa. Most notable of these efforts is the Iowa DOT’s development of a PC-based accident location and analysis system (PC-ALAS), a system that has been well received by users since it was introduced in 1989. With its pull-down menu structure, PC-ALAS is more portable and user-friendly than its mainframe predecessor. Users can obtain accident statistics for locations during specified time periods. Searches may be refined to identify accidents of specific types or involving drivers with certain characteristics. Output can be viewed on a computer screen, sent to a file, or printed using pre-defined formats.

Relation between sequence and structure of HIV-1 protease inhibitor complexes: a model system for the analysis of protein flexibility.

The flexibility of different regions of HIV-1 protease was examined by using a database consisting of 73 X-ray structures that differ in terms of sequence, ligands or both. The root-mean-square differences of the backbone for the set of structures were shown to have the same variation with residue number as those obtained from molecular dynamics simulations, normal mode analyses and X-ray B-factors. This supports the idea that observed structural changes provide a measure of the inherent flexibility of the protein, although specific interactions between the protease and the ligand play a secondary role. The results suggest that the potential energy surface of the HIV-1 protease is characterized by many local minima with small energetic differences, some of which are sampled by the different X-ray structures of the HIV-1 protease complexes. Interdomain correlated motions were calculated from the structural fluctuations and the results were also in agreement with molecular dynamics simulations and normal mode analyses. Implications of the results for the drug-resistance engendered by mutations are discussed briefly.

Generation and Characterization of Knockout Mice and Analysis of Patient Material Demonstrates a Role for Tissue Inhibitor of Metalloproteinases 4 (Timp4) in the Cardiovascular System and Tumor Metastasis

This thesis focuses on tissue inhibitor of metalloproteinases 4 (TIMP4) which is the newest member of a small gene and protein family of four closely related endogenous inhibitors of extracellular matrix (ECM) degrading enzymes. Existing data on TIMP4 suggested that it exhibits a more restricted expression pattern than the other TIMPs with high expression levels in heart, brain, ovary and skeletal muscle. These observations and the fact that the ECM is of special importance to provide the cardiovascular system with structural strength combined with elasticity and distensibility, prompted the present molecular biologic investigation on TIMP4. In the first part of the study the murine Timp4 gene was cloned and characterized in detail. The structure of murine Timp4 genomic locus resembles that in other species and of the other Timps. The highest Timp4 expression was detected in heart, ovary and brain. As the expression pattern of Timp4 gives only limited information about its role in physiology and pathology, Timp4 knockout mice were generated next. The analysis of Timp4 knockout mice revealed that Timp4 deficiency has no obvious effect on the development, growth or fertility of mice. Therefore, Timp4 deficient mice were challenged using available cardiovascular models, i.e. experimental cardiac pressure overload and myocardial infarction. In the former model, Timp4 deficiency was found to be compensated by Timp2 overexpression, whereas in the myocardial infarct model, Timp4 deficiency resulted in increased mortality due to increased susceptibility for cardiac rupture. In the wound healing model, Timp4 deficiency was shown to result in transient retardation of re-epithelialization of cutaneous wounds. Melanoma tumor growth was similar in Timp4 deficient and control mice. Despite of this, lung metastasis of melanoma cells was significantly increased in Timp4 null mice. In an attempt to translate the current findings to patient material, TIMP4 expression was studied in human specimens representing different inflammatory cardiovascular pathologies, i.e. giant cell arteritis, atherosclerotic coronary arteries and heart allografts exhibiting signs of chronic rejection. The results showed that cardiovascular expression of TIMP4 is elevated particularly in areas exhibiting inflammation. The results of the present studies suggest that TIMP4 has a special role in the regulation of tissue repair processes in the heart, and also in healing wounds and metastases. Furthermore, evidence is provided suggesting the usefulness of TIMP4 as a novel systemic marker for vascular inflammation.

PDM system functions and utilizations analysis to improve efficiency of sheet metal product design and manufacturing

This study will concentrate on Product Data Management (PDM) systems, and sheet metal design features and classification. In this thesis, PDM is seen as an individual system which handles all product-related data and information. The meaning of relevant data is to take the manufacturing process further with fewer errors. The features of sheet metals are giving more information and value to the designed models. The possibility of implementing PDM and sheet metal features recognition are the core of this study. Their integration should make the design process faster and manufacturing-friendly products easier to design. The triangulation method is the basis for this research. The sections of this triangle are: scientific literature review, interview using the Delphi method and the author’s experience and observations. The main key findings of this study are: (1) the area of focus in triangle (the triangle of three different point of views: business, information exchange and technical) depends on the person’s background and their role in the company, (2) the classification in the PDM system (and also in the CAD system) should be done using the materials, tools and machines that are in use in the company and (3) the design process has to be more effective because of the increase of industrial production, sheet metal blank production and the designer’s time spent on actual design and (4) because Design For Manufacture (DFM) integration can be done with CAD-programs, DFM integration with the PDM system should also be possible.

An Alternative Approach To Computer System Security Monitoring And Enhancement Through System Call Sequence Analysis

Modern computer systems are plagued with stability and security problems: applications lose data, web servers are hacked, and systems crash under heavy load. Many of these problems or anomalies arise from rare program behavior caused by attacks or errors. A substantial percentage of the web-based attacks are due to buffer overflows. Many methods have been devised to detect and prevent anomalous situations that arise from buffer overflows. The current state-of-art of anomaly detection systems is relatively primitive and mainly depend on static code checking to take care of buffer overflow attacks. For protection, Stack Guards and I-leap Guards are also used in wide varieties.This dissertation proposes an anomaly detection system, based on frequencies of system calls in the system call trace. System call traces represented as frequency sequences are profiled using sequence sets. A sequence set is identified by the starting sequence and frequencies of specific system calls. The deviations of the current input sequence from the corresponding normal profile in the frequency pattern of system calls is computed and expressed as an anomaly score. A simple Bayesian model is used for an accurate detection.Experimental results are reported which show that frequency of system calls represented using sequence sets, captures the normal behavior of programs under normal conditions of usage. This captured behavior allows the system to detect anomalies with a low rate of false positives. Data are presented which show that Bayesian Network on frequency variations responds effectively to induced buffer overflows. It can also help administrators to detect deviations in program flow introduced due to errors.

Slogger: a profiling and analysis system based on semantic web technologies

Increasingly, distributed systems are being used to host all manner of applications. While these platforms provide a relatively cheap and effective means of executing applications, so far there has been little work in developing tools and utilities that can help application developers understand problems with the supporting software, or the executing applications. To fully understand why an application executing on a distributed system is not behaving as would be expected it is important that not only the application, but also the underlying middleware, and the operating system are analysed too, otherwise issues could be missed and certainly overall performance profiling and fault diagnoses would be harder to understand. We believe that one approach to profiling and the analysis of distributed systems and the associated applications is via the plethora of log files generated at runtime. In this paper we report on a system (Slogger), that utilises various emerging Semantic Web technologies to gather the heterogeneous log files generated by the various layers in a distributed system and unify them in common data store. Once unified, the log data can be queried and visualised in order to highlight potential problems or issues that may be occurring in the supporting software or the application itself.

Evolution and analysis of the planning system and procedures of the Dominican Republic

Includes bibliography