Kyoichi NAKASHIMA


Mathematical Foundation on Static Hazards in Multiple-Valued Logic Circuits
Noboru TAKAGI Kyoichi NAKASHIMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/06/01
Vol. E86-A  No. 6  pp. 1525-1534
Type of Manuscript:  PAPER
Category: VLSI Design Technology and CAD
Keyword: 
multiple-valued logicstatic hazardprime implicants expression
 Summary | Full Text:PDF

A Logical Model for Representing Ambiguous States in Multiple-Valued Logic Systems
Noboru TAKAGI Kyoichi NAKASHIMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/10/25
Vol. E82-D  No. 10  pp. 1344-1351
Type of Manuscript:  PAPER
Category: Computer Hardware and Design
Keyword: 
multiple-valued logicset-valued functionsregularitymonotonicityexpressions
 Summary | Full Text:PDF

Characterization of Monotonic Multiple-Valued Functions and Their Logic Expressions
Kyoichi NAKASHIMA Yutaka NAKAMURA Noboru TAKAGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/06/25
Vol. E81-D  No. 6  pp. 496-503
Type of Manuscript:  PAPER
Category: Computer Hardware and Design
Keyword: 
p-valued functionsmonotonicitypartial-ordering relationlogic expression
 Summary | Full Text:PDF

A Necessary and Sufficient Condition for Kleenean Functions
Noboru TAKAGI Kyoichi NAKASHIMA Masao MUKAIDONO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/11/25
Vol. E79-D  No. 11  pp. 1511-1517
Type of Manuscript:  PAPER
Category: Computer Hardware and Design
Keyword: 
Kleenean functionfuzzy logicKleene algebramultiple-valued logicambiguity
 Summary | Full Text:PDF

Optimal Redundancy of Systems for Minimizing the Probability of Dangerous Errors
Kyoichi NAKASHIMA Hitoshi MATZNAGA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/01/25
Vol. E77-A  No. 1  pp. 228-236
Type of Manuscript:  Special Section PAPER (Special Section on Reliability)
Category: Reliability and Safety
Keyword: 
m-valued output systemdangerous errorsn-redundant systemk-out-of-n redundancyseries-parallel redundancydistance between two structure functions
 Summary | Full Text:PDF

Some Properties and a Necessary and Sufficient Condition for Extended Kleene-Stone Logic Functions
Noboru TAKAGI Kyoichi NAKASHIMA Masao MUKAIDONO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/05/25
Vol. E76-D  No. 5  pp. 533-539
Type of Manuscript:  Special Section PAPER (Special Issue on Multiple-Valued Logic)
Category: Logic and Logic Functions
Keyword: 
fuzzy logicmultiple-valued logicKleene-Stone algebraspartial order relation
 Summary | Full Text:PDF

Fundametal Properties of Multiple-Valued Logic Functions Monotonic with Respect to Ambiguity
Kyoichi NAKASHIMA Noboru TAKAGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/05/25
Vol. E76-D  No. 5  pp. 540-547
Type of Manuscript:  Special Section PAPER (Special Issue on Multiple-Valued Logic)
Category: Logic and Logic Functions
Keyword: 
p-valued logic functionsfuzzy logicambiguity relationmonotonicity with respect to ambiguity (A-monotonicity)logic formula
 Summary | Full Text:PDF

Automatic Fingerprint Classifier and Its Application to Access Control
Satoshi HASHIMOTO Yutaka HATA Kyoichi NAKASHIMA Kazuharu YAMATO 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/07/25
Vol. E73-E  No. 7  pp. 1120-1126
Type of Manuscript:  Special Section PAPER (Special Issue on Cryptography and Information Security)
Category: Applications
Keyword: 
 Summary | Full Text:PDF

A Necessary and Sufficient Condition for m-Valued Majority Functions
Yutaka HATA Kyoichi NAKASHIMA Kazuharu YAMATO 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1987/08/25
Vol. E70-E  No. 8  pp. 715-718
Type of Manuscript:  LETTER
Category: Automaton, Language and Theory of Computing
Keyword: 
 Summary | Full Text:PDF

Testing and Realization of Three-Valued Majority Functions by Complete Monotonicity
Kazuharu YAMATO Kyoichi NAKASHIMA Yutaka HATA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1986/08/25
Vol. E69-E  No. 8  pp. 852-858
Type of Manuscript:  PAPER
Category: Computer System
Keyword: 
 Summary | Full Text:PDF

Synthesis Method of Incompletely Specified Ternary Function Based on Some Polyphecks
Kazuharu YAMATO Kyoichi NAKASHIMA Yoshiaki MIYOSHI Naohiro FUKUDA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1984/03/25
Vol. E67-E  No. 3  pp. 166-167
Type of Manuscript:  LETTER
Category: Multi-Valued Logic
Keyword: 
 Summary | Full Text:PDF

Some Properties of Multi-State Monotone Systems and Their Boolean Structure Functions
Kyoichi NAKASHIMA Kazuharu YAMATO 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1983/09/25
Vol. E66-E  No. 9  pp. 535-542
Type of Manuscript:  PAPER
Category: System Reliability
Keyword: 
 Summary | Full Text:PDF

Synthesis Method for Ternary Logic Function Based on NOR-Type Polypheck
Michiaki YANAGITA Yoshiaki MIYOSHI Kyoichi NAKASHIMA Kazuharu YAMATO 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1983/05/25
Vol. E66-E  No. 5  pp. 313-320
Type of Manuscript:  PAPER
Category: Automata and Languages
Keyword: 
 Summary | Full Text:PDF

Methods for Determining Failure-Data Collection Scheme of System Components by Bayesian Technique
Kyoichi NAKASHIMA Kazuharu YAMATO Tsuyoshi KAMADA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1982/04/25
Vol. E65-E  No. 4  pp. 194-201
Type of Manuscript:  PAPER
Category: Miscellaneous
Keyword: 
 Summary | Full Text:PDF

Analysis of Fault Trees by Using Tree Sequences
Kyoichi NAKASHIMA Yoshio HATTORI 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1977/04/25
Vol. E60-E  No. 4  pp. 175-182
Type of Manuscript:  PAPER
Category: Circuit and Systems
Keyword: 
 Summary | Full Text:PDF