• Nenhum resultado encontrado

Finite-State Machine

Bidirectional finite state machine based testing

Bidirectional finite state machine based testing

... Esta tese visa desenvolver uma nova metodologia que combina Model-Based Testing (MBT) e Bidirectional Transformations (Bx). Mais precisamente, o m´etodo de teste de soft- ware usado ´e Black-Box Testing (BBT), onde o ...

35

Finite state machine modelling of the macro-economy

Finite state machine modelling of the macro-economy

... Abstract—In this paper we model macro-economic policies with a Finite State Machine (FSM). The FSM is made of several states and transitions between states, in which a state is modelled by a ...

5

Survey on Services Composition Synthesis Model

Survey on Services Composition Synthesis Model

... pure finite state machine to model service, instead they proposed a generic transition system which are suitable for such simulation model, capable of dealing with non- deterministic ...are ...

10

Lat. Am. j. solids struct.  vol.13 número9

Lat. Am. j. solids struct. vol.13 número9

... In most of the published works on the analysis of cracked FG structures, analytical methods (Guo & Noda 2014), energy methods combined with the standard FE analysis (Walters et al. 2006; Zhang et al. 2014), or the ...

25

UML metamodelling and ERP software solutions: experiments with Microsoft DSL tools

UML metamodelling and ERP software solutions: experiments with Microsoft DSL tools

... Figure 32 – Excerpt of the file DomainClasses.cs containing generated code for the domain classes in the domain model of a possible state machine diagram regarding the Primavera ERP ge[r] ...

18

Predicting Market Impact Costs Using Nonparametric Machine Learning Models.

Predicting Market Impact Costs Using Nonparametric Machine Learning Models.

... In this paper, we introduce nonparametric machine learning approaches to estimate and predict market impact costs more accurately than the existing parametric approaches. To our knowledge, this is the first ...

13

A Survey of Fading Models for Mobile Radio Channel Characterization

A Survey of Fading Models for Mobile Radio Channel Characterization

... investigated finite state and first order models are not sufficient to investigate the performance of 3G and 4G upcoming network, there have been some attempts to use higher order Markov models and Hidden ...

9

Detection of Alzheimer’s disease by displacement field and machine learning

Detection of Alzheimer’s disease by displacement field and machine learning

... Results. The results showed the “DF + PCA + TSVM” achieved the accuracy of 92.75 ± 1.77, sensitivity of 90.56 ± 1.15, specificity of 93.37 ± 2.05, and precision of 79.61 ± 2.21. This result is better than or comparable ...

29

Electrical Machines Monitoring System – an approach based on Internet of Things

Electrical Machines Monitoring System – an approach based on Internet of Things

... This induction motor duty cycle contains few different loads, not more than four in each cycle. Each load is performed for adequate term to enable the machine to accomplish its thermal equilibrium (Figure 3-13). ...

144

Braz. J. Phys.  vol.33 número3

Braz. J. Phys. vol.33 número3

... metastable state, before the terminal equilibrium state is ...a finite number of particles, if one waits a sufficiently long time, the system experiences a crossover from the metastable state ...

5

A review of the quantification and classification of pigmented skin lesions: from dedicated to hand-held devices

A review of the quantification and classification of pigmented skin lesions: from dedicated to hand-held devices

... Computer-assisted state-of-the-art quantification and classification methods for skin lesion assessment, based on color, texture and shape features, and using machine-[r] ...

34

The knowledge domain of affective computing: a scientometric review

The knowledge domain of affective computing: a scientometric review

... “Toward machine emotional intelligence: Analysis of affective physiological state” (Picard, Vyzas & Healey, 2001) are the two most creative references ever in this area, according to their high sigma ...

18

On the relevance of the neurobiological analogue of the finite-state architecture

On the relevance of the neurobiological analogue of the finite-state architecture

... It has been suggested that classical cognitive models of language can be viewed as approximate abstract descriptions of properties of the brain. It is well accepted that neurobiological and functional brain constraints ...

8

Inverse calibration of a Groundwater Flow Model for the Almádena - Odeáxere Aquifer System (Algarve-Portugal)

Inverse calibration of a Groundwater Flow Model for the Almádena - Odeáxere Aquifer System (Algarve-Portugal)

... The mesh was generated using the Delaunay TMesh method, which was developed at the Swiss Institute of Technology (Laboratory of Geology, Lausanne, Switzerland) and is composed of 7494 nodes and 14533 triangular ...

73

Braz. J. Chem. Eng.  vol.22 número1

Braz. J. Chem. Eng. vol.22 número1

... Abstract - The modeling and simulation of mold filling must include a method to capture the interface formed between the inlet fluid and the fluid that was initially in the mold. A commonly used front-capturing method in ...

12

Project Work presented as partial requirement for obtaining the Master’s degree in Information Management

Project Work presented as partial requirement for obtaining the Master’s degree in Information Management

... fields. Machine learning approaches are applied to solve real-world business problems, like found in financial services, transportation, or in marketing and sales ...businesses, machine learning is used to ...

129

UML-CAFE:: um ambiente para especificar e verificar sistemas de comércio eletrônico

UML-CAFE:: um ambiente para especificar e verificar sistemas de comércio eletrônico

... Web servers and traditional WWW servers act in well distinct contexts [22]. There are many differences between these types of servers. However, they can be differentiated by the additional functionalities supported and ...

156

A single-server Markovian queuing system with discouraged arrivals and retention of reneged customers

A single-server Markovian queuing system with discouraged arrivals and retention of reneged customers

... The model analysis is limited to finite capacity. The infinite capacity case of the model can also be studied. Further, the model can be solved in transient state to get time- dependent results. The ...

9

New active machine tool drive mounting on the frame

New active machine tool drive mounting on the frame

... This configuration allows movement of the secondary part of the motor in range cca ± 10 mm. The additional damping of spring connection is very important for the motion axis stability hence the viscose damper is applied. ...

6

Show all 9440 documents...

temas relacionados