An Adaptive Remeshing Procedure for Proximity Maneuvering Spacecraft Formations

We consider a methodology to optimally obtain reconfigurations of spacecraft formations. It is based on the discretization of the time interval in subintervals (called the mesh) and the obtainment of local solutions on them as a result of a variational method. Applied to a libration point orbit scenario, in this work we focus on how to find optimal meshes using an adaptive remeshing procedure and on the determination of the parameter that governs it

FY 2016 Iowa Criminal and Juvenile Justice Annual Plan Update, December 1, 2015

The following report will initially provide a brief review of the criminal and juvenile justice system’s long-range and five-year goals established by CJJP. The report will then provide an overview of current initiatives helping to achieve these goals. Some initiatives have associated information which can be found on the CJJP website and are identified within this report.

A Multi-Project Scheduling Procedure for Transportation Projects, Final Report, HR-339, 1993

This report proposes, that for certain types of highway construction projects undertaken by the Iowa Department of Transportation, a scheduling technique commonly referred to as linear scheduling may be more effective than the Critical Path Method scheduling technique that is currently being used. The types of projects that appear to be good candidates for the technique are those projects that have a strong linear orientation. Like a bar chart, this technique shows when an activity is scheduled to occur and like a CPM schedule it shows the sequence in which activities are expected to occur. During the 1992 construction season, the authors worked with an inlay project on Interstate 29 to demonstrate the linear scheduling technique to the Construction Office. The as-planned schedule was developed from the CPM schedule that the contractor had developed for the project. Therefore, this schedule represents what a linear representation of a CPM schedule would look like, and not necessarily what a true linear schedule would look like if it had been the only scheduling technique applied to the project. There is a need to expand the current repertoire of scheduling techniques to address those projects for which the bar chart and CPM may not be appropriate either because of the lack of control information or due to overly complex process for the actual project characteristics. The scheduling approaches used today on transportation projects have many shortcomings for properly modeling the real world constraints and conditions which are encountered. Linear project's predilection for activities with variable production rates, a concept very difficult to handle with the CPM, is easily handled and visualized with the linear technique. It is recommended that work proceed with the refinement of the method of linear scheduling described above and the development of a microcomputer based system for use by the Iowa Department of Transportation and contractors for its implementation. The system will be designed to provide the information needed to adjust schedules in a rational understandable method for monitoring progress on the projects and alerting Iowa Department of Transportation personnel when the contractor is deviating from the plan.

Bone propeller flap: a staged procedure.

The ideal reconstruction technique for complex defects of the lower limb consists of replacing tissue with similar tissue in an attempt to achieve a good functional result. A 23-year-old white male sustained a crush injury with a grade IIIB open ankle dislocation. After open reduction and fixation, the patient developed severe osteomyelitis at the tibiotalar joint requiring a staged and radical debridement with a substantial combined soft tissue and bony defect over the distal tibia, fibula, and talus area. The reconstructive approach consisted of a modified model of the propeller flap, implementing the spare part concept in a 2-stage procedure using a prefabricated and vascularized "double-barrel" fibular graft. At 17 months postoperatively, a plain radiograph showed bony union with complete and stable coverage of the soft tissue defect. The patient was fully weightbearing. In conclusion, there is evidence to suggest that the established concept of a soft tissue propeller flap can be implemented on bone.

Accreditation of forensic pathology service: a priviledge or a nightmare?

Forensic experts play a major role in the legal process as they offer professional expert opinion and evidence within the criminal justice system adjudicating on the innocence or alleged guilt of an accused person. In this respect medico-legal examination is an essential part of the investigation process, determining in a scientific way, the cause(s) and manner of unexpected and/or unnatural death or bringing clinical evidence in case of physical, psychological or sexual abuse in living people. From a legal perspective, these types of investigation must meet international standards i-e it should be independent, effective and prompt. Ideally the investigations should be conducted by board certified experts in forensic medicine, endowed with a solid experience in this field, without any hierarchical relationship with the prosecuting authorities and having access to appropriate facilities in order to provide forensic reports of high quality. In this respect, there is a need for any private or public national or international authority including non-governmental organisations seeking experts qualified in forensic medicine,to have at disposal a list of specialists working in accordance with high standards of professional performance within forensic pathology services that have been successfully submitted to an official accreditation/certification process using valid and acceptable criteria. To reach this goal the National Association of Medical examiners (NAME) has elaborated an accreditation/certification check-list which should be served as decision-making support to assist inspectors appointed to evaluate applicants. In the same spirit than NAME Accreditation Standards, ECLM board decided to set up an ad hoc working group with the mission to elaborate an accreditation/certification procedure similar to the NAME's one but taking into account the realities of forensic medicine practices in Europe and restricted to post-mortem investigations. This accreditation process applies to services and not to individual practitioners by emphasizing policies and procedures rather than professional performance. In addition the standards to be complied with should be considered as the minimum standards needed to get the recognition of performing and reliable forensic pathology service.

Optimization of the procedure for removing iron deposits on ceramic filter media

