scholarly journals Lecture note on Boolean algebra to understand logical model of geologic structure (Part 1): Minterm Canonical form of Boolean expression

2012 ◽  
Vol 23 (2) ◽  
pp. 31-39 ◽  
Author(s):  
SHIONO Kiyoji
Keyword(s):  
Boolean Algebra ◽  
Canonical Form ◽  
Lecture Note ◽  
Geologic Structure ◽  
Boolean Expression ◽  
Logical Model

scholarly journals A logical model of HCP

2001 ◽  
Vol 26 (11) ◽  
pp. 679-684 ◽  
Author(s):  
Anatoly D. Plotnikov
Keyword(s):  
Boolean Algebra ◽  
Hamiltonian Cycle ◽  
Undirected Graph ◽  
Solution Algorithm ◽  
Boolean Expression ◽  
Logical Model ◽  
Initial Graph ◽  
Hamiltonian Cycle Problem ◽  
Logic Formulation

For an arbitrary undirected graphG, we are designing a logical model for the Hamiltonian Cycle Problem (HCP), using tools of Boolean algebra only. The obtained model is a logic formulation of the conditions for the existence of the Hamiltonian cycle, and usesmBoolean variables, wheremis the number of the edges of a graph. This Boolean expression is true if and only if an initial graph is Hamiltonian. In general, the obtained Boolean expression may have an exponential length (the number of Boolean literals) and may be used for construction of the solution algorithm.

scholarly journals Interpretation of Binary Tree for Logical Model of Geologic Structure

2009 ◽  
Vol 20 (3) ◽  
pp. 151-167 ◽  
Author(s):  
Kiyoji SHIONO ◽  
Hiroyuki YAMANE
Keyword(s):  
Binary Tree ◽  
Geologic Structure ◽  
Logical Model

Basic theory of three-dimensional landslide modeling based on the logical model of geologic structure

Landslides ◽  
2005 ◽  
Vol 2 (3) ◽  
pp. 212-220 ◽  
Author(s):  
A. Kajiyama ◽  
K. Shiono ◽  
S. Masumoto ◽  
T. Fujita
Keyword(s):  
Three Dimensional ◽  
Basic Theory ◽  
Geologic Structure ◽  
Logical Model ◽  
Landslide Modeling

scholarly journals On Generalized Transitive Matrices

2011 ◽  
Vol 2011 ◽  
pp. 1-16
Author(s):  
Jing Jiang ◽  
Lan Shu ◽  
Xinan Tian
Keyword(s):  
Boolean Algebra ◽  
Distributive Lattice ◽  
Canonical Form ◽  
Transitive Closure ◽  
Fuzzy Algebra

Transitivity of generalized fuzzy matrices over a special type of semiring is considered. The semiring is called incline algebra which generalizes Boolean algebra, fuzzy algebra, and distributive lattice. This paper studies the transitive incline matrices in detail. The transitive closure of an incline matrix is studied, and the convergence for powers of transitive incline matrices is considered. Some properties of compositions of incline matrices are also given, and a new transitive incline matrix is constructed from given incline matrices. Finally, the issue of the canonical form of a transitive incline matrix is discussed. The results obtained here generalize the corresponding ones on fuzzy matrices and lattice matrices shown in the references.

scholarly journals Bitwise Operation Useful to Analyze Logical Model of Geologic Structure

2015 ◽  
Vol 26 (3) ◽  
pp. 121-134 ◽  
Author(s):  
Kiyoji SHIONO ◽  
Toshiaki OHKUMA
Keyword(s):  
Geologic Structure ◽  
Logical Model

scholarly journals Algorithm to Determine Logical Model of Geologic Structure Based on Field Survey Data

2012 ◽  
Vol 23 (1) ◽  
pp. 3-16 ◽  
Author(s):  
Satomi IWAMURA ◽  
Shinji MASUMOTO ◽  
Kiyoji SHIONO
Keyword(s):  
Survey Data ◽  
Field Survey ◽  
Geologic Structure ◽  
Logical Model

scholarly journals Graphical Expression for Logical Model of Geologic Structure by Binary Tree

2008 ◽  
Vol 19 (4) ◽  
pp. 209-221 ◽  
Author(s):  
Kiyoji SHIONO ◽  
Hiroyuki YAMANE
Keyword(s):  
Binary Tree ◽  
Geologic Structure ◽  
Logical Model
Sign in / Sign up

Export Citation Format

Share Document