On hardware support for interval computations and for soft computing: Theorems

IEEE Transactions on Fuzzy Systems

Volumn 5, Issue 1, 1997, Pages 108-127

  Nguyen, Hung T ^b   Kreinovich, Vladik ^a,c   Nesterov, Vyacheslav ^d   Nakamura, Mutsumi ^e  

^a IEEE

^b NEW MEXICO STATE UNIVERSITY   (United States)

^c UNIVERSITY OF TEXAS AT EL PASO   (United States)

^d Institute of New Technologies   (Russian Federation)

^e The University of Texas at Arlington   (United States)

Author keywords

Interval computations; Soft computing

Indexed keywords

ALGORITHMS; CALCULATIONS; COMPUTER HARDWARE; DATA PROCESSING; INTEGRAL EQUATIONS; NONLINEAR EQUATIONS; SUPERCOMPUTERS;

INTERVAL COMPUTATIONS; KOLMOGOROV THEOREM; NONLINEAR INTEGRAL EQUATION;

FUZZY SETS;

EID: 0031075499     PISSN: 10636706     EISSN: None     Source Type: Journal    
DOI: 10.1109/91.554456     Document Type: Article

References (55)

1. O. Artbauer, "Application of interval, statistical, and fuzzy methods to the evaluation of measurements," Metrologia, vol. 25, pp. 81-86, 1988.
2. H. Dhirf and D. Sarkar, "Fuzzy arithmetic on systolic arrays," Parallel Computing, vol. 19, pp. 1283-1301, 1993.
3. W. M. Dong, W. L. Chiang, and H. C. Shah, "Fuzzy information processing in seismic hazard analysis and decision making," Int. J. Soil Dynamics Earthquake Eng., vol. 6, no. 4., pp. 220-226, 1987.
4. W. Dong and F. Wong, "Fuzzy weighted averages and implementation of the extension principle," Fuzzy Sets Syst., vol. 21, pp. 183-199, 1987.
5. D. Dubois and H. Prade. Fuzzy Sets and Systems: Theory and Applications. New York: Academic, 1980.
6. H. L. Frisch, C. Borzi, G. Ord, J. K. Percus, and G. O. Williams, "Approximate representation of functions of several variables in terms of functions of one variable," Physical Rev. Lett., vol. 63, no. 9, pp. 927-929, 1989.
7. R. Fuller and T. Keresztfalvi, "On generalization of Nguyen's theorem," Fuzzy Sets Syst., vol. 4, pp. 371-374, 1990.
8. W. A. Fuller, Measurement Error Models. New York: Wiley, 1987.
9. A. A. Gaganov, "Computational complexity of the range of the polynomial in several variables," Cybern., vol. 21, pp. 418-421, 1985.
10. R. Hammer, M. Hocks, U. Kulisch, and D. Ratz, Numerical Toolbox for Verified Computing - I: Basic Numerical Problems. New York: Springer-Verlag, 1993.
11. E. R. Hansen, Global Optimization Using Interval Analysis. New York: Marcel Dekker, 1992.
12. R. Hecht-Nielsen, "Kolmogorov's Mapping Neural Network Existence Theorem," in IEEE Int. Conf. Neural Networks, San Diego, CA, June 1987, vol. 2, pp. 11-14.
13. D. Hilbert, "Mathematical problems, lecture delivered before the international congress of mathematics in Paris in 1900," Bull. Amer. Math, Soc., vol. 8, pp. 437-479, 1902.
14. R. B. Kearfott and V. Kreinovich, Eds., Applications of Interval Computations. Dordrecht, Germany: Kluwer, 1996.
15. A. N. Kolmogorov, "On the representation of continuous functions of several variables by superposition of continuous functions of one variable and addition," Dokl. Akad. Nauk SSSR, vol. 114, pp. 369-373, 1957.
16. G. Klir and B. Yuan, Fuzzy Sets and Fuzzy Logic: Theory and Applications. Upper Saddle River, NJ: Prentice-Hall, 1995.
17. V. Kreinovich, "On the problem of recovering the ψ-function in nonrelativistic quantum mechanics," Teoreticheskaya Mathem. Fiz., vol. 28, no. 1, pp. 56-64, 1976 (in Russian);
18. English transl. Theoretical Mathem. Phys., vol. 8, no. 7, pp. 56-64, 1976.
19. _, "Reliable computing," presented at Suppl. Extended Abstracts APIC Int. Workshop on Applications Interval Computat., El Paso, TX, Feb. 23-25, 1995.
20. V. Kreinovich, Ching-Chuang Chang, L. Reznik, and G. N. Solopchenko, "Inverse problems: Fuzzy representation of uncertainty generates a regularization," in Proc. NAFIPS: North Amer. Fuzzy Inform. Processing Soc. Conf., Puerto Vallarta, Mexico, Dec. 15-17, 1992; NASA Johnson Space Center, Houston, TX, 1992, vol. II, pp. 418-426.
21. V. Kreinovich, C. Quintana, and L. Reznik, "Gaussian membership functions are most adequate in representing uncertainty in measurements," in Proc. NAFIPS: North Amer. Fuzzy Inform. Processing Soc. Conf., Puerto Vallarta, Mexico, Dec. 15-17, 1992; NASA Johnson Space Center, Houston, TX, 1992, vol. II, pp. 618-624.
22. V. Kreinovich, C. Quintana, R. Lea, O. Fuentes, A. Lokshin, S. Kumar, I. Boricheva, and L. Reznik, "What nonlinearity to choose? Mathematical foundations of fuzzy control," in Proc. Int. Conf. Fuzzy Syst. Intell. Contr., Louisville, KY, Mar. 1992, pp. 349-412.
23. V. Kreinovich and L. K. Reznik, "Methods and models of formalizing a priori information (on the example of processing measurements results)," in Analysis and Formalization of Computer Experiments, Leningrad, USSR: Proc. Mendeleev Metrology Inst., 1986, pp. 37-41 (in Russian).
24. U. Kulisch and G. Bohlender, "Features of a hardware implementation of an optimal arithmetic," in A New Approach to Scientific Computation, U. Kulisch and W. L. Miranker, Eds. Orlando, FL: Academic, 1983, pp. 269-290.
25. V. Kurkova, "Kolmogorov's theorem is relevant," Neural Computat., vol. 3, pp. 617-622, 1991.
26. _, "Kolmogorov's theorem and multilayer neural networks", Neural Networks, vol. 5, pp. 501-506, 1992.
27. G. G. Lorentz, "The 13th problem of Hilbert," in Mathematical Developments Arizing from Hilbert's Problems, F. E. Browder, Ed. Providence, RI: American Mathematical Soc., 1976, pt. 2, pp. 419-430.
28. R. E. Moore, "Automatic error analysis in digital computation," Lockheed Missiles Space, Palo Alto, CA, Tech. Rep. LMSD-48421, 1959.
29. R. E. Moore and C. T. Yang, "Interval analysis," Lockheed Missiles Space, Palo Alto, CA, Tech. Rep. LMSD-285875, 1959.
30. R. E. Moore, Methods and Applications of Interval Analysis. Philadelphia, PA: SIAM, 1979.
31. M. Nakamura, R. Mines, and V. Kreinovich, "Guaranteed intervals for Kolmogorov's theorem (and their possible relation to neural networks)," Interval Computat., vol. 3, no. 3, pp. 183-199, 1993.
32. M. Ness, "Approximative versions of Kolmogorov's superposition theorem, proved constructively," J. Comput. Appl. Mathem., 1993.
33. V. M. Nesterov, "Interval analogues of Hilbert's 13th problem," in Abstracts Int. Conf. Interval., St. Petersburg, Russia, Mar. 7-10, 1994, pp. 185-186.
34. H. T. Nguyen, "A note on the extension principle for fuzzy sets," J. Math. Anal. Appl., vol. 64, pp. 359-380, 1978.
35. H. T. Nguyen and E. A. Walker, A First Course in Fuzzy Logic. Boca Raton, FL: CRC, 1997.
36. S. Rabinovich, Measurement Errors: Theory and Practice. New York: Amer. Inst. Phys., 1993.
37. M. J. Schulte and E. E. Swartzlander, Jr., "Parallel hardware designs for correctly rounded elementary functions," Interval Computat., vol. 3, no. 4, pp. 65-88, 1993.
38. _, "Design and applications for variable-precision, interval arithmetic coprocessors," in Reliable Computing Suppl. Extended Abstracts APIC Int. Workshop Applicat. Interval Computat., V. Kreinovich, Ed., El Paso, TX, Feb. 23-25, 1995, pp. 166-172.
39. S. M. Shah and R. Horvath, "A hardware digital fuzzy inference engine using standard integrated circuits," Inform. Sci., vol. 1, pp. 1-7, 1994.
40. G. N. Solopchenko, "Formal metrological components of measuring systems," Measurement, vol. 13, pp. 1-12, 1994.
41. D. A. Sprecher, "On the structure of continuous functions of several variables," Trans. Amer. Math. Soc., vol. 115, no. 3, pp. 340-355, 1965.
42. D. A. Sprecher, "An improvement in the superposition theorem of Kolmogorov," J. Mathem. Anal Applicat., vol. 38, pp. 208-213, 1972.
43. H. Surmann, A. P. Ungering, T. Kettner, and K. Goser, "What kind of hardware is necessary for a fuzzy rule based system?," in Proc. FUZZ-IEEE Int. Conf., Orlando, FL, July 1994, vol. 1, pp. 274-278.
44. M. Takahashi, E. Sanchez, R. Bartolin, J. P. Aurrand-Lions, E. Akaiwa, T. Yamakawa, and J. R. Monties, "Biomedical applications of fuzzy logic controllers," in Int. Conf. Fuzzy Logic Neural Networks, Iizuka, Fukuoka, Japan, July 1990, pp. 553-556.
45. M. Togai and S. Chiu, "A fuzzy accelerator and a programming environment for real-time fuzzy control," in 2nd IFSA Congress, Tokyo, Japan, July 1987, pp. 147-151.
46. M. Togai and H. Watanabe, "Expert systems on a chip: An engine for real-time approximate reasoning," IEEE Experts Syst. Mag., vol. 1, no. 1, pp. 55-62, 1986.
47. M. J. Tretter, "Interval analysis isn't fuzzy is it?," in Abstracts Int. Conf. Numer. Anal. Automat. Result Verification: Mathem., Applicat., Software, Lafayette, LA, Feb. 25-Mar. 1, 1993, p. 104.
48. H. M. Wadsworth, Jr., Ed., Handbook of Statistical Methods for Engineers and Scientists. New York: McGraw-Hill, 1990.
49. H. Watanabe and W. Detloff, "Reconfigurable fuzzy logic processor: A full custom digital VLSI," in Int. Workshop Fuzzy Syst. Applicat., Iizuka, Japan, Aug. 1988, pp. 49-50.
50. T. Yamakawa, "Fuzzy microprocessors - Rule chip and defuzzifier chip," in Int. Workshop Fuzzy Syst. Applicat., Iizuka, Japan, Aug. 1988, pp. 51-52.
51. _, "Intrinsic fuzzy electronic circuits for sixth generation computer," in Fuzzy Computing, M. M. Gupta and T. Yamakawa, Eds. Amsterdam, The Netherlands: Elsevier, 1988, pp. 157-181.
52. H. Q. Yang, H. Yao, and J. D. Jones, "Calculating functions of fuzzy numbers," Fuzzy Sets Syst., vol. 55, pp. 273-283, 1993.
53. Y. Yoshikawa, T. Deguchi, and T. Yamakawa, "Exclusive fuzzy hardware systems for the appraisal of orthodentic results," in Int. Conf. Fuzzy Logic Neural Networks, Iizuka, Fukuoka, Japan, July 1990, pp. 939-942.
54. L. A. Zadeh, "Fuzzy sets," Informat. Contr., vol. 8, pp. 338-353, 1965.
55. _, "Outline of a new approach to the analysis of complex systems and decision processes," IEEE Trans. Syst., Man, Cybern., vol. 3, pp. 28-44, 1973.