Behavioural description and VLSI verification

1986 ◽  
Vol 133 (3) ◽  
pp. 127 ◽  
Author(s):  
G.J. Milne
Keyword(s):  
Behavioural Description

A DIVIDE-AND-CONQUER STRATEGY FOR QUALITATIVE SIMULATION AND FUZZY IDENTIFICATION OF COMPLEX DYNAMICAL SYSTEMS

2011 ◽  
Vol 19 (03) ◽  
pp. 423-452 ◽  
Author(s):  
RAFFAELLA GUGLIELMANN ◽  
LILIANA IRONI
Keyword(s):  
Scale Up ◽  
Fuzzy Rule ◽  
Qualitative Reasoning ◽  
Divide And Conquer ◽  
Rule Base ◽  
Qualitative Simulation ◽  
Biological Domain ◽  
Large Systems ◽  
Behavioural Description

Fuzzy systems properly integrated with Qualitative Reasoning approaches yield a hybrid identification method, called FS-QM, that outperforms traditional data-driven approaches in terms of robustness, interpretability and efficiency in both rich and poor data contexts. This results from the embedment of the entire system dynamics predicted by the simulation of its qualitative model, represented by fuzzy-rules, into the fuzzy system. However, the intrinsic limitation of qualitative simulation to scale up to complex and large systems significantly reduces its efficient applicability to real-world problems. The novelty of this paper deals with a divide-and-conquer approach that aims at making qualitative simulation tractable and the derived behavioural description comprehensible and exhaustive, and consequently usable to perform system identification. The partition of the complete model into smaller ones prevents the generation of a complete temporal ordering of all unrelated events, that is one of the major causes of intractable branching in qualitative simulation. The set of generated behaviours is drastically but beneficially reduced as it still captures the entire range of possible dynamical distinctions. Thus, the properties of the correspondent fuzzy-rule base, that guarantee robustness and interpretability of the identified model, are preserved. The strategy we propose is discussed through a case study from the biological domain.

Two Simulation Tools for Testing ATM Resource Allocation Strategies

SIMULATION ◽  
1997 ◽  
Vol 68 (1) ◽  
pp. 9-22
Author(s):  
Raffaele Bolla ◽  
Ahmad Dalal'Ah ◽  
Franco Davoli ◽  
Mario Marchese
Keyword(s):  
Resource Allocation ◽  
Call Admission Control ◽  
Asynchronous Transfer Mode ◽  
Switching Element ◽  
Simulation Tools ◽  
Atm Switch ◽  
Transfer Mode ◽  
Routing Schemes ◽  
Behavioural Description ◽  
Allocation Strategies

Two event-driven simulation tools aimed at testing access control and routing mechanisms in an Asynchronous Transfer Mode (ATM) environment are presented. The first one is dedicated to the behavioural description of an ATM Virtual Circuit (VC) switch. The purpose is to test resource allocation and Call Admission Control (CAC) strategies, so only the relevant events for this objective are considered and some important functions (e.g., the switching element) for a complete description of an ATM switch are not explicitly modeled. The second simulator has been designed to test routing strategies for an ATM network. In such a case, a higher level of abstraction than in the previous one is necessary and, again, only the meaningful events to the aim are taken into account. Some resource allocation, CAC, and routing schemes are also reported, along with the description of the simulation tools. Several simulation results are discussed, in order to assess their performance.

scholarly journals Measuring participant performance: An alternative

1990 ◽  
Vol 6 (2) ◽  
Author(s):  
Susan Bumpass ◽  
David Wade
Keyword(s):  
Preliminary Results ◽  
Behavioural Description

<span>This article presents the reasons for having faculty appraise participant performance during training. A methodology used to develop such an appraisal is explained and a sample of the behavioural description used is provided. The preliminary results suggest that faculty appraisal of participants' performance during training is a useful evaluation alternative.</span>

What Kind of Associative and Inferential Processes?

2016 ◽  
Vol 8 (1) ◽  
pp. 143-161 ◽  
Author(s):  
Marco Mazzone
Keyword(s):  
Empirical Research ◽  
Cognitive Processes ◽  
Contextual Information ◽  
Emergent Properties ◽  
Two Stage ◽  
Early Integration ◽  
Accessible Information ◽  
Automatic Activation ◽  
Behavioural Description ◽  
Sustained Activation

