Абстракт: В работе рассматривается подход, позволяющий использовать информационный потенциал систем организационного управления, за счет интеграции системы с комплексом «интеллектуальной поддержки управленческой деятельности». Включение средств интеллектуальной обработки данных позволит расширить возможность использования накопленного информационного потенциала при решении задач управления, увеличит функциональность систем за счет интеллектуальных сервисов поддержки принятия решений.

Ключевые слова: системы организационного управления, информационная поддержка управленческой деятельности, оценка деятельности подразделений организации, многокритериальный анализ, совершенствование управления.

ACM Classification Keywords: H.4.2 Types of Systems - Decision support

Link:

МЕТОДЫ ОЦЕНКИ ДЕЯТЕЛЬНОСТИ ПОДРАЗДЕЛЕНИЙ ОРГАНИЗАЦИИ НА ОСНОВЕ ДАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ

Нина Баканова

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-02-p07.pdf

Abstract: Natural Language Addressing (NLA) is a possibility to access information using natural language words or phrases as direct addresses of the information in the computer memory. For this purpose the internal encoding of the letters is used to generate corresponded address co-ordinates. This paper outlines the main idea of NLA.

Keywords: addressing; natural language addressing.

ACM Classification Keywords: A.1 Introductory and Survey; D.4.3 File Systems Management, Access methods.

Link:

INTRODUCTION TO THE NATURAL LANGUAGE ADDRESSING

Krassimira B. Ivanova, Koen Vanhoof, Krassimir Markov, Vitalii Velychko

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-02-p06.pdf

Abstract: Article focuses on issues related to human interaction with the intelligent information environment. The process of such interaction can be represented as a sequence of elementary action on receiving information, analyzing it, and then make a decision. During such interactions, subject has to consider a lot of different factors, and solve problems multicriteria choice. The presence of complex, multi-criteria task forces a person to use a variety of heuristics for solving the problem. As part of the research, of great scientific interest to develop a model human interaction with intelligent information environment, with the use of which may carry out modeling and predicting user behavior.

Keywords: intelligent information environment, decision making, document management.

ACM Classification Keywords: H.4.2 Types of Systems - Decision support

Link:

DEVELOPING A MODEL OF HUMAN INTERACTION WITH THE SYSTEM OF DECISION-SUPPORT IN DOCUMENT MANAGEMENT

Arseniy Bakanov

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-02-p05.pdf

Abstract: Knowledge management instruments are the most efficient means of organizations management to improve their competitiveness. While the number of the Internet users is boosting, the Internet is becoming more and more available, the efficiency of the Internet social networks application in the organizations working process is also growing. To improve the Internet social networks functioning quality their object domain adequacy, adaptivity, a user-oriented interface are necessary, therefore the article deals with the application of systemological classification analyses to the principal steps of social networks designing. This would result in a social network which is the most adapted to the work of the particular organization in the articular object domain. This would make the function system handy and user-friendly due to their conceptual arranging taking into account the social network functional purpose. The base for the function system of the Internet social network considered is the classification of the necessary object domain which is created by a knowledge expert after the preliminary object domain analyses. This classification would be the base for future function system in the social network menu. In the article the basic elements of the Internet social network fragments building process with the application of systemological classification analyses in the object domains “Medicines” and “Contracts” are given; the Internet social network designing process decomposition diagram created in the BPWin7.0 modelling software tool under the IDEF 0 standard with the application of systemological classification analyses. The resulting fragments of the social network menu for the object domains “Medicines” and “Contracts” based upon the developed ontology classification models are realized in «Wordpress.com» web-designer and «Taba.ru».

Keywords: knowledge management, ontology, the Internet social network, classification, knowledge-oriented technologies, the Internet, systemological classification analyses, systemology, model, business-process.

Link:

DEEP KNOWLEDGE APPLICATION FOR KNOWLEDGE MANAGEMENT INSTRUMENTS PROGRESS

