Procedure of Formalization of the Indices of Banks’ Stable Functioning in Comparative Estimates of Their Development

The advisability of analyzing the banks liquidity and profitability as the key factor when building the comparative estimate of their functioning is considered. The procedure of formal description of the bank stable functioning indices is substantiated. Fuzzy interpretation of the bank management efficiency estimation is offered. The possibility to formalize the bank functioning estimates on the basis of the corresponding fuzzy set levels hierarchy is analyzed. The comparative estimate of different bank systems functioning is given.

A WEB-System for Computer Experiments in the Field of Program Transformations

The paper presents basic notions and scientific achievements in the field of program transformations, describes usage of these achievements both in the professional activity (when developing optimizing and unparallelizing compilers) and in the higher education. It also analyzes main problems in this area. The concept of control of program transformation information is introduced in the form of specialized knowledge bank on computer program transformations to support the scientific research, education and professional activity in the field. The tasks that are solved by the knowledge bank are formulated. The paper is intended for experts in the artificial intelligence, optimizing compilation, postgraduates and senior students of corresponding specialties; it may be also interesting for university lecturers and instructors.