Семинар ЛИТ

16.04.2021 11:00 Конференц-зал ЛИТ и онлайн

(по материалам кандидатской диссертации)

 

В России и многих других странах реализуются и внедряются проекты по созданию и развитию цифровой экономики. Но в любой программе могут быть допущены ошибки. В этой работе будут рассмотрены три новых метода сокращения количества программных ошибок.

На текущий момент практически все языки программирования являются алгоритмическими, т.е. служат для описания алгоритма.  Будет представлен неалгоритмический язык описания проблем, Problem Description Language (PDL). На этом языке создаются описания проблем, а далее транслятор преобразует их в текст на алгоритмическом языке высокого уровня. Применение PDL позволяет сократить участие программиста в написании программ. Будет рассказано о новом методе определения контекста слов и документов. Этот метод может быть применен для компьютерного анализа описаний программ и других текстов на естественном языке. Предложен специально созданный для транслятора PDL -> Perl, банк описаний алгоритмов. Это база данных программных модулей, которой могут пользоваться как люди, так и компьютеры. С помощью транслятора PDL -> Perl проводилась апробация языка PDL.

 

Информация о семинаре и ссылка на подключение размещены в Indico: https://indico-hlit.jinr.ru/event/228/