What can formal methods offer to digital flight control systems design

Formal methods research begins to produce methods which will enable mathematic modeling of the physical behavior of digital hardware and software systems. The development of these methods directly supports the NASA mission of increasing the scope and effectiveness of flight system modeling capabilities. The conventional, continuous mathematics that is used extensively in modeling flight systems is not adequate for accurate modeling of digital systems. Therefore, the current practice of digital flight control system design has not had the benefits of extensive mathematical modeling which are common in other parts of flight system engineering. Formal methods research shows that by using discrete mathematics, very accurate modeling of digital systems is possible. These discrete modeling methods will bring the traditional benefits of modeling to digital hardware and hardware design. Sound reasoning about accurate mathematical models of flight control systems can be an important part of reducing risk of unsafe flight control

SAILS: : Spectral Analysis In Linear Systems

Autoregressive modelling provides a powerful and flexible parametric approach to modelling uni- or multi-variate time-series data. AR models have mathematical links to linear time- invariant systems, digital filters and Fourier based frequency analyses. As such, a wide range of time-domain and frequency-domain metrics can be readily derived from the fitted au- toregressive parameters. These approaches are fundamental in a wide range of science and engineering fields and still undergoing active development. SAILS (Spectral Analysis in Linear Systems) is a python package which implements such methods and provides a basis for both the straightforward fitting of AR models as well as exploration and development of newer methods, such as the decomposition of autoregressive parameters into eigenmodes

Reliability estimation procedures and CARE: The Computer-Aided Reliability Estimation Program

Ultrareliable fault-tolerant onboard digital systems for spacecraft intended for long mission life exploration of the outer planets are under development. The design of systems involving self-repair and fault-tolerance leads to the companion problem of quantifying and evaluating the survival probability of the system for the mission under consideration and the constraints imposed upon the system. Methods have been developed to (1) model self-repair and fault-tolerant organizations; (2) compute survival probability, mean life, and many other reliability predictive functions with respect to various systems and mission parameters; (3) perform sensitivity analysis of the system with respect to mission parameters; and (4) quantitatively compare competitive fault-tolerant systems. Various measures of comparison are offered. To automate the procedures of reliability mathematical modeling and evaluation, the CARE (computer-aided reliability estimation) program was developed. CARE is an interactive program residing on the UNIVAC 1108 system, which makes the above calculations and facilitates report preparation by providing output in tabular form, graphical 2-dimensional plots, and 3-dimensional projections. The reliability estimation of fault-tolerant organization by means of the CARE program is described

Development of mathematical giftedness in the conditions of distance learning

Background. The article examines the factors of the development of mathematical giftedness in the context of distance learning, depending on the choice of computer mathematical packages and digital platforms. Mathematical giftedness is considered as one of the types of special intellectual giftedness associated with mathematical thinking.The aim. To identify the links between the cognitive structures and types of the mathematical thinking that affect the development of mathematical giftedness, with the specifics of the use of digital resources in distance learning.Materials and methods. The analysis of the features of distance learning and its influence on the development of mathematical giftedness is performed; a comparative study of the relationship between the child’s productive informational activity and the implemented distance learning tools was carried out; methods of selection of digital resources, different in the presented forms and levels of activity of distance work, which contribute to the development of mathematical giftedness of students, have been investigated.Results. The following factors were assigned to the development of mathematical giftedness by means of digital resources: the formation of a child’s productive informational activity; implementation of innovative approaches to teaching; implementation of the methodology for the selection of digital resources. It was found that  the  implementation of mathematical abstractions by digital means of visualization improves the quality of assimilation of concepts, forms a stable interest in the subject, and contributes to the development of topological thinking. The work identifies specific psychological problems arising in the process of implementing distance learning mediated by computer technologies, the resolution of which affects the possibility of developing mathematical giftedness, in particular: the problems of emotional saturation and the construction of interpersonal relationships. As specific factors, contributing to the solution of these problems, the following are proposed, in particular: increasing motivation, designing group tasks, special systems of tasks, implemented according to the principle of engagement, the solution of which leads to competition and cooperation. The understanding of mathematical abstractions is facilitated by computer applications that implement technologies for rendering graphic components.Conclusions. Based on the analysis of cognitive structures and types of mathematical thinking, conclusions are drawn about the specifics of the use of digital resources in the process of distance learning, contributing to the effective development of student’s mathematical giftedness

Информационные технологии цифровой медицины

Рассмотрены этапы развития медицинской информатики, опыт разработки подходов и методов формализации медицинской информации, создания медицинских информационных систем и информационных технологий исследования биологических систем разного уровня иерархии. Представлены результаты разработки информационной технологии поддержки хранения и обработки цифровой медицинской информации. Использование разработанной технологии обеспечивает организацию долговременного хранилища цифровых медицинских изображений, полученных от диагностических комплексов в учреждениях здравоохранения, и возможность использовать эту медицинскую информацию лечащим врачом на своем рабочем месте в текущем лечебнодиагностическом процессе. Проанализированы пути дальнейшего развития информа- ционных технологий цифровой медицины.Розглянуто етапи розвитку медичної інформатики, досвід розроблення підходів і методів формалізації медичної інформації, створення медичних інформаційних систем та інформаційних технологій дослідження біологічних систем різного рівня ієрархії. Надано результати розроблення інформаційної технології підтримки зберігання та оброблення цифрової медичної інформації. Використання розробленої технології забезпечує організацію довготривалого сховища цифрових медичних зображень, отриманих від діагностичних комплексів в закладах охорони здоров'я, і можливість аналізувати медичну інформацію лікарем на своєму робочому місці під час поточного лікувально-діагностичного процесу. Проаналізовано шляхи подальшого розвитку інформаційних технологій цифрової медицини, зазначено перспективи розвитку інформаційних технологій цифрової медицини за декількома напрямами, які охоплюють завдання персоніфікованої медицини, застосування хмарних технологій, розвиток телемедицини тощо.The purpose of the article is to analyze the experience of creating medical information systems, the development of information technology support the storage and processing of digital medical information and the further development of information technology for digital medicine. Results. Employees of the department of medical information systems for more than 20 years of activities of the International Research and Training Centre for Information Technologies and Systems NAS and MES of Ukraine solved the problem of constructing the medical information systems and information diagnostics technologies with the use of electronic medical records, methods and means of the mathematical analysis of medical data. The developed technology support for storing and processing digital medical information combines into a single functional network the medical information system, instrumental diagnostic systems and a system of conservation and archiving digital medical images. PACS and cloud technologies was used for long-term storage of digital medical images

Research and Education in Computational Science and Engineering

Over the past two decades the field of computational science and engineering (CSE) has penetrated both basic and applied research in academia, industry, and laboratories to advance discovery, optimize systems, support decision-makers, and educate the scientific and engineering workforce. Informed by centuries of theory and experiment, CSE performs computational experiments to answer questions that neither theory nor experiment alone is equipped to answer. CSE provides scientists and engineers of all persuasions with algorithmic inventions and software systems that transcend disciplines and scales. Carried on a wave of digital technology, CSE brings the power of parallelism to bear on troves of data. Mathematics-based advanced computing has become a prevalent means of discovery and innovation in essentially all areas of science, engineering, technology, and society; and the CSE community is at the core of this transformation. However, a combination of disruptive developments---including the architectural complexity of extreme-scale computing, the data revolution that engulfs the planet, and the specialization required to follow the applications to new frontiers---is redefining the scope and reach of the CSE endeavor. This report describes the rapid expansion of CSE and the challenges to sustaining its bold advances. The report also presents strategies and directions for CSE research and education for the next decade.Comment: Major revision, to appear in SIAM Revie