Branching bisimulation games.

Branching bisimilarity and branching bisimilarity with explicit divergences are typically used in process algebras with silent steps when relating implementations to specifications. When an implementation fails to conform to its specification, i.e., when both are not related by branching bisimilarity [with explicit divergence], pinpointing the root causes can be challenging. In this paper, we provide characterisations of branching bisimilarity [with explicit divergence] as games between Spoiler and Duplicator, offering an operational understanding of both relations. Moreover, we show how such games can be used to assist in diagnosing non-conformance between implementation and specification.

RoMEO studies 7: creation of a controlled vocabulary to analyse copyright transfer agreements

This paper describes the process of creating a controlled vocabulary which can be used to systematically analyse the copyright transfer agreements (CTAs) of journal publishers with regard to self-archiving. The analysis formed the basis of the newly created Copyright Knowledge Bank of publishers’ self-archiving policies. Self-archiving terms appearing in publishers’ CTAs were identified and classified, with these then being simplified, merged, and discarded to form a definitive list. The controlled vocabulary consists of three categories that describe ‘what’ can be self-archived, the ‘conditions’ of self-archiving and the ‘restrictions’ of self-archiving. Condition terms include specifications such as ‘where’ an article can be self archived, restriction terms include specifications such as ‘when’ the article can be self archived. Additional information on any of these terms appears in ‘free-text’ fields. Although this controlled vocabulary provides an effective way of analysing CTAs, it will need to be continually reviewed and updated in light of any major new additions to the terms used in publishers’ copyright and self-archiving policies.

Analysis of cyclic variations during mode switching between spark ignition and controlled auto-ignition combustion operations

© IMechE 2014. Controlled auto-ignition, also known as homogeneous charge compression ignition, has been the subject of extensive research because of their ability to provide simultaneous reductions in fuel consumption and NOx emissions from a gasoline engine. However, due to its limited operation range, switching between controlled auto-ignition and spark ignition combustion is needed to cover the complete operating range of a gasoline engine for passenger car applications. Previous research has shown that the spark ignition -controlled auto-ignition hybrid combustion (SCHC) has the potential to control the ignition timing and heat release process during the mode transition operations. However, it was found that the SCHC is often characterized with large cycle-to-cycle variations. The cyclic variations in the in-cylinder pressure are particularly noticeable in terms of both their peak values and timings while the coefficient of variation in the indicated mean effective pressure is much less. In this work, the cyclic variations in SCHC operations were analyzed by means of in-cylinder pressure and heat release analysis in a single-cylinder gasoline engine equipped with Variable Valve Actuation (VVA) systems. First, characteristics of the in-cylinder pressure traces during the spark ignition-controlled auto-ignition hybrid combustion operation are presented and their heat release processes analyzed. In order to clarify the contribution to heat release and cyclic variation in SCHC, a new method is introduced to identify the occurrence of auto-ignition combustion and its subsequent heat release process. Based on the new method developed, the characteristics of cyclic variations in the maximum rate of pressure rise and different stages of heat release process have been analyzed and discussed.

Non chemical natural organic matter removal with a contact TiO2 process

Dissertação de Mestrado, Tecnologia dos Alimentos, Instituto Superior de Engenharia, Universidade do Algarve, 2014

Elemental Anisotropic Growth and Atomic-Scale Structure of Shape-Controlled Octahedral Pt–Ni–Co Alloy Nanocatalysts

Multimetallic shape-controlled nanoparticles offer great opportunities to tune the activity, selectivity, and stability of electrocatalytic surface reactions. However, in many cases, our synthetic control over particle size, composition, and shape is limited requiring trial and error. Deeper atomic-scale insight in the particle formation process would enable more rational syntheses. Here we exemplify this using a family of trimetallic PtNiCo nanooctahedra obtained via a low-temperature, surfactant-free solvothermal synthesis. We analyze the competition between Ni and Co precursors under coreduction “one-step” conditions when the Ni reduction rates prevailed. To tune the Co reduction rate and final content, we develop a “two-step” route and track the evolution of the composition and morphology of the particles at the atomic scale. To achieve this, scanning transmission electron microscopy and energy dispersive X-ray elemental mapping techniques are used. We provide evidence of a heterogeneous element distribution caused by element-specific anisotropic growth and create octahedral nanoparticles with tailored atomic composition like Pt1.5M, PtM, and PtM1.5 (M = Ni + Co). These trimetallic electrocatalysts have been tested toward the oxygen reduction reaction (ORR), showing a greatly enhanced mass activity related to commercial Pt/C and less activity loss than binary PtNi and PtCo after 4000 potential cycles.

