Каменева, Анна. Гравитационные стеллажи. Формула качества: "Фест Логистик" + Interroll [Текст] / Анна Каменева // Логистика. - 2012. - № 8. - С. 18-19 . - ISSN 2219-7222
Рубрики: Экономика Экономический потенциал организации Кл.слова (ненормированные): гравитационные стеллажи -- компании -- конвейерные системы -- конвейеры -- концерны -- логистика -- роликовые конвейеры -- складские технологии -- складское оборудование -- складское хозяйство -- стеллажи Аннотация: Компания "Фест Логистик" поставляет складское оборудование производства Interroll. Доп.точки доступа: Фест Логистик, компания; Interrol, концерн Нет сведений об экземплярах (Источник в БД не найден) |
Рахилин, Константин Валентинович (кандидат технических наук). Подходы к выбору оборудования в складской интралогистике [Текст] / К. В. Рахилин, Евгений Сафронов, Александр Чеканов // Логистика. - 2017. - № 11. - С. 16-19 : 3 портр., 5 рис. - Библиогр. в конце ст. (15 назв.) . - ISSN 2219-7222
Рубрики: Техника Складское хозяйство Кл.слова (ненормированные): вилочные погрузчики -- интралогистика -- интралогистический транспорт -- конвейерные системы -- логистика -- материальные потоки -- напольное транспортирование палет -- палетные конвейерные транспортеры -- погрузчики -- складская интралогистика -- складская логистика -- складское напольное оборудование Аннотация: Рассмотрены общие подходы для выбора оборудования для складской интралогистики и оценки эффективности решения. Доп.точки доступа: Сафронов, Евгений; Чеканов, Александр Нет сведений об экземплярах (Источник в БД не найден) |
Автоматизированные системы перемещения грузов от COMITAS [Текст] // Логистика. - 2018. - № 11. - С. 6-7 : 2 рис. . - ISSN 2219-7222
Рубрики: Техника Складское хозяйство Кл.слова (ненормированные): Cross-Bell Sorter -- автоматизированные системы складирования -- вертикальные сортировщики -- высокоскоростные сортировочные системы -- горизонтальные сортировщики -- грузы -- конвейерные системы -- перемещение грузов -- радиошаттлы -- система шаттлов -- системы перемещения грузов -- складские системы -- складское оборудование -- склады -- сортировочные системы -- спутник-шаттлы -- шаттлы Аннотация: Рассмотрены преимущества использования автоматизированных систем перемещения грузов от COMITAS. Доп.точки доступа: "COMITAS", компания Нет сведений об экземплярах (Источник в БД не найден) |
Лапин, Э. С. Функциональный подход к моделированию динамики систем детерминированных конечных автоматов [Текст] / Э. С. Лапин, М. И. Абдрахманов // Известия вузов. Горный журнал. - 2021. - № 2. - С. 113-122. - Библиогр.: с. 121-122 (15 назв.) . - ISSN 0536-1028
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Горное дело Рудничный транспорт Кл.слова (ненормированные): аппликативные функторы -- конвейерные системы -- конечные автоматы -- конечные динамические системы -- моделирование динамики систем -- функторы -- шахтные конвейерные системы Аннотация: Представлены результаты исследований функционального подхода к моделированию системы конечных автоматов, не ограниченной топологией связи между ее элементами и неоднородностью типов используемых алгоритмов. Рассмотрена методология моделирования системы конечных автоматов применительно к шахтным конвейерным системам. Доп.точки доступа: Абдрахманов, М. И. Нет сведений об экземплярах (Источник в БД не найден) |
Лапин, Э. С. Формальное доказательство соответствия программной реализации используемых в системах контроля и управления моделей заданным требованиям [Текст] / Э. С. Лапин, М. И. Абдрахманов // Известия вузов. Горный журнал. - 2021. - № 7. - С. 99-108. - Библиогр.: с. 106-108 (28 назв.) . - ISSN 0536-1028
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Горное дело Рудничный транспорт Кл.слова (ненормированные): конвейерные системы -- конечные автоматы -- математические системы -- модели систем -- программное обеспечение -- системы контроля -- системы управления -- технические системы -- формальное доказательство -- шахтные конвейерные системы Аннотация: Представлены результаты исследований возможности применения метода формального доказательства соответствия программной реализации модели заданным требованиям для систем, модели которых могут быть представлены в виде конечных автоматов. На примере шахтной конвейерной системы показано применение метода, состоящего в программной реализации модели соответствующего конечного автомата, формировании предположений о наличии у модели свойств в виде теорем с их последующим доказательством с использованием специальных программных средств. Доп.точки доступа: Абдрахманов, М. И. Нет сведений об экземплярах (Источник в БД не найден) |