Abstract: This article is the continuation of the formal description of the metaontology for medical diagnostics in the language of applied logic. It contains a description of interrelations between terms of knowledge and reality in the form of ontological agreements. Keywords: Medical Diagnostics, ontology model, metaontology. ACM Classification Keywords: I.2.1 Applications and Expert Systems, I.2.4 Knowledge Representation Formalisms and Methods, J.3 Life and Medical Sciences.

Link:

A METAONTOLOGY FOR MEDICAL DIAGNOSTICS OF ACUTE DISEASES. PART 2. A FORMAL DESCRIPTION OF CAUSE-AND-EFFECT RELATIONS

Mary Chernyakhovskaya, Alexander Kleshchev, Phillip Moskalenko

http://www.foibg.com/ibs_isc/ibs-01/IBS-01-p15.pdf

Abstract: The aim of this article is to describe formally a metaontology for medical diagnostics of acute diseases in the language of applied logic. The article includes an informal description of the metaontology, and the part of its model which contains the definitions for basic terms of knowledge and situations and also their integrity restrictions in the form of ontological agreements.

Keywords: Medical Diagnostics, ontology model, metaontology.

ACM Classification Keywords: I.2.1 Applications and Expert Systems, I.2.4 Knowledge Representation Formalisms and Methods, J.3 Life and Medical Sciences

Link:

A METAONTOLOGY FOR MEDICAL DIAGNOSTICS OF ACUTE DISEASES. PART 1. AN INFORMAL DESCRIPTION AND DEFINITIONS OF BASIC TERMS

Mary Chernyakhovskaya, Alexander Kleshchev, Phillip Moskalenko

http://www.foibg.com/ibs_isc/ibs-01/IBS-01-p14.pdf

Abstract: This article is the final part of the formal description of the metaontology for medical diagnostics in the language of applied logic. It contains a description of the causes of signs’ values and of the causes of diseases.

Keywords: Medical Diagnostics, ontology model, metaontology.

ACM Classification Keywords: I.2.1 Applications and Expert Systems, I.2.4 Knowledge Representation Formalisms and Methods, J.3 Life and Medical Sciences.

Link:

A METAONTOLOGY FOR MEDICAL DIAGNOSTICS OF ACUTE DISEASES. PART 3. A FORMAL DESCRIPTION OF THE CAUSES OF SIGNS’ VALUES AND OF DISEASES

Mary Chernyakhovskaya, Alexander Kleshchev, Phillip Moskalenko

http://www.foibg.com/ibs_isc/ibs-01/IBS-01-p16.pdf

Abstract: The article describes the research aimed at working out a program system for multiprocessor computers. The system is based on the confluent declarative production system. The article defines some schemes of parallel logical inference and conditions affecting scheme choice. Keywords: Logical Inference, parallel rule-based systems ACM Classification Keywords: D 3.2 – Constraint and logic languages, I 2.5 Expert system tools and techniques.

Link:

PARALLELIZATION OF LOGICAL INFERENCE FOR CONFLUENT RULE-BASED SYSTEM1

Irene Artemieva, Michael Tyutyunnik

http://www.foibg.com/ibs_isc/ibs-01/IBS-01-p11.pdf

Abstract: This paper presents a method for assigning natural numbers to Transition P systems based on a Gödelization process. The paper states step by step the way for obtaining Gödel numbers for each one of the fundamental elements of Transition P systems –multisets of objects, evolution rules, priorities relation, membrane structure- until defining the Gödel number of a given Transition P system.

Keywords: Membrane Computing, Transition P System, Gödelization

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

Link:

P SYSTEMS GÖDELIZATION

Carmen Luengo, Luis Fernández, Fernando Arroyo

http://www.foibg.com/ibs_isc/ibs-01/IBS-01-p04.pdf

Abstract: A general technique for transforming a timed finite state automaton into an equivalent automated planning domain based on a numerical parameter model is introduced. Timed transition automata have many applications in control systems and agents models; they are used to describe sequential processes, where actions are labelling by automaton transitions subject to temporal constraints. The language of timed words accepted by a timed automaton, the possible sequences of system or agent behaviour, can be described in term of an appropriate planning domain encapsulating the timed actions patterns and constraints. The time words recognition problem is then posed as a planning problem where the goal is to reach a final state by a sequence of actions, which corresponds to the timed symbols labeling the automaton transitions. The transformation is proved to be correct and complete and it is space/time linear on the automaton size. Experimental results shows that the performance of the planning domain obtained by transformation is scalable for real world applications. A major advantage of the planning based approach, beside of the solving the parsing problem, is to represent in a single automated reasoning framework problems of plan recognitions, plan synthesis and plan optimisation.

