MediaScan

Научно-производственное предприятие МедиаСкан

Разработка и внедрение научно-технической продукции

2021-07-11

В настоящее время выполняется перевод:

Ada for the Embedded C Developer

Quentin Ochem, Robert Tice, Gustavo A. Hoffmann, and Patrick Rogers

В электронном виде будет доступно в ближайшее время.

Интересует потребность в бумажной виде.

Заинтересованных просьба написать на мою эл.почту:

Email: ksiby@mediascan.by

 

2021-04-23

Технологии AdaCore для разработчиков программного обеспечения FACE ™

Бенджамин М. Бросгол и Дудри Смит

 

 

Перевод выполнил Сергей И. Киркоров 4/23/2021

Перевод осуществлен из электронной версии URL:
https://www.adacore.com/books/
Издание любезно предоставлено компанией AdaCore

Загрузить перевод издание можно:

Перевод в PDF здесь

 

В этой книге кратко излагаются технологии AdaCore и
показано, как они могут помочь поставщикам авионики
разрабатывать и проверять программное обеспечение,
отвечающее требованиям высокой надежности. Обсуждение
основано на редакции 3.1 Технического стандарта
FACE и
относится также к более ранним версиям.

 

 

 

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:
https://www.adacore.com/books/
Издание любезно предоставлено компанией AdaCore

Загрузить перевод издание можно здесь

Издание ориентируется на профессиональных программистов в
области безопасности критически важных объектов информационной
инфраструктуры, а также для преподавателей ВУЗов, студентов
ВУЗов второй ступени и аспирантов.

 

 

2020-04-08

Доступен перевод издания

SPARK Ada for the MISRA C Developer.
Release 1.0, AdaCore Feb 12 2019

SPARK Ada для разработчика-программиста на языке MISRA C

Выпуск 1.0, Минск 2020

Перевод и редактирование выполнил Киркоров Сергей Иванович

 

 

Загрузить перевод издание можно здесь

MISRA C появился в 1998 году в качестве стандарта
кодирования для
C; Она была сосредоточена на том, чтобы
избежать подверженных ошибкам функций
программирования на
C, а не на применении конкретного
стиля программирования.

Популярность языка программирования C, а также его
множество ловушек и подводных камней привели к
огромному успеху
MISRA C в областях применения, где C
используется для высоконадежного софта.

В этом документе мы покажем, как SPARK можно
использовать для достижения высокого качества кода с
гарантиями, выходящими за рамки того,
что было бы возможно с
MISRA C.

 

 

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/

Рассматриваются методы и алгоритмы цифровой обработки
речевых и аудио сигналов, способы повышения качественных
показателей современных систем связи. 
Издание подготовлено на основе лекций одноименного курса,
преподаваемого автором более 5 лет для специальностей: 1-45 01
01 -
«Инфокоммуникационные технологии»; 1-45 01 02 -
«
Инфокоммуникационные системы». Требуются знания по
дисциплине
«Теория электрической связи» и начальные знания
программирования в
MATLAB. Возрастные ограничения - от 18 лет,
связаны с ориентацией на профессиональных программистов,
преподавателей вузов и студентов старших курсов. 

 

Уточнить наличие по телефону:

г. Минск, пр-т Независимости, 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
Java Developer”.
Будет полезна программистам,
 использующим языки программирования
C++, Java и,
конечно,
Ada. Также для преподавателей, аспирантов и
студентов ВУЗов.

 

Ada 2005 и Ada 2012 сборник статей от разработчиков и экспертов

.— Минск : Колорград, 2019.— 530 с. Издательский дом Segment

Издание доступно в магазине «Академическая книга»

http://www.akademkniga.by/publishers/62/

Аннотация

Идея серии статей Gems на https://www.adacore.com/gems/,
заключалась в том, чтобы предоставлять информацию в областях
технологии
AdaCore и языка программирования Ada. Обсуждались
многие темы: стандарт языка
Ada 2005, Ada 2012, сертификация,
распределенные системы, встроенная разработка, безопасность и
безопасное программирование, формальные методы и
верификация,
IDE, библиотеки и привязки, использование
смешанных языков,  моделирование, многоядерное
программирование, статический анализ и тестирование.

Издание подготовлено на основе материалов перевода
одноименных статей впервые опубликованных в электронном виде
URL: http://www.mediascan.by. Для  их понимания требуется
начальные  знания  языка программирования
Ada и творческий
подход к применению по соответствующей тематике. Издание
ориентированно на профессиональных программистов и
преподавателей ВУЗов.

Перевод и редактирование выполнил Киркоров С.И.

 

 

 

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 теперь можно
использовать как обычный
форум. Для создания новых тем и
отправки сообщений необходимо
зарегистрироваться. В
данный момент работает регистрация с использованием
OAuth2 учетных записей Google, Facebook и GitHub.

Для обсуждения вопросов языка Ada создана почтовая
конференция
Ada_Ru. Участвуя в ней, вы можете получить
ответы на интересующие вас вопросы, касающиеся языка
Ada, узнать новости из мира языка Ada, пообщаться с
единомышленниками. Конференция насчитывает более 70
человек, трафик около 30 сообщений в месяц.

