This paper presents an evolutionary method for designing
electronic circuits and numerical methods associated with
monitoring systems. The instruments described here have been used
in studies of weather and climate changes due to global warming, and
also in medical patient supervision. Genetic Programming systems
have been used both for designing circuits and sensors, and also for
determining sensor parameters. The authors advance the thesis that
the software side of such a system should be written in computer
languages with a strong mathematical and logic background in order
to prevent software obsolescence, and achieve program correctness.
[1] J. H. Lienhard. Interchangeable Parts. April 18, 2009.
http://www.uh.edu/engines/epi1252.htm.
[2] J. Hughes. The Computer Journal, ISSN:0010-4620, Volume 32, Issue 2
(April 1989), Pages: 98-107.
[3] A. Church. A set of postulates for the foundation of logic. Annals of
Mathematics, Series 2, 33:346-366, 1932.
[4] A. Church. A note on the Entscheidungsproblem. Journal of Symbolic
Logic, 1:40-41, 1936.
[5] A. Church. An unsolvable problem of elementary number theory. American
Journal of Mathematics, 58:345-363, 1936.
[6] John Backus. A Functional Style and Its Algebra of Programs. Communications
of the ACM. August 1978. Volume 2 i. Number 8.
[7] Moses Schonfinkel. Uber die Bausteine der mathematischen Logik. Mathematische
Annalen 92, pp. 305-316.
[8] Henk Barendregt, The Impact of the Lambda Calculus in Logic and
Computer Science. The Bulletin of Symbolic Logic, Volume 3, Number
2, June 1997.
[9] P. W. Trinder, K. Hammond, H. W. Loidl and S. Peyton Jones. Algorithm+
Strategy= Parallelism. Journal of Functional Programming 1 (1),
January, 1993. Cambridge University Press.
[10] John Koza. Genetic Programming: On the Programming of Computers
by Means of Natural Selection. ISBN-10: 0262111705; ISBN-13: 978-
0262111706. The MIT Press; First Printing edition (1992).
[11] T. S. Perry. In search of the future of air traffic control. IEEE spectrum,
34(8) 18-35.
[12] E. Costa, A. Grings, and M. V. Santos. Documentation Methods for Visual
Languages, in Visual Languages for Interactive Computing. Fernando
Ferry, editor. ISBN 978-1-59904-534-4. IGI Global. 2008.
[13] G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin,
D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, T. Sewell, H. Tuch
and S. Winwood. seL4: Formal verification of an OS kernel, Proceedings
of the 22nd ACM Symposium on Operating Systems Principles, Big Sky,
MT, USA, October, 2009.
[14] B. G. Fejer, J. R. Souza, A. S. Santos, and A. E. Costa Pereira.
Climatology of F region zonal plasma drifts over Jicamarca. Journal of
Geophysical Research, Vol. 110, A12310, doi: 10.1029/2005JA011324,
2005.
[15] S. N. Bernstein. Demonstration du th'eor`eme de Weierstrass fond'ee sur
le calcul des probabilit'es. Comm. Soc. Math. Kharkov, 13, 1-2.
[1] J. H. Lienhard. Interchangeable Parts. April 18, 2009.
http://www.uh.edu/engines/epi1252.htm.
[2] J. Hughes. The Computer Journal, ISSN:0010-4620, Volume 32, Issue 2
(April 1989), Pages: 98-107.
[3] A. Church. A set of postulates for the foundation of logic. Annals of
Mathematics, Series 2, 33:346-366, 1932.
[4] A. Church. A note on the Entscheidungsproblem. Journal of Symbolic
Logic, 1:40-41, 1936.
[5] A. Church. An unsolvable problem of elementary number theory. American
Journal of Mathematics, 58:345-363, 1936.
[6] John Backus. A Functional Style and Its Algebra of Programs. Communications
of the ACM. August 1978. Volume 2 i. Number 8.
[7] Moses Schonfinkel. Uber die Bausteine der mathematischen Logik. Mathematische
Annalen 92, pp. 305-316.
[8] Henk Barendregt, The Impact of the Lambda Calculus in Logic and
Computer Science. The Bulletin of Symbolic Logic, Volume 3, Number
2, June 1997.
[9] P. W. Trinder, K. Hammond, H. W. Loidl and S. Peyton Jones. Algorithm+
Strategy= Parallelism. Journal of Functional Programming 1 (1),
January, 1993. Cambridge University Press.
[10] John Koza. Genetic Programming: On the Programming of Computers
by Means of Natural Selection. ISBN-10: 0262111705; ISBN-13: 978-
0262111706. The MIT Press; First Printing edition (1992).
[11] T. S. Perry. In search of the future of air traffic control. IEEE spectrum,
34(8) 18-35.
[12] E. Costa, A. Grings, and M. V. Santos. Documentation Methods for Visual
Languages, in Visual Languages for Interactive Computing. Fernando
Ferry, editor. ISBN 978-1-59904-534-4. IGI Global. 2008.
[13] G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin,
D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, T. Sewell, H. Tuch
and S. Winwood. seL4: Formal verification of an OS kernel, Proceedings
of the 22nd ACM Symposium on Operating Systems Principles, Big Sky,
MT, USA, October, 2009.
[14] B. G. Fejer, J. R. Souza, A. S. Santos, and A. E. Costa Pereira.
Climatology of F region zonal plasma drifts over Jicamarca. Journal of
Geophysical Research, Vol. 110, A12310, doi: 10.1029/2005JA011324,
2005.
[15] S. N. Bernstein. Demonstration du th'eor`eme de Weierstrass fond'ee sur
le calcul des probabilit'es. Comm. Soc. Math. Kharkov, 13, 1-2.
@article{"International Journal of Information, Control and Computer Sciences:64949", author = "Paulo S. Caparelli and Eduardo Costa and Alexsandro S. Soares and Hipolito Barbosa", title = "Pattern Recognition of Biological Signals", abstract = "This paper presents an evolutionary method for designing
electronic circuits and numerical methods associated with
monitoring systems. The instruments described here have been used
in studies of weather and climate changes due to global warming, and
also in medical patient supervision. Genetic Programming systems
have been used both for designing circuits and sensors, and also for
determining sensor parameters. The authors advance the thesis that
the software side of such a system should be written in computer
languages with a strong mathematical and logic background in order
to prevent software obsolescence, and achieve program correctness.", keywords = "Pattern recognition, evolutionary computation, biological
signal, functional programming.", volume = "3", number = "3", pages = "849-9", }
