Results 11 to 20 of about 704,956 (316)
Relationship Prediction Based on Graph Model for Steam Turbine Control Valve
The control valve is an important piece of equipment in the steam turbine, which frequently suffers from the fault of the dead zone. The graph model is a promising method for dead zone detection, yet establishing an accurate and completed graph topology ...
Yi-Jing Zhang, Li-Sheng Hu
doaj +1 more source
Testing Graph Isotopy on Surfaces [PDF]
31 pages, to appear in Discrete and Computational ...
Éric Colin de Verdière +1 more
openaire +3 more sources
Testing Higher-Order Clusterability on Graphs
Analysis of higher-order organizations, usually small connected subgraphs called motifs, is a fundamental task on complex networks. This paper studies a new problem of testing higher-order clusterability: given query access to an undirected graph, can we judge whether this graph can be partitioned into a few clusters of highly-connected motifs?
Yifei Li +2 more
openaire +2 more sources
A comparison of classical scheduling approaches in power-constrained block-test scheduling [PDF]
Classical scheduling approaches are applied here to overcome the problem of unequal-length block-test scheduling under power dissipation constraints. List scheduling-like approaches are proposed first as greedy algorithms to tackle the fore mentioned ...
Wang, Xiaojun +6 more
core +1 more source
Testing Cluster Structure of Graphs [PDF]
We study the problem of recognizing the spectral cluster structure of a graph in the framework of property testing in the bounded degree model. A graph is defined to be \((k,\phi_{\textrm{in}},\phi_{\textrm{out}})\)
Artur Czumaj, Pan Peng, Christian Sohler
openaire +3 more sources
Memory read faults: taxonomy and automatic test generation [PDF]
This paper presents an innovative algorithm for the automatic generation of March tests. The proposed approach is able to generate an optimal March test for an unconstrained set of memory faults in very low computation time.
Di Natale, Giorgio +7 more
core +1 more source
The effectiveness of hypertext media in improving graph interpretation ability is investigated in this paper. In addition, joint ability of the formal thinking to improve the graph ability of prospective students is considered.
S. R. Manurung +3 more
doaj +1 more source
Testing the expansion of a graph
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Asaf Nachmias, Asaf Shapira
openaire +3 more sources
ANALISIS KEMAMPUAN PEMAHAMAN GRAFIK KINEMATIKA SISWA SEKOLAH MENENGAH ATAS
This research is aimed to know understanding graph of kinematic student with using Criteria Respon Index (CRI). The kind of research is descriptive research that described and interpretated object as the real condition.
Surya Gumilar
doaj +1 more source
ProTest: An Automatic Test Environment for B Specifications [PDF]
We present ProTest, an automatic test environment for B specifications. B is a model-oriented notation where systems are specified in terms of abstract states and operations on abstract states.
Satpathy, Manoranjan +2 more
core +1 more source

