MODEL NET: A REPRESENTATION OF THE STATIC STRUCTURE OF MODELBASE

Model net proposed in this paper is a kind of directed graph used to represent and analyze the static structure of a modelbase. After the formal definition of the model net was given, a construction algorithm is introduced. Then, two simplification algorithms are put forward to show how this approach can reduce the computational complexity of model composition for a specific decision problem. In succession, a model composition algorithm is worked out based on the simplification algorithms. As a result, this algorithm is capable of finding out all the candidate composite models for a specific decision problem. Finally, several advantages of the model net are discussed briefly.

Download Full-text

A formal definition of the biogeographic Paramo-Punan subregion and its provinces, based mainly on animal taxa

Revista del Museo Argentino de Ciencias Naturales ◽

10.22179/revmacn.3.105 ◽

2001 ◽

Vol 3 ◽

pp. 1-12 ◽

Cited By ~ 10

Author(s):

Juan Morrone

Keyword(s):

Formal Definition ◽

Definition Of

Download Full-text

A Formal Definition of Logic Topology for All-to-One Reduces in Distributed Memory Parallel Computing

2009 International Conference on Intelligent Human-Machine Systems and Cybernetics ◽

10.1109/ihmsc.2009.241 ◽

2009 ◽

Cited By ~ 1

Author(s):

Yuqing Xiong

Keyword(s):

Parallel Computing ◽

Distributed Memory ◽

Formal Definition ◽

Logic Topology ◽

Definition Of

Download Full-text

Logical Decision Problems and Complexity of Logic Programs

Fundamenta Informaticae ◽

10.3233/fi-1987-10102 ◽

1987 ◽

Vol 10 (1) ◽

pp. 1-33

Author(s):

Egon Börger ◽

Ulrich Löwen

Keyword(s):

Fixed Point ◽

Computational Complexity ◽

Decision Problem ◽

Decision Problems ◽

Complexity Classes ◽

Logic Programs ◽

Finite Structures ◽

Syntactic Restrictions

We survey and give new results on logical characterizations of complexity classes in terms of the computational complexity of decision problems of various classes of logical formulas. There are two main approaches to obtain such results: The first approach yields logical descriptions of complexity classes by semantic restrictions (to e.g. finite structures) together with syntactic enrichment of logic by new expressive means (like e.g. fixed point operators). The second approach characterizes complexity classes by (the decision problem of) classes of formulas determined by purely syntactic restrictions on the formation of formulas.

Download Full-text

Students’ Understanding on Formal Definition of Limit

Journal of Physics Conference Series ◽

10.1088/1742-6596/1752/1/012082 ◽

2021 ◽

Vol 1752 (1) ◽

pp. 012082

Author(s):

Nurdin ◽

S F Assagaf ◽

F Arwadi

Keyword(s):

Formal Definition ◽

Definition Of

Download Full-text

Diagnosis Rule Discovery Based on Causality in the Context of Fault Diagnosis in Rotating Machinery

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.532.113 ◽

2014 ◽

Vol 532 ◽

pp. 113-117

Author(s):

Zhou Jin ◽

Ru Jing Wang ◽

Jie Zhang

Keyword(s):

Fault Diagnosis ◽

General Framework ◽

Complex Structure ◽

Rotating Machinery ◽

Massive Data ◽

Formal Definition ◽

Rule Discovery ◽

Rule Based ◽

Simple Implementation ◽

Definition Of

The rotating machineries in a factory usually have the characteristics of complex structure and highly automated logic, which generated a large amounts of monitoring data. It is an infeasible task for uses to deal with the massive data and locate fault timely. In this paper, we explore the causality between symptom and fault in the context of fault diagnosis in rotating machinery. We introduce data mining into fault diagnosis and provide a formal definition of causal diagnosis rule based on statistic test. A general framework for diagnosis rule discovery based on causality is provided and a simple implementation is explored with the purpose of providing some enlightenment to the application of causality discovery in fault diagnosis of rotating machinery.

Download Full-text

Time to Harmonize Dengue Nomenclature and Classification

Viruses ◽

10.3390/v10100569 ◽

2018 ◽

Vol 10 (10) ◽

pp. 569 ◽

Cited By ~ 4

Author(s):

Lize Cuypers ◽

Pieter Libin ◽

Peter Simmonds ◽

Ann Nowé ◽

Jorge Muñoz-Jordán ◽

...

Keyword(s):

Genetic Diversity ◽

Dengue Virus ◽

Classification System ◽

Formal Definition ◽

Classification Procedure ◽

Genotype 2 ◽

Global Spread ◽

Significant Burden ◽

Definition Of ◽

Epidemiological Characteristics

Dengue virus (DENV) is estimated to cause 390 million infections per year worldwide. A quarter of these infections manifest clinically and are associated with a morbidity and mortality that put a significant burden on the affected regions. Reports of increased frequency, intensity, and extended geographical range of outbreaks highlight the virus’s ongoing global spread. Persistent transmission in endemic areas and the emergence in territories formerly devoid of transmission have shaped DENV’s current genetic diversity and divergence. This genetic layout is hierarchically organized in serotypes, genotypes, and sub-genotypic clades. While serotypes are well defined, the genotype nomenclature and classification system lack consistency, which complicates a broader analysis of their clinical and epidemiological characteristics. We identify five key challenges: (1) Currently, there is no formal definition of a DENV genotype; (2) Two different nomenclature systems are used in parallel, which causes significant confusion; (3) A standardized classification procedure is lacking so far; (4) No formal definition of sub-genotypic clades is in place; (5) There is no consensus on how to report antigenic diversity. Therefore, we believe that the time is right to re-evaluate DENV genetic diversity in an essential effort to provide harmonization across DENV studies.

Download Full-text

Concepts of Augmented Image Space and Transformed Feature Space for Efficient Visual Servoing of an “Eye-in-Hand Robot”

Robotica ◽

10.1017/s0263574700010250 ◽

1991 ◽

Vol 9 (2) ◽

pp. 203-212 ◽

Cited By ~ 8

Author(s):

Won Jang ◽

Kyungjin Kim ◽

Myungjin Chung ◽

Zeungnam Bien

Keyword(s):

Visual Feedback ◽

Visual Servoing ◽

Industrial Robot ◽

Robot Vision ◽

Feature Space ◽

Image Features ◽

Image Space ◽

Formal Definition ◽

Computational Burden ◽

Definition Of

SUMMARYFor efficient visual servoing of an “eye-in-hand” robot, the concepts of Augmented Image Space and Transformed Feature Space are presented in the paper. A formal definition of image features as functionals is given along with a technique to use defined image features for visual servoing. Compared with other known methods, the proposed concepts reduce the computational burden for visual feedback, and enhance the flexibility in describing the vision-based task. Simulations and real experiments demonstrate that the proposed concepts are useful and versatile tools for the industrial robot vision tasks, and thus the visual servoing problem can be dealt with more systematically.

Download Full-text