Formal approach for a verified implementation of Global EDF in Trampoline

Author(s):  
Khaoula Boukir ◽  
Jean-Luc Béchennec ◽  
Anne-Marie Déplanche
Keyword(s):  
1977 ◽  
Vol 16 (03) ◽  
pp. 125-130 ◽  
Author(s):  
P. L. Reichertz

Data processing has become an important tool in theoretical and clinical medicine. The main categories of applications are : information analysis, (bio)signal processing and the field of information logistics (information systems).The problems encountered lie in the discrepancy of the basic methods of a formal approach to an empirical science, the complexity of the target system and the system ecology, i.e. the involvement of the user and the system environment during system construction and utilization.Possible solutions to these problems are the application of system techniques, inductive planning, development of medical methodology, development of methods and techniques for user involvement and assessment of motivation and education and educational planning.The necessary general strategy in the development in medical informatics is seen in the continuing systematization of the theoretical and practical approach. It is estimated that this will eventually contribute to the systematization of medical science and practice.


Author(s):  
Elena N. Gur'yanova ◽  

A modern university answering the challenges of the society does not remain aloof to introduce certain inclusive practices. Currently, the legislation of the Russian Federation clearly distinguishes between the concepts of “Disability”, “Special health opportunities “and” Special educational needs”. However, there is a demand to combine all three terms into one, that is “Special educational needs”. The author considers this substitution to be unlawful. The article attempts to analyze each term from the point of view of prospects for each group of students to get higher education, taking into account the peculiarities of their psychophysical development. In addition, the author reviews some difficulties (insufficient technical equipment of the classrooms, learned helplessness of students, lack of knowledge about various nosological groups of disabled people, etc.) and ways to overcome these and other problems such as development of an adapted educational program, compliance with the principles of health conservation, psychological readiness of the teaching staff to work with such students. The author draws the conclusion that only training of teachers and the creation of a special educational space, the inadmissibility of a formal approach to the integration of students with special educational needs can contribute to the successful provision of their right to education.


2020 ◽  
pp. 192-198
Author(s):  
M. S. Kuz’min

The author analyzes the innovation development programs of 11 Russian companies with state participation and state corporations and compares the achieved results with innovation development plans. The results of the analysis show that the existing relationships between the performance indicators of the companies’ innovation activity for 2014–2016 are not considered or reflected in the programs of innovation development until 2020. This study indicates the causes of the current situation and proposes directions for improving the efficiency of innovation development planning.Aim. The study aims to examine the mutual influence of indicators in innovation planning at enterprises.Tasks. The author analyzes the existing innovation development programs of large state-owned companies and the correlation between the performance indicators of innovation activity, assesses the actual results of the implementation of innovation development programs for 2014–2016 and the validity of the planned indicators of innovation development until 2020.Methods. This study uses the methods of systems and correlation-regression analysis.Results. The analysis shows that the actual relationships between the performance indicators of the companies’ innovation activity for 2014–2016 are not considered or reflected in the programs of innovation development until 2020. This study indicates the causes of the current situation and proposes directions for improving the efficiency of innovation development planning. A matrix for determining problem situations in innovation development planning is developed.Conclusions. The actual relationships between the indicators that characterize many aspects of innovation development at various stages of the innovation life cycle are not fully considered in the planning of innovation development. The conducted study confirms a formal approach to estimating the target values of the examined indicators, which disregards the actual relationships between them. The outcome of this can be seen in the programs of innovation development until 2020 developed by corporations. It is possible to make allowance for the actual relationships in the planning of the target values of innovation development indicators by using the methods and tools of dynamic modeling.


Author(s):  
Zenoviy Siryk

Ukraine is a unitary state, yet historically various regions, oblasts, districts, and local areas have different levels of economic development. To secure sustainable economic and social development and provide social services guaranteed by the state for each citizen according to the Constitution, the mechanism of redistribution between revenues and expenditures of oblasts, regions, and territories through the budgets of a higher level is used. The paper aims to research the peculiarities of improving interbudgetary relations in conditions of authorities’ decentralization. The paper defines the nature of interbudgetary relations. The basic and reverse subsidies to Ukraine and Lvivska oblast are analyzed. The advantages and disadvantages the communities face at changing approaches to balancing local budgets are determined. Regulative documents that cover the interbudgetary relations in Ukraine are analyzed. Special attention is paid to the problem of local finances reforming, including the development of interbudgetary relations. The scheme of the economic interbudgetary relations system in Ukraine is developed. The ways to improve the system of interbudgetary relations in Ukraine are suggested. The negative and positive aspects, advantages, and disadvantages of the system of interbudgetary relations in Ukraine require the following improvements. 1. It is necessary to avoid the complete budget alignment in the process of budgets balancing by interbudgetary transfers as the major objective. 2. The interbudgetary transfers should be distributed based on a formal approach. 3. The changes have to be introduced to the calculation of medical and educational subsidies in terms of financial standard of budget provision to avoid the money deficit for coverage of necessary expenditures. 4. There is a need to improve interbudgetary relations at the levels of districts, villages, towns, and cities of district subordination. 5. Improvement of the mechanism of targeted benefits provision, their real evaluation, and control for the use of funds.


Author(s):  
Zheng Dong ◽  
Kecheng Yang ◽  
Nathan Fisher ◽  
Cong Liu
Keyword(s):  

1970 ◽  
Vol 5 (7) ◽  
pp. 86-100 ◽  
Author(s):  
Alfred V. Aho ◽  
Ravi Sethi ◽  
J. D. Ullman

Sign in / Sign up

Export Citation Format

Share Document