Abstract: The problem of MPLS networks structural synthesis is considered. The various modifications of Genetic Algorithms (GA) are investigated for this problem solution which differs in implementation of crossover and mutation procedures. The most adequate version of GA was elaborated and its investigations were carried out. The application to suggested GA for real problem of topological optimization of MPLS network is presented.

Keywords: MPLS network, Genetic algorithms, structure synthesis

ACM Classification Keywords: A.0 General Literature - Conference proceedings National Information Technologies NIT 2013

Link:

MPLS NETWORK STRUCTURAL SYNTHESIS WITH APPLICATION OF MODIFIED GENETIC ALGORITHM

Yuriy Zaychenko, Helen Zaychenko

http://www.foibg.com/ijicp/vol01/ijicp01-01-p08.pdf

Abstract: Currently digital video are widely used in various fields of science and technology and in human daily activities. Intensively growing and already existing huge amount of digital video data need to be managed, so the shot boundary detection is the first and important step for content-based video retrieval and indexing. Each algorithm aimed for this approach should accurately detect boundaries between camera shots and do a segmentation of a video. In this paper a new method of abrupt transitions detection is proposed, based on Weibull distribution of each frame's gradient magnitude. Experimental results successfully show that it can effectively detect hard cuts and has certain advantages against widely used other methods, which are using image pixels point-by-point comparison method.

Keywords: segmentation, cut detection, similarity measure, Weibull distribution.

ACM Classification Keywords: Image Processing and Computer Vision

Link:

IMPROVED ALGORITHM FOR VIDEO SHOT DETECTION

David Asatryan, Manuk Zakaryan

http://www.foibg.com/ijicp/vol01/ijicp01-01-p07.pdf

Abstract: The significant increase in number of information sources unfavorable affects on traditional foresight techniques not directly adapted to big data era. Without automation of knowledge processing the quality of final foresight product is significally dependent on human (experts, analytics) abilities. In the article the new process workflow is proposed using text analytics tools to support all stages of foresight. The proposed advanced model of fact extraction with modified rules is based on new workflow, which includes marking data with additional metadata, using automated classification and sentiment extraction techniques, data quality improving steps in addition to quantitative and qualitative analysis of data. The modified rule based model of knowledge extraction adapted to used toolkit is presented. Given approach were tested on supporting of foresight process in domain of agricultural development of Crimea region.

Keywords: foresight, decision making, textual analytics, sentiment analysis, knowledge society, data mining, DSS.

ACM Classification Keywords: H.5.3 Group and Organization Interfaces - Computer-supported cooperative work

Link:

FORESIGHT PROCESS BASED ON TEXT ANALYTICS

Nataliya Pankratova, Volodymyr Savastiyanov

http://www.foibg.com/ijicp/vol01/ijicp01-01-p06.pdf

Abstract: Modeling of reasoning in intelligent systems on the example of intelligent decision support system of real time by means of integration of methods based on case-based reasoning (accumulated experience) and inductive notion formation in the presence of noisy data are considered.

Keywords: intelligent decision support system, real time, plausible reasoning, modeling, case-based, inductive notion formation, noisy data.

Link:

MODELING OF REASONING IN INTELLIGENT DECISION SUPPORT SYSTEMS BY INTEGRATION OF METHODS BASED ON CASE-BASED REASONING AND INDUCTIVE NOTIONS FORMATION

Alexander Eremeev, Marina Fomina

http://www.foibg.com/ijicp/vol01/ijicp01-01-p05.pdf

Abstract: The article describes the algorithmic implementation of information technology for translation from inflectional languages to sign language. For example info logical model of Ukrainian dictionary and sign language, related generalized grammatical constructions for automatic translation are built. The experimental results to verify the effectiveness of the proposed information technology are represented.

Keywords: Automated translation, sign language, inflectional language.

Link:

AUTOMATED TRANSLATION FROM INFLECTIONAL LANGUAGES TO SIGN LANGUAGES

Olexandr Barmak, Iurii Krak, Sergii Romanyshyn

http://www.foibg.com/ijicp/vol01/ijicp01-01-p04.pdf

Abstract: The problems extraction knowledge from natural language text is considered. An automatization approach to extraction knowledge is proposed.

Keywords: automatically analysis of natural languages text, extraction of knowledge.

