Abstract: Graphical interfaces are an essential element of human-computer interaction. They provide the formation of input data for programs and visualization of results. Commercial software predominantly comes with integrated graphical communication tools. At the same time, some open-source software solutions, in particular, the OpenFOAM platform, have no built-in interaction tools. This problem remains relevant because existing graphical interfaces have disadvantages. This paper presents a phased process for developing a graphical shell for implementing user interaction with the OpenFOAM platform - for setting up numerical experiments in relation to the tasks of continuum mechanics (MSS) in parallel execution mode. To achieve this goal, a list of tasks and necessary tools is defined: the Python 3.5 programming language, the PyQt5 interface element description framework, and the PyCharm integrated development environment. The diagrams showing the interconnection of the program modules and the mechanism of the program. The results of the development and testing of the application are formulated using the example of a project of one of the standard tasks of the MSS included in the distribution platform platform OpenFOAM. The scientific novelty of the study is formulated, in particular: serialization of the parameters of a numerical experiment using the Python Pickle module and database tables in SQLite format, the ability to create various versions of files with MCC task parameters, the ability to run console commands using bash scripts. The practical value of the work and further prospects are also determined.

Keywords: graphical user interface, open source software, OpenFOAM, parallel computing, continuum mechanics, numerical simulation, Python programming language, PyQt library, SQLite DBMS, bash-scripting

References:
Operating System Interface Design Between 1981-2009 URL: https://www.webdesignerdepot.com/2009/03/operating-system-interface-design-between-1981-2009/ (data obrashcheniya: 25.01.2019).
OpenFOAM. The open source CFD toolbox. URL: https://www.openfoam.com/ (data obrashcheniya: 25.01.2019).
Etrati, A., & Frigaard, I. A. (2018). Viscosity effects in density-stable miscible displacement flows: Experiments and simulations. Physics of Fluids, 30(12) doi:10.1063/1.5065388.
Salome. The Open Source Integration Platform for Numerical Simulation. URL: http://www.salome-platform.org (data obrashcheniya: 25.01.2019).
Visual-CFD for OpenFOAM. URL: https://www.esi-group.com/software-solutions/virtual-environment/cfd-multiphysics/visual-cfd-openfoam (data obrashcheniya: 25.01.2019).
HELYX-OS. The market leading open-source GUI for OpenFOAM. URL: http://engys.com/products/helyx-os (data obrashcheniya: 25.01.2019).
Chitalov D.I., Merkulov E.S., Kalashnikov S.T. Razrabotka graficheskogo interfeysa pol'zovatelya dlya programmnogo kom

Abstract: The article analyzes the descriptive capabilities of procedures and functions with re-entry planning. A procedure / function with re-entry scheduling differs from the usual procedure / function by the presence of a dynamically updated (from both inside and outside) plan of execution. This is a fairly new formalism, the theoretical and practical properties of which are still poorly covered in the scientific literature. Special attention is paid to the Planning C programming language, which fully implements the procedures and functions with re-entry planning. Descriptive features of procedures / functions with re-entry planning are considered both theoretically, using extended Turing machines, and constructively, by building equivalents of basic algorithmic control structures based on these procedures. The novelty consists in proving the representability of any sequential and parallel algorithms using these procedures. It is proposed to use Planning C, which implements such procedures / functions, for solving time-consuming problems of computational mathematics on parallel computing systems. The possibility of its use in solving the problem of learning deep neural networks is shown.

Keywords: programming language, Planning C, algorithmic completeness, parallel algorithms, sequential algorithms, planning re-entry, procedures, hard calculations, deep neural networks, computational mathematics

