Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№2
Ожидается:
16 Июня 2024
Статьи журнала №4 2011
21. Синтез синтаксисов в создании специализированных языков программирования [№4 за 2011 год]Авторы: Никифоров А.Ю. (netlab@rambler.ru) - Национальный исследовательский ядерный университет «МИФИ», г. Москва; Русаков В.А. (var41@mail.ru) - Национальный исследовательский ядерный университет «МИФИ», г. Москва, кандидат технических наук;
Аннотация: Рассматривается метод синтеза синтаксиса языков программирования как специализированных средств описания заданной предметной области.
Abstract: Syntax synthesis method of programming languages is considered as specialised tools to descript defined application domain.
Ключевые слова: специализированные искусственные языки, технология разработки, языки программирования, синтаксисKeywords: specialized artificial languages, development technology, programming languages, syntax
Просмотров: 9972
22. Программный комплекс поддержки жизненного цикла пространственно-распределенных систем [№4 за 2011 год]
Авторы: Веселовский А.М. (veselovski@yandex.ru) - Пензенская государственная технологическая академия; Каряжкин А.А. (karyazhkin@ya.ru) - Пензенская государственная технологическая академия; Пикулин В.В. (pvv@pgta.ru) - Пензенская государственная технологическая академия, кандидат технических наук;
Аннотация: Рассматриваются вопросы организации комплекса программных средств, обеспечивающих поддержку жизнен-ного цикла пространственно-распределенных систем, включая процедуры формирования и оценивания многовари-антных проектных решений. Определены этапы жизненного цикла систем, разработаны схемы информационной поддержки и алгоритмы решения ряда задач.
Abstract: Questions of the organization of a complex of the software providing support life cycle spatially-distributed systems, including procedures of formation and estimation of multiple design decisions are considered, and also stages of life cycle of systems, schemes of information support and algorithms of the decision of tasks in view are defined.
Ключевые слова: програм- мный комплекс, жизненный цикл, охранные системы, пространственно-распределенные системыKeywords: , life cycle, security systems, the spatially-distributed systems
Просмотров: 9716
23. Представление графов и неориентированных гиперграфов с ограничениями в реляционной базе данных [№4 за 2011 год]
Авторы: Мокрозуб В.Г. (mokrozubv@yandex.ru) - Тамбовский государственный технический университет, кандидат технических наук; Немтинов В.А. (nemtinov@mail.gaps.tstu.ru) - Тамбовский государственный технический университет, доктор технических наук; Лагутин Д.А. (teotrall@mail.ru) - Тамбовский государственный технический университет;
Аннотация: Предложен способ формального математического описания графов и гиперграфов с ограничениями в форме, удобной для их представления в реляционной БД, отличающийся тем, что в описание графа вводятся ограничения, представленные в терминах теории множеств. Предложена структура реляционной БД, позволяющая описывать графы и неориентированные гиперграфы с ограничениями. Выполнение ограничений обеспечивается ссылочной и доменной целостностью базы.
Abstract: Describes a method of formal mathematical descriptions of graphs and hypergraphs with constraints in the form suitable for submission to the relational database, wherein the description in the graph is being restricted, represented in terms of set theory. Described the structure of a relational database, which allows to describe graphs and undirected hypergraphs with restrictions. Implementation of the restrictions provided referential and domain integrity of the database.
Ключевые слова: операции добавления и удаления, ссылочная и доменная целостность, реляционная бд, ограничения, гиперграф, графKeywords: adding and deletion, referential and domain integrity, relational database, contingencies, hypergraph, graph
Просмотров: 45707
24. Обработка ошибок реляционных баз данных [№4 за 2011 год]
Авторы: Лихачёв В.Н. (lvlad@rambler.ru) - Калужский университет им. К.Э. Циолковского, кандидат педагогических наук;
Аннотация: Описывается универсальный метод формирования информативных сообщений об ошибках реляционных БД, вы-званных их ограничениями. Метод основан на анализе структуры БД, применим к различным реляционным БД и может использоваться как на стороне сервера БД, так и в клиентских приложениях.
Abstract: The article considers the opportunities of forming the informative messages for errors of relational databases. The work is based on the analysis of databases structure. The questions considered in the article can be applied to different relational databases.
Ключевые слова: сообщения об ошибках, обработка ошибок, базы данныхKeywords: error messages, error handling, database
Просмотров: 9918
25. Методы обобщающей кластеризации при анализе социальных сетей [№4 за 2011 год]
Автор: Сивоголовко Е.В. (efecca@gmail.com) - Санкт-Петербургский государственный университет;
Аннотация: Описаны результаты анализа социальных сетей с использованием комбинации различных методов кластериза-ции для получения наиболее полной кластерной структуры, которая в дальнейшем будет использоваться для более сложного анализа сети.
Abstract: In our social network analysis project we use combined clustering techniques in order to obtain meaningful clustering structure, which could be use as a base for different analysis methodologies.
Ключевые слова: оценка качества кластеризации, обобщающая кластеризация, анализ социальных сетейKeywords: cluster validity, clustering, social network
Просмотров: 12990
26. Программирование задач на графах ограниченной древовидной ширины [№4 за 2011 год]
Авторы: Быкова В.В. (bykvalen@mail.ru) - Сибирский Федеральный университет (профессор), доктор физико-математических наук;
Аннотация: Рассматривается современный подход к разработке эффективных алгоритмов решения оптимизационных задач на графах ограниченной древовидной ширины. Подход основан на динамическом программировании с использо- ванием дерева декомпозиции графа. В рамках этого подхода предлагается точный алгоритм решения задачи о вер-шинном покрытии. Применяется преобразование дерева декомпозиции, позволяющее сократить размер таблиц ди-намического программирования. Алгоритм излагается с помощью языка реляционной алгебры. Время выполнения алгоритма линейно зависит от числа вершин и экспоненциально от древовидной ширины исходного графа.
Abstract: We present the modern approach to development of efficient algorithms for solving optimization problems on graphs of bounded treewidth. This approach is based on dynamic programming using a tree decomposition of the graph. According to this approach we propose an exact algorithm for solving the VERTEX COVER problem. We apply the transformation of the tree decomposition which reduces the size of dynamic programming tables. In describing the algorithm, we use the language of relational algebra. Algorithm execution time depends linearly on the number of vertices and depends exponentially on the treewidth the original graph.
Ключевые слова: реляционная алгебра, вершинное покрытие, динамическое программирование, дерево декомпозиции, алгоритмы на графахKeywords: relational algebra, dynamic programming, dynamic programming, tree decomposition, graph algorithms
Просмотров: 11122
27. Тестирование программ с использованием генетических алгоритмов [№4 за 2011 год]
Авторы: Мельникова В.В. (viklipse@mail.ru) - Тверской государственный технический университет, Аспирант ; Котов С.Л. (info@gicpsvt.ru) - Главный испытательный сертификационный центр безопасности программных средств и вычислительной техники (доцент, директор), кандидат экономических наук; Палюх Б.В. (pboris@tstu.tver.ru) - Тверской государственный технический университет (профессор), доктор технических наук; Проскуряков М.А. (gic@tvcom.ru) - Главный испытательный сертификационный центр программных средств вычислительной техники;
Аннотация: В статье рассматриваются проблемы проведения сертификационного тестирования постоянно обновляющихся программных средств. Предложен подход к построению тестовой базы с использованием генетических алгоритмов.
Abstract: The problems of carrying out of certification test frequently updated software tools are considered in the article. The main idea of the article is the construction of test base with a genetic algorithm.
Ключевые слова: метрики тестового покрытия, генетические алгоритмы, автоматизированная тестовая база, сертификационное тестированиеKeywords: metrics of test covering, genetic algorithm, automated test base, certification test
Просмотров: 13361
28. Библиотека для поиска сайтов связывания с транскрипционными факторами [№4 за 2011 год]
Авторы: Горохов Н.А. (evgeny.cheryomushkin@gmail.com) - ООО «Новые вычислительные системы в биологии», г. Новосибирск; Черемушкин Е.С. (evgeny.cheryomushkin@gmail.com) - Институт систем информатики им. А.П. Ершова СО РАН; компания «Новые вычислительные системы в биологии» (научный сотрудник), кандидат физико-математических наук; Парыгин С.В. (evgeny.cheryomushkin@gmail.com) - ООО «Новые вычислительные системы в биологии», г. Новосибирск; Стейгмайер Ф. (evgeny.cheryomushkin@gmail.com) - Biobase GmbH, Germany, г. Вольфенбюттель, доктор ;
Аннотация: Описывается разработанная авторами библиотека для поиска сайтов связывания с транскрипционными факторами (специфических фрагментов на ДНК, куда закрепляются регуляторные белки, называемые транскрипционными факторами). Она состоит из трех алгоритмов поиска: прямого поиска, поиска с использованием перестановок и за-глядывания вперед и суффиксных массивов. Библиотека ориентирована на большие объемы информации и позволя-ет производить поиск на последовательностях геномного масштаба с библиотекой из нескольких тысяч матриц.
Abstract: We developed library for searching transcription factor binding sites (specific fragments on DNA, where regulatory proteins binds. Those proteins are called transcription factors). Library consists of three search algorithms: direct search, permutation lookahead search and suffix arrays. Library is oriented on large scale information and allows performing search on genomic scale sequences with several thousand weight matrices.
Ключевые слова: программная система, днк, геном, суффиксные массивы, сайты связывания с транскрипционными факторами, весовые матрицыKeywords: software system, DNA, genome, metrics of test covering, transcription factor binding site, positional weight matrix
Просмотров: 14103
29. Применение мультиспектральной сегментации для анализа состояния растений по данным видеорегистратора [№4 за 2011 год]
Авторы: Зотин А.Г. (zotinkrs@gmail.com) - Сибирский государственный аэрокосмический университет им. акад. М.Ф. Решетнева, г. Красноярск (доцент), кандидат технических наук; Золотарева Е.Ю. (umka.82@mail.ru) - Сибирский государственный аэрокосмический университет им. акад. М.Ф. Решетнева, г. Красноярск;
Аннотация: Рассматривается применение мультиспектральной сегментации для анализа состояния растений. Предложен ме-тод выполнения мультиспектральной сегментации на основе модифицированной пороговой сегментации с использо-ванием нескольких цветовых моделей. Описана система, использующая предложенные методы и алгоритмы. Рас-смотрены различные пути повышения быстродействия работы системы.
Abstract: In the article the question of applying a multispectral segmentation for the analysis of the plants images is discussed. We propose a method of performing a multispectral segmentation based on modified threshold segmentation, using several color models. The ways of performance improvement of the system, which uses the proposed methods and algorithms, are described. The results of the experiments are presented.
Ключевые слова: локализация растений, сегментация изображений, цветовые модели, анализ изображений, анализ видеоданныхKeywords: image segmentation, image segmentation, color models, image analysis, video analysis
Просмотров: 10600
30. Программная система реструктуризации группы предприятий электроэнергетики [№4 за 2011 год]
Автор: Горячёв В.А. (GoryachevVA@tvercomsys.ru) - Тверской государственный технический университет;
Аннотация: Предлагается метод формирования оптимального порядка проведения технического перевооружения группы предприятий электроэнергетики. Для реализации данного метода используется специально разработанный про-граммный продукт.
Abstract: We propose a method of forming the optimal order of the technical re-equipment of power companies. To implement this method uses a specially developed software.
Ключевые слова: программа, оптимизация, электроэнергетическое предприятие, техническое перевооружение, методKeywords: software, optimisation, electricity companies, technical upgrading, the method
Просмотров: 9959
◄ ← Предыдущая | 1 | 2 | 3 | 4 | 5 | 6 | Следующая → ►
