Е.
Я. Волченков, канд. физ.-мат. наук, независимый эксперт,
г. Москва, yeq-w@yandex.ru,
TS Soft РLUS
Система комбинационной генерации тестов вход/выход: основные
методы и алгоритмы
Описана система комбинационной генерации тестов вход/восход. Предлагается
ряд новых методов или моди-фикаций известных эвристических методов
выделения эффективных подмножеств тестов. Система реализована в
программном комплексе InputSpace TestGenerator.
Ключевые слова: автоматизированное тестирование
программного обеспечения, комбинационная генерация тестов, входное
пространство, многовходовые программные гнезда, входные домены,
комплект опорных тест-значений, совместимость тест-значений, граничные
категории, профили использования, максимально различающаяся случайная
(МРС) выборка, с-арные частичные комбинации, специальные с-МРС-покрытия.
Стр. 41 – 46
Volchenkov E. Ja. System of the Combinatorial
Generation of Test Cases Input/ Output: Base Methods and Algorithms
Article is devoted to the description of system of combinatorial
test generation an input/output. Several new or modifications of
known heuristic methods of selection of effective subsets of test
cases is offered. The system is realized in program complex InputSpace
TestGenerator.
Keywords: the automated testing of the software,
combinatorial test generation, input space, multiport program slots,
input domains, package of reference test values, compatibility of
test values, boundary categories, profiles of usage, as much as
possible differing random (MDPR) sampling, c-ary partial combinations,
special c-MD-PR-coverages.
И.
И. Губайдуллин, аспирант, А. И. Фрид,
д-р техн. наук, проф., Уфимский государственный авиационный технический
университет (УГАТУ), e-mail: ildargubaydullin@mail.ru
Метод экспериментальной оценки надежности программного обеспечения*
Рассмотрен метод оценки надежности программного обеспечения, основанный
на моделированииработы программы в зависимости от законов распределения
исходных данных. Показано применение метода для оценки надежности
программы, реализующей задачу поиска скоростных коэффициентов некоторых
химических реакций.
Ключевые слова: программное обеспечение, программа,
надежность программы, оценка программы, оценка надежности, моделирование
программы.
*Работа поддержана грантом РФФИ № 08-08-00357 "Методы
проектирования отказоустойчивых программно-аппаратных вычислительных
комплексов для систем управления сложными техническими объектами
с использованием средств искусственного интеллекта".
Стр. 47 – 51
Gubaydullin I. I., Frid A. I. Experimental
Method of Software Reliability Estimation
Program reliability estimation method depending on the input data
distribution laws is considered. The method is based on modelling
results of researching program. The method is applicated to reliability
estimation of the program solving the problem of velocity coefficients
foundation for one chemical reaction.
Keywords: reliability, reliability estimation,
program modelling.
А.
О. Левашкина,аспирант, С. В. Поршнев, д-р
техн. наук, зав. каф., Уральский государственный технический университет
Сравнительный анализ супервизорных критериев оценки качества
сегментации изображений Описаны методики сравнительного
анализа супер-визорных критериев оценки качества сегментации изо-бражений.
Приведены результаты сравнительного анализа ряда супервизорных критериев
качества сегментации изображений (FOM, Хаусдорфа (Hausdorff distance),
Баддели (Baddeley's distance), DKu, RMS, RI, GCE, VI), полученные
с использованием изображений из базы университета Беркли. На их
основе сделан обоснованный вывод о том, что для оценки качества
алгоритмов сегментации изображений целесообразно использовать критерии
Dku, GCE, RI RMS.
Приведена методика сравнения алгоритмов сегментации изображений
и результаты сравнения ряда алгоритмов сегментации изображений (Кенни
(Canny), log, zerrocross, Превита (prewitt), Робертса (roberts),
JSEG-алгоритм).
Ключевые слова: сегментация изображения, оценка
качества сегментации, супервизорные критерии.
Стр. 52 – 57
Levashkina A. O., Porshnev S. V. Investigation
of Supervised Criteria for Image Segmentation Result Evaluation
The methodology for comparing of supervised criteria used for image
segmentation results evaluation is described. This methodology is
used for comparing several supervised criteria: FOM, Hausdorff distance,
Bad-deley's distance, DKu, RMS, RI, GCE, VI. In the issue we conclude
that it's worthwhile to use Dku, GCE, RI, RMS criteria for image
segmentation results evaluation. The methodology for comparing of
segmentation algorithms is described. We compare several segmentation
algorithms using described methodology (Canny, Log, Zerrocross,
Prewitt, Roberts, JSEG-algorithm).
Keywords: image segmentation, segmentation evaluation,
supervised criteria.
А. А. Масалович, аспирант,
МГУ им. М. В. Ломоносова, e-mail: anton_m@abbyy.com
Численные методы детектирования и удаления геометрических
искажений в изображениях текстовых документов
Описан метод аппроксимации деформации текстового документа кубическим
патчем Безье, основанный на непрерывном гранично-скелетном представлении
текста. Рассмотрены основные шаги алгоритма: построение непрерывного
гранично-скелетного представления изображения, предобработка скелета,
выделение в скелете ветвей, лежащих между строками текста, итерационный
процесс построения патча Безье на основе аппроксимаций межстрочных
ветвей, распрямление искривленного изображения. Ключевые
слова: распознавание текста, предобработка изображений, распрямление
строк, непрерывное гранично-скелетное представление, внешний скелет,
патч Безье. Стр. 57 – 61
Masalovitch A. A. Numerical Methods for detection
and Correction of Geometrical Waging on Text document Images
This paper attempts to propose a novel technique for approximation
of document image deformation. The whole image warp is estimated
by the means of integration of deformation approximation of each
interlinear space of text. Continuous skeletal representation of
white fields is used to detect interlinear spaces on the image and
to approximate deformation of such spaces. The use of skeletal representation
makes proposed technique stable to local irregularities in the text
lines of the document. For approximation of interlinear spaces deformation
cubic Bezier curves are used. For approximation of whole image warp
2-dimensional cubic Bezier patch is used.
Keywords: text recognition, OCR, image preprocessing,
warped image restoration, continuous border-skeletal representation,
outer skeleton, Bezier patch.
О. Е. Архипова,
канд. техн. наук, ст. науч. сотр., Южный научный центр РАН, Ростов-на-Дону
Концепция региональной эколого - информационной системы мониторинга
Описаны основные принципы создания системы многоуровневого регионально-адаптированного
комплексного мониторинга. В качестве модельного объекта рассматриваются
морские и наземные экосистемы, где представлены разнообразные водные
и земельные комплексы и виды водопользования, а водные ресурсы выступают
одним из лимитирующих факторов социально-экономического развития.
Результат исследования, проводимого в рамках Программы фундаментальных
исследований Отделения наук о Земле РАН, позволит определить пути
стабилизации экологической ситуации, выработать подходы и дать рекомендации
по устойчивой эксплуатации ресурсов в зонах с экстремальными природными
условиями.
Ключевые слова: геоинформационные технологии, геоинформационные
системы, базы данных, базы знаний, база геоданных, система экологического
мониторинга.
Стр. 62 – 67
Arkhipova O. E. The Concept of Regional Ecological
Information System of Monitoring
In clause main principles of creation of system multilevel regional-adapted
complex monitoring are described. As modelling object it is considered
sea and ground ecological system, where various water both ground
complexes and kinds of water use are presented, and water resources
act as one of limiting factors of social and economic development.
The result of the research spent within the limits of the Program
of basic researches of Branch of sciences about the Earth of the
Russian Academy of Science, will allow to define ways of stabilization
of an ecological situation, to develop approaches and to give the
recommendation on steady operation of resources in zones with an
extreme environment.
Keywords: geoinformation technologies, geoinformation
systems (GIS), Databases (DB), Knowledge bases (KB), Base of geodata
(BGD), system of ecological monitoring.
К. И. Бушмелева, канд.
физ.-мат. наук, доц., И. И. Плюснин, директор,
Центр лазерных технологий, Сургутский государственный университет
Автоматизированная геоинформационная система мониторинга
технического состояния магистральных газопроводов
Рассмотрены основные особенности геоинформационной системы мониторинга
состояния магистральных газопроводов, разработанной на базе авиационного
программно-аппаратного диагностического комплекса и используемой
для диагностирования дефектов и обнаружения утечки газа из магистральных
газопроводов.
Ключевые слова: мониторинг, магистральный газопровод,
лазерный локатор утечки газа, программно-аппаратный диагностический
комплекс, геоинформационная система, программное обеспечение.
Стр. 68 - 72
Bushmeleva K. I., Plusnin I. I. Computer-Aided
Geoinformation System of Gas Pipelines Working Condition Monitoring
The article highlights main features of geoinformation system of
monitoring of working conditions of gas pipelines. The system has
been developed on the base of aircraft soft and hardware diagnostic
complex and it is used to detect flaws and gas leakages.
Keywords: monitoring, gas pipeline, laser locator
of gas leakage, soft and hardware diagnostic complex, geoinformation
system, software.
И. В. Гермашев, канд.
техн. наук, доц., Волгоградский государственный педагогический университет,
В. Д. Васильева, канд. техн. наук, доц., В. Е.
Дербишер, д-р хим. наук, проф., Е. В. Дербишер,
канд. техн. наук, ст. препод., А. Ю. Силина, аспирант, Волгоградский
государственный технический университет
Применение теории нечетких множеств для решения задач химической
технологии
Представлен метод формализации и анализа информации о химических
веществах и структурах с использованием аппарата теории нечетких
множеств, примененный при решении задач химической технологии для
ранжирования веществ в зависимости от выбранного признака, а также
прогнозирования их свойств.
Ключевые слова: нечеткая информация, теория нечетких множеств,
химические вещества, функциональная активность, формализация, прогнозирование
свойств, ранжирование, тестирование.
Стр. 72 – 79
Germashev I. V., Vasilyeva V. D., Derbisher V. E., Derbisher
E. V., Silina A. Yu. The Application of Theory of Fuzzy
Sets for Ъecision of Chemical-Engineering Problems
The method of formalization and analysis of information about chemical
materials and structures is presented with applying of the fuzzy
data device theories device. This method is used for task solution
of the chemical technology with the aim of material ranking depending
on the chosen sign and their property prognosis.
Keywords: Fuzzy information, fuzzy data theory,
chemical material, functional activity, formalization, forecasting
characteristic, ranking, testing.
Л. М. Воронова,
канд. техн. наук, доц., Владимирский государственный университет
Моделирование оптимальных планов земледелия с применением
адаптированных пакетов технологий
Рассматривается новый подход к pешению задачи оптимизации земледелия
хозяйства в рамках автоматизированной системы технологического проектирования
земледелия. На основе морфологического исследования объекта проектирования
формируется морфологический ящик, отражающий синтаксическую структуру
системы и включающий семантические связи между значениями компонентов.
В результате морфологического синтеза строятся верные варианты планирования
сельскохозяйственной деятельности для отдельных полей, отыскивается
множество оптимальных решений. Программная система, реализующая
предложенную методику, полезна для прогнозирования экономических
показателей земледелия в условиях агротехнических ограничений конкретного
земледельческого хозяйства.
Ключевые слова: система земледелия, поля, типы
почв, технологии обработки, структура севооборотов, правила землепользования,
моделирование, морфологический подход, основные компоненты, признаки
компонентов, значения признаков, принципы генерации, правила подстановок,
семантика связей, оптимизация, автоматизация планирования земледелия.
Стр. 79 – 85
Voronova L. M. About Modeling of Optimum Agricultural
Designs with Packs Adaptation of Cultivation Technologics
A new approach is studied to modeling the optimum agricultural designs.
On the basis of agricultural system morphological research morphological
box is formed. It's containing structure and semantic connections
between basic components of the design object (including operations
of cultivation technologies). The model is used to build a set of
resolution for separated fields, by the method of morphological
synthesis. Based on the set, the optimum planning variants of agricultural
activity are found. The software system is offered optimal system
design in accordance with the entered information and may be used
for prognostication economics activities in conditions of any agriculture
and technological restrictions of the farmer.
Keywords: agricultural system, farm plots, soil
types, cultivation technologies, agricultural plants interchanging
for sowing, rules of land use, modeling, morphological approach,
basic components, marks for components, signals for marks, generative
principles, the rules for putting out, semantic connections, optimization,
computer-aided agriculture design.
|