We address the veriication problem of FIFO-channel systems by applying the symbolic analysis principle. We represent their sets of states (conngurations) using structures called CQDD's combining nite-state automata with linear constraints on number of occurrences of symbols. We show that CQDD's allow forward and backward reachability analysis of systems with nonregular sets of conngurations. Mo...

Wireless sensor networks for industrial process monitoring and control require highly reliable and timely data delivery. To match performance requirements specialised schedule based medium access control (MAC) protocols are employed. In order to construct an efficient system it is necessary to find a schedule that can support the given application requirements in terms of data delivery latency ...

background: the purpose of this project was to derive the brachytherapy dosimetric functions described by american association of physicists in medicine (aapm) tg-43 u1 based on high dose rate 192i sources. materials and methods: the method utilized included both simulation of the designed polymethyl methacrylate (pmma) phantom using the monte carlo of mcnp4c and benchmarking of the simulation ...

If a group G of automorphisms of a graph Γ acts transitively on the set of vertices, then Γ is d-valent for some d: each vertex is adjacent to exactly d others. This note concerns cycles in Γ, by which we will mean subgraphs isomorphic to a k-cycle for some k ≥ 3; hence there will be no “initial” vertex. If g ∈ G and C is a cycle in Γ, then g(C) is another cycle in Γ: G acts on the set of all c...

A new on-line dead-time compensation technique for low-cost open-loop pulsewidth modulation voltage-source inverter (PWM-VSI) drives is presented. Because of the growing numbers of open-loop drives operating in the low-speed region, the synthesis of accurate output voltages has become an important issue where low-cost implementation plays an important role. The so-called average dead-time compe...

Fatigue analysis of structural components such as helix tensile armors and steel tubes is a critical design issue for dynamic umbilicals and flexible pipes. The basis for assessment of fatigue damage of such elements is the long-term stress cycle distribution at critical locations on the helix elements caused by long-term environmental loading on the system. The long-term stress cycle distribut...

The Coupled Perturbed Hartree-Fock (CPHF) scheme has been implemented in the CRYSTAL06 program, that uses a gaussian type basis set, for systems periodic in 1D (polymers), 2D (slabs), 3D (crystals) and, as a limiting case, 0D (molecules), which enables comparison with molecular codes. CPHF is applied to the calculation of the polarizability alpha of LiF in different aggregation states: finite a...

Accurate haemodynamic assessment of mitral stenosis by hydraulic formulas requires measurement of the mean valve gradient and the cardiac output. The calculation is laborious, particularly in the presence of atrial fibrillation when averaged values obtained from multiple beat-to-beat determinations must be used. The relations between valve area, end diastolic gradient, and heart rate in 20 pati...

Buildings' sustainability is one of the crucial parts for achieving urban sustainability. Applied to buildings, life-cycle assessment encompasses the analysis and assessment of the environmental effects of building materials, components and assemblies throughout the entire life of the building construction, use and demolition. Estimate of carbon emissions is essential and crucial for an accurat...