Рубрика: Технические науки

Применение формулы векторной алгебры для определения фактической площади участка местности

УДК: 528.44

Авторы: Шипулин В. Я., Григорьев Д. О.

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

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

Текст статьи: http://tavr.science/stat/2017/07/20-Shipulin-Grigoriev.pdf

Об особенностях выбора технологических решений и методов выполнения основных геодезических задач при проведении строительных работ

УДК: 528.48

Автор: Терентьев Д. Ю.

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

Ключевые слова: геодезические работы, строительные работы, средняя квадратическая ошибка, точность, технологические решения.

Текст статьи: http://tavr.science/stat/2017/05/31-Terentev.pdf

Интервальные расширения булевых функций и троичное моделирование последовательностных схем

УДК: 519.715

Автор: Голубева О. И.

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

Ключевые слова: интервальное расширение булевой функции, функции переходов в состояния, точное троичное моделирование, пошаговое моделирование, синхронная последовательностная схема, ROBDD графы.

Текст статьи: http://tavr.science/stat/2017/05/13-Golubeva.pdf

Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем

УДК: 519.715

Автор: Голубева О. И.

Рассматривается метод точного троичного моделирования синхронных последовательностных схем, основанный на представлении функций в виде ROBDD графов. Моделирование выполняется с использованием функций переходов в состояния схемы. Функции переходов в состояния строятся путем перемножения функций переходов или их инверсий в соответствии с кодами состояний схемы. Неточные методы троичного моделирования, как правило, требуют меньших вычислительных затрат. Тем не менее, использование неточных методов троичного моделирования, в общем случае, приводит к ухудшению качества решений различных задач. В работе рассматривается возможность использования результатов неточных методов троичного моделирования для сокращения вычислительных затрат точного троичного моделирования.

Ключевые слова: троичное моделирование, синхронная последовательностная схема, ROBDD графы, точное троичное моделирование, неточное троичное моделирование.

Текст статьи: http://tavr.science/stat/2017/04/16-Golubeva.pdf

Разработка веб-платформы «Одаренные дети»

УДК: 004.04

Автор: Перцев Т. Е.

В работе описывается процесс разработки проекта «Одаренные дети» для последующего привлечения абитуриентов. Проект нацелен на взаимодействие будущих абитуриентов Хакасского государственного университета и его преподавателей в ходе прохождения тестов и общения по средствам веб-платформы на портале университета.

Ключевые слова: университет, участник, тест, эксперт, регистрация.

Текст статьи: http://tavr.science/stat/2017/04/05-Pertsev.pdf

Разработка информационного профиля студента для АИС «Студент» Хакасского Государственного Университета им. Н.Ф. Катанова

УДК: 004.04

Автор: Перцев Т. Е.

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

Ключевые слова: студент, профиль, АИС, контроллер, процедура, данные.

Текст статьи: http://tavr.science/stat/2017/04/04-Pertsev.pdf

Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы

УДК: 519.715

Автор: Голубева О. И.

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

Ключевые слова: троичное моделирование, синхронная последовательностная схема, ROBDD графы, переходная последовательность, потоковый граф схемы, достижимые состояния схемы.

Текст статьи: http://tavr.science/stat/2017/04/03-Golubeva.pdf

Оценка реальной пропускной способности компьютерных WIFI сетей на транспортном уровне

УДК: 004.732

Автор: Чернега В. С.

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

Ключевые слова: беспроводные локальные сети IEEE

Текст статьи: http://tavr.science/stat/2017/03/10-CHernega.pdf

Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций

УДК: 519.715

Автор: Голубева О. И.

Предлагается метод точного троичного моделирования синхронных последовательностных схем, основанный на представлении функций в виде ROBDD графов. Моделирование выполняется с использованием ROBDD функций переходов в состояния схемы. Функции переходов в состояния схемы строятся путем перемножения функций переходов схемы или их инверсий в соответствии с кодами состояний. При построении ROBDD функций переходов-выходов схемы сначала выполняется разложение Шеннона по внутренним переменным, а затем по входным переменным схемы. Предложенный метод троичного моделирования позволяет выполнять точное троичное моделирование на входной последовательности произвольной длины, выполняя пошаговое троичное моделирование по полученным ROBDD. Данный метод является переложением на ROBDD представление функций ранее предложенного метода, основанного на ДНФ представлении функций. Показана возможность решения задач для последовательностных схем с использованием этого метода. Используя методы и свойства, описанные в данной статье, в дальнейших исследованиях планируется решить такие задачи как: построение последовательности, обеспечивающей переход в некоторое состояние из заданного множества, построение установочной последовательности и др.

Ключевые слова: троичное моделирование, синхронная последовательностная схема, ROBDD графы.

Текст статьи: http://tavr.science/stat/2017/03/17-Golubeva.pdf

Обзор современных тенденций развития технологий малоэтажного строительства

УДК: 332.82

Автор: Симченко О. Л.

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

Ключевые слова: технологии малоэтажного строительства, кирпич, газобетонные блоки, оцилиндрованное бревно, клеёный брус.

Текст статьи: http://tavr.science/stat/2017/03/13-Simchenko.pdf