Полное описание
> Evolutionary computation in air traffic control planning / C.H.M.van Kemenade,C.F.W.Hendriks,H.H.Hesselink,J.N.Kok. - Amsterdam : [s. n.], 1995. - 10 p. : ill. - (Report:Computer science / CWI ; CS-R9550). - Текст : непосредственный. Библиогр.:с.9-10
ГРНТИ УДК 73.37.81 656.7.07:004
Рубрики: Воздушный транспорт -- Организация движения -- Автоматизация
Доп. точки доступа: Kemenade, C.H.M.van
Hendriks, C.F.W.
Hesselink, H.H.
Kok, J.N.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9550)>
Шифр в сводном ЭК: 6b017a7d4f0da7a8e6831ef2fbc47378
Kemenade C.H.M.van Explicit filtering of building blocks for genetic algorithms / C. H.M.van Kemenade, 1996. - 9 p. - Текст : непосредственный. Kemenade C.H.M.van Cluster evolution strategies : сборник научных трудов / C. H.M.van Kemenade, 1996. - 9 p. - Текст : непосредственный. Kemenade C.H.M.van Comparison of selection schemes for evolutionary constrained optimization / C. H.M.van Kemenade, 1996. - 8 p. - Текст : непосредственный. Kemenade C.H.M.van Evolutionary air traffic flow management for large 3D-problems / C. H.M.van Kemenade, J. M.van den Akker, J. N. Kok, 1996. - 9 p. - Текст : непосредственный. Kemenade C.H.M.van Density-based unsupervised classification for remote sensing / C. H.M.van Kemenade, J. A. La Poutre, R. J. Mokken, 1998. - 21 p. - Текст : непосредственный. From failure to success: comparing a denotational and a declarative semantics for Horn clause logic / F.S. de Boer, J. N. Kok, C. Palamidessis, J. J. Rutten, 1990. - 20 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Kemenade C.H.M.van An evolutionary approach to time constrained routing problems / C.H.M.van Kemenade,J.N.Kok, 1995. - 12 p. - Текст : непосредственный. Eiben A.E. Orgy in the computer:multi-parent reproduction in genetic algorithms / A.E.Eiben,C.H.M.van Kemenade,J.N.Kok, 1995. - 10 p. - Текст : непосредственный. Kemenade C.H.M.van Multi-parent recombination to overcome premature convergence in genetic algorithms / C.H.M.van Kemenade,A.E.Eiben, 1995. - 8 p. - Текст : непосредственный. Evolutionary computation in air traffic control planning / C.H.M.van Kemenade,C.F.W.Hendriks,H.H.Hesselink,J.N.Kok, 1995. - 10 p. - Текст : непосредственный. Kemenade C.H.M.van Raising GA performance by simultaneous tuning of selective pressure and recombination disruptiveness / C.H.M.van Kemenade,J.N.Kok,A.E.Eiben, 1995. - 9 p. - Текст : непосредственный. Kemenade C.H.M.van A two-level evolution strategy : balancing global and local search / C.H.M.van Kemenade, 1995. - 12 p. - Текст : непосредственный. Bonsangue M. Semantics, orderings and recursion in the weakest precondition calculus / M.Bonsangue,J.N.Kok, 1992. - 58 p. - Текст : непосредственный. Kemenade C.H.M.van Building block filtering and mixing / C.H.M.van Kemenade, 1998. - 15 p. - Текст : непосредственный. Transmission function models of infinite population genetic algorithms / C.H.M.van Kemenade,J.N.Kok,J.A.La Poutre,D.Thierens, 1998. - 22 p. - Текст : непосредственный. Transmission function models of finite population genetic algorithms / C.H.M.van Kemenade,J.N.Kok,J.A.La Poutre,D.Thierens, 1998. - 30 p. - Текст : непосредственный. Kemenade C.H.M.van Analysis of NK-xor landscapes / C.H.M.van Kemenade, 1998. - 10 p. - Текст : непосредственный. Machine learning: ECML 2007 : 18th European conference on machine learning, Warsaw, Poland, September 17-21, 2007: proceedings / ed. J. N. Kok [et al.], 2007 r=on-line Knowledge discovery in databases: PKDD 2007 : 11th European conference on principles and practice of knowledge discovery in databases, Warsaw, Poland, September 17-21, 2007: proceedings / ed. J. N. Kok, 2007 r=on-line Показать все результаты Multi-authority secret-ballot elections with linear work / R. J.F. Cramer, M. Franklin, L. A.M. Schoenmakers, M. Yung, 1995. - 12 p. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный. Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный. Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный. Mullender S.J. Amoeba-high-performance distributed computing / S. J. Mullender, G. van Rossum, 1989. - 13 p. - Текст : непосредственный. Herman I. On the projective invariant represintation of conics in computer graphics / I. Herman, 1989. - 18 p. - Текст : непосредственный. Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный. Kuijk A.A.M. Temporal issues of animate response / A. A.M. Kuijk, 1989. - 11 p. - Текст : непосредственный. Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Amoeba - a distributed operating system for the 1990s / S. J. Mullender, G. van Rossum, A. S. Tanenbaum, 1990. - 12 p. - Текст : непосредственный. Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный. Hubl J. Modeling clip: some more results / J. Hubl, I. Herman, 1990. - 9 p. - Текст : непосредственный. Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный. Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный. Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный. Показать все результаты Автоматизированные системы управления воздушным движением : выставочные материалы / А. Р. Бестугин, М. А. Велькович, А. В. Володягин [и др.] ; Ред. Ю. Г. Шатраков, 2013. - 449 с. - Текст : непосредственный. Свободный полет - 2015. Задачи обработки больших данных в авиации : материалы временных коллективов / Летно-исследовательский ин-т им. М. М. Громова (Жуковский), Уфимский гос. авиационный технический ун-т, 2016. - 241 с. - Текст : непосредственный. Беляков С.Л. Вычислительные средства систем натурного эксперимента / С. Л. Беляков, А. С. Просочкин, В. Ю. Орлов, 1991. - 48 с. - Текст : непосредственный. Kim S.H. Impact of device level faults in a digital avionic processor : сборник научных трудов / S. H. Kim, 1989. - 55 мкфш. - Текст : непосредственный. Glover R.D. Design and initial application of the extended aircraft interrogation and display system: multiprocessing ground support equipment for digital flight : сборник научных трудов / R. D. Glover, 1987. - 96 мкфш. - Текст : непосредственный. Никифоров С.В. Исследование принципов и разработка программных средств управления узлами микропроцессорных сетей : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд.техн.наук / С. В. Никифоров, 1995. - 21 с. - Текст : непосредственный. IEEE Transactions on Intelligent Transportation Systems / IEEE. - Журнал выходит с 2000г. r=on-line. - Текст : электронный. Рудельсон Л.Е. Программное обеспечение автоматизированных систем управления воздушным движением : Учеб. пособие. Ч. 1 : Системное программное обеспечениеКн. 3. Управление периферией в АС УВД, 2008. - 96 с. - Текст : непосредственный. Aermacchi World. - Журнал выходит с 1978г. - Текст : непосредственный. Бронирование и продажа пассажирских авиаперевозок с использованием системы Сирена 2.3, 2000. - 201 с. - Текст : непосредственный. Филин А.Д. Тренажерные комплексы радиолокационного контроля воздушного пространства / А. Д. Филин, А. Ю. Шатраков, 2013. - 221 с. - Текст : непосредственный. Кемалов Б.К. Разработка интегрированных средств представления знаний в системах машинного обучения авиационных специалистов / Б. К. Кемалов, 2012. - 19 с. - Текст : непосредственный. Яковлев К.С. Исследование методов и разработка алгоритмов автоматического планирования траектории на плоскости / К. С. Яковлев, 2010. - 16 с. - Текст : непосредственный. Navigation= Nihon Kokai Gakkaishi. - Журнал, 1998г. № 138. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Автоматизированные системы управления воздушным движением : выставочные материалы / А. Р. Бестугин, М. А. Велькович, А. В. Володягин [и др.] ; Ред. Ю. Г. Шатраков, 2013. - 449 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Castro A.J.M. A New Approach for Disruption Management in Airline Operations Control / A. J.M. Castro, A. P. Rocha, E. Oliveira, 2014 r=on-line. - Текст : электронный. Evolutionary computation in air traffic control planning / C.H.M.van Kemenade,C.F.W.Hendriks,H.H.Hesselink,J.N.Kok, 1995. - 10 p. - Текст : непосредственный. Методы и модели автоматизации процессов управления воздушным движением : Межвуз. темат. сб. науч. тр. / Акад. гражд. авиации, 1989. - 187 с. - Текст : непосредственный. Вопросы проектирования и эксплуатации информационных и управляющих систем ГА : Межвуз. темат. сб. науч. тр. / Моск. ин-т инженеров гражд. авиации, 1990. - 127 с. - Текст : непосредственный. Петренко С.В. Методы и модели организации информационной поддержки для эффективного формирования бесконфликтного потока воздушных судов : автореф. дис. .. д-ра техн. наук: 05.25.05 / С. В. Петренко, 2013. - 32 с. - Текст : непосредственный. Мелехов Я.А. Анализ и разработка алгоритмов совместной обработки информации в системах относительной навигации : автореф. дис. .. канд. техн. наук: 05.12.14 / Я. А. Мелехов, 2014. - 18 с. - Текст : непосредственный. Бочкарев В.В. Автоматизированное управление движением авиационного транспорта / В.В.Бочкарев,Г.А.Крыжановский,Н.Н.Сухих;Под ред.Г.А.Крыжановского, 1999. - 319 с. - Текст : непосредственный. Автоматизированные системы управления воздушным движением : учеб. пособие / А. Р. Бестугин [и др.]; под науч. ред. Ю. Г. Шатракова, 2014. - 448 с. - Текст : непосредственный. Studies in computational intelligence / ed. J. Kacprzyk. Vol. 173 : Computational intelligence in integrated airline scheduling / T. Grosche, 2009. - XX, 250 p. - Текст : непосредственный. Анодина Т.Г. Автоматизация управления воздушным движением : Учеб. для студентов вузов гражд. авиации / Т.Г.Анодина,А.А.Кузнецов,Е.Д.Маркович;Под ред. А.А.Кузнецова, 1992. - 280 с. - Текст : непосредственный. Мусатов В.В. Применение вычислительной техники в гражданской авиации: основы построения и применения вычислительных средств и АСУ / В. В. Мусатов, 1973. - 320 с. - Текст : непосредственный. Бритов Г.С. Автоматизированные системы и средства управления воздушным движением : Текст лекций / Г.С.Бритов,В.П.Попов, 1995. - 108 с. - Текст : непосредственный. Кизько В.Г. Задачи УВД в MathCAD : учеб. пособие / В. Г. Кизько, 2005. - 160 с. - Текст : непосредственный. Тучков Н.Т. Автоматизированные системы и радиоэлектронные средства управления воздушным движением : Учеб. для вузов гражд. авиации / Н.Т.Тучков, 1994. - 368 c. - Текст : непосредственный. Программы развития систем организации воздушного движения Европы и США SESAR и NextGen : (аналитический обзор по материалам зарубежных информационных источников) / Государственный научный центр Российской Федерации Государственный научно-исследовательский институт авиационных систем (ФГУП "ГОСНИИАС"), Научно-информационный центр, 2011. - 256 с. - Текст : непосредственный. Обухов, Юрий Владимирович. Имитационные модели, алгоритмы и программы для анализа безопасности полетов в системе управления воздушным движением : специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ: автореферат диссертации на соискание ученой степени кандидата технических наук / Обухов Юрий Владимирович, 2019. - 23 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