ACM Classification Keywords: I.2 ARTIFICIAL INTELLIGENCE – I.2.4 Knowledge Representation Formalisms and Methods.

Link:

ANALYSIS AND PROCESSING OF THE TEXT INFORMATION AIMED AT EXTRACTING BASIC KNOWLEDGE

Kryvyi Sergii, Bibikov Dmitriy

http://www.foibg.com/ijicp/vol01/ijicp01-01-p03.pdf

Abstract: In recent decades, an increasing variety of research fields are converging into information science conceptualizations. They are accompanied by astounding new uses of knowledge and even more astounding social transformations that revolve around information technologies. Whether a robust information science will finally emerge may not only depend on successful discussions about the philosophy of information and the social impact of the new technologies. The most important adjustment to make is about framing a “new way of thinking” or new perspective about information science itself: an inner philosophy interconnecting research practices in fundamental areas of the new science. Like in the historical birth of other major sciences, the empirical, comparative understanding of informational phenomena and informational entities should take place first. Further, a naturalistic perspective, biologically inspired, would help in determining what model systems should be adopted for advancing the comparative study of informational entities. Rather than attempting ill-fated definitions is information definable at all? or closely remaining within the confines of information theory, a naturalistic, empirically oriented strategy offers room for advancement. In the end, crafting a great scientific domain around information science –rather than around computing – should be a common goal for the scholars and researchers both from natural sciences and engineering and from social sciences involved in these new studies.

Keywords: Information Flow, Cell Production, Communication, Information Science,

ACM Classification Keywords: Theory

Link:

A NEW APPROACH TO INFORMATION SCIENCE: FRAMING A NATURALISTIC PERSPECTIVE

Jorge Navarro, Raquel del Moral & Pedro C. Marijuán

http://www.foibg.com/ijicp/vol01/ijicp01-01-p02.pdf

Abstract: The privacy preserving computation research area is considered. The problem appear when one party have confidential data and need to do intense computations over that data, and computations will be done by the second party, which may be supposed being untrusted. So the content of the raw data should be kept private from the second party during the computations. Therefore these data are to be encrypted before sending them to the second party. Two possible solution scenarios are considered – one in physical and the second in theoretical levels. Physical level solution assumes some hardware integration and reorganizations. Theoretical level solution is based on cryptographic approach (homomorphic encryption).The main idea is to encrypt data in such a way that the owner, after getting the results of computations over the encrypted data, will be able to get the results on original data only by decrypting the received results. The paper brings description and analyzes of such known schemas. The final outcome is that practical cryptographic tools today are really not ready to be applied on privacy preserving computations, so that the way of solution is the use of heuristic data analyses models and algorithms that replace original data with synthesized data. Considering preparatory, this article is followed by the base research part where synthetic data generation is considered on base of CART algorithm and clustering type computational algorithms.

Keywords: Privacy preserving computations, homomorphic encryption, synthetic data generation.

ACM Classification Keywords: H.1 Information Systems – Models and principles, I.2.0 Artificial intelligence.

Link:

BRIEF ANALYZIS OF TECHNIQUE FOR PRIVACY PRESERVING COMPUTATION1

Levon Aslanyan, Vardan Topchyan, Haykaz Danoyan

http://www.foibg.com/ijicp/vol01/ijicp01-01-p01.pdf

Abstract: There were considered main approaches, methods and features of energy consumption forecasting and creating program complex of a regional model of environmental of wholesale electricity in Russian federation.

Keywords: modeling and forecasting of energy consumption, the program complex, information-analytical systems, econometric modeling.

ACM Classification Keywords: H. Information Systems. H.4 Information Systems Applications: H.4.2 Types of Systems – Decision support (e.g., MIS).

Link:

Program complex of regional models of electricity consumption for the Russian Federation

Galina Starkova, Natalia Frolova

http://www.foibg.com/ijita/vol21/ijita21-03-p08.pdf

Abstract: An axiomatic approach to solve the problem of narrowing the Pareto set based on some numerical information regarding preferences of the decision maker is considered. This approach has been developed by the author since 1983. It requires the acceptance of certain four axioms of "reasonable" behavior of the Decision Maker during the decision making process. It is assumed that in addition to the axioms some information regarding the Decision Maker’s preferences (the so-called "quanta" of information) is known. Using this information it is possible to reduce the Pareto set and thereby facilitate subsequent selection of solutions. We analyze a class of multicriteria choice problems for which this approach can be applied, as well as discuss of possible directions for its generalization.

