?
Генерация тестовых сценариев для "мобильных" приложений
С. 75-83.
Филиппов В. А., Хатько Е. Е.
В тестировании широко применяется генерация тестов на основе расширенных конечных автоматов. Задача генерации тестов сводится к задаче обхода графа расширенного конечного автомата. В статье рассмотрены две вариации алгоритма А*, которые можно применять для решения задачи «Китайского почтальона» в случае динамически меняющихся графов. Представлены основные параметры алгоритмов. Алгоритмы подвержены оценке с точки зрения длины результирующего пути и временной сложности.
Язык:
русский
В книге
М. : МИЭМ, 2012
Старичкова Ю. В., Незнанов А. А., Бизнес-информатика 2011 № 3 С. 36-44
Описывается оригинальный программный комплекс для генерации бесконечных и конечных семейств связных транзитивных графов степени 4, полностью покрывающих все известные графы до 30 вершин. Отличительной особенностью разработки является многокритериальная каталогизация семейств на основе характеристик симметрии, структурной сложности и визуализации симметричных диаграмм. Комплекс расширяет функциональные возможности АСНИ «Graph Model Workshop» и позволяет решать задачи, требующие синтеза транзитивных ...
Добавлено: 11 сентября 2012 г.
Романова Д. С., Непомнящий О. В., А. И. Легалов и др., Программная инженерия 2022 Т. 13 № 6 С. 259-271
Рассмотрены проблемы и решения в области обеспечения архитектурной независимости и организации процесса сквозного проектирования цифровых интегральных схем. Представлены метод и язык параллельного программирования для функционально потокового синтеза проектных решений. При реализации метода функционально-потокового синтеза выделены задачи редукции параллелизма и оценки занимаемых ресурсов. Предложен способ свертки (сокращения) параллелизма, базирующийся на введении дополнительного слоя в процесс синтеза. ...
Добавлено: 13 сентября 2022 г.
Аминев Д. А., Журков А. П., Козырев А. А. и др., Труды Научно-исследовательского института радио 2014 № 4 С. 11-17
Рассмотрена проблема обеспечения контролепригодности аппаратуры пеленгаторной позиции (АПП). Представлены структурные схемы радиопеленгационной системы и АПП. Приведены укрупненная и более подробная схемы алгоритмов и алгоритма контроля стыков АПП. ...
Добавлено: 12 декабря 2015 г.
Фотеева А. В., Феофилова А. Е., Ростова Н. Б. и др., Медико-фармацевтический журнал "Пульс" 2022 Т. 24 № 4 С. 38-43
Современные регуляторные требования к фармацевтической разработке, ужесточение требований к стандартам качества ЛП, опыт производителей и компаний-разработчиков в части ФР ЛП выявляют
необходимость создания решений, позволяющих минимизировать риск появления отклонений в качестве
ЛП, гарантируя вывод в обращение эффективные и безопасные ЛП, с планируемым качеством. Целью данного исследования явилось формирование предложений для оптимизации процесса ФР воспроизведенных ЛП. В процессе исследования был разработан организационно-методический подход к оптимизации процесса ФР, включающий ...
Добавлено: 13 мая 2022 г.
Кузьмина Л.И., Осипов Ю. В., Alma mater (Вестник высшей школы) 2014 Т. 12 С. 85-91
Рассматривается задача о коррекции баллов, набранных студентами при проведении тестирования. Приводятся модификации классических корректирующих формул, учитывающие отказы от угадывания ответа. Показано, что на угадывание существенно влияют условия оценивания теста. Выведены новые формулы коррекции тестовых баллов. ...
Добавлено: 4 декабря 2014 г.
Бабаш А. В., Баранова Е. К., В кн. : Материалы 26-й научно-практической конференции “Методы и технические средства обеспечения безопасности информации”. 26-29 июня 2017. : СПб. : Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого", 2017. С. 30-32.
Авторы поставили своей целью обратить внимание криптографов на ставшие актуальными задачи более точного обоснования криптографической стойкости шифров с асимметричным ключом и вызвать дискуссию на эту тему. ...
Добавлено: 6 июля 2017 г.
Гнатенко А. Р., Захаров В. А., В кн. : Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды. : МГУ, МАКС Пресс, 2018. С. 131-133.
Проведено сравнение выразительных возможностей темпоральной логики LP-CTL*. В этой логике были выделены два класса формул (фрагмента) LP-1-LTL и LP-n-LTL и показано, что фрагмент LP-1-LTL превосходит по выразительным возможностям известную темпоральную логику линейного времени LTL, а фрагмент LP-n-LTL имеет такие же выразительные возможности, что и монадическая логика второго порядка с одной функцией следования S1S. ...
Добавлено: 14 июня 2018 г.
Настоящее пособие предназначено для школьников, абитуриентов и студентов, имеющих знания по французскому языку, соответствующие уровню европейской классификации A1-А2, и желающих подготовиться к сдаче ЕГЭ или других квалификационных экзаменов.
Цель пособия – систематизация и закрепление знаний по грамматике, расширение словарного запаса, развитие навыков изучающего, ознакомительного и просмотрового чтения, активизация устной и письменной речи с опорой на чтение.
Пособие ...
Добавлено: 21 ноября 2012 г.
Дорофеюк А. А., Дорофеюк Ю. А., В кн. : Управление развитием крупномасштабных систем MLSD'2012. Труды шестой международной конференции. В 2-х томах. Т.I. Т. 1: Пленарные доклады, секции 1-4.: М. : Институт проблем управления им. В.А. Трапезникова РАН, 2012. С. 245-254.
Добавлено: 27 ноября 2013 г.
Зиновьев А. В., Мидоренко Д. А., Вестник Тверского государственного университета. Серия: Биология и экология 2019 Т. 2 С. 12-17
В статье обобщён зарубежный и отечественный опыт использования
мобильных приложений для определения видов животных и растений.
Авторами рассмотрены возможности нового мобильного ГИСприложения для полевой регистрации видов позвоночных животных,
обитающих на территории Тверской области ...
Добавлено: 13 февраля 2020 г.
Старичкова Ю. В., Незнанов А. А., Вестник Тамбовского университета. Серия: Естественные и технические науки 2012 Т. 17 № 2 С. 532-547
Рассматривается задача классификации семейств связных транзитивных графов степени 4 (ТГС4) на основе характеристик симметрии (строения группы автоморфизмов) и информации обо всех ТГС4 с числом вершин до 30. Предлагается один из вариантов классификации и конкретные бесконечные и конечные семейства, покрывающие все ТГС4 до 30 вершин, с возможностью расширения состава семейств с ростом числа вершин ТГС4. Построен ...
Добавлено: 11 сентября 2012 г.
Салех Х. М., Шаповалов А. А., Богданов С. И., В кн. : Теоретические и прикладные вопросы науки и образования: сборник научных трудов по материалам Международной научно-практической конференции 31 января 2015 г.: в 16 частях. Ч. 14.: Тамбов : ООО "Консалтинговая компания Юком", 2015. С. 112-114.
О мобильном приложении изучения языков на платформе Android. ...
Добавлено: 17 ноября 2015 г.
Жалинский А. Э., Российский криминологический взгляд 2008 № 4 С. 193-197
1. Описание проблемы. Инструментальный анализ позволяет найти аргументы разрешения споров о границах и структуре состава преступления, его соотношении с уголовным и восполняющим законодательством. 2. Исходные положения. Состав преступления понимается как выраженный в уголовно-правовой доктрине результат преобразования предписаний, содержащихся в уголовном законе, в иную практически необходимую форму, что происходит в процессе накопления практического опыта и развития ...
Добавлено: 14 октября 2012 г.
Меняйло В. В., В кн. : Studia Linguistica XIХ. Человек. Язык. Познание. : СПб. : Политехника-сервис, 2009. С. 207-213.
В статье описывается алгоритм анализа индивидуально-авторского концепта FREEDOM, сформированного на основе одноименного культурного концепта, и объективируемого текстами четырёх романов Дж. Фаулза. ...
Добавлено: 6 марта 2013 г.
Пястолов С. М., В кн. : Микроэкономика. Макроэкономика: сборник кейсов. : М. : Маркет ДС, 2008. Гл. Кейс 14. С. 87-89.
Представлен тест для определения человеческих и личностных потребностей. ...
Добавлено: 15 мая 2013 г.
Klimenkova O., Щур Л. Н., Journal of Physics: Conference Series 2021 Vol. 1740 No. 012030 P. 1-5
Добавлено: 22 января 2021 г.
Голяев Ю. Д., Иванов М. А., Колбас Ю. Ю. и др., Системотехника: Системные проблемы надежности, качества и информационных технологий 2016 № 11
Рассмотрены методы повышения точности инерциальных измерительных блоков (ИИБ) на зеемановских лазерных гироскопах и кварцевых акселерометрах. Представлены конструктивные решения, обеспечивающие жесткое крепление компонентов ИИБ с точной привязкой измерительных осей, а также ремонтопригодность ИИБ. Описаны принципы работы зеемановского лазерного гироскопа в квазичетырехчастотном режиме, математические алгоритмы, обеспечивающие полную компенсацию дрейфа лазерного гироскопа, алгоритмы компенсации ошибок акселерометров с периодической ...
Добавлено: 14 марта 2017 г.
Трубочкина Н. К., Кондратьев Н. В., Мир техники кино 2015 Т. 37 № 3 С. 6-16
Предложен новый подход в развитии трёхмерного кино без очков, а точнее, методика создания с помощью математики и компьютерных программ фантастических графических сред и миров, основы для последующей кодировки под линзовый растр. Предложена модель расчёта параметрических фракталов, учитывающая положение виртуальных камер для получения наборов ракурсов фрактального изображения, создания параллакспанорамограмм и демонстрации полученных стереоскопических изображений фрактальных объектов. ...
Добавлено: 23 октября 2015 г.
Левитская Г. Ю., В кн. : Вопросы современной филологии и методики обучения языкам в вузе и школе. ХIV Всероссийская научно-практическая конференция. : Пенза : МНИЦ ПГСХА, 2009. С. 79-83.
Роль сертификата САЕ, подтверждающего продвинутый уровень владения английским языком, особенно возросла в последнее время в связи с повышением академической мобильности студентов. В статье рассмотрены особенности выполнения разнообразных тестовых заданий в разделах «чтение», «аудирование», «применение английского языка». Проанализированы трудности, с которыми сталкиваются студенты неязыковых специальностей при повторении и изучении общего английского языка. ...
Добавлено: 28 октября 2012 г.
Гнатенко А. Р., Захаров В. А., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 303-324
Добавлено: 14 июня 2018 г.