Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№2
Ожидается:
16 Июня 2024
Статьи журнала №1 2012
31. Раcпределенная информационная система поиска литературы [№1 за 2012 год]
Авторы: Лвин Маунг Со (lwinmgsoe@gmail.com) - Национальный исследовательский университет «Московский энергетический институт»; Маран М.М. (mm@appmat.ru) - Национальный исследовательский университет «Московский энергетический институт», кандидат технических наук;
Аннотация: Рассматриваются возможности построения и реализация распределенной информационной системы поиска ли-тературы. Реализация выполнена согласно концепции сервис-ориентированной архитектуры на платформах Windows Communication Foundation, Microsoft SQL Server 2008 и Visual Studio 2010.
Keywords: ADONET MVC, WCF, soa, information resources search, information system
Просмотров: 15170
Авторы: Лвин Маунг Со (lwinmgsoe@gmail.com) - Национальный исследовательский университет «Московский энергетический институт»; Маран М.М. (mm@appmat.ru) - Национальный исследовательский университет «Московский энергетический институт», кандидат технических наук;
Аннотация: Рассматриваются возможности построения и реализация распределенной информационной системы поиска ли-тературы. Реализация выполнена согласно концепции сервис-ориентированной архитектуры на платформах Windows Communication Foundation, Microsoft SQL Server 2008 и Visual Studio 2010.
Abstract: This paper deals with design principles and implementation of distributed information systems for information resources search. The implementation is made in accordance with the principles of service-oriented architecture on Windows Communication Foundation, Microsoft SQL Server 2008 and Visual Studio 2010 platforms.
Ключевые слова: ado net mvc, wcf, soa, поиск литературы, информационная системаKeywords: ADONET MVC, WCF, soa, information resources search, information system
Просмотров: 15170
31. Раcпределенная информационная система поиска литературы
[№1 за 2012 год]
Просмотров: 15170
Рассматриваются возможности построения и реализация распределенной информационной системы поиска ли-тературы. Реализация выполнена согласно концепции сервис-ориентированной архитектуры на платформах Windows Communication Foundation, Microsoft SQL Server 2008 и Visual Studio 2010.
Лвин Маунг Со (lwinmgsoe@gmail.com) - Национальный исследовательский университет «Московский энергетический институт»; Маран М.М. (mm@appmat.ru) - Национальный исследовательский университет «Московский энергетический институт», кандидат технических наук;
32. Механизм реализации мандатной политики безопасности в АСУП на базе Oracle ECM 11G [№1 за 2012 год]
Авторы: Проскуряков М.А. (gic@tvcom.ru) - Главный испытательный сертификационный центр программных средств вычислительной техники; Палюх Б.В. (pboris@tstu.tver.ru) - Тверской государственный технический университет (профессор), доктор технических наук; Мельникова В.В. (viklipse@mail.ru) - Тверской государственный технический университет, Аспирант ; Котов С.Л. (info@gicpsvt.ru) - Главный испытательный сертификационный центр безопасности программных средств и вычислительной техники (доцент, директор), кандидат экономических наук;
Аннотация: Рассматривается проблема обеспечения соответствия подсистемы мандатного контроля доступа в Oracle ECM 11g требованиям РД СВТ, предъявляемым к данной подсистеме. Предложен механизм реализации мандатной поли-тики разграничения доступа в Oracle ECM 11g.
Keywords: certified tests, computer integrated manufacturing, content server, certification, mandatory Bell-LaPadula model, , Oracle ECM 11g
Просмотров: 16001
Авторы: Проскуряков М.А. (gic@tvcom.ru) - Главный испытательный сертификационный центр программных средств вычислительной техники; Палюх Б.В. (pboris@tstu.tver.ru) - Тверской государственный технический университет (профессор), доктор технических наук; Мельникова В.В. (viklipse@mail.ru) - Тверской государственный технический университет, Аспирант ; Котов С.Л. (info@gicpsvt.ru) - Главный испытательный сертификационный центр безопасности программных средств и вычислительной техники (доцент, директор), кандидат экономических наук;
Аннотация: Рассматривается проблема обеспечения соответствия подсистемы мандатного контроля доступа в Oracle ECM 11g требованиям РД СВТ, предъявляемым к данной подсистеме. Предложен механизм реализации мандатной поли-тики разграничения доступа в Oracle ECM 11g.
Abstract: The problem of Oracle ECM 11g mandatory access control subsystem correspondence to the requirements of management directive «Computer Aids» is considered in the article. The main idea of the article is mandatory access policy mechanism implementation in Oracle ECM 11g.
Ключевые слова: сертификационные испытания, асуп, контент-сервер, аттестация, мандатная модель белла–лападулы, рд свт, oracle ecm 11gKeywords: certified tests, computer integrated manufacturing, content server, certification, mandatory Bell-LaPadula model, , Oracle ECM 11g
Просмотров: 16001
32. Механизм реализации мандатной политики безопасности в АСУП на базе Oracle ECM 11G
[№1 за 2012 год]
Просмотров: 16001
Рассматривается проблема обеспечения соответствия подсистемы мандатного контроля доступа в Oracle ECM 11g требованиям РД СВТ, предъявляемым к данной подсистеме. Предложен механизм реализации мандатной поли-тики разграничения доступа в Oracle ECM 11g.
Проскуряков М.А. (gic@tvcom.ru) - Главный испытательный сертификационный центр программных средств вычислительной техники; Палюх Б.В. (pboris@tstu.tver.ru) - Тверской государственный технический университет (профессор), доктор технических наук; Мельникова В.В. (viklipse@mail.ru) - Тверской государственный технический университет, Аспирант ; Котов С.Л. (info@gicpsvt.ru) - Главный испытательный сертификационный центр безопасности программных средств и вычислительной техники (доцент, директор), кандидат экономических наук;
Ключевые слова: сертификационные испытания, асуп, контент-сервер, аттестация, мандатная модель белла–лападулы, рд свт, oracle ecm 11g
33. Программная имитационная модель machina speculatrix Уолтера Грея [№1 за 2012 год]
Авторы: Колос П.А. (dr_peter@cdu.edu.ua) - Черкасский национальный университет им. Богдана Хмельницкого, Украина; Волкова Н.С. (manunya@i.ua) - Черкасский национальный университет им. Богдана Хмельницкого;
Аннотация: Статья посвящена особенностям моделирования поведения живых существ при создании технических систем. Описываются биоморфные кибернетические робототехнические системы machina speculatrix Уолтера Грея, а также исследуются особенности разработки и использования имитационных моделей таких систем.
Keywords: software simulation models, biomorphic robots, robotic systems, cyber turtles, biomimetic
Просмотров: 11981
Авторы: Колос П.А. (dr_peter@cdu.edu.ua) - Черкасский национальный университет им. Богдана Хмельницкого, Украина; Волкова Н.С. (manunya@i.ua) - Черкасский национальный университет им. Богдана Хмельницкого;
Аннотация: Статья посвящена особенностям моделирования поведения живых существ при создании технических систем. Описываются биоморфные кибернетические робототехнические системы machina speculatrix Уолтера Грея, а также исследуются особенности разработки и использования имитационных моделей таких систем.
Abstract: The article deals with the features of modeling of the living beings behavior for the creation of technical systems. There are described the cybernetic biomorphic robotic systems machina speculatrix made by Walter Gray, also there are investigated the features of the creation and using of simulation models of such systems in this article.
Ключевые слова: программные имитационные модели, биоморфные роботы, робототехнические системы, кибернетические черепашки, бионикаKeywords: software simulation models, biomorphic robots, robotic systems, cyber turtles, biomimetic
Просмотров: 11981
33. Программная имитационная модель machina speculatrix Уолтера Грея
[№1 за 2012 год]
Просмотров: 11981
Статья посвящена особенностям моделирования поведения живых существ при создании технических систем. Описываются биоморфные кибернетические робототехнические системы machina speculatrix Уолтера Грея, а также исследуются особенности разработки и использования имитационных моделей таких систем.
Колос П.А. (dr_peter@cdu.edu.ua) - Черкасский национальный университет им. Богдана Хмельницкого, Украина; Волкова Н.С. (manunya@i.ua) - Черкасский национальный университет им. Богдана Хмельницкого;
34. Компактная модель графенового полевого транзистора на языке Verilog-A [№1 за 2012 год]
Авторы: Целыковский А.А. (atsel@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН; Данилов И.А. (danilov@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН; Зебрев Г.И. (gizebrev@mephi.ru) - Национальный исследовательский ядерный университет «МИФИ», доктор технических наук;
Аннотация: Представлены компактная модель графенового полевого транзистора и ее реализация на языке Verilog-A. На примере моделирования ряда аналоговых схем на основе графеновых транзисторов продемонстрирована возмож-ность использования модели в промышленных САПР.
Keywords: ambipolar electronics, phase shift keying, frequency multiplication, full-wave rectification, CAD system, Verilog-A, current-voltage characteristic, modeling, compact model, graphene field-effect transistor
Просмотров: 20726
Авторы: Целыковский А.А. (atsel@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН; Данилов И.А. (danilov@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН; Зебрев Г.И. (gizebrev@mephi.ru) - Национальный исследовательский ядерный университет «МИФИ», доктор технических наук;
Аннотация: Представлены компактная модель графенового полевого транзистора и ее реализация на языке Verilog-A. На примере моделирования ряда аналоговых схем на основе графеновых транзисторов продемонстрирована возмож-ность использования модели в промышленных САПР.
Abstract: The paper presents a compact model of the graphene field-effect transistor and its Verilog-A implementation. The potential for using the model in the industry CAD is demonstrated by modeling of analog circuits based on graphene transistors.
Ключевые слова: амбиполярная электроника, двухпозиционная фазовая манипуляция, умножение частоты, двухполупериодное выпрямление тока, сапр, verilog-a, вах, моделирование, компактная модель, графеновый полевой транзисторKeywords: ambipolar electronics, phase shift keying, frequency multiplication, full-wave rectification, CAD system, Verilog-A, current-voltage characteristic, modeling, compact model, graphene field-effect transistor
Просмотров: 20726
34. Компактная модель графенового полевого транзистора на языке Verilog-A
[№1 за 2012 год]
Просмотров: 20726
Представлены компактная модель графенового полевого транзистора и ее реализация на языке Verilog-A. На примере моделирования ряда аналоговых схем на основе графеновых транзисторов продемонстрирована возмож-ность использования модели в промышленных САПР.
Целыковский А.А. (atsel@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН; Данилов И.А. (danilov@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН; Зебрев Г.И. (gizebrev@mephi.ru) - Национальный исследовательский ядерный университет «МИФИ», доктор технических наук;
35. Обзор систем сбора и первичной обработки информации для станций геолого-технологических исследований [№1 за 2012 год]
Авторы: Калёнов С.А. (polinochcka86@rambler.ru) - Институт кибернетики, информатики и связи Тюменского государственного нефтегазового университета ;
Аннотация: Рассматриваются распространенные системы сбора информации, применяемые на станциях геолого-технологических исследований СИРИУС и «Геосфера» для сопровождения бурения скважин. Сравниваются технические характеристики, надежность и удобство эксплуатации систем.
Keywords: the device of gathering of the information, geology-technological researches, «Geosphere», «Razrez-2», SIRIUS
Просмотров: 14558
Авторы: Калёнов С.А. (polinochcka86@rambler.ru) - Институт кибернетики, информатики и связи Тюменского государственного нефтегазового университета ;
Аннотация: Рассматриваются распространенные системы сбора информации, применяемые на станциях геолого-технологических исследований СИРИУС и «Геосфера» для сопровождения бурения скважин. Сравниваются технические характеристики, надежность и удобство эксплуатации систем.
Abstract: In article systems of gathering the information applied at stations of geology-technological researches SIRIUS and «Geosphere» for support of drilling of chinks are considered extended, for today. Technical characteristics, reliability and convenience of operation of systems are compared.
Ключевые слова: устройство сбора информации, геолого-технологические исследования, «геосфера», «разрез-2», станции сириусKeywords: the device of gathering of the information, geology-technological researches, «Geosphere», «Razrez-2», SIRIUS
Просмотров: 14558
35. Обзор систем сбора и первичной обработки информации для станций геолого-технологических исследований
[№1 за 2012 год]
Просмотров: 14558
Рассматриваются распространенные системы сбора информации, применяемые на станциях геолого-технологических исследований СИРИУС и «Геосфера» для сопровождения бурения скважин. Сравниваются технические характеристики, надежность и удобство эксплуатации систем.
Калёнов С.А. (polinochcka86@rambler.ru) - Институт кибернетики, информатики и связи Тюменского государственного нефтегазового университета ;
36. Разработка инструментов верификации драйверов на основе семантических моделей [№1 за 2012 год]
Авторы: Кораблин Ю.П. (y.p.k@mail.ru) - Российский государственный социальный университет, г. Москва (профессор), доктор технических наук; Павлов Е.Г. (lucenticus@gmail.com) - Российский государственный социальный университет, г. Москва;
Аннотация: Проводится обзор основных инструментов, применяемых для верификации драйверов. Указаны преимущества и недостатки, а также структурные особенности каждого верификатора. Описан разработанный метод верификации драйверов на основе семантических моделей. Приводится пример верификации драйвера Linux.
Keywords: algebraic semantics, equational characterization, process semantics, device drivers, verification
Просмотров: 14061
Авторы: Кораблин Ю.П. (y.p.k@mail.ru) - Российский государственный социальный университет, г. Москва (профессор), доктор технических наук; Павлов Е.Г. (lucenticus@gmail.com) - Российский государственный социальный университет, г. Москва;
Аннотация: Проводится обзор основных инструментов, применяемых для верификации драйверов. Указаны преимущества и недостатки, а также структурные особенности каждого верификатора. Описан разработанный метод верификации драйверов на основе семантических моделей. Приводится пример верификации драйвера Linux.
Abstract: In this article the questions of driver's proving are investigated. It is proposed the method of drivers verification, based on the processing semantics approach.
Ключевые слова: алгебраическая семантика, эквациональная характеристика, процессная семантика, драйверы устройств, верификацияKeywords: algebraic semantics, equational characterization, process semantics, device drivers, verification
Просмотров: 14061
36. Разработка инструментов верификации драйверов на основе семантических моделей
[№1 за 2012 год]
Просмотров: 14061
Проводится обзор основных инструментов, применяемых для верификации драйверов. Указаны преимущества и недостатки, а также структурные особенности каждого верификатора. Описан разработанный метод верификации драйверов на основе семантических моделей. Приводится пример верификации драйвера Linux.
Кораблин Ю.П. (y.p.k@mail.ru) - Российский государственный социальный университет, г. Москва (профессор), доктор технических наук; Павлов Е.Г. (lucenticus@gmail.com) - Российский государственный социальный университет, г. Москва;
37. Метод планирования размещения группы виртуальных машин с перераспределением ресурсов [№1 за 2012 год]
Автор: Соловьев В.П. (wsolovjov@gmail.com) - Московский государственный университет путей сообщения; Удовиченко А.О. (aspudovichenko@mail.ru) - Московский государственный университет путей сообщения;
Аннотация: Предложен метод планирования размещения группы виртуальных машин с перераспределением ресурсов. Рас-смотрена задача размещения группы виртуальных машин, представлен разработанный метод и приведены результа-ты экспериментов, которые подтверждают его эффективность.
Keywords: management of resources, virtual machine, virtualization, infrastructure, information system
Просмотров: 17723
Автор: Соловьев В.П. (wsolovjov@gmail.com) - Московский государственный университет путей сообщения; Удовиченко А.О. (aspudovichenko@mail.ru) - Московский государственный университет путей сообщения;
Аннотация: Предложен метод планирования размещения группы виртуальных машин с перераспределением ресурсов. Рас-смотрена задача размещения группы виртуальных машин, представлен разработанный метод и приведены результа-ты экспериментов, которые подтверждают его эффективность.
Abstract: A method for placement of virtual machines with resource redistribution is proposed in the paper. A problem of virtual machine placement is presented as well as the proposed method. Results of experiments are provided proving the efficiency of the proposed method.
Ключевые слова: управление ресурсами, виртуальная машина, виртуализация, инфраструктура, информационная системаKeywords: management of resources, virtual machine, virtualization, infrastructure, information system
Просмотров: 17723
37. Метод планирования размещения группы виртуальных машин с перераспределением ресурсов
[№1 за 2012 год]
Просмотров: 17723
Предложен метод планирования размещения группы виртуальных машин с перераспределением ресурсов. Рас-смотрена задача размещения группы виртуальных машин, представлен разработанный метод и приведены результа-ты экспериментов, которые подтверждают его эффективность.
Соловьев В.П. (wsolovjov@gmail.com) - Московский государственный университет путей сообщения; Удовиченко А.О. (aspudovichenko@mail.ru) - Московский государственный университет путей сообщения;
Ключевые слова: управление ресурсами, виртуальная машина, виртуализация, инфраструктура, информационная система
38. Автоматическое построение и обобщение схемных решений при проектировании систем управления [№1 за 2012 год]
Авторы: Филатова Н.Н. (nfilatova99@mail.ru) - Тверской государственный технический университет, доктор технических наук; Требухин А.Г. (nfilatova99@mail.ru) - Тверской государственный технический университет;
Аннотация: Рассмотрен программный комплекс, расширяющий возможности САПР систем управления путем автоматиче-ской генерации объемов понятий о заданном классе функциональных схем автоматизации и автоматически унифи-цирующий и расширяющий свой опыт.
Keywords: decision rule, rough set, decision-tree scheme model, automation system scheme
Просмотров: 14660
Авторы: Филатова Н.Н. (nfilatova99@mail.ru) - Тверской государственный технический университет, доктор технических наук; Требухин А.Г. (nfilatova99@mail.ru) - Тверской государственный технический университет;
Аннотация: Рассмотрен программный комплекс, расширяющий возможности САПР систем управления путем автоматиче-ской генерации объемов понятий о заданном классе функциональных схем автоматизации и автоматически унифи-цирующий и расширяющий свой опыт.
Abstract: New program complex for designing of control systems. The program automatically generates set of function charts, makes the analysis of schemes from system archive and creates new rules of schemes construction.
Ключевые слова: решающее правило, приближенное множество, дерево схемотехнических решений, схема системы управленияKeywords: decision rule, rough set, decision-tree scheme model, automation system scheme
Просмотров: 14660
38. Автоматическое построение и обобщение схемных решений при проектировании систем управления
[№1 за 2012 год]
Просмотров: 14660
Рассмотрен программный комплекс, расширяющий возможности САПР систем управления путем автоматиче-ской генерации объемов понятий о заданном классе функциональных схем автоматизации и автоматически унифи-цирующий и расширяющий свой опыт.
Филатова Н.Н. (nfilatova99@mail.ru) - Тверской государственный технический университет, доктор технических наук; Требухин А.Г. (nfilatova99@mail.ru) - Тверской государственный технический университет;
39. Многоподходное имитационное моделирование для оптимизации состава специалистов консалтинговой компании [№1 за 2012 год]
Авторы: Митрошин С.Г. (pvv@pgta.ru) - Пензенская государственная технологическая академия; Пикулин В.В. (pvv@pgta.ru) - Пензенская государственная технологическая академия, кандидат технических наук;
Аннотация: Рассматривается применение многоподходного имитационного моделирования для повышения эффективности деятельности консалтинговой компании путем изменения состава специалистов. Приводятся пример имитационной модели, разработанной в среде AnyLogic, и результаты ее использования.
Keywords: multimethod simulation modeling, staff planning, consulting
Просмотров: 15463
Авторы: Митрошин С.Г. (pvv@pgta.ru) - Пензенская государственная технологическая академия; Пикулин В.В. (pvv@pgta.ru) - Пензенская государственная технологическая академия, кандидат технических наук;
Аннотация: Рассматривается применение многоподходного имитационного моделирования для повышения эффективности деятельности консалтинговой компании путем изменения состава специалистов. Приводятся пример имитационной модели, разработанной в среде AnyLogic, и результаты ее использования.
Abstract: Questions of application of the multimethod simulation modeling for increase of efficiency of activity of the consulting company by change of composition of experts are considered. There are an example of a simulation model developed in the AnyLogic modeling tool, and the results of its use.
Ключевые слова: многоподходное имитационное моделирование, планирование персонала, консалтингKeywords: multimethod simulation modeling, staff planning, consulting
Просмотров: 15463
[№1 за 2012 год]
Просмотров: 15463
Рассматривается применение многоподходного имитационного моделирования для повышения эффективности деятельности консалтинговой компании путем изменения состава специалистов. Приводятся пример имитационной модели, разработанной в среде AnyLogic, и результаты ее использования.
Митрошин С.Г. (pvv@pgta.ru) - Пензенская государственная технологическая академия; Пикулин В.В. (pvv@pgta.ru) - Пензенская государственная технологическая академия, кандидат технических наук;
40. Параллельный программный комплекс решения неголономных задач управления [№1 за 2012 год]
Авторы: Маштаков А.П. (sachkov@sys.botik.ru) - Институт программных систем им. А.К. Айламазяна РАН, г. Переславль-Залесский;
Аннотация: Описан метод управления нелинейными системами с линейным управлением на основе нильпотентной аппрок-симации. Представлен алгоритм приближенного решения конструктивной задачи управления пятимерными система-ми такого вида в классах кусочно-постоянных и оптимальных управлений для аппроксимирующей системы. Приве-денный алгоритм был положен в основу параллельного программного комплекса MotionPlanning235, предназначен-ного для решения поставленной задачи.
Keywords: parallel algorithms and programs Image processing, optimal control, nilpotent approximation
Просмотров: 14634
Авторы: Маштаков А.П. (sachkov@sys.botik.ru) - Институт программных систем им. А.К. Айламазяна РАН, г. Переславль-Залесский;
Аннотация: Описан метод управления нелинейными системами с линейным управлением на основе нильпотентной аппрок-симации. Представлен алгоритм приближенного решения конструктивной задачи управления пятимерными система-ми такого вида в классах кусочно-постоянных и оптимальных управлений для аппроксимирующей системы. Приве-денный алгоритм был положен в основу параллельного программного комплекса MotionPlanning235, предназначен-ного для решения поставленной задачи.
Abstract: A motion planning problem for nonlinear five-dimensional systems is considered. Parallel software package MotionPlanning235 was developed to solve this problem in class of piecewise constant and optimal controls. Nilpotent approximation is used to obtain an approximate solution with a necessary precision.
Ключевые слова: параллельные алгоритмы и программы, оптимальное управление, нильпотентная аппроксимацияKeywords: parallel algorithms and programs Image processing, optimal control, nilpotent approximation
Просмотров: 14634
40. Параллельный программный комплекс решения неголономных задач управления
[№1 за 2012 год]
Просмотров: 14634
Описан метод управления нелинейными системами с линейным управлением на основе нильпотентной аппрок-симации. Представлен алгоритм приближенного решения конструктивной задачи управления пятимерными система-ми такого вида в классах кусочно-постоянных и оптимальных управлений для аппроксимирующей системы. Приве-денный алгоритм был положен в основу параллельного программного комплекса MotionPlanning235, предназначен-ного для решения поставленной задачи.
Маштаков А.П. (sachkov@sys.botik.ru) - Институт программных систем им. А.К. Айламазяна РАН, г. Переславль-Залесский;
