Книга
Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018)
Most modern software is written in high level languages. The task of translating source code, written in high-level languages, into a representation, which can be executed on a computer system, solves by specialized programs called compilers. Errors in compilers lead to differences between the behavior of modules, resulting from the work of compilers, and behavior, defining the semantics of the original program. Such errors are very difficult to detect and correct, and their presence casts doubt on the quality of the programs generated by a compiler. Obviously, the correctness of the compiler is a strong prerequisite for reliable software created with its help [20]. This paper describes the concept of a system designed to automate the process of testing the major components of any compiler: syntax analyzer and context conditions analyzer (semantic analyzer).
Основная цель IEEE Симпозиума по проектированию и тестированию Восток-Запад в 2013 году - обмен опытом между учеными и технологиями Восточной и Западной Европы, а также Северной Америки и других частей мира в области проектирования, автоматизации проектирования и тестирования электронных схем и устройств. Симпозиум охватывает следующие темы:
• тестирование аналоговых, смешанных и радиочастотных систем,
• анализ и оптимизация,
• средства автоматизированного проектирования и тестирования,
• анализ неисправностей,
• вопросы потребляемой мощности,
• надежность в цифровых системах,
• тепловой, временной анализ систем на кристалле и на платах.
Необходимость систематического контроля усвоения учебного материала является важнейшим элементом учебного процесса. Современные технологии позволяют перевести такой контроль в автоматизированный вид. Важным моментом систематического программированного контроля знаний является его объективность, что обусловлено переносом акцента с карательной функции на информативную. На основе общего опыта разработки контролирующих программ и изучения различных источников выделен ряд форм контрольных вопросов, каждая из которых наиболее эффективна для проверки конкретного учебного материала. Эти формы формализованы и введены в состав программного комплекса Test Complex, краткое описание которого представлено в данной статье.
Разрабатываются способы построения тестов цифровых схем с использованием непрерывных моделей дискретных устройств. Представлен алгоритм, позволяющий решить задачу поиска тестовых наборов с помощью непрерывной оптимизации. Кроме того, предложена обобщенная модель неисправности, реализующая единый подход к представлению различных типов неисправностей при генерации тестов. Предложенный подход реализован программно в виде среды для разработки и исследования моделей неисправностей и алгоритмов поиска тестов цифровых схем. В целях апробации построена система автоматической генерации тестов для константных неисправностей комбинационных схем. Приведены результаты работы разработанного программного комплекса для ряда схем набора ISCAS'85, демонстрирующие эффективность используемых алгоритмов и методов.
В статье анализируется одно из самых известных эссе Хань Юя (768-824), китайского поэта, прозаика и политического деятеля периода династии Тан. Автор статьи рассматривает композиционные приемы, использованные Хань Юем, а также прослеживает развитие тематики эссе через рассмотрение различных философских, в основном конфуцианских категорий, упоминаемых в произведении.
Рассмотрены концептуальные вопросы моделирования бизнеса, проектного управления, роли управления персоналом в оптимизации бизнеса. Изложены концептуальные подходы к определению путей повышения эффективности управления. Дана характеристика особенностей внедрения информационных систем в экономике, значения систем управления качеством. Пособие предназначено для студентов очной и очно-заочной форм обучения по специальности «Менеджмент организации», однако может быть полезно и студентам других специальностей, изучающим дисциплины «Информационные технологии управления», «Автоматизированные информационные системы», «Информационные системы в экономике», «Управление качеством».
Пусть G — полупростая алгебраическая группа, разложение которой в произведение простых групп не содержит групп типа A, и P⊆G — параболическая подгруппа. Дополняя результаты Попова [7], мы перечисляем все тройки (G, P, n), такие что (а) в кратном многообразии флагов G/P × G/P × . . . × G/P (n множителей) существует открытая G-орбита, (б) число G-орбит на кратном многообразии флагов конечно.
Я выписываю точную формулу для (теоретико-множественной) системы результантов как набора коэффициентов одного результанта.
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 4 комплексных параметра α, β, γ, δ. Методами степенной геометрии ищутся асимптотические разложения его решений при x → ∞. При α≠0 найдено 10 степенных разложений с двумя экспоненциальными добавками каждое. Шесть из них - по целым степеням x (они были известны), и четыре по полуцелым (они новые). При α=0 найдено 4 однопараметрических семейства экспоненциальных асимптотик y(x) и 3 однопараметрических семейства сложных разложений x=x(y). Все экспоненциальные добавки, экспоненциальные асимптотики и сложные разложения найдены впервые. Также уточнена техника вычисления экспоненциальных добавок.