Mikhail Bondarenko, Nikolay Slipchenko, Kateryna Solovyova, Andrey Danilov, Alla El Moutahid

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-02-p04.pdf

Abstract: An inborn defect of the modern system of school education is analysed, being that students systematically pass to studying of a new material, without having acquired to the right degree the previous material. Properties of digital learning objects, which provide assimilation of a training material by students are described. The properties are based on semantic interaction use to reach pedagogical goals. The method of the flipped classroom which provides incorporation of individual activity of students with digital objects into educational process is described.

Keywords: educational system, learning process, teaching process, digital learning objects, interaction, flipped classroom

ACM Classification Keywords: K.3.1 COMPUTERS AND EDUCATION: Computer-managed instruction

Link:

ONE WAY TO ELIMINATE AN EDUCATIONAL SYSTEM DEFECT

Andrei Fedoseev

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-02-p03.pdf

Abstract: It’s clear that digital technology in now integral part to young people’s lives. It’s not just about having useful or fun gadgets, it’s part of how they define themselves. And their use of technology is very much the same and absolutely different to that of adults. For parents the challenge is enormous. A description of how interactive generation teenagers are, what they do online and how mediation is performed by the family.

Keywords: Social networks, Facebook, Instagram, online behaviour, threats, inappropriate content, preventive measures, predators, sex-offenders, groomers, victims, parent –helicopter.

ACM Classification Keywords: K.4.1 COMPUTERS AND SOCIETY: Abuse and crime involving computers, Ethics, Human safety, Privacy, Regulation.

Link:

SOCIAL NETWORKS: CHILDREN AND PARENTS

Diana Bogdanova

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-02-p02.pdf

Abstract: The topic of the presented investigation is contemporary education threats that will lead to big problems in the nearest future. It is shown that the prevention of such threats is impossible without applications of intelligent technologies .Even more, the contemporary education system should possess some features of intelligent technologies, smart systems and data mining elements. Original results are presented on how to build more effective applications of classical and/or presented novel methods: kaleidoscope, puzzle, contradiction, etc. It is shown that all the demonstrated advantages may be successfully combined with other known methods from e-learning, m-learning or other advanced education fields. It is shown how the stated applications enhance the quality of teaching, improve the emotional connection between the teacher and the students and ultimately serve the sustainable development of the students. It has been proved that qualitative forms of education do not require the usage of expensive hardware.

Key words: education, crisis, information security, national security, intelligent system, agent, knowledge discovery, data mining, web mining, ontology, human-centered systems, knowledge management, automation of creative processes.

Link:

APPLICATIONS OF KNOWLEDGE DISCOVERY METHODS IN EDUCATION

Vladimir Jotsov, Stefan Kojnov

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-02-p01.pdf

Abstract: In the multi-attribute utility theory the utility functions are usually constructed by dots. It concerns both the lottery’s method and the value increasing method. In the both cases the utility function is constructed in the absolute scale 0, 1 that causes inconveniences for experts. The comparative assessments look more preferable for decision-makers. The paired comparison matrix (PCM) looks as a natural model representing the preference structure of decision-maker (DM). The PCM provides the extended possibilities to DMs to form comparative assessments both the qualitative ones (as better-worse) and the quantitative ones reflecting winnings and losses of DMs. In the paper we consider methods for utility function construction having different forms of its presentation. Among them there are utility functions based on attributes measured in nominal scales.

Keywords: utility function, paired comparison matrix, scale points, priority function.

ACM Classification Keywords: H.4.2 Information Systems Applications: Types of Systems decision support

Link:

ORDERING MULTIATTRIBUTE ESTIMATING METHODS FROM THE UTILITY POINT OF VIEW

Stanislav Mikoni

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-01-p10.pdf

