922 resultados para High-level Design Specification
Resumo:
This study reports a systematic state-of-the-art characterization of new sulfur-chlorine species on the [H, S(2), Cl] potential energy surface. Coupled cluster theory singles and doubles with perturbative contributions of connected triples, using the series of correlation consistent basis sets with extrapolations to the complete basis set limit (CBS), were employed to quantify the energetic quantities involved in the isomerization processes on this surface. The structures and vibrational frequencies are unique for some species and represent the most accurate investigation to date. These molecules are potentially a new route of coupling the sulfur and chlorine chemistries in the atmosphere, and conditions of high concentration of H(2)S (HS) like in volcanic eruptions might contribute to their formation. Also an assessment of the MP2/CBS approach relative to CCSD(T)/CBS provides insights on the expected performance of MP2/CBS on the characterization of polysulfides, and also of more complex systems containing disulfide bridges. (C) 2009 Elsevier B.V. All rights reserved.
Resumo:
Users are facing an increasing challenge of managing information and being available anytime anywhere, as the web exponentially grows. As a consequence, assisting them in their routine tasks has become a relevant issue to be addressed. In this paper, we introduce a software framework that supports the development of Personal Assistance Software (PAS). It relies on the idea of exposing a high level user model in order to increase user trust in the task delegation process as well as empowering them to manage it. The framework provides a synchronization mechanism that is responsible for dynamically adapting an underlying BDI agent-based running implementation in order to keep this high-level view of user customizations consistent with it.
Resumo:
The focus of this thesis is to discuss the development and modeling of an interface architecture to be employed for interfacing analog signals in mixed-signal SOC. We claim that the approach that is going to be presented is able to achieve wide frequency range, and covers a large range of applications with constant performance, allied to digital configuration compatibility. Our primary assumptions are to use a fixed analog block and to promote application configurability in the digital domain, which leads to a mixed-signal interface. The use of a fixed analog block avoids the performance loss common to configurable analog blocks. The usage of configurability on the digital domain makes possible the use of all existing tools for high level design, simulation and synthesis to implement the target application, with very good performance prediction. The proposed approach utilizes the concept of frequency translation (mixing) of the input signal followed by its conversion to the ΣΔ domain, which makes possible the use of a fairly constant analog block, and also, a uniform treatment of input signal from DC to high frequencies. The programmability is performed in the ΣΔ digital domain where performance can be closely achieved according to application specification. The interface performance theoretical and simulation model are developed for design space exploration and for physical design support. Two prototypes are built and characterized to validate the proposed model and to implement some application examples. The usage of this interface as a multi-band parametric ADC and as a two channels analog multiplier and adder are shown. The multi-channel analog interface architecture is also presented. The characterization measurements support the main advantages of the approach proposed.
Resumo:
Although numerous studies have reported the production of skeletal muscle alpha -tropomyosin in E. coli, the protein needs to be modified at the amino terminus in order to be active. Without these modifications the protein does not bind to actin, does not exhibit head-to-tail polymerization, and does not inhibit the actomyosin Mg2+-ATPase in the absence of troponin. on the other hand, the protein produced in insect cells using baculovirus as an expression vector (Urbancikova, M., and Hitchcock-DeGregori, S. E., J. Biol. Chem., 269, 24310-24315, 1994) is only partially acetylated at its amino terminal and therefore is not totally functional. In an attempt to produce an unmodified functional recombinant muscle alpha -tropomyosin for structure-function correlation studies we have expressed the chicken skeletal alpha -tropomyosin cDNA in the yeast Pichia pastoris. Recombinant protein was produced at a high level (20 mg/L) and was similar to the wild type muscle protein in its ability to polymerize, to bind to actin and to regulate the actomyosin S1 Mg2+-ATPase. (C) 2001 Academic Press.
Resumo:
We have undertaken a comprehensive study of the NH3 + N2O3 reaction in gas phase. Total energies of reactants, intermediates, transition states, and products have been calculated at CBS-QB3 level of theory. The corresponding BSSE analysis were performed at the highest level of theory, i.e. MP2 using the complete basis set (CBS) extrapolation at CBS-QB3 optimized geometries. A detailed mechanism was proposed for 2NH(3) - N2O3 -> 2N(2) - 3H(2)O with Delta H-r= - 170.08 kcal/mol N-2. (c) 2005 Elsevier B.V. All rights reserved.
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
The CMS High-Level Trigger (HLT) is responsible for ensuring that data samples with potentially interesting events are recorded with high efficiency and good quality. This paper gives an overview of the HLT and focuses on its commissioning using cosmic rays. The selection of triggers that were deployed is presented and the online grouping of triggered events into streams and primary datasets is discussed. Tools for online and offline data quality monitoring for the HLT are described, and the operational performance of the muon HLT algorithms is reviewed. The average time taken for the HLT selection and its dependence on detector and operating conditions are presented. The HLT performed reliably and helped provide a large dataset. This dataset has proven to be invaluable for understanding the performance of the trigger and the CMS experiment as a whole. © 2010 IOP Publishing Ltd and SISSA.
Resumo:
This paper presents a tool that combines two kinds of Petri Net analyses to set the fastest routes to one vehicle in a bounded area of traffic urban. The first analysis consists of the discovery of possible routes in a state space generated from an IOPT Petri net model given the initial marking as the vehicle position. The second analysis receives the routes found in the first analysis and calculates the state equations at incidence matrix created from the High Level Petri net model to define the fastest route for each vehicle that arrive in the roads. It was considered the exchange of information between vehicle and infrastructure (V2I) to get the position and speed of all vehicles and support the analyses. With the results obtained we conclude that is possible optimizing the urban traffic flow if this tool is applied to all vehicles in a bounded urban traffic. © 2012 IEEE.
Resumo:
Includes bibliography