Domain engineering approach of software requirements analysis

Requirement analysis is one of the important processes in software development lifecycle management. In Agile approach requirements software models are the basic of generating other software development artifacts. Improving requirements approaches and techniques allows avoiding mistakes in other software development artifacts. Domain engineering fundamentals is the basic for “template oriented” approaches of software development artifacts designing. Reusing domain models and knowledge allows adding details in vertical “model to model” transformation operations, refine generated software development artifacts, organize systematic software reuse and perform many other activities. Paper proposes an approach of requirement analysis based on UML Use Case diagrams transformations into communication ones and the next refinements of them by means of information from domain models. The advantages of the proposed approach is the next: proposed transformation method involves ”many to many” transformation in order to save the semantic of initial model. Domain knowledge are used to complete communication diagram by means of adding details after transformation to them. In order to perform Use case to communication transformation graph representation of software models is chosen.Анализ требований является важным процессом жизненного цикла разработки программного обеспечения. В гибких методологиях разработки программного обеспечения модели требований являются артефактами разработки программного обеспечения, которые содержат исходную информацию для осуществления дальнейших задач разработки. Совершенствование методик анализа требований позволяет избежать ситуации, когда ошибки артефактов, которые проектируются при анализе требований, переносятся на другие артефакты разработки программного обеспечения. Доменная инженерия обеспечивает фундаментальные основы для внедрения «шаблонно-ориентированных» методик проектирования артефактов разработки программного обеспечения. Повторное использование доменных моделей и знаний позволяет дополнить информацию о структуре модели, имеющей более подробную нотацию после выполнения вертикальной трансформации «из модели в модель», уточнить спроектированный артефакт разработки программного обеспечения, организовать систематическое повторное использование программных модулей и выполнить много других задач. В работе представлена методика анализа требований к программному обеспечению, основанная на трансформации диаграмм прецедентов в диаграммы коммуникаций с их последующим уточнением с помощью информации, содержащейся в доменных моделях. Преимуществом представленной методики по сравнению с существующими является то, что для трансформации используются все составляющие исходной модели с целью перенести ее семантику на результирующую модель. После трансформации выполняется уточнение диаграмм коммуникаций с использованием накопленных знаний про домен. Исходной информацией для трансформации моделей программного обеспечения является их аналитическое представление в графовой форме.Аналіз вимог є важливим процесом життєвого циклу розробки програмного забезпечення. У гнучких методологіях розробки програмного забезпечення моделі вимог є такими артефактами розробки програмного забезпечення, що містять вихідну інформацію для здійснення подальших завдань розробки. Удосконалення методик аналізу вимог дозволяє уникнути ситуації, коли помилки артефактів, що проектуються при аналізі вимог, переносяться на інші артефакти розробки програмного забезпечення. Доменна інженерія забезпечує фундаментальні основи для впровадження «шаблонно-орієнтованих» методик проектування артефактів розробки програмного забезпечення. Повторне використання доменних моделей та знань дозволяє доповнити інформацію про структуру моделі, що має більш детальну нотацію після виконання вертикальної трансформації «з моделі у модель», уточнити спроектований артефакт розробки програмного забезпечення, організувати систематичне повторне використання програмних модулів та виконати багато інших завдань. У роботі представлено методику аналізу вимог до програмного забезпечення, що базується на трансформації діаграм прецедентів у діаграми комунікацій з їх подальшим уточненням за допомогою інформації, що міститься у доменних моделях. Перевагою представленої методики по зрівнянню з існуючими є те, що для трансформації використовуються всі складові вихідної моделі з метою перенести її семантику на результуючу модель. Після трансформації виконується уточнення діаграм комунікацій із використанням накопичених знань про домен. Вихідною інформацією для трансформації моделей програмного забезпечення їх аналітичне представлення у графовій формі

TREATMENT OF LONG TUBULAR BONE FRACTURES BY APPARATUS OF EXTERNAL FIXATION AND INTRAMEDULLARY INFLUENCE OF PHYSICAL AGENTS

Advantages of an osteosynthesis of a femur diaphysis fractures by apparatus of external fixation rod type and intramedullar spokes are discussed. Computer modelling on the basis of methods of mechanics of a deformable firm body for spoke and rod apparatus of external bracing is lead

ЛЕЧЕНИЕ ПЕРЕЛОМОВ НАДКОЛЕННИКА С ИСПОЛЬЗОВАНИЕМ АППАРАТОВ ВНЕШНЕЙ ФИКСАЦИИ

The authors of the article suggest way of surgical treatment of patella fracture by means of external fixation. Such approach provides reduction ofrehabilitation period and reduces risk of complication

Use efficiency of dynamic stabilizer in the post-repair period of railways in Ukraine

