Работа посвящена разработке программного комплекса для реализации промышленной технологии селективного лазерного сплавления. Разработанный программный комплекс позволяет решать задачи организации эффективного производственного цикла исследования и изготовления технически сложных изделий аэрокосмической, медицинской и машиностроительной отраслей промышленности, производство которых требует высокого уровня технической оснащённости производства, больших расходов, высокой точности изготовления. В работе представлена краткая характеристика и общий алгоритм работы нескольких программных модулей, входящих в состав программного обеспечения установки селективного лазерного сплавления МЛ6. Продемонстрированы практические результаты их применения.
Цель работы. Системы моделирования и платформы программирования дают широкие возможности по использованию статистических инструментов в научно-исследовательской деятельности. Так как нормальное распределение является одним из наиболее часто встречающихся законов распределения, то критерий проверки выборки на нормальность имеет высокую востребованность среди инструментов статистического оценивания, среди которых критерий Эппса-Палли имеет статус одного из наиболее мощных. тестов для проверки отклонения распределения от нормального. Есть ряд реализаций данного теста на языках R и Python. Однако в одной из наиболее популярных систем моделирования Matlab данный тест не реализован. Таким образом, цель данного исследования разработать программную реализацию критерия Эппса-Палли в среде Matlab и проверить корректность проводимых расчетов. Материалы и методы. Вычисление статистики Эппса-Палли реализовано двумя методами - классическим, с помощью циклов, и матрично-векторным - с помощью операций линейной алгебры. Классический метод требует вычисления промежуточных величин, необходимых для получения статистики критерия, с помощью двух независимых циклов, причем второй цикл является двойным, в котором один цикл вложен в другой. Матрично-векторный метод требует меньше строк кода за счет выполнения расчетов с помощью операций линейной алгебры над матрицами и векторами. Критические значения статистики для объема выборки от 8 до 1000 элементов получены с помощью двухмерной линейной интерполяции табличных значений. Для выборки свыше 1000 элементов использована аппроксимация бета-функцией III рода. Результаты. Оценка вычислительной эффективности способов показала, что циклический подход примерно в три раза превосходит матрично-векторный по показателю затрачиваемого времени, что предположительно связано с обработкой незначащих элементов в треугольных матрицах при выполнении покомпонентных операций. Корректность программной реализации теста Эппса-Палли проверена на нескольких примерах, которые подтвердили соответствие рассчитываемых значений статистики критерия, а также критических значений статистики, известным данным. Проведена статистическая оценка критерия по эмпирическим значениям ошибки первого рода. Получено соответствие значений ошибок задаваемым уровням значимости. Проведены сравнительные оценки критерия Эппса-Палли с критериями Андерса-Дарлинга и Шапиро-Уилка по показателю эмпирической мощности критерия. Результаты оценок табулированы. Программная реализация критерия Эппса-Палли опубликована на Интернет-ресурсе MATLAB Central и доступна для свободного использования. Заключение. Разработанная программная реализация критерия Эппса-Палли является новым исследовательским инструментом, ранее отсутствовавшим в среде моделирования Matlab. Обоснован выбор алгоритма расчета статистики критерия по показателю времени, затрачиваемого на расчеты. Корректность расчетных алгоритмов подтверждается совокупностью выборочных проверок и статистическими оценками, соответствующими известным теоретическим положениям.
Цель работы. Системы моделирования и платформы программирования дают широкие возможности по использованию статистических инструментов в научно-исследовательской деятельности. Так как нормальное распределение является одним из наиболее часто встречающихся законов распределения, то критерий проверки выборки на нормальность имеет высокую востребованность среди инструментов статистического оценивания, среди которых критерий Эппса-Палли имеет статус одного из наиболее мощных. тестов для проверки отклонения распределения от нормального. Есть ряд реализаций данного теста на языках R и Python. Однако в одной из наиболее популярных систем моделирования Matlab данный тест не реализован. Таким образом, цель данного исследования разработать программную реализацию критерия Эппса-Палли в среде Matlab и проверить корректность проводимых расчетов. Материалы и методы. Вычисление статистики Эппса-Палли реализовано двумя методами - классическим, с помощью циклов, и матрично-векторным - с помощью операций линейной алгебры. Классический метод требует вычисления промежуточных величин, необходимых для получения статистики критерия, с помощью двух независимых циклов, причем второй цикл является двойным, в котором один цикл вложен в другой. Матрично-векторный метод требует меньше строк кода за счет выполнения расчетов с помощью операций линейной алгебры над матрицами и векторами. Критические значения статистики для объема выборки от 8 до 1000 элементов получены с помощью двухмерной линейной интерполяции табличных значений. Для выборки свыше 1000 элементов использована аппроксимация бета-функцией III рода. Результаты. Оценка вычислительной эффективности способов показала, что циклический подход примерно в три раза превосходит матрично-векторный по показателю затрачиваемого времени, что предположительно связано с обработкой незначащих элементов в треугольных матрицах при выполнении покомпонентных операций. Корректность программной реализации теста Эппса-Палли проверена на нескольких примерах, которые подтвердили соответствие рассчитываемых значений статистики критерия, а также критических значений статистики, известным данным. Проведена статистическая оценка критерия по эмпирическим значениям ошибки первого рода. Получено соответствие значений ошибок задаваемым уровням значимости. Проведены сравнительные оценки критерия Эппса-Палли с критериями Андерса-Дарлинга и Шапиро-Уилка по показателю эмпирической мощности критерия. Результаты оценок табулированы. Программная реализация критерия Эппса-Палли опубликована на Интернет-ресурсе MATLAB Central и доступна для свободного использования.
С использованием средств TCAD проведена оценка влияния радиационного воздействия в диапазоне доз 20кРад - 1000кРад и толщины подзатворного окисла на сдвиг порогового напряжения и чувствительность пМОП-дозиметра на базе КМОП-технологии с изоляцией LOCOS, в котором роль подзатворного окисла выполняет толстый изолирующий слой (FOXFET). Модель FOXFET сформирована в TCAD посредством моделирования КМОП-технологического маршрута с проектными нормами 0.6 мкм. Результаты моделирования показали, что чувствительность падает с ростом дозы облучения, наибольший спад наблюдается при малых дозах до 50 кРад, при дальнейшем увеличении дозы вплоть до 1000кРад наблюдается плавное снижение, которое можно объяснить постепенным насыщением ловушек в окисле зарядом. Существенный рост чувствительности прибора наблюдается с ростом толщины окисла. С помощью моделирования также рассчитаны зависимости чувствительности дозиметра от режимов формирования локального окисла.
Выполнен анализ современного состояния разработок интегральных микросхем (ИМС) для жестких условий эксплуатации, на основании которого предложено использование арсенид-галлиевой технологии HBT-HEMT. Представлены результаты приборно-технологического (TCAD) моделирования электрических характеристик гетеропереходного биполярного транзистора со структурой pnp-типа на основе GaAs. Определены следующие основные параметры: напряжение Эрли Va, коэффициент усиления базового тока в схеме с общим эмиттером BETA, напряжение пробоя промежутка коллекторэмиттер VK3BR, граничная частота /гр. Исследовано влияние на указанные параметры атомарного состава x соединения AlGaAs, ширины активной базы WE и даны рекомендации по выбору их оптимальных значений. Приведена оценка изменения параметров приборной структуры pnp-HBT при вариации температуры.
В учебнике рассмотрены методы математическою моделирования, применяемые для решения инженерно-геологических задач и основанные на использовании математической модели напряженно-деформированного состояния массива горных пород. Изложены основы теории подобия и дано описание области применения и возможностей экспериментального моделирования методов эквивалентных материалов. поляризационнооптических способов и аналогового моделирования, используемых при инженерно-геологическом изучении природных процессов. Приведена методика инженерно-геологических расчетов оснований сооружений, устойчивости склонов, переработки берегов водохранилищ, деформаций массивов горных пород вокруг подземных полостей, деформации поверхности при разработке полезных ископаемых и откачках подземных вод или нефти и др.
Для студентов и аспирантов университетов и вузов, общающихся по специальности инженерная геология и гидрогеология, и специалистов, занимающихся инженерно-геологическими изысканиями для обоснования проектирования и строительства инженерных сооружений.
Квазистатическое приближение является эффективным методом моделирования плазменного кильватерного ускорения, но оно становится неточным, если в сильнонелинейной волне отдельные частицы плазмы смещаются на большое расстояние в продольном направлении, если в плазме есть волны с ненулевой групповой скоростью или резкие градиенты плотности, или если форма пучка быстро меняется. Работа посвящена расширению квазистатического приближения, лишенному многих его ограничений и сохраняющему его основные преимущества – скорость вычислений и пониженную размерность расчетной области. В новом подходе учитывается обмен информацией между соседними слоями плазмы. В работе сформулирована физическая модель и описана ее численная реализация. Результаты моделирования сравниваются с существующими аналитическими решениями и другими кодами.
Цели. Несмотря на широкое применение термина «онтология» в философии и социальных науках, в области информатики онтология и, тем более, онтологическое моделирование остаются мало изученными. Также мало исследована онтология в области информационного поля. Цель работы – разработка методики информационного онтологического моделирования и исследование технологии информационного поиска в широком смысле и как части онтологического моделирования. На основе онтологического моделирования необходимо показать различие между закономерностью и функциональной зависимостью.
Методы. Для достижения цели применен логически структурный подход, включающий построение концептуальных схем и логический формализм их описания. Логически структурный подход включает построение концептуальных схем, которые служат для применения логического формализма. Основой логического моделирования является выделение родственных моделей. Для этой цели предлагается применить расширенную технологию информационного поиска, которая ищет не отдельные объекты, а группы объектов. Онтологическое исследование строится на применении перехода от качественного описания к количественному. К числу применяемых методов относится метод количественно-качественных переходов.
Результаты. Вводится новое понятие – информационное онтологическое моделирование. Обоснованы условия онтологического моделирования. Исследованы отношения между понятиями закономерности и функциональности. На этой основе дается трактовка закономерности и функциональной зависимости. Показано структурное и формальное различие между информационным моделированием, технологиями информационного поиска и онтологическим моделированием. Раскрыты три задачи информационного поиска. При онтологическом моделировании решают вторую и третью задачи информационного поиска, соответственно, поиск группы связанных между собой объектов и поиск отношений или связей внутри группы связанных между собой объектов. Даны формальные схемы онтологического моделирования. Показан переход от отношений к связям в случае онтологического моделирования.
Выводы. Доказано, что онтологическое моделирование можно применять только к родственным моделям или к моделям, между которыми существует общность. Предложена технология онтологического моделирования, в варианте которой информационный поиск является начальной частью онтологического моделирования. Вторым вариантом является применение технологии кластерного анализа. Онтологическое моделирование использует качественно-количественные переходы и в предлагаемом варианте может служить для извлечения неявного знания.
Введение. Сетевые методы диагностики обладают важным достоинством, которое заключается в возможности интегрировать данные различных научных исследований. В частности, актуальна возможность проведения диагностики, нацеленной на выявление связанности социальных и психологических характеристик акцентуаций студентов различных направлений подготовки. Методология и источники. Использованы концептуальные идеи различных наук, предполагающих построение синтетической методологии исследования. Интегрированы положения социологической науки, социальной психологии и психологии о природе, факторах формирования и особенностях проявления акцентуаций личности, зависимых от самых разнообразных условий, в частности от характера профессионального выбора. Результаты и обсуждение. Полученные результаты исследования представлены в виде сетей акцентуаций, отражающих некоторые особенности их связанности. Подтвердились основные гипотезы исследования: сети акцентуаций студентов-журналистов выстраиваются вокруг подвижных эмоциональных акцентуаций; сети студентов-менеджеров формируются вокруг стремлений лидировать; сети студентов-программистов складываются в наиболее плотные среды вокруг интеллектуальных свойств, качеств и характеристик учащихся. Заключение. Построение сетей акцентуаций студентов различных профилей подготовки имеет хорошую перспективу для диагностики и коррекции образовательного процесса. Сетевое моделирование динамики формирования акцентуаций студентов по мере обучения в университете дает надежную основу для оценки и управления учебно-воспитательным процессом.
В современных социокультурных условиях необходим надежный диагностический инструментарий для оценки психического развития ребенка, который при этом позволял бы корректировать задачи образовательной деятельности. В статье отражены результаты адаптации и стандартизации методики «Перцептивное моделирование», входящей в диагностический комплект оценки умственного развития дошкольников (Л. А. Венгер и сотрудники). Выборка исследования состояла из двух групп: детей 4-6 (N=1003) и детей 5-7 (N=1516) лет. В этих группах детям предъявлялись разные варианты методики, учитывающие возрастную специфику сформированности перцептивных действий. Адаптация методики «Перцептивное моделирование» предполагала перевод ее в электронный вид, изменение системы оценки полученных результатов и статистическую проверку возможности ее использования в такой форме для решения диагностических задач. Процедура стандартизации методики показала наличие хорошей внешней и внутренней валидности, ее диагностическую надежность. Статистический анализ выявил отсутствие значимых гендерных различий при выполнении методики и наличие значимых различий между нормотипичными детьми и детьми с ОВЗ (нарушение речи, слуха и задержка психического развития). В результате стандартизации были определены возрастные нормы овладения детьми шестого и седьмого годов жизни действиями перцептивного моделирования для нормотипичных детей и детей с ОВЗ.