Hydrothermal carbonization of lignocellulosic biomass: Effect of process conditions on hydrochar properties

Although hydrothermal carbonization of biomass components is known to be mainly governed by reaction temperature, consistent reports on the effect and statistical significance of process conditions on hydrochar properties are still lacking. The objective of this research was to determine the importance and significance of reaction temperature, retention time and solid load on the properties of hydrochar produced from an industrial lignocellulosic sludge residue. According to the results, reaction temperature and retention time had a statistically significant effect on hydrochar ash content, solid yield, carbon content, O/C-ratio, energy densification and energy yield as reactor solid load was statistically insignificant for all acquired models within the design range. Although statistically significant, the effect of retention time was 3–7 times lower than that of reaction temperature. Predicted dry ash-free solid yields of attained hydrochar decreased to approximately 40% due to the dissolution of biomass components at higher reaction temperatures, as respective oxygen contents were comparable to subbituminous coal. Significant increases in the carbon contents of hydrochar led to predicted energy densification ratios of 1–1.5 with respective energy yields of 60–100%. Estimated theoretical energy requirements of carbonization were dependent on the literature method used and mainly controlled by reaction temperature and reactor solid load. The attained results enable future prediction of hydrochar properties from this feedstock and help to understand the effect of process conditions on hydrothermal treatment of lignocellulosic biomass.

Electric Vehicle Battery Charger: Wireless Power Transfer System Controlled by Magnetic Core Reactor

This paper presents a control process and frequency adjustment based on the magnetic core reactor for electric vehicle battery charger. Since few decades ago, there have been significant developments in technologies used in wireless power transfer systems, namely in battery charger. In the wireless power transfer systems is essential that the frequency of the primary circuit be equal to the frequency of the secondary circuit so there is the maximum energy transfer. The magnetic core reactor allows controlling the frequencies on both sides of the transmission and reception circuits. Also, the assembly diagrams and test results are presented.

Modeling, Component Selection and Optimization of Servo-controlled Automatic Machinery

A servo-controlled automatic machine can perform tasks that involve synchronized actuation of a significant number of servo-axes, namely one degree-of-freedom (DoF) electromechanical actuators. Each servo-axis comprises a servo-motor, a mechanical transmission and an end-effector, and is responsible for generating the desired motion profile and providing the power required to achieve the overall task. The design of a such a machine must involve a detailed study from a mechatronic viewpoint, due to its electric and mechanical nature. The first objective of this thesis is the development of an overarching electromechanical model for a servo-axis. Every loss source is taken into account, be it mechanical or electrical. The mechanical transmission is modeled by means of a sequence of lumped-parameter blocks. The electric model of the motor and the inverter takes into account winding losses, iron losses and controller switching losses. No experimental characterizations are needed to implement the electric model, since the parameters are inferred from the data available in commercial catalogs. With the global model at disposal, a second objective of this work is to perform the optimization analysis, in particular, the selection of the motor-reducer unit. The optimal transmission ratios that minimize several objective functions are found. An optimization process is carried out and repeated for each candidate motor. Then, we present a novel method where the discrete set of available motor is extended to a continuous domain, by fitting manufacturer data. The problem becomes a two-dimensional nonlinear optimization subject to nonlinear constraints, and the solution gives the optimal choice for the motor-reducer system. The presented electromechanical model, along with the implementation of optimization algorithms, forms a complete and powerful simulation tool for servo-controlled automatic machines. The tool allows for determining a wide range of electric and mechanical parameters and the behavior of the system in different operating conditions.

