Abstract State Machines
Mostrando 1-11 de 11 artigos, teses e dissertações.
-
1. EFFECT OF TRAFFIC INTENSITIES OF A DIRECTIONAL FELLER AND SKIDDER ON THE COMPACTION OF A BRUNO NITISOL
RESUMO Esta pesquisa avaliou a compactação de um Nitossolo Bruno causada por diferentes intensidades de tráfego do feller direcional e skidder na colheita de madeira em um povoamento de Pinus taeda. Os dados foram coletados em uma empresa florestal localizada no estado do Paraná, Brasil. O procedimento de amostragem foi realizado pela instalação de qua
Rev. Árvore. Publicado em: 23/09/2019
-
2. EL DUALISMO CARTESIANO Y SU RELACIÓN CON LA NUEVA MEDICINA A LA LUZ DE SU CORRESPONDENCIA
ABSTRACT Despite of the fact that R. Descartes’s reduction of animals to mere machines can be explained as a logical consequence of his metaphysical and gnoseological starting point, one can argue that this reduction seems to be very difficult to defend, since it appears to be contradictory to our everyday experience. On the other hand, one of the explicit
Kriterion. Publicado em: 29/08/2019
-
3. Soil Compaction Due to Wood Harvesting Traffic at Different Extraction Distances
ABSTRACT This study evaluated the effect on Oxisol soil compaction of traffic by wood harvesting machines from different extraction distances carried out by a logging company located in Paraná State. The harvesting system was composed of a feller buncher, skidder and harvester, in which soil compaction was evaluated at four extraction distances and four dep
Floresta Ambient.. Publicado em: 08/02/2018
-
4. Fuzzy control applied to an electrical power generation system mounted on tractors for driving of agricultural implements
ABSTRACT The demand of the agricultural sector for more operationally efficient machines and implements motivated the development of alternatives for driving of this equipment. Aiming an electrical supply to apply in agricultural implements, this study proposes a system that uses the tractor power take off to activate a synchronous generator, using a fuzzy l
Eng. Agríc.. Publicado em: 2016-10
-
5. Broadcast distribution uniformity of fertilizer with centrifugal spreaders used in variable rate application
ABSTRACT The quality of fertilizer distribution process is important to the success of agriculture. This research aimed to study the distribution uniformity of fertilizers with spreaders capable of performing variable rate. Evaluations were carried out in different farms, in the Southwest region of the State of Goiás, Brazil. 13 longitudinal and transversal
Eng. Agríc.. Publicado em: 2016-10
-
6. Natural rubber latex: determination and interpretation of flow curves
AbstractAs consumers become more demanding, the importance grows of guaranteeing the quality of products. The employment of reliable testing techniques that assure the origin and characteristics of the inputs used by industry is a key factor in this respect. In the rubber processing industry, the most commonly used characterization tests include determinatio
Polímeros. Publicado em: 2015-08
-
7. FSM-Based Test Case Generation Methods Applied to Test the Communication Software on Board the ITASAT University Satellite: A Case Study
ABSTRACT: The software in satellite applications has become increasingly larger, more complex and more integrated, so its verification and validation require exploration of new approaches. In this paper we present a Model-Based Testing (MBT) approach applied to the Communication Module of the ITASAT-1 university satellite. The models are Finite State Machine
J. Aerosp. Technol. Manag.. Publicado em: 2014-12
-
8. Open Source Philosophy and the Dawn of Aviation
Abstract: In the early 20th century, Aviation pioneers in North America and Europe experienced quite different working ambiences. The Europeans, except for those living in England, embodied the spirit of the French Revolution; the Ameri-cans incorporated the ideas from the Industrial Revolution or, according to many historians, the English Revolution. Due to
J. Aerosp. Technol. Manag.. Publicado em: 2012-09
-
9. "Automação do processo de detalhamento de torres metálicas via tecnologia CAD"
This work presents the design and implementation of a computer system denominated TowerCAD for automation of the detailing process of steel towers structures by integrating CAD (Computer Aided Design), CAE (Computer Aided Engineering) and CAM (Computer Aided Manufacturing) technologies. The TowerCAD system integrates a CAD application and a database. The sys
Publicado em: 2010
-
10. Software process model simulation using abstract state machines / Simulação de modelos de processo de software utilizando máquinas de estado abstratas
The definition of software process models in software devoloper organizations is a hard work. There are many decisions to be made and approaches used to decision support: what activities should be undertaken, their sequencing, what work products must be developed, among others. The first step is to obtain the process representation, that should be transforme
Publicado em: 2009
-
11. Uma linguagem de especificação formal orientada por aspectos
The Abstract State Machines methodology offers a powerful, easy-to-use mechanism to formally specify the semantics of algorithms. The AspectM language adds to it the modularized crosscutting concern capability. AspectM is an aspect oriented formal specification language that unifies the well known benefits of formal specification, such as rigorous requiremen
Publicado em: 2007