Modular transactional memory

Software transactional memory has the potential to greatly simplify development of concurrent software, by supporting safe composition of concurrent shared-state abstractions. However, STM semantics are defined in terms of low-level reads and writes on individual memory locations, so implementations are unable to take advantage of the properties of user-defined abstractions. Consequently, the performance of transactions over some structures can be disappointing. ----- ----- We present Modular Transactional Memory, our framework which allows programmers to extend STM with concurrency control algorithms tailored to the data structures they use in concurrent programs. We describe our implementation in Concurrent Haskell, and two example structures: a finite map which allows concurrent transactions to operate on disjoint sets of keys, and a non-deterministic channel which supports concurrent sources and sinks. ----- ----- Our approach is based on previous work by others on boosted and open-nested transactions, with one significant development: transactions are given types which denote the concurrency control algorithms they employ. Typed transactions offer a higher level of assurance for programmers reusing transactional code, and allow more flexible abstract concurrency control.

Optimal track access rights allocation for agent negotiation in an open railway market

In open railway access markets, a train service provider (TSP) negotiates with an infrastructure provider (IP) for track access rights. This negotiation has been modeled by a multi-agent system (MAS) in which the IP and TSP are represented by separate software agents. One task of the IP agent is to generate feasible (and preferably optimal) track access rights, subject to the constraints submitted by the TSP agent. This paper formulates an IP-TSP transaction and proposes a branch-and-bound algorithm for the IP agent to identify the optimal track access rights. Empirical simulation results show that the model is able to emulate rational agent behaviors. The simulation results also show good consistency between timetables attained from the proposed methods and those derived by the scheduling principles adopted in practice.

Estimation and control for an open-source quadcopter

This paper describes modelling, estimation and control of the horizontal translational motion of an open-source and cost effective quadcopter — the MikroKopter. We determine the dynamics of its roll and pitch attitude controller, system latencies, and the units associated with the values exchanged with the vehicle over its serial port. Using this we create a horizontal-plane velocity estimator that uses data from the built-in inertial sensors and an onboard laser scanner, and implement translational control using a nested control loop architecture. We present experimental results for the model and estimator, as well as closed-loop positioning.

Mixed convection flow of micropolar fluid in an open ended arc-shape cavity

Numerical simulations for mixed convection of micropolar fluid in an open ended arc-shape cavity have been carried out in this study. Computation is performed using the Alternate Direct Implicit (ADI) method together with the Successive Over Relaxation (SOR) technique for the solution of governing partial differential equations. The flow phenomenon is examined for a range of values of Rayleigh number, 102 ≤ Ra ≤ 106, Prandtl number, 7 ≤ Pr ≤ 50, and Reynolds number, 10 ≤ Re ≤ 100. The study is mainly focused on how the micropolar fluid parameters affect the fluid properties in the flow domain. It was found that despite the reduction of flow in the core region, the heat transfer rate increases, whereas the skin friction and microrotation decrease with the increase in the vortex viscosity parameter, Δ.

System identification, estimation and control for a cost effective open-source quadcopter

This paper describes system identification, estimation and control of translational motion and heading angle for a cost effective open-source quadcopter — the MikroKopter. The dynamics of its built-in sensors, roll and pitch attitude controller, and system latencies are determined and used to design a computationally inexpensive multi-rate velocity estimator that fuses data from the built-in inertial sensors and a low-rate onboard laser range finder. Control is performed using a nested loop structure that is also computationally inexpensive and incorporates different sensors. Experimental results for the estimator and closed-loop positioning are presented and compared with ground truth from a motion capture system.

Hybrid chalcogenide nanoparticles : 2D-WS2 nanocrystals inside nested WS2 fullerenes

The MOCVD assisted formation of nested WS2 inorganic fullerenes (IF-WS2) was performed by enhancing surface diffusion with iodine, and fullerene growth was monitored by taking TEM snapshots of intermediate products. The internal structure of the core-shell nanoparticles was studied using scanning electron microscopy (SEM) after cross-cutting with a focused ion beam (FIB). Lamellar reaction intermediates were found occluded in the fullerene particles. In contrast to carbon fullerenes, layered metal chalcogenides prefer the formation of planar, plate-like structures where the dangling bonds at the edges are stabilized by excess S atoms. The effects of the reaction and annealing temperatures on the composition and morphology of the final product were investigated, and the strength of the WS2 shell was measured by intermittent contact-mode AFM. The encapsulated lamellar structures inside the hollow spheres may lead to enhanced tribological activities.

Effectiveness of an emergency nurse practitioner service for adults presenting to rural hospitals with chest pain : Protocol for a multicentre, longitudinal nested cohort study