Keywords: Timed Transition Automata, Automated Planning, Domain

ACM Classification Keywords: F.1.1 Models of Computation I.2.8 Problem Solving, Control Methods, and Search

Link:

TIMED TRANSITION AUTOMATA AS NUMERICAL PLANNING DOMAIN

Alfredo Milani, Silvia Suriani

http://www.foibg.com/ibs_isc/ibs-01/IBS-01-p03.pdf

Abstract: Various combinatorial problems are effectively modelled in terms of (0,1) matrices. Origins are coming from n-cube geometry, hypergraph theory, inverse tomography problems, or directly from different models of application problems. Basically these problems are NP-complete. The paper considers a set of such problems and introduces approximation algorithms for their solutions applying Lagragean relaxation and related set of techniques.

Keywords: Approximation algorithms, Lagragean relaxation

ACM Classification Keywords: G.2.1 Discrete mathematics: Combinatorics

Link:

LAGRANGEAN APPROXIMATION FOR COMBINATORIAL INVERSE PROBLEMS

Hasmik Sahakyan, Levon Aslanyan

http://www.foibg.com/ibs_isc/ibs-01/IBS-01-p02.pdf

Abstract: The paper presents a new network-flow interpretation of Łukasiewicz’s logic based on models with an increased effectiveness. The obtained results show that the presented network-flow models principally may work for multivalue logics with more than three states of the variables i.e. with a finite set of states in the interval from 0 to 1. The described models give the opportunity to formulate various logical functions. If the results from a given model that are contained in the obtained values of the arc flow functions are used as input data for other models then it is possible in Łukasiewicz’s logic to interpret successfully other sophisticated logical structures. The obtained models allow a research of Łukasiewicz’s logic with specific effective methods of the network-flow programming. It is possible successfully to use the specific peculiarities and the results pertaining to the function ‘traffic capacity of the network arcs’. Based on the introduced network-flow approach it is possible to interpret other multivalue logics – of E.Post, of L.Brauer, of Kolmogorov, etc.

Keywords: Łukasiewicz’s multivalue logic, operational research, network flow interpretation.

ACM Classification Keywords: F.4.0 Mathematical Logic and Formal Languages – General, F.4.1 Mathematical Logic – Logic and constraint programming.

Link:

NON-LINEAR NETWORK-FLOW MODEL OF ŁUKASIEWICZ’S MULTIVALUE LOGIC

Vassil Sgurev, Stefan Kojnov

http://www.foibg.com/ibs_isc/ibs-01/IBS-01-p01.pdf

Abstract: Mobile phones have the potential of fostering political mobilisation. There is a significant political power in mobile technology. Like the Internet, mobile phones facilitate communication and rapid access to information. Compared to the Internet, however, mobile phone diffusion has reached a larger proportion of the population in most countries, and thus the impact of this new medium is conceivably greater. There are now more mobile phones in the UK than there are people (averaging at 121 mobile phones for every 100 people). In this paper, the attempt to use modern mobile technology to handle the General Election, is discussed. The pre-election advertising, election day issues, including the election news and results as they come in, and answering questions via text message regarding the results of current and/or previous general elections are considered. Keywords: mobile text messages, mobile election, mobile advertising, question-answering system ACM Classification Keywords: I.2 Artificial intelligence: I.2.7 Natural Language Processing: Text analysis.

Link:

MOBILE ELECTION

Elena Long, Vladimir Lovitskii, Michael Thrasher, David Traynor

http://www.foibg.com/ibs_isc/ibs-09/ibs-09-p02.pdf