Integration of the computer controlled screwdriver for Robotic manufacturing in the ROS environment

The computer controlled screwdriver is a modern technique to perform automatic screwing/unscrewing operations.The main focus is to study the integration of the computer controlled screwdriver for Robotic manufacturing in the ROS environment.This thesis describes a concept of automatic screwing mechanism composed by universal robots, in which one arm of the robot is for inserting cables and the other is for screwing the cables on the control panel switch gear box. So far this mechanism is carried out by human operators and is a fairly complex one to perform, due to the multiple cables and connections involved. It's for this reason that an automatic cabling and screwing process would be highly preferred within automotive/automation industries. A study is carried out to analyze the difficulties currently faced and a controller based algorithm is developed to replace the manual human efforts using universal robots, thereby allowing robot arms to insert the cables and screw them onto the control panel switch gear box. Experiments were conducted to evaluate the insertion and screwing strategy, which shows the result of inserting and screwing cables on the control panel switch gearbox precisely.

The Applicability Of Ordered Mesoporous Sba-15 And Its Hydrophobic Glutaraldehyde-bridge Derivative To Improve Ibuprofen-loading In Releasing System.

The mesoporous SBA-15 silica with uniform hexagonal pore, narrow pore size distribution and tuneable pore diameter was organofunctionalized with glutaraldehyde-bridged silylating agent. The precursor and its derivative silicas were ibuprofen-loaded for controlled delivery in simulated biological fluids. The synthesized silicas were characterized by elemental analysis, infrared spectroscopy, (13)C and (29)Si solid state NMR spectroscopy, nitrogen adsorption, X-ray diffractometry, thermogravimetry and scanning electron microscopy. Surface functionalization with amine containing bridged hydrophobic structure resulted in significantly decreased surface area from 802.4 to 63.0 m(2) g(-1) and pore diameter 8.0-6.0 nm, which ultimately increased the drug-loading capacity from 18.0% up to 28.3% and a very slow release rate of ibuprofen over the period of 72.5h. The in vitro drug release demonstrated that SBA-15 presented the fastest release from 25% to 27% and SBA-15GA gave near 10% of drug release in all fluids during 72.5 h. The Korsmeyer-Peppas model better fits the release data with the Fickian diffusion mechanism and zero order kinetics for synthesized mesoporous silicas. Both pore sizes and hydrophobicity influenced the rate of the release process, indicating that the chemically modified silica can be suggested to design formulation of slow and constant release over a defined period, to avoid repeated administration.

The Effect Of Soy Dietary Supplement And Low Dose Of Hormone Therapy On Main Cardiovascular Health Biomarkers: A Randomized Controlled Trial.

To assess the effects of a soy dietary supplement on the main biomarkers of cardiovascular health in postmenopausal women compared with the effects of low-dose hormone therapy (HT) and placebo. Double-blind, randomized and controlled intention-to-treat trial. Sixty healthy postmenopausal women, aged 40-60 years, 4.1 years mean time since menopause were recruited and randomly assigned to 3 groups: a soy dietary supplement group (isoflavone 90mg), a low-dose HT group (estradiol 1 mg plus noretisterone 0.5 mg) and a placebo group. Lipid profile, glucose level, body mass index, blood pressure and abdominal/hip ratio were evaluated in all the participants at baseline and after 16 weeks. Statistical analyses were performed using the χ2 test, Fisher's exact test, Kruskal-Wallis non-parametric test, analysis of variance (ANOVA), paired Student's t-test and Wilcoxon test. After a 16-week intervention period, total cholesterol decreased 11.3% and LDL-cholesterol decreased 18.6% in the HT group, but both did not change in the soy dietary supplement and placebo groups. Values for triglycerides, HDL-cholesterol, glucose level, body mass index, blood pressure and abdominal/hip ratio did not change over time in any of the three groups. The use of dietary soy supplement did not show any significant favorable effect on cardiovascular health biomarkers compared with HT. The trial is registered at the Brazilian Clinical Trials Registry (Registro Brasileiro de Ensaios Clínicos - ReBEC), number RBR-76mm75.

