Cogprints

COMPUTER MODELS AND AUTOMATA THEORY IN BIOLOGY AND MEDICINE

Baianu, Professor I. C. (1987) COMPUTER MODELS AND AUTOMATA THEORY IN BIOLOGY AND MEDICINE. [Book Chapter]

Full text available as:

[img]HTML
82Kb

Abstract

The applications of computers to biological and biomedical problem solving go back to the very beginnings of computer science, automata theory [1], and mathematical biology [2]. With the advent of more versatile and powerful computers, biological and biomedical applications of computers have proliferated so rapidly that it would be virtually impossible to compile a comprehensive review of all developments in this field. Limitations of computer simulations in biology have also come under close scrutiny, and claims have been made that biological systems have limited information processing power [3]. Such general conjectures do not, however, deter biologists and biomedical researchers from developing new computer applications in biology and medicine. Microprocessors are being widely employed in biological laboratories both for automatic data acquisition/processing and modeling; one particular area, which is of great biomedical interest, involves fast digital image processing and is already established for routine clinical examinations in radiological and nuclear medicine centers, Powerful techniques for biological research are routinely employing dedicated, on-line microprocessors or array processors; among such techniques are: Fourier-transform nuclear magnetic resonance (NMR), NMR imaging (or tomography), x-ray tomography, x-ray diffraction, high performance liquid chromatography, differential scanning calorimetry and mass spectrometry. Networking of laboratory microprocessors linked to a central, large memory computer is the next logical step in laboratory automation. Previously unapproachable problems, such as molecular dynamics of solutions, many-body interaction calculations and statistical mechanics of biological processes are all likely to benefit from the increasing access to the new generation of "supercomputers". In view of the large number, diversity and complexity of computer applications in biology and medicine, we could not review in any degree of detail all computer applications in these fields; instead, we shall be selective and focus our discussion on suggestive computer models of biological systems and those fundamental aspects of computer applications that are likely to continue to make an impact on biological and biomedical research. Thus, we shall consider unifying trends in mathematics, mathematical logics and computer science that are relevant to computer modeling of biological and biomedical systems. The latter are pitched at a more formal, abstract level than the applications and, therefore, encompass a number of concepts drawn from the abstract theory of sets and relations, network theory, automata theory, Boolean and n-valued logics, abstract algebra, topology and category theory. The present analysis of relational theories in biology and computer simulation has also inspired a number of new results which are presented here as "Conjectures" since their proofs are too lengthy and too technical to be included in this review. In order to maintain a self-contained presentation-the definitions of the main concepts are given, with the exception of a minimum of simple mathematical concepts. The purpose of these theoretical sections is to provide the basis for approaching a number of basic biological questions: (1) What are the essential characteristics of a biological organism as opposed to an automaton? (2) Are biological systems recursively computable? (3) What is the structure of the simplest (primordial) organism? (4) What are the basic structures of neural and genetic networks? (5) What are the common properties of classes of biological organisms? (6) Which system representations are adequate for biodynamics? (7) What is the optimal strategy for modifying an organism through genetic engineering? (8) What is the optimal simulation of a biological system with a digital or analog computer? (9) What is life?

Item Type:Book Chapter
Additional Information:This review article covers a wide range of models in theoretical biology and mathematical biophysics of interest to applied mathematicians, dynamic systems theorists, theoretical biologists, complex system analysts, topologists and algebraists.
Keywords:Computer Models in Biology; Cellular Automata Models in Biology and Medicine; Relational Biology of Metabolic-Repair-Replication Systems in Categories; Lukasiewicz Logic Algebras of Nonlinear Dynamics in Genetic Networks; Neural Network Dynamics; the Enzymatic Neuron Network model; Cell Interactomics; Computability questions for models of Biosystems; Evolution of organisms and the principles of relational biology; computer modelling of the human cardiovascular system; computer modeling of lung vascularization; optimal control of the cardiovascular system; Medical Diagnosis models in Lukasiewicz Logic Algebras with n-values; Adjoint and analogous models of Organisms; quantum computation and natural transformations of organic structures; Cellular automata models of carcinogenesis; optimal chemotherapy of cancer designed by computer models of Cancer; theoretical models in Medicine and biomedical research.
Subjects:Biology > Theoretical Biology
ID Code:3687
Deposited By:Baianu, Professor I.C.
Deposited On:06 Jul 2004
Last Modified:11 Mar 2011 08:55

References in Article

Select the SEEK icon to attempt to find the referenced article. If it does not appear to be in cogprints you will be forwarded to the paracite service. Poorly formated references will probably not work.

1.Arbib, M. 1966. Categories of (M,R)-Systems. Bull. Math. Biophys., 28: 511-517.

2. Ashby, W. R. 1960. Design for a brain, 2nd ed., New York: J. Wiley & Sons, Inc.

3. Ashby, W. R 1956. .An Introduction to Oybernetics, New York: J. Wiley & Sons, Inc.

4. Baianu, I.C. and Marinescu, M. 1968. Organismic Supercategories:I. Proposals for a General Unitary Theory of Systems. Bull. Math. Biophys., 30: 625-635.

5. Baianu, I. 1970. Organismic Supercategories: II. On Multistable Systems. Bull. Math. Biophys., 32: 539-561.