Abstract: Mobile advertising is a rapidly growing sector providing brands and marketing agencies the opportunity to connect with consumers beyond traditional and digital media and instead communicate directly on their mobile phones. Mobile advertising will be intrinsically linked with mobile search, which has transported from the internet to the mobile and is identified as an area of potential growth. The result of mobile searching show that as a general rule such search result exceed 160 characters; the dialog is required to deliver the relevant portion of a response to the mobile user. In this paper we focus initially on mobile search and mobile advert creation, and later the mechanism of interaction between the user’s request, the result of searching, advertising and dialog.

Keywords: mobile text messages, mobile search, mobile advertising, question-answering system

ACM Classification Keywords: I.2 Artificial intelligence: I.2.7 Natural Language Processing: Text analysis.

Link:

MOBILE SEARCH AND ADVERTISING

Vladimir Lovitskii, Colin McCaffery?, Michael Thrasher, David Traynor, Peter Wright

http://www.foibg.com/ibs_isc/ibs-09/ibs-09-p01.pdf

Abstract: The paper presents a general purpose software system for optimization and decision support, called Optima-Plus?. It consists of two independent parts _ LIOP-1 system and MKO-2.1 system. Optima-Plus? system is designed to support the decision maker (DM) in modeling and solving different problems of linear and linear integer single-criterion and multicriteria optimization. The system implements three methods for single-criterion optimization, as well as an innovative generalized interactive method for multicriteria optimization with variable scalarization and parameterization, which can apply most of the well-known scalarizing problems and is applicable for different ways of defining preferences by the DM. The class of the problems solved, the system structure, the implemented methods and the graphical user interface of the system are discussed in the paper. Optima-Plus? system can be used for education, research and for solving a great variety of real-life problems.

Keywords: Decision Support Systems, Linear, Integer Optimization, Multicriteria Optimization, Interactive Methods.

ACM Classification Keywords: H.4.2. Information Systems - Information Systems Applications – Types of Systems

Link:

A GENERAL PURPOSE SOFTWARE SYSTEM FOR LINEAR OPTIMIZATION AND DECISION SUPPORT “OPTIMA-PLUS”

Vassil Vassilev, Mariyana Vassileva, Krassimira Genova, Boris Staykov

http://www.foibg.com/ibs_isc/ibs-10/ibs-10-p02.pdf

Abstract: Stochastic models and methods of solving the problem of operative-dispatch control of the gastransport system of Ukraine are considered. It is shown that the problem of operative-dispatch control of the gastransport system is reduced to solving of two linked problem: operative planning and stabilization of gas-transport system conditions.

Keywords: Gas-transport system: operative planning, operative-dispatch control, stochastic model, stochastic method.

ACM Classification Keywords: H.4.2 Types of Systems, G.1.6 Optimization: Stochastic programming.3

Link:

STOCHASTIC MODELS AND METHODS OF OPERATIVE-DISPATCH CONTROL OVER THE GAS-TRANSPORT SYSTEM OF UKRAINE

Andriy Tevyashev

http://www.foibg.com/ibs_isc/ibs-10/ibs-10-p17.pdf

Abstract: The methodological tool of the technology foresight strategy in innovation activity which is based on the new expert estimation principles and software for processing the results of the foresight under the real conditions are proposed. Obviously, this strategy should determine the main development directions of strategically important industries, the prospects of competitiveness products, the sensible use of natural, human, industrial, and scientific resources, and the technological potential of the country, and the strategy should consider the needs of the world market of high technologies and hi-tech products take into account the processes of sustainable development.The real projects were realised on the basis of proposed methodological instrument and created software.

Keywords: foresight system strategy, new principles, innovation activity, mathematical tool, software

ACM Classification Keywords: H.4.2. Decision Support

Link:

APPLICATION OF TECHNOLOGY FORESIGHT STRATEGY IN INNOVATION ACTIVITY

Nataliya Pankratova

http://www.foibg.com/ibs_isc/ibs-10/ibs-10-p05.pdf

Abstract: An alternate approach to emergency risk minimization, based on lazy calculations and high-level functional interpretation is presented in this article. This approach is compared with classical imperative approach, based on statistical analysis on real data in order to prove its effectiveness.

Keywords: risk minimization, emergency, functional programming, lazy calculations

ACM Classification Keywords: H.1.1 Systems and Information Theory

Link:

FUNCTIONAL APPROACH TO EMERGENCY RISK MINIMIZATION

Oleksandr Kuzomin, Illya Klymov

