|
eaDonNTU, Donetsk >
Научные труды ДонНТУ >
Серія: Обчислювальна техніка та автоматизація >
Випуск 16 (147) >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/handle/123456789/6194
|
| Название: | Логико-формальная модель упорядочения слябов при планировании производства проката |
| Другие названия: | Formal model of the slabs sequencing of the sheet rolled metal planning
Логіко-формальна модель впорядкування слябів при плануванні виробництва прокату |
| Авторы: | Криводубский, О.А.
Косилов, С.А.
Krivodubskyj, O.A.
Kosilov, S.A.
Криводубський, О.О.
Косилов, С.О. |
| Ключевые слова: | логико-формальная модель
формализация
алгоритм
задача планирования
портфель заказов
formal model
formalization
algorithm
the task of planning
portfolio
логіко-формальна модель
формалізація
алгоритм
задача планування
портфель замовлень |
| Дата публикации: | 2009 |
| Издатель: | ДонНТУ |
| Библиографическое описание: | Наукові праці Донецького національного технічного університету. Серія: “Обчислювальна техніка та автоматизація”. Випуск 147(16)/ Редкол.: Башков Є.О. (голова) та ін. — Донецьк: ДонНТУ, 2009. — 248 с. |
| Аннотация: | В данной работе рассматривается формальная модель решения задачи составления производственной программы в планово-производственном отделе ООО «ДМЗ». Формальная модель включает в себя формирование партий для выполнения заказов на основе сгруппированного портфеля заказов. Разработаны методы формализации логико-формальных связей между переменными с учётом технологических ограничений производства. Сформированные логико-формальные модели могут быть применены к объектам с аналогичной структурой. |
| Описание: | In given work is considered the formal model for decision of the task of the scheduling the production program in the planning and production department of «DMZ l.l.c.» (Donetsk metallurgical plant). The formal model comprises the formation of the parties and the fulfillment of the orders on the base of grouped portfolio. The methods is worked out to formalize logical-formal links between variables with account of the technological limitations of the production. Formed model-structure links between input and output variables can be applicable to object with similar structure. |
| URI: | http://ea.donntu.edu.ua/handle/123456789/6194 |
| Располагается в коллекциях: | Випуск 16 (147)
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
