Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=статический анализ<.>)

Общее количество найденных документов : 9
Показаны документы с 1 по 9

   74.5
   В93

    Высшая школа - важнейший государственный ресурс регионального развития [Текст] : регион. межвуз. науч.-практ. конф., Биробиджан 23 марта - 13 мая 2006 г.: сб. материалов: в 3 т. / под ред. Н. Н. Паранчер. - Биробиджан : Изд-во Амур. гос. ун-та. Биробидж. фил., 2006 - .
   Т. 2. - 2006. - 222 с. : рис. - Из содерж.: Использование льняной пряжи при изготовлении трикотажных изделий / Г. А. Божук, Т. И. Согр, Т. В. Куницына. Современное состояние поточного производства швейной промышленности города Благовещенска / Е. В. Борзунова, О. В. Чупрова. Эксплуатационно-технологические показатели работы нового зерноуборочного комбайна КЗС-ЗГ "Русь" / А. М. Емельянов, Н. М. Канделя. Современный подход к проектированию детской одежды / Н. И. Ерохина, Т. Н. Сухова. Некоторые пути решения приоритетного национального проекта "Развитие АПК" / Н. М. Канделя, Е. Г. Пономарев. Технико-экономическая эффективность использования различного класса зерноуборочных комбайнов в производственных условиях / О. М. Квас. Проектирование специальной одежды для рабочих строительных специальностей / А. А. Комиссарова, Т. Н. Сухова. Проектирование элементов машин в интегрированной среде конечно-элементных расчетов COSMOS/DESIGNSTAR. Статический анализ / А. М. Медведев, Е. С. Кишлалы, А. В. Станийчук. Совершенствование операционной технологии основной обработки почвы / Е. Г. Пономарев, Ю. И. Шагарова. Виды ниточных соединений швов, применяемых при изготовлении традиционной и национальной одежды средневекового Северо-Востока Китая / И. М. Присяжная. Трансформация ремней, поясов и перевязей в композиции современного костюма / Л.А Путинцева, З. И. Кукушкина. Особенности компактирования, спекания и термической обработки карбидосталей, полученных из исходных композиций, прошедших высокотемпературный механохимический синтез / Е. В. Ружицкая, В. П. Рева. Разработка коллекции костюмов женских / М. А. Рыбникова, Т. Н. Сухова. Исследование динамических нагрузок на опорную поверхность гусеничного комбайна "Енисей-1200Р" при различных положениях центра тяжести / В. Н. Рябченко, М. В. Канделя, А. Н. Казачанский. Формирование аэросмеси в зоне смесительной камеры материалопровода / Е. В. Савельева. Движение зерновки по поверхности лотка загрузочного устройства / Е. В. Савельева, Ю. Н. Рубан. Особенности проектирования женской одежды для свадебного торжества / Е. А. Слюсарева. Современный подход к проектированию технологических потоков / И. Д. Смотрина, Т. Н. Сухова. Один из способов крепления углов воротника в мужской сорочке / В. А. Сычева, Г. Г. Харьковская. Конструктивно-технологические особенности женских рубах ХХ века / Г. Г. Харьковская. Проектирование спецодежды для работников ТЭЦ / В. С. Шапошникова, Т. Н. Сухова. Благотворительность в России: история, современный этап / О. М. Владыкина. Социальная профилактика поведения несовершеннолетних преступников / Т. В. Гарбузова. Акмеологические направления профессионального становления личности / Т. Е. Демидова. Технологии социальной работы по социализации детей в семьях разведенных родителей / В. Н. Дубинина. Социальное партнерство в образовательной сфере как условие устойчивого развития региона / Т. С. Еремеева. Социальная защита работников правоохранительных органов (на примере отдела внутренних дел г. Биробиджана) / О. О. Клименкова. Профессионально-личностная подготовка социального работника заочного обучения в условиях современного вуза / Л. А. Койсман. Сохранение здоровья взрослого населения как социальная проблема государства / Н. А. Кудлай. Социальная защита граждан в институте малого бизнеса / И. А. Кутенкова. Социальная защита детей, испытывающих насилие в семье / Т. В. Лоппа. Роль информационных ресурсов в реабилитации инвалидов / Е. Л. Луценко. Применение социальной рекламы в деятельности социального работника / О. В. Пономарева. Характеристика затруднений студентов в учении и их причины / А. С. Смирнова. Библиотерапия как технология библиосоциальной работы / В. В. Ткаченко. - ISBN 5-902452-09-0 : 120.00 р.

ББК 74.58
Рубрики: Высшая школа

