ivdon3@bk.ru
Данная работа посвящена автоматической генерации верификационных наборов тестовых процедур; предложен и разработан алгоритм нахождения тестовых наборов посредством трансляции программ в логические формулы и их преобразования для решения задачи выполнимости булевых формул.
Ключевые слова: тестовые наборы, автоматическая генерация, решатель, булевы ограничения
05.13.01 - Системный анализ, управление и обработка информации (по отраслям) , 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
в статье показано, что интенсифицирован поиск патентоспособных решений для центробежного обезвоживания древесных материалов. Рассмотрена конструкция опорных узлов устройства для центробежной сушки лесоматериалов, направленная на гашение вибрационных нагрузок
Ключевые слова: лесоматериалы, обезвоживание, центробежная сушка
Рассматривавются проблемы уборки и вывоза снега с городских дворов. Анализируются тенденции развития снегоплавильных пунктов, как способ сокращения трудовых и экономических затрат. Приведены рекомендации по модернизации снегоплавильных пунктов.
Ключевые слова: Снегоплавильный пункт, растепление, тепловой баланс, теплопроводность, интенсификация, фазовый переход.
05.05.04 - Дорожные, строительные и подъемно-транспортные машины
Рассматривается возможность применения гидроциклонов совмещенного принципа действия для классификации калийсодержащих полезных ископаемых. Приведены результаты исследований по структуре барботажного слоя в аэрационной камере. Описаны новые конструкции гидроциклонов-флотаторов.
Ключевые слова: гидроциклон, флотатор, воздушный столб, аэрационная камера, флотация, сильвинит
Проведено моделирование процесса перераспределения атомов электрически активных примесей в электрическом поле области пространственного заряда диода Шоттки. Анализ результатов моделирования указывает на возможность контролируемого перераспределения легирующих примесей на глубинах порядка десятков нанометров, обусловленного диффузией электрически активных атомов в электрическом поле области пространственного заряда диода Шоттки.
Ключевые слова: диффузия, область пространственного заряда, диод Шоттки
В процессе эксплуатации здания происходит снижение его эксплуатационной надежности в соответствии с неизбежным влиянием нескольких групп факторов. Рассмотрены две основные группы, влияющие на техническое состояние зданий
Ключевые слова: Эксплуатационная надежность; техническое состояние; техническая диагностика
Исследованы особенности модификации состава и структуры поверхности кремния электроискровой обработкой. Установлено, что электроискровая обработка поверхности чувствительного слоя приводит к увеличению её эффективной площади, увеличению плотности поверхностных состояний, а также к образованию в запрещенной зоне полупроводника глубоких энергетических уровней, обусловленных атомами материала электрода и дислокациями, что в совокупности позволит варьировать чувствительность и селективность сенсоров газов.
Ключевые слова: модификация поверхности, чувствительный слой, сенсор газа, электроискровая обработка
С целью совершенствования техники малоинвазивного эндопротезирования коленного сустава (МЭКС) на основании анатомических исследований нами создана математическая модель и компьютерная программа предоперационного планирования МЭКС, учитывающая антропометрические данные пациента (тип телосложения, размеры надколенника, индекс Insall-Salvati), тип и размер эндопротеза и позволяющая рассчитать минимальный кожный разрез и максимальную растяжимость раны во время операции. Использование этой программы повышает точность планирования и подготовки оперативного вмешательства, позволяет повысить точность имплантации эндопротеза.
Ключевые слова: малоинвазивное эндопротезирование коленного сустава, компьютерное моделирование, предоперационное планирование, компьютерная программа предоперационного планирования
05.13.18 - Математическое моделирование, численные методы и комплексы программ , 14.01.15 - Травматология и ортопедия
Сведения об авторах выпуска №1 (2013)
Ключевые слова: авторы
Статья посвящена разработке нового алгоритма оценки выполнения обучаемым упражнения на компьютерном тренажере перегрузочной машины. Рассмотрены такие аспекты, как проблема обучения операторов перегрузочных машин, разработка структуры упражнения для автоматизированного обучения операторов перегрузочных машин, критерии выполнения упражнения на компьютерном тренажере перегрузочной машины, вычисление коэффициента усвоения с использованием нечеткого вывода, алгоритм выполнения упражнения. Работа выполнена при финансовой поддержке Минобрнауки РФ (договор № 13.G25.31.0093) в рамках реализации Постановления Правительства РФ № 218 «О мерах государственной поддержки развития кооперации российских высших учебных заведений и организаций, реализующих комплексные проекты по созданию высокотехнологичного производства»
Ключевые слова: Перегрузочная машина, компьютерный тренажер, автоматизированное обучение, коэффициент усвоения, нечеткий вывод
05.13.01 - Системный анализ, управление и обработка информации (по отраслям) , 05.13.18 - Математическое моделирование, численные методы и комплексы программ
В данной статье дана методика экспериментальных исследований образца струйной насадки для обработки объектов жилищно – коммунального назначения, а также построены графики поверхностей откликов целевой функции, даны рекомендации по выбору параметров принятых факторов.
Ключевые слова: струйная техника, струйная насадка, обработка поверхности, сопло – заслонка
Сведения об авторах выпуска №4 (часть 1), 2012
Ключевые слова: авторы