Подписаться на конференцию и посмотреть архив можно на
страничке groups.yahoo.com. Также можно подписаться и
послав письмо по адресу
ada_ru-subscribe@yahoogroups.com.
Рассылка также архивируется на сервере
в разделе "Форум",
где есть возможность читать обычным веб-клиентом.

Также в Фейсбук есть страница, где Ada-ru публикует
новости по теме языка
Ada.
https://www.facebook.com/comp.lang.ada.ru/

 

10.01.2018 Новая группа в telegram - adalang.

Ada-ru сделала (супер-) группу в Телеграм -
 
https://t.me/adalang
В группе работает шлюз в Jabber и IRC чаты
(
xmpp:ada-ru@conference.jabber.ru, irc://irc.rusnet.org.ru/ada)

 

 

 

Обзор СМИ

11-07-2021

Для тех кто интересуется художественной литературой канал:

Lyubov Velent  —  1,4 тыс. подписчиков•52 видео

 

  Этюд в книжных тонах  —  1,11 тыс. подписчиков  на 11 июля 2021.

Меня зовут Любовь Велент и я рада приветствовать вас на моём канале! Я очень люблю читать, смотреть, рассматривать книги, а также говорить о них.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В этом видео я покажу вам, какие книги мне подарила Ксения Сникет и понравились ли они мне.

 

 

Выступление Сергея Игоревича на Оберон конференции 2018 году

Источник:

"Максим Резник ada_ru@forge.ada-ru.org [ada_ru]"

 

Выступление Сергея Игоревича на Оберон конференции
 
«Язык Ада в современной программной индустрии».
https://youtu.be/vnpjtUYSads

 

https://www.youtube.com/watch?v=vnpjtUYSads&feature=youtu.be

Вот слайды (все три ссылки на одни слайды):
*
https://drive.google.com/file/d/1xFvLJPps2INUAxTcDPrWQ9-l171K8jp9/view?usp=sharing
* http://www.ada-ru.org/files/Orel-2018.pptx
* https://www.slideshare.net/MaximReznik/ss-140858321

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

29.12.2017 Статья 10 причин выучить язык
программирования
Ada
. Небольшая статья на тему почему
язык программиравания
Ada может быть интересен

 

20.02.2019

 

 

PDF формат  (гиперссылка можно получить по запросу в поисковике

 => учебник Кауфмана В.Ш. "Языки программирования: концепции и принципы")

Если гиперссылка стала недействительной повторите запрос для получения альтернативной гиперссылки.

 

 

Языки программирования. Концепции и принципы

Кауфман В.Ш.

Рассмотрены фундаментальные концепции и принципы, воплощенные в
современных и перспективных языках программирования. Представлены
разные стили программирования (операционный, ситуационный,
функциональный, реляционный, параллельный, объектно
ориентированный). Базовые концепции и принципы рассмотрены с пяти
различных позиций (технологической, авторской, математической,
семиотической и реализаторской) и проиллюстрированы примерами из
таких языков, как Паскаль, Симула-67, Смолток, Рефал, Ада, Модула-2,
Оберон, Оккам-2, Турбо Паскаль, С++ и др. Сложность выделена как
основополагающая проблема программирования, а абстракция-
конкретизация и прогнозирование-контроль – как основные ортогональные
методы борьбы со сложностью. На этой общей базе в книге впервые
представлена цельная система концепций и принципов, создающая четкие
ориентиры в области языков программирования. На основе этой системы
сформулированы оригинальные положения, указывающие перспективы
развития в этой области (модули исключительных ситуаций, модули
управления представлением, входовые типы и др.). Многие из них в
последние годы стали реальностью. Новые подходы применены при
изложении известных фактов (пошаговая модификация нормальных
алгоритмов Маркова сначала до Рефала, а затем до реляционных языков,
сопоставление принципов
«сундука» и «чемоданчика» при создании Ады,
Модулы-2 и Оберона, развитие концепции наследуемости от модульности
до объектной ориентации, систематическое сопоставление концепции
параллелизма в Аде и Оккаме-2, и др.). Для всех, серьезно
интересующихся программированием, в том числе научных работников,
программистов, преподавателей и студентов.  

 

 

06-11-2019

Версия в PDF

Business Wire

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

https://www.businesswire.com/news/home/20191105005038/en/AdaCore-Introduces-Support-Embedded-Environments

AdaCore's GNAT Pro product line now supports the development of embedded software written in C++

Tweet this

AdaCore представляет поддержку встроенных сред C++ 

Кросс-среда GNAT Pro обеспечивает автономную разработку встроенного программного обеспечения на языке 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
Jessie Glockner
E:
glockner@adacore.com
T: +1-646-532-2723

AdaCore EU
Pamela Trevino
E:
trevino@adacore.com
T: +33 1 49 70 87 82

AdaCore UK
Singleton PR
E:
abigail@singletonpr.com
T: +44 (0)1252 448 169

http://www.adacore.com
http://twitter.com/AdaCoreCompany

 

 

.

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 год  ЗДЕСЬ

АРХИВ НОВОСТЕЙ 2011 ГОД.

АРХИВ НОВОСТЕЙ 2009— 2010 ГОДЫ.

Обзор зарубежных СМИ (архив 2014 — 2015)

Обзор зарубежных СМИ (архив 2013)

Обзор зарубежных СМИ (архив 2012)