Sentence examples for hybrid graph from inspiring English sources

We study the finite model theory of Hybrid Graph Logic.

In particular, we develop pebble games for Hybrid Graph Logic and use these games to exhibit strict infinite hierarchies involving fragments of Hybrid Graph Logic when the logic is used to define problems involving finite digraphs.

Świder, G. Wszołek, Vibration analysis software based on a matrix hybrid graph transformation into a structure of a block diagram method.

The GRAFSIM program that has been used to perform dynamic analysis of considered robot model works on the basis of the matrix hybrid graph model structure into block diagrams structure transformation algorithm [G.

Hybrid Graph Logic is a logic designed for reasoning about graphs and is built from a basic modal logic, augmented with the use of nominals and a facility to verify the existence of paths in graphs.

There are two main tasks in the proposed algorithm: constructing the hybrid graph and clustering.

The GRAFSIM program realizes matrix hybrid graphs (mhg) [J.

The scope of the paper is a method of modelling vibrating mechanical systems with discrete continuous distribution of parameters and couplings by means of hybrid graphs.

Świder, Matrix hybrid graphs in description of complex, vibrating mechanical systems, in: Mechanics book 106, Silesian University of Technology Scientific Books, Gliwice, Poland, 1991 (in Polish) [1]].

Compared to transistor-level netlists, these hybrid graphs are much smaller in size, more distinguishable in structure, and are thus more suitable for labeling-based pattern matching.

Wszołek, Hybrid graphs and block diagrams in analysing mechanical systems with control, Doctoral Thesis, Silesian University of Technology, Gliwice, 2002, Poland (in Polish); J. Świder, G.Wszołek, Graphs Application in Computer Analysis of Mechanical Systems, Monograph, Silesian University Publishing Company, Gliwice, 2002, Poland (in polish)].