Key words: Pareto set, multicriteria choice, Pareto set reducing

ACM Classification Keywords: F.4.3 – Decision problems

Link:

Generalized Axiomatic Approach to the Pareto Set Narrowing

Vladimir Noghin

http://www.foibg.com/ijita/vol21/ijita21-03-p07.pdf

Abstract: Earlier, in the framework of our previous papers, we introduced a criterion for comparing interval alternatives, which was called the assurance factor. It is based on the balance of chances that hypothesis on preference for one of the compared alternatives is true and the risks associated with the possible truth of the opposite hypothesis. The criterion is dimensionless that is not similar to other criteria used for this purpose. In this paper this criterion and its calculation method are proposed to use for analysis of the most important from a practical point of view problems of forecasting the expected effectiveness of the individual alternatives. Numerical procedures have been developed to calculate the values of the assurance factor in the case of arbitrary distribution on the analyzed interval alternative. Analytical expressions were also found for the uniform and triangular distributions. Comparison of the results was produced for evaluating the expected effectiveness of interval alternatives on the proposed criterion and on base of other evaluation criteria (mean value, Hurwicz criterion). The arguments presented in favor of adequacy of the proposed criterion for problems of forecasting both expected efficiency of interval alternatives and comparison of alternatives on preference. The possibility harmonizing of results comparing alternatives and evaluating their expected efficiency based on Hurwicz criterion and on the assurance factor was considered. Relation of the assurance factor with "pessimism - optimism" coefficient was received. On this basis we analyze the question concerning substantiation of the choice of Hurwicz criterion values. Using ordinal scales in the process of comparing alternatives and evaluating their expected effectiveness on base of the assurance factor is proposed.

Keywords: estimating expected efficiency of interval alternatives, criterion estimating efficiency, comparing different criteria of efficiency

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

Link:

Evaluating Expected Effectiveness of Interval Alternatives

Gennady Shepelev, Mikhail Sternin

http://www.foibg.com/ijita/vol21/ijita21-03-p06.pdf

Abstract: In the paper a multicriteria problem of lexicographic optimization with convex functions of the criteria on the feasible set described by linear restrictions is considered. One of the possible approaches to the solution of the multicriteria problem of lexicographic optimization is suggested. The approach combines the ideas of methods of feasible directions and linearization. A solution algorithm has been built and proved; some illustrating examples have been given.

Keywords: multicriteria problem, vector criterion, lexicographic optimization, feasible directions, linearization

ACM Classification Keywords: G 1.6 Optimization.

Link:

Solution Algorithm of Multicriteria Problems of Lexicographic Optimization with Convex Criteria Functions

Natalia Semenova, Maria Lomaha, Victor Semenov

http://www.foibg.com/ijita/vol21/ijita21-03-p05.pdf

Abstract: The problem of corporations’ financial analysis and creditability forecasting under uncertainty and risk is considered. The classical scoring method is described. The application of fuzzy neural networks with algorithms of Mamdani and Tsukamoto for enterprises creditability analysis and forecasting is suggested. Fuzzy rules base for NFNs was developed. The experimental investigations of NFNs in the problem creditability forecasting were carried, their efficiency estimated and compared with scoring method.

Keywords: creditability, forecasting, financial analysis, fuzzy neural networks, scoring method

Link:

Financial analysis and creditability estimation of borrowers – corporations under uncertainty

Yuriy Zaychenko, Ovi Nafas Aghaei Agh Ghamish

http://www.foibg.com/ijita/vol21/ijita21-03-p04.pdf

Abstract: New ant colony optimization algorithm has been investigated. Optimal search tactic and ant decision making criterion have been found.

Keywords: Ant colony optimization algorithm, travelling salesman problem, salesman problem

ACM Classification Keywords: G Mathematics of computing – G.2 Discrete mathematics – G.2.2 Graph theory – Graph algorithms, Network problems; I Computing Methodologies – I.2. Artificial Intelligence – I.2.8 Problem Solving, Control Methods and Search – Graph and tree search strategies

Link:

Criteria investigations in ant colony optimization algorithm for travelling salesman problem

Yuriy Zaychenko, Nicholas Murga

