Наука Методы логического и логико-временного анализа цифровых КМОП СБИС Стемпковский Александр Леонидович, Гаврилов Сергей Витальевич, Глебов Алексей Львович

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

В книге выявлены аргументы, противоречия и границы философии логического атомизма. Выделены отдельные варианты логического атомизма Рассела и дана характеристика каждого из них. Философские идеи Витгенштейна классифицированы и квалифицированы на основе детального анализа и сопоставления афоризмов "Дневников 1914-1916" и "Трактата", его многочисленных писем, а также воспоминаний о нем. Делается попытка проанализировать по-новому его логические и философские понятия на основе его "теории символов" и "теории выражения". Результаты анализа, который сделан в работе, могут служить основой дальнейшего исследования логического атомизма, логического позитивизма, а также оксфордской философии обыденного языка. Книга предназначена для студентов, аспирантов и университетских преподавателей не только логики и философии, но также теории языка и теории наук

В данный сборник включены наиболее важные результаты, полученные в различных областях логики за последнее время. Основное внимание уделено развитию неклассических логик. Продолжены исследования по истории отечественной логики. Это издание рукописи В.И. Шестакова, утверждающей отечественный приоритет в открытии логической теории релейно-контактных схем. Также впервые издается на русском языке работа М.И. Шейнфинкеля, положившая начало развитию комбинаторной логики. Особый интерес представляет работа Ю.И. Манина об истинности и работа В.И. Шалака об основаниях логики • Для логиков, философов, математиков и всех, кто интересуется различными приложениями логики

Монография содержит описания 49 разрезов, условий захоронения и состава фаун мелких млекопитающих плиоцен-плейстоцена Русской равнины. Впервые выполнен детальный анализ морфологии насекомоядных, зайцеобразных и грызунов этих фаун. Составлены таблицы для определения ископаемых насекомоядных. Показаны условия обитания и динамика сообществ мелких млекопитающих Русской равнины и прилежащих территорий за последние 3,5-3 млн лет. Предложена новая модель эволюции полевковых (Arvicolidae), важнейшей группы грызунов Северного полушария. Обсуждаются общие вопросы эволюции млекопитающих. Дано обоснование биостратиграфического расчленения континентальных отложений плиоцен-плейстоцена Русской равнины. Приведены схемы корреляции фаун мелких млекопитающих Русской равнины, Сибири, Забайкалья, Центральной и Западной Европы

Настоящий том является вторым из двухтомного издания в Трудах МИАН, посвященного 70-летию академика Владимира Игоревича Арнольда - выдающегося математика современности. В издание включены работы по алгебраической геометрии, теории особенностей, топологии, дифференциальным уравнениям, небесной механике. Тома не разделены строго по тематике. Однако в этом томе собрано большинство работ по механике, дифференциальным уравнениям и приложениям теории особенностей. Среди авторов как ученики В.И. Арнольда разных поколений, так и крупные ученые разных стран, связанные с ним научными интересами. Издание безусловно представляет интерес для широкого круга математиков. Ряд статей на английском языке

Этот том является первым из двухтомного издания в Трудах МИАН, посвященного 70-летию академика Владимира Игоревича Арнольда - выдающегося математика современности. Тематика работ, включенных в издание, весьма разнообразна. Здесь работы по алгебраической геометрии, теории особенностей, топологии, дифференциальным уравнениям и небесной механике. Даже и такой спектр не отражает полностью широту научных интересов Владимира Игоревича Арнольда. Среди авторов как ученики В.И. Арнольда разных поколений, так и крупные ученые разных стран, связанные с ним научными интересами. Том открывает работа самого В.И. Арнольда о топологической классификации специальных функций. Данное издание, безусловно, представляет интерес для широкого круга математиков

Впервые романтическая лирика А.С. Пушкина представлена как целостная художественная система. Анализируется принцип романтического универсализма, рассматриваются критерии поэтической ценности, исследуется проблема романтического психологизма, устанавливается связь с творческими поисками В.А. Жуковского и К.Н. Батюшкова. Для филологов, преподавателей и студентов гуманитарных факультетов, а также для широкого круга читателей, интересующихся русской поэзией первой четверти XIX в

Одна из важнейших технологий - энергоемкие технологические процессы, такие как лазерная, термохимия, механохимия, сонохимия, плазмохимия. Технологические системы, в которых используются указанные способы инициирования процессов, неравновесные и нелинейные. Теоретические аспекты таких технологических систем изучены недостаточно. Таковы вакуумно-плазменные и плазменно-растворные системы, используемые для модифицирования синтетических и природных полимерных материалов. Их изучение и практическое применение требует единого подхода к комплексу проблем. Это физика, физическая химия химически реагирующей неравновесной плазмы низкого давления и природных синтетических полимерных материалов, технология переработки и модифицирования этих материалов, физика и физическая химия растворных систем

В монографии изложены статистические методы моделирования динамических систем по данным наблюдений их функционирования в условиях структурной неопределенности по составу входных переменных и степени статистической зависимости между случайными составляющими в моделях. В рамках метода группового учета аргументов (МГУА) разработаны критерии качества моделей, основанные на разбиении выборки наблюдений на обучающую и проверочную подвыборки, и критерии скользящего экзамена • Применение изложенных методов моделирования позволяет глубже проникнуть в суть явлений и объектов в процессе научных исследований, позволяет лучше описать состояние и прогнозировать поведение систем в условиях структурной неопределенности в различных приложениях • Книга предназначена для специалистов по математическому моделированию в различных областях науки и практики, многомерному статистическому анализу, а также для студентов и аспирантов учебных направлений "прикладная математика", "информатика и кибернетика"

Рассмотрены методы и приемы лингвистического анализа, основные цели и механизмы их применения, приведены примеры их использования с необходимыми пошаговыми пояснениями. Уточнено соотношение понятий "метод", "методика", "прием", "аспект исследования" и др. ; разработана общая классификация методов и приемов, используемых в науке о языке. Освещена историческая ретроспектива вопроса, даны критические комментарии ряда спорных моментов. Для преподавателей вузов, студентов, аспирантов, учителей - словесников, а также всех, кто интересуется проблемами теоретической лингвистики. 4-е издание, стереотипное

Данная книга представляет собой полный учебный курс по тематике машинного зрения и цифровой обработки изображений и одновременно может служить практическим пособием по построению приложений машинного зрения в среде визуального программирования LabVIEW с использованием библиотеки средств обработки и анализа изображений IMAQ Vision. Рассматриваются аспекты получения, хранения, обработки и анализа цифровых изображений, автоматического выделения и распознавания на изображениях различного рода объектов. Описываемые методы подробно иллюстрируются программами и схемами обработки, созданными в LabVIEW на базе IMAQ Vision. Книга рассчитана на научных работников, инженеров и студентов технических ВУЗов, интересующихся тематикой машинного зрения и программированием в среде LabVIEW

Данная книга представляет собой полный учебный курс по тематике машинного зрения и цифровой обработки изображений и одновременно может служить практическим пособием по построению приложений машинного зрения в среде визуального программирования LabVIEW с использованием библиотеки средств обработки и анализа изображений IMAQ Vision. Рассматриваются основные аспекты получения, хранения, обработки и анализа цифровых изображений, а также автоматического выделения и распознавания на изображениях различного рода объектов. Описываемые методы подробно иллюстрируются программами и схемами обработки, созданными в LabVIEW на базе IMAQ Vision. Приводятся многочисленные примеры практических приложений машинного и компьютерного зрения в таких областях, как автоматизация измерений и технический контроль, видеонаблюдение, биометрия, обработка документов, медицинские приложения