DSpace Community: 2005
http://hdl.handle.net/10525/715
The Community's search engineSearch the Channelsearch
http://sci-gems.math.bas.bg/jspui/simple-search
Robot Control Using Inductive, Deductive and Case Based Reasoning
http://hdl.handle.net/10525/829
Title: Robot Control Using Inductive, Deductive and Case Based Reasoning<br/><br/>Authors: Nikitenko, Agris<br/><br/>Abstract: The paper deals with a problem of intelligent system’s design for complex environments. There isdiscussed a possibility to integrate several technologies into one basic structure that could form a kernel of anautonomous intelligent robotic system. One alternative structure is proposed in order to form a basis of anintelligent system that would be able to operate in complex environments.The proposed structure is very flexible because of features that allow adapting via learning and adjustment of theused knowledge. Therefore, the proposed structure may be used in environments with stochastic features suchas hardly predictable events or elements. The basic elements of the proposed structure have found theirimplementation in software system and experimental robotic system. The software system as well as the roboticsystem has been used for experimentation in order to validate the proposed structure - its functionality, flexibilityand reliability. Both of them are presented in the paper. The basic features of each system are presented as well.The most important results of experiments are outlined and discussed at the end of the paper. Some possibledirections of further research are also sketched at the end of the paper.Learning Technology in Scheduling Based on the Mixed Graphs
http://hdl.handle.net/10525/828
Title: Learning Technology in Scheduling Based on the Mixed Graphs<br/><br/>Authors: Sotskov, Yuri; Sotskova, Nadezhda; Rudoi, Leonid<br/><br/>Abstract: We propose the adaptive algorithm for solving a set of similar scheduling problems using learningtechnology. It is devised to combine the merits of an exact algorithm based on the mixed graph model andheuristics oriented on the real-world scheduling problems. The former may ensure high quality of the solution bymeans of an implicit exhausting enumeration of the feasible schedules. The latter may be developed for certaintype of problems using their peculiarities. The main idea of the learning technology is to produce effective (inperformance measure) and efficient (in computational time) heuristics by adapting local decisions for thescheduling problems under consideration. Adaptation is realized at the stage of learning while solving a set ofsample scheduling problems using a branch-and-bound algorithm and structuring knowledge using patternrecognition apparatus.Verbal Dialogue versus Written Dialogue
http://hdl.handle.net/10525/827
Title: Verbal Dialogue versus Written Dialogue<br/><br/>Authors: Burns, David; Fallon, Richard; Lewis, Phil; Lovitskii, Vladimir; Owen, Stuart<br/><br/>Abstract: Modern technology has moved on and completely changed the way that people can use the telephoneor mobile to dialogue with information held on computers. Well developed “written speech analysis” does not workwith “verbal speech”. The main purpose of our article is, firstly, to highlights the problems and, secondly, to showsthe possible ways to solve these problems.Automata–based Method for Solving Systems of Linear Constraints in {0,1}
http://hdl.handle.net/10525/826
Title: Automata–based Method for Solving Systems of Linear Constraints in {0,1}<br/><br/>Authors: Krivoi, Sergey; Matvyeyeva, Lyudmila; Grzywacz, Wioletta<br/><br/>Abstract: We consider a finite state automata based method of solving a system of linear Diophantine equationswith coefficients from the set {-1,0,1} and solutions in {0,1}.Representation of Neural Networks by Dynamical Systems
http://hdl.handle.net/10525/825
Title: Representation of Neural Networks by Dynamical Systems<br/><br/>Authors: Donchenko, Volodymyr; Serbaev, Denys<br/><br/>Abstract: Representation of neural networks by dynamical systems is considered. The method of training ofneural networks with the help of the theory of optimal control is offered.Grid-enabling Satellite Image Archive Prototype for UA Space Grid Testbed
http://hdl.handle.net/10525/824
Title: Grid-enabling Satellite Image Archive Prototype for UA Space Grid Testbed<br/><br/>Authors: Shelestov, Andrey; Lobunets, Alexander; Korbakov, Michael<br/><br/>Abstract: The paper describes practical approach to implementation of satellite data archive using Globus Toolkit4 components. The solutions consists in converting a hierarchy of remote data files available via FTP into Grid-enabled archive. All etries of such archive will be indexed using arbitrary but pre-defined XML schema. Theinformation will be exposed via MDS4 Index service and the actual data will be exposed via GridFTP. Theschema used in our solution is simple enough for understanding but in a real life applications we should usemetadata standards such as ISO 19139 and ISO 19115 in particular. A working prototype of the archivedescribed in this paper is deployed on the Grid testbed of Space Research Institute of National Academy ofScience and National Space Agency of Ukraine (SRI-NASU-NSAU). The SRI-NASU-NSAU testbed is brieflydescribed in this paper as well.<br/><br/>Description: * The work is partially supported by the grant of National Academy of Science of Ukraine for the support ofscientific researches by young scientists No 24-7/05, " Розробка Desktop Grid-системи і оптимізація їїпродуктивності ”.A Mathematical Apparatus for Domain Ontology Simulation. Logical Relationship Systems
http://hdl.handle.net/10525/823
Title: A Mathematical Apparatus for Domain Ontology Simulation. Logical Relationship Systems<br/><br/>Authors: Kleshchev, Alexander; Artemjeva, Irene<br/><br/>Abstract: A mathematical apparatus for domain ontology simulation will be described in the series of the articlesThe goal of this article is to define unenriched and enriched logical relationship systems that can be consideredas mathematical models for domain ontologies. The extendable language of applied logic described in theprevious articles of the series is used as the language of representation of these systems.<br/><br/>Description: * This paper was made according to the program of fundamental scientific research of the Presidium of the Russian Academy of Sciences «Mathematical simulation and intellectual systems», the project "Theoretical foundation of the intellectual systems based on ontologies for intellectual support of scientific researches".Analyzing the Data in OLAP Data Cubes
http://hdl.handle.net/10525/822
Title: Analyzing the Data in OLAP Data Cubes<br/><br/>Authors: Bogdanova, Galina; Georgieva, Tsvetanka<br/><br/>Abstract: OLAP applications provide a possibility to data analysis over large collections of historical data in thedata warehouses, supporting the decision-making process. This paper presents an application that creates a datacube and demonstrates the effectiveness of the applying the OLAP operations when it necessary to analyze thedata and obtain the valuable information from the data. It allows the analysis of factual data that is dailydownloads of folklore materials, according to dimensions of interest.<br/><br/>Description: * Supported partially by the Bulgarian National Science Fund under Grant MM-1405/2004Optimization of ATM Telecommunication Networks
http://hdl.handle.net/10525/821
Title: Optimization of ATM Telecommunication Networks<br/><br/>Authors: Hulianytskyi, Leonid; Baklan, Andrii<br/><br/>Abstract: ATM network optimization problems defined as combinatorial optimization problems are considered.Several approximate algorithms for solving such problems are developed. Results of their comparison byexperiments on a set of problems with random input data are presented.On the Error-Free Computation of Fast Cosine Transform
http://hdl.handle.net/10525/820
Title: On the Error-Free Computation of Fast Cosine Transform<br/><br/>Authors: Dimitrov, Vassil; Wahid, Khan<br/><br/>Abstract: We extend our previous work into error-free representations of transform basis functions by presentinga novel error-free encoding scheme for the fast implementation of a Linzer-Feig Fast Cosine Transform (FCT)and its inverse. We discuss an 8x8 L-F scaled Discrete Cosine Transform where the architecture uses a newalgebraic integer quantization of the 1-D radix-8 DCT that allows the separable computation of a 2-D DCT withoutany intermediate number representation conversions. The resulting architecture is very regular and reduceslatency by 50% compared to a previous error-free design, with virtually the same hardware cost.Defining Network Activity Patterns Using First Order Temporal Logics
http://hdl.handle.net/10525/819
Title: Defining Network Activity Patterns Using First Order Temporal Logics<br/><br/>Authors: Stanchev, Lubomir<br/><br/>Abstract: Part of network management is collecting information about the activities that go on around adistributed system and analyzing it in real time, at a deferred moment, or both. The reason such information maybe stored in log files and analyzed later is to data-mine it so that interesting, unusual, or abnormal patterns can bediscovered. In this paper we propose defining patterns in network activity logs using a dialect of First OrderTemporal Logics (FOTL), called First Order Temporal Logic with Duration Constrains (FOTLDC). This logic ispowerful enough to describe most network activity patterns because it can handle both causal and temporalcorrelations. Existing results for data-mining patterns with similar structure give us the confidence that discoveringDFOTL patterns in network activity logs can be done efficiently.The On-board Operative Advisory Expert Systems for Anthropocentric Object
http://hdl.handle.net/10525/818
Title: The On-board Operative Advisory Expert Systems for Anthropocentric Object<br/><br/>Authors: Fedunov, Boris<br/><br/>Abstract: A class of intelligent systems located on anthropocentric objects that provide a crew withrecommendations on the anthropocentric object's rational behavior in typical situations of operation is considered. Werefer to this class of intelligent systems as onboard real-time advisory expert systems. Here, we present a formalmodel of the object domain, procedures for obtaining knowledge about the object domain, and a semantic structure ofbasic functional units of the onboard real-time advisory expert systems of typical situations. The stages of the developmentand improvement of knowledge bases for onboard real-time advisory expert systems of typical situations that areimportant in practice are considered.Logical Models of Composite Dynamic Objects Control
http://hdl.handle.net/10525/817
Title: Logical Models of Composite Dynamic Objects Control<br/><br/>Authors: Velichko, Vitaly; Gladun, Victor; Gladun, Gleb; Godunova, Anastasiya; Ivaskiv, Yurii; Postol, Elina; Jakemenko, Grigorii<br/><br/>Abstract: The questions of designing multicriteria control systems on the basis of logic models of compositedynamic objects are considered.Adaptive Routing and Multi-Agent Control for Information Flows in IP-Networks
http://hdl.handle.net/10525/816
Title: Adaptive Routing and Multi-Agent Control for Information Flows in IP-Networks<br/><br/>Authors: Timofeev, Adil<br/><br/>Abstract: The principles of adaptive routing and multi-agent control for information flows in IP-networks.Educational Model of Computer as a Base for Informatics Learning
http://hdl.handle.net/10525/815
Title: Educational Model of Computer as a Base for Informatics Learning<br/><br/>Authors: Eremin, Evgeny<br/><br/>Abstract: It is proposed to use one common model of computer for teaching different parts of the informaticscourse, connected with both hardware and software subjects. Reasoning of such slant is presented; the mostsuitable themes of the course, where it is practical, are enumerated. The own author's development (includingsoftware support) – the educational model of virtual computer "E97" and compiler from Pascal language for it –are described. It is accented, that the discussed ideas are helpful for any other similar model.Programming Paradigms in Computer Science Education
http://hdl.handle.net/10525/814
Title: Programming Paradigms in Computer Science Education<br/><br/>Authors: Bolshakova, Elena<br/><br/>Abstract: Main styles, or paradigms of programming – imperative, functional, logic, and object-oriented – areshortly described and compared, and corresponding programming techniques are outlined. Programminglanguages are classified in accordance with the main style and techniques supported. It is argued that profoundeducation in computer science should include learning base programming techniques of all main programmingparadigms.