922 resultados para Computer arithmetic and logic units.
Resumo:
Sociable robots are embodied agents that are part of a heterogeneous society of robots and humans. They Should be able to recognize human beings and each other, and to engage in social, interactions. The use of a robotic architecture may strongly reduce the time and effort required to construct a sociable robot. Such architecture must have structures and mechanisms to allow social interaction. behavior control and learning from environment. Learning processes described oil Science of Behavior Analysis may lead to the development of promising methods and Structures for constructing robots able to behave socially and learn through interactions from the environment by a process of contingency learning. In this paper, we present a robotic architecture inspired from Behavior Analysis. Methods and structures of the proposed architecture, including a hybrid knowledge representation. are presented and discussed. The architecture has been evaluated in the context of a nontrivial real problem: the learning of the shared attention, employing an interactive robotic head. The learning capabilities of this architecture have been analyzed by observing the robot interacting with the human and the environment. The obtained results show that the robotic architecture is able to produce appropriate behavior and to learn from social interaction. (C) 2009 Elsevier Inc. All rights reserved.
Resumo:
Object selection refers to the mechanism of extracting objects of interest while ignoring other objects and background in a given visual scene. It is a fundamental issue for many computer vision and image analysis techniques and it is still a challenging task to artificial Visual systems. Chaotic phase synchronization takes place in cases involving almost identical dynamical systems and it means that the phase difference between the systems is kept bounded over the time, while their amplitudes remain chaotic and may be uncorrelated. Instead of complete synchronization, phase synchronization is believed to be a mechanism for neural integration in brain. In this paper, an object selection model is proposed. Oscillators in the network representing the salient object in a given scene are phase synchronized, while no phase synchronization occurs for background objects. In this way, the salient object can be extracted. In this model, a shift mechanism is also introduced to change attention from one object to another. Computer simulations show that the model produces some results similar to those observed in natural vision systems.
Resumo:
The combination of luminescent polymers and suitable energy-accepting materials may lead to a molecular-level control of luminescence in nanostructured films. In this study, the properties of layer-by-layer (LbL) films of polyp-phenylene vinylene) (PPV) were investigated with steady-state and time-resolved fluorescence spectroscopies, where fluorescence quenching was controlled by interposing inert polyelectrolyte layers between the PPV donor and acceptor layers made with either Congo Red (CR) or nickel tetrasulfonated phthalocyanine (NiTsPc). The dynamics of the excited state of PPV was affected by the energy-accepting layers, thus confirming the presence of resonant energy transfer mechanisms. Owing to the layered structured of both energy donor and acceptor units, energy transfer varied with the distance between layers, r, according to 1/r(n) with n = 2 or 3, rather than with 1/r(6) predicted by the Forster theory for interacting point dipoles.
Resumo:
This paper proposes an improved voice activity detection (VAD) algorithm using wavelet and support vector machine (SVM) for European Telecommunication Standards Institution (ETS1) adaptive multi-rate (AMR) narrow-band (NB) and wide-band (WB) speech codecs. First, based on the wavelet transform, the original IIR filter bank and pitch/tone detector are implemented, respectively, via the wavelet filter bank and the wavelet-based pitch/tone detection algorithm. The wavelet filter bank can divide input speech signal into several frequency bands so that the signal power level at each sub-band can be calculated. In addition, the background noise level can be estimated in each sub-band by using the wavelet de-noising method. The wavelet filter bank is also derived to detect correlated complex signals like music. Then the proposed algorithm can apply SVM to train an optimized non-linear VAD decision rule involving the sub-band power, noise level, pitch period, tone flag, and complex signals warning flag of input speech signals. By the use of the trained SVM, the proposed VAD algorithm can produce more accurate detection results. Various experimental results carried out from the Aurora speech database with different noise conditions show that the proposed algorithm gives considerable VAD performances superior to the AMR-NB VAD Options 1 and 2, and AMR-WB VAD. (C) 2009 Elsevier Ltd. All rights reserved.
Resumo:
Middle to Late Holocene barriers are conspicuous landforms in southeastern and southern Brazilian regions. The barriers in the coastal zones of northern Santa Catarina, Parana and Sao Paulo states (27 degrees 19`-24 degrees 00`S) are formed mainly by beach ridge alignments and many barriers present foredune and blowout alignments in their seaward portion. The development of these eolian landforms appears to record a regional shift in coastal dynamics and barrier building. In this context, the Ilha Comprida barrier stands out for its well-developed and well-preserved foredunes and blowouts. Based on the presence or not and type of eolian landforms, the Ilha Comprida barrier can be divided seaward into inner, middle and outer units. The inner unit is formed entirely by beach ridges. The middle unit comprises a narrow belt of blowouts (up to 15 m high) aligned alongshore. Blowout lobes pointing NNW are indicative of their generation by southern winds. The outer unit is represented by low (<= 1 m high) active or stabilized foredunes and a small transgressive dunefield (similar to 1 km(2)). Twenty-seven luminescence ages (SAR protocol) obtained for the beach ridges, foredunes, and blowouts of these three units allow definition of a precise chronology of these landforms and calculation of rates of coastal progradation. The inner unit presents ages greater than 1004 +/- 88 years. The blowouts of the middle unit show ages from 575 +/- 47 to 172 +/- 18 years. The ages of the outer unit are less than 108 +/- 10 years. Rates of coastal progradation for the inner and outer units are 0.71-0.82 m/year and 0.86-2.23 m/year, respectively. The main phase of blowout development correlates well with the Little Ice Age (LIA) climatic event. These results indicate that southern winds in subtropical Brazil became increasingly more intense and/or frequent during the LIA. These conditions persist to the present and are responsible for the development of the eolian landforms in the outer unit. Thus, barrier geomorphology can record global climatic events. The sensitivity of barrier systems in subtropical Brazil to Late Holocene climate changes was favored by the relative sea level stillstand during this time. Luminescence dating makes it possible to analyze barrier geomorphology during Late Holocene climate changes operating on timescales of a hundred to thousand years. These results improve our knowledge of barrier building and will help in the evaluation of the impact of future climate changes on coastal settings. (C) 2008 Elsevier Ltd. All rights reserved.
Resumo:
The focus of study in this paper is the class of packing problems. More specifically, it deals with the placement of a set of N circular items of unitary radius inside an object with the aim of minimizing its dimensions. Differently shaped containers are considered, namely circles, squares, rectangles, strips and triangles. By means of the resolution of non-linear equations systems through the Newton-Raphson method, the herein presented algorithm succeeds in improving the accuracy of previous results attained by continuous optimization approaches up to numerical machine precision. The computer implementation and the data sets are available at http://www.ime.usp.br/similar to egbirgin/packing/. (C) 2009 Elsevier Ltd, All rights reserved.
Resumo:
First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. Although a complete and correct resolution-style calculus has already been suggested for this specific fragment, this calculus involves constructions too complex to be of practical value. In this paper, we develop a machine-oriented clausal resolution method which features radically simplified proof search. We first define a normal form for monodic formulae and then introduce a novel resolution calculus that can be applied to formulae in this normal form. By careful encoding, parts of the calculus can be implemented using classical first-order resolution and can, thus, be efficiently implemented. We prove correctness and completeness results for the calculus and illustrate it on a comprehensive example. An implementation of the method is briefly discussed.
Resumo:
First-order temporal logic is a coincise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics have identified important enumerable and even decidable fragments. In this paper we present the first resolution-based calculus for monodic first-order temporal logic. Although the main focus of the paper is on establishing completeness result, we also consider implementation issues and define a basic loop-search algorithm that may be used to guide the temporal resolution system.
Resumo:
First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments including the guarded fragment with equality. In this paper, we specialise the monodic resolution method to the guarded monodic fragment with equality and first-order temporal logic over expanding domains. We introduce novel resolution calculi that can be applied to formulae in the normal form associated with the clausal resolution method, and state correctness and completeness results.
Resumo:
First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. In this paper, we develop a clausal resolution method for the monodic fragment of first-order temporal logic over expanding domains. We first define a normal form for monodic formulae and then introduce novel resolution calculi that can be applied to formulae in this normal form. We state correctness and completeness results for the method. We illustrate the method on a comprehensive example. The method is based on classical first-order resolution and can, thus, be efficiently implemented.
Resumo:
The theme of family in literature and in popular discourse occurs at times when the family as an institution is under attack. Attacks against the family coupled with defence of the family are viewed as the barometer of people’s satisfaction with the society in which they live. This outpouring of emotion, whether it is in defence of or attacking the family, is the result of the family’s position on the bridge between nature and society – a fortunate (or a detrimental) link between an individual and the units that make up a society. Across the United States and much of the western world, the battle for gay marriage and inclusive civil unions has revealed the fissures in our collective moral view of the family. The conservative concern about the absence of ‘family values’ is magnified by our situation in a world of flux. Inflation, war, terrorist threats, and the depletion of natural resources are but a few examples. When so much is unknown, how do we position ourselves? What anchors us to the past, gives us comfort in the present, and supports us in the future if not the family? Alternatively, what coddles us more in the past, shackles us more to the present, and lulls us more into a fixed conception of the future than the family? My research is not a sociological survey into the family nor does it stake any claims to understanding the present state of the family in society. The study seeks, however, to shed light on the rhetorical uses of the family by analysing two novels that are inextricably concerned with the theory of the family in times of heightened social change. In particular, my research focuses upon the social role and political meaning of the family in Anna Karenina and Jia.
Resumo:
In the past, the focus of drainage design was on sizing pipes and storages in order to provide sufficient network capacity. This traditional approach, together with computer software and technical guidance, had been successful for many years. However, due to rapid population growth and urbanisation, the requirements of a “good” drainage design have also changed significantly. In addition to water management, other aspects such as environmental impacts, amenity values and carbon footprint have to be considered during the design process. Going forward, we need to address the key sustainability issues carefully and practically. The key challenge of moving from simple objectives (e.g. capacity and costs) to complicated objectives (e.g. capacity, flood risk, environment, amenity etc) is the difficulty to strike a balance between various objectives and to justify potential benefits and compromises. In order to assist decision makers, we developed a new decision support system for drainage design. The system consists of two main components – a multi-criteria evaluation framework for drainage systems and a multi-objective optimisation tool. The evaluation framework is used for the quantification of performance, life-cycle costs and benefits of different drainage systems. The optimisation tool can search for feasible combinations of design parameters such as the sizes, order and type of drainage components that maximise multiple benefits. In this paper, we will discuss real-world application of the decision support system. A number of case studies have been developed based on recent drainage projects in China. We will use the case studies to illustrate how the evaluation framework highlights and compares the pros and cons of various design options. We will also discuss how the design parameters can be optimised based on the preferences of decision makers. The work described here is the output of an EngD project funded by EPSRC and XP Solutions.
Resumo:
Objetivou-se neste trabalho a obtenção de padrões de infestação de plantas daninhas na cultura de cana-de-açúcar com histórico de colheita mecanizada sem queima prévia da palha. Foram realizadas amostragens em 28 talhões na região de Ribeirão Preto, SP; em cada talhão foram demarcadas unidades de avaliação e coleta, na proporção de duas por hectare, que consistiram de áreas (quatro linhas de 4 metros de comprimento) mantidas sem controle de plantas daninhas e onde foram realizadas as amostragens de plantas emergidas. As amostragens foram realizadas aos 120 dias após o corte, com quadrados vazados (0,5 x 0,5 m) lançados aleatoriamente duas vezes em cada uma das unidades de avaliação e coleta. Com os dados obtidos, calculou-se a importância relativa e o índice de agregação das espécies ou grupo de espécies. Esses índices foram usados no processamento da análise de agrupamento hierárquica, utilizando como medida de semelhança a distância euclidiana e como estratégia de agrupamento o método UPGMA (Unweighted Pair-Group Method using arithmetic Averages). Foi possível distinguir quatro grupos em função da importância relativa e cinco grupos de talhões em função do índice de agregação; dentro de alguns grupos houve formação de subgrupos.