Доп.точки доступа:
Божук, Г. А.; Борзунова, Е. В.; Емельянов, А. М.; Ерохина, Н. И.; Канделя, Н. М.; Квас, О. М.; Комиссарова, А. А.; Медведев, А. М.; Пономарев, Е. Г.; Присяжная, И. М.; Путинцева, Л.; Ружицкая, Е. В.; Рыбникова, М. А.; Рябченко, В. Н.; Савельева, Е. В.; Слюсарева, Е. А.; Смотрина, И. Д.; Сычева, В. А.; Харьковская, Г. Г.; Шапошникова, В. С.; Владыкина, О. М.; Гарбузова, Т. В.; Демидова, Т. Е.; Дубинина, В. Н.; Еремеева, Т. С.; Клименкова, О. О.; Койсман, Л. А.; Кудлай, Н. А.; Кутенкова, И. А.; Лоппа, Т. В.; Луценко, Е. Л.; Пономарева, О. В.; Смирнова, А. С.; Ткаченко, В. В.; Согр, Т. И.; Чупрова, О. В.; Сухова, Т. Н.; Кишлалы, Е. С.; Шагарова, Ю. И.; Кукушкина, З. И.; Рева, В. П.; Канделя, М. В.; Рубан, Ю. Н.; Куницына, Т. В.; Станийчук, А. В.; Казачанский, А. Н.; Паранчер, Н.Н. \ред.\
Экземпляры всего: 1
н.з. (1)
Свободны: н.з. (1)
Найти похожие

Зак, В. В.
Статический анализ ипотечных ценных бумаг [Текст] / В. В. Зак // Деньги и кредит. - 2008. - N 5. - С. 49-57

УДК

^a330.4

^a336.761

ББК 65в631 + 65.264
Рубрики: Экономика
Математическая экономика. Эконометрика
Рынок ценных бумаг
Кл.слова (ненормированные):
ценные бумаги -- ипотечные ценные бумаги -- кредиты -- ипотечное кредитование -- анализ ценных бумаг -- статический анализ -- методы статического анализа -- этапы анализа -- ипотечные пулы -- математические расчеты -- моделирование
Аннотация: Существует множество методов анализа ценных бумаг, выпускаемых в процессе секьюритизации и структурирования. Каждый вид ценных бумаг и портфельная стратегия требуют своего аналитического метода. В статье рассмотрены расчеты доходности ипотечных ценных бумаг с помощью методов статического анализа. При этом обращено внимание на то, что, применяя этот метод, рекомендуется следовать специально разработанной процедуре, основанной на последовательном проведении четырех этапов анализа: методологии, покрытия, структуры и результатов.

Имеются экземпляры в отделах: всего 1 : эк. (1)
Свободны: эк. (1)

Найти похожие

Моисеев, М. Ю.
Итеративный алгоритм статического анализа для обнаружения дефектов [Текст] / М. Ю. Моисеев // Информационно-управляющие системы. - 2009. - N 3 (40). - С. 33-39. : 2 рис. - Библиогр.: с. 39

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
программное обеспечение -- надежность программного обеспечения -- программные дефекты -- статический анализ -- интервальный анализ -- анализ указателей
Аннотация: Предлагается способ организации совместной работы алгоритмов статического анализа для обнаружения широкого класса дефектов в программах на языке С на основе итеративного алгоритма, многократно выполняющего отдельные алгоритмы анализа с уточнением результатов, получаемых на каждой итерации.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Савкин, Алексей.
Оценка прочности и усталостной долговечности конструктивных элементов автомобиля [Текст] / А. Савкин, А. Горобцов, А. Андроник // САПР и графика. - 2012. - № 8. - С. 93-96 : рис. . - ISSN 1560-4640

УДК

^a62.001.63

ББК 30.2
Рубрики: Техника
Проектирование
Кл.слова (ненормированные):
статический анализ -- проектирование конструкций -- усталостный конечноэлементный анализ -- автомобили-внедорожники
Аннотация: Проведен статический и усталостный конечноэлементные анализы элемента передней подвески автомобиля.

Доп.точки доступа:
Горобцов, Александр; Андроник, Артем

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Корнилова, А. В.
Некоторые рекомендации к выбору методов неразрушающего контроля [Текст] / А. В. Корнилова // Безопасность труда в промышленности. - 2012. - № 12. - С. 64-69. - Библиогр.: с. 69 (7 назв.) . - ISSN 0409-2961

УДК

^a658.382.3

ББК 30н
Рубрики: Техника
Техника безопасности
Кл.слова (ненормированные):
статический анализ -- промышленная безопасность -- неразрушающий контроль -- экспертная бальная оценка -- дефектность
Аннотация: Продолжение дискуссии по определению оптимального сочетания видов неразрушающего контроля в целях повышения выявляемости дефективности крупногабаритных ответственных деталей при проведении экспертизы их технического состояния или промышленной безопасности.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Савицкий, В. О.
Методы быстрого анализа исходного кода на языках C/C++ [Текст] / В. О. Савицкий, Д. В. Сидоров // Программирование. - 2013. - № 1. - С. 73-81. - Библиогр.: с. 81 (8 назв.) . - ISSN 0132-3474

УДК

^a681.3:62-52