http://www.foibg.com/ijita/vol21/ijita21-03-p03.pdf

Abstract: The paper describes an approach to multicriteria choice of computing complex using a multi-stage technology for sequential reducing the dimension of the criteria space. Several hierarchical systems of composite criteria, which aggregate initial characteristics of complex in a single integral index of prospectivity, were built using the methods of verbal decision analysis. The proposed approach allows to simplify the procedure of multicriteria comparisons and choices of options, reduce the complexity of the procedure, select the most preferred option and assess the quality of the selection.

Keywords: multicriteria choice, verbal decision analysis, reducing the dimension of the attribute space, attribute aggregation, integral index, computing complex

ACM ClYsification? Keywords: A.0 General Literature - Conference proceedings

Link:

Selection of Computing Complex by Integral Index of Prospectivity

Alexey Petrovsky, Vasiliy Lobanov, Alla Zaboleeva-Zotova?, Tatiana Shitova

http://www.foibg.com/ijita/vol21/ijita21-03-p02.pdf

Аннотация: В данной статье представлена технология разработки приложений дополненной реальности, основанных на онтологиях. Представлены результаты анализа существующих подходов к разработке приложений дополненной реальности, продемонстрирована потребность в высокоуровневых технологиях построения систем дополненной реальности. Проведен анализ наиболее популярных библиотек и платформ разработки приложений дополненной реальности (ARTAG, ARTOOLKIT, Layar, QUALCOMM AR PLATFORM), показана потребность в разработке более высокоуровневых инструментов. На основе анализа основных задач, требующих решения при создании приложения дополненной реальности, предложена технология разработки приложений дополненной реальности на основе онтологического анализа. В основе технологии лежит применение онтологии проблемной области и онтологии пространства задачи. Онтология проблемной области описывает основные понятия проблемной области и связи между ними. Онтология пространства задачи предоставляет описание пространства задачи, локаций и их взаимного расположения и содержит два уровня: описание метапонятий, то есть тех понятий, которые будут использоваться для описания, и непосредственно описание самого пространства, где указывается, какие объекты есть в пространстве, и как они связаны между собой. Для применения полученных онтологий предложена типовая архитектура приложения дополненной реальности, описаны компоненты архитектуры. Отдельно рассмотрена проблематика формирования сцены, которая выводится на экран мобильного устройства, а также некоторые особенности построения пользовательского интерфейса для приложений дополненной реальности. Предложенная технология активно используется для разработки системы «Интеллектуальный видеогид». Прототип системы запущен в промышленное использование в Пермской Государственной Художественной Галерее.

Ключевые слова: Дополненная реальность; онтологическое моделирование; Augmented reality; mobile applications; ontological modeling.

ACM Classification Keywords: H.5 Information Interfaces and Presentation: H.5.1 Multimedia Information Systems – Artificial, augmented, and virtual realities.

Link:

РАЗРАБОТКА ПРИЛОЖЕНИЙ ДОПОЛНЕННОЙ РЕАЛЬНОСТИ, ОСНОВАННЫХ НА ОНТОЛОГИЯХ

Кирилл Юрков

http://www.foibg.com/ijita/vol19/ijita19-4-p12.pdf

Аннотация: В статье рассматривается проблема автоматического тестирования алгоритмов поиска человека по приметам. Особое внимание уделяется испытаниям этих алгоритмов в реальных условиях. Сформулированы ключевые показатели для оценки производительности и качества работы алгоритмов с учетом пользовательского опыта. Для оценки производительности предлагается измерять два параметра: скорость построения одного индекса человека и скорость сравнения двух индексов. Измерения производительности проводятся относительно эталонного алгоритма, который длительное время испытывался в реальных условиях. Качественными показателями работы алгоритмов являются доля выраженных ошибок в результатах поиска и доля камер, на которых искомый объект был найден. Именно эти два показателя сложнее всего измерить автоматически ввиду их субъективной природы. Требование репрезентативности тестовой выборки, т.е. соответствия ее реальным условиям, дополнительно усложняет задачу измерения. В качестве тестовой выборки предложено использовать большое количество видеороликов, отснятых в различных условиях освещенности и на камеры различных моделей и производителей. Для измерения качественных показателей предложена методика, основанная на предварительной разметке тестовых видеороликов человеком и использовании модуля трекинга людей в рамках одной камеры. В разметку закладываются человеческие субъективные оценки степени похожести людей на видеороликах. Разметка видеороликов состоит из двух частей: отметка временных границ движения отдельных людей и заполнение матрицы сравнения людей между собой. Модуль трекинга необходим для сопоставления людей в видеороликах и людей, проиндексированных в системе видеонаблюдения. После разметки вся тестовая выборка подается на вход системы видеонаблюдения, где она индексируется. После этого происходит сопоставление людей в размеченных видеороликах и архиве, а на основе сопоставления автоматически рассчитываются качественные показатели.

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

