Преобразование машин в виртуальные машины

Изобретение относится к области виртуальных машин. Техническим результатом является повышение эффективности преобразования физических машин в виртуальные машины. Тома физической (или предшествующий виртуальной) машины могут быть преобразованы в виртуальные машины на хосте виртуальной машины, во время работы физических машин. В одной реализации услуга точного копирования тома может использоваться для создания согласованного с приложением (и/или файловой системой)…

Read more Преобразование машин в виртуальные машины

Способ и устройство для динамического

Изобретение относится к компьютерным системам. Техническим результатом является расширение функциональных возможностей. Динамическое связывание/динамическое разрешение путевых имен может быть выполнено посредством модуля идентификации переменной, работающего в режиме пользователя или ядра, и механизма путевых имен и структуры данных, работающих в режиме ядра. Модуль идентификации переменной идентифицирует переменную в путевом имени. Механизм путевых имен оценивает переменную посредством преобразования…

Read more Способ и устройство для динамического

Реализация прототипа системы контроля процессов

На сегодняшний день IT-технологии являются неотъемлемой составляющей автоматизированных систем контроля процессов функционирования любых техногенных объектов, в том числе учреждений образования. Характерной чертой университетского кампуса является наличие нескольких зданий, для каждого из которых имеется своя система приборов учета водо-, электрои теплоснабжения, причем зачастую она реализована на базе оборудования различных производителей. Актуальной проблемой в этих условиях является…

Read more Реализация прототипа системы контроля процессов

Доктрина информатизации сельского хозяйства

Процесс информатизации современного общества носит настолько бурный характер, что невозможно назвать ни одну сферу человеческой деятельности, которую бы он не затронул самым серьезным образом. Переход от индустриального общества к информационному обществу заставляет людей совершенно по-новому подходить к решению задач в различных отраслях. В том числе, в значительной степени, это относится ко всему, что связано с…

Read more Доктрина информатизации сельского хозяйства

Валидация автоматов с переменными на

Введение В настоящее время функциональное программирование предоставляет множество возможностей для созданий вспомогательных конструкций, таких как продолжения (continuations), монады (monads) и стрелки (arrows), реализующих различные стили программирования. Перечисленные структуры имеют не только теоретическую, но и практическую значимость, предоставляя удобный «синтаксический сахар» для реализации некоторых классов программ. В последние годы широкое распространение получили предметно-ориентированные языки программирования (Domain-Specific…

Read more Валидация автоматов с переменными на

Способ организации многопроцессорной эвм

Изобретение относится к области вычислительной техники и может быть использовано для создания многопроцессорных многопоточных ЭВМ. Техническим результатом является полностью аппаратная реализация мультипрограммного управления нитями с вытеснением по приоритетам с точностью до отдельной команды. Способ организации многопроцессорной ЭВМ заключается в параллельном исполнении нити вычислений посредством хранимого в виртуальной памяти распределенного представления дескриптора нити, выполнении первичной выборки…

Read more Способ организации многопроцессорной эвм

Современная ос рв для отечественного

Общей практикой создания современных систем РВ, предназначенных для ответственного применения, стало использование коммерческих ОС РВ (commercial-off-the-shelf, COTS). Сегодня на рынке представлено около 20 самостоятельных ОС РВ и порядка 100 различных расширений и модификаций ОС общего назначения . Однако перед отечественными разработчиками возникает проблема сертификации применяемой ОС РВ как по требованиям к информационной безопасности, так и…

Read more Современная ос рв для отечественного

Аппаратно-реализуемый способ планирования заданий (варианты),

Изобретение относится к области планирования заданий для выполнения на компьютере. Техническим результатом является повышение эффективности планирования заданий. Способ планирования заданий содержит определение использования первого ресурса и использования второго ресурса: если использование первого ресурса одним или несколькими другими заданиями, которые в настоящий момент используют указанный ресурс, ниже первого порога использования, планирование выполнения первого вычислительного задания на…

Read more Аппаратно-реализуемый способ планирования заданий (варианты),

Современные методологии описания бизнес-процессов в

Российская энергетика сегодня встречается с такими проблемами, как необходимость реконструкции отслужившего свой срок оборудования и затраты производства в целях сдерживания роста цен на электроэнергию. Кроме того, требуется повысить надежность и качество энергоснабжения. Чтобы справиться с указанными трудностями, нужно совершенствовать бизнес-процессы в энергетической отрасли. Инновационные бизнес-структуры должны стать территориальным кластером генерации, передачи, хранения и сбыта электроэнергии…

Read more Современные методологии описания бизнес-процессов в

Система и способ проверки правильности

Изобретение относится к способам проверки правильности документа расширяемого языка разметки (XML) и выдачи сообщения о нарушениях схемы в режиме реального времени. Техническим результатом является обеспечение проверки правильности документа XML и сообщения о нарушениях схемы в режиме реального времени, когда пользователь редактирует документ. Поддерживается параллельное дерево, которое включает в себя узлы, соответствующие элементам «неродного» XML документа…

Read more Система и способ проверки правильности