Loading…
Four-Valued Logic, Star Algorithm and Their Application
This paper is a survey of the works done in Chongqing University on Four-Valued Logic which is useful for describing the dynamic behaviors of logical objects. The mathematical Basis of Four-Valued Logic has been stated. The deduction method---Star Algorithm has been introduced. Three kinds of applic...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Report |
| Language: | English |
| Subjects: | |
| Online Access: | Request full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| cited_by | |
|---|---|
| cites | |
| container_end_page | |
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | Chen,T. H Yuan,Y. G Liu,Z. M Zhang,Z. M |
| description | This paper is a survey of the works done in Chongqing University on Four-Valued Logic which is useful for describing the dynamic behaviors of logical objects. The mathematical Basis of Four-Valued Logic has been stated. The deduction method---Star Algorithm has been introduced. Three kinds of applications based on different explanations of the component have been dealt with, such as the fault detection of the combinational and the sequential circuits, the hazardous test generation as well as the transition logic.
This article is from 'Proceedings of the International Symposium on Multiple-Valued Logic (13th) Held at Kyoto, Japan on May 23-25, 1983,' AD-A136 457, p314-325. |
| format | report |
| fullrecord | <record><control><sourceid>dtic_1RU</sourceid><recordid>TN_cdi_dtic_stinet_ADP002370</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>ADP002370</sourcerecordid><originalsourceid>FETCH-dtic_stinet_ADP0023703</originalsourceid><addsrcrecordid>eNrjZDB3yy8t0g1LzClNTVHwyU_PTNZRCC5JLFJwzEnPL8osychVSMxLUQjJSM0EihUU5GQmJ5Zk5ufxMLCmJeYUp_JCaW4GGTfXEGcP3ZSSzOT44pLMvNSSeEeXAAMDI2NzA2MC0gCmRyo4</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>report</recordtype></control><display><type>report</type><title>Four-Valued Logic, Star Algorithm and Their Application</title><source>DTIC Technical Reports</source><creator>Chen,T. H ; Yuan,Y. G ; Liu,Z. M ; Zhang,Z. M</creator><creatorcontrib>Chen,T. H ; Yuan,Y. G ; Liu,Z. M ; Zhang,Z. M ; CHONGQING UNIV (CHINA)</creatorcontrib><description>This paper is a survey of the works done in Chongqing University on Four-Valued Logic which is useful for describing the dynamic behaviors of logical objects. The mathematical Basis of Four-Valued Logic has been stated. The deduction method---Star Algorithm has been introduced. Three kinds of applications based on different explanations of the component have been dealt with, such as the fault detection of the combinational and the sequential circuits, the hazardous test generation as well as the transition logic.
This article is from 'Proceedings of the International Symposium on Multiple-Valued Logic (13th) Held at Kyoto, Japan on May 23-25, 1983,' AD-A136 457, p314-325.</description><language>eng</language><subject>Algorithms ; Behavior ; Boolean algebra ; China ; Circuits ; Component Reports ; Dynamics ; Fault detection ; Faults ; Hazards ; Logic ; Logic circuits ; Multiple valued logic ; Quaternary logic ; Reliability ; Sequences ; Sequential circuits ; Star algorithms ; Stars ; Stuck faults ; Symposia ; Transitions</subject><creationdate>1983</creationdate><rights>APPROVED FOR PUBLIC RELEASE</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>230,776,881,27546,27547</link.rule.ids><linktorsrc>$$Uhttps://apps.dtic.mil/sti/citations/ADP002370$$EView_record_in_DTIC$$FView_record_in_$$GDTIC$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Chen,T. H</creatorcontrib><creatorcontrib>Yuan,Y. G</creatorcontrib><creatorcontrib>Liu,Z. M</creatorcontrib><creatorcontrib>Zhang,Z. M</creatorcontrib><creatorcontrib>CHONGQING UNIV (CHINA)</creatorcontrib><title>Four-Valued Logic, Star Algorithm and Their Application</title><description>This paper is a survey of the works done in Chongqing University on Four-Valued Logic which is useful for describing the dynamic behaviors of logical objects. The mathematical Basis of Four-Valued Logic has been stated. The deduction method---Star Algorithm has been introduced. Three kinds of applications based on different explanations of the component have been dealt with, such as the fault detection of the combinational and the sequential circuits, the hazardous test generation as well as the transition logic.
This article is from 'Proceedings of the International Symposium on Multiple-Valued Logic (13th) Held at Kyoto, Japan on May 23-25, 1983,' AD-A136 457, p314-325.</description><subject>Algorithms</subject><subject>Behavior</subject><subject>Boolean algebra</subject><subject>China</subject><subject>Circuits</subject><subject>Component Reports</subject><subject>Dynamics</subject><subject>Fault detection</subject><subject>Faults</subject><subject>Hazards</subject><subject>Logic</subject><subject>Logic circuits</subject><subject>Multiple valued logic</subject><subject>Quaternary logic</subject><subject>Reliability</subject><subject>Sequences</subject><subject>Sequential circuits</subject><subject>Star algorithms</subject><subject>Stars</subject><subject>Stuck faults</subject><subject>Symposia</subject><subject>Transitions</subject><fulltext>true</fulltext><rsrctype>report</rsrctype><creationdate>1983</creationdate><recordtype>report</recordtype><sourceid>1RU</sourceid><recordid>eNrjZDB3yy8t0g1LzClNTVHwyU_PTNZRCC5JLFJwzEnPL8osychVSMxLUQjJSM0EihUU5GQmJ5Zk5ufxMLCmJeYUp_JCaW4GGTfXEGcP3ZSSzOT44pLMvNSSeEeXAAMDI2NzA2MC0gCmRyo4</recordid><startdate>198305</startdate><enddate>198305</enddate><creator>Chen,T. H</creator><creator>Yuan,Y. G</creator><creator>Liu,Z. M</creator><creator>Zhang,Z. M</creator><scope>1RU</scope><scope>BHM</scope></search><sort><creationdate>198305</creationdate><title>Four-Valued Logic, Star Algorithm and Their Application</title><author>Chen,T. H ; Yuan,Y. G ; Liu,Z. M ; Zhang,Z. M</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-dtic_stinet_ADP0023703</frbrgroupid><rsrctype>reports</rsrctype><prefilter>reports</prefilter><language>eng</language><creationdate>1983</creationdate><topic>Algorithms</topic><topic>Behavior</topic><topic>Boolean algebra</topic><topic>China</topic><topic>Circuits</topic><topic>Component Reports</topic><topic>Dynamics</topic><topic>Fault detection</topic><topic>Faults</topic><topic>Hazards</topic><topic>Logic</topic><topic>Logic circuits</topic><topic>Multiple valued logic</topic><topic>Quaternary logic</topic><topic>Reliability</topic><topic>Sequences</topic><topic>Sequential circuits</topic><topic>Star algorithms</topic><topic>Stars</topic><topic>Stuck faults</topic><topic>Symposia</topic><topic>Transitions</topic><toplevel>online_resources</toplevel><creatorcontrib>Chen,T. H</creatorcontrib><creatorcontrib>Yuan,Y. G</creatorcontrib><creatorcontrib>Liu,Z. M</creatorcontrib><creatorcontrib>Zhang,Z. M</creatorcontrib><creatorcontrib>CHONGQING UNIV (CHINA)</creatorcontrib><collection>DTIC Technical Reports</collection><collection>DTIC STINET</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Chen,T. H</au><au>Yuan,Y. G</au><au>Liu,Z. M</au><au>Zhang,Z. M</au><aucorp>CHONGQING UNIV (CHINA)</aucorp><format>book</format><genre>unknown</genre><ristype>RPRT</ristype><btitle>Four-Valued Logic, Star Algorithm and Their Application</btitle><date>1983-05</date><risdate>1983</risdate><abstract>This paper is a survey of the works done in Chongqing University on Four-Valued Logic which is useful for describing the dynamic behaviors of logical objects. The mathematical Basis of Four-Valued Logic has been stated. The deduction method---Star Algorithm has been introduced. Three kinds of applications based on different explanations of the component have been dealt with, such as the fault detection of the combinational and the sequential circuits, the hazardous test generation as well as the transition logic.
This article is from 'Proceedings of the International Symposium on Multiple-Valued Logic (13th) Held at Kyoto, Japan on May 23-25, 1983,' AD-A136 457, p314-325.</abstract><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_dtic_stinet_ADP002370 |
| source | DTIC Technical Reports |
| subjects | Algorithms Behavior Boolean algebra China Circuits Component Reports Dynamics Fault detection Faults Hazards Logic Logic circuits Multiple valued logic Quaternary logic Reliability Sequences Sequential circuits Star algorithms Stars Stuck faults Symposia Transitions |
| title | Four-Valued Logic, Star Algorithm and Their Application |
| url | http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-24T12%3A01%3A42IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-dtic_1RU&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=unknown&rft.btitle=Four-Valued%20Logic,%20Star%20Algorithm%20and%20Their%20Application&rft.au=Chen,T.%20H&rft.aucorp=CHONGQING%20UNIV%20(CHINA)&rft.date=1983-05&rft_id=info:doi/&rft_dat=%3Cdtic_1RU%3EADP002370%3C/dtic_1RU%3E%3Cgrp_id%3Ecdi_FETCH-dtic_stinet_ADP0023703%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |