Математика программных систем: межвуз. сб. науч. тр.
The article describes the approach to the school timetable compilation based on genetic algorithms. Schedule requirements are divided into two categories: critical, the failure of which leads to the appearance of an incorrect, impracticable schedule, and user, allowing to consider the individual preferences of teachers and features of a school. Critical schedule requirements are described by graph theory language, which allows the use of standard genetic operators without causing many non-viable individuals. User requirements are described in the form of a flexibly adjustable fitness function, which makes it possible to quickly adapt the proposed algorithm to the conditions of a particular educational institution. The algorithm is implemented as a program for the school timetable compilation. The article presents the real data testing results, shows the correctness and advantages of the proposed approach, and marks the development trends.
The article is prepared on the results of the British national corpus processing (BNC, British National Corpus) in the linguistic research system GATE Developer. The authors faced the problem of reduced performance as a result of incorrect distribution of RAM by the system. The paper investigates the problem of memory overflow, identifies possible causes of incorrect operation, pro\vides a brief overview of tools for profiling applications developed on the Java platform. The results of profiling and possible problem solutions are reported.
The tools used at design of enterprise architecture are analyzed, their characteristics are described in article . The output that the main problem complicating design process, leading to increase in labor input of work of systems analysts and engineers is the lack of integration tools of the used tools is proved. Approach to a solution of an objective is offered and the general architecture of the developed software is described.
The article describes the methodic of applying the Anticipatory Failure Determination method to assess the quality of management of an organizational system. To identify potential shortcomings and assess their significance, collective anonymous examination and statistical processing of expert assessments are used. As a result, ATD was useful for assessing the quality of the management process and identifying ways to improve it. As an example, the application of the described methodology to the assessment of the quality of the educational process at the Department of Business Informatics of the HSE-Perm is considered. But there are no obstacles to the use of the proposed method in other cases.
Different ways of the visual model descriptions formalization are considered. The hypergraph with poles is offered as a new formal model for graphic languages creation. This model provides possibility of definition and implementation of new visual languages and it gives a basis for realization of operations over the models constructed with these languages. The suggested model is an extension of the graph with poles concept for considering specifics of graphics editors implementation for the DSM platforms. The language toolkits include means of languages definition and tools for models creation, but components for model transformations are the most important in modern DSM platform. New formal model provides flexible tools for decomposition and detailing of models and language transformations feasibility.
This paper represents analysis of software development patterns, tools and development environments for creating mobile applications, and realization of analytic technologies for data stored in application. The practical part of the work is a brief description of creation cyclist mobile application by the selected methods, confirming the possibility of implementing the tasks set by the customer using the described technologies.