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

Базы данных


БД "Статьи" - результаты поиска

Вид поиска

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


    Терехов, А. Н.
    Реализация стыка между MSC- и SDL-диаграммами в технологии REAL [Текст] / А. Н. Терехов, В. В. Соколов // Программирование. - 2007. - N 1. - С. 35-50. - Библиогр.: с. 49-50 (24 назв. )
УДК
ББК 32.973-018
Рубрики: Радиоэлектроника
   Математика

Кл.слова (ненормированные):
технологии программирования -- REAL -- языки программирования -- MSC-диаграммы -- SDL-диаграммы -- графические способы описания систем -- поведенческие модели объектов -- сценарии поведения систем
Аннотация: Рассматриваются различные методы стыковки MSC- и SDL-диаграмм, в том числе позволяющие автоматизировать ручной переход от сценариев поведения системы в целом (HMSC/MSC) к поведенческой модели каждого объекта (SDL) , методы поддержки их адекватности в течение всего жизненного цикла - согласованное внесение изменений, расширения MSC-диаграмм для реальных ситуаций.


Доп.точки доступа:
Соколов, В. В.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

2.


    Вирбицкайте, И. Б.
    Восьмая международная конференция памяти академика А. П. Ершова "Перспективы систем информатики" [Текст] / И. Б. Вирбицкайте // Программирование. - 2010. - N 5. - С. 76-80.
УДК
ББК 32.973-018.2 + 32.973-018.2
Рубрики: Вычислительная техника
   Компьютерная графика

   Имитационное компьютерное моделирование

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


Доп.точки доступа:
Ершов, А. П. (академик ; 1931-1988); Перспективы систем информатики, международная конференция

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

3.


    Елисеев, Олег.
    Универсальный модульный контроллер с ядром ARM9 [Текст] / Александр Елисеев // Современная электроника. - 2011. - N 2. - С. 54-63. : 7 рис., 8 табл.
УДК
ББК 32.97
Рубрики: Вычислительная техника
   Вычислительная техника в целом

Кл.слова (ненормированные):
архитектура компонентов -- архитектура контроллера -- встраиваемые контроллеры -- многофункциональные контроллеры -- модульный контроллеры -- технологии программирования -- универсальные контроллеры
Аннотация: В статье представлен встраиваемый многофункциональный контроллер с GPS- и GSM-модулями, разработанный для интернет-приложений. Приведено описание архитектуры контроллера и его компонентов, а также технологий программирования.


Имеются экземпляры в отделах: всего 1 : эн.ф. (1)
Свободны: эн.ф. (1)

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

4.


    Керимов, М. К.
    Шестая Московская международная конференция по исследованию операций (ORM 2010) [Текст] / M. K. Керимов // Журнал вычислительной математики и математической физики. - 2011. - Т. 51, N 6. - С. 1166-1168.
УДК
ББК 22.19
Рубрики: Математика
   Вычислительная математика

Кл.слова (ненормированные):
ORM -- исследования операций -- конференции -- математические проблемы -- объектно-реляционное отображение -- операции ORM -- технологии программирования
Аннотация: В вычислительном центре имени А. А. Дородницына Российская академия наук с 19 по 23 октября 2010 года проходила Шестая Московская международная конференция по исследованию операций (ОRM 2010). В работе конференции участвовало большое число российских и иностранных ученых. Конференция была организована математическими учреждениями под наблюдением и при участии математиков, занимающихся прикладными проблемами, поэтому во всех представленных на конференции докладах превалировали математические проблемы и модели рассматриваемых задач. По результатам конференции опубликован сборник работ.


Доп.точки доступа:
Международная конференция по исследованию операций (ОRM 2010)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

5.


    Завриев, Н. К.
    Опыт изучения программирования в лицее информационных технологий [Текст] / Н. К. Завриев // Программирование. - 2011. - N 6. - С. 19-25. . - Библиогр.: с. 24-25 (7 назв. )
УДК
ББК 74.26 + 32.973-018
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов

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

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

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


Доп.точки доступа:
Лицей информационных технологий

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

6.


    Неткачев, Владимир Владимирович (аспирант).
    Моделирование механики жидкости и газа с применением технологии CUDA [Текст] = Liquid and gas mechanics modeling with CUDA technology / В. В. Неткачев // Вестник Ивановского государственного энергетического университета. - 2013. - Вып. 3. - С. 69-73 : ил., диагр., граф. - Библиогр.: с. 73 (8 назв.) . - ISSN 2072-2672
