Search results for "Turing"
showing 10 items of 2644 documents
Quantum Real - Time Turing Machine
2001
The principles of quantum computation differ from the principles of classical computation very much. Quantum analogues to the basic constructions of the classical computation theory, such as Turing machine or finite 1-way and 2-ways automata, do not generalize deterministic ones. Their capabilities are incomparable. The aim of this paper is to introduce a quantum counterpart for real - time Turing machine. The recognition of a special kind of language, that can't be recognized by a deterministic real - time Turing machine, is shown.
Space-Efficient 1.5-Way Quantum Turing Machine
2001
1.5QTM is a sort of QTM (Quantum Turing Machine) where the head cannot move left (it can stay where it is and move right). For computations is used other - work tape. In this paper will be studied possibilities to economize work tape space more than the same deterministic Turing Machine can do (for some of the languages). As an example language (0i1i|i ≥ 0) is chosen, and is proved that this language could be recognized by deterministic Turing machine using log(i) cells on work tape , and 1.5QTM can recognize it using constant cells quantity.
Distributed Consensus in Noncooperative Inventory Games
2009
This paper deals with repeated nonsymmetric congestion games in which the players cannot observe their payoffs at each stage. Examples of applications come from sharing facilities by multiple users. We show that these games present a unique Pareto optimal Nash equilibrium that dominates all other Nash equilibria and consequently it is also the social optimum among all equilibria, as it minimizes the sum of all the players’ costs. We assume that the players adopt a best response strategy. At each stage, they construct their belief concerning others probable behavior, and then, simultaneously make a decision by optimizing their payoff based on their beliefs. Within this context, we provide a …
Secret versus public reserve price in an “outcry” English procurement auction: Experimental results
2015
Abstract In a set of human experiments, we analyze the impact of the buyer׳s reserve price policy in an online open outcry reverse auction. We measure the impact of revealing or not the reserve price on the buyer׳s expected cost when suppliers may be risk-averse. Results confirm that the optimal public reserve price policy dominates for the buyer when the lowest cost supplier is weakly risk-averse but in contrast with theory, the secret reserve price policy does not dominate when he becomes very risk-averse. Analysis of strategic suppliers׳ bidding behavior shows, in conformity with theory, that they react to the secret reserve price and are more aggressive when they are more risk-averse. T…
Multiobjective GRASP with Path Relinking
2015
In this paper we review and propose different adaptations of the GRASP metaheuristic to solve multiobjective combinatorial optimization problems. In particular, we describe several alternatives to specialize the construction and improvement components of GRASP when two or more objectives are considered. GRASP has been successfully coupled with Path Relinking for single-objective optimization. Moreover, we propose different hybridizations of GRASP and Path Relinking for multiobjective optimization. We apply the proposed GRASP with Path Relinking variants to two combinatorial optimization problems, the biobjective orienteering problem and the biobjective path dissimilarity problem. We report …
Constructivismo, psicoterapias cognitivas de reestructuración y enfoques contextuales
2020
En este trabajo se establecen las diferencias y convergencias principales entre los modelos cognitivos de reestructuración, los constructivistas y los contextuales. Partiendo de una breve revisión histórica se podrá enmarcar el surgimiento de cada uno de estos enfoques e, igualmente, las diferencias epistemológicas y ontológicas entre ellos. Estos modelos se analizan, principalmente, haciendo hincapié en sus conceptos principales y en las técnicas desarrolladas que, en principio, serían coherentes con su marco teórico. Igualmente, la coherencia entre teoría y práctica se hace evidente mediante el desarrollo de un tipo concreto, y diferente, de relación terapéutica en cada modelo. La conclus…
An Explicit Model for the Thermal-Mechanical Analysis of Hot Metal Forming Processes
1995
Abstract In the paper the authors propose a new finite element code for the coupled thermal-mechanical analysis of hot metal forming processes. As regards the mechanical problem, an explicit algorithm based on the solution of the dynamic equilibrium equation and an explicit time integration scheme is used, while the heat transfer analysis is based on the solution of the thermal equilibrium equations; in order to put the thermal problem in an explicit linear form a three level scheme has been employed for the discretization of the time variable. The model is based on a staggered procedure, in which the mechanical and the thermal analysis are carried out with respect to different time horizon…
Criteria for validity of thermodynamic equations from non-equilibrium molecular dynamics simulations
2008
Abstract The assumption of local equilibrium is validated in four different systems where heat and mass are transported. Mass fluxes up to 13 kmol / m 2 s and temperature gradients up to 10 12 K / m were used. A two-component mixture, two vapor–liquid interfaces, a chemical reaction in a temperature gradient and gas adsorbed in zeolite were studied using non-equilibrium molecular dynamics simulations. In all cases, we verified that thermodynamic variables obeyed normal thermodynamic relations, with an accuracy better than 5%. The heat and mass fluxes, and the reaction rate were linearly related to the driving forces. Onsager's reciprocal relations were validated for two systems. Equipartiti…
Effect of plasma treatment on the properties of Arundo Donax L. leaf fibres and its bio-based epoxy composites: A preliminary study
2016
Abstract A preliminary investigation about the effect of plasma treatment on the properties of natural fibres extracted from the leaf of the giant reed Arundo Donax L. and their compatibility with a bio-based epoxy resin is performed. To this aim, the influence of plasma treatment on the functional groups and on the thermal behaviour of fibre were investigated using Fourier transform infrared spectroscopy and thermogravimetric analysis. Moreover, the mechanical characterization of fibres was performed through fibre tensile tests. Short randomly oriented fibres/bio-based epoxy composites were manufactured by hand lay-up method followed by compression moulding, varying both fibres weight cont…
Preparation and characterization of a novel chitosan/Al2O3/magnetite nanoparticles composite adsorbent for kinetic, thermodynamic and isotherm studie…
2015
Abstract In this study we developed a novel chitosan/Al 2 O 3 /magnetic iron oxide nanoparticle composite acting as an adsorbent for removing Methyl Orange (MO), a model anionic dye, from aqueous solution. The new adsorbent was characterized by Scanning Electron Microscope (SEM), Thermo Gravimetric Analysis (TGA), Brunauer–Emmett–Teller (BET) specific surface area, Energy Dispersive spectrometer (EDAX), powder X-ray Diffraction (XRD) and Fourier transform infrared spectroscopy (FT-IR) methods. The MO removal by the developed adsorbent was investigated using batch adsorption technique and all parameters influencing the removal efficiency such as: dose of adsorbent, pH and initial MO concentr…