Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№4
Ожидается:
09 Декабря 2024
Статьи журнала №2 2010
1. Математическая модель контролируемого выполнения [№2 за 2010 год]Авторы: Шмырев Н.В. (shmyrev@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН), г. Москва, кандидат физико-математических наук;
Аннотация: Описание сложной информационной системы требует наличия формализма, позволяющего описывать объекты системы и их взаимодействие, унифицировать подходы к вычислениям. В статье представлена модель вычислений, описывающая основные аспекты контролируемого выполнения распределенных ответственных приложений реального времени.
Abstract: Formal description of a complex information systems should be able to describe the objects of a system and their interaction and should unify approaches to the description of calculations. In this article the model of the calculations describing the main aspects of controlled execution of distributed reliable realtime applications is presented
Ключевые слова: системы реального времени, распределенные системы, контролируемое выполнениеKeywords: realtime systems, distributed systems, controlled execution
Просмотров: 10661
2. Программирование, ориентированное на мониторинг, в контексте контролируемого выполнения [№2 за 2010 год]
Авторы: Галатенко В.А. (galat@niisi.msk.ru) - НИИСИ РАН, г. Москва (зав. сектором автоматизации программирования), кандидат физико-математических наук; Костюхин К.А. (kost@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН) (старший научный сотрудник), кандидат физико-математических наук; Шмырев Н.В. (shmyrev@niisi.msk.ru) - Научно-исследовательский институт системных исследований РАН (НИИСИ РАН), г. Москва, кандидат физико-математических наук;
Аннотация: Формальные методы верификации программ, основанные на статической проверке соответствия модели, дока-зательстве теорем, статическом анализе, не позволяют в полной мере решать задачи, связанные с контролем количе-ственных характеристик выполнения приложений. В статье предлагается подход, включающий как статический анализ программного кода на соответствие модели, так и динамическую верификацию программы в ходе ее выполнения.
Abstract: Formal methods of verification based on static code analysis, theorem proving and model verification do not describe quantitative characteristics of applications. This article presents the novel approach including the static analysis of a program code, model validation and dynamic verification of the program properties during runtime
Ключевые слова: распределенные системы, мониторинг, контролируемое выполнениеKeywords: distributed systems, the automated information system, controlled execution
Просмотров: 12624
3. Анализ отказоустойчивости параллельных кольцевых вычислительных систем [№2 за 2010 год]
Авторы: Коганов А.В. (koganow@niisi.msk.ru) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Сазонов А.Н. (sazonov@rg.ru) - ООО «Дойчебанк», г. Москва;
Аннотация: Вводятся понятия модели кольцевой вычислительной системы (КлВС), представленной в виде ненаправленного кольцевого раскрашенного графа, а также набора одинаковых кольцевых моделей (НКлВС). В качестве модели задачи для НКлВС используется задача, граф которой полностью совпадает с графом КлВС. Исследуется возможность выполнения задачи на разрушенной КлВС, а также ее зависимость от количества цветов в графе и длины кольца. Методом имитационного моделирования исследуется зависимость наработки НКлВС от параметров графа КлВС и закона роста НКлВС.
Abstract: It inputted the notion of circular computing system model (CCS) (which represented in form non-orienteering circular coloring graph) and set of several identical that models (SCCS). Model of task for SCCS defined haw graph which is identical model of CCS. Destruction of CCS mean a selection any own subgraph in model (DCCS), and mending DCCS is addition of any vertexes and-or edges from CCS/DCCS. Failure of SCCS is inability to find isomorphic image of task model in any DCCS on SCCS. It is researching the possible of task entering on DSSC and depending that on color number and ring long. It is reasserting the depending mean time of first failure SCCS on parameters of graph CCS and increase low of SCCS by imitation modeling method
Ключевые слова: дублирование, наработка на отказ, вычислительные системыKeywords: dual system, mean time of first failure, computing system
Просмотров: 10641
4. Развитие системы стохастического тестирования микропроцессоров INTEG [№2 за 2010 год]
Авторы: Грибков И.В. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Захаров А.В. (zaharov@niisi.msk.ru) - НИИСИ РАН, г. Москва; Коганов М.А. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва; Кольцов П.П. (koltsov@niisi.msk.ru) - НИИСИ РАН, г. Москва, доктор технических наук; Котович Н.В. (kotovich@niisi.msk.ru) - НИИСИ РАН, г. Москва; Кравченко А.А. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Куцаев А.С. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Осипов А.С. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва, кандидат физико-математических наук; Хисамбеев И.Ш. (osipa68@yahoo.com) - НИИСИ РАН, г. Москва;
Аннотация: Случайное тестирование является одним из наиболее мощных средств верификации проектов микропроцессоров. Для упрощения генерации случайных тестов и создания инструмента для тестирования процессоров архитектуры MIPS64 была создана система INTEG. После ее использования на протяжении нескольких лет проводилась глубокая модернизация INTEG, результатом которой стал программный комплекс INTEG2. В статье рассматриваются основные своиства и компоненты как INTEG, так и INTEG2, описываются их сходство и различие. Также приводятся некоторые направления дальнейшего развития INTEG2.
Abstract: Stochastic testing is one of the most powerful tools for verification of microprocessor design. To simplify the generation of random tests and to create a tool for testing processors of the MIPS64 architecture, the system named INTEG has been developed. After its use for several years, a deep modernization of INTEG has been carried out, resulting in the program complex INTEG2. In the paper the main features of both INTEG and INTEG2, as well as their similarities and dissimilarities, are considered. Also some directions for further development of INTEG2 are finally addressed
Ключевые слова: генерация случайных тестов, rtl-модель, MIPS64, случайное тестирование, верификацияKeywords: random test generation, RTL model, MIPS64, stochastic testing, verification
Просмотров: 13703
5. Реализация стереорежима для различных устройств отображения в реальном времени [№2 за 2010 год]
Авторы: Торгашев М.А. (mtorg@mail.ru) - НИИСИ РАН, г. Москва, кандидат физико-математических наук;
Аннотация: В статье подробно рассматриваются алгоритмы реализации в реальном времени стереорежима в различных форматах, используемых в устройствах стереоотображения. В число рассмотренных систем и технологий стерео-отображения входят системы с анаглифическими, а также с затворными очками, поляризационные проекционные системы, мониторы с чересстрочной стереотехнологией и автостереоскопические мониторы Philips 3D Solutions.
Abstract: Algorithms of realization of a stereo mode in a real time for the various formats used in different devices of stereo visualization are in detail considered. The number of considered systems and technologies of stereo visualization includes anaglyph systems, shutter-glasses systems, polarizing projective systems, monitors with interlaced technology of stereo and autostereoscopic monitors Philips 3D Solutions
Ключевые слова: стереоформаты, алгоритмы трехмерной визуализации в реальном режиме времени, технологии стереоскопического отображения, стереорежимKeywords: stereo formats, algorithms of 3D visualization in a real-time mode, technologies of stereoscopic display, stereo mode
Просмотров: 11646
6. Моделирование трехмерных температурных полей в электронных модулях [№2 за 2010 год]
Авторы: Мадера А.Г. (alexmadera@mail.ru) - НИИСИ РАН (профессор, зав. отделом), доктор технических наук; Кандалов П.И. (petrki87@gmail.com) - НИИСИ РАН (зам. зав. отделом);
Аннотация: Статья посвящена методу математического и компьютерного моделирования трехмерных температурных полей в сложных конструкциях реальных электронных модулей, содержащих многослойную печатную плату и установленные на ней интегральные микросхемы и электрорадиоэлементы. Метод моделирования реализован в виде программного пакета для персональных компьютеров, доведенного до уровня пользователя.
Abstract: The article is dedicated to a method of mathematical and computer modeling of three-dimensional temperature fields in complex design of the real electronic modules, containing multilayer printed circuit board, installed integrated circuits and electroradio elements. The method is made as the program for personal computer
Ключевые слова: температурное поле, программный комплекс, математическое моделирование, электронный модульKeywords: a tempering, software package, mathematical and computer modeling, electronic module
Просмотров: 14898
7. Растущие индукторные пространства и анализ параллельных алгоритмов [№2 за 2010 год]
Авторы: Коганов А.В. (koganow@niisi.msk.ru) - НИИСИ РАН, г. Москва, кандидат физико-математических наук;
Аннотация: Вводятся критерии эффективности использования параллельных алгоритмов при расчете логических и матема-тических функций. Для анализа этих критериев предлагается аппарат растущих индукторных пространств. Подробно рассмотрены две задачи с эффективной и малоэффективной параллельностью алгоритмов.
Abstract: It defined the criterions of effectively for using of parallel algorithms in computing of logical and mathematical functions. The apparatus of increasing inductor spaces suggested for analyze of that criterions. It considered narrow two tasks with effectively and small effectively paralleling of algorithms.
Ключевые слова: тесты, вычисления, эффективность, параллельность, алгоритмыKeywords: testes, calculation, effectively, parallelism, algorithms
Просмотров: 10629
8. Метод определения размытости контуров на цифровых изображениях [№2 за 2010 год]
Авторы: Кольцов П.П. (koltsov@niisi.msk.ru) - НИИСИ РАН, г. Москва, доктор технических наук;
Аннотация: В работе предлагается метод оценки размытости изображения без привлечения априорной информации об усло-виях получения этого изображения. Метод основан на применении предложенного ранее оператора выделения линий, суть которого состоит в локальной аппроксимации фрагментов оцифрованного изображения другой, более простой функцией. Аппроксимация выполняется в окнах, форма которых приближена к круглой. В качестве простой функции берется ступенчатая.
Abstract: The paper submits image blur estimation method, which is not based on a priori information on external conditions for image taking. The method based on previously introduced edge detector operator. This operator produces local approximation of the digital image’s fragments by some more easy function. The approximation is made with a step-form function in the round-form windows.
Ключевые слова: искажение, яркость, контур, размытость, цифровое изображениеKeywords: distortion, brightness, edge, blur, digital image
Просмотров: 8830
9. Технология автоматизированной защиты информационного обслуживания через Интернет [№2 за 2010 год]
Авторы: Алексеевский М.В. (alemivabol@istranet.ru) - Научно-производственное предприятие Всероссийский научно-исследовательский институт электромеханики, г. Москва, кандидат физико-математических наук;
Аннотация: Рассматривается технология построения автоматизированных информационных систем реального времени и динамического криптографирования информационных ресурсов в масштабе Интернета. Представленная технология существенно опережает по производительности, уровню автоматизации и безопасности известные технологии ин-формационного обслуживания, соблюдаемые в рамках стандарта HTML/XML и концепции сервера приложений.
Abstract: This article is devoted to the technology of construction of the automated information real-time systems on the Internet scale with dynamic encryption of the information resources. The submitted technology essentially outstrips the known technologies of information service, adhering to standard HTML/XML and the concept of application server, in effectivity, throughput, the level of automation and safety.
Ключевые слова: криптографическая защита, интернет, автоматизированная информационная система, субдKeywords: encryption, Internet, automated information system, DBMS
Просмотров: 12727
10. Оценка инновационного потенциала организаций региона на основе гибридных экспертных систем [№2 за 2010 год]
Авторы: Пятковский О.И. (poi1952@mai.ru) - Алтайский государственный технический университет им. И.И. Ползунова, г. Барнаул, доктор технических наук; Тишков О.И. (toi-business@yandex.ru) - Алтайский государственный технический университет им. И.И. Ползунова, г. Барнаул;
Аннотация: В статье рассматриваются вопросы создания моделей и программного обеспечения для определения уровня ин-новационного потенциала организации с применением технологии гибридных экспертных систем и нейронных сетей.
Abstract: The article considers models and architecture of a special software system for determining the level of innovative potential of the organization based on hybrid expert systems technology and neural networks.
Ключевые слова: нейронные сети, гибридные экспертные системы, инновационный потенциалKeywords: neural network, hybrid expert systems, innovative capacity
Просмотров: 15007
| 1 | 2 | 3 | 4 | Следующая → ►
