Главная страница

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=программирование<.>)
Общее количество найденных документов : 31
Показаны документы с 1 по 30
 1-30    31-31 
1.
Вид документа : ЖурналЖурнал
Шифр издания : У2765
Заглавие : Вычислительные методы и программирование : Науч.журн.
Выходные данные : М.: Издательство Московского университета, 2001 (Москва)
ISSN: 05075386
Зарегистрированы поступления :
2006г. экз.2; (ХР) т.7; N :1;
2006г. экз.1; (ФМЗ) т.7; N :1,2;
2005г. экз.3; (ХР) т.6; N :1,2;
2005г. экз.2; (ХР) т.6; N :1,2;
2005г. экз.1; (ФМЗ) т.6; N :1,2;
2004г. экз.2; (ХР) т.5; N :1,2;
2004г. экз.1; (ФМЗ) т.5; N :1,2;
2003г. экз.2; (ХР) т.4; N :1,2;
2003г. экз.1; (ФМЗ) т.4; N :1,2;
2002г. экз.3; (ХР) т.3; N :2;
2002г. экз.2; (ХР) т.3; N :1,2;
2002г. экз.1; (ФМЗ) т.3; N :1,2;
2001г. экз.3; (ХР) т.2; N :2;
2001г. экз.2; (ХР) т.2; N :2;
2001г. экз.1; (ФМЗ) т.2; N :1,2
Издание можно найти в:
ФМЗ; ХР;
Найти похожие
2.
Вид документа :
Шифр издания : vr=S610910
Заглавие : SIAM Journal on Optimization : Society for Industrial and Applied Mathematics Journal on Optimization
Выходные данные : Philadelphia, PA: Society for Industrial and Applied Mathematics, 1991
ISSN: 10526234
ГРНТИ : 28.27.15 + 28.25.23 + 50.41
Аннотация: Научный журнал. Статьи по исследованиям в области теории и практики оптимизации, включая линейное и квадратичное программирование, выпуклое программирование, нелинейное программирование, проблемы комплементарности, стохастическая оптимизация, комбинаторная оптимизация, целочисленное программирование, а также выпуклый, негладкий и вариационный анализ. Особое внимание придаётся работам по теории, алгоритмам, программному обеспечению, практике вычислений и методам оптимизации.
Найти похожие
3.
Вид документа :
Шифр издания : vr=S026771
Заглавие : Set-Valued Analysis : International Journal Devoted to the Theory of Multifunctions and its Applications
Выходные данные : Berlin: springer, 1993
ISSN: 09276947
ГРНТИ : 27.23
Аннотация: Статьи по теории многозначных отображений (мультифункций), охватывающие все аспекты математического анализа, в которых используются мультифункции, и ее применение во многих разделах чистой и прикладной математики: анализ многозначных отображений; исчисление многозначных отображений в широком смысле (непрерывность, производные, измеримость, касательный конус и др.); топологии гиперпространств; конвергенции множества (включая графические и эпиграфические); селекция и параметризация; неподвижные точки мультифункций; дифференциальные, интегральные и операторные включения; теория устойчивости; мультифункции особого типа (монотонные операторы, выпуклые процессы, метрические проекции и др.); применение многозначного анализа в теории управления и оптимизации, вариационном исчислении, нелинейном функциональном анализе; эконометрия; математическое программирование; теория игр ( в т.ч. дифференциальных и динамических); интервальный анализ; вероятность и статистика; исследование операций; механика континуума; упругость; инженерные задачи (главным образом, обратные и идентификации); математическая морфология.
Найти похожие
4.
Вид документа : Журнал
Шифр издания : vr=P300449
Заглавие : Particuology : Science and Technology of Particles
Выходные данные : Amsterdam: Elsevier Science Publishers, 2003
Примечания : n
ISSN: 16722515
ГРНТИ : 29.29 + 31.15.37 + 38.39 + 81.09
Ключевые слова (''Своб.индексиров.''): нанотехнологии, наука о частицах, технология частиц
Аннотация: Статьи по широкому кругу научных и промышленных исследований (физика, химия, петрохимия, математика, энергетика, обогащение полезных ископаемых, передовые материалы, пищевые производства, сельское хозяйство, фармацевтика, окружающая среда), изучающих научные и технологические аспекты частиц от молекулярного уровня до уровня систем (характеризация, приготовление, аэрозоли, флюидизация и сверхтонкие частицы): наука об аэрозолях и аэрозольные технологии; коллоиды и поверхности раздела фаз в коллоидных системах; нанотехнологии; кристаллизация и осаждение; многофазный и гранулярный потоки; программирование дискретных компонентов; технологии сыпучих продуктов; материаловедение и технология материалов; фармацевтические и биомедицинские технологии; мягкие вещества; пищевые продукты; продукты для ухода и личной гигиены; покрытия; керамика; эмульсии; наполненные и функциональные полимеры; минералы; пигменты; принтерные пасты; сенсоры и катализаторы; моделирование систем частиц; неинтрузивные измерения; измерения частиц in-situ; визуализация.
Найти похожие
5.
Вид документа :
Шифр издания : V3456
Заглавие : Optimization : A Journal of Mathematical Programming and Operations Research
Выходные данные : London: Taylor and Francis Ltd, 1978
ISSN: 02331934
ГРНТИ : 50.05 + 50.41 + 28.15
Аннотация: Статьи по новейшим теоретическим и прикладным исследованиям в области оптимизации: линейное, нелинейное, стохастическое, параметрическое, дискретное и динамическое программирование, теория управления, теория игр. Специальный раздел посвящен обзорам достижений в различных областях математического программирования и методов оптимизации. Материалы конференций, обзоры книг.
Найти похожие
6.
Вид документа : Журнал
Шифр издания : V3766
Заглавие : Optimal Control Applications & Methods
Выходные данные : , 1980
ISSN: 01432087
ГРНТИ : 50.03 + 28.15 + 28.27
Аннотация: Статьи по широкому кругу проблем теории оптимального управления и соответствующих методов расчёта управляющего воздействия: развитие, сравнение и тестирование вычислительных алгоритмов для решения задач оптимального управления и оптимизации; методы оптимального оценивания и оптимальной фильтрации; оптимизация систем, описанных дифференциальными или разностными уравнениями; гибридные системы - нелинейное программирование и методы оптимизации; статическая и динамическая оптимизация; линейно-квадратичные и нелинейные задачи оптимального управления; проектирование оптимальных систем; динамическое программирование; стохастическое оптимальное управление; периодические задачи оптимального управления; многокритериальное управление и многоаспектная модель оптимального управления; методы сингулярных возмущений; оптимальное управление большими или распределенными системами; системы выдержки времени; применение (производственные процессы, химические и нефтехимические процессы, робототехнические системы, аэрокосмическая и морская техника, производство электроэнергии и энергораспределительные системы; исследование операций и бизнес; социоэкономические модели; контроль за состоянием окружающей среды; электрические и электронные системы и др.).
Зарегистрированы поступления :
1996г. Vol.17; N :1-5;
1995г. Vol.16; N :1-5;
1994г. Vol.15; N :1-4;
1993г. Vol.14; N :1-4
Издание можно найти в:
ХР; ИНТЕХ;
Найти похожие
7.
Вид документа : Журнал
Шифр издания : V2169
Заглавие : Journal of Optimization Theory & Applications
Выходные данные : Berlin: springer, 1967
ISSN: 00223239
ГРНТИ : 27.37.17 + 27.41 + 28.29 + 50.05
Аннотация: Статьи и обзоры по теоретическим и прикладным исследованиям и разработке методов математической оптимизации и их применения в науке и технике: линейное и нелинейное, математическое и динамическое программирование; прямые и косвенные методы; расчеты вариаций; оптимальное управление; теория игр; решение уравнений; проблемы граничного значения; численные методы; применение методов оптимизации в математической физике, аэрокосмической технике, химических производствах, строительстве, электротехнике, машиностроении, экономике, биологии. Информация о новых книгах с кратким перечнем содержания. В последнем номере каждого ежеквартального тома - пономерной указатель содержания.
Зарегистрированы поступления :
1998г. Vol.96; N :1,2;
1997г. Vol.95; N :1-3;
1997г. Vol.92-94; N :1-3(в каждом томе);
1996г. Vol.91; N :1;
1996г. Vol.88-90; N :1-3(в каждом томе);
1995г. Vol.84-87; N :1-3(в каждом томе);
1994г. Vol.80-83; N :1-3(в каждом томе);
1993г. Vol.76-79; N :1-3(в каждом томе);
1992г. Vol.72-75; N :1-3(в каждом томе)
Издание можно найти в:
ЧЗ/ХР;
Найти похожие
8.
Вид документа :
Шифр издания : V3161
Заглавие : Journal of Mathematical Sociology
Выходные данные : London: Taylor and Francis Ltd, 1971
ISSN: 0022250X
ГРНТИ : 27.43 + 28.17
Аннотация: Статьи по всем аспектам математической социологии и смежным проблемам из других дисциплин (поскольку они способствуют пониманию реальных социальных явлений): использование математических моделей, логика измерений, компьютеры и компьютерное программирование, прикладная математика, статистика или количественная методология; а также статьи нематематического характера, уточняющие или обобщающие проблемы и стимулирующие их математическую обработку. Обзоры новых и быстро развивающихся областей математики и математического моделирования, которые могли бы использоваться в социологических исследованиях.
Найти похожие
9.
Вид документа :
Шифр издания : vr=J119485
Заглавие : Journal of Global Optimization
Выходные данные : Berlin: springer, 1991
ISSN: 09255001
ГРНТИ : 28.19.15 + 27.37 + 50.41.25
Аннотация: Статьи по проблемам глобальной оптимизации (в широком смысле - включая нелинейное, стохастическое и комбинаторное программирование, многоцелевое программирование, контроль, игры, геометрию и аппроксимацию, а также нелинейные системы, алгоритмы для параллельных архитектур и т.д.): теоретические и вычислительные аспекты поиска глобальных оптимумов и их применение в науке, технике и управлении; теория и алгоритмы глобальной оптимизации; численные эксперименты. Краткие сообщения о поставленных и решенных задачах глобальной оптимизации. Обзоры книг и специальных выпусков журналов.
Найти похожие
10.
Вид документа :
Шифр издания : V4165
Заглавие : Journal of Automated Reasoning
Выходные данные : Berlin: springer, 1985
ISSN: 01687433
ГРНТИ : 28.23
Аннотация: Статьи по теории, процессам и применению автоматических рассуждений: от представления новых правил вывода с доказательствами их логических свойств до детальных отчетов о компьютерных программах, спроектированных для решения задач в промышленности: автоматическое доказательство теорем, логическое программирование, экспертные системы, синтез и оценивание программ, искусственный интеллект, вычислительная логика, роботехника и их применение в промышленности; проектирование и реализация компьютерных программ для решения задач автоматического проектирования.
Найти похожие
11.
Вид документа :
Шифр издания : V4699
Заглавие : Journal of Electronic Testing
Выходные данные : Dordrecht : Springer Netherlands, 1990
ISSN: 09238174
ГРНТИ : 47.13 + 50.43
Аннотация: Статьи, обзоры и материалы конференций по результатам теоретических и прикладных исследований в области электронного тестирования: тестирование СБИС-устройств (печатных плат и систем), аналоговых и цифровых электронных схем, микропроцессоров, устройств памяти, устройств обработки сигнала, математическое и имитационное моделирование неисправностей, формирование теста, анализ на тестопригодность, проектирование тестопригодности, синтез тестопригодности, встроенное самотестирование, тестовое техническое задание, отказоустойчивость, формальная верификация аппаратного обеспечения, имитационное моделирование верификации, устранение дефектов проекта, методы искусственного интеллекта и экспертные системы для тестирования и диагностики, автоматическое испытательное оборудование, фиксирование теста, система тестирования с помощью пучка электронов, программирование теста, анализ данных теста, экономика тестирования, качество и надежность средств автоматизированного проектирования, тестирование устройств в масштабе пластины, тестирование надежных систем, производство изделий и проектирование усовершенствования продукции, анализ состояний отказа и технологического процесса.
Найти похожие
12.
Вид документа : Журнал
Шифр издания : W8994
Заглавие : IEEE Software : Institute of Electrical and Electronics Engineers Software
Выходные данные : New York, NY: Institute of Electrical and Electronics Engineers, Inc, 1984
Коллективы : Institute of Electrical and Electronics Engineers (New York, NY)
ISSN: 07407459
ГРНТИ : 50.41
Аннотация: Статьи по практическим аспектам программирования, в т.ч. профессионально-учебного характера: проектирование, разработки, архитектура, тестирование, качество, надежность, измерения; объектно-ориентированное программирование; защита данных; пользовательский интерфейс; реинжиниринг (программ); Internet, браузер; бизнес-реинжиниринг, управление риском, перспективы развития. Новости, краткая информация, обзоры книг, календарь и программы конференций. Номера - тематические. В последнем номере года - годовые предметный и авторский указатели.
Зарегистрированы поступления :
2002г. Vol.19; N :1-6;
2001г. Vol.18; N :1-6;
2000г. Vol.17; N :1-6;
1999г. Vol.16; N :1-6;
1998г. Vol.15; N :1-6;
1997г. Vol.14; N :1-6;
1996г. Vol.13; N :1-6;
1995г. Vol.12; N :1-6;
1994г. Vol.11; N :1-5;
1993г. Vol.10; N :1-6;
1992г. Vol.9; N :2-6
Издание можно найти в:
ИНТЕХ; ХР; ЧЗ/ХР;
Найти похожие
13.
Вид документа :
Шифр издания : vr=H130207
Заглавие : Higher-Order and Symbolic Computation
Выходные данные : Berlin: springer,Б.г.
ISSN: 13883690
ГРНТИ : 50.05 + 50.41 + 27.23
Аннотация: Статьи по результатам исследований в области программирования при использовании функций высшего порядка и символьных вычислений: функциональное программирование и результаты; объектно-ориентированное программирование; параллельные, одновременные, распределенные, а также мобильные символьные и функциональные вычисления; программирование: понятия и абстракции - абстракция данных, ленивые вычисления, самоадресация, отображение, продолжения, компоненты, родовидовые функции, наследование, инкапсуляция, защита, сохранность, мета-объекты, протоколы связи и др.; теория языков программирования - семантика, специфицирование и умозаключение о программе, логика программирования, типы и тип с выводами; манипуляция с программами, базирующимися на семантике - компилирование, анализ, частичное вычисление, инструментальное оснвщение и другие преобразования программы; реализация и ее способы - специализированная архитектура, проектирование компилятора, комбинаторные модели, сбор ненужной информации ("мусора"), управление хранением, анализ эксплуатационных показателей; среда и средства программирования - средства программирования, базирующиеся на знаниях, средства искусственного интеллекта и средства отладки; применение - символьное вычислением при программировании реального времени, системы окон, пользовательский интерфейс, операционные системы и параллельные распределенные вычисления.
Найти похожие
14.
Вид документа :
Шифр издания : vr=F052170
Заглавие : Fuzzy Information and Engineering
Выходные данные : Berlin: springer, 2009
ISSN: 16168658
ГРНТИ : 27.47 + 28.21
Аннотация: Международный научно-технический журнал. Предоставляет унифицированную коммуникационную платформу для исследователей широкого круга научных проблем чистой и прикладной математики, компьютерных наук, технологии и других смежных областей при обязательном акцентировании вопросов применения результатов. Публикуются статьи, краткие сообщения и обзоры. Тематика: нечёткая информация (информационные системы; комплексное проектирование аппаратного и программного обеспечения; компьютер, реализующий нечёткую логику; нечёткие базы данных; обработка нечётких изображений и распознавание образов); нечёткие множества и системы (топология, уравнения, программирование, логика и алгебра, социоэкономические системы, системы поддержки принятия решений, экспертные системы); мягкие вычисления (организация вычислительных процессов на основе использования нечёткой логики, нейронных сетей, генетических алгоритмов и методов принятия решений в условиях неопределённости); нечёткие технологии (управление, системотехника, инженерия знаний, проектирование, системное моделирование); исследование операций над нечёткими явлениями (оценка и принятие решений, планирование, прогнозирование, теория графов, поток в сети); искусственный интеллект (приблизительные рассуждения, нейронные сети, интеллектуальное управление и роботы), теория неточных множеств, нечёткая лингвистика, нечёткая биологи и др.
Найти похожие
15.
Вид документа :
Шифр издания : vr=E819245
Заглавие : Energy Systems
Выходные данные : Berlin: springer, 2010
ISSN: 18683967
ГРНТИ : 44.01.75 + 44.01.77 + 44.29
Аннотация: Научный журнал. Статьи по исследованиям теоретических, вычислительных и прикладных аспектов энергетических систем и обзоры, характеризующие уровень развития отрасли. Тематика журнала: прикладное математическое программирование, управление и экономические подходы к теме энергосистем; оптимизация энергосистем; производство электроэнергии; торговля электроэнергией; управление рисками в электроэнергетике; конкуренция на рынке электроэнергии; стратегии ведения торгов на аукционе; а также математическая теория и алгоритмы для стохастических методов оптимизации, применяемых в решении энергетических задач; и моделирование – напр., оптимизациия процессов, синтез, дизайн и эксплуатация. Журнал рассчитан на специалистов в инженерии, исследовании операций и прикладной математике.
Найти похожие
16.
Вид документа : Журнал
Шифр издания : W11435
Заглавие : Electronics & Communications in Japan . Pt.III : Fundamental Electronic Science
Выходные данные : , 1918
ISSN: 10420967
ГРНТИ : 49.03
Аннотация: Статьи по теоретическим проблемам электроники: акустика, ультразвуковая техника, анализ речи и слуха, теория цепей, проектирование сверхбольших интегральных схем, численный анализ и математическое программирование, алгоритмы, структура данных и сложности вычислений, графы и сети, надежность, анализ неисправностей, безопасность данных, теории информации и кодирования, обработка сигнала и теория связи, теория изображений, искусственный интеллект и теория познания, нейронные сети, медицинская электроника, измерения и контрольно-измерительная аппаратура. Выход английского перевода статей отстает на 24 недели от публикации оригинала.
Зарегистрированы поступления :
2002г. Vol.85; N :1-5;
2001г. Vol.84; N :1-12;
1997г. Vol.80; N :1-12;
1996г. Vol.79; N :1-12;
1995г. Vol.78; N :1-10,12;
1994г. Vol.77; N :1-12;
1993г. Vol.76; N :1-12;
1992г. Vol.75; N :1-12
Издание можно найти в:
ЧЗ/ХР; ХР;
Найти похожие
17.
Вид документа :
Шифр издания : V4245
Заглавие : Discrete and Computational Geometry
Выходные данные : Berlin: springer, 1986
ISSN: 01795376
ГРНТИ : 27.21 + 27.41
Аннотация: Статьи по исследованиям в дискретной и вычислительной геометрии: проектирование и анализ геометрических алгоритмов, конфигурации и размещение, пространственное разбиение, уплотнение, покрытие, геометрическая сложность, политопы, координаты точки, геометрические вероятности, комбинаторная и вычислительная топология, геометрические графы, геометрия чисел и др.; а также статьи о других аспектах геометрии в таких областях как теория графов, математическое программирование, реальная алгебраическая геометрия, матроиды, объемное моделирование, компьютерная графика, комбинаторная оптимизация, обработка изображений, распознавание образов, кристаллография, проектирование СБИС и роботика.
Найти похожие
18.
Вид документа :
Шифр издания : V2624
Заглавие : Decision Sciences
Выходные данные : , 1970
ISSN: 00117315
ГРНТИ : 28.29.03 + 06.81
Аннотация: Статьи по теории, методам, процессам и инструментам принятия решений управленческим персоналом (математические методы, модели и алгоритмы, математическое программирование и оптимизация, системы поддержки, информационные технологии, управление знаниями и др.), а также по различным проблемам организации и управления с анализом конкретных случаев принятия решений. К каждым 2-м томам авторский и предметный указатели и указатель названий статей.
Найти похожие
19.
Вид документа : Журнал
Шифр издания : W12668
Заглавие : Computing in Science and Engineering
Выходные данные : New York, NY: Institute of Electrical and Electronics Engineers, Inc, 1999
ISSN: 15219615
ГРНТИ : 50.53 + 50.39 + 50.41 + 28.17 + 49.37
УДК : 001.89:65.011.56 + 62:681.3
Аннотация: Статьи о новых идеях, методах, результатах и тенденциях в применении достижений физических наук, вычислительной техники и вычислительных методов в научных исследованиях, технике, промышленности и образовании: развитие перспективных видов связи, коммуникационных систем и вычислительных сетей в соответствии с потребностями ученых и инженеров; решение вычислительных задач, возникающих при проектировании и моделировании систем и сетей; распределенные вычисления; математические методы, алгоритмы, научное программирование, моделирование; интерактивная визуализация; использование больших наборов данных для архивирования, поиска и др. В 1999 г. каждый номер журнала посвящен одной из следующих тем: вычисления в области связи; космология и вычисления; вычислительная биология (моделирование молекулярных биологических систем); визуализация массивов данных; моделирование в области наук об окружающей среде (изучение магнитосферы, атмосферы, геологические исследования); вычисления в области финансов. Статьи учебного характера; раздел по практике создания собственных Web-сайтов; новости техники, технологий и программных продуктов; обзоры книг и Web-сайтов.
Зарегистрированы поступления :
2002г. Vol.4; N :1-6;
2001г. Vol.3; N :2-6;
2000г. Vol.2; N :1-6;
1999г. Vol.1; N :1-6
Издание можно найти в:
ИНТЕХ; ХР; ЧЗ/ХР;
Найти похожие
20.
Вид документа : Журнал
Шифр издания : V1837
Заглавие : Computing : Archiv für Informatik und Numerik
Выходные данные : Berlin: springer, 1966
ISSN: 0010485X
ГРНТИ : 50.01.11 + 27.41 + 27.47
Аннотация: Статьи и краткие сообщения по результатам новых исследований во всех областях научных вычислений и компьютерных наук: дискретные алгоритмы, символические вычисления, выполнение и сложность оценки, операционные системы, планирование, разработка программного обеспечения, компьютерная графика, обработка изображений, архитектура компьютеров, параллельные вычисления, классический численный анализ, численное программирование, численная статистика, оптимизация, компьютерная арифметика, интервальный анализ, вычерчивание графических изображений.
Зарегистрированы поступления :
1993г. Vol.49; N :4;
1992г. Vol.47; N :3/4
Издание можно найти в:
ЧЗ/ХР;
Найти похожие
21.
Вид документа : Журнал
Шифр издания : W4050
Заглавие : Computer
Выходные данные : New York, NY: Institute of Electrical and Electronics Engineers, Inc, 1967
ISSN: 00189162
ГРНТИ : 50.43 + 50.41 + 50.39 + 28.17.33 + 28.23
Аннотация: Статьи по теоретическим, прикладным, инженерным и экономическим аспектам проектирования, реализации и применения компьютерных систем и программного обеспечения: интегральные схемы; пользовательский интерфейс; операционные системы, объектно-ориентированные системы; сети, нейронные сети, Internet, системы клиент-сервер; искусственный интеллект, распознавание речи, системы знаний; программирование, языки, формальные методы, стандарты; визуализация, компьютерная графика, мультимедиа, виртуальная реальность; реинжиниринг и многократное использование систем и программ; охрана интеллектуальной собственности, патенты; управление техническими и программными новациями; краткие новости, обзоры готовых изделий; календарь и программы конференций; предложения вакансий в университетах и фирмах США; реклама. Номера - тематические. В последнем номере тома - годовые предметный и авторский указатели.
Зарегистрированы поступления :
2002г. Vol.35; N :1-12;
2001г. Vol.34; N :1-12;
2000г. Vol.33; N :1-12;
1999г. Vol.32; N :1-12;
1998г. Vol.31; N :1-12;
1997г. Vol.30; N :1-11;
1996г. Vol.29; N :1-12;
1995г. Vol.28; N :1-12;
1994г. Vol.27; N :1-3,5-10;
1993г. Vol.26; N :1-12;
1992г. Vol.25; N :4-12
Издание можно найти в:
ИНТЕХ; ХР; ЧЗ/ХР;
Найти похожие
22.
Вид документа :
Шифр издания : vr=C092698
Заглавие : Computational Optimization and Applications
Выходные данные : Berlin: springer, 1992
ISSN: 09266003
ГРНТИ : 50.05 + 28.27
Аннотация: Статьи по результатам теоретических и экспериментальных исследований и статьи учебного характера по анализу и развитию вычислительных алгоритмов, стохастических и детерминированных алгоритмов, и технологии моделирования для целей оптимизации: крупномасштабная оптимизация; безусловная оптимизация; линейное программирование; квадратичное программирование, задачи о дополнительности, вариационные неравенства; условная оптимизация; недифференцируемая оптимизация; целочисленное программирование; комбинаторная оптимизация; стохастическая оптимизация; многокритериальная оптимизация; сетевая оптимизация; теория сложности; приближения и анализ погрешностей; параметрическое программирование и анализ чувствительности; параллельные и распределенные вычисления, векторная обработка данных; программное обеспечение, аттестация, численное экспериментирование и сравнение; языки и системы моделирования для целей оптимизации; автоматическая дифференциация; применение в оптимальном управлении, оптимальном проектировании, исследовании операций, технике, транспорте, экономике, финансах, связи, производстве и управленческой науке.
Найти похожие
23.
Вид документа :
Шифр издания : vr=C274169
Заглавие : Central European Journal of Computer Science
Выходные данные : Berlin: springer, 2011
ISSN: 18961533
ГРНТИ : 50.05 + 28.23
Аннотация: Международный научный журнал. Статьи по результатам исследований в области компьютерных наук: алгоритмы и теория сложности вычислений (анализ и алгоритмы, теория вычислимости, структуры данных, модели вычислений); искусственный интеллект (когнитивные системы, вычислительная лингвистика, компьютерное зрение, извлечение данных, взаимодействие человек-машина, обработка изображений, представление знаний, машинное обучение, обработка естественного языка, распознавание образов); биоинформатика (средства биостатистики, инструменты генного анализа, онтологии в биоинформатике, физиологическое моделирование, средства анализа последовательностей, Web-сервисы в биоинформатике); организация сети и системы безопасности (криптография, распределённые вычисления, мобильные системы, сетевые протоколы, защита данных в сети, параллельные вычисления); языки программирования (проектирование и реализация компилятора, формальная семантика, дизайн языка, спецификации языка, грамотное программирование, парадигмы программирования); система и разработка программного обеспечения (системы баз данных, встроенные системы, операционные системы, разработка программного обеспечения, тестирование и верификация программного обеспечения); теоретические основы компьютерных наук: (теория автоматов, теория категорий, теория графов, математическая логика, теория типов).
Найти похожие
24.
Вид документа :
Шифр издания : vr=A576499
Заглавие : Automated Software Engineering : An International Journal
Выходные данные : Berlin: springer, 1994
ISSN: 09288910
ГРНТИ : 50.07 + 50.41
Аннотация: Статьи, в т.ч. учебного характера, обзоры и отчеты о производственном опыте по основам, методам, техническим средствам и применению технологии автоматизированного проектирования программного обеспечения (ПО), включая изучение методов построения, понимания, адаптирования и моделирования программных продуктов и процессов: автоматические и коллаборативные системы, вычислительные модели деятельности человека при проектировании ПО; представление знаний и методы искусственного интеллекта в применении к автоматизированному проектированию ПО: формирование схем представления знаний (формального и неформального); описания и модели процесса разработки; технические средства и среды, поддерживающие разработку ПО; когнитивные свойства схем представления, программирование и языки программирования; методы, анализ и аттестация разработки ПО; обоснование системы; качество и метрика ПО; повторное использование и адаптация ПО; анимация и проектирование; моделирование и анализ предметной области; визуализация ПО; объектное управление; разработкка пользовательских интерфейсов; групповая разработка ПО; разработка распределенных, реального времени, встроенных и композиционных систем; интеграция систем; сопровождение и эволюция ПО; тестирование систем; восстановление структурной схемы и алгоритма работы по исходным текстам и осмысление программы; документация и толкование программы. Обзоры книг, ПО, материалов конференций и семинаров.
Найти похожие
25.
Вид документа :
Шифр издания : vr=A884894
Заглавие : Applied Mathematics
Выходные данные : Rosemead: Scientific & Academic Publishing Co., 2011
ISSN: 21631409
ГРНТИ : 27 + 50
Аннотация: Научный журнал. Статьи по исследованиям во всех разделах прикладной математики, критические обзоры, научные заметки, обсуждения и краткие отчёты. Охватыыват широкий тематический спектр: актуврная наука, анализ и дифференциальные уравнения, алгебра и теория чисел, разработка алгоритма, прикладная дифференциальная геометрия, теория аппроксимации, биоинформатика, биостатистика и анализ живучести системы, проблемы окрашивания, хроматическое число, комбинаторика, компьютерная алгебра, компьютерные науки, непрерывное моделирование, криптография, дифференциальные уравнения, динамические системы (в т.ч. дискретные), финансовая математика, конечная геометрия, механика жидкостей, функциональный анализ, теория игр, геометрия, теория графов, теория информации, обратные спектральные задачи, линейное программирование, математическая биология, сетевой анализ, математическая инженерия, нелинейная оптика, нелинейные волны, численные алгоритмы, численный анализ, исследование операций, операторная алгебра, оптимизация, вероятность и статистика, реальный и комплексный анализ, топологические индексы графов, и др. Выходят также специальные тематические выпуски.
Найти похожие
26.
Вид документа : Журнал
Шифр издания : V4816
Заглавие : Applicable Algebra in Engineering, Communication and Computing
Выходные данные : Berlin: springer, 1990
ISSN: 09381279
ГРНТИ : 27.17 + 50.01 + 28.23.27
Аннотация: Cтатьи по исследованиям в области алгебраических методов, применяемых во всех областях, связанных с компьютерами, интеллектуальными системами и коммуникациями: зрение, роботика, проектирование систем, отказоустойчивость и надежность систем, технология СБИС, обработка сигнала, кодирование, методы контроля ошибок, криптография, спецификация протокола, сети, проектирование программного обеспечения, арифметика, алгоритмы, сложность, компьютерная алгебра, языки программирования, логическое и функциональное программирование, алгебраическая спецификация, перезаписывающие системы, доказательство теорем, графика, моделирование, инженерия знаний, экспертные системы, методология искусственного интеллекта. При этом предпочтение отдается не теории, а работам связанным с проблемами в таких областях, как коммутативная или некоммутативная алгебра, теория групп, теория поля и реальная алгебраическая геометрия, а также исследованиям в области технологий и разработкам ноу-хау, связанным с применением прикладной алгебры.
Зарегистрированы поступления :
1992г. Vol.2; N :3
Издание можно найти в:
ЧЗ/ХР;
Найти похожие
27.
Вид документа :
Шифр издания : vr=A979126
Заглавие : Annals of Software Engineering
Выходные данные : Dordrecht : Springer Netherlands, 1995-2002
ISSN: 10227091
ГРНТИ : 50.05 + 50.41 + 50.51.17
Аннотация: Статьи по всем аспектам разработки программного обеспечения (ПО): автоматизированное проектирование ПО, человеческий фактор в программировании, мультимедийное программирование, объектно-ориентированное программирование, программирование в реальном времени, управление конфигурацией программных средств, оценка стоимости ПО, методы разработки ПО, среды разработки ПО, программная документация, программирование и искусственный интеллект, экономика программирования, средства поддержки программных разработок, эволюция ПО, методы реализации ПО и языки, сопровождение ПО, метрика ПО, модель процесса создания и эксплуатации ПО (жизненный цикл ПО), управление программными проектами, создание прототипа ПО, обеспечение качества ПО, реинжиниринг ПО, надежность ПО, повторное использование ПО, выработка требований к ПО, безопасность ПО, спецификация ПО, верификация, утверждение и тестирование.
Найти похожие
28.
Вид документа :
Шифр издания : vr=A177812
Заглавие : American Journal of Computational and Applied Mathematics
Выходные данные : Rosemead: Scientific & Academic Publishing Co., 2011
ISSN: 21658935
ГРНТИ : 27
Аннотация: Научный журнал. Статьи по исследованиям во всех разделах прикладной математики и вычислительных наук, а также по следующим темам: теория управления; вычислительная логика; теория кодирования; динамические системы; дискретная оптимизация; прикладная дискретная математика; дифференциальные уравнения и применение; экспериментальная математика; нечёткая теория и применение; линейное и нелинейное программирование; математическая биология; численный анализ; численные вычисления; статистика; теория вычислений; теория алгоритмов и др. Выходят также специальные тематические выпуски.
Найти похожие
29.
Вид документа :
Шифр издания : vr=A226779
Заглавие : Algorithms
Выходные данные : Basel: MDPI AG, 2008
ISSN: 19994893
ГРНТИ : 27.41.41
Аннотация: Научный журнал. Статьи, обзоры и краткие сообщения по результатам экспериментальных и теоретических исследований алгоритмов, где результаты должны излагаться детально, гарантируя полную воспроизводимость, а также должны быть приложены электронные файлы с соответствующим детальным программным обеспечением расчётов и порядка проведения эксперимента. Охватывает темы: проектирование и анализ алгоритмов; аппроксимирующие, рандомизированные, онлайновые, параметризованные, параллельные, потоковые и квантовые алгоритмы; автоматизированное проектирование, робототехника; системы представления документов; проектирование баз данных, поиск, структуры данных; вычислительная геометрия и линейное программирование; средства программирования; новые методологии и технологии; реализация и тестирование алгоритмов; сжатие данных; алгоритмы в химии, физике , биологии и др. и их подразделах. Прилагаются перечни алгоритмов. Выходят также специальные тематические выпуски.
Найти похожие
30.
Вид документа :
Шифр издания : V4201
Заглавие : Algorithmica : An International Journal in Computer Science
Выходные данные : Berlin: springer, 1986
ISSN: 01784617
ГРНТИ : 28.25.23
Аннотация: Статьи теоретического и экспериментального характера по проектированию алгоритмов: теоретический анализ, имитационное моделирование или поведение алгоритмов по данным, полученным на практике; по использованию алгоритмов в таких областях как СБИС, распределенные вычисления, параллельная обработка, автоматизированное проектирование, роботика, графика, проектирование баз данных, программные средства, а также в таких основополагающих областях как сортировка, поиск, структуры данных, вычислительная геометрия и линейное программирование. Журнал имеет специальные разделы: Опыт применения (данные о применении теоретических результатов в реальных ситуациях, трудности применения или тестирования алгоритмов, сравнения различных предлагаемых алгоритмов, дискуссии о применимости теоретических работ на практике и др.) и Задачи (постановка проблем в различных областях компьютерных наук). Отдельные номера - тематические.
Найти похожие
 1-30    31-31 
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)