6. Baianu, I. 1971. Organismic Supercategories and Qualitative Dynamics of Systems. Bull. Math. Biophys., 33: 339-354.

7. Baianu, I. 1971. Categories, Functors and Automata Theory. , Proceed. 4th Intl. Congress LMPS, August-Sept. 1971.

8. Baianu, I. and Scripcariu, D. 1973. On Adjoint Dynamical Systems. Bull. Math. Biology., 35: 475-486.

9. Baianu, I. 1973. Some Algebraic Properties of (M,R)-Systems in Categories. Bull. Math. Biophys, 35: 213-218.

10. Baianu, I. and Marinescu, M. 1974. A Functorial Construction of (M,R)-Systems. Rev. Roum. Math. Pures et Appl., 19: 389-392.

11. Baianu, I.C. 1977. A Logical Model of Genetic Activities in Lukasiewicz Algebras: The Non-Linear Theory., Bull. Math. Biology, 39:249-258.

12. Baianu, I.C. 1980. Natural Transformations of Organismic Structures. Bull. Math. Biology, 42: 431-446.

13. Baianu, I.C. 1980. Structural Order and Partial Disorder in Biological Systems. Bull. Math. Biology, 42: 464-468.

14. Baianu, I.C.1983. Natural Transformations Models in Molecular Biology. SIAM Natl. Meeting, Denver, CO, USA.

15. Baianu, I.C. 1984. A Molecular-Set-Variable Model of Structural and Regulatory Activities in Metabolic and Genetic Systems., Fed. Proc. Amer. Soc. Experim. Biol. 43: 917.

16. Baianu, I.C. 1987. Computer Models and Automata Theory in Biology and Medicine. In: "Mathematical Models in Medicine.",vol.7., M. Witten, Ed., Pergamon Press: New York, pp.1513-1577.

17. Bourbaki, N. 1958. Elements de Mathematique, Paris: Hermann & Cle, Editeurs.

18. Carnap. R. 1938. "'The Logical Syntax of Language" New York: Harcourt, Brace and Co.

19. Cazanescu, D. 1967. On the Category of Abstract Sequential Machines. Ann. Univ. Buch., Maths & Mech. series, 16 (1):31-37.

20. Comorozan, S. and Baianu, I.C. 1969. Abstract Representations of Biological Systems in Supercategories. Bull. Math. Biophys., 31: 59-71.

21. Ehresmann, Ch. 1966. "Trends Toward Unity in Mathematics." Cahiers de Topologie Et Geometrie Differentielle, 8,1-7.

22. Eilenberg, S. and S. MacLane. 1945. "General Theory of Natural Equivalences."Trans. .Am. Math. Soo., 58, 231-294.

23. Eilenberg, S. and J. Wright. 1967. "Automata. in General Algebras." Seventy-Second Meeting American

Math. Soc., 1-17.

24. Georgescu, G. and D. Popescu. 1968. "On Algebraic Categories." Rev. Roum. Math. Pures et Appl., 13, 337-342.

25. Georgescu, G. and C. Vraciu 1970. "On the Characterization of Lukasiewicz Algebras." J Algebra, 16 (4), 486-495.

26. Hilbert, D. and W. Ackerman. 1927. Grunduge.der Theoretischen Logik, Berlin: Springer.

27. Lawvere, F. W. 1963. "Functional Semantics of Algebraic Theories." Proc. Natl.Acad. Sci., 50, 869-872.

28. Lawvere, F. W. 1966. "The Category of Categories as a Foundation for Mathematics." In the

Proc. Conf. Categorical .Algebra-La Jolla 1965, Eilenberg, S., et al. eds., Berlin, Heidelberg and New York: Springer-Verlag, pp. 1-20.

29. Lawvere, F. W. 1969. "Closed Cartesian Categories." (Lecture held as a guest of the Romanian Academy of Sciences).

30. Lofgren; L. 1968. "An Axiomatic Explanation of Complete Self-Reproduction." Bull.Math. Biophysics, 30, 317-348.

31. Mitchell, B. 1965. The Theory of Categories. New York and London: Academic Press.

32. Rashevsky, N. 1954. "Topology and Life: In Search of General Mathematical Principles in Biology and Sociology." Bull. Math. Biophysics, 16, 317-348.

33. McCulloch, W and W. Pitts. 1943."A logical Calculus of Ideas Immanent in Nervous Activity". Ibid., 5, 115-133.

34. Pitts, W. 1943. “The Linear Theory of Neuron Networks” Bull. Math. Biophys., 5, 23-31.

35. Rosen, R.1958.a.”A relational Theory of Biological Systems” Bull. Math. Biophys., 20, 245-260.

36. Rosen, R. 1958b. “The Representation of Biological Systems from the Standpoint of the Theory of Categories” Bull. Math. Biophys., 20, 317-341.

37. Rosen, Robert. 1968. On Analogous Systems. Bull. Math. Biophys., 30: 481-492.

38..Rosen, Robert. 1973. On the Dynamical realization of (M,R)-Systems. Bull. Math. Biology., 35:1-10.

39. Russel, Bertrand and A.N. Whitehead, 1925. Principia Mathematica, Cambridge: Cambridge Univ. Press.

40. Warner, M. 1982. Representations of (M,R)-Systems by Categories of Automata., Bull. Math. Biol., 44:661-668.

Metadata

Repository Staff Only: item control page