Показатели качества и повышение надежности программных систем
Правильная ссылка на статью:
В.С. Князьков, Т.В. Волченская
Марковские модели для оценки эффективности параллельных вычислений
// Программные системы и вычислительные методы.
2013. № 1.
С. 10-27.
URL: https://nbpublish.com/library_read_article.php?id=62445
Аннотация:
В статье рассматривается иерархический подход к анализу сложности реализации параллельных вычислительных процессов. Вводятся понятия элементарных однородных и элементарных неоднородных вычислительных процессов, на основе которых строится анализ неоднородных ветвящихся параллельных и гетерогенных вычислительных процессов (ВП). Показано, что сложные параллельные и гетерогенные ВП представимы в виде дискретных Марковских процессов специального вида. Предложен подход, позволяющий преобразовывать такие процессы к классическим дискретным Марковским процессам с последовательной сменой состояний.
Ключевые слова:
Программное обеспечение, эффективность, параллельные вычисления, вычислительные процессы, вычислительные структуры, марковские модели, организация вычислений, конвейерные вычисления, вычисления с параллелизмом объектов, оптимизация вычислений
Abstract:
the article discusses a hierarchical approach to the analysis of the complexity of parallel
computing process implementation. The authors introduce the concept of elementary homogeneous
and elementary heterogeneous computational processes on which the analysis of
the heterogeneous branching parallel processes and heterogeneous computational processes
is based. The article shows that complex parallel process and heterogeneous computational
processes can be represented in the form of discrete Markov processes of a special type. This
approach allows to transform such processes to a classical discrete Markov processes with a
consecutive change of states.
Keywords:
Software, efficiency, parallel computations, computing, computational structures, Markov models, organization of computations, conveyor computations, computations with parallel objects, optimization of computations
Показатели качества и повышение надежности программных систем
Правильная ссылка на статью:
Е.С. Кубашева, А.Г. Гаврилов
Методика оценки качества веб-приложений
// Программные системы и вычислительные методы.
2013. № 1.
С. 28-34.
URL: https://nbpublish.com/library_read_article.php?id=62446
Аннотация:
В статье предложена методика оценки качества веб-сайтов. Особенностью методики является то, что она основана на требованиях государственного стандарта и содержит большее число оцениваемых характеристик, по сравнению с аналогичными. Кроме того, предложенная методика позволяет оценивать как весь веб-проект целиком, так и работать отдельно с его элементами (страницами, разделами). Анализ и оценка качества разрабатываемых программных продуктов (сайтов) столь же необходимы, как контроль за организацией труда и качеством выпускаемой продукции на промышленном предприятии. Это особенно актуально в условиях современных рыночных отношении, т.к. очевидно, что стоимость проекта во многом будет определяться его качеством.
Ключевые слова:
Программное обеспечение, Качество, программное обеспечение, разработка веб-сайтов, программный продукт, метрики, методика, стандарт, скрипт, дизайн-макет
Abstract:
the article offers a methodology for the websites quality evaluation. The key feature of
this methodology is that it is based on the governmental standard requirements and it contains
more quality characteristics than other methodologies. Additionally, the proposed methodology
allows to evaluate a web-project in its entirety, as well as to work on its separate parts (i.e.
pages, sections).
Keywords:
Software, quality, web-development, metrics, methodology, standard, script, design layout
Модели и методы управления информационной безопасностью
Правильная ссылка на статью:
А.Г. Коробейников, С.С. Кувшинов, С.Ю. Блинов, А.В. Лейман, И.М. Кутузов
Генерация цифровых водяных знаков в графических файлах
// Программные системы и вычислительные методы.
2013. № 1.
С. 35-44.
URL: https://nbpublish.com/library_read_article.php?id=62447
Аннотация:
Представлена задача создания цифровых водяных знаков (ЦВЗ) для графических файлов. Проанализированы основные свойства и требования предъявляемые к ЦВЗ. Представлена математическая модель генерации ЦВЗ. Представлена математическая модель работы «жесткого» и «мягкого» стегодетектора. Проанализирован алгоритм внедрения сообщений. Предложено применение разработанного стеганоалгоритма для решения задачи проверки авторского права на конкретный файл мультимедиа.
Ключевые слова:
Программное обеспечение, ЦВЗ, форматные методы, стеганоалгоритмы пространственной области, стеганоалгоритмы области преобразования, мультимедиа, медиа-пространство, авторское право, защита авторскихе прав, межформатные преобразования
Abstract:
the article presents a problem of creating digital watermarks for image files. The authors
analyze the main characteristics and requirements to the digital watermarks, introduces a mathematical model of digital watermark generation for “hard” and “soft” stegodetectors. The
article analyses the algorithm of message implementation and it proposes the application of the
described stego algorithm for solving the problem of copyright check to a specific multimedia file.
Keywords:
Software, digital watermarks, format methods, steganos algorithms of spatial area, steganos algorithms of the field of transformation, multimedia, media space, copyright, copyright protection, inter-format conversation
Автоматизированные системы управления технологическими процессами
Правильная ссылка на статью:
А.Г. Коробейников, Н.Г. Птицына, В.С. Исмагилов, Ю.А. Копытенко
Вычисление топологии магнитного поля в электромобиле с использованием фазово-градиентного метода
// Программные системы и вычислительные методы.
2013. № 1.
С. 45-55.
URL: https://nbpublish.com/library_read_article.php?id=62448
Аннотация:
Электрификация дорожного транспорта является в настоящее время приоритетным направлением развития науки, технологий и техники. Это связано со многими факторами и рисками как то: изменение климата, здоровье населения, зависимость от энергии, а также стоимость исходных материалов. При эксплуатации электромобилей и гибридных автомобилей необходим контроль магнитного поля в реальном масштабе времени, например, для пожарной и электромагнитной безопасности. В работе представлен разработанный метод измерения магнитных полей на борту электрического автомобиля с учетом специфики этих полей. Метод опирается на дифференциальные методы измерения и минимизирует количество магнитометрических датчиков.
Ключевые слова:
Программное обеспечение, электромобиль, магнитное поле, электромагнитная безопасность, измерение магнитного поля, фазово-градиентный метод, дифференциальные методы измерения, дорожный транспорт, экология, здоровье
Abstract:
electrification of the read transport now days a priority in the development of science,
technology and engineering due to the many factors and risks such as climate change, health
of the people, energy dependence, cost of the raw materials. When operating the electric and
hybrid vehicles it is important to control the magnetic field in real time, for example, for fire and
electromagnetic safety. This article presents a developed method of magnetic field measurement
on board of the electric vehicle with consideration of the specific of these fields. The method is
based on the differential methods of measurement and minimizes the quantity of magnetometric
sensors.
Keywords:
Software, electric vehicle, magnetic field, electromagnetic safety, measurement of the magnetic field, phase-gradient method, differential measurement methods, road transport, ecology, health
Базы знаний, интеллектуальные системы, экспертные системы, системы поддержки принятия решений
Правильная ссылка на статью:
Н.А. Гулякина, И.Т. Давыденко, Д.В. Шункевич
Методика проектирования семантической модели интеллектуальной справочной системы, основанная на семантических сетях
// Программные системы и вычислительные методы.
2013. № 1.
С. 56-68.
URL: https://nbpublish.com/library_read_article.php?id=62449
Аннотация:
В работе рассматривается методика проектирования семантических моделей одного из важнейших классов интеллектуальных систем – интеллектуальных справочных систем. Методика основывается на применении семантических сетей при кодировании информации, хранящейся в базе знаний. В основе данной методики лежат два принципа: принцип эволюционного проектирования и принцип коллективного проектирования. Отличительной особенностью такого похода к проектированию интеллектуальных систем является наличие на каждом этапе проектирования реально работающего прототипа системы, что значительно ускоряет введение разрабатываемой системы в эксплуатацию, как для тестирования, так и для конечных пользователей, а также существенное увеличение ее жизненного цикла.
Ключевые слова:
Программное обеспечение, Методика, Проектирование, Система, Знания, Семантика, Искусственный интеллект, Модель, Компонент, Предметная область
Abstract:
this article considers the methodology of semantic models designing for one of the
most important classes of intellectual systems – intellectual reference system. The methodology
is based on use of semantic networks for encoding the information stored in knowledge base.
The method is built on two principles: the principle of evolutionary design and the principle of
collective design. A distinctive feature of this approach in designing intellectual systems is that
at the each step of the designing process a working prototype of the system is available, which
speeds up putting the developed system in operation both for testing and end-users and significantly increases the life cycle of the product.
Keywords:
Software, methodology, design, system, knowledge, semantics, artificial intelligence, model, component, subject field
Базы знаний, интеллектуальные системы, экспертные системы, системы поддержки принятия решений
Правильная ссылка на статью:
А.С. Катасёв, Л.Ю. Емалетдинова
Нечетко-продукционная каскадная модель диагностики состояния сложного объекта
// Программные системы и вычислительные методы.
2013. № 1.
С. 69-81.
URL: https://nbpublish.com/library_read_article.php?id=62450
Аннотация:
В данной работе для повышения эффективности использования экспертных диагностических систем в социальных и технических предметных областях актуализируется необходимость разработки новой модели представления знаний. Предлагается нечетко-продукционная модель, позволяющая производить описание закономерностей предметной области на множестве разнотипных данных, представленных как в четких, так и нечетких шкалах. Разрабатывается методика группировки параметров, описывающих объект диагностики, для построения каскада параметров в соответствие с этапами диагностического процесса. На базе предложенных модели и методики строится каскад продукционных правил, позволяющих диагностировать состояние сложного объекта. Описывается алгоритм логического вывода на каскаде правил. На примере решения задачи медицинской диагностики показывается эффективность предложенного в работе подхода. Ставятся задачи перспективных исследований.
Ключевые слова:
Программное обеспечение, нечеткий, продукция, модель, диагностика, знания, эксперт, система, принятие, решение
Abstract:
the article emphasizes the need for a new knowledge representation model for increasing
the efficiency of the expert diagnostic systems in social and technical fields of study.
The authors present a fuzzy-production model, which allows the rules of the field of study to be
described on a set of data of different types, represented both in clear and fuzzy scales. The authors
develop a methodology of grouping the parameters, describing the object of diagnostics,
to construct the cascade of parameters in accordance with the stages of the diagnostic process.
The cascade of production rules is build upon the base of given model and method allowing to
diagnose the state of a complex object. The authors describe the algorithm of a logical conclusion
on the cascade of rules. On the solution of the medical diagnosis problem the author shows
the effectiveness of the proposed approach, poses the problem of the future studies.
Keywords:
Software, fuzzy, model, diagnostics, knowledge, expert, system, acceptance, decision
Базы знаний, интеллектуальные системы, экспертные системы, системы поддержки принятия решений
Правильная ссылка на статью:
В.В. Голенков, Д.В. Шункевич, И.Т. Давыденко
Cемантическая технология проектирования интеллектуальных решателей задач на основе агентно-ориентированного подхода
// Программные системы и вычислительные методы.
2013. № 1.
С. 82-94.
URL: https://nbpublish.com/library_read_article.php?id=62451
Аннотация:
В работе приводится описание открытой семантической технологии проектирования интеллектуальных решателей задач. Отдельное внимание уделяется методике проектирования решателей и операций, являющихся составными частями таких решателей. Технология представляет собой многоуровневую систему, каждый уровень которой отвечает за выполнение определенных функций в процессе решения конкретной задачи. На каждом из уровней функционируют агенты определенного назначения, за оптимизацию деятельности которых отвечает присутствующий на каждом из уровней агент-супервизор. В работе приводятся описания алгоритмов работы агентов-супервизоров, а также принципы организации системы подобного рода в целом
Ключевые слова:
Программное обеспечение, интеллектуальная система, интеллектуальный решатель задач, логический вывод, семантика, агент, супервизор, иерархическая структура, алгоритм, технология
Abstract:
the authors describe the open semantic technology of designing intellectual problem
solvers. Special attention is given to the method of designing solvers and operations, which
composes these solvers. The technology is a multilevel system and each level is responsible
for specific functions during the problem solving. The special purposes agents function at each
level and each level contains a supervisor agent responsible for the agents’ work optimization.
The article shows a description of the supervisor agents’ algorithms and the principles of the
organization of such systems in the whole.
Keywords:
Software, intellectual system, intellectual problem solver, logical conclusion, semantics, agent, supervisor, hierarchical structure, algorithm, technology
Виртуальные миры и системы виртуальной реальности
Правильная ссылка на статью:
М.Е. Рыженков
Редактирование трехмерного образовательного контента
// Программные системы и вычислительные методы.
2013. № 1.
С. 95-105.
URL: https://nbpublish.com/library_read_article.php?id=62452
Аннотация:
3D-записи занятий – мощное средство для обучения в виртуальных мирах. Однако как и видеозапись занятия, 3D-запись должна быть отредактирована преподавателем, чтобы превратиться в образовательный контент высокого качества. 3D-запись в отличие от видеопотока представляет собой сложную последовательность смены синхронизируемых свойств, привязанных к временным отсчетам относительно начала занятия. Для возможности редактирования 3D-записи требуется решить ряд технических задач, связанных с размером исходных данных, удалением ненужных ресурсов, скоростью воспроизведения отредактированной записи и размером сетевых пакетов. Этим вопросам и посвящана эта статья.
Ключевые слова:
Программное обеспечение, 3d-контент, редактирование контента, виртуальные миры, 3d-запись, обучение, синхронизация, мультимедиа, ресурсы, колекция
Abstract:
3D-record of a lesson is a powerful tool for education in virtual worlds. However,
as with the video records, the 3D-record needs to be edited by the teacher to turn into a high-quality educational content. As opposed to a video stream a 3D-record is a complex sequence
of changes of synchronized properties bound to the timeline that starts from the beginning of
the lesson. 3D-record editing capabilities require solving number of technical problems related
to the size of the original data, removing unnecessary resources, speed of the record replay and
the size of the network packages. The article is devoted to these issues.
Keywords:
Software, 3d-content, editing, virtual worlds, 3d-record, education, synchronization, multimedia, resources, collection
Компьютерная графика, обработка изображений и распознавание образов
Правильная ссылка на статью:
Ю.А. Ипатов, А.В. Кревецкий
Обнаружение текстурных переходов на изображениях препаратов клеточной структуры древесины
// Программные системы и вычислительные методы.
2013. № 1.
С. 106-115.
URL: https://nbpublish.com/library_read_article.php?id=62453
Аннотация:
Создание автоматизированных системам в области биотехнологий является важной областью научно-технических исследований и разработок. Решение проблемы объективности измерений, точности и временных ограничений при проведении анализа цифровых изображений препаратор древесины, является целью работы. Разработан алгоритм обнаружения границ перехода ранней и поздней древесины на цифровых изображениях, оптимальный по критерию максимального правдоподобия. Создана аппаратно-программная система, выполняющая синтезированный алгоритм на базе методов распознавания и анализа цифровых изображений клеточной структуры древесины, позволяет минимизировать трудоемкие операции выполняемых, оператором и повышает качество проводимых работ. Получены и проанализированы характеристики работы созданного комплекса для реальных цифровых изображений. Результаты созданной работы могут быть использованы при проведении инженерных и научных исследований в области лесного хозяйства для повышения их достоверности и производительности.
Ключевые слова:
программное обеспечение, анализ изображений, текстурные границы, согласованная фильтрация, обнаружение границ, программный комплекс, биотехнологии, распознавание образов, синтез алгоритмов, цифровая обработка
Abstract:
creation of the automated systems in the field of biotechnologies is an important
area of scientific and technological research and development. Solving the problem of
objective measurements, accuracy and time limits during the analysis of the images of
wood samples is the main purpose of this work. The article presents the algorithm of detecting
the texture transition border in the early and late wood on digital images optimal
by the criteria of likelihood maximum. The author describes a hardware and software
system that runs the synthesized algorithm on the base of methods of recognition and
analysis of the images of the wood cellular structure, which minimizes time-consuming
operations and improves the result quality. The article shows and analyzes the characteristics
of the work of the developed software for real digital images. The results of this
work can be used for engineering and scientific researches in the field of forestry to improve
their reliability and performance.
Keywords:
Software, image analysis, texture boarders, coordinated filtration, borders detection, software, biotechnologies, image recognition, algorithm synthesis, digital processing
Компьютерная графика, обработка изображений и распознавание образов
Правильная ссылка на статью:
А.Ю. Сморкалов
Математическая и программная модели генерации текстур на графических потоковых процессорах
// Программные системы и вычислительные методы.
2013. № 1.
С. 116-128.
URL: https://nbpublish.com/library_read_article.php?id=62454
Аннотация:
В статье предлагаются обобщенные математическая и программная модели генерации статических и динамических текстур на потоковых процессорах. Математическая модель позволяет оценить эффективность различных подходов к генерации текстур. Предложенная методика обеспечивает высокую производительность за счет возможности выбора оптимального метода генерации и позволяет генерировать не только предопределенные разработчиком динамические текстуры, но и произвольные динамические текстуры, данные для воспроизведения которых поступают из внешнего источника.
Ключевые слова:
Программное обеспечение, потоковые процессоры, обработка изображений, постэффекты, графические процессоры, вейвлет-преобразование, генерация текстур, статические текстуры, динамические текстуры, процедурные материалы
Abstract:
the article proposes generalized mathematical and software models for static and dynamic
texture generation on the stream processors. The mathematical model allows to evaluate
the efficiency of different approaches to the texture generation. The given methodology provides
high performance due to the ability of choosing the optimal method of texture generation and
can generate not only textures predefined by the developer, but also arbitrary dynamic textures,
displayed according to the incoming external data.
Keywords:
Software, stream processors, image processing, post-effects, graphics processors, wavelet transforms, texture generation, static textures, dynamic textures, procedural materials
Математическое и программное обеспечение новых информационных технологий
Правильная ссылка на статью:
Н.А. Галанина, Д.Д. Дмитриев
Синтез БПФ на ПЛИС с применением системы остаточных классов
// Программные системы и вычислительные методы.
2013. № 1.
С. 129-133.
URL: https://nbpublish.com/library_read_article.php?id=62455
Аннотация:
Наличие у современных ПЛИС DSP-блоков и большого количества портов ввода/вывода позволяет с успехом синтезировать на них алгоритмы цифровой обработки сигналов. Система остаточных классов (СОК) подразумевает многопоточность вычислений и, таким образом, ПЛИС очень хорошо подходят для реализации алгоритмов с ее использованием, поскольку вычисления в каналах СОК происходят параллельно и независимо друг от друга. Известно, что ПЛИС – это микросхема, логика работы которой определяется не при ее создании, а задается посредством программирования в специализированных программных пакетах. Одной из таких сред является Quartus II. Большой интерес для разработчиков спецпроцессоров ЦОС представляет реализация БПФ с использованием СОК на ПЛИС Altera Cyclone II. В предлагаемой статье приведены результаты разработки конфигурационного файла для реализации БПФ в СОК на ПЛИС фирмы Altera Cyclone II в среде разработки Altera Quartus II с примением языка описания аппаратуры Verilog. Описана работа ПЛИС под управлением разработанного файла. Получены временные характеристики и оценены погрешности вычислений.
Ключевые слова:
Программное обеспечение, ПЛИС, система остаточных классов, быстрое преобразование Фурье, дискретное преобразование Фурье, Verilog, Quartus II, конфигурационный файл, модуль СОК, вычет СОК
Abstract:
the presence of the DSP-block and a large number of I/O ports in modern FPGAs
allows to use them for a successful synthesis of the digital signal processing algorithms. The
system of residual classes involves multithreading of computations, thus FPGAs are very well
suited for the implementation of these algorithms, since the computations in the channels of
the system of residual classes are carried out in parallel and independent from each other. It is
known that the FPGA is a microchip, the logic of which is not determined on creation but is set
up by programming in specialized software, such as Quartus II. Developers of the special processors
DSP are highly interested in the realization of FFT using the system of residual classes
on FPGA Altera Cyclone II.
The article shows the results of the development of the conriguration file for realization of FFT
using the system of residual classes on FPGA Altera Cyclone II in the development environment
Altera Quartus II using the Verilog language of the hardware description. The author describes
the FPGA work under the developed configuration file. The article presents timing characteristics
and estimated calculation errors.
Keywords:
Software, FPGA, residual classes system, fast Fourier transformation, discrete Fourier transformation, Verilog, Quartus II, configuration file, residual classes system module, residual classes system deduction