Rubio-Fernández (2013) is a noteworthy instance of the recent efforts of grounding speculative pragmatic models into empirical research. However, it also shows that between pragmatic theories and the relevant psycholinguist research there are still conceptual gaps. Specifically, Rubio-Fernández reports two studies concerning emergent properties, that is, properties that are not associatively activated by related concepts but need to be inferred thanks to contextual information. These studies seem to show that emergent properties are activated by an early integration of associative and inferential processes and this is taken as evidence in favour of one-stage over two-stage models of pragmatic processing. I analyse the relevant notions of associative and inferential process in terms of, respectively, automatic activation of directly accessible information and consciously sustained activation of indirectly accessible information. These are not, however, the notions adopted in the pragmatic models considered by Rubio-Fernández. At a closer analysis, therefore, none of these models is fully compatible with her evidence. My line of argument is based on a crucial, but too often ignored, distinction between two meanings of “associative”: as a behavioural description of cognitive processes and as a model for their implementation. I also illustrate some consequences of neglecting this distinction.

scholarly journals BEHAVIOURAL DESCRIPTION OF Sapajus nigritus (GOLDFUSS, 1809) RAISED IN CAPTIVITY AT IPATINGA, MG

2014 ◽  
Vol 4 ◽  
pp. 12 ◽  
Author(s):  
Felipe Santana Machado ◽  
Claudia Guimarães Costa ◽  
Alan Loures Ribeiro
Keyword(s):  
Management Strategies ◽  
Specific Interaction ◽  
Conservation Strategies ◽  
Ecological Interactions ◽  
Natural Conditions ◽  
Focal Animal ◽  
In Captivity ◽  
Patterns Of Behavior ◽  
Behavioural Description ◽  
The Many

The maintenance of animals in captivity is one of the many ways of species preservation and allows studies that are often unattainable under natural conditions. Primate’s behavior and ecology studies supply tools for the development of conservation and management strategies. Consequently, the current research aimed to describe the patterns of behavior of a capuchin monkey, Sapajus nigritus, group raised in captivity at the Biodiversity Center of Associação Esportiva e Recreativa at Ipatinga, MG, Brazil. The Scan Sample was used with five minutes intervals. Ad libitum and Focal Animal were the complementary sampling. Twenty-three behavioral categories were recorded; this is considered average when compared to other ethograms. The behavioral class with greater prominence was foraging, however the different categories of behavior suggest a complex capacity of intra-specific interaction. The information serves as basic tools for the formulation of conservation strategies, management and to the comprehension of ecological interactions.

scholarly journals Some Behavioural Aspects of Net Theory

1988 ◽  
Vol 17 (259) ◽  
Author(s):  
P. S. Thiagarajan
Keyword(s):  
Simple System ◽  
System Model ◽  
Trace Theory ◽  
Event Structures ◽  
Sequential Mode ◽  
Sequential Processes ◽  
Behavioural Description ◽  
Behavioural Aspects ◽  
Purely Sequential ◽  
Independent Existence

<p>Net theory was initiated by C.A. Petri in the early 60's. We shall first convey the basic concerns of net theory by presenting a simple system model called elementary net systems. Then we shall give a brief sketch of some of the tools that have been proposed to describe the <em>behaviour</em> of elementary net systems.</p><p>Section 2 develops some notation and introduces a purely sequential mode of behavioural description called firing sequences. In the next section the theory of traces which have an independent existence is used to recover information concerning concurrency from the firing sequences. In section 4 the notion of non-sequential processes is introduced.</p><p>Both trace theory and the theory of non-sequential processes represent concurrency directly but handle information concerning conflict in an indirect fashion. One must work with the whole set of traces or non-sequential processes in order to talk about conflicts and that too in an indirect fashion. This disadvantage can be overcome with the help of behavioural tools called unfoldings and labelled event structures that are presented in section 5.</p>

Sign in / Sign up

Export Citation Format

Share Document