Optimization of the Algebraic Model of Constructive Logic

10.12737/2691 ◽  
2014 ◽  
Vol 8 (1) ◽  
pp. 1-11 ◽  
Author(s):  
Хромушин ◽  
Oleg Khromushin ◽  
Хромушин ◽  
Viktor Khromushin ◽  
Дзасохов ◽  
...  

The authors proposed and evaluated options of optimization of the algebraic model of constructive logic, designed to construct multichannel non-linear mathematical model often used in Russia in the in-depth analysis in medicine and biology. In the basis of optimization of this model are procedures for finding duplicate cases (rows base), relevant to the achievement of goals, and excluding those resulting components that are duplicated other cases the resulting components. Procedures for reviewing the results of the components of a top-down or bottom-up and comparing the numbers corresponding to achievement of objectives are the basis of optimization. If all the numbers viewing the resulting component will be present in other watched the resulting components, then it is removed as redundant. As a result of identifying and eliminating redundant coatings target lines are reducing the number of resulting parts. Reduction of number of resulting components is achieved by identifying and eliminating redundant coatings target lines. The results of two variants of optimization of mathematical model are shown on the example of the mathematical model identification features of the method of oxygen therapy in the treatment of oncological pathology. The authors suggested the possibility of practical use of various optimization algorithms to choose model with a minimal number of components of the resulting/

2015 ◽  
Vol 22 (3) ◽  
pp. 79-86 ◽  
Author(s):  
Дзасохов ◽  
Aleksey Dzasokhov ◽  
Хромушин ◽  
Viktor Khromushin ◽  
Китанина ◽  
...  

Mathematical device of algebraic model of constructive logic has been used for many years for multivariate analysis in medicine and biology most often to identify causal relationships. This mathematical apparatus can be used for more complex analysis schemes for the purpose of determining the contingent of patients who require this method of treatment. The proposed method is a two-step analysis using algebraic model of constructive logic with different specified purposes and subsequent analysis of the resulting final components of the mathematical model. As a result, it is possible to identify restrictions and to quantify the number of patients who need to analyzed method of treatment. The proposed method is explained by an analytical study of hyperbaric oxygen therapy in oncological pathology. Analysis of the results revealed 7,87-39,35% of patients requiring hyperbaric oxygen therapy. The authors revealed the restrictions presented resulting final components of the mathematical model in the form of limits of detection of the combined factors. The equity analysis of values of the resulting components of the mathematical model is associated with the need to calculate the maximum possible total power of the resulting components of the mathematical model, used in expert systems.


2015 ◽  
Vol 22 (2) ◽  
pp. 11-19 ◽  
Author(s):  
Хромушин ◽  
Oleg Khromushin ◽  
Хромушин ◽  
Viktor Khromushin ◽  
Китанина ◽  
...  

For many years, algebraic constructive logic model is used for multivariate analysis in medicine and biology. The classic version of this model includes the exclusion of contradictory accounts, i.e. when the target is achieved and not achieved in the presence of the same values of the factors. In this case, the lines as appropriate to achieving target, and its failure are removed, including significant proportions. Another feature of this algorithm is the partial overlap of the intervals to determine the factors resulting in components in achieving a target and not achieving despite the exclusion of contradictory accounts. The authors explain this by the fact that the classical algorithm generates the detection limits of the factors in resulting components with some capture values that are related to the lines of not achieving the target (up to inappropriate values). To some extent this reduces the accuracy of the mathematical model. A further feature of the algorithm is the necessary to optimize mathematical model by excluding re-coating lines. This is acceptable, but not optimal. This requires additional procedures at the final stage of formation of the mathematical model. The proposed version of the algebraic model of constructive logic allows to eliminating the above drawbacks. This is achieved the measure of approximation and a way of combining the cases in the resulting components. The proposed algorithm was tested using specially designed software that allows to exclude controversial cases and to form a mathematical model. Testing showed that the proposed algorithm is better than the classic version and meets the objectives of multivariate analysis in medicine and biology.


2015 ◽  
Vol 22 (3) ◽  
pp. 8-14 ◽  
Author(s):  
Хромушин ◽  
Viktor Khromushin ◽  
Китанина ◽  
K. Kitanina ◽  
Аверьянова ◽  
...  

Algebraic model of constructive logic is developed in Russia and is used for many years in medicine and biology for multivariate analysis and for building expert systems. In the process of improving the algorithm of the algebraic model of constructive logic and software, the methods of the study of population health with the use of these models are improved. The tasks of providing a compact representation of the mathematical model are solved, the version of algorithms and programs with different reaction to incomplete source data is created, an analytical and methodological support of research is developed. The article presents the results of practical work to improve the working methods of the study of population health. It covers the issues of verification of source data, an obtainment a compact mathematical models, the valuation and completeness of the source data, the main highlight of the resulting components, the exclusion of inconsistencies in the source data, the absorption of the analyzed factors, the principles of the analysis of the factors in mathematical models and principles of construction of expert systems. The authors showed that the classical and modernized versions of the algebraic model of constructive logic have their applications and are not exclusive of each other. This article also provides recommendations and explanations that facilitate the realization of analytical studies using algebraic models of constructive logic.


10.12737/5612 ◽  
2014 ◽  
Vol 8 (1) ◽  
pp. 1-5 ◽  
Author(s):  
Хромушин ◽  
Viktor Khromushin ◽  
Хромушин ◽  
Oleg Khromushin

