Error detection/correction and fault detection/recovery – Pulse or data error handling – Digital data error correction
Patent
1997-10-30
2000-11-21
Le, Dieu-Minh T.
Error detection/correction and fault detection/recovery
Pulse or data error handling
Digital data error correction
714 26, 714737, 706 47, G06F 1100
Patent
active
06151697&
ABSTRACT:
An apparatus and method of processing signals is provided wherein an input signal has components representing aspects of a physical entity which are in a known state and other components which are unknown. The apparatus and method processes the signal in accordance with stored data representing rules which indicate which combinations of the components are possible. Rules are identified which involve the known components and all of the combinations consistent with the known states are identified. If all of these combinations have the same value for a particular component, the component is determined to have that value in the output signal. The rules are stored as binary representations of the possible combinations, and the components of the input and output signals may represent two allowable states, tautology (undefined state) and inconsistency (inallowable state).
REFERENCES:
patent: 3706977 (1972-12-01), Dailey et al.
patent: 3706978 (1972-12-01), Dailey et al.
patent: 4084260 (1978-04-01), Fleming et al.
patent: 4385371 (1983-05-01), Shafer et al.
patent: 4443860 (1984-04-01), Vidalin
patent: 4777585 (1988-10-01), Kokawa et al.
patent: 4849905 (1989-07-01), Loeb et al.
patent: 4862407 (1989-08-01), Fette et al.
patent: 4890240 (1989-12-01), Loeb et al.
patent: 4908778 (1990-03-01), Moriyasu et al.
IBM Journal of Research and Development, vol. 30, No. 1, pp. 93-101.
K.A. Ross and C.R.B. Wright, Discrete Mathematics, pp. 61-83, 486-504 (2d ed. Prentice-Hall 1988).
Moller, "A Logic Programming Tool for Qualitative System Design", Apl Quote Quad Proc Aplsg, 16(4), pp. 266-271 (1986).
Ross et al., Discrete Mathematics, Englewood Cliffs, NJ: Prentice Hall, pp. 68-75.
Moller, "A Logic Programming Tool for Qualitative System Design," ApL Quote Quad Proc ApL86, 16(4), pp. 266-271 (1986).
"Underlying Principles of Expert Systems", pp. 265-282, Christian R. Pellegrini, CERN European Organization for Nuclear Research, Proceedings from 1986 CERN School of Computing, Renesse, The Netherlands, Aug. 30-Sep. 13, 1986, Cern 87-04, Apr. 29, 1987.
"Pedagogical, Natural Language and Knowledge Engineering Techniques in Sophie I, II and III," John Seely Brown, Richard R. Burton and Johan De Kleer, Chapter 11, "Intelligent Tutoring Systems", pp. 227-282, Academic Press, 1982.
"A Model-Based Approach to Updating Databases with Incomplete Information", pp. 167-196, Marianne Winslett, University of Illinois, Urbana, ACM Transactions on Database Systems, vol. 13, No. 2, Jun. 1988.
Japanese Patent Office, Patent Laying-Open Gazette--Laying-Open No. 63-41926, "High Speed Inference Method" with partial English translation (Feb. 23, 1988).
Japanese Patent Office, Patent Laying-Open Gazette--Laying-Open No. 62-251836, "Unit Diagnosing Method" with partial English translation (Nov. 2, 1987).
Japanese Patent Office, Patent Laying-Open Gazette--Laying Open No. 62-19940, "High Speed Inference Processing System" with partial English translation (Jan. 28, 1987).
M. Nagao et al., "Iwanami Lecture Information Science--7 Logics and Meaning," Iwanami Shoten, 1983, p. 21.
International Search Report for International Application No. PCT/EP 90/00213 (2 pages).
Moeller, Gert L.: "A Logic Programming Tool for Qualitative System Design". APL Quote Quad Proc APL86, 16(4), pp. 266-271 (1986).
Eusebi, Ed and J. A. Brown: "APL2 and AI: A Study of Search." APL Quote Quad Proc Apl 86, 16(4), pp. 295-300 (1986).
Brown, J. A., J. H. Cook, L. H. Groner, Ed. Eusebi: "Logic Programming in APL2". APL Quote Quad Proc APL86, 16(4), pp. 282-288 (1986).
Franksen, O.I.: "Are Data-Structures Geometrical Objects?". Syst. Anal. Model. Simul. vol. 1, 1984. Part I: "Invoking the Erlanger Program", No. 2, pp. 113-130. Part II: "Invariant Forms in APL and beyond", No. 2, pp. 131-150. Part III: "Appendix A: Linear Differential Operators", No. 3, pp. 249-258. Part IV: "Appendix B: Logic Invariants by Finite Truthtables", No. 4, pp. 339-350.
Franksen, O.I.: "Group Representation of Finite Polyvalent Logic--a Case Study Using APL Notation". In Neimi, A. (ed.): A Link Between Science and Application of Automatic Control. Proceedings IFAC World Congress 1978, vol. 2, Pergamon Press, New York, 1979, pp. 875-887.
Franksen, O.I.: "Mr. Baggage's Secret. The Tale of a Cypher and APL". Strandberg, Denmark, 1984, & Prentice-Hall Inc., New Jersey, USA, 1985, pp. 163-168.
Looney, C.G.: "Logic Controls via Boolean Rule Matrix Transformations". IEEE Transactions on Systems, Man, and cybernetics, vol. SMC-17, No. 6, Nov./Dec. 1987.
Grasgow, J.J.: "Logic Programming in Nial", Queen's University, Kingston, Canada 1984.
Glasgow, J.J., Browse, R.: "Programming Language for Artificial Intelligence", Department of Computing and Information Science, Queen's University, Kingston, Canada, 1984.
Fordyce, K. and G. Sullivan: "Boolean Array Structures for a Rule Based Forward Chaining Ingerence Engine". APL Quote Quad Proc APL87, 17 (4), pp. 185-195.
Bang and Olufsen A/S
Le Dieu-Minh T.
LandOfFree
Signal processing apparatus and method does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Signal processing apparatus and method, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Signal processing apparatus and method will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1267351