УДК
ББК 22.365 + 32.973-018.2
Рубрики: Физика
   Газы и жидкости

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

   Компьютерная графика

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


Имеются экземпляры в отделах: всего 1 : эн.ф. (1)
Свободны: эн.ф. (1)

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

7.


    Ахметзянов, Атлас Валиевич (кандидат технических наук).
    Шестая международная конференция "Параллельные вычисления и задачи управления" [Текст] / А. В. Ахметзянов, А. Б. Искаков, В. Г. Лебедев // Проблемы управления. - 2013. - № 2. - С. 73-75
УДК
ББК 32.97
Рубрики: Вычислительная техника
   Вычислительная техника в целом

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


Доп.точки доступа:
Искаков, Алексей Борисович (кандидат физико-математических наук); Лебедев, Валентин Григорьевич (доктор технических наук); Параллельные вычисления и задачи управления, международная конференция

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

8.


    Карбовский, И. Н.
    Технология полилинейного программирования в естественно обусловленных моделях [Текст]. II / И. Н. Карбовский // Автоматика и телемеханика. - 2015. - № 1. - С. 91-100 : ил. - Библиогр.: с. 100 (6 назв.) . - ISSN 0005-2310
УДК
ББК 32.96 + 22.18
Рубрики: Радиоэлектроника
   Автоматика и телемеханика

   Математика

   Исследование операций

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


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

9.


    Шелехов, В. И. (кандидат технических наук; заведующий лабораторией).
    Классификация программ, ориентированная на технологию программирования [Текст] / В. И. Шелехов // Программная инженерия. - 2016. - Т. 7, № 12. - С. 531-538. - Библиогр.: с. 537 (27 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397
УДК
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника

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


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

10.


    Тураев, Сирожиддин Журакобилович (старший преподаватель).
    Формирование научно-практических навыков студентов с привлечением к научному проекту № 1/1-F и применением технологий программирования [Текст] / С. Ж. Тураев // Преподаватель XXI век. - 2018. - № 4, ч. 1. - С. 88-94. - Библиогр.: с. 93-94 (9 назв.) . - ISSN 2073-9613
УДК
ББК 74.58
Рубрики: Образование. Педагогика
   Высшее профессиональное образование

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


Имеются экземпляры в отделах: всего 1 : н.з. (1)
Свободны: н.з. (1)

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

11.


   
    Применение технологии программирования в ограничениях для планирования действий в чрезвычайных ситуациях [Текст] = Application of constraint programming technology for planning action in emergency situations / Зуенко А. А., Яковлев С. Ю., Шемякин А. С., Олейник Ю. А. // Информационные технологии и вычислительные системы = Journal of Information Technologies and Computing Systems. - 2019. - № 1. - С. 26-37 : ил., табл. - Библиогр.: с. 35-37 (14 назв. ) . - ISSN 2071-8632
УДК
ББК 20.18 + 32.973-018 + 32.973-018.2
Рубрики: Экология
   Экологическая безопасность

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

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

   Прикладные информационные (компьютерные) технологии в целом

Кл.слова (ненормированные):
AI-planning -- CSP -- constraint satisfaction problem -- scheduling -- задачи планирования действий -- задачи удовлетворения ограничений -- интеллектуальное планирование -- ограничения -- разлив нефтепродуктов -- составление расписаний -- технологии программирования -- чрезвычайные ситуации
Аннотация: Разработана технология интеллектуального планирования, ориентированная на исследование слабо формализованных предметных областей, знания о которых носят количественный и качественный характер. Технология обеспечивает поддержку открытой для оперативных модификаций модели предметной области, допускающей включение, или исключение ограничений, критериев качества, а также задание начального и целевого состояний с помощью особых параметров. Задачу интеллектуального планирования предлагается ставить и решать в рамках объектно-ориентированного расширения технологии программирования в ограничениях, что предъявляет повышенные требования к эффективности обработки качественных ограничений.


Доп.точки доступа:
Зуенко, А. А.; Яковлев, С. Ю.; Шемякин, А. С.; Олейник, Ю. А.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

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