Linear-time snapshot implementations in unbalanced systems

Anatomic snapshot memory object in shared memory systems enables a set of processes, calledscanners, to obtain a consistent picture of the shared memory while other processes, calledupdaters, keep updating memory locations concurrently. In this paper we present two conversion methods of snapshot implementations. Using the first conversion method we obtain a new snapshot implementation in which the scan operation has linear time complexity and the time complexity of the update operation becomes the sum of the time complexities of the original implementation. Applying the second conversion method yields similar results, where in this case the time complexity of the update protocol becomes linear. Although our conversion methods use unbounded space, their space complexity can be bounded using known techniques. One of the most intriguing open problems in distributed wait-free computing is the existence of a linear-time implementation of this object. Using our conversion methods and known constructions we obtain the following results:

?Consider a system ofn processes, each an updater and a scanner. We present an implementation in which the time complexity of either the update or the scan operation is linear, while the time complexity of the second operation isO(n logn).

?We present an implementation with linear time complexity when the number of either updaters or scanners isO(n/logn), wheren is the total number of processes.

?We present an implementation with amortized linear time complexity when one of the protocols (either upate or scan) is executed significantly more often than the other protocol.

     

Controlled gates for multi-level quantum computation

Multi-level (ML) quantum logic can potentially reduce the number of inputs/outputs or quantum cells in a quantum circuit which is a limitation in current quantum technology. In this paper we propose theorems about ML-quantum and reversible logic circuits. New efficient implementations for some basic controlled ML-quantum logic gates, such as three-qudit controlled NOT, Cycle, and Self Shift gates are proposed. We also propose lemmas about r-level quantum arrays and the number of required gates for an arbitrary n-qudit ML gate. An equivalent definition of quantum cost (QC) of binary quantum gates for ML-quantum gates is introduced and QC of controlled quantum gates is calculated.     

Fuzzy Bayesian system reliability assessment based on Pascal distribution

The main purpose of this paper is to provide a methodology for discussing the fuzzy. Bayesian system reliability from the fuzzy component reliabilities, actually we discuss on the Fuzzy Bayesian system reliability assessment based on Pascal distribution, because the data sometimes cannot be measured and recorded precisely. In order to apply the Bayesian approach, the fuzzy parameters are assumed as fuzzy random variables with fuzzy prior distributions. The (conventional) Bayes estimation method will be used to create the fuzzy Bayes point estimator of system reliability by invoking the well-known theorem called ‘Resolution Identity’ in fuzzy sets theory. On the other hand, we also provide the computational procedures to evaluate the membership degree of any given Bayes point estimate of system reliability. In order to achieve this purpose, we transform the original problem into a nonlinear programming problem. This nonlinear programming problem is then divided into four sub-problems for the purpose of simplifying computation. Finally, the sub problems can be solved by using any commercial optimizers, e.g. GAMS or LINGO.     

Experimental investigation on the stability of bride girder against tsunami forces

Bridges are the most useful part in the transportation network. Any disruption of the bridge structures may hamper the whole transportation system. In the last recent tsunamis, numerous number of bridges were structurally damaged by the tsunami waves. Lack of proper provisions of tsunami forces in the design guidelines also contributes to the augmentations of the damage level. Therefore, proper evaluation of the tsunami forces on the bridge girder should be introduced in the design promptly. In this study, laboratory experiments were carried out to reveal the damage mechanism of the bridge girder by assessing the exerted tsunami forces. Both broken and unbroken waves were considered for the analysis. The results showed that measured forces were larger for broken waves than those of unbroken waves. Maximum force of the broken waves was 4.59 times as large as the hydrostatic pressure. Also, waves reached the peak value more rapidly for larger wave heights than those of smaller ones. Additionally, a girder that is placed at a higher position is much vulnerable to tsunami hazard.     

An elliptical disc anchor in a damage‐susceptible poroelastic medium

A flat rigid elliptical anchorage located in a damage‐susceptible fluid‐saturated poroelastic medium is subjected to an in‐plane load, which induces a pure translation in the plane of the anchor. This paper develops computational estimates for the time‐dependent displacement of the disc anchor for the classical problem that involves Biot consolidation and compares the results with situations where the porous skeleton can experience micro‐mechanical damage that leads to an alteration in both its elasticity and fluid transport characteristics. Copyright © 2005 John Wiley & Sons, Ltd.     

Modeling and Optimization of SE and SI of Copper Flotation via Hybrid GA–ANN

In the present paper, a new attitude has been proposed for optimization of the separation efficiency (SE) and the Gaudin’s selectivity index (SI) in a flotation process by Hybrid artificial neural network (ANN) and genetic algorithm (GA). The chemical reagent’s dosage (collector, frother and fuel oil), pH, solid percentage, feed rate, Cu, Mo, and Fe grades in the flotation feed were selected as input variables and the SE-Cu and SI-Mo and SI-Fe were selected as output ones. Multilayer NN with back propagation (BP) algorithm was trained by the standard Bayesian regulation algorithm in which the validation data set did not required to be apart from its training. This algorithm with four-layer was used to relate output and input variables. Employment of Hybrid GA–ANN method resulted in significant improvement on GA fitnesses, as SE-Cu = 88, SI-Mo = 4.47 and SI of Fe = 12.85 were achieved. The input parameters corresponding to the fitnesses were as follows: pH = 12.25; the grade of Cu = 0.55%, Mo = 0.04% and Fe = 5.53%; the collector, frother and fuel–oil concentrations being 16.55, 15.54 and 2.71 (g/ton), respectively; the solid percentage was 25.84% and feed rate was 38,380 ton/day. The best fitness of GA was obtained after 10 generations by MSE value of 2.23.     

Thermal–economic–environmental analysis and multi-objective optimization of an internal-reforming solid oxide fuel cell–gas turbine hybrid system

In this article, an internal-reforming solid oxide fuel cell–gas turbine (IRSOFC–GT) hybrid system is modeled and analyzed from thermal (energy and exergy), economic, and environmental points of view. The model is validated using available data in the literature. Utilizing the genetic algorithm optimization technique, multi-objective optimization of modeled system is carried out and the optimal values of system design parameters are obtained. In the multi-objective optimization procedure, the exergy efficiency and the total cost rate of the system (including the capital and maintenance costs, operational cost (fuel cost), and social cost of air pollution for CO, NO_x, and CO₂) are considered as objective functions. A sensitivity analysis is also performed in order to study the effect of variations of the fuel unit cost on the Pareto optimal solutions and their corresponding design parameters. The optimization results indicate that the final optimum design chosen from the Pareto front results in exergy efficiency of 65.60% while it leads to total cost of 3.28 million US$ year⁻¹. It is also demonstrated that the payback time of the chosen design is 6.14 years.     

Grain Refinement by Cyclic Displacive Forward/Reverse Transformation in Fe-High-Ni Alloys

A novel method for grain refinement of martensite structures was proposed, in which transformation strain is accumulated by cyclic displacive forward and reverse transformations. This method can refine martensite structures in an Fe-18Ni alloy because a high density of austenite dislocations is introduced by a displacive reverse transformation in addition to an inheritance of dislocations in body-centered cubic martensite into austenite during cyclic transformation. The addition of a small amount of carbon accelerates structure refinement significantly, which results in the formation of ultra-fine-grained structures after ten cycles.