ACM Classification Keywords: D.2 SOFTWARE ENGINEERING: D.2.5 Testing and Debugging – Testing tool; D.2.8 Metrics – Performance measures. I.5 PATTERN RECOGNITION: I.5.4 Applications – Computer vision.

Link:

РАЗРАБОТКА МЕТОДИКИ АВТОМАТИЧЕСКОГО ТЕСТИРОВАНИЯ АЛГОРИТМОВ ПОИСКА ЧЕЛОВЕКА ПО ПРИМЕТАМ

Андрей Дураков

http://www.foibg.com/ijita/vol19/ijita19-4-p11.pdf

Abstract: В работе исследуется ряд существующих в отечественной и зарубежной практике подходов к моделированию энергопотребления, а также возможности их применения для построения модели конъюнктуры оптового рынка электроэнергии и мощности, на базе которой будет сформирован программный комплекс моделирования электропотребления РФ в региональном разрезе.Целью данной работы является описание модуля моделирования и прогнозирования электропотребления. Предполагается построение моделей различных спецификаций, включая регрессионные (множественные регрессии, регрессии с учётом сезонной декомпозиции и корректировки – CensusII), экстраполяционные (ARMA, ARIMA, ARMAX) и нейросетевые модели, учитывающие многогранные аспекты процесса электропотребления. Исходные данные длямоделирования электропотребления были взяты с таких официальных источников, как Росстат (Федеральная служба государственной статистики), Министерство экономического развития РФ, НП «Совет рынка» (Некоммерческое партнёрство «Совет рынка» по организации эффективной системы оптовой и розничной торговли электрической энергией и мощностью), Международный Валютный Фонд (IMFPrimaryCommodityPrices) и других. Кроме модуля моделирования и прогнозирования электропотребления, в состав рассматриваемого программного комплекса будет включён модуль, обеспечивающий интеграцию с уже существующими информационными системами, единое хранилище данных, а также модуль визуализации данных и формирования отчётов.Структура комплекса будет учитывать возможность дальнейшего расширения функциональности, в том числе посредством расширения возможностей имеющихся функциональных модулей и интеграции новых.

Keywords: моделирование электропотребления; эконометрические модели; нейросетевое моделирование; информационно-аналитические системы; системы поддержки принятия решений; единое хранилище данных; контейнер моделирования.

ACM Classification Keywords: H. Information Systems: H.1Models and Principles, H.4 Information Systems Applications. I.6 Simulation and Modeling: I.6.5 Model Development.

Link:

МЕТОДЫ И МОДЕЛИ ПРОГНОЗИРОВАНИЯ ЭЛЕКТРОПОТРЕБЛЕНИЯ НА РЕГИОНАЛЬНОМ УРОВНЕ

Галина Старкова

http://www.foibg.com/ijita/vol19/ijita19-4-p10.pdf