http://www.foibg.com/ibs_isc/ibs-10/ibs-10-p06.pdf

Abstract: In this paper the problem of the application of temporal reasoning and case-based reasoning (CBR) in intelligent decision support systems (IDSS) is consider. To reduce static algorithm complexity of temporal reasoning some methods are investigated. The dynamic algorithm for qualitative temporal reasoning on the base of point algebra is presented. CBR method for a solution of problems of real-time diagnostics and forecasting in IDSS is described. This paper demonstrates how the temporal reasoning system and CBR system can be used in IDSS of the car access control. This work was supported by RFBR and grant of President of Russia (МК-6009.2008.9).

Keywords: Intelligent decision support systems, temporal reasoning, analogous and case-based reasoning.

ACM Classification Keywords: H.4.2 Information systems applications: Types of systems – Decision support; I.2.4 Artificial intelligence: Knowledge Representation Formalisms and Methods – Temporal logic; I.2.5 AI: Programming Languages and Software – Expert system tools and techniques; I.2.6 AI: Learning – Analogies

Link:

APPLICATION OF TEMPORAL REASONING AND CASE-BASED REASONING IN INTELLIGENT DECISION SUPPORT SYSTEMS

Alexander Eremeev, Ivan Kurilenko, Pavel Varshavskiy

http://www.foibg.com/ibs_isc/ibs-10/ibs-10-p01.pdf

Abstract: This article shows the benefits of developing a software project using TSPi in a “Very Small Enterprise” based in quality and productivity measures. An adapted process from the current process based on the TSPi was defined and the team was trained in it. The pilot project had schedule and budget constraints. The workaround began by gathering historical data from previous projects in order to get a measurement repository, and then the project metrics were collected. Finally, the process, product and quality improvements were verified.

Keywords: TSPi, Very Small Enterprise, Software Quality, Process improvement.

ACM Classification Keywords: D.2.9 Software Engineering – Management, Software Process Models

Link:

QUALITY AND PRODUCTIVITY ANALYSIS IN A VERY SMALL ENTERPRISE USING TSPI

Henry Caballero, Jose Calvo-Manzano?, Gonzalo Cuevas, Tomás San Feliu

http://www.foibg.com/ibs_isc/ibs-10/ibs-10-p16.pdf

Abstract: One of the effective ways of the representation and analysis of the high level-purposes and business requirements to the information program system is modelling of a context of the system functioning – the organization which is automated by software creation and implementation. With this aim the domain specific language in the form of a UML profile for business modelling, where the basis is the systemological approach “Unit – Function – Object”, is defined. The profile allows to create syntactically correct UML models of business and to provide simplicity of the description of the dependences between them and UML models of the program system. Profile implementation, instruments of verification of syntax a business model and its transformation into a software model is fulfilled in a CASE tool for UML modelling.

Keywords: Business Modelling, Unified Modelling Language - UML, Systemology, Systemological Approach “Unit – Function – Object” (UFO-approach), UML profile, Requirements, Model Driven Architecture - MDA.

ACM Classification Keywords: D.2 Software Engineering, D.2.1 Requirements/Specifications – Languages.

Link:

SYSTEMOLOGICAL BUSINESS MODELLING FOR INFORMATION SYSTEMS DEVELOPMENT

Mikhail Bondarenko, Nikolay Slipchenko, Kateryna Solovyova, Olexiy Ukrayinets, Larysa Vinogradova

http://www.foibg.com/ibs_isc/ibs-10/ibs-10-p15.pdf

Abstract: Forming limit diagrams (FLD-s) deliver quantitative, graphical information concerning the ultimate ductility material my display under various strain conditions and boundary criterion of material failure in a deep drawing process. FLD-s are commonly obtained by usage of special samples – the so-called Nakazima’s bands. This method is realized in general as a circle grid is printed on the sheet surface and its deformation is measured after the forming. Different deformations transform the circles to ellipses, exhibiting a different eccentricity. A software system for quantitative determination the changes in lengths of both major and minor axes of ellipses, is presented in this report. The grid deformed images are captured in computer memory by a digital camera, equipped with a mechanical piece, allowing the camera optical axis to maintain orthogonal upon each local area of specimen surface. An interactive way of operator-computer work is proposed for ellipses geometry analysis. The two axes of each ellipse of interests are measured and data derived are presented graphically, and recorded in a data base as well. Using this information the main deformations of samples are calculated after that.

