В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ. Для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования.

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

В книге известных специалистов из ГДР изложены основы теории и практики построения и эксплуатации стандартных средств сопряжения для измерительных систем. Рассматриваются вопросы использования микропроцессоров, микро-ЭВМ и соответствующего программного обеспечения. Для специалистов в области измерительной техники и автоматизации производственных процессов.

Словарь содержит свыше 17 тыс. словарных статей по программированию персональных ЭВМ: операционным системам, языкам программирования, текстовым процессорам, теории алгоритмов и т. п. Является учебным пособием для студентов, изучающих теорию и практику программирования персональных компьютеров.

Гармонический анализ и преобразование Лапласа очень часто применяются для решения многих теоретических и прикладных вопросов. В книге содержится изложение большинства известных методов приближенного обращения преобразования Лапласа и вычисления интегралов Фурье. Книга предназначена для научных и инженерно-технических работников, которым в их деятельности приходится иметь дело с теорией или приложениями преобразования Лапласа и интегралов Фурье. Она будет полезным справочником для работников вычислительных центров и конструкторских бюро. В книге 2 рис., библ. 11 названий.

Книга «Web-дизайн: справочник» - уже третье издание, выпущенное в США издательством O'Reilly. В нынешнем своем виде она полностью переработана в соответствии с Web-стандартами, особое место среди которых занимают стандарты CSS 2.1 и XHTML 1.0. Автор Д. Н. Роббинс поделилась с читателем многолетним опытом, вобравшим в себя современные реалии интенсивно развивающейся области Web-технологий. Справочник содержит ценную информацию по созданию Web-страниц, обеспечению доступности сайта для устройств и пользователей, использованию JavaScript и скриптов DOM, созданию изображений GIF, JPEG, PNG, подходящих для размещения в Web-окружении, а также охватывает новые подходы к печати материалов из Web-пространства.

Рассмотрены основные стратегии, принципы и концепции нового направления «Генетические алгоритмы». Описаны фундаментальные основы генетических алгоритмов и эволюционного моделирования. Проанализированы архитектуры генетического поиска и модели генетических операторов. Приведены конкретные примеры решения основных задач оптимизации на основе генетических алгоритмов и дано большое число контрольных вопросов и упражнений. Для студентов вузов, обучающихся по направлению «Информатика и вычислительная техника», специальности «Информационные технологии в образовании», для специалистов, занятых разработкой интеллектуальных САПР, разработкой новых информационных технологий в науке, технике, образовании, бизнесе и экономике.

В книге изложены численные методы решения задач оптимизации. Приводятся теоретическое обоснование и краткие характеристики этих методов. Рассматриваются задачи минимизации функций в конечномерных и бесконечномерных пространствах, а также задачи оптимального управления процессами, описываемыми системами обыкновенных дифференциальных уравнений и уравнений в частных производных. Для студентов вузов по специальности «Прикладная математика» и специалистов в области задач оптимизации. Предыдущее издание книги вышло в 2002 г. в издательстве «Факториал».

Предлагаемая книга является законченным справочным пособием и руководством по применению 32-разрядных микроконтроллеров архитектуры AVR32 фирмы Atmel семейства AT32UC3. Книга содержит подробную справочную информацию о большинстве выпускаемых в настоящее время устройств этого семейства. Помимо сведений справочного характера книга включает обширную информацию по программным инструментальным средствам разработки приложений для AT32UC3: IDE IAR Embedded Workbench for AVR32 от IAR, IDE AVR3 2 Studio от Atmel и аппаратным инструментальным средствам от Atmel. В книге также приводятся описания свободно распространяемых производителем примеров приложений для AT32UC3, протестированных автором. Изложенная в книге информация охватывает все этапы проектирования приложений на основе AT32UC3, что позволяет в короткие сроки овладеть навыками работы с этими микроконтроллерами даже начинающим разработчикам. К книге прилагается DVD-диск, содержащий бесплатные демоверсии описанного в ней инструментального программного обеспечения, исходные коды описанных проектов, оригинальную справочную информацию производителя и другие информационные и справочные материалы. Книга предназначена для специалистов в области разработки электронной аппаратуры, студентов технических вузов и других лиц, интересующихся электроникой. Необходимый уровень подготовки читателей предполагает знание основ цифровой и аналоговой схемотехники, а также основ программирования на языке С.

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

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

Книга представляет собой практическое руководство, посвященное вопросам восстановления зависимостей по выборкам ограниченного объема. После изложения теоретических основ и описания алгоритмов приведены библиотеки программ распознавания образов, восстановления многомерной регрессии, решения некорректных задач интерпретации измерений, составленные на языке Фортран IV и ориентированные на машины серии ЕС. Алгоритмы созданы в соответствии с общим принципом структурной минимизации среднего риска, суть которого заключается в оптимальном соотнесении сложности приближающей функции с объемом эмпирических данных. Книга предназначена для специалистов, занятых применением статистических методов в экономике, медицине, геологии, технике, научных исследованиях.

В работе представлен пакет программного обеспечения для IBM PC, названный IMAGES ("Изображения"), предназначенный для улучшения и анализа оптико-телевизионных изображений поверхностей материалов. Программа позволяет определять геометрические характеристики структурных элементов изображения (зерна, полосовые структуры), как в ручном, так и в автоматическом режимах, и представляет интерес для специалистов в области неразрушающего контроля материалов и обработки изображений.