The XIII International Conference "Computer-aided technologies in applied mathematics" was successfully held from 7th to 9th of September, 2020, at the National Research Tomsk State University, ...Tomsk, Russia. The conference was organized by National Research Tomsk State University, Angarsk State Technical University and The Institute of Computational Mathematics and Mathematical Geophysics. Originally, the conference was to be held in June on Lake Baikal. But due to the COVID-19 coronavirus pandemic, the dates, venue, and format of the conference were changed. List of Program Committee, Editors, Organizing Institutions, Images are available in this pdf.
Technologies aimed at reducing the consumption of reagents and the environmental impact resulting from the operation of water-treatment equipment in the domestic power industry are analyzed. ...Attention is focused on the specifics of the reagents' application in membrane-separation technologies. It is noted that the membrane technologies used for water treatment frequently involve the necessity of applying chemical reagents, the ingress of which into the sewage makes the utilization of the latter more difficult and increases the environmental impacts. A conclusion about the impossibility of completely abandoning reagents for water treatment has been made. A method for the environmentally friendly, reagent-free operation of membrane-separation plants has been devised and its viability has been proven by an example of a pilot nanofiltration water-treatment unit for the heat-supply system operating with a water of the potable quality. Approaches have been outlined that allow a reduction in the water-treatment costs of thermal power plants using integrated membrane technologies and/or their combinations with ion exchange. Despite the fact that there is no possibility of completely abandoning reagents for water treatment in common cases, membrane-separation technologies currently constitute the basis for engineering solutions that allow a reduction in the water-treatment costs and even the implementation of reagent-free techniques in particular cases.
Abstract
Radio wave tomography (radiotommography) allows restoring the shape of objects hidden behind radio-transparent barriers. Radiotommography detectors use this technology for location and ...visualization for metal, metalized, and dielectric communications in walls and floors. An interpretation of tomography images obtained during radio wave measuring is a difficult task for non-specialists. Moreover, they have no visual reference to the objects of the scene under exploration. To simplify a perception and analysis of the obtained data of radio wave measurements, we propose to combine digital radio and optical images of the scene. This article describes the solution to the problem of combining optical and radio wave images. It allows to estimate visually the size and position of the hidden objects.
•The control of the trajectory of the beam, the choice of the optimal ratio of dwell time and the number of beam passes, can significantly increase the accuracy of the FIB milling ...results.•Controlling ion beam scanning strategies improves FIB patterning accuracy.•The use of currents above 1 nA in the formation of nanoscale structures leads to deviations in the shape of the structures above 15%.•A method for reducing the effect of redeposition on the structure profile during FIB milling is proposed.
At present, the focused ion beam method is an effective technique for nanoscale profiling of a solid surface and prototyping of micro- and nanoscale structures. The article reveals the results of experimental studies on improving the accuracy and resolution of nanoscale profiling of the surface of solids with a focused ion beam. Investigations of the regularities of the influence of the focused ion beam current, beam dwell time and overlap on the parameters of nanoscale structures and the surface profile have been carried out. The influence of the FIB parameters on the deviation of the structure profile from the specified by the template was estimated. Experimental studies have been carried out to determine the influence of the direction of scanning of the ion beam by the template on the magnitude of the error that occurs when the structure of the graphic template is transferred to the substrate. The optimal relationships between the FIB current and the dimensions of the structures being formed have been determined, thus making it possible to ensure the highest accuracy and rate of formation of nanoscale structures. The results can be used to optimize the choice of the ion-beam milling parameters to achieve the maximum accuracy of reproduction of the given sizes of structures.
Extending phpMorhy with dialect words Gromov, Maxim L; Zemicheva, Svetlana S
Journal of physics. Conference series,
12/2020, Letnik:
1680, Številka:
1
Journal Article
Recenzirano
Odprti dostop
This paper describes the work done to create a tool for adding new (dialect) words into the dictionary of phpMorphy. PhpMorphy is a tool written in PHP which helps to annotate a word with grammatical ...information. It was chosen because it needs not to be trained and it can be integrated into PHP based text corpora search system relatively simply. The search is planned to be done over inverse index of words. The search requests are supposed to contain desired grammatical description of words (eg, "find all feminine adjectives", etc.). For that reason inverse index should contain grammatical information. The process of adding new words into phpMorphy dictionary technically is not hard however it is time consuming and tedious. To facilitate this work the mentioned tool was developed. Also paper describes the process how the words to add into the phpMorphy dictionary were selected. The words from the given dialect dictionary were run through phpMorphy. If phpMorphy correctly recognizes a word, then it should not be added into the phpMorphy dictionary. Otherwise it should be.
Colourful categories Gromov, M. L.
Russian mathematical surveys,
01/2015, Letnik:
70, Številka:
4
Journal Article
Recenzirano
This paper presents Ramsey theory in category-theoretic terms as a message from a non-expert author to a non-expert reader. Everything is explained starting from the level zero, and an attempt is ...made to be as self-explanatory in the terminology and notation as possible. For the sake of references, the paper also reproduces traditional terminology, with concepts and theorems often named after (presumed) discoverers who are largely unknown to outsiders to the field. The sources are referred to in a manner so as to make them easy to find on the web; only exceptionally are non-freely accessible items referred to. Certain questions are formulated as `conjectures', not out of a deep belief in their validity but because they sound better stated explicitly. There are no new results in this article, no deepening of particular aspects of Ramsey theory, no attempts to be comprehensive. But, in the spirit of the ideas of Anatoly Vershik, an attempt is made to move transversally across common directions of research, to see interrelations between them and to formulate questions. In fact, the article reproduces a chapter from the author's as yet unfinished manuscript ``A number of questions''.\footnotehttp://www.ihes.fr/~gromov/PDF/Problems-marc6-11-2014.pdf. Bibliography: 65 titles.
Abstract
The paper considers a cellular automaton approach to modeling physical processes, in particular, the diffusion of pulsed periodic gas discharges in plasma. An attempt to determine the ...dependence of the probability of the block rotation on the diffusion coefficient for a cellular automaton diffusion model with a Margolus neighborhood is describe. Some features of the tensor approach to the implementation of random block cellular automata are described. The results of computer experiments are presented. The analysis of this results indicates that the data from the literature sources differ from the data obtained during the experiment.
The article provides a theoretical description of the tensor approach to the software implementation of the cellular automaton model of diffusion. A block-synchronous cellular automaton with a ...neighborhood of Margolus was chosen as a model. Within the framework of the proposed approach, the rotation of the automaton block clockwise or counterclockwise can be carried out using a special operation on tensors, namely convolution. The approach discussed in this paper allows you to use various frameworks aimed at parallelizing computations to organize scientific calculations on modern powerful graphics adapters.
Nowadays, the behaviour of many systems can be properly described by taking into account time constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test ...derivation methods to timed models. In this paper, we propose a method for deriving conformance tests with the guaranteed fault coverage for a complete possibly nondeterministic FSM with a single clock; such Timed FSMs (TFSMs) are widely used when describing the behaviour of software and digital devices. The fault domain contains every complete TFSM with the known upper bounds on the number of states and finite boundary of input time guards. The proposed method is carried out by using an appropriate FSM abstraction of the given TFSM; the test is derived against an FSM abstraction and contains timed input sequences. Shorter test suites can be derived for a restricted fault domain, for instance, for the case when the smallest duration of an input time guard is larger than two. Moreover, the obtained test suites can be reduced, while preserving the completeness, when all input time guards of the specification and an implementation are right closed (or all intervals are left closed). Experiments are conducted to study the length of test suites constructed by different methods.