In this thesis, cleaning of ceramic filter media was studied. Mechanisms of fouling and dissolution of iron compounds, as well as methods for cleaning ceramic membranes fouled by iron deposits were studied in the literature part. Cleaning agents and different methods were closer examined in the experimental part of the thesis. Pyrite is found in the geologic strata. It is oxidized to form ferrous ions Fe(II) and ferric ions Fe(III). Fe(III) is further oxidized in the hydrolysis to form ferric hydroxide. Hematite and goethite, for instance, are naturally occurring iron oxidesand hydroxides. In contact with filter media, they can cause severe fouling, which common cleaning techniques competent enough to remove. Mechanisms for the dissolution of iron oxides include the ligand-promoted pathway and the proton-promoted pathway. The dissolution can also be reductive or non-reductive. The most efficient mechanism is the ligand-promoted reductive mechanism that comprises two stages: the induction period and the autocatalytic dissolution.Reducing agents(such as hydroquinone and hydroxylamine hydrochloride), chelating agents (such as EDTA) and organic acids are used for the removal of iron compounds. Oxalic acid is the most effective known cleaning agent for iron deposits. Since formulations are often more effective than organic acids, reducing agents or chelating agents alone, the citrate¿bicarbonate¿dithionite system among others is well studied in the literature. The cleaning is also enhanced with ultrasound and backpulsing.In the experimental part, oxalic acid and nitric acid were studied alone andin combinations. Also citric acid and ascorbic acid among other chemicals were tested. Soaking experiments, experiments with ultrasound and experiments for alternative methods to apply the cleaning solution on the filter samples were carried out. Permeability and ISO Brightness measurements were performed to examine the influence of the cleaning methods on the samples. Inductively coupled plasma optical emission spectroscopy (ICP-OES) analysis of the solutions was carried out to determine the dissolved metals.

A novel procedure for establishing clinching parameters for high strength steel sheet

The building industry has a particular interest in using clinching as a joining method for frame constructions of light-frame housing. Normally many clinch joints are required in joining of frames.In order to maximise the strength of the complete assembly, each clinch joint must be as sound as possible. Experimental testing is the main means of optimising a particular clinch joint. This includes shear strength testing and visual observation of joint cross-sections. The manufacturers of clinching equipment normally perform such experimental trials. Finite element analysis can also be used to optimise the tool geometry and the process parameter, X, which represents the thickness of the base of the joint. However, such procedures require dedicated software, a skilled operator, and test specimens in order to verify the finite element model. In addition, when using current technology several hours' computing time may be necessary. The objective of the study was to develop a simple calculation procedure for rapidly establishing an optimum value for the parameter X for a given tool combination. It should be possible to use the procedure on a daily basis, without stringent demands on the skill of the operator or the equipment. It is also desirable that the procedure would significantly decrease thenumber of shear strength tests required for verification. The experimental workinvolved tests in order to obtain an understanding of the behaviour of the sheets during clinching. The most notable observation concerned the stage of the process in which the upper sheet was initially bent, after which the deformation mechanism changed to shearing and elongation. The amount of deformation was measured relative to the original location of the upper sheet, and characterised as the C-measure. By understanding in detail the behaviour of the upper sheet, it waspossible to estimate a bending line function for the surface of the upper sheet. A procedure was developed, which makes it possible to estimate the process parameter X for each tool combination with a fixed die. The procedure is based on equating the volume of material on the punch side with the volume of the die. Detailed information concerning the behaviour of material on the punch side is required, assuming that the volume of die does not change during the process. The procedure was applied to shear strength testing of a sample material. The sample material was continuously hot-dip zinc-coated high-strength constructional steel,with a nominal thickness of 1.0 mm. The minimum Rp0.2 proof stress was 637 N/mm2. Such material has not yet been used extensively in light-frame housing, and little has been published on clinching of the material. The performance of the material is therefore of particular interest. Companies that use clinching on a daily basis stand to gain the greatest benefit from the procedure. By understanding the behaviour of sheets in different cases, it is possible to use data at an early stage for adjusting and optimising the process. In particular, the functionality of common tools can be increased since it is possible to characterise the complete range of existing tools. The study increases and broadens the amount ofbasic information concerning the clinching process. New approaches and points of view are presented and used for generating new knowledge.

A mathematical study of fuzzy logic; an algebraic approach

Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.

La nueva política criminal de la seguridad vial. Reflexiones a propósito de la LO 15/2007, de 30 de noviembre, y del Proyecto de Reforma del Código Penal

La reforma de los delitos contra la seguridad en el tráfico operada por LO 15/2007, de 30 de noviembre, constituye la expresión de un programa político-criminal de más amplio alcance, presente en el Proyecto de Reforma del Código Penal de 2007. En este trabajo se exponen las causas de la emergencia del nuevo derecho penal de la seguridad vial a la luz del paradi gma explicativo que ofrece el derecho penal postmoderno del riesgo -sometido aquí a necesarios ajustes- y se ofrece un análisis crítico de dos de los nuevos tipos: la conducción a velocidad por encima de determinados límites (art. 379.1) y la conducción con concentraciones de alcohol en aire espirado o en sangre superiores a determinadas tasas (0.6 mgr. o 1,2 gr. respectivamente) –art. 379.2-. Igualmente se analiza la propuesta del Proyecto de Reforma del Código de elevar a la categoría de delito las imprudencias leves con resultado de muerte. Tres piezas clave de un programa que trasluce una gran desconfianza hacia el estamento judicial y un optimismo infundado en las posibilidades del derecho penal para reducir eficazmente la siniestralidad vial.