Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:БД "Книги" (1)БД "Статьи" (102)Труды АМГУ (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=управляющие программы<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.


    Цитович, И. Г. (д-р техн. наук, профессор).
    Машиностроение - механизм реализации наукоемких технологий [Текст] / И. Г. Цитович, Н. В. Галушкина // Текстильная промышленность. - 2008. - N 6. - С. 38-42
УДК
ББК 37.238
Рубрики: Легкая промышленность
   Трикотажное производство

Кл.слова (ненормированные):
текстильное машиностроение -- текстильное оборудование -- трикотажное оборудование -- трикотажные машины -- управляющие технологические программы -- управляющие программы -- технологические программы -- программы вязания -- системы машин -- комплексные системы -- структуры машин -- функции машин -- управление машинами -- проектирование машин -- концепции проектирования
Аннотация: Проанализированы проблемы создания оборудования для трикотажного производства и развития текстильного машиностроения.


Доп.точки доступа:
Галушкина, Н. В. (канд. техн. наук)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

2.


    Аверченков, А. В.
    Автоматизация формирования управляющих программ для многофункциональных станков с ЧПУ на основе выбора оптимальной стратегии обработки [Текст] / А. В. Аверченков, А. Е. Симуни // Вестник Брянского государственного технического университета. - 2010. - N 2. - С. 15-21. - Библиогр.: с. 21 (3 назв. ) . - ISSN 5-89838-2
УДК
ББК 34.63
Рубрики: Машиностроение
   Обработка металлов резанием

Кл.слова (ненормированные):
автоматизированные системы -- станки с ЧПУ -- САПР -- многофункциональные станки -- обработка металлов -- управляющие программы -- технологическая подготовка производства
Аннотация: Рассмотрены вопросы автоматизированного подбора оптимальной стратегии обработки при формировании управляющих программ для станков с ЧПУ.


Доп.точки доступа:
Симуни, А. Е.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

3.


    Филипас, Александр Александрович.
    Программно-аппаратный комплекс для исследования свойств радиационностойких пьезоэлектрических датчиков [Текст] / А. А. Филипас, А. Ю. Агеев, Е. В. Агеева // Известия Томского политехнического университета. - 2012. - Т. 320, № 4 : Энергетика. - С. 98-102 : ил. - Библиогр.: с. 102 (11 назв.) . - ISSN 1684-8519
УДК
ББК 32.852 + 32.973-018
Рубрики: Радиоэлектроника
   Полупроводниковые приборы

   Вычислительная техника

   Программирование ЭВМ. Компьютерные программы. Программотехника

Кл.слова (ненормированные):
программно-аппаратные комплексы -- пьезоэлектрические датчики -- радиационностойкие датчики -- пьезокерамика -- статические свойства -- динамические свойства -- пьезоэлементы -- управляющие программы -- базы данных -- внешнее воздействие -- гидростатическое формование усилий -- шаговые электродвигатели -- результаты исследований
Аннотация: Описан программно-аппаратный автоматизированный комплекс, предназначенный для изучения статических и динамических свойств пьезоэлементов при варьировании внешних воздействий (температуры, внешнего статического усилия и т. д. ). В составе комплекса механическая часть, система задания внешних электрических сигналов, системы измерений и контроля, управляющая программа и база данных. В механической части использован принцип гидростатического формирования усилия на основе шагового электродвигателя. Управляющая программа и база данных позволяют накапливать, обрабатывать, наглядно представлять и сохранять получаемые результаты исследований.


Доп.точки доступа:
Агеев, Александр Юрьевич; Агеева, Евгения Владимировна
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

4.


    Карпов, Юрий Глебович (1941-).
    Устойчивое развитие общества и обеспечение качества программных систем управления [Текст] / Ю. Г. Карпов // Научно-технические ведомости СПбГПУ. Сер.: Наука и образование. - 2012. - № 3 (154), ч. 1. - С. 70-72. - Библиогр.: с. 72 (1 назв.) . - ISSN 1994-2354
УДК
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника

Кл.слова (ненормированные):
программные системы управления -- устойчивое развитие -- программные ошибки -- верификация программ -- всепроникающие вычисления -- управляющие программы -- бортовые системы управления -- техногенные катастрофы -- программное обеспечение -- аппаратные средства управления
Аннотация: Программные системы управления широко используются для принятия решений в критических сферах жизни общества: от управления технологическими процессами предприятий до бортовых систем управления самолетами и космическими кораблями. Функционирование современного общества все больше зависит от правильности компьютерных программ. В работе приводятся примеры программных ошибок, приведшие к огромным материальным потерям и даже к человеческим жертвам. Анализируется состояние в области верификации программ, рассматривается новый подход к разработке программ (проверка моделей), основанный на формальных методах и позволяющий существенно уменьшить уровень критических ошибок в разрабатываемых программах.Control software is intensively used for decision making in critical spheres of the modern society, from technology process control to inboard control systems in avionic and space vehicles. Modern society life become more and more dependable from correctness of control software. In the paper there presented examples of software errors and material losses and losses of human lives. Program verification results are discussed and a new promising approach to program verification called model checking is analyzed. Model checking is based on formal methods. It may considerably decrease the number of critical errors in control software.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

5.


    Чернов, С. А. (кандидат технических наук).
    О развертывании элементов разрешающие системы уравнений равновесия в МКЭ в двойную точность [Текст] / С. А. Чернов // Вестник Ульяновского государственного технического университета. - 2013. - № 1. - С. 24-26 : 1 рис. - Библиогр.: с. 26 (5 назв. ) . - ISSN 1674-7016
УДК
ББК 22.19
Рубрики: Математика
   Вычислительная математика

Кл.слова (ненормированные):
двойная точность -- матрицы -- метод конечных элементов -- управляющие программы -- Фортран -- языки программирования
Аннотация: Предложен и реализован рациональный алгоритм преобразования элементов системы уравнений равновесия конструкции в методе конечных элементов из обычной точности в двойную с использованием внешней памяти ЭВМ.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

6.


    Щекин, А. В.
    Конструкторско-технологическая параметризация в составе интегрированной CAM-системы [Текст] = Design and Technological Parameterization in CAM / А. В. Щекин // Информационные технологии. - 2019. - Т. 25, № 7. - С. 387-396. - Библиогр.: с. 396 (31 назв.) . - ISSN 1684-6400
УДК
ББК 34.63
Рубрики: Машиностроение
   Обработка металлов резанием

Кл.слова (ненормированные):
CAM -- Computer-Aided Manufacturing -- параметризация -- управляющие программы -- SD-модели -- CAM-системы
Аннотация: Приведен подход к программной организации конструкторско-технологической параметризации в области CAM (Computer-Aided Manufacturing).

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

 
Статистика
за 30.07.2024
Число запросов 139320
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)