Предложен способ верификации вычислительного процесса информационной системы. Актуальность исследования определяется востребованностью надежных, корректно работающих информационных систем при недостаточной их верификации. Верификация вычислительного процесса ранее не применялась к информационным системам. Рассматриваются вычислительные процессы информационной системы, а также основные блоки информационной системы „Конференция“. Используемые графоаналитическая и программная модели проверяют основные точки верификации вычислительного процесса. Рассмотрено использование разработанной системы верификации вычислительного процесса для веб-ориентированной информационной системы „Конференция“.

Применение известной методики расчета цифровой следящей системы (ЦCC) с минимальным временем полного затухания свободного процесса при наличии времени чистого запаздывания в прямой цепи не позволяет физически реализовать корректирующее устройство (КУ). Адаптация методики расчета к рассматриваемому случаю основана на предварительном определении минимального времени затухания свободного процесса. Это позволило снизить порядок числителя желаемой передаточной функции замкнутой ЦСС до порядка числителя передаточной функции непрерывной части (НЧ) системы и обеспечить физическую реализацию КУ. Установлено, что минимальное время переходного процесса ЦСС увеличивается на время чистого запаздывания τ в прямой цепи, а скоростная ошибка возрастает на величину, равную произведению τ и скорости слежения . Доказано, что выбор числителя желаемой передаточной функции замкнутой ЦСС, равной числителю дискретной передаточной функции НЧ, не только упрощает КУ и обеспечивает „грубость“ ЦСС, но также является необходимым и достаточным условием исключения „скрытых колебаний“ после полного затухания дискретного переходного процесса. Проведено сравнение предложенной методики расчета с методикой, основанной на использовании предиктора Смита. Рассмотрен пример расчета ЦСС с чистым запаздыванием в прямой цепи. Проведено ее цифровое моделирование в системе MatLab при отработке линейно возрастающего и скачкообразного задающего воздействия, подтвердившее минимальное время затухания свободного процесса и расчетное значение скоростной ошибки.

Обоснована структура многослойной нейронной сети прямого распространения, предназначенной для определения параметров движения центра масс некооперируемого орбитального объекта по результатам измерений, проводимых с помощью оптико-электронной системы космического аппарата. В качестве измеряемых параметров выбраны зенитные расстояния орбитального объекта в характерных точках орбиты космического аппарата и время пролета орбитального объекта между этими точками. Установлена наименьшая продолжительность обучения при заданной точности определения параметров движения центра масс орбитального объекта. Представленные результаты могут быть использованы при обосновании и разработке систем автономного определения параметров движения центра масс орбитального объекта на основе бортовых оптических средств космического аппарата.

Целью работы является усовершенствование световых микроскопов для биологических исследований, регистрирующих изображения на ПЗС-приемниках, обеспечивая работу без временных затрат на перефокусировку оптики. Показана перспективность и актуальность разработки высокоапертурных объективов микроскопов с увеличенным полем зрения, работающих совместно с матричным ПЗС-приемником изображения. Разработан высокоапертурный широкопольный объектив микроскопа, приведены его оптические характеристики и показана оптическая схема. Проведены оценка и расчет допусков для последующего изготовления по методу Монте-Карло.

Проанализирована проблема задира филамента в устройствах трехмерной печати, проведен обзор существующих решений и предложен оригинальный способ автоматического обнаружения задира. Предложенный способ автоматизации детектирования задира филамента в устройствах трехмерной печати может обеспечить экономию материала, сохранность оборудования, снижение временных затрат на переналадку и починку устройств за счет своевременного прекращения аварийного процесса, что в результате гарантирует стабильность и надежность производственной технологии.

Рассмотрены два варианта устройства, содержащие по четыре или шесть малогабаритных магнитоиндукционных датчиков, закрепленных на подошве рельса. Устройство предназначено для диагностирования формы гребня колесных пар в процессе движения подвижного состава над датчиками по прямолинейному рельсовому пути. Предложен алгоритм вычисления параметров профиля гребней колесных пар, позволяющий идентифицировать координаты центра и радиус гребня, форма которого описывается уравнением второго порядка, т.е. модель вершины гребня имеет форму полукруга, соответствующего стандартному профилю колеса. Кроме того, реализован алгоритм тестирования адекватности полученной параметрической модели. Предложен алгоритм идентификации износа вертикального подреза гребней колесных пар на основе использования подходов, аналогичных методам инструментального контроля, с применением стандартных шаблонов, которые разработаны в соответствии со стандартом „Колеса цельнокатаные“. Предложенная математическая модель, описывающая процесс износа вертикального подреза гребня, позволяет автоматизировать диагностирование состояния профиля колесных пар при движении состава над трехточечной системой магнитоиндукционных датчиков и имитацию процедуры инструментального контроля параметров гребней колес. Алгоритмы, заложенные в предлагаемой математической модели и реализованные на основе микропроцессорного контроллера, позволяют автоматизировать процесс приборного контроля состояния гребней колес в режиме реального времени, вычислять и прогнозировать сроки технического обслуживания или необходимого ремонта колесных пар подвижного состава железнодорожного транспорта.

Показано, чтo не все математические модели, используемые для оценки времени проведения технологического прогона телекоммуникационного оборудования, учитывают конструктивно-технологические особенности последнего. Приведена статистика отказов телекоммуникационного оборудования, доказывающая необходимость учета этих особенностей. Показано, чтo одновременное воздействие таких фактoров, как температура окружающей среды, цикличность включения/выключения, относительная влажность, напряжение питания или тoк, приводит к ускорению технологического прогона в тысячи раз. Разработана метoдика, позволяющая значительно сократить время технологического прогона и подтверждения срока службы электронного модуля первого уровня телекоммуникационного оборудования. Преимуществами метoдики являются применение многофактoрного форсированного режима для оценки необходимого коэффициента ускорения, а также учет фактoров, значительно влияющих на состoяние телекоммуникационного оборудования. Достoинство метoдики заключается в дифференциальном прогнозировании показателей надежности телекоммуникационного оборудования и в возможности сокращения количества отказов в период его нормальной эксплуатации, чтo доказано результатами экспериментального исследования.

Новейшие стоматологические материалы исследованы методом растяжения для получения параметра прочности на разрыв. Сохранность реставрационных композитных материалов на твердых тканях зуба обеспечивается механическими параметрами, поэтому работа перспективна и актуальна для терапевтической стоматологии. Для разных композитов с помощью автоматизированной разрывной машины ИМ-4Р получены параметры прочности на разрыв. Параметры прочности измерены на тридцати образцах, площадь поперечного сечения каждого образца равнялась 5 мм. Результаты измерений зависимости прочности от номера стоматологического композита представлены полиномами третьей степени; определены значения достоверности аппроксимации.