References:
Pekunov V.V. Protsedury s planirovaniem povtornogo vkhoda v yazykakh vysokogo urovnya pri traditsionnom i parallel'nom programmirovanii // Informatsionnye tekhnologii.-2009.-¹8.-S.63-67.
Pekunov V.V. Novye tekhnologii parallel'nogo i traditsionnogo programmirovaniya. Protsedury s planirovaniem povtornogo vkhoda // Sb. mater. IX mezhd. konf.-sem. "Vysokoproizvoditel'nye parallel'nye vychisleniya na klasternykh sistemakh".-Vladimir, 2009.-S.308-311.
Endryus G.R. Osnovy mnogopotochnogo, parallel'nogo i raspredelennogo programmirovaniya. — M.: Izdatel'skiy dom "Vil'yams", 2003. — 512 s.
Voevodin V.V., Voevodin Vl.V. Parallel'nye vychisleniya. — SPb.: BKhV-Peterburg, 2002. — 608 s.
Pekunov V.V. Iskusstvennye neyronnye seti pryamogo ras-prostraneniya. Opisanie s pomoshch'yu rasshirennykh mashin T'yuringa, verbalizatsiya i primenenie v aerodinamike. — LAP LAMBERT Academic Publishing, 2016.— 177 s.
Rastrigin L.A. Adaptatsiya slozhnykh sistem. Riga: Zinatie, 1981.-375 s.
Chung, T.J. Computational Fluid Dynamics. — Cambridge University Pres

Abstract: The paper reviews existing methods of mathematical description and representation of algorithms for data conversion operations (arithmetic operations, calculation of elementary functions (EF) and others).  The article shows that their main realizations in the computer at the various levels of the organization of computational process are software, firmware and circuit realizations. As a possible way of mathematical representation the authors consider table representation, representation based on the systems of Boolean functions and Turing machine based representation. The article presents a brief analysis of the known forms of representation of systems of Boolean functions (SBF), taking into account the means of implementation and evaluation of mathematical and technical complexity depending on the type of description. The representation of the data transformation algorithms as SBF maximizes parallelization of data conversion. It is shown that the computational complexity of the operation is determined by the power of the input and output sets and number of bits in input and resulting data. The representation of the algorithms based on systems of Boolean functions in the form of the PDNF is highly redundant which is shown on the example of some arithmetic operations. The authors make a conclusion about the need of minimizing the complexity based on the minimum and shortest form of SBF. As a way of implementing SBF in the FPLD the authors considered use of the universal logic modules (ULM), in technical terms that a lookup table (LUT). The article present methods of constructing SBF based on the ULM of four variables and methods of SBF SBF decomposition for its implementation in ULM schemes. Methods and research methodology include mixed methods analysis methods, methods of the theory of discrete mathematics, apparatus for analysis and synthesis of Boolean functions in particular, the theory of algorithms, methods of computational experiment. The article reviews the complexity of the mathematical representation of the data conversion operations and their implementation in the computer (arithmetic computations, elementary functions and some others). The authors suggest algorithms for implementation of the SBF in form of ULM scheme of four variables, study the algorithms for constructing such schemes based on the Shannon and Reed expansions. Based on the analysis of the input and output variables of data conversion operations the  SBF synthesis for the formation of problem-oriented and specialized computer commands is carried out.

Keywords: complexity of operations , Systems of Boolean functions , Arithmetic-logical forms, SBF decomposition, Shannon expansion, Reed expansion, FPLD, universal logic module , lookup tables, PDNF