Introduction Chest pain is common in emergency department (ED) patients and represents a considerable burden for rural health services. Health services reforms to improve access to care need appropriately skilled and supported clinicians in the delivery of safe and effective care, including the use of emergency nurse practitioners (ENPs). Despite increasing use of ENPs, little is known about the safety and quality of the service in the rural ED context. The aims of this study are (1) to examine the safety and quality of the ENP service model in the provision of care in the rural environment and (2) to evaluate the effectiveness of the service in the management of patients presenting with undifferentiated chest pain. Methods and analysis This is the protocol for a prospective longitudinal nested cohort study to compare the effectiveness of ENP service with that of standard care. Adults presenting to three rural EDs in Queensland, Australia with a primary presenting complaint of atraumatic chest pain will be eligible for enrolment. We will measure (1) clinician's use of evidence-based guidelines (2) diagnostic accuracy of ECG interpretation for the management of patients with suspected or confirmed ACS (3) service indicators of waiting times, length-of-stay and did-not-wait rates and (4) clinician's diagnostic accuracy as measured by rates of unplanned representation within 7 days (5) satisfaction with care, (6) quality-of-life and (7) functional status. To assess these outcomes we will use a combination of measures collected from routinely collected data, medical record review and questionnaires (with 30-day follow-up). Ethics and dissemination Queensland Health Human Research Ethics Committee (HREC) has approved this protocol. The results will be published in peer-reviewed scientific journals and presented at one or more scientific conferences.

A Dual Seven-Level Inverter Supply for an Open-End Winding Induction Motor Drive

This paper develops a seven-level inverter structure for open-end winding induction motor drives. The inverter supply is realized by cascading four two-level and two three-level neutral-point-clamped inverters. The inverter control is designed in such a way that the common-mode voltage (CMV) is eliminated. DC-link capacitor voltage balancing is also achieved by using only the switching-state redundancies. The proposed power circuit structure is modular and therefore suitable for fault-tolerant applications. By appropriately isolating some of the inverters, the drive can be operated during fault conditions in a five-level or a three-level inverter mode, with preserved CMV elimination and DC-link capacitor voltage balancing, within a reduced modulation range.

Synthesis, structure, transformation studies and catalytic properties of open-framework cadmium thiosulfate compounds

Five new thiosulfate based inorganic-organic hybrid open-framework compounds have been synthesized employing mild reaction conditions. Of the five compounds, [Na-2(H2O)(8)][Cd(C10H8N2)( S2O3)(2)]center dot 2H(2)O, I and [Cd-2(C10H8N2)(2)(HS2O3)(2)(S2O3)(2)][(C10H9N2)(2)(C10H8N2)(2)]center dot 8H(2)O, II have one-dimensional (1D) structures and [Cd(C10H8N2)(H2O)(2)(S2O3)]center dot 2H(2)O, III, [Cd-2(C10H8N2)(3)(S2O3)(2)], IV and [Cd-2(C10H8N2)(2.5)(S2O3)(2)], V have three- dimensional (3D) structures. The 1D structures are somewhat related, formed by the bonding between tetrahedral Cd centers (CdN2S2) and 4,4'-bipyridine (bpy) units. The inter-chain spaces are occupied by the hanging thiosulfate units in both the cases along with Na(H2O)(6) chains in I and free bpy units in II. The three 3D structures have one-dimensional cadmium thiosulfate chains linked by bpy units. Interpenetration has been observed in all the 3D structures. The 3D structures appear to be related and can be derived from fgs net. Transformation studies on the 1D compound, [Na-2(H2O)(8)][Cd(C10H8N2)(S2O3)(2)]center dot 2H(2)O, I, indicated a facile formation of [Cd(C10H8N2)(H2O)(2)(S2O3)]center dot 2H(2)O, III. Prolonged heating of I gave rise to a 3D cadmium sulfate phase, [Cd-2(C10H8N2)(2)(H2O)(3)(SO4)(2)]center dot 2H(2)O, VI. Compound VI has one-dimensional cadmium sulfate chains formed by six-membered rings connected by bpy units to form a 3D structure, which appears to resemble the topological arrangement of III. Transformation studies of III indicates the formation of IV and V, and at a higher temperature a new 3D cadmium sulfate, [Cd(C10H8N2)(SO4)], VII. Compound VII has a 4 x 4 grid cadmium sulfate layers pillared by bpy units. All the compounds were characterized by PXRD, TGA, IR and UV-visible studies. Preliminary studies on the possible use of the 3D compounds (III-VII) in heterogeneous cyanosilylation of imines appear to be promising.

A Hybrid Multilevel Inverter Topology for an Open-End Winding Induction-Motor Drive Using Two-Level Inverters in Series With a Capacitor-Fed H-Bridge Cell

In this paper, a new five-level inverter topology for open-end winding induction-motor (IM) drive is proposed. The open-end winding IM is fed from one end with a two-level inverter in series with a capacitor-fed H-bridge cell, while the other end is connected to a conventional two-level inverter. The combined inverter system produces voltage space-vector locations identical to that of a conventional five-level inverter. A total of 2744 space-vector combinations are distributed over 61 space-vector locations in the proposed scheme. With such a high number of switching state redundancies, it is possible to balance the H-bridge capacitor voltages under all operating conditions including overmodulation region. In addition to that, the proposed topology eliminates 18 clamping diodes having different voltage ratings compared with the neutral point clamped inverter. On the other hand, it requires only one capacitor bank per phase, whereas the flying-capacitor scheme for a five-level topology requires more than one capacitor bank per phase. The proposed inverter topology can be operated as a three-level inverter for full modulation range, in case of any switch failure in the capacitor-fed H-bridge cell. This will increase the reliability of the system. The proposed scheme is experimentally verified on a four-pole 5-hp IM drive.