ББК 30.6-5-05
Рубрики: Техника
Автоматизация оборудования
Кл.слова (ненормированные):
статические анализаторы -- статический анализ -- программное обеспечение -- исходные коды -- инкрементальный анализ -- кеширование заголовочных файлов
Аннотация: В статье описаны методы ускорения работы статического анализатора: инкрементальный анализ, ленивый анализ и кэширование заголовочных файлов.

Доп.точки доступа:
Сидоров, Д. В.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Гольчевский, Ю. В.
Проблема исследования кода вредоносного программного обеспечения для Android в процессе проведения компьютерной экспертизы [Текст] = Problem of Android malicious program code research in computer expertise process / Ю. В. Гольчевский, А. Н. Шахов // Проблемы информационной безопасности. Компьютерные системы. - 2017. - № 1. - С. 83-91 : схемы, табл. - Библиогр.: с. 90-91 (12 назв.) . - ISSN 2071-8217

УДК

^a004.41/42

ББК 32.973
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
Android -- вредоносное программное обеспечение -- вредоносные программные коды -- динамический анализ -- исследование кодов -- компьютерная экспертиза -- статический анализ
Аннотация: Изучена проблема проведения анализа вредоносного программного кода приложений Android при проведении компьютерных экспертиз. Предложен алгоритм действий и улучшения используемого программного обеспечения. Выполнена апробация предлагаемой методики.
The problem of malicious Android application code analysis for computer forensics was investigated. The algorithm of effective actions and software improvement were suggested. Approbation of the proposed methodology was performed.

Доп.точки доступа:
Шахов, А. Н.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Павленко, Е. Ю.
Статический анализ безопасности Android-приложений [Текст] = Static security analysis of Android applications / Е. Ю. Павленко, Г. Ю. Игнатьев, П. Д. Зегжда // Проблемы информационной безопасности. Компьютерные системы. - 2017. - № 4. - С. 73-79 : схемы, табл., граф. - Библиогр.: с. 79 (14 назв.) . - ISSN 2071-8217

УДК

^a004.41/42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
Android-приложения -- безопасность приложений -- вредоносные программы -- информационная безопасность -- статический анализ
Аннотация: Представлены результаты разработки высокопроизводительного анализатора безопасности Android-приложений, позволяющего обрабатывать большое количество приложений за короткие временные интервалы. Предложен метод анализа безопасности Android-приложений, основанный на применении статического анализа с использованием методов машинного обучения. Описаны выборка, используемое пространство признаков, а также алгоритмы машинного обучения, используемые для построения классификатора. Приведены результаты экспериментальной оценки эффективности программной реализации предложенного метода, демонстрирующие его высокую производительность и высокую точность определения вредоносных Android-приложений.
This article explores the problem of developing a high-performance Android applications analyzer, which capable of processing a large number of applications in a very short period of time. A method for analyzing security of Android applications is proposed, based on the use of machine learning algorithms in static analysis. The paper describes dataset, application features and machine learning algorithms used to build a classifier. The results of an experimental evaluation of effectiveness of the proposed method are presented, demonstrating it high performance and high accuracy of detecting malicious Android applications.

Доп.точки доступа:
Игнатьев, Г. Ю.; Зегжда, П. Д.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Васильева, К. В.
Метод анализа встроенного программного обеспечения UEFI BIOS на предмет наличия НДВ [Текст] = Undeclared capabilities revealing method for embedded software UEFI BIOS / К. В. Васильева, А. С. Коноплев // Проблемы информационной безопасности. Компьютерные системы. - 2018. - № 3. - С. 100-106 : схемы. - Библиогр.: с. 106 (5 назв.) . - ISSN 2071-8217

УДК

^a004.41/42

ББК 32.973
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
UEFI BIOS -- архитектура программного орбеспечения -- встроенное программное обеспечение -- динамический анализ -- информационная безопасность -- недекларированные возможности (вычислительная техника) -- программное обеспечение -- статический анализ
Аннотация: Рассмотрена проблема автоматизированного анализа встроенного программного обеспечения (ВПО) UEFI BIOS на предмет наличия недекларированных возможностей. Проанализированы особенности архитектуры ВПО UEFI BIOS, выполнен сравнительный анализ основных существующих методов статического и динамического анализа ПО без исходного кода, установлены возможности и ограничения применения рассмотренных методов в решении задачи поиска НДВ и верификации ПО. Предложен метод качественного улучшения автоматизированного анализа ВПО, базирующийся на особенностях функционирования UEFI BIOS.
The paper reviews the problem of automatic embedded software UEFI BIOS analysis for undeclared capabilities revealing. It discusses the main features of UEFI BIOS architecture, compares common methods of static and dynamic analysis for software without source code, considers their possibility and limitation of addressing the described problem. There is proposed a method for enhanced automatic revealing undeclared capabilities in embedded software.

Доп.точки доступа:
Коноплев, А. С.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Тематический навигатор

Статистика за 19.07.2024
Число запросов	146014
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)