Книга
Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018)
Необходимость систематического контроля усвоения учебного материала является важнейшим элементом учебного процесса. Современные технологии позволяют перевести такой контроль в автоматизированный вид. Важным моментом систематического программированного контроля знаний является его объективность, что обусловлено переносом акцента с карательной функции на информативную. На основе общего опыта разработки контролирующих программ и изучения различных источников выделен ряд форм контрольных вопросов, каждая из которых наиболее эффективна для проверки конкретного учебного материала. Эти формы формализованы и введены в состав программного комплекса Test Complex, краткое описание которого представлено в данной статье.
Основная цель IEEE Симпозиума по проектированию и тестированию Восток-Запад в 2013 году - обмен опытом между учеными и технологиями Восточной и Западной Европы, а также Северной Америки и других частей мира в области проектирования, автоматизации проектирования и тестирования электронных схем и устройств. Симпозиум охватывает следующие темы:
• тестирование аналоговых, смешанных и радиочастотных систем,
• анализ и оптимизация,
• средства автоматизированного проектирования и тестирования,
• анализ неисправностей,
• вопросы потребляемой мощности,
• надежность в цифровых системах,
• тепловой, временной анализ систем на кристалле и на платах.
Разрабатываются способы построения тестов цифровых схем с использованием непрерывных моделей дискретных устройств. Представлен алгоритм, позволяющий решить задачу поиска тестовых наборов с помощью непрерывной оптимизации. Кроме того, предложена обобщенная модель неисправности, реализующая единый подход к представлению различных типов неисправностей при генерации тестов. Предложенный подход реализован программно в виде среды для разработки и исследования моделей неисправностей и алгоритмов поиска тестов цифровых схем. В целях апробации построена система автоматической генерации тестов для константных неисправностей комбинационных схем. Приведены результаты работы разработанного программного комплекса для ряда схем набора ISCAS'85, демонстрирующие эффективность используемых алгоритмов и методов.
В статье анализируется одно из самых известных эссе Хань Юя (768-824), китайского поэта, прозаика и политического деятеля периода династии Тан. Автор статьи рассматривает композиционные приемы, использованные Хань Юем, а также прослеживает развитие тематики эссе через рассмотрение различных философских, в основном конфуцианских категорий, упоминаемых в произведении.
Рассмотрены концептуальные вопросы моделирования бизнеса, проектного управления, роли управления персоналом в оптимизации бизнеса. Изложены концептуальные подходы к определению путей повышения эффективности управления. Дана характеристика особенностей внедрения информационных систем в экономике, значения систем управления качеством. Пособие предназначено для студентов очной и очно-заочной форм обучения по специальности «Менеджмент организации», однако может быть полезно и студентам других специальностей, изучающим дисциплины «Информационные технологии управления», «Автоматизированные информационные системы», «Информационные системы в экономике», «Управление качеством».
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 4 комплексных параметра α, β, γ, δ. Методами степенной геометрии ищутся асимптотические разложения его решений при x → ∞. При α≠0 найдено 10 степенных разложений с двумя экспоненциальными добавками каждое. Шесть из них - по целым степеням x (они были известны), и четыре по полуцелым (они новые). При α=0 найдено 4 однопараметрических семейства экспоненциальных асимптотик y(x) и 3 однопараметрических семейства сложных разложений x=x(y). Все экспоненциальные добавки, экспоненциальные асимптотики и сложные разложения найдены впервые. Также уточнена техника вычисления экспоненциальных добавок.
Пусть G — полупростая алгебраическая группа, разложение которой в произведение простых групп не содержит групп типа A, и P⊆G — параболическая подгруппа. Дополняя результаты Попова [7], мы перечисляем все тройки (G, P, n), такие что (а) в кратном многообразии флагов G/P × G/P × . . . × G/P (n множителей) существует открытая G-орбита, (б) число G-орбит на кратном многообразии флагов конечно.
Я выписываю точную формулу для (теоретико-множественной) системы результантов как набора коэффициентов одного результанта.