References:
Akho A., Khopkroft Dzh., Ul'man Dzh. Postroenie i analiz vychislitel'nykh algoritmov. M.: Mir, 1979
Kuznetsov O.P., Anderson-Vel'skiy G.M. Diskretnaya matematika dlya inzhenera. – 2-e izdanie. M.: Energoatomizdat, 1988 – 480 s.
Sholomov L.A. Osnovy teorii diskretnykh logicheskikh i vychislitel'nykh ustroystv. M.: Nauka. 1980.-400 s.
Frolov AB., Andreev A.E., Bolotov A.A., Kolyada K.V., Prikladnye zadachi diskretnoy matematiki i slozhnost' algoritmov. Pod red. Akademika ATN RF V. B. Kudryavtseva. – M.: Izd. MEI, 1997 – 312 s.
Malyugin V.D. Parallel'nye logicheskie vychisleniya posredstvom arifmeticheskikh polinomov. ¬M.: Nauka. Fizmatlit, 1997. – 192 s.
Vlasov A.A., Mamaev E.I. Rasshirennye arifmetiko-logicheskie formy dlya parallel'nykh logicheskikh vychisleniy Parallel'nye vychisleniya i zadachi upravleniya: Trudy Mezhdunarodnoy konferentsii (PACO'2001) Moskva, 2-4 oktyabrya 2001 g. Institut problem upravleniya im. V. A. Trapeznikova 1522c. ISBN 5-201-09559-3 s. 66-73.
http://www.achronix.com/
Shannon C.A. Symbolic analysis of

Abstract: The article discusses the question of automated processing and analysis of the gels images gathered as a result of electrophoresis of samples containing products of polymerase chain reaction (PCR). The proposed approach allows to significantly increase the speed of the DNA-analysis. The authors state that one of the  resource and time-consuming stages of the forming of initial data is the analysis of digital images of the results of chemical reaction. The article reviews the development of necessary theoretical methods and practical implementations of automated image analysis. It is noted that one of the  resource and time-consuming stages of the forming of initial data is the analysis of digital images of the results of chemical reaction. The presented development of an automated system based on the methods of pattern recognition and analysis of digital images of gels allows to minimize the time-consuming operation performed manually and to increase the quality of the result. The article brings the algorithm for automated recognition and assigning of unique lines that define the field of primers and products of PCR. Comparative analysis of the manual methods and created approach shows that the automated system is one and a half order of values faster. The massive usage and accuracy of this method also increases the economic benefits from the use of this product.

Keywords: computer-aided system, image analysis, polymerase chain reaction, DNA analysis, primer, image gels, electrophoresis, signal, filtering, software developers

References:
SaikiR.K., GelfandD.H., StoffelS., HiguchiR. // Science. 1988. V.239. N.2. R.487.
P.S. Novikov, O.V. Sheykina, T.N. Milyutina Izmenchivost' plyusovykh derev'ev sosny obyknovennoy na arkhive klonov po ISSR-markeram // Vestnik MarGTU. Radiotekhnicheskie i infokommunikatsionnye sistemy. – Yoshkar-Ola: MarGTU– ¹.3, 2011. – S.82-87.
Samarskiy, A. A.Chislennye metody / A. A. Samarskiy, A. V. Gulin – M.:Nauka, 1989. –432 s.
Tikhonov, V. I. Optimal'nyy priem signalov/ V.I. Tikhonov – M.: Radio i svyaz', 1983. – 320 s.
Prett U. Tsifrovaya obrabotka izobrazheniy: v 2 kn. M.: Mir, 1982.– 790 s.
Ipatov Yu.A., Krevetskiy A.V., Shmakin V.O. Proektirovanie raspredelennoy nazemnoy sistemy monitoringa za lesnymi pozharami // NB: Kibernetika i programmirovanie. - 2013. - 2. - C. 20 - 28. URL: http://www.e-notabene.ru/kp/article_8309.html
Yu.A. Ipatov, A.V. Krevetskiy Obnaruzhenie teksturnykh perekhodov na izobrazheniyakh preparatov kletochnoy struktury drevesiny // Programmnye sistemy i vychislitel'nye metody. - 2013. - 1. - C. 106 - 115

Abstract: This paper presents an efficient algorithm for fast data decimation of discrete transformations. The article gives the characteristic equation and the implementation of the algorithm in Object Pascal. In the practice of digital signal processing the algorithms of signals spectral transforms (such as fast Fourier transform, Walsh, Haar discrete wavelet transform) are widely used. One of the expensive operations in these algorithms is the decimation of data - grouping of data with even and odd numbers. Traditionally this operation is performed by allocating additional memory. The authors propose an algorithm of grouping that does not require the use of additional memory for storing arrays and solve problems decimation of O (N) operations. It is shown that all the permutations of the elements are made through a series of chain movements, each beginning with the odd elements of the array data. The analysis of the algorithm for different values of N indicates the number and chain length varies. Test executions of the algorithm show its’ high performance.

Keywords: data decimation algorithm, effectiveness, fast discrete transforms, characteristic equation, algorithm implementation, Object Pascal, digital signal processing, discrete wavelet transform, analysis of algorithm, grouping algorithm

References:
http://psi-logic.narod.ru/fft/fft3.ht
Malashkevich I.A., Malashkevich V.B. Primenenie fortran-bibliotek lineynoy algebry v srede delphi // NB: Kibernetika i programmirovanie. - 2013. - 1. - C. 1 - 8. URL: http://www.e-notabene.ru/kp/article_8314.html
Korobeynikov A.G., Kutuzov I.M. Algoritm obfuskatsii // NB: Kibernetika i programmirovanie. - 2013. - 3. - C. 1 - 8. URL: http://www.e-notabene.ru/kp/article_9356.html
Bondarenko I.B., Korobeynikov A.G., Prokhozhev N.N., Mikhaylichenko O.V. Prinyatie tekhnicheskikh resheniy s pomoshch'yu mnogoagentnykh sistem // NB: Kibernetika i programmirovanie. - 2013. - 1. - C. 16 - 20. URL: http://www.e-notabene.ru/kp/article_8305.html
Kharitonov A.V. Obzor biometricheskikh metodov identifikatsii lichnosti // NB: Kibernetika i programmirovanie. - 2013. - 2. - C. 12 - 19. URL: http://www.e-notabene.ru/kp/article_8300.html
Mezhenin A.V., Izvozchikova V.V. Metody postroeniya vektorov normaley v zadachakh identifikatsii ob'ektov // NB: Kibernetika i programmirovanie. - 2013. - 4. - C. 51 - 58

Abstract: The paper deals with the algorithm of Chenxi Wang’s, shows are the main disadvantages of this algorithm. The authors suggest the ways of modification to improve it. The algorithm of Chenxi Wang's is one of the most famous. The input data for the algorithm is the usual procedure, written in high level language. The authors describe the three stages of obfuscation of any such procedure. In the classic version of Chenxi Wang's the algorithm has poor stability. The authors suggest ways to improve stability of the algorithm, present modified version of the algorithm and reviews results of its implementation. The authors compare the source code and the resulting code and conclude that it is almost impossible to establish their functional identity and the logic of the program code is very difficult to understand using obfuscated source. Sometimes this can be done using the examples run of the resulting source code. This implies that after eliminating the shortcomings the algorithm is quite effective.

Keywords: obfuscation, technology, source code, algorithm, Chenxi Wang, graph, variable, stability, dynamic analysis, information security

References:
Christian, C. A Taxonomy of Obfuscating Transformations// Christian Collberg, Clark Thomborson. Douglas Low//Technical Report #148. Department of Computer Science. The University of Auckland. July. 1997.
Chernov, L. V. Analiz zaputyvayushchikh preobrazovaniy programm/L.V. Chernov//Trudy Instituta sistemnogo programmirovaniya RAN. Tom 3, 2002 g. ctr. 7-38.
Rollcs, R. Unpacking virtualization obfuscators/R. Rollcs.//In Proc. 3rd USENIX Workshop on Offensive Technologies (WOOT'09), August 2009.
Tikhonov, A. Yu. Metodika izvlecheniya algoritma iz binarnogo koda na osnove dinamicheskogo analiza/ A.Yu.Tikhonov, L.I.Avetisyan, V.A.Iadaryan// Problemy informatsionnoy bezopasnosti. Komp'yuternye sistemy. — 2008. — T. ¹3. — S. 66-71.