Keywords: deep drawing, plastic deformations, forming limit diagrams.

ACM Classification Keywords: C.4 Performance of systems- Measurement techniques

Link:

A SOFTWARE SYSTEM FOR DETERMINATION OF FORMING LIMIT DIAGRAMS

Georgi Stoilov, Jordan Genov, Vasil Kavardzhikov, Jordan Kovachev

http://www.foibg.com/ibs_isc/ibs-11/ibs-11-p06.pdf

Abstract: Portable device "Floratest" for express-diagnostic of plant state, which is developed in the V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, is considered. Party of this device is manufactured and transferred to organizations, worked in the agricultural sector, environmental protection area, mineral fertilizer production etc. for working out of methodical tools. Using of the device for estimating of megalopolis ecology state by means of evaluation of green plant state is described in the article. Together with Megalopolis Ecomonitoring and Biodiversity Research Center of National Academy of Sciences of Ukraine there were got results of experimental researches of influence detecting of heavy metals and harmful substances on the trees and plants in Kiev.

Keywords: Kautsky effect, chlorophyll, chlorophyll fluorescence induction, fluorescence, fluorometer, portable device, ecology.

ACM Classification Keywords: J.3 Life and Medical Sciences - Biology and Genetics, J.7 Computers in Other Systems – Real Time, C.3 Special-Purpose? and Application-Based? Systems – Microprocessor/microcomputer applications

Link:

PORTABLE DEVICE "FLORATEST" AS TOOL FOR ESTIMATING OF MEGALOPOLIS ECOLOGY STATE

Volodymyr Romanov, Igor Galelyuka, Volodymyr Fedak, Volodymyr Grusha, Dmytro Artemenko, Oksana Galelyuka, Vitalii Velychko, Krassimir Markov, Krassimira Ivanova, Ilia Mitov

http://www.foibg.com/ibs_isc/ibs-11/ibs-11-p01.pdf

Abstract: This paper presents the application of a systematic review protocol for Software Engineering. This protocol is used as a formal model by applying systematic review of outsourcing contracts. The objective is to search for papers related to outsourcing contracts in the software acquisition process. Furthermore, the systematic review is focused in order to identify initiatives and reports of outsourcing contract proposals for the software acquisition. Results obtained show that most of the studies that tried to define a model for outsourcing did not exactly develop a fixed model to be used in the IT area and that there is a need for more in-depth studies.

Keywords: Outsourcing Contracts, Systematic Review.

ACM Classification Keywords: D.2.9 Software Engineering – Management, software process models

Link:

OUTSOURCING CONTRACTS: A SYSTEMATIC REVIEW

Jose Calvo-Manzano?, Gonzalo Cuevas, Lucas Grossi, Jezreel Mejia, Tomás San Feliu

http://www.foibg.com/ibs_isc/ibs-11/ibs-11-p15.pdf

Abstract: In this paper we provide an overview of emerging Sensor Web paradigm and show several practical issues of using Sensor Web technologies for real-world tasks. Issues under study include sensor description using SensorML and database performance for serving observations data. This paper also shows an approach for integrating standard Sensor Observation Service with Globus Toolkit Grid platform.

Keywords: Sensor Web, Grid, OGC.

ACM Classification Keywords: D.2.12 Software Engineering Interoperability; Information Systems; H.1.1 Models and Principles Systems and Information Theory; H.3.5 Information Storage and Retrieval Online Information Services; I.4.8 Image Processing and Computer Vision Scene Analysis - Sensor Fusion.

Link:

THE SENSOR WEB TESTBED FOR FLOOD MONITORING AND PREDICTION

Nataliia Kussul, Andrii Shelestov, Sergii Skakun

http://www.foibg.com/ibs_isc/ibs-11/ibs-11-p02.pdf