Purpose. To analyze the interaction forces of the track and rolling stock at application of dynamic stabilizers, as well as the determination of the area, on which the track stabilization is necessary not only according to the technical indices but also according to the economic ones. Methodology.To achieve the research purpose the methods of analysis of material flows, peculiar to the places that need applications of dynamic stabilizers on railway transport tracks are used. Findings. Researches of relatively economic efficiency of dynamic stabilizers application, which were conducted by scientists during the last years, do not spread to comparison of cost of works on the track stabilizing and losses of railway for period of running. During the running period the trains move with a limited speed that causes corresponding financial losses. Speed limitation result in the both the motion time increase and in some occasions in the heavy consumption of fuel and energy resources. The more intensive track discord and expenses increase for its maintenance are observed in the sections of braking and acceleration immediately in front of and after the areas of limitation. The methodology relative to the estimation of economic efficiency of dynamic stabilizers application after completion of track repairs for the areas of Ukrainian railways with different operational conditions was developed. This methodology includes the losses calculation of railroad, which are predefined by extra motion time, heavy consumption of fuel and energy resources and charges for current maintenance. Originality. The methodology of cost effectiveness evaluating of the dynamic stabilizers application in the post-repair period was developed. Such an approach would allow one to take the rational decisions taking into account the features of the track sections, which were reconstructed. Practical value. The obtained results will rationally assign the works on the dynamic track alignment accounting the operational characteristics of the railway sections and the economic feasibility of the planned works completion

Oxygen nonstoichiometry and defect chemistry of perovskite-structured SrFe1−xMoxO3−δ solid solutions

The oxygen nonstoichiometry ofmixed-conducting perovskite-structured SrFe1−xMoxO3−δ (x=0, 0.07, 0.15 and 0.25) was measured by oxygen coulometric titration in the range of oxygen partial pressure 10−20–0.5 atm and temperature 800–950 °C. Based upon a defect chemical analysis of the non-stoichiometry data it is shown that significant reduction of Mo6+ occurs under reducing conditions. The trend observed in the oxidation enthalpy suggests a weakening of the Fe\\O bond strength along with the degree of substitution of Fe by Mo, which behavior is consistent with the concomitant increase in lattice constant. Atomistic simulations were carried out to support the defect chemical analysis, showing that the Mo cations in SrFe1−xMoxO3−δ retain a full, 6-fold coordination shell, whilst Fe cations can have 0, 1 or 2 oxygen vacancies in the first coordination shell

Viral Diarrhea in Children: Clinical Manifestations, Innovations in the Treatment

A literature search on the study of the clinical features of viral diarrhea in children has been carried out depending on the pathogen. 1,484 children with acute enteric infections (AEI) were examined, they underwent inpatient treatment in infectious disease department of Kyiv city children’s clinical hospital № 2 in 2013. It was found that among patients with AEI, 25.9 % had rotavirus infection, 56 % — AEI of uncertain aetiology, 8 % — salmonellosis, 0.1 % — shigellosis, 10 % — AEI with other origin. A literature search showed the effectiveness of the use of probiotics, containing different strains, for AEI treatment, which manifested with reduction of intoxication syndrome, diarrhea, fever by 2–3 days. It is shown that the use of probiotic Subalin, containing Bacillus subtilis strain 2335/105, is promising as etiopathogenetic therapy in the treatment of viral diarrhea in children under current conditions

Cellularity and the index of narrowness in topological groups

summary:We study relations between the cellularity and index of narrowness in topological groups and their $G_\delta$-modifications. We show, in particular, that the inequalities $\operatorname{in} ((H)_\tau)\le 2^{\tau\cdot \operatorname{in} (H)}$ and $c((H)_\tau)\leq 2^{2^{\tau\cdot \operatorname{in} (H)}}$ hold for every topological group $H$ and every cardinal $\tau\geq \omega$, where $(H)_\tau$ denotes the underlying group $H$ endowed with the $G_\tau$-modification of the original topology of $H$ and $\operatorname{in} (H)$ is the index of narrowness of the group $H$. Also, we find some bounds for the complexity of continuous real-valued functions $f$ on an arbitrary $\omega$-narrow group $G$ understood as the minimum cardinal $\tau\geq \omega$ such that there exists a continuous homomorphism $\pi\colon G\to H$ onto a topological group $H$ with $w(H)\leq \tau$ such that $\pi\prec f$. It is shown that this complexity is not greater than $2^{2^\omega }$ and, if $G$ is weakly Lindelöf (or $2^\omega$-steady), then it does not exceed $2^\omega$

Featureless rail flaw recognition using ultrasonic testing

В данной работе предлагается двухэтапная схема распознавания трещин на ранней стадии их развития на основе анализа ультразвуковых дефектограмм рельсового пути. На первом этапе осуществляется быстрая примерная локализация участков рельсов, содержащих потенциальные дефекты. На втором этапе решается задача двухкласового распознавания фрагментов, содержащих трещины, на основе беспризнаковой реализации SVM. Сравнение фрагментов дефектограмм осуществляется на основе динамического временного выравнивания (DTW) с нестандартной мерой несходства их элементов, позволяющей учесть особенности решаемой прикладной задачи. Результаты экспериментов показывают, что предлагаемый подход позволяет достичь достаточно высокого качества распознавания (AUC = 0,82). This paper deals with recognition of defects on the basis of ultrasonic defectogram analysis. The proposed approach is realized in two steps. The first step involves a simple enough procedure for finding regions of ultrasonic defectogram, that could contain defects. The second stage allows to classify detected regions as defects of some types or not defects. Classification is based on featureless version of Support Vector Machines. Comparing of fragments of defectograms is implemented via dynamic time warping (DTW) procedure, that have been adopted for ultrasonic defectograms. Fast algorithm for defectorgram segmentation and CUDA implementation of defectogram's fragments comparison possess the possibility for processing big amounts of data. The experiments shows that the proposed approach allows to reach high enough recognition quality on real data (0.82 AUC).Работа выполнена при поддержке РФФИ, гранты 15-07-08967, 17-07-00993, 18-07-01087