Для автоматизации документооборота часто требуются кроссплатформенные средства генерации или редактирования файлов электронных таблиц в формате Office Open XML. Несмотря на наличие нескольких свободно распространяемых библиотек и программных пакетов с подобными функциями, ни одно из этих средств не гарантирует полной совместимости с программным пакетом Microsoft Office. В данной статье анализируется возможность автоматизации редактирования файлов электронных таблиц без потери какихлибо атрибутов и внутренних элементов. Авторами статьи разработана программа, преобразующая содержимое файла формата Office Open XML в текстовый формат и обратно, тем самым обеспечивающая аккуратную и эффективную обработку документов электронных таблиц для пакета Microsoft Office.

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

Оценивая число решений полиномиальных систем уравнений в терминах многогранников Ньютона, в 1974 году автор доказал, что коразмерность идеала (g1, g2, . . . , gd), порожденного в групповой алгебре K[Zd] над полем K характеристики 0 многочленами Лорана общего положения, имеющими один и тот же многогранник Ньютона Γ, равна d! × V olume(Γ). Предположив, что многогранник Ньютона является симплициальным и сверх-удобным (то есть содержащим некоторую окрестность начала координат), автор передоказывает и усиливает результат 1974 года, явно указывая множество Bsh мономов , классы эквивалентности которых образуют базис фактор-алгебры K[Zd]/(g1, g2, . . . , gd). Доказывается, что мощность этого множества равна d!×V olume(Γ). По известной теореме коммутативной алгебры из этого следует, что в случае алгебраически замкнутого поля K характеристики 0, число решений системы уравнений g1 = g2 = . . . = gd = 0 с учетом кратностей будет равно d! × V olume(Γ). Множество Bsh обладает аналогом свойства Дэна-Соммервилля и естественно возникает в процессе вычисления ряда Пуанкаре линейного пространства многочленов Лорана, снабженного "ломаной" градуировкой Арнольда-Ньютона. Индуктивное построение множества Bsh опирается на конструкцию шеллинга sh, существование которого для любого выпуклого многогранника доказали в 1971 году Брюгеcсер и Мани. Используя структуру Bsh, мы доказываем, что ассоциированная градуированная K-алгебра grΓ(K[Zd]), построенная по фильтрации Арнольда-Ньютона K-алгебры K[Zd], обладает свойством коэн-маколеевости. Наше доказательство коэн-маколеевости является обобщением доказательства Б. Кайнда и П. Клейншмитта 1979 года о коэн-маколеевости колец Стенли-Рейснера (Stanley–Reisner rings) симплициальных комплексов, допускающих шеллинг. Используя коэн-маколеевость grΓ(K[Zd]), мы доказываем, что для полиномов Лорана общего положения (g1, g2, . . . , gd), имеющих один и тот же многогранник Ньютона Γ, множество Bsh является мономиальным базисом фактор-алгебры K[Zd]/(g1, g2, . . . , gd). Результаты статьи легко переносятся на обычные многочлены и формальные ряды, чему будет посвящена отдельная публикация.