|
Научно-производственное предприятие МедиаСкан |
|
Разработка и внедрение научно-технической продукции |
|
Новости | Новости архив | О нас | Наши координаты | Программы | Статьи | AdaMS |
|
2022-08-24 Новости на канале «Сергей Киркоров» RUTUBE—185 видео, рассортированные в плейлисты. URL: https://rutube.ru/channel/23942849/ Текущие плейлисты: * Вопросы обучения и научно-технические кон- * ференции https://rutube.ru/plst/118148 * * Язык программирования Ada & Spark * https://rutube.ru/plst/205015 * * Дополнение к курсу «Цифровая обработка речи и * изображения» https://rutube.ru/plst/178706 * * Цифровая обработка сигналов в MATLAB * https://rutube.ru/plst/174663 * * Обсуждение и опыт использования компилятора * GNAT https://rutube.ru/plst/118216 * * Взаимодействие с оборудованием и Цифровые * интерфейсы https://rutube.ru/plst/184202 * * Видео от AdaCore https://rutube.ru/plst/205602 * * Программирование целевой архитектуры ARM * в MATLAB https://rutube.ru/plst/182604 * * Олимпиада программистов на языке Ada в 2021 * https://rutube.ru/plst/149608 * * Лучшие лекции по компьютерному зрению * https://rutube.ru/plst/133087 * 2022-03-27 Подписывайтесь на канал «Сергей Киркоров» на RUTUBE. О программировании, обучении и науке. URL: https://rutube.ru/channel/23942849/ Первый видеоматериал на канале: 23.03.2022 Конференция “Digital Learning 5.0”. Москва, Территория Инновационного центра «Сколково», ул. Малевича, д. 1. Запись конференции в трех частях. Первая часть: PLAY 1 Вторая часть: PLAY 2 Треть часть: PLAY 3
2021-12-14 В настоящее время доступен перевод:
Introduction to Ada Release 2021-07 Raphaёl Amiard Gustavo A. Hoffmann Перевод выполнил С.И. Киркоров
В электронном виде доступно ЗДЕСЬ.
Copyright © 2018 – 2020, AdaCore Эта книга опубликована под лицензией CC BY-SA, что означает, что вы можете копировать, распространять, переделывать, преобразовывать и использовать контент для любых целей, даже коммерческих, при условии, что вы предоставляете соответствующую информацию, предоставляете ссылку на лицензию и указываете, были ли внесены изменения. Если вы делаете ремикс, трансформируете или основываетесь на материале, вы должны распространять свои материалы под той же лицензией, что и оригинал. Вы можете найти подробную информацию о лицензии на этом URL http://creativecommons.org/licenses/by-sa/4.0
Этот курс научит вас основам языка программирования Ada и предназначен для тех, кто уже имеет базовое представление о методах программирования. Вы узнаете, как применить эти методы к программированию в Ada. Этот документ был написан Рафаэлем Амьяром и Густаво А. Хоффманом с рецензией Ричарда Кеннера.
2021-12-14 В настоящее время имеется перевод: Introduction to Ada Этот курс научит вас основам языка программирования Ada последней версии . Интересует потребность в бумажной виде, замечания Заинтересованных просьба написать на мою эл.почту:
2021-07-29 В настоящее время доступен перевод: Ada for the Embedded C Developer Quentin Ochem, Robert Tice, Gustavo A. Hoffmann, and Patrick Rogers В электронном виде доступно ЗДЕСЬ.
Интересует потребность в бумажной виде, замечания Заинтересованных просьба написать на мою эл.почту: Аннотация Этот курс знакомит вас с языком Ada, сравнивая его с языком C. Предполагается, что вы хорошо знаете язык C. Также предполагается, что выбор изучения Ada руководствуется соображениями, связанными с надежностью, целостностью или безопасностью программного обеспечения. В этом смысле он учит вас парадигмам языка Ada, которые следует применять вместо тех, которые обычно применяются в C. Этот курс также знакомит вас с языком SPARK ‑ подмножеством языка программирования Ada, которое удаляет некоторые особенности языка с неопределенным поведением, так что код подходит для надежных методов статического анализа. Этот курс был написан Квентином Окемом (Quentin Ochem), Робертом Тайсом (Robert Tice), Густаво А. Хоффманном (Gustavo A. Hoffmann) и Патриком Роджером (Patrick Rogers), а рецензии составили Патрик Роджер (Patrick Rogers), Филип Гайовничек (Filip Gajowniczek) и Такер Тафт (Tucker Taft). Последнее обновление: 05.03.2021 Опубликовано: 21.01.2021 Перевод опубликован: 29.07.2021 Перевод выполнил Сергей И. Киркоров
2021-04-23 Технологии AdaCore для разработчиков программного обеспечения FACE ™ Бенджамин М. Бросгол и Дудри Смит
Перевод выполнил Сергей И. Киркоров 4/23/2021 Перевод осуществлен из электронной версии URL: Загрузить перевод издание можно:
В этой книге кратко излагаются технологии AdaCore и
2020-12-30 Ссылки на публикации в социальных сетях и скриншот из рекламной кампании в социальных сетях издательства SEGMENT Книги Компьютерное зрение и распознавание образов
VK: https://vk.com/segment_belarus?w=wall-156723424_94
OK: https://ok.ru/profile/575885326173/statuses/152369193967709
IG: https://www.instagram.com/p/CJL1a4zpOrs/
FB: https://www.facebook.com/segment.by/posts/2767216030157172
Интернет-магазин: https://booksegment.by/uchebnaya-literatura/-kompyuternoe-zrenie-i-raspoznavanie-obrazov-kirkorov-s-i-/
2020-12-19 НОВИНКА: Компьютерное зрение и распознавание образов Киркоров, С. И. УДК 004.932 ББК 32.811 К43
Минск : Колорград, 2020. – 384 с. ISBN 978-985-596-741-6. Твердый переплет.
Издание доступно в магазине «Академическая книга» http://www.akademkniga.by/publishers/62/ Рассматриваются методы и алгоритмы цифровой обработки видеоинформации применительно к компьютерному зрению и распознаванию образов. Представлен подход к обеспечению безопасности, надежности кода как написанного вручную, так и предварительным моделированием с автоматической генерацией кода из моделей. Издание может быть использовано преподавателями ВУЗов для разработки конспекта лекций и учебной программы в учреждениях высшего образования (II ступень), по учебной дисциплине для специальности: 1-53 80 01 Автоматизация. Будет полезно профессиональным программистам, преподавателям ВУЗов и студентам старших курсов.
Уточнить наличие по телефону: г. Минск, пр-т Независимости, 72 +375 (17)292-00-52 +375 (17)292-46-52 +375 (17)292-50-43
Содержание Предисловие Цели и задачи учебной дисциплины Тема 1. Введение. Компьютерное зрение и распознавание образов. Предмет и задачи курса, его взаимосвязь с другими курсами специальности Тема 2. Цифровое преставление изображений. Классификация технологий цифровой обработки изображений. Тема 3. Сжатие изображений на основе психовизуальной модели зрительного анализатора Тема 4. Предварительная обработка изображений компьютерного зрения Тема 5. Пространственная частота и преобразование Фурье Тема 6. Вейвлет – преобразования изображений Тема 7. Программные и аппаратные средства для систем компьютерного зрения и распознавание образов. Требования стандартов безопасности для КВОИ Тема 8. Искусственные нейронные сети – персептроны. Задачи классификации и распознавания образов Тема 9. Распознавание образов средствами MatLab Тема 10. Средства разработки аппаратно-программных средств компьютерного зрения. Языки программирования C++, Java, Ada 10.1. Контроль затрат с помощью выбора языка программного обеспечения 10.2. Создание безопасного программного обеспечения – технология фирмы AdaCore 10.3. Обзор языков, инструментов и технологий 10.4. Уязвимости в системе безопасности и их устранение 10.5. Промышленные примеры сценария 10.6. Подведение итогов Приложение A к теме 10. CWE Mapping Приложение Б к теме 10. Обработка SQL-инъекций в Ada и SPARK Литература к теме 10 Приложение А. ТЕМАТИЧЕСКИЙ ПЛАН УЧЕБНОЙ ДИСЦИПЛИНЫ Перечень рекомендуемой литературы
2020-05-11 Доступен перевод издания AdaCore Technologies for Cyber Security Version 1.0 May 2018 Технологии AdaCore для обеспечения кибербезопасности Минск 2020 Перевод и редактирование выполнил Киркоров Сергей Иванович
Перевод осуществлен из электронной версии URL: Загрузить перевод издание можно здесь Издание ориентируется на профессиональных программистов в
2020-04-08 Доступен перевод издания SPARK Ada for the MISRA C Developer. SPARK Ada для разработчика-программиста на языке MISRA C Выпуск 1.0, Минск 2020 Перевод и редактирование выполнил Киркоров Сергей Иванович
Загрузить перевод издание можно здесь MISRA C появился в 1998 году в качестве стандарта Популярность языка программирования C, а также его В этом документе мы покажем, как SPARK можно
2020-03-05 Доступен перевод издания Технологии AdaCore для CENELEC EN 50128:2011 AdaCore Technologies for CENELEC EN 50128:2011 Перевод и редактирование выполнил Киркоров Сергей Иванович
Загрузить издание можно здесь
2020-02-13 Доступен перевод издания Технологии AdaCore для DO-178C / ED-12C AdaCore Technologies for DO-178C / ED-12C Перевод и редактирование выполнил Киркоров Сергей Иванович
Загрузить издание можно здесь
2019-10-21 НОВИНКИ: Цифровая обработка речи и изображения Киркоров, С. И. ISBN: 978-985-596-419-4. Издательство: Колорград Год: 2019 Страниц: 236 Тип переплёта: мягкий Формат: 60Х84/16
Издание доступно в магазине «Академическая книга» http://www.akademkniga.by/publishers/62/ Рассматриваются методы и алгоритмы цифровой обработки
Уточнить наличие по телефону: г. Минск, пр-т Независимости, 72 +375 (17)292-00-52 +375 (17)292-46-52 +375 (17)292-50-43
2019-09-13 Quentin Ochem (Квентин Окем ) “Ada для программистов C++ или Java “ 2-е изд. исправленное и дополненое
Окем, К. Ada для программистов C++ или Java / Квентин Окем ; перевод с англ. и комментарии С. И. Киркорова.— Минск : Колорград, 2017.— 170 с. Издание доступно в магазине «Академическая книга» http://www.akademkniga.by/publishers/62/ Перевод брошюры Quentin Ochem “Ada for the C++ or
Ada 2005 и Ada 2012 сборник статей от разработчиков и экспертов
.— Минск : Колорград, 2019.— 530 с. Издательский дом Segment Издание доступно в магазине «Академическая книга» http://www.akademkniga.by/publishers/62/ Аннотация Идея серии статей Gems на https://www.adacore.com/gems/, Издание подготовлено на основе материалов перевода Перевод и редактирование выполнил Киркоров С.И.
29.04.2019 Источник: Марат Усс Инженер ЦИТМ Экспонента На днях Марат Усс выложил последнее видео плейлиста "Основы ЦОС". Видеоролики снимались больше полугода - с сентября 2018 по апрель 2019. Плейлист рассматривает основные темы и понятия из мира цифровой обработки сигналов и старается делать это максимально простым языком. Объяснения не перегружены математическими формулами, а фокусируются в первую очередь на физике процессов, а также подкрепляются понятными аналогиями, визуализациями и практическими примерами в MATLAB. Плейлист состоит из 30 видео, охватывающих базовые понятия и задачи ЦОС, способы описания сигналов и шумов, вопросы статистической обработки сигналов, спектрального анализа, проектирования цифровых фильтров и многого другого. Видео сопровождаются практическими материалами (скриптами MATLAB, файлами с данными для обработки), позволяющими закрепить знания и углубиться в рассматриваемые темы самостоятельно. Темы видороликов: 1. Введение 2. Сигналы, шумы и помехи 3. Решаемые задачи 4. Знакомство с MATLAB 5. Создаем аккорд в MATLAB 6. Выделяем тон из аккорда в MATLAB 7. Анализ ЭКГ в MATLAB 8. Дискретные периодические сигналы 9. Синусоидальный сигнал как базис 10. Теорема Котельникова 11. АЦП и ЦАП 12. Шум как случайный процесс 13. Виды шумов, отношение сигнал/шум 14. Статистическая обработка сигнала 15. Корреляционная функция 16. Приближение сигнала функцией 17. Частотное представление сигнала 18. Преобразование Фурье 19. Спектральный анализ 20. Дискретная свёртка 21. Линейные стационарные системы 22. АЧХ и ФЧХ 23. Цифровые фильтры 24. КИХ и БИХ фильтры 25. Многоскоростные системы 26. Многоскоростные фильтры 27. Адаптивные фильтры 28. Активное шумоподавление 29. Создание приложения в MATLAB 30. Обработка на Raspberry Pi
Подписаться на почтовую конференцию Ada-ru ada_ru-subscribe@yahoogroups.com
14.01.2018 Почтовую рассылку Ada-ru теперь можно Для обсуждения вопросов языка Ada создана почтовая Подписаться на конференцию и посмотреть архив можно на Также в Фейсбук есть страница, где Ada-ru публикует
10.01.2018 Новая группа в telegram - adalang. Ada-ru сделала (супер-) группу в Телеграм -
|
|
Обзор СМИ |
|
29-09-2021 Для тех кто интересуется художественной литературой канал:
В этом видео я поделюсь с вами своими книжными покупками за последнее время. Всего вас ждёт 15 книг. . 1 762 просмотров Выпуск 4 месяца назад
Выступление Сергея Игоревича на Оберон конференции 2018 году Источник: "Максим Резник ada_ru@forge.ada-ru.org [ada_ru]"
Выступление Сергея Игоревича на Оберон конференции
https://www.youtube.com/watch?v=vnpjtUYSads&feature=youtu.be Вот слайды (все три ссылки на одни слайды):
16.07.2021 Статья Российские подводные лодки улучшают возможности с помощью торпед нового Торпеда «Физик-2» может вести огонь с подводных лодок и надводных кораблей, Jul 8th, 2021
Российская атомная подводная лодка класса "Ясень ""Казань" на своей базе в Североморске, на арктическом побережье России, 1 июня 2021 года. Лев Федосеев\ТАСС через Getty Images
МОСКВА ‑ Технология торпед значительно улучшилась в годы холодной войны, и хотя в арсенале России есть ряд торпед, многие из них лучше всего считать старыми и устаревшими. Однако в последние годы Москва неуклонно улучшала свой арсенал, предлагая более совершенные и продвинутые торпеды. Торпеда имеет максимальную скорость более 60 узлов и максимальную глубину более 500 метров. Применяется на новых атомных подводных лодках типа «Борей» и «Ясень».
Отчеты Business Insider. Читать оригинальную статью https://www.businessinsider.com/russian-navy-developing-new-generation-of-killer-torpedoes-2021-6
29.12.2017 Статья 10 причин выучить язык
20.02.2019
PDF формат (гиперссылка можно получить по запросу в поисковике => учебник Кауфмана В.Ш. "Языки программирования: концепции и принципы") Если гиперссылка стала недействительной повторите запрос для получения альтернативной гиперссылки.
Языки программирования. Концепции и принципы Кауфман В.Ш. Рассмотрены фундаментальные концепции и принципы, воплощенные в
06-11-2019
AdaCore Introduces Support for C++ Embedded Environments GNAT Pro cross-environment handles standalone C++ and mixed-language embedded software development November 05, 2019 08:00 AM Eastern Standard Time
AdaCore представляет поддержку встроенных сред C++
NEW YORK & PARIS & BRISTOL, England--(BUSINESS WIRE)--High Integrity Software Conference - AdaCore сегодня объявила, что ее линейка продуктов GNAT Pro теперь поддерживает разработку встроенного программного обеспечения, написанного на C++. Проекты, использующие C++, либо смешанные с Ada, либо автономные, теперь могут воспользоваться тем же высоким уровнем качества и поддержки, что и клиенты GNAT Pro Ada. GNAT Pro C++ обрабатывает версии стандарта языка до и включая C++17. Он предназначен для операционная система VxWorks® 7 (рукоятки, для PowerPC и x86), встраиваемых Linux-систем (АРМ, PowerPC и x86), а также операционная система VxWorks 6.9.x (PowerPC 32 бит), и размещается на x86 GNU Linux. Он доступен как в линейках продуктов GNAT Pro Enterprise, так и в линейках продуктов GNAT Pro Assurance. Среда сборки GNAT Pro основана на многоязычной технологии генерации кода GCC, в которую AdaCore внесла свой вклад и среди официальных сопровождающих которой есть персонал AdaCore. GNAT Pro предоставляет расширенные возможности взаимодействия с Ada и C++, такие как генерация привязок к обоим языкам и из обоих языков, распространение и перехват исключений на смешанных языках, а также межъязыковое наследование и диспетчеризация. Выпуск GNAT Pro Assurance edition предоставляет уникальные преимущества для чистых разработчиков C++, включая долгосрочную поддержку, анализ известных проблем и критические исправления безопасности, предоставляемые теми же экспертами, которые разработали продукт. Он также улучшает переносимость нескольких платформ, обеспечивая согласованную технологию в собственных и встроенных средах. "Команды разработчиков встроенного программного обеспечения уже давно переходят на многоязычные среды разработки,-говорит Квентин Окем, руководитель отдела развития бизнеса AdaCore. "Независимо от того, переплетаются ли языки в одном приложении или используются для отдельных проектов, они по-прежнему требуют одинакового высокого уровня поддержки. Наши цепочки инструментов уже поддерживают Ada и C для кросс-разработки, а также Ada, C и C++ для собственной разработки. Добавив встроенный компонент для C++, мы теперь можем предложить нашим клиентам действительно комплексное решение для широкого спектра высоких требований к целостности.” "Поддержка C++ имеет решающее значение для современных методов разработки и разработки систем следующего поколения", - сказал Мишель Шабру, старший директор по управлению продуктами Wind River. "Wind River рада сотрудничать с AdaCore, чтобы обеспечить отрасли доступ к лучшим в своем классе решениям для высоких требований к целостности, а также предоставить нашим совместным клиентам конкурентное преимущество.”
О Компании AdaCore Компания AdaCore, основанная в 1994 году, поставляет средства разработки и проверки программного обеспечения для критически важных объектом информационной инфраструктуры. Четыре флагманских продукта подчеркивают предложения компании: * Среда разработки GNAT Pro-полный набор инструментов для разработки, внедрения и управления приложениями, требующими высокой надежности и ремонтопригодности. GNAT Pro доступен для Ada, а также для C и C++. * CWE-совместимый CodePeer advanced static analysis tool, автоматический рецензент кода Ada и валидатор, который может обнаруживать и устранять ошибки как во время разработки, так и ретроспективно на существующем программном обеспечении. CodePeer может обнаружить ряд "топ-25 самых опасных программных ошибок" в перечне общих слабостей MITRE Corporation (CWE). * Среда проверки SPARK Pro, набор инструментов, обеспечивающий полную формальную проверку, ориентированную на высоконадежные системы с жесткими требованиями к безопасности и/или целостности программных средств. * Набор инструментов разработки на основе моделей QGen для критически важных для безопасности систем управления, предоставляющий квалифицируемый и настраиваемый генератор кода и статический верификатор для безопасного подмножества моделей Simulink® и Stateflow®, а также отладчик уровня модели. На протяжении многих лет клиенты использовали продукты AdaCore для разработки и обслуживания широкого спектра критически важных приложений в таких областях, как коммерческая и военная авионика, автомобильная, железнодорожная, космическая, оборонная системы, управление воздушным движением/контроль, медицинское оборудование и финансовые услуги. AdaCore имеет обширную и растущую во всем мире клиентскую базу; см. www.adacore.com/industries / для получения дополнительной информации. Продукты AdaCore являются открытым исходным кодом и поставляются с экспертной онлайн-поддержкой, предоставляемой самими разработчиками. Компания имеет североамериканскую штаб-квартиру в Нью-Йорке и европейскую штаб-квартиру в Париже. www.adacore.com/.
Contacts AdaCore US AdaCore EU AdaCore UK http://www.adacore.com
23.03.2022 Конференция “Digital Learning 5.0”. Москва, Территория Инновационного центра «Сколково», ул. Малевича, д. 1. Запись конференции в трех частях. Первая часть: PLAY 1 Вторая часть: PLAY 2 Треть часть: PLAY 3
. |
|
Ada User Journal Последний доступный в электронном виде номер журнала можно скачать из архива URL: http://www.ada-europe.org/auj/archive/ Журнал как правило включает следующие разделы: · Ada Language Status and Evolution · Ada Experience Reports · Critical Applications · Education and Training · Software Engineering at large · Case Studies and Experiments · Management of Software Development and Maintenance · Software Quality · Tools · Component-based Architectures |
|
http://engenegr.ru/gost-27831-88 ГОСУДАРСТВЕННЫЙ СТАНДАРТ СОЮЗА ССР ГОСТ 27831-88 (ИСО 8652-87) Programming language Ada
Дата введения 1989-07-01
УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Постановлением Государственного комитета СССР по стандартам от 22.09.88 N 3217 |
|
Телефон: +375-29-843-7571 Факс: нет Эл. почта: admin@mediascan.by |
|
Архив новостей 2018-2019 Архив новостей 2017-2016 ЗДЕСЬ Архив новостей продолжение 2016 ЗДЕСЬ Архив новостей 2015 год ЗДЕСЬ Архив новостей 2014 год ЗДЕСЬ Архив новостей 2012-2013 год ЗДЕСЬ Архив новостей 2012 год ЗДЕСЬ Архив новостей 2011-2012 год ЗДЕСЬ АРХИВ НОВОСТЕЙ 2009— 2010 ГОДЫ. Обзор зарубежных СМИ (архив 2014 — 2015) |