Труды КНЦ вып.9 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 10/2018(9))

TRANSACTIONS INFORMATION TECHNOLOGIES of the Kola Science Centre Series 9 CONTENTS Page Introduction........................................................... 8 A.V. Masloboev Linguo-combinatorial model of regional security V.A. Putilov control....................................................................... 9 M.B. Ignatyev A.A. Zuenko Application of constraint programming methods O.V. Fridman in intellectual planning problems........................... 21 S.N. Malygina Logistics of personnel provision in the region: V.V. Bystrov formalization and structure of the poly-model D.N. Khaliullina complex.................................................................. 36 V.V. Bystrov Formalized conceptual model of ecological D.N. Khaliullina safety of the arctic communications................... 48 E.S.Davidyuk Forecast simulation for monitoring and M.G.Shishaev management of staffing need for regional V.V.Bystrov development programs......................................... 61 A.V. Vicentiy Development of domain ontology for formal M.G. Shishaev inference and visualization in information P.A. Lomov support systems for the tasks of maritime G.G. Gogoberidze spatial planning....................................................... 77 A.V. Vicentiy Development of geovisualization technology for M.G. Shishaev information support systems for spatial planning G.G. Gogoberidze tasks taking into account interests and contradictions of various groups of nature users based on a conceptual model of conflict............. 91 A.V. Vicentiy Experience in using the visualization of M.G. Shishaev document semantic models for express content V.V. Dikovitskiy analysis (on the example of legal acts regulating the development of spatially distributed systems).................................................................. 99 V.V. Dikovitskiy Modal logic as a means of formalization of A.A. Menkova normative documents............................................ 112 L.M. Shishaeva P.A. Lomov Software implementation of the technology for generation of lexical-syntactic patterns for support of ontology learning................................ 120 5