Applications Of Visual Evoked Potentials And Fourier-domain Optical Coherence Tomography In Parkinson's Disease: A Controlled Study.

The goal of this cross-sectional observational study was to quantify the pattern-shift visual evoked potentials (VEP) and the thickness as well as the volume of retinal layers using optical coherence tomography (OCT) across a cohort of Parkinson's disease (PD) patients and age-matched controls. Forty-three PD patients and 38 controls were enrolled. All participants underwent a detailed neurological and ophthalmologic evaluation. Idiopathic PD cases were included. Cases with glaucoma or increased intra-ocular pressure were excluded. Patients were assessed by VEP and high-resolution Fourier-domain OCT, which quantified the inner and outer thicknesses of the retinal layers. VEP latencies and the thicknesses of the retinal layers were the main outcome measures. The mean age, with standard deviation (SD), of the PD patients and controls were 63.1 (7.5) and 62.4 (7.2) years, respectively. The patients were predominantly in the initial Hoehn-Yahr (HY) disease stages (34.8% in stage 1 or 1.5, and 55.8 % in stage 2). The VEP latencies and the thicknesses as well as the volumes of the retinal inner and outer layers of the groups were similar. A negative correlation between the retinal thickness and the age was noted in both groups. The thickness of the retinal nerve fibre layer (RNFL) was 102.7 μm in PD patients vs. 104.2 μm in controls. The thicknesses of retinal layers, VEP, and RNFL of PD patients were similar to those of the controls. Despite the use of a representative cohort of PD patients and high-resolution OCT in this study, further studies are required to establish the validity of using OCT and VEP measurements as the anatomic and functional biomarkers for the evaluation of retinal and visual pathways in PD patients.

Association Of Lipophilic Opioids And Hyperbaric Bupivacaine In Spinal Anesthesia For Elective Cesarean Section. Randomized Controlled Study.

To evaluate the efficacy and side-effects of fentanyl and sufentanil combined with hyperbaric spinal bupivacaine in elective cesarean section. A prospective, randomized, double-blind study with 64 term parturients, distributed into 2 groups according to the opioid combined with hyperbaric bupivacaine 0.5% (10mg): GF - fentanyl (25 µg) and GS - sufentanil (5.0 µg). The latency and maximum sensory block level; degree and duration of motor block; duration and quality of analgesia; maternal-fetal repercussions were evaluated. This was an intention-to-treat analysis with a 5% significance level. The latency period, maximum sensory block level, motor block degree and perioperative analgesia were similar in both groups. Motor block and analgesia had a longer duration in the sufentanil group. Maternal adverse effects and neonatal repercussions were similar. The incidence of hypotension was higher in the fentanyl group. In both groups, there was a predominance of patients who were awake and either calm or sleepy. The addition of fentanyl and sufentanil to hyperbaric subarachnoid bupivacaine was shown to be effective for the performance of cesarean section, and safe for the mother and fetus. Analgesia was more prolonged with sufentanil.

[meanings Of The Sickening Process For Patients With Systemic Lupus Erythematosus: A Review Of The Literature.]

Systemic lupus erythematosus is an autoimmune disease that causes many psychological repercussions that have been studied through qualitative research. These are considered relevant, since they reveal the amplitude experienced by patients. Given this importance, this study aims to map the qualitative production in this theme, derived from studies of experiences of adult patients of both genders and that had used as a tool a semi-structured interview and/or field observations, and had made use of a sampling by a saturation criterion to determine the number of participants in each study. The survey was conducted in Pubmed, Lilacs, Psycinfo e Cochrane databases, searching productions in English and Portuguese idioms published between January 2005 and June 2012. The 19 revised papers that have dealt with patients in the acute phase of the disease showed themes that were categorized into eight topics that contemplated the experienced process at various stages, from the onset of the disease, extending through the knowledge of the diagnosis and the understanding of the manifestations of the disease, drug treatment and general care, evolution and prognosis. The collected papers also point to the difficulty of understanding, of the patients, on what consists the remission phase, revealing also that this is a clinical stage underexplored by psychological studies.