Abstract: Algebra, describing software static models that are represented as the UML-diagrams of classes packages and components is presented in this paper. The major constituents of the algebra, which rests upon set-theory tools, are classes, components, packages, abstract classes and interfaces. The operations defined on these constituents are: inheritance, polymorphism, composition, aggregation and association. The algebra describing software static models allows: precise a description of design patterns structural constituents; design formats of files for saving software static models; provide a mathematical apparatus for formalized description of interconnections between class diagram elements; propose code generation tools while analyzing functional requirements to application and solve other tasks, requiring analysis of interconnections between constituents of class diagram. An analysis of the problem domain – “designing dense layings of cutting schemas” is represented in this paper. Two subdomains, namely “designing dense layings for leather goods details” and “designing dense layings for shoe details” are considered. The purpose of this analysis is describing framework of the chosen problem domain in terms of software static model description algebra. Components of the “abstract factory” design pattern have been selected to create interconnections between the classes in the problem domain. A diagram of classes of the problem domain that is designed according to analytical description tis represented.

Keywords: class diagram; design pattern; set-theory tool; software modeling; abstract factory design pattern; dense laying designing.

ACM Classification Keywords: D.2.2 Design Tools and Techniques; D.2.11 Software Architectures

Link:

ALGEBRA DESCRIBING SOFTWARE STATIC MODELS

Elena Chebanyuk

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-01-p09.pdf

