Труды КНЦ вып.18 (ОКЕАНОЛОГИЯ вып. 4/2013(18))

TRANSACTIONS Kola Science Centre 5/2013 (18) INFORMATION TECHNOLOGIES series 4 CONTENTS Page Introduction............................................................................................ 9 V.A. Putilov Global security information monitoring and modeling tools of A.V. Masloboev Barents Euro-Arctic region.................................................................... 10 S.Yu. Yakovlev Modern trends in safety management of complex system s........... 29 A.V. Vicentiy Simulation model of spatial object movements with quasi­ random rou tes ........................................................................................ 40 I.O. Datyev information systems for ad-hoc networks mobility data A.S. Shemyakin extraction.................................................................................................. 46 Ju.V. Katkalov Data transmission system for geophysical networks....................... 64 Ja.A. Sakharov M.G. Shishaev Problem of effective map-based information system’s interface T.A. Poryadin formation for territories management ta s k s ....................................... 69 P.A. Lomov Visualization of OWL-ontologies on the basis of cognitive M.G. Shishaev fram es ....................................................................................................... 77 M.G. Shishaev Formalization problem of constructing cognitive user interfaces P.A. Lomov for multidomain information resources............................................... 90 V.V. Dikovitsky P.A. Korobeynikov, Study of semantic structure of reference interface for typical G. Shishaev Web resources........................................................................................ 98 A.A. Ryzhenko Distributed system of individual notification in case of R.Sh. Khabibulin emergency situations at the large industrial s ite s ............................. 103 A.A. Zuenko Accelerated algorithms of logical inference on constraints............ 110 A.A. Zuenko Retrieval requests using operations on boolean ve c to rs ................ 119 A.A. Almamatov A.A. Program Implementation of logic and probabilistic analysis Zuenko based on matrix and metric properties of the NTA-objects............ 125 Identification of spam campaigns on the basis of messages S.S. Kovalev routing information.................................................................................. 138 M.G. Shishaev Organization of the distributed execution environments to improve the A.S. Nevedrov efficiency of complex industrial processes modeling............................ 145 A.G. Oleynik 7