Предложен способ верификации вычислительного процесса информационной системы. Актуальность исследования определяется востребованностью надежных, корректно работающих информационных систем при недостаточной их верификации. Верификация вычислительного процесса ранее не применялась к информационным системам. Рассматриваются вычислительные процессы информационной системы, а также основные блоки информационной системы „Конференция“. Используемые графоаналитическая и программная модели проверяют основные точки верификации вычислительного процесса. Рассмотрено использование разработанной системы верификации вычислительного процесса для веб-ориентированной информационной системы „Конференция“
Идентификаторы и классификаторы
- SCI
- Нанотехнология
С ИС могут взаимодействовать различные типы пользователей: разработчик ИС, администратор ИС, программист ИС, а также не подготовленный пользователь. Разработчик ИС настраивает соединение между средствами разработки и ИС, уровень владения знаниями об ИС у разработчика — профессионал. Администратор ИС использует только вспомогательное ПО для доступа к ИС, уровень владения знаниями об ИС у администратора — знаток. Программист ИС использует средства разработки и вспомогательное ПО для доступа к ИС, уровень владения — знаток. Пользователь, не знакомый с ИС, использует свои начальные знания об ИС, уровень владения — новичок
Если у вас возникли вопросы или появились предложения по содержанию статьи, пожалуйста, направляйте их в рамках данной темы.
Список литературы
1. Шнепс-Шнеппе М. А., Сухомлин В. А., Намиот Д. Е. О глобальных информационных системах // International Journal of Open Information Technologies. 2017. Т. 5, № 4. С. 55-62. EDN: YLLSAP
2. Зыков С. В. Теоретические и методологические основы построения корпоративных порталов // Электронный журнал.,Исследовано в России“. 2005. № 8. С. 2278-2285 [Электронный ресурс]: http://zhurnal.ape.relarn.ru/articles/2005/220.pdf.
3. Петров А. Б. О характеристиках информационной системы // Cloud of science. 2020. Т. 7, № 3. С. 510-516. EDN: RMJKLO
4. Зыков А. Г., Безруков А. В., Немолочнов О. Ф., Поляков В. И., Андронов А. В. Графо-аналитические модели вычислительных процессов в САПР // Научно-технический вестник информационных технологий, механики и оптики. 2011. № 4(74). С. 116-120. EDN: NVYDOJ
5. Зыков А. Г., Голованев Я. С., Поляков В. И. Автоматизация верификации программ с использованием графоаналитических моделей вычислительного процесса // Программные продукты и системы. 2019. Т. 32, № 3. С. 398-402. DOI: 10.15827/0236-235X.127.398-402 EDN: ISEKTN
6. Немолочнов О. Ф., Зыков А. Г., Поляков В. И. и др. Верификация в исследовательских, учебных и промышленных системах // Науч.-технич. вестн. СПбГУ ИТМО. 2003. Вып. 11. Актуальные проблемы анализа и синтеза сложных технических систем. С. 146-151.
7. Кононенко А. А. Блок синтеза концептуальных схем и блок построения комплекта организационных процедур // Управление большими системами. 1998. № 1. С. 58-62. EDN: HVEUMF
8. Шатлов К. Г. Редактор графов и блок-схем // Доклады ТУСУР. 2007. № 1(15) [Электронный ресурс]: https://cyberleninka.ru/article/n/redaktor-grafov-i-blok-shem. EDN: KUBZWV
9. Латышева И. О., Мазин М. А. Среда визуальной разработки блок-схем // Научно-технический вестник информационных технологий, механики и оптики. 2007. № 7(41). С. 4-11. EDN: JUJNGH
10. Зыков А. Г., Кочетков И. В., Поляков В. И., Чистиков Е. Г. Синтезирование программ на основе описания графоаналитической модели // Программные продукты и системы. 2017. Т. 30, № 4. С. 561-566. EDN: YMUFGF
11. Хабитуев Б. В., Хандаров Ф. В., Балакшиев Э. Г., Нимаев С. А. Информационная система.,Конференция“ // Вестн. БГУ. Математика, информатика. 2013. № 1. С. 21-25.
12. Дрюков Н. Ю., Гатчин Ю. А. Методы формирования информационного поля в информационной системе // Научно-технический вестник информационных технологий, механики и оптики. 2007. № 6(40). С. 215-220. EDN: JVJYND
1. Шнепс-Шнеппе М. А., Сухомлин В. А., Намиот Д. Е. О глобальных информационных системах // International Journal of Open Information Technologies. 2017. Т. 5, № 4. С. 55-62. EDN: YLLSAP
Выпуск
Другие статьи выпуска
Новейшие стоматологические материалы исследованы методом растяжения для получения параметра прочности на разрыв. Сохранность реставрационных композитных материалов на твердых тканях зуба обеспечивается механическими параметрами, поэтому работа перспективна и актуальна для терапевтической стоматологии. Для разных композитов с помощью автоматизированной разрывной машины ИМ-4Р получены параметры прочности на разрыв. Параметры прочности измерены на тридцати образцах, площадь поперечного сечения каждого образца равнялась 5 мм. Результаты измерений зависимости прочности от номера стоматологического композита представлены полиномами третьей степени; определены значения достоверности аппроксимации
Показано, чтo не все математические модели, используемые для оценки времени проведения технологического прогона телекоммуникационного оборудования, учитывают конструктивно-технологические особенности последнего. Приведена статистика отказов телекоммуникационного оборудования, доказывающая необходимость учета этих особенностей. Показано, чтo одновременное воздействие таких фактoров, как температура окружающей среды, цикличность включения/выключения, относительная влажность, напряжение питания или тoк, приводит к ускорению технологического прогона в тысячи раз. Разработана метoдика, позволяющая значительно сократить время технологического прогона и подтверждения срока службы электронного модуля первого уровня телекоммуникационного оборудования. Преимуществами метoдики являются применение многофактoрного форсированного режима для оценки необходимого коэффициента ускорения, а также учет фактoров, значительно влияющих на состoяние телекоммуникационного оборудования. Достoинство метoдики заключается в дифференциальном прогнозировании показателей надежности телекоммуникационного оборудования и в возможности сокращения количества отказов в период его нормальной эксплуатации, чтo доказано результатами экспериментального исследования
Рассмотрены два варианта устройства, содержащие по четыре или шесть малогабаритных магнитоиндукционных датчиков, закрепленных на подошве рельса. Устройство предназначено для диагностирования формы гребня колесных пар в процессе движения подвижного состава над датчиками по прямолинейному рельсовому пути. Предложен алгоритм вычисления параметров профиля гребней колесных пар, позволяющий идентифицировать координаты центра и радиус гребня, форма которого описывается уравнением второго порядка, т. е. модель вершины гребня имеет форму полукруга, соответствующего стандартному профилю колеса. Кроме того, реализован алгоритм тестирования адекватности полученной параметрической модели. Предложен алгоритм идентификации износа вертикального подреза гребней колесных пар на основе использования подходов, аналогичных методам инструментального контроля, с применением стандартных шаблонов, которые разработаны в соответствии со стандартом „Колеса цельнокатаные“. Предложенная математическая модель, описывающая процесс износа вертикального подреза гребня, позволяет автоматизировать диагностирование состояния профиля колесных пар при движении состава над трехточечной системой магнитоиндукционных датчиков и имитацию процедуры инструментального контроля параметров гребней колес. Алгоритмы, заложенные в предлагаемой математической модели и реализованные на основе микропроцессорного контроллера, позволяют автоматизировать процесс приборного контроля состояния гребней колес в режиме реального времени, вычислять и прогнозировать сроки технического обслуживания или необходимого ремонта колесных пар подвижного состава железнодорожного транспорта
Проанализирована проблема задира филамента в устройствах трехмерной печати, проведен обзор существующих решений и предложен оригинальный способ автоматического обнаружения задира. Предложенный способ автоматизации детектирования задира филамента в устройствах трехмерной печати может обеспечить экономию материала, сохранность оборудования, снижение временных затрат на переналадку и починку устройств за счет своевременного прекращения аварийного процесса, что в результате гарантирует стабильность и надежность производственной технологии.
Целью работы является усовершенствование световых микроскопов для биологических исследований, регистрирующих изображения на ПЗС-приемниках, обеспечивая работу без временных затрат на перефокусировку оптики. Показана перспективность и актуальность разработки высокоапертурных объективов микроскопов с увеличенным полем зрения, работающих совместно с матричным ПЗС-приемником изображения. Разработан высокоапертурный широкопольный объектив микроскопа, приведены его оптические характеристики и показана оптическая схема. Проведены оценка и расчет допусков для последующего изготовления по методу Монте-Карло
Обоснована структура многослойной нейронной сети прямого распространения, предназначенной для определения параметров движения центра масс некооперируемого орбитального объекта по результатам измерений, проводимых с помощью оптико-электронной системы космического аппарата. В качестве измеряемых параметров выбраны зенитные расстояния орбитального объекта в характерных точках орбиты космического аппарата и время пролета орбитального объекта между этими точками. Установлена наименьшая продолжительность обучения при заданной точности определения параметров движения центра масс орбитального объекта. Представленные результаты могут быть использованы при обосновании и разработке систем автономного определения параметров движения центра масс орбитального объекта на основе бортовых оптических средств космического аппарата
Применение известной методики расчета цифровой следящей системы (ЦCC) с минимальным временем полного затухания свободного процесса при наличии времени чистого запаздывания в прямой цепи не позволяет физически реализовать корректирующее устройство (КУ). Адаптация методики расчета к рассматриваемому случаю основана на предварительном определении минимального времени затухания свободного процесса. Это позволило снизить порядок числителя желаемой передаточной функции замкнутой ЦСС до порядка числителя передаточной функции непрерывной части (НЧ) системы и обеспечить физическую реализацию КУ. Установлено, что минимальное время переходного процесса ЦСС увеличивается на время чистого запаздывания τ в прямой цепи, а скоростная ошибка возрастает на величину, равную произведению τ и скорости слежения . Доказано, что выбор числителя желаемой передаточной функции замкнутой ЦСС, равной числителю дискретной передаточной функции НЧ, не только упрощает КУ и обеспечивает „грубость“ ЦСС, но также является необходимым и достаточным условием исключения „скрытых колебаний“ после полного затухания дискретного переходного процесса. Проведено сравнение предложенной методики расчета с методикой, основанной на использовании предиктора Смита. Рассмотрен пример расчета ЦСС с чистым запаздыванием в прямой цепи. Проведено ее цифровое моделирование в системе MatLab при отработке линейно возрастающего и скачкообразного задающего воздействия, подтвердившее минимальное время затухания свободного процесса и расчетное значение скоростной ошибки
Издательство
- Издательство
- МИНОБРНАУКИ РОССИИ
- Регион
- Россия, Москва
- Почтовый адрес
- Тверская ул., д.11, г. Москва, ГСП- 3, 125993
- Юр. адрес
- 125009, г Москва, Тверской р-н, ул Тверская, д 11 стр 1, кв 4
- ФИО
- Фальков Валерий Николаевич (МИНИСТР)
- E-mail адрес
- info@minobrnauki.gov.ru
- Контактный телефон
- +7 (495) 5471316