Abstract: В статье представлены результаты разработки агент-ориентированной модели инновационного процесса появления, отбора и реализации инновационных проектов. Инновационная система является сложной слабоструктурированной социально-экономической системой, являющейся результатом взаимодействия целенаправленных элементов и обладающей множеством явных и неявных прямых и обратных связей. Для построения правдоподобной социально-экономической модели и повышения эффективности управления инновационной системой возникает необходимость полноценного учета особенностей инновационных процессов, что стимулирует искать новые способы моделирования экономической реальности Предложенный агент-ориентированный подход к моделированию и исследованию проблем инновационного развития позволяет получать как качественные, так и количественные оценки эффекта воздействия на инновационную систему. Для оценки эффективности взаимодействия агентов в модели созданы параметры profit (абсолютная величина чистых выгод) и efficiency (отношение полезных конечных результатов её функционирования к затраченным ресурсам), а также использованы функций сбора статистики, например, в ходе анализа изменения числа инновационных продуктов, реализуемых на рынке. Качественные оценки могут базироваться, например, на анализе причин скопления инновационных идей на некоторой стадии отбора. В статье определены основные этапы, а также некоторые математические аспекты построения агент-ориентированной модели инновационной системы. Приведено концептуальное описание механизма работы модели. Инновационная система в разработанной модели рассматривается в качестве «инновационной воронки», то есть основное внимание уделяется процессам отбора и преобразования идей в конечный продукт, появления и выбытия этих идей на различных стадиях инновационного процесса. В качестве экономических агентов в модели рассматриваются технологические брокеры, авторы инновационных разработок, инвесторы и правительство. Все экономические агенты, за исключением правительства, являются реплицированными, что позволяет регулировать их количество при помощи параметров, добавлять и удалять агентов во время симуляций, управляя классами агентов. В процессе разработки агент- ориентированной модели инновационной системы рассматривались четыре взаимосвязанных уровня экономической реальности: реальная инновационная система; агент-ориентированный уровень инновационной системы; логико-математический уровень инновационной системы; виртуальная реальность, в которой осуществляются целенаправленные вычислительные эксперименты. Созданная компьютерная модель позволяет проводить эксперименты типа «Что будет, если…» и, в конечном счете, уменьшить риск принятия неверного управленческого решения.

Keywords: агент-ориентированное моделирование; инновации; инновационная воронка; имитационное моделирование; моделирование сложных систем.

ACM Classification Keywords: H. Information Systems: H.4 Information Systems Applications: H.4.2 Types of Systems – Decision support (e.g., MIS).

Link:

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

Анатолий Селянинов, Наталья Фролова

http://www.foibg.com/ijita/vol19/ijita19-4-p09.pdf

Abstract: В работе представлен симулятор компьютерных сетей TRIADNS. Широко используемая в настоящее время распределенная обработка информации, развитие Grid-технологий и облачных вычислений, позволяют говорить об актуальности проблемы, связанной с проектированием и моделированием компьютерных сетей. Проблема заключается в разработке программных средств имитационного моделирования, которые позволяют исследовать компьютерные сети, включающие множество узлов (и, следовательно, требующие больших временных затрат на моделирование). Кроме того, возникает необходимость в определении их топологических характеристик (диаметр, ширина бисекции и т.д.), исследовать трафик, изучить поведение устройств и отладить разрабатываемые протоколы компьютерной сети, в частности, исследовать работу алгоритмов маршрутизации, узнать, как будет выполняться тот или иной алгоритм при изменении сети и т.д. Таким образом, к симуляторам предъявляются требования, связанные с их эффективностью и гибкостью, т.е. симуляторы достаточно быстро должны находить решения, связанные с проектированием как аппаратной части компьютерных сетей, так и с проектированием их программного обеспечения, учитывая при этом особенности сетей различного типа (локальных, глобальных, корпоративных, беспроводных и т.д.). В работе представлены подходы, позволяющие решить эти проблемы (иерархическое трехслойное представление модели, использование онтологий и методов Data Mining).

Keywords: имитационное моделирование, компьютерные сети, онтологии, алгоритмы маршрутизации, Data Mining, параллельное имитационное моделирование.

ACM Classification Keywords: I.6 SIMULATION AND MODELING: I.6.8 Types of Simulation – Distributed : I.2 ARTIFICIAL INTELLIGENCE: I.2.5 Programming Languages and Software – Expert system tools and techniques.

Link:

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

Елена Замятина, Александр Миков, Роман Михеев

http://www.foibg.com/ijita/vol19/ijita19-4-p08.pdf

Abstract: In this paper we consider the problem of characterizing permutation polynomials of the shape ܲ(ݔ) = ݔ + ߛ݂(ݔ) + ߜ ݃(ݔ) + ݈߬(ݔ) over the field ܨ௤; that is, we seek conditions on the coefficients of a polynomial which are necessary for it to represent a permutation.

Keywords: finite field, permutation polynomial, linear translator

Link:

A METHOD OF CONSTRUCTING PERMUTATION POLYNOMIALS OVER FINITE FIELDS

Melsik Kyureghyan, Sergey Abrahamyan

http://www.foibg.com/ijita/vol19/ijita19-4-p07.pdf

