Time-based Software Transactional Memory (STM) exploits a global clock to validate transactional data and guarantee consistency of transactions. While this method is simple to implement it results in contentions over the clock if transactions commit simultaneously. The alternative method is thread local clock (TLC) which exploits local variables to maintain consistency of transactions. However, TLC may increase false aborts and degrade performance of STMs. In this paper, we analyze global clock and TLC in the context of STM systems, highlighting both the implementation trade-offs and the performance implications of the two techniques. We demonstrate that neither global clock nor TLC is optimum across applications. To counter this challenge, we introduce two optimization techniques: The first optimization technique is Adaptive Clock (AC) which dynamically selects one of the two validation techniques based on probability of conflicts. AC is a speculative approach and relies on software O-GEHL predictors to speculate future conflicts. The second optimization technique is AC+ which reduces timing overhead of O-GEHL predictors by implementing the predictors in hardware. In addition, we exploit information theory to eliminate unnecessary computational resources and reduce storage requirements of the O-GEHL predictors. Our evaluation with TL2 and Stamp benchmark suite reveals that AC is effective and improves execution time of transactional applications up to 65%. 相似文献
ABSTRACT Cadmium as a highly toxic metal is released into the environment through paper production, metal processing, phosphate fertilizers, insecticides, and treatment of wastewater. Cadmium also inhibits the body activities and is very toxic for kidney and other organisms. In the current study, zinc-based metal–organic framework, zeolitic imidazolate framework (ZIF)-8, was synthesized and modified by dimethylethylenediamine (ZIF-8-mmen) for the removal of cadmium. To optimize the experiments, response surface methodology was applied with three variables including pH, adsorbent dosage, and contact time using central composite design. The optimum conditions for pH, dosage, and time were 2, 0.1 g, and 89 min, respectively, with removal efficiency of 85.38%. The Langmuir isotherm (qm = 1000 mg/g) indicates the monolayer adsorption. The kinetic studies reveal that the Lagergren model was predominant and cadmium was not chemisorbed. Thermodynamic parameters show spontaneous, endothermic, and physisorption processes. 相似文献
In this paper, a new fuzzy group decision-making methodology which determines and incorporates negotiation powers of decision makers is developed. The proposed method is based on a combination of interval type-2 fuzzy sets and a multi-criteria decision making (MCDM) model, namely TOPSIS. To examine the applicability of the proposed methodology, it is used for finding the best scenario of allocating water and reclaimed wastewater to domestic, agricultural, and industrial water sectors and restoring groundwater quantity and quality in the Varamin region located in Tehran metropolitan area in Iran. The results show that the selected scenario leads to an acceptable groundwater conservation level during a long-term planning horizon. Although the capital cost of this scenario is high, which leads to groundwater restoration during the 34-year planning horizon, it is determined as the best allocation scenario. This scenario also entails the second least pumping cost, due to less water allocation from the groundwater. To evaluate the results of the proposed methodology, they are compared with those obtained using some well-known interval type-2 decision-making approaches including arithmetic-based, TOPSIS-based, and likelihood-based comparison methods. The Spearman correlation coefficient shows that the obtained results generally concur with those of the other methods. It is also concluded that the proposed methodology gives more reasonable results by calculating and considering the negotiation powers of decision makers in an extended TOPSIS-based group decision-making model.
Oxy fuel combustion and conventional cycle (currently working cycle) in Kazeroon plant are modeled using commercial thermodynamic modeling software. Economic evaluation of the two models regarding the resources of transport and injection of carbon dioxide into oil fields at Gachsaran for enhanced oil recovery in the various oil price indices is conducted and indices net present value (NPV) and internal rate of return on investment (IRR) are calculated. The results of the two models reveal that gross efficiency of the oxy fuel cycle is more than reference cycle (62% compared to 49.03%), but the net efficiency is less (41.85% compared to 47.92%) because of the high-energy consumption of the components, particularly air separation unit (ASU) in the oxy fuel cycle. In this model, pure carbon dioxide with pressure of 20~ 105 Pa and purity of 96.84% was captured. NOx emissions also decrease by 4289.7 tons per year due to separation of nitrogen in ASU. In this model, none of the components of oxy fuel cycle is a major engineering challenge. With increasing oil price, economic justification of oxy fuel combustion model increases. With the price of oil at $ 80 per barrel in mind and $ 31 per ton fines for emissions of carbon dioxide in the atmosphere, IRR is the same for both models. 相似文献
This study investigates the application of a recently developed construct, the uniform trigonometrization method (UTM), to the singular control problems in chemical engineering. The UTM involves minimal modifications to the original problem, thereby generating near-singular control solutions that can be used for conceptual design and serve as an alternate to direct techniques like nested and simultaneous approaches. Eight classical singular control problems with known analytical solutions and three complex singular control problems from chemical engineering domain are solved in this study. The results obtained using the UTM for these problems are found to match well with the literature and are of higher resolution as compared to the results obtained using a direct pseudospectral-based solver. The ability of the UTM to handle complex chemical engineering problems with both singular controls and state path constraints has also been demonstrated in this study. 相似文献
The effects of gum tragacanth obtained from two species of Astragalus Gossypinus (GT-G) and A. Parrowianus (GT-P) at two levels of 10% and 30% combined with cellulose nanofibers (CNF; 5%) on the physico-mechanical and structural properties of polyvinyl alcohol (PVA) nanocomposite film were investigated in this study. The water solubility and water vapor permeability of the films decreased with increasing the content of both gums, especially in the film containing 30% GT-P. The highest values of the tensile strength (39.3 MPa) and elongation at break (445%) belonged to the treatment containing 10% GT-P (90/10P/0). The FTIR and DSC analyses confirmed good interactions between GT and PVA in the 90/10P/0 treatment. SEM images indicated the dense structure of this film as the optimum treatment. Although the presence of CNF in the films containing GT-G improved some properties, especially the Young modulus, it impaired all the functional properties of nanocomposite GT-P film. 相似文献
Multi-stream automatic speech recognition (MS-ASR) has been confirmed to boost the recognition performance in noisy conditions. In this system, the generation and the fusion of the streams are the essential parts and need to be designed in such a way to reduce the effect of noise on the final decision. This paper shows how to improve the performance of the MS-ASR by targeting two questions; (1) How many streams are to be combined, and (2) how to combine them. First, we propose a novel approach based on stream reliability to select the number of streams to be fused. Second, a fusion method based on Parallel Hidden Markov Models is introduced. Applying the method on two datasets (TIMIT and RATS) with different noises, we show an improvement of MS-ASR. 相似文献
Facial features under variant-expressions and partial occlusions could have degrading effect on overall face recognition performance. As a solution, we suggest that the contribution of these features on final classification should be determined. In order to represent facial features contribution according to their variations, we propose a feature selection process that describes facial features as local independent component analysis(ICA) features. These local features are acquired using locally lateral subspace(LLS) strategy.Then, through linear discriminant analysis(LDA) we investigate the intraclass and interclass representation of each local ICA feature and express each feature s contribution via a weighting process. Using these weights, we define the contribution of each feature at local classifier level. In order to recognize faces under single sample constraint, we implement LLS strategy on locally linear embedding(LLE) along with the proposed feature selection. Additionally, we highlight the efficiency of the implementation of LLS strategy. The overall accuracy achieved by our approach on datasets with different facial expressions and partial occlusions such as AR, JAFFE,FERET and CK+ is 90.70%. We present together in this paper survey results on face recognition performance and physiological feature selection performed by human subjects. 相似文献
This paper considers formation control of snake robots. In particular, based on a simplified locomotion model, and using the method of virtual holonomic constraints, we control the body shape of the robot to a desired gait pattern defined by some pre-specified constraint functions. These functions are dynamic in that they depend on the state variables of two compensators which are used to control the orientation and planar position of the robot, making this a dynamic maneuvering control strategy. Furthermore, using a formation control strategy we make the multi-agent system converge to and keep a desired geometric formation, and enforce the formation follow a desired straight line path with a given speed profile. Specifically, we use the proposed maneuvering controller to solve the formation control problem for a group of snake robots by synchronizing the commanded velocities of the robots. Simulation results are presented which illustrate the successful performance of the theoretical approach. 相似文献