942 resultados para high-level synthesis
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:
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:
The objective of this study was to evaluate the effects of feeding cattle with isoprotein and isoenergetic diets, with and without the addition of polyclonal antibody preparation (PAP), yeasts (YST) or monensin sodium (MON) on performance, carcass characteristics and gain cost in feedlot. Ninety-five 20-month old bullocks (323.3±21.8 kg) were distributed in 25 pens. The completely randomized experimental design had a 2 × 2 + 1 factorial arrangement and the treatments were replicated 5 times. There was no effect of MON for DMI throughout the feedlot period; however, MON reduced the dry matter intake (DMI) in g/kg of BW in the first 28 days when compared with the other treatments. The gain cost decreased with MON addition in relation to the other treatments. Inclusion of YST decreased average daily gain (ADG), final body weight, hot carcass weight, carcass weight, gain to feed ratio and DMI in g/kg body weight, worsening feed conversion and increasing the gain cost in the feeding periods. Inclusion of PAP increased ADG and decreased the gain cost, besides improving feed conversion. For MON and PAP, a difference was found for kidney-pelvic fat and kidney-pelvic fat per 100 kg of hot carcass weight. For MON and YST, there was a difference in ADG, feed conversion, gain cost and carcass yield and kidney-pelvic fat per 100 kg of hot carcass. Treatment YST worsened performance in relation to the non-supplemented treatments. Feeding PAP to animals did not influence performance and carcass characteristics of bullocks in feedlot negatively. Thus, PAP shows potential to substitute MON in cattle feeding using isoprotein and isoenergetic diets.
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.
Improvement and evaluation of the MS2SV for mixed systems design described in abstraction high level
Resumo:
This paper presents an important improvement of the MS2SV tool. The MS2SV performs the translation of mixed systems developed in MATLAB / Simulink for a structural or behavioral description in VHDL-AMS. Previously, the MS2SV translated only models of the LIB MS2SV library. This improvement allows designer to create your own library to translation. As case study was used a rudder controller employed in an unmanned aerial vehicle. For comparison with the original model the VHDL-AMS code obtained by the translation was simulated in SystemVision environment. The results proved the efficiency of the tool using the translation improvement proposed in this paper.
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
Resumo:
Incluye Bibliografía