An open-framework zincoborate formed by Zn6B12O24 clusters

A novel zincoborate, Zn(H2O)B2O4.xH(2)O (xapproximate to0.12), I, with open architecture has been synthesized hydrothermally. The 3-dimensional structure is built up of Zn6B12O24 clusters formed by the capping of the polycyclic borate anion, B12O2412-, by Zn3O3 clusters. The open-framework structure of I has one-dimensional 8-membered channels wherein the water molecules reside. Formation of trimeric Zn3O3 clusters as well as the presence of boron in dual coordination, both triangular and tetrahedral, are important structural features of this new zincoborate.

Fast Direct Torque Control of an Open-End Induction Motor Drive Using 12-Sided Polygonal Voltage Space Vectors

A torque control scheme, based on a direct torque control (DTC) algorithm using a 12-sided polygonal voltage space vector, is proposed for a variable speed control of an open-end induction motor drive. The conventional DTC scheme uses a stator flux vector for the sector identification and then the switching vector to control stator flux and torque. However, the proposed DTC scheme selects switching vectors based on the sector information of the estimated fundamental stator voltage vector and its relative position with respect to the stator flux vector. The fundamental stator voltage estimation is based on the steady-state model of IM and the synchronous frequency of operation is derived from the computed stator flux using a low-pass filter technique. The proposed DTC scheme utilizes the exact positions of the fundamental stator voltage vector and stator flux vector to select the optimal switching vector for fast control of torque with small variation of stator flux within the hysteresis band. The present DTC scheme allows full load torque control with fast transient response to very low speeds of operation, with reduced switching frequency variation. Extensive experimental results are presented to show the fast torque control for speed of operation from zero to rated.

Self Repair in Circuits-Automating Open Fault Repair in Integrated Circuits Using Field-Induced Aggregation of Carbon Nanotubes

This paper presents studies on the use of carbon nanotubes dispersed in an insulating fluid to serve as an automaton for healing open-circuit interconnect faults in integrated circuits. The physics behind the repair mechanism is the electric-field-induced diffusion limited aggregation. On the occurrence of an open fault, the repair is automatically triggered due to the presence of an electric field across the gap. We perform studies on the repair time as a function of the electric field and dispersion concentrations with the above application in mind.

A nine-level inverter topology for medium-voltage induction motor drive with open-end stator winding

A new scheme for nine-level voltage space-vector generation for medium-voltage induction motor (IM) drives with open-end stator winding is presented in this paper. The proposed nine-level power converter topology consists of two conventional three-phase two-level voltage source inverters powered by isolated dc sources and six floating-capacitor-connected H-bridges. The H-bridge capacitor voltages are effectively maintained at the required asymmetrical levels by employing a space vector modulation (SVPWM) based control strategy. An interesting feature of this topology is its ability to function in five-or three-level mode, in the entire modulation range, at full-power rating, in the event of any failure in the H-bridges. This feature significantly improves the reliability of the proposed drive system. Each leg of the three-phase two-level inverters used in this topology switches only for a half cycle of the reference voltage waveform. Hence, the effective switching frequency is reduced by half, resulting in switching loss reduction in high-voltage devices. The transient as well as the steady-state performance of the proposed nine-level inverter-fed IM drive system is experimentally verified in the entire modulation range including the overmodulation region.

A Harmonic Suppression Scheme for Open-End Winding Split-Phase IM Drive Using Capacitive Filters for the Full Speed Range

Voltage source inverter (VSI)-fed six-phase induction motor (IM) drives have high 6n +/- 1, n = odd-order harmonic currents. This is because these currents, driven by the corresponding harmonic voltages in the inverter output, are limited only by the stator leakage impedance, as these harmonics are absent in the back electromotive force of the motor. To suppress the harmonic currents, either bulky inductive harmonic filters or complex pulsewidth modulation (PWM) techniques have to be used. This paper proposes a harmonic elimination scheme using switched capacitor filters for a VSI-fed split-phase IM drive. Two 3-phase inverters fed from capacitors are used on the open-end side of the motor to suppress 6n +/- 1, n = odd-order harmonics. A PWM scheme that can suppress the harmonics as well as balance the capacitor voltage is also proposed. The capacitor fed inverters are switched so that the fundamental voltage is not affected, and the fundamental power is always drawn from the main inverters. The proposed scheme is verified with a detailed experimental study. The effectiveness of the scheme is demonstrated by comparing the results with those obtained by disabling the capacitor fed inverters.