Строится базис конечных автоматов, связанный выводимостью слов в нормальном исчислении Поста. Определяются операторы, реализуемые логическими сетями над этим базисом. Они являются вычислимыми на автоматах Мура, но их класс не является алгоритмически разрешимым. Рассматриваются различные способы обобщения этих конструкций. Формулируются задачи для продолжения этих исследований. Книга предназначена для студентов математических и прикладных специальностей университетов.
Изложены сведения о моделировании пространственных движений твердотельных машин и механизмов, такие как строительные автомобильные краны, одноковшовые экскаваторы, строительные манипуляторы и др., на стадии инженерного проектирования. Приведены описания основных элементов библиотеки SimMechanics. Подробно описаны принципы формирования моделей пространственных механизмов и машин в среде SimMechanics. Показана возможность визуализации движений пространственных механизмов и машин с использованием встроенных средств SimMechanics, а также с помощью пакета Virtual Reality Toolbox.
Учебное пособие может быть полезно студентам механических специальностей и специальности «Автоматизация технологических процессов и производств» при курсовом и диплом проектировании, а также аспирантам при подготовке диссертаций.
В учебном пособии рассмотрены вопросы технологии комбинированных методов обработки деталей, которые широко применяются в изделиях ракетно-космической, авиационной, машиностроительной, химической, сельскохозяйственной и других отраслях промышленности. порядок построения технологических процессов. Приводятся конструкции и характеристика технологического оборудования.
Материалы, изложенные в учебном пособии, будут полезны студентам соответствующих специальностей, аспирантам и инженерно-техническим работникам при разработке и применении новых технологических процессов.
Рассматриваются основы проектирования станочных приспособлений. Рассматривается специфика проектирования сборочных и контрольных приспособлений, приводятся расчеты исполнительных размеров элементов приспособлений, особенности приспособлений для станков с ЧПУ, гибких производственных систем и автоматических линий. Излагается методика проектирования приспособлений. Учебное пособие предназначено для студентов специальностей 151001 – «Технология машиностроения», 151002 – «Металлообрабатывающие станки и комплексы», 151003 – «Инструментальные системы машиностроительного производства».
Рассмотрены классификация и типовые конструкции БЗУ, основы теории и методика их расчета и проектирования. Даны примеры расчета наиболее распространенных в промышленности механических БЗУ: крючковых, дисковых, секторных, ножевых, с возвратно-поступательно движущейся трубкой и с вращающейся воронкой.
В монографии излагается информация, необходимая для успешного построения и использования имитационных моделей сложных систем: методики использования математических основ в прикладных исследованиях на ЭВМ, понятия модельного времени и организации квазипараллелизма в имитационных моделях, существующие способы описания имитационных моделей сложных систем, средства автоматизации имитационных экспериментов.
В издании содержатся базовые понятия и определения основных направлений прикладной математики: теории вероятностей, математической статистики, компьютерного моделирования, планирования экспериментов на ЭВМ и др.
В пособии представлена сводка основных формул и практических расчётов, необходимых для повседневной работы экспериментаторов.
Монография посвящена асимптотическому анализу обобщенной задачи о движении жидкости и обобщенной задачи о~тепловой конвекции жидкости в высокочастотных силовых полях. Построены предельные (усредненные) задачи, сконструированы полные асимптотические разложения решений, а также проведено обоснование усреднения и асимптотик. Для студентов, аспирантов, преподавателей и научных работников, интересующихся асимптотическими методами в теории дифференциальных уравнений и их обоснованием.
Монография посвящена экстремальным задачам теории приближений в пространстве непрерывных функций при аппроксимации элементами конуса, натянутого на конечное число образующих. В терминах расширенного конуса, чебышевского альтернанса с использованием понятия правого знака конуса, приводятся критерии элемента наилучшего приближения с ограничениями и условия его единственности для любой непрерывной функции. Монографии предназначена для студентов старших курсов и аспирантов математических специальностей университетов, кроме того, она может быть полезна научным работникам в области теоретической и прикладной математики.
В пособии приведены характеристики микроорганизмов, методы их получения, селекции, культивирования и хранения, перспективы развития производств, основанных на применении микроорганизмов в биотехнологических процессах (получение пищевого и кормового белка, ферментов, удобрений, антибиотиков, кислот и др.).
Рассматриваются вопросы применения микроорганизмов в процессах брожения, при добыче полезных ископаемых, очистке окружающей среды и др.