Abstract: The image analysis of two-dimensional electrophoresis images is a difficult task were authors were not able to find any other work in the literature handling with evolutionary computation in combination with a second order operator for edge detection. In this work, a novel Genetic Algorithm-based protein detection method from two-dimensional electrophoresis gel images is presented. Such a method makes use of a second order operator for edge detection by means of a Genetic Algorithm-based technique. The proposed method is able to detect proteins in two-dimensional gel images, but a reduction in the False Positive ratio is necessary. A manually selection process should be done by the clinicians to reduce this ratio; this represents a bottleneck due to the number of proteins in each imagein order to discriminate real proteins detected. The goal here was to avoid the loss of time caused by the manual revision of proteins detected by the image analysis software packages. To decrease this ratio, binary and real coded Genetic algorithms were probed and BLX-alpha crossover function was chosen. A comparative test with Z3 and Melanie 3.0, two-dimensional electrophoresis image analysis software packages, is done in order to check the accuracy of the proposed method. All images used for these tests are available on the Internet (http://www.umbc.edu/proteome).

Keywords: Image Analysis, Real Coded Genetic Algorithm, Optimization, Electrophoresis, Edge Detection.

ACM Classification Keywords: F.1.1 Models of Computations – Self-modifying machines. I.5.2 Design Methodology – Classifier design and evaluation. I.5.4 Applications – Computer Vision. I.4.6 Segmentation – Edge and feature detection.

Link:

GENETIC BASED SPOT DETECTION METHOD IN TWO-DIMENSIONAL ELECTROPHORESIS IMAGES

CarlosFernandez-Lozano?,Jose A. Seoane, Daniel Rivero, Julian Dorado

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-01-p08.pdf

Abstract: Recently, a new model of computation that is inspired by genetic operations over strings such as mutation and crossover has been proposed. Networks of Genetic Processors (NGPs) are highly related to previously proposed models such as Networks of Evolutionary Processors (NEPs) and Networks of Splicing Processors (NSPs). NGPs are computationally complete and several complexity measures have been proposed to evaluate their computing power with restricted resources (mainly, the time and the number of processors in the network). In this work we evaluate NGPs in an experimental approach. We have selected a NP-complete decision problem, the Hamiltonian Cycle Problem, and we have solved different instances with the proposed model of computation. Our aim is to prove that the selected problem (and all NP problems) can be solved in polynomial time with NGPs. In this case, our experiments show that the problem can be solved in linear time with a fixed number of processors for a given size of the problem.

Keywords: Networks of biologically-inspired processors, Combinatorial Problems, Complexity.

Link:

Solving Combinatorial Problems with Networks of Genetic Processors

Marcelino Campos, José M. Sempere

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-01-p07.pdf

Abstract: The Networks of Evolutionary Processors (NEPs) are computing mechanisms directly inspired from the behavior of cell populations more specifically the point mutations in DNA strands. These mechanisms are been used for solving NP-complete problems by means of a parallel computation postulation. This paper describes an implementation of the basic model of NEP using Web technologies and includes the possibility of designing some of the most common variants of it by means the use of the web page design which eases the configuration of a given problem. It is a system intended to be used in a multicore processor in order to benefit from the multi thread use.

Keywords: Evolutionary processors, Implementation, natural computing, NEP.

ACM Classification Keywords: D.1.m Miscellaneous – Natural Computing

Link:

A WEB IMPLEMETATION OF A GENERALIZED NEP

David Batard, Sandra María Gómez and Abraham Gutiérrez

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-01-p06.pdf

Abstract: In this paper, the main characteristics that are expected from this kind of software and the major tools that can be found at the present time are explained, as well as a proposal of a possible program that solves and fixes all the current lacks, for instance, the nonexistance of a multiplatform software, concluded after an exhaustive study of this proof of concept. The computer-aided design (CAD) tools are essential to achieve right and realiable results in Synthetic Biology researches. Furthermore, a comparison between two CAD’s programs is made simulating a synthetic biological circuit, showing the results to study how new software improvements can be developed to get better conclusions in this kind of experiments, provided by new tools. The design of a tool that could be developed in the future is proposed, based on non conventional programming paradigms (DNA computing for instance), that allow researchers to solve multiple kind of real problems.

Keywords: Synthetic Biology, CAD tools, computational, free software, in silico, simulation

ACM Classification Keywords: J.6 COMPUTER-AIDED ENGINEERING, J.3 LIFE AND MEDICAL SCIENCES, I.6 SIMULATION AND MODELING

Link:

SIMULATION OF BIOLOGICAL MODELS USING CAD TOOLS: NEEDS AND FUTURE

Víctor de la Hoz, César Pumar, Nicolás Quintero, Paula Cordero

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-01-p05.pdf

Abstract: Recently, developments on DNA-based molecular system have been conducted, including information sensing, locomoting function, decision making, and so on. Stochastic decision making is an important mean to deal with the adaptability under the fluctuating environment and it has to be processed based on DNA computing in molecular level. Many applications are found in DNA brain, DNA computer, molecular robotics, etc. In this research, DNA Strand Displacement is chosen as a main framework to develop a nucleic acid based decision making. The idea of implementation is inspired by the principle of Clonal Selection Algorithm of the Immune System. The mechanism allows the system to self-organize an emergent behavior where DNA strands locally interact with each other according to Watson-Crick? complementary process. We define some DNA-based operations based on DNA Strand Displacement reaction to represent the stochastic decision process with multiple choices of actions. Through this algorithm, DNA agents select the best action for a given problem. The software-based simulation results imply the successful implementation of the proposed DNA-based decision making scheme.

Keywords: DNA Strand Displacement, DNA Computing, Stochastic Decision Making, Immune System, Clonal Selection Algorithm.

Link:

DNA Strand Displacement for Stochastic Decision Making based on Immune’s Clonal Selection Algorithm

Rizki Mardian, Kosuke Sekiyama, Toshio Fukuda

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-01-p04.pdf

Abstract: In this paper is aim to design a new software tool that allows to create synthetic biology complex systems and genetic circuit designs, as well as to carry out the development of these models using a wide set of biological and biochemical rules. Thus, it will keep a very close relationship respect to the real characteristics of the biological systems and their environment, obtaining then a high reproducibility in the progress and simulation systems in relation to the progress of the real experiment. It will describe a comparison between two software tools which allow us to design, build and simulate synthetic biology networks and biochemical processes. The progress, improvement and combination of the distinct possibilities that offer both software as well as the analysis of a joint usage of them will result the creation of the new software.

Keywords: synthetic biology, natural computation, COPASI, SynBioSS?, biological systems, synthetic biology,in silico, in vivo, in vitro, BioBricks?, SBML, XML, repressilator.

ACM Classification Keywords: D.2 SOFTWARE ENGINEERING, H.2 DATABASE MANAGEMENT J.3 LIFE AND MEDICAL SCIENCES, I.6 SIMULATION AND MODELING, J.2 PHYSICAL SCIENCES AND ENGINEERING.

Link:

BIOLOGICAL PROCESSES STUDIES THROUGH SOFTWARE TOOLS: DEVELOPMENT AND OPTIMIZATION IN THE SIMULATION OF SYNTHETIC BIOLOGICAL CONSTRUCTIONS

Perceval Vellosillo, Roberto Tomé, Verónica Llorens-Rico?, Juan B. Castellanos

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-01-p03.pdf

Abstract: At present, all methods in Evolutionary Computation are bioinspired by the fundamental principles of neo-Darwinism, as well as by a vertical gene transfer. Virus transduction is one of the key mechanisms of horizontal gene propagation in microorganisms (e.g. bacteria). In the present paper, we model and simulate a transduction operator, exploring the possible role and usefulness of transduction in a genetic algorithm. The genetic algorithm including transduction has been named PETRI (abbreviation of Promoting Evolution Through Reiterated Infection). Our results showed how PETRI approaches higher fitness values as transduction probability comes close to 100%. The conclusion is that transduction improves the performance of a genetic algorithm, assuming a population divided among several sub-populations or ‘bacterial colonies’.

Keywords: Bacterial genetic algorithm, horizontal gene transfer, conjugation operator, transduction operator.

ACM Classification Keywords: I.6 SIMULATION AND MODELING

Link:

MODELING, SIMULATION AND APPLICATION OF BACTERIAL TRANSDUCTION IN GENETIC ALGORITHMS

Carlos Perales-Gravan?, Javier de Vicente Buendia, Juan Castellanos,R. Lahoz-Beltra?

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-01-p02.pdf

Abstract: Nowadays the new "network sciences" work together with the systems biology trying to provide computational tools for analyzing large information derived from bioinformatics and 'omics' science, such as enzymes, complex, and gene networks. The Aragon Institute of Health Sciences ICS has developed an attenuated vaccine that offers better protection against tuberculosis than BCG. In order to improve the study of this large number of genes, it is necessary to use network analysis and visualization programs. In this paper, we present the development of a new integrated IDE software tool to represent the Genetic Network of the bacillus tuberculosis. This tool provides visual, intuitive and relevant information, helping in the research and the study of the new vaccine.

Keywords: Systems Biology, Network Sciences, Genetic Network, IDE software Tool

ACM Classification Keywords: D.1.m Miscellaneous – Natural Computing

Link:

GENETIC NETWORK REPRESENTATION USING A SUITABLE IDE SOFTWARE TOOL TO THE BACILLUS MYCOBACTERIUM TUBERCULOSIS

Pablo del Moral, Sandra María Gómez, Jorge Navarro, Fernando Arroyo

http://www.foibg.com/ijitk/ijitk-vol07/ijitk07-01-p01.pdf

Аннотация. В статье проанализированы связи метода базисных матриц для решения задачи линейного программирования (анализа линейных систем) и матричной игры в смешанных стратегиях. На основе анализа основных рекуррентных соотношений, которые связывают элементы метода базисных матриц в двух смежных базисных матрицах, были установлены соотношения для анализа (и нахождения решения) матричной игры в смешанных стратегиях. Получены условия несущественности чистых стратегий игроков и единственности решений. Разработан алгоритм анализа свойств матричной игры и нахождения решения на основе метода базисных матриц.

Ключевые слова: принятие решений, теория игр, линейная система, матричная игра, смешанная стратегия, базисная матрица.

ACM Classification Keywords : H.4.2 Information Systems Applications : Types of Systems : Decision Support.

Link:

МЕТОД БАЗИСНЫХ МАТРИЦ И МАТРИЧНАЯ ИГРА В СМЕШАННЫХ СТРАТЕГИЯХ

Кудин В.И.

http://www.foibg.com/ijita/vol20/ijita20-04-p10.pdf

Аннотация: Исследованы чистые первопорядковые композиционно-номинативные логики частичных однозначных предикатов. Введено расширение логики специальными предикатами, которые определя- ют наличие значений для переменных. На этой основе для таких логик построены исчисления секвен- циального типа. Для этих исчислений доказаны теоремы корректности и полноты.

Ключевые слова: логика, предикат, логическое следствие, вывод, секвенциальное исчисление.

ACM классификация ключевых слов: F.3.1 Specifying and Verifying and Reasoning about Programs; F.4.1 Mathematical Logic – Proof theory

Link:

СЕМАНТИЧЕСКИЕ СВОЙСТВА И СЕКВЕНЦИАЛЬНЫЕ ИСЧИСЛЕНИЯ ЧИСТЫХ КОМПОЗИЦИОННО-НОМИНАТИВНЫХ ЛОГИК ПЕРВОГО ПОРЯДКА

Николай Никитченко, Степан Шкильняк

http://www.foibg.com/ijita/vol20/ijita20-04-p09.pdf

Аннотация: Исследованы программно-ориентированные логические формализмы – транзиционные композиционно-номинативные модальные логики частичных эквитонных предикатов. Описаны семан- тические модели и языки чистых первопорядковых транзиционных модальных логик. Для таких логик построены исчисления секвенциального типа, доказаны корректность и полнота этих исчислений.

Ключевые слова: модальная логика, предикат, логический вывод, секвенциальное исчисление.

ACM классификация ключевых слов: F.3.1 Specifying and Verifying and Reasoning about Programs; F.4.1 Mathematical Logic – Proof theory

Link:

МОДАЛЬНЫЕ ЛОГИКИ ЧАСТИЧНЫХ ПРЕДИКАТОВ И СЕКВЕНЦИАЛЬНЫЕ СИСТЕМЫ ЛОГИЧЕСКОГО ВЫВОДА В ЭТИХ ЛОГИК

Оксана Шкильняк

http://www.foibg.com/ijita/vol20/ijita20-04-p08.pdf

Abstract: We present analytical expressions for the perturbations of pseudoinverse and projection matrices pozvolyayuschienahodit solutions of optimal synthesis of linear systems with fuzzy parameters of the task. В работе приводятся аналитические выражения для возмущений псевдообратных и проекционных матриц позволяющиенаходить решений задач оптимального синтеза линейных систем с нечётко задаными параметрами.

Keywords: возмущения псевдообратных и проекционных матриц оптимальный синтез линейных систем.

ACM Classification Keywords: Computing Methodologies. Simulation and modeling. optimum synthesis

Link:

ПРИМЕНЕНИЕ МЕТОДОВ ПСЕВДООБРАЩЕНИЯ К ЗАДАЧАМ ОПТИМИЗАЦИИ СТРУКТУР

Григорий Кудин

http://www.foibg.com/ijita/vol20/ijita20-04-p07.pdf

Аннотация: Обсуждаются вычислительные аспекты аксиоматического подхода к решению проблемы сужения множества Парето на основе определённой числовой информации об отношении предпочтения лица, принимающего решение (ЛПР). Этот подход развивается автором, начиная с 1983 г. Его применение предполагает принятие определённых четырёх аксиом «разумного» поведения ЛПР в процессе принятия решений. Предполагается, что в дополнение к указанным аксиомам известны некоторые сведения об отношении предпочтения ЛПР («кванты» информации). На основе этих сведений можно сократить множество Парето и, тем самым, облегчить последующий выбор выбираемых (наилучших) решений. Прослеживается эволюция развития аксиоматического подхода и формулируется алгоритм учёта произвольного конечного набора «квантов» информации об отношении предпочтения ЛПР. Работа алгоритма проиллюстрирована примером.

Ключевые слова: множество Парето, многокритериальный выбор, сужение множества Парето

ACM Classification Keywords: F.4.3 – Decision problems

Link:

АКСИОМАТИЧЕСКИЙ ПОДХОД К СУЖЕНИЮ МНОЖЕСТВА ПАРЕТО: ВЫЧИСЛИТЕЛЬНЫЕ АСПЕКТЫ

Владимир Ногин

http://www.foibg.com/ijita/vol20/ijita20-04-p06.pdf

Аннотация: В практических задачах сравнения альтернатив с интервальными, из-за неопределенности, показателями качества нередко применяются точечные (одно-числовые) оценки, предположительно эквивалентные исходным интервальным. В работе показано, что использование в таких задачах точечных оценок, в частности оценок математического ожидания, без квантификации и дополнительного анализа величины шансов истинности проверяемой гипотезы о предпочтительности одной из альтернатив в их паре неадекватно проблеме сравнения интервальных оценок. Предложен метод вычисления шансов истинности проверяемой гипотезы и риска, связанного с возможной истинностью гипотезы, противоположной анализируемой. Для ряда примеров сравнения интервальных альтернатив проведено сопоставление результатов сравнения по предложенному методу и по средним оценкам. Продемонстрировано, что упомянутые шансы далеко не во всех случаях могут быть представлены как функции математических ожиданий распределений на сравниваемых интервалах. Показано, что корректный анализ задачи сравнения интервальных альтернатив требует расчета указанных шансов и сопоставления их величины с предпочтениями лиц, принимающих решения.

Keywords: comparing interval alternatives, method for estimation of chances of preferability compared alternatives, analysis of adequacy of average point estimates to comparing process

ACM Classification Keywords: H.1.2 Human information processing. G3 Distribution functions. I.2.3 Uncertainty, “fuzzy”, and probabilistic reasoning.

Link:

О ПРИМЕНИМОСТИ ОЦЕНКО МАТЕМАТИЧЕСКОГО ОЖИДАНИЯ ПРИ СРАВНЕНИИ ИНТЕРВАЛЬНЫХ АЛЬТЕРНАТИВ

Стернин М.Ю., Шепелев Г.И.

http://www.foibg.com/ijita/vol20/ijita20-04-p05.pdf

Аннотация: Рассматривается проблема построения монотонной логики Флойда-Хоара, которая является расширением классической логики Флойда-Хоара для случая частичных предикатов. Обобщается построенная монотонная логика на случай многосортных логик. Для этого вводятся номинативные данные с типами. Доказывается монотонность композиций представленной логики, а также непрерывность композиции Флойда-Хоара.

Ключевые слова: программные логики, композиционно-номинативный подход, монотонные композиции, типизированные данные.

ACM Classification Keywords: F.3.1 Specifying and Verifying and Reasoning about Programs – Logics of Programs

Link:

МНОГОСОРТНАЯ МОНОТОННАЯ ЛОГИКА ФЛОЙДА-ХОАРА

Андрей Криволап, Николай Никитченко

http://www.foibg.com/ijita/vol20/ijita20-04-p04.pdf

Аннотация: Рассматриваются два основных подхода к решению многокритериальных задач принятия решений и векторной оптимизации систем управления. Один из них состоит в формализации многокритериальных задач при заданных (фиксированных) ограничениях и ресурсных возможностях системы. Второй подход показывает, какие новые перспективы открываются перед разработчиками, если они имеют возможность в определенных пределах распоряжаться ресурсными запасами (ограничениями) многокритериальных систем.

Ключевые слова: схемы компромиссов, консенсус, ресурсы и ограничения, противоречивость критериев, принцип рациональной организации.

ACM Classification Keywords: H.1 Models and Principles – H.1.1 – Systems and Information Theory; H.4.2 – Types of Systems.

Link:

КОМПРОМИСС И КОНСЕНСУС В ТЕОРИИ ПРИНЯТИЯ РЕШЕНИЙ

Альберт Воронин

http://www.foibg.com/ijita/vol20/ijita20-04-p03.pdf