Abstract: The presented paper describes a technique of remote access to the distributed information measurement and control system on basis of GSM technologies. The mechanism of remote access is implemented by means of mobile device and Siemens TC65 GSM terminal and includes developed software for transferring packets of commands between the terminal and mobile device. The terminal is connected to the distributed computer network of the laboratory complex via Atmel ATNGW 100 microprocessor board. The application protocol of the distributed information measurement and control system is proposed for interaction of mobile client and GSM server. Packets of the protocol are encapsulated in SMS messages. The access to physical equipment is realized through the standard interface servers (PXI, CАМАC, and GPIB), the server providing access to Ethernet devices, and the communication server, which integrates the equipment servers into a uniform information system. The system is used for researches in optical spectroscopy and for education at the Department of Physics and Engineering of Petrozavodsk State University.

Keywords: GSM networks, distributed information measurement and control system, GSM terminal, access equipment server, distance learning.

ACM Classification Keywords: H.3.4 Systems and Software: Distributed systems.

Link:

APPLICATION OF GSM NETWORKS TO CONTROL THE HARDWARE OF SCIENTIFIC AND EDUCATIONAL LABORATORY COMPLEX

Sergey Kiprushkin, Anton Kogut, Sergey Kurskov, Aleksandr Lukyanov

http://www.foibg.com/ibs_isc/ibs-11/ibs-11-p09.pdf

Abstract: Ant Colony Optimization (ACO) is a computer emergence model to solve problems by swarm intelligence. The aim of this paper is to provide ant colonies with a global memory structure (GMS) so that the time needed to resolve a problem decreases drastically. In the past few years ACO have become a strong alternative to classic algorithms. However, the biggest disadvantage of ACO is the lack of structures which can provide every individual of the population with simple memory mechanisms. The GMS presented in this paper is applied to cleaner robots that must search a gallery looking for piles of marks and clean them. It is based on the variation of the common map by deleting all the superfluous nodes which appears as the resolution of the problem progresses. A node is considered as superfluous when it is useless for every ant and it delays every route of the colony. All the robots must share and update the GMS when they find any superfluous node. The extra process charge needed for executing the memory in parallel to ant’s activities is absorbed by the time saved in the resolution of the problem which depends on the characteristics of the map and its abstracted graph.

Keywords: Ant Colony Optimization, Swarm Intelligence, Memory.

ACM Classification Keywords: I.6. Simulation and Modelling, B.7.1 Advanced Technologies, I.2.8 Problem Solving, I.2.11 Distributed Artificial Intelligence

Link:

GLOBAL MEMORY STRUCTURE FOR ANT COLONY OPTIMIZATION ALGORITHMS

Ángel Goñi, Paula Cordero

http://www.foibg.com/ibs_isc/ibs-11/ibs-11-p16.pdf

Abstract: The paper presents an ontological approach towards e-learning portal development. Special stress is put on structuring procedure as it is the kernel of ontology development and on visual design as a powerful learning mindtool. We also describe the experience of ontology developing based on Knowledge Engineering educational course in St.Petersburg State Polytechnical University and “OntolingeWiki” tool for creating ontologybased e-learning portals.

Keywords: e-Learning, e-Learning Objects, Ontologies, Subject Domain, Wiki-technology

ACM Classification Keywords: I. Computing Methodologies - I.2 Artificial Intelligence - I.2.4 Knowledge Representation Formalisms and Methods

Link:

MERGING WIKI AND ONTOLOGICAL APPROACH TO E-LEARNING PORTAL DESIGN

Tatiana Gavrilova, Vladimir Gorovoy, Elena Petrashen

http://www.foibg.com/ibs_isc/ibs-11/ibs-11-p18.pdf

Abstract: In this paper we present CompariSong? - a resolver of the query by humming task for a real audio information system. It compares a database of popular songs with a hummed-by-user melody and returns the closest matches. The proposed system performs audio indexing based on perceptual characteristics of the songs rather than the hitherto applied approach that uses manual metadata like text tags. We extract low-level audio features and transform them into a tangible indexing format. Then searching mechanism is applied that is based on comparison between the shape of the time series of extracted features. CompariSong? is a step towards intelligent audio analysis as it uses a comparison criteria derived from natural human hearing.

Key words: audio indexing, Query by Humming (QBH), audio features extraction, feature transformation, data mining

ACM Classification Keywords: H.5.5 Information Systems - Information Interfaces and Presentation - Sound and Music Computing

Link:

COMPARISONG: AUDIO COMPARISON ENGINE

Georgi Dzhambazov

http://www.foibg.com/ibs_isc/ibs-11/ibs-11-p04.pdf