Electronic Copy of the CSIT 2009 Proceedings
Table of Contents

Algorithms, Automata and Logic

Ara Arakelyan

Type Inference System of Polymorphic l-Terms................................................................................... 15

Nicole Bidoit, Dario Colazzo

Hybrid Logic for expressing XML schemas with typed references......................................................... 19

Patrick Cègielski, Irene Guessarian

Normalization of Extended Abstract State Machines............................................................................. 23

Supaporn Chairungsee, Maxime Crochemore

Efficient Computing of Longest Previous Reverse Factors..................................................................... 27

Anahit Chubaryan, Armine Chubaryan, Hakob Nalbandyan

Comparison of the Efficiency of Frege Systems with Restricted Substitution Rules.................................. 31

Nazari Ebrahim

Schauffler Theorem for Mediality.......................................................................................................... 33

Gor Ghazaryan

On incomparability of some procedural semantics of untyped functional programs.................................. 35

Hayk Grigoryan, Arsen Shoukourian

Equivalence of Processes in Environments with Commutative Objects................................................... 38

Yuri Grigoryan

Denial of Classical Ordering and Parallelism Axioms in Discrete Geometries’ Space.............................. 42

Ruben Hakopian

Universal System of Interpretation of Strongly Typed Functional Programs............................................ 46

Alexander Letichevsky

Insertion modeling and verification of programs..................................................................................... 50

Seda  Manukian

On the inductive representation of many-dimensional recursively enumerable sets
definable in some arithmetical structures
................................................................................................ 51

Arsen Mokatsian

On Upper Cone of T-degrees Containing wtt –mitotic but not tt-mitotic Sets......................................... 54

Yuri Movsisyan, Diana Davidova

On the Structure of Interlaced q-bilattices............................................................................................. 57

Yuri Movsisyan, Hegine Ghumashyan

The {2,3}-hyperidentities in invertible {2,3}-algebras........................................................................... 59

Semyon Nigiyan, Lusine Sargsyan

Modification of SLDNF-resolution for Built-in Predicates..................................................................... 60

Tatevik Ohanyan, Hovhannes Bolibekyan

JLog: Automated Theorem Prover for Johansson's Minimal Logic of Predicates..................................... 62

Karine Shahbazyan, Yuri Shoukourian

Inclusion Problems in Trace Monoids................................................................................................... 65

Igor  Zaslavsky

Extended symmetric fuzzy constructive logic.......................................................................................... 69

Сирануш Чопурян

Построение Стойкой Асимметричной Криптосистемы на Основе Конечных Автоматов..... 73

Discrete Mathematics and Combinatorial Analysis

Ruben Adamyan, Stepan Markosyan

Selection of output elements by minimum cost flow algorithm................................................................. 79

Sevak Badalyan, Stepan Markosyan

Numerical Invariants for the Strong Product of Generalized Cycles........................................................ 81

Krassimira Ivanova, Ilia Mitov, Krassimir Markov, Peter Stanchev, Koen Vanhoof,

Levon Aslanyan, Hasmik Sahakyan

Metric Categorization Relations Based on Support System Analysis...................................................... 85

Stepan Markosyan, Armen Khachaturyan

Optimal level placement of the transitive oriented graph and bipartite oriented graph by height................ 89

Vahagn Minasyan

On the length of the longest increasing subsequence of sequence of elements drawn
from an arbitrary partially ordered domain
............................................................................................. 92

Petros Petrosyan, Ani  Shashikyan

On interval total colorings of bipartite graphs......................................................................................... 95

Petros Petrosyan, Arman Torosyan

Interval total colorings of complete graphs............................................................................................. 99

Hasmik Sahakyan, Levon Aslanyan

Generating New Boundary Elements of Numerical Characterization of n-cube Subset

Partitioning......................................................................................................................................... 103

Information Theory and Coding Theory

Sergey Abrahamyan, Melsik Kyureghyan

Linear Cryptanalysis of the SAFER Block Cipher Family.................................................................... 109

Margar Adibekyan