The article presents the program to determine the principal components resulting in the algebraic model of constructive logic, which is designed for construction multivariate nonlinear mathematical models. The resulting mathematical model is represented by a set of resulting components as factors indicating the detection limits, combined mark of conjunction (indicating joint impact). Each resulting component is characterized by power, which is the essence of the number of rows in the table that match the specified detection limits factors in their joint action. The program provides two methods to determine the main result components. The first method is based on determining the minimum difference between increasing amounts of capacity resulting components of the top and bottom. The second method is based on the determination of the inflection point of the curve decreasing capacity of the resulting components. The authors give recommendations on the choice of allocation method the main result components. If the curve changes power has a dedicated point of inflection and more like a straight line, it is recommended to use method 1. If the curve changes power has a dedicated point of inflection, it is recommended to use method 2. The program should be used in the package of analytical programs algebraic model of constructive logic when performing complex analytical calculations in biophysics, medicine and biology.


2016 ◽  
Vol 10 (1) ◽  
pp. 0-0
Author(s):  
Хадарцев ◽  
Aleksandr Khadartsev ◽  
Китанина ◽  
K. Kitanina ◽  
Хромушин ◽  
...  

An algebraic model of constructive logic is intended to build multivariate non-linear logical mathematical model and is widely used in analytical studies in medicine and biology. An important stage of its construction is the data preparation in accordance with the following requirements: ▪ The optimal choice of the analyzed factors with the following features: the pursuit of the researcher to involve the largest possible number of factors is a common mistake; factors must be independent; it is advisable to select only those factors that meet the research objectives; the ability of the algorithm to exclude certain fac-tors from the resulting mathematical model, it is observed, when the array of data input is sufficiently complete; the ability to use both continuous variables and discrete; the mathematical model is a more compact, if less factors are used, this model is easier to analyze and identify the characteristics of the test process. ▪ Verification of the data is the identification and correction of errors at the stage of entering the informa-tion into the database; using the built-in intelligent tools that facilitate the process of correct coding of medical information; additional data verification by using special techniques, such as the analytical testing method in the database records. ▪ Selecting of objective study with the following features: the goal can be represented not only two dis-crete (the goal is achieved or not achieved), but also a large number of them; the more discrete, the amount of base should be larger; possibility to use calculated target value by using various criteria. ▪ Presence of the necessary number of entries for a full analysis, it is necessary to ensure compliance with each of the target case (corresponding to the goal) at least two cases of non-target (not corresponding to the goal). ▪ Choice of software options is adequate available data. These requirements will allow to performing the analytical studies in accordance with the required relia-bility.


2014 ◽  
Vol 59 (2) ◽  
pp. 347-366 ◽  
Author(s):  
Agnieszka Kijo-Kleczkowska

Abstract Combustion technology of coal-water fuels creates a number of new possibilities to organize the combustion process fulfilling contemporary requirements e. g in the environment protection. Therefore an in-depth analysis is necessary to examine the technical application of coal as energy fuel in the form of suspension. The paper undertakes the complex research of the coal with coal-mule and biomass co-combustion. The mathematical model enables the prognosis for change of the surface and the centre temperatures and a mass loss of the fuel during combustion in air and in the fluidized bed.


2020 ◽  
Vol 209 ◽  
pp. 03002
Author(s):  
Vitalii Alekseiuk

The problems of state estimation of thermal power system operation and identification of mathematical model parameters have not been acceptably solved due to the complexity of studied objects and their mathematical models, and the lack of effective methods, algorithms and computer programs to solve the required mathematical problems. The results of solving the indicated problems are of importance as such, and play a great part in the qualitative solution to the problems of thermal power equipment control, e.g., the problems of optimal load dispatch among thermal power plant units and optimal control of thermal power equipment operation conditions. The paper describes an effective three-stage technique of mathematical model identification of complex thermal power equipment. The technique allows us to more effectively detect gross errors in measurements of control parameters used for identification of the mathematical model of the studied equipment, to evaluate correctness and rectify errors in the mathematical model construction, and to improve identification accuracy. The article presents a new formulation of the optimization problem for more efficient identification of mathematical models of heat power equipment. An effective three-stage technique of mathematical model identification of complex thermal power equipment was tested on a detailed mathematical model of the present-day 225 MW generating unit that was constructed by the author. The paper presents results of solving the identification problem of mathematical model parameters of a generating unit.


Author(s):  
S. Fedorov ◽  
K. Kitanina ◽  
V. Khromushin ◽  
O. Khromushin

Mathematical device of algebraic model of constructive logic has been used for many years for multivariate analysis in medicine and biology. The resulting mathematical model is represented by a set of output components in the form of factors indicating the detection restrictions, which are united by the sign of con-junction (indicating joint influence). Each resulting component is characterized by a capacity, which is the es-sence of the number of rows in the table with the same factors and their intervals of definition. These capacities characterize the degree of influence of the resulting component on the overall result. The input table must not contain contradictions (when the goal is achieved and not achieved when the same values of the factors). For this purpose, the computer program provides for an exception to those target lines, which coincide with non-target rows. However, this is not always acceptable in cases of a large number of matching target lines and unit numbers of non-target rows or vice versa, because a large number of cases is excluded because of a single non-target rows or single target lines. These contradictions arise, primarily, due to the probabilistic nature of the cases. This is clearly seen in the monitoring of mortality. In this article the authors propose three ways optimum yield conflicting source data, based on the excess multiplicity of frequencies matching target and non-target cases and estimates of confidence intervals. The pro-posed methods are examined by analyzing data on deaths of persons aged 18 years and older, residents of the Tula region for 2007-2014 (total 208269 cases). An age cohort 45-54 years is a goal of study. The application of methods of optimum yield conflicting source data is a necessity, which not only im-proves the mathematical model, but, in some cases, is the only way to perform multivariate analysis. All pro-posed methods have their own scope of use, depending on the circumstances.


Sign in / Sign up

Export Citation Format

Share Document