Abstract: In this paper the proof complexities of some classes of quasi-hard determinable (Tsgfn ) and hard determinable ( n ) formulas are investigated in some refutation propositional systems. It is proved that 1) the number of proof steps of Tsgfn in R(lin) (Resolution over linear equations) and GCNF' permutation (cutfree Gentzen type with permutation) systems are bounded by p( 2 Tsgfn log ) for some polynomial p(), 2) the formulas  n require exponential size proofs in GCNF' permutation. It is also shown that Frege systems polynomially simulate GCNF' permutation and any Frege system has exponential speed-up over the GCNF' permutation.

Keywords: determinative conjunct, hard determinable formula, quasi-hard determinable formula, proof complexity, refutation system, polynomial simulation.

ACM Classification Keywords: F.4.1 Mathematical Logic and Formal Languages, Mathematical Logic, Proof theory

Link:

PROOF COMPLEXITIES OF SOME PROPOSITIONAL FORMULAE CLASSES IN DIFFERENT REFUTATION SYSTEMS

Ashot Abajyan, Anahit Chubaryan

http://www.foibg.com/ijita/vol19/ijita19-4-p06.pdf

Abstract: When a natural language is introduced in a computer we have several problems to automate it, this is because it is difficult to make a computer relate concepts in a rich and always changing vocabulary. The two biggest problems come when using synonymous and polysemous words, as it is done in any natural language, this is the problem approached in this paper with an efficient algorithm. The association of a natural language and a space based metric on semantic is probably the best way to manage any language with a machine, so building ∆ as a freesemigroup with its grammatical rules as its natural restrictions, lets us define a distance that helps to provide a metric to the Morphosyntactic space so it is possible to organize and, therefore, study, in an automatic way, a natural language.

Keywords: Natural Language, Semantic, Morphology, Distance, Syntactic, Context, Metric Space.

ACM Classification Keywords: D.2.11 Software Engineering Languages; E.1 Data Structures Graphs and networks; H.5.2 User Interfaces Natural language; I.7.0 Document And Text Processing General.

Link:

CONSTRUCTION OF MORPHOSYNTACTIC DISTANCE ON SEMANTIC STRUCTURES

Eduardo Villa, Alejandro De Santos, Pedro G. Guillén, Octavio López Tolic

http://www.foibg.com/ijita/vol19/ijita19-4-p05.pdf

Abstract: In the context of membrane computing, the new notion of multi-membrane was introduced where the junction of membranes is used together with the inclusion of membranes. In multi-membranes a deterministic computation model can be defined for computing arithmetical functions by designing a sort of circuits in pure geometrical forms articulated at different distributed levels. In this article we present Milieu-M, a software tool for the visual manipulation of calculi on membranes and multimembranes offering a rich and interactive Graphical User Interface. The visual programming approach is used to create topological forms entirely describing an algorithm in terms of the Pure Graphs formalism. The visual programming formalism and the textual multi-membrane programming language can be used jointly in Milieu-M to work on the same model and for seamlessly generating source code from the visual graphs and vice versa.

Keywords: Membrane Computing, MP-systems, Multi-Membranes?, P-systems, Programming languages, Visual programming.

ACM Classification Keywords: D.1.7 Visual Programming, D.1.m Miscellaneous – Natural computing, D.2.2 Design Tools and Techniques – User interfaces, H.5.2 User Interfaces – User-centered design.

Link:

MILIEU-M: VISUAL MANIPULATION AND PROGRAMMING FOR MULTI-MEMBRANES.

Rosario Lombardo, Vincenzo Manca

http://www.foibg.com/ijita/vol19/ijita19-4-p03.pdf

Abstract: At present most point of views are in agreement with the idea that the similarity between cells and computers is a useful metaphor from which to obtain powerful predictions about life. In this paper we suggest that the analogy between computers and cells should be carefully reviewed when creating a silico artificial cell or whole-cell simulation, avoiding some common misconceptions derived from Cybernetics and the study of biological information processing based on a ‘hardware + software’ dualism.

Keywords: artificial cell, minimal cell, virtual cell modelling and cellular computer models

ACM Classification Keywords: I.6 Simulation and Modeling

Link:

CELLULAR COMPUTING: TOWARDS AN ARTIFICIAL CELL

R. Lahoz-Beltra?

http://www.foibg.com/ijita/vol19/ijita19-4-p02.pdf