Detecting earthquake precursors by mathematical modeling of ionospheric time series.......................... 112

Yeghisabet Alaverdyan

Construction Efficiency of the Public Key Cryptosystem based on Boolean Product of

Matrices............................................................................................................................................ 115

Tahereh Babaie, Caro Lucas

Variable Selection Using Information Entropy in Time Series Prediction............................................... 118

Vladimir Balakirsky, Anahit Ghazaryan, A. J. Han Vinck

Permutation Block Coding for Biometrical Authentication.................................................................... 122

Vladimir Balakirsky, Peter Trifonov

An Algorithm for Categorization of Documents on the Basis of Authentication Technique..................... 126

Lilya Budaghyan, Tor Helleseth

On Commutative Semifields of a Family of Planar Functions................................................................ 129

Hayk Ghazaryan

Estimating the security of heterogeneous steganographic systems......................................................... 133

Naira Grigoryan, Ashot Harutyunyan

Hypothesis Testing for Arbitrarily Varying Source with Multiterminal Data Compression...................... 137

Evgueni Haroutunian, Parandzem Hakobyan

On Hypotheses Optimal Testing for Many Independent Objects.......................................................... 141

Evgueni Haroutunian, Irina Safaryan

On Certain Threshold Copulas Estimators........................................................................................... 145

Mariam Haroutunian, Arthur Muradyan

Random Coding Bound of Rate-Reliability-Distortion Function for Generalized Channel With Side Information........................................................................................................................................ 148

Sergey Hovhannisyan, Ashot Khachaturov

DLP Zero-Knowledge Identification Protocol with Multichallenges...................................................... 152

Lilia Husikyan

Probability Model of the Mobile System’s Channel Capacity............................................................... 154

Gurgen Khachatrian, Melsik Kyureghyan

New Public Key Signature Scheme.................................................................................................... 156

Mehdi Khalili

A Comparison between Digital Image Watermarking in Tow Different Color Spaces Using

DWT2............................................................................................................................................... 158

Melsik Kyureghyan, Mikayel Evoyan

Two Methods for Constructing Irreducible Polynomials over Finite Fields based on
Polynomial Composition
..................................................................................................................... 163

Ofelya Manukyan

Explicit Construction of Irreducible Polynomial over Finite Field F2 in Cluster
Computational Environment
................................................................................................................ 167

Gevorg Margarov

Covered remote user authentication in steganografic collaboration framework...................................... 169

Gevorg Margarov, Vahan Markarov, Samvel Soghomonyan

Distributed steganografic data storage with variable dinamic reconfiguration......................................... 173

Gevorg Margarov, Maha Tolba

Biometrics Based Secret Sharing Using Fuzzy Vault............................................................................ 177

J.  Margaryan, A.  Osipyan, H.  Danoyan

The Number of Solutions in System With Boolean Inequality of Some Type........................................ 181

Artificial Intelligence and Management Support Systems

Tadevos Bagdasaryan, Arthur Grigoryan, Zaven Nagashayan

Developing of a Scripting Language Interpreter for Regular Acquisition of Expert

Knowledge........................................................................................................................................ 187

Nuria Gómez Blas, Luis Fernando de Mingo, Juan Castellanos Peñuela

Bio-Inspired Optimization Strategies: A Survey................................................................................... 192

Sandra Gómez Canaval, Abraham Gutiérrez Rodríguez, Soledad Delgado Sanz

Application of Variable Neighborhood Search (VNS) in Configuring Membrane Systems
Communications Architectures
............................................................................................................ 196

Hossein Chegini, Abdolreza Shirvani, Mir Mohsen Pedram, G. Reza Yousefi, Caro Lucas

Short Term Load Forecasting of Iran’s Power Systems with Neurofuzzy Application
and SSA Analysis
.............................................................................................................................. 200

Emma Danielyan

Implementation of Local Tournaments methodology of evaluation of Management Strategies................ 204

Amir Reza Koushki, M. Nosrati Maralloo,  B. Hashemitabar, C. Lucas

Load Forecasting with the Aid of  Neuro-Fuzzy Modeling................................................................... 209

Mehdi Nosrati Maralloo, R. Koushki, C. Lucas, M. M. Pedram

Mutual Information Based Input Selection in Neuro-Fuzzy Modeling for Long Term Load Forecasting. 214

André Filipe de Moraes Batista, Maria das Graças Bruno Marietto

Multi-agent Systems in Building a Computational Middleware............................................................. 220

Angel Goñi Moreno, Paula Cordero Moreno

Conditional development of bacterial based swarm intelligent systems and real biological manipulation.. 222

Paula Cordero Moreno, Angel Goñi Moreno, Juan Castellanos Peñuela

Using directed evolution techniques to solve hard combinatorial problems............................................ 225

Edward Pogossian, Dany Dionne, Arthur Grigoryan, Jean Couture, Elisa Shahbazian

Developing Goals Directed Search Models Empowering Strategies Against
Single Ownship Air Threats
................................................................................................................ 229

Sajjad Haj Shahvalady, Mehran Mohsenzadeh

A Web Service Recommender System Using User Ontology.............................................................. 234

Hossein Soleimani-B., Caro Lucas

Input Variable Generation for Long Term Prediction of EEG Signal Using Genetic

Programming...................................................................................................................................... 239

Djamshid Tavangarian

Cloud computing: Opportunities and Challenges.................................................................................. 243

Maryam Tayefeh Mahmoudi, Nafiseh Forouzideh, Caro Lucas, Fattaneh Taghiyareh

Artificial Neural Network Weights Optimization based on Imperialist Competitive Algorithm................ 244

Vachagan Vahradyan, Nina Karapetyan, Maria Stepanyan

Application of Fuzzy Sets to Formalization of Chess High Level Concepts........................................... 248

Anna Varosyan

Formal Verification Algorithm for Workflow Processes....................................................................... 251

Александр Богданов, Александр Дегтярев, Игорь Гараев

Распределенная информационная система для оценки рисков на финансовых рынках........ 255

UNL Workshop

Sameh Alansary, Magdy Nagi, Noha Adly

A Library Information System (LIS) Based on UNL Knowledge Infra Structure.................................. 261

Aram Avetisyan

Some Approaches to the Generation of Sentences in Natural Language from UNL.............................. 268

Sangharsh Boudhh, Pushpak Bhattacharyya

Unification of Universal Word dictionaries Using WordNet Ontology and Similarity

Measures........................................................................................................................................... 271

Jesús Cardeñosa, Carolina Gallardo Pérez, Adriana Toni

Multilingual Cross Language Information Retrieval – A New Approach............................................... 284

Carolina Gallardo, Jesús Cardeñosa

Standardization of the generation process in a multilingual environment................................................. 288

Yenok Grishkyan

Upon Comparison Of Some Online Unl Modules................................................................................ 293

Liana Hovsepyan

The Formal Description Of Armenian Within The Unl System.............................................................. 297

Angela Manukyan

Morphology Model For Western Armenian Language......................................................................... 301

Ronaldo Martins

The conceptual structure of the Encyclopedia of Water: remarks from a UNL enconverting

task................................................................................................................................................... 305

Ronaldo Martins, Vahan Avetisyan

Generative and Enumerative Lexicons in the UNL Framework............................................................ 309

Susanna Tioyan, Angela Manukyan

Description of verb government in the UNL system (on the example of the comparison of two
branches of contemporary Armenian literary language)
........................................................................ 313

Tigran Zargaryan

Digitalization models and algorithms for preservation of Armenian rare books...................................... 317

Pattern Recognition and Image Processing

David Asatryan, Naira Asatryan

Combined Spatial and Frequency Domain Watermarking................................................................... 323

Bahareh Atoufi, Caro-Lucas, Ali-Zakerolhosseini

A Survey of Multi-Channel Prediction of EEG Signal in Different EEG States: Normal, Pre-

Seizure, and Seizure........................................................................................................................... 327

Yuri Barseghyan, Hakob Sarukhanyan

Laplacian Based LF Quality Map for Phase Reconstruction................................................................ 332

