Программные продукты и системы

Статьи журнала №1 2012

31. Раcпределенная информационная система поиска литературы [№1 за 2012 год]
Авторы: Лвин Маунг Со (lwinmgsoe@gmail.com) - Национальный исследовательский университет «Московский энергетический институт»; Маран М.М. (mm@appmat.ru) - Национальный исследовательский университет «Московский энергетический институт», кандидат технических наук;
Аннотация: Рассматриваются возможности построения и реализация распределенной информационной системы поиска ли-тературы. Реализация выполнена согласно концепции сервис-ориентированной архитектуры на платформах Windows Communication Foundation, Microsoft SQL Server 2008 и Visual Studio 2010.
Ключевые слова: ado net mvc, wcf, soa, поиск литературы, информационная система
Keywords: ADONET MVC, WCF, soa, information resources search, information system
Просмотров: 11027

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.
Ключевые слова: сертификационные испытания, асуп, контент-сервер, аттестация, мандатная модель белла–лападулы, рд свт, oracle ecm 11g
Keywords: certified tests, computer integrated manufacturing, content server, certification, mandatory Bell-LaPadula model, , Oracle ECM 11g
Просмотров: 11952

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
Просмотров: 8860

34. Компактная модель графенового полевого транзистора на языке Verilog-A [№1 за 2012 год]
Авторы: Целыковский А.А. (atsel@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН; Данилов И.А. (danilov@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН; Зебрев Г.И. (gizebrev@mephi.ru) - Национальный исследовательский ядерный университет «МИФИ», доктор технических наук;
Аннотация: Представлены компактная модель графенового полевого транзистора и ее реализация на языке Verilog-A. На примере моделирования ряда аналоговых схем на основе графеновых транзисторов продемонстрирована возмож-ность использования модели в промышленных САПР.
Ключевые слова: амбиполярная электроника, компактная модель, моделирование, вах, verilog-a, сапр, двухполупериодное выпрямление тока, умножение частоты, двухпозиционная фазовая манипуляция, графеновый полевой транзистор
Keywords: ambipolar electronics, compact model, modeling, current-voltage characteristic, Verilog-A, CAD system, full-wave rectification, frequency multiplication, phase shift keying, graphene field-effect transistor
Просмотров: 16360

35. Обзор систем сбора и первичной обработки информации для станций геолого-технологических исследований [№1 за 2012 год]
Авторы: Калёнов С.А. (polinochcka86@rambler.ru) - Институт кибернетики, информатики и связи Тюменского государственного нефтегазового университета ;
Аннотация: Рассматриваются распространенные системы сбора информации, применяемые на станциях геолого-технологических исследований СИРИУС и «Геосфера» для сопровождения бурения скважин. Сравниваются технические характеристики, надежность и удобство эксплуатации систем.
Ключевые слова: устройство сбора информации, геолого-технологические исследования, «геосфера», «разрез-2», станции сириус
Keywords: the device of gathering of the information, geology-technological researches, «Geosphere», «Razrez-2», SIRIUS
Просмотров: 11276

36. Разработка инструментов верификации драйверов на основе семантических моделей [№1 за 2012 год]
Авторы: Кораблин Ю.П. (y.p.k@mail.ru) - Российский государственный социальный университет, г. Москва (профессор), доктор технических наук; Павлов Е.Г. (lucenticus@gmail.com) - Российский государственный социальный университет, г. Москва;
Аннотация: Проводится обзор основных инструментов, применяемых для верификации драйверов. Указаны преимущества и недостатки, а также структурные особенности каждого верификатора. Описан разработанный метод верификации драйверов на основе семантических моделей. Приводится пример верификации драйвера Linux.
Ключевые слова: алгебраическая семантика, эквациональная характеристика, процессная семантика, драйверы устройств, верификация
Keywords: algebraic semantics, equational characterization, process semantics, device drivers, verification
Просмотров: 10039

37. Метод планирования размещения группы виртуальных машин с перераспределением ресурсов [№1 за 2012 год]
Автор: Соловьев В.П. (wsolovjov@gmail.com) - Московский государственный университет путей сообщения; Удовиченко А.О. (aspudovichenko@mail.ru) - Московский государственный университет путей сообщения;
Аннотация: Предложен метод планирования размещения группы виртуальных машин с перераспределением ресурсов. Рас-смотрена задача размещения группы виртуальных машин, представлен разработанный метод и приведены результа-ты экспериментов, которые подтверждают его эффективность.
Ключевые слова: управление ресурсами, виртуальная машина, виртуализация, инфраструктура, информационная система
Keywords: management of resources, virtual machine, virtualization, infrastructure, information system
Просмотров: 12664

38. Автоматическое построение и обобщение схемных решений при проектировании систем управления [№1 за 2012 год]
Авторы: Филатова Н.Н. (nfilatova99@mail.ru) - Тверской государственный технический университет, доктор технических наук; Требухин А.Г. (nfilatova99@mail.ru) - Тверской государственный технический университет;
Аннотация: Рассмотрен программный комплекс, расширяющий возможности САПР систем управления путем автоматиче-ской генерации объемов понятий о заданном классе функциональных схем автоматизации и автоматически унифи-цирующий и расширяющий свой опыт.
Ключевые слова: решающее правило, приближенное множество, дерево схемотехнических решений, схема системы управления
Keywords: decision rule, rough set, decision-tree scheme model, automation system scheme
Просмотров: 10685

39. Многоподходное имитационное моделирование для оптимизации состава специалистов консалтинговой компании [№1 за 2012 год]
Авторы: Митрошин С.Г. (pvv@pgta.ru) - Пензенская государственная технологическая академия; Пикулин В.В. (pvv@pgta.ru) - Пензенская государственная технологическая академия, кандидат технических наук;
Аннотация: Рассматривается применение многоподходного имитационного моделирования для повышения эффективности деятельности консалтинговой компании путем изменения состава специалистов. Приводятся пример имитационной модели, разработанной в среде AnyLogic, и результаты ее использования.
Ключевые слова: многоподходное имитационное моделирование, планирование персонала, консалтинг
Keywords: multimethod simulation modeling, staff planning, consulting
Просмотров: 12255

40. Параллельный программный комплекс решения неголономных задач управления [№1 за 2012 год]
Авторы: Маштаков А.П. (sachkov@sys.botik.ru) - Институт программных систем им. А.К. Айламазяна РАН, г. Переславль-Залесский;
Аннотация: Описан метод управления нелинейными системами с линейным управлением на основе нильпотентной аппрок-симации. Представлен алгоритм приближенного решения конструктивной задачи управления пятимерными система-ми такого вида в классах кусочно-постоянных и оптимальных управлений для аппроксимирующей системы. Приве-денный алгоритм был положен в основу параллельного программного комплекса MotionPlanning235, предназначен-ного для решения поставленной задачи.
Ключевые слова: параллельные алгоритмы и программы, оптимальное управление, нильпотентная аппроксимация
Keywords: parallel algorithms and programs Image processing, optimal control, nilpotent approximation
Просмотров: 10680

◄ ← Предыдущая | 1 | 2 | 3 | 4 | 5 | Следующая → ►