Robert Hakobyan, Artashes Hakobyan, Hayk Harutyunyan

The Steganography in Spectral Area of the Image............................................................................... 336

Tigran Manukyan

A Method of Ancient Manuscript Image Enhancement........................................................................ 338

David Muradian

On Layout Problems of Kneser Graphs.............................................................................................. 341

Armen Petrosyan

Vision System for Disabled People Using Pattern Matching Algorithm................................................. 343

Hakob Sarukhanyan, Souren Alaverdyan, Grigor Petrosyan

Automatic Number Plate Recognition System..................................................................................... 347

Hakob Sarukhanyan, Rafayel Barseghyan

New Efficient FFT with Fewer Operations.......................................................................................... 351

Оганес Овсепян, Арташес Акопян, Роберт Акопян

Об одном способе обнаружения и распознавания объекта....................................................... 355

Parallel and Distributed Computing

Arsen Arakelyan, Anna Boyajyan, Levon Aslanyan, David Muradyan, Hasmik Sahakyan

Algorithmic analysis of functional pathways affected by typical and atypical antipsychotics.................... 361

Hrachia Asatrian, Hayk Gabrielyan

Numerical Calculation of Charm Quark Mass Dependence of the Chromomagnetic dipole
operator contribution to
.................................................................................... 364

Tigran Gevorgyan, Anna Shahinyan, Gagik Kryuchkyan

Extendible C++ Application in Phonetic Technologies based on Parallel Computing............................. 367

Ashot Gevorkyan, Tigran Grigoryan, Vahag Hovhannisyan, Gunnar Nyman

Fitting of 3D Reaction of Three-Atomic System in the Natural Collision Coordinates........................... 371

Victor Ivannikov, Arutyun Avetisyan, Sergey Gaissaryan, Varvara Babkova

High productive programming for cluster systems using ParJava environment....................................... 375

Daniel Versick, Djamshid Tavangarian

A New Workload Model for Parallel I/O Systems.............................................................................. 379

Cluster and Grid Computing

Gh. Adam, V. Ivanov, V. Korenkov, T. Strizh, P. Zrelov

Present status and perspectives of JINR Grid-infrastructure................................................................. 385

S. Aramyan, A. Poghosyan, A. Shahinyan

Interaction Of L-Alanine And L-Valine Aminoacid Molecules With Phospholipid Bilayer.
Molecular Dynamics Simulation
.......................................................................................................... 389

H. Astsatryan, H. Keropyan, V. Sahakyan, Yu. Shoukourian, B. Chiladze, D. Chkhaberidze,

G. Kobiashvili, R. Kvatadze

Introduction of Armenian-Georgian Grid Infrastructures...................................................................... 391

Alexander Bogdanov,  Lu Moe Khaing, Soe Moe Lwin

Deployment the testbed for Grid products testing on the base of Sun Grid Engine................................ 394

Alexander Bogdanov, Thurein Kyaw Lwin, Myo Tun Tun, La Min Htut

System integration of heterogeneous complexes for scientific computing, based on the use of DB2 technology......................................................................................................................................... 397

Alexander Bogdanov, Elena Stankova

Natural Parallelization Paradigm Implementation for Grid Technology.................................................. 400

Edmon Davtyan, Hasmik Karapetyan, Karine Shahbazyan

Software Tool for Cluster-based Modeling of 2D Cellular Automata................................................... 404

Arash Ghorbannia Delavar, Vahe Aghazarian, Saeed Sadighi

ERPSD: A New Model for Developing Distributed, Secure,
and Dependable Organizational Softwares
.......................................................................................... 408

Mikayel Gyurjyan, Hrachya Astsatryan, Lilit Sargsyan, Mickayel Enanov

Introduction of a Seismology Platform based on the Armenian National Grid Infrastructure.................. 411

Artem Harutyunyan, Arsen Hayrapetyan, Gayane Kazhoyan, Ruben Sefilyan

Public Key Infrastructure Operations Toolkit Based on Service-Oriented Architecture......................... 414

Aurélie Hurault, Frédéric Camillo, Michel Daydé, Ronan Guivarch, Marc Pantel,

Chiara Puglisi, Hrachya Astsatryan

Semantic Description of Services: Issues and Examples....................................................................... 416

A. Mickaelian, H. Astsatryan, R. Nesci, G. Cirimele, L. Sargsyan, G. Mikayelyan

The Digitized First Byurakan Survey on ArmCluster............................................................................ 420

Areg Mickaelian, Nino Kochiashvili, Hrach Astsatryan, Haik Harutyunian, Tigran Magakyan, Ketevan Chargeishvili, Rezo Natsvishvili, Vasil Kukhiamidze, Giorgi Ramishvili, Lusine Sargsyan, Parandzem Sinamyan, Ia Kochiashvili, Gor Mikayelyan

Development of Armenian-Georgian Virtual Observatory.................................................................... 424

Veaceslav Sidorenco, Peter Bogatencov

Basic Set of Application of SEE-GRID-SCI Project........................................................................... 428

Design and Testing

Gurgen Harutyunyan, Valery Vardanian

An Efficient March Test Algorithm for Detection of Resistive Shorts in Multi-port SRAMs................... 435

Iskandar Karapetyan, Samvel Darbinyan

On two routing problems.................................................................................................................... 439

Aram Khzarjyan

A Tool for SoC Test Network Design Automation.............................................................................. 443

Mher Markosyan, Arthur Grigoryan, Anna Grigoryan

A Method of Implementation of an Expert System of Diagnosis of Hardware-in Loop Complex Suites. 447

Telecommunication and Networking

Jesus Martinez Barbero, Manuel Bollaín Pérez

Multilanguage Opera Subtitling Exchange Between Production and Broadcaster Companies................ 453

Frederic GAUCHE

An approach of the Future Narrow Band Digital Terminal Protocol..................................................... 457

Mher Markosyan

Analysis and designing of signaling automated system during the emergencies in the water
saving systems, based on GPRS service
............................................................................................. 463

A. Nanassian, A. Petrosyan, V. Sahakyan, E. Vardanyan, D. Gevorgyan, G. Petrosyan,

K. Khachatryan

Mail Informer-Selective Incoming E-mail Instant Phone Notification System........................................ 466

V. Shakhgildyan, E. Trofimov

Mobile communication....................................................................................................................... 468

Information Technologies Applications

Jurij Agalakov, Konstantin Kotov, German Oganyan

Methodology of the legacy software porting........................................................................................ 473

Somaye Golabian, C. Lucas, M. R. Jamali, M. Afrasiabi

Implementation of the emotional controller Using DSK TMSC320 Digital signal processor.................. 477

Jim Henry, Oleg Gasparyan

Global Cooperation in WEB-based Control Laboratories: USA and Armenia...................................... 481

Igor Mkrtumyan

What are the reasons behind Armenia NRI low figures?...................................................................... 482

Igor Mkrtumyan

Concept of Internet Development in Armenia...................................................................................... 485

T. Khotsanyan, H. Astsatryan, A. Mirzoyan, V. Sahakyan, Yu. Shoukourian, H. Melkonyan, A. Hovsepyan, Z. Petrosyan, V. Kotroni

Implementing and Evaluating the Weather Research and Forecast Model for the Territory of Armenia.. 490

Luděk Kučera

Algorithm visualization in CS education............................................................................................... 494

Тигран Андреасян

Анализ биометрических подходов к управлению ключевой информацией............................ 502

Акоп Оганесян

Одна характеризация модели Μ|G|1|∞........................................................................................ 505

Александр Пащенко

Моделирование нелинейных систем Винера-Гаммерштейна................................................... 507

Фёдор Пащенко, Ирина Дургарян

Автоматизированное проектирование систем управления....................................................... 510

Сирануш Саркисян, Анна Овакимян, Сергей Бархударян

Построение адаптивных сценариев электронного обучения.................................................... 514

Ашот Хачатуров

Модель реконфигурируемой стеганографической системы на основе социальной сети         516