Настройки

Укажите год
-

Небесная энциклопедия

Космические корабли и станции, автоматические КА и методы их проектирования, бортовые комплексы управления, системы и средства жизнеобеспечения, особенности технологии производства ракетно-космических систем

Подробнее
-

Мониторинг СМИ

Мониторинг СМИ и социальных сетей. Сканирование интернета, новостных сайтов, специализированных контентных площадок на базе мессенджеров. Гибкие настройки фильтров и первоначальных источников.

Подробнее

Форма поиска

Поддерживает ввод нескольких поисковых фраз (по одной на строку). При поиске обеспечивает поддержку морфологии русского и английского языка
Ведите корректный номера.
Ведите корректный номера.
Ведите корректный номера.
Ведите корректный номера.
Укажите год
Укажите год
Применить Всего найдено 2. Отображено 2.
08-08-2023 дата публикации

Configuration language code compiling method and system

Номер: CN116560717A
Автор: DUO XIAODONG, XU PENGFEI, XIA RUI, CHAI SHUSHAN, ZHANG ZHENG, ZONG ZHE, CHEN GANG, WANG NAN
Принадлежит:

The embodiment of the invention provides a configuration language code compiling method and system, and the method comprises the steps: generating a syntax tree based on a configuration language code, and checking the syntax tree, nodes in the syntax tree respectively correspond to a syntax structure in the configuration language code, and the syntax structure comprises an operation object and an operation; obtaining error information, wherein the error information comprises the category and the position of an error occurring in the configuration language code; the error category value nodes are added into the syntax tree based on the positions, then an updated syntax tree is obtained, and the error category value nodes correspond to the categories; an updated configuration language code is obtained based on the updated syntax tree, and the position, corresponding to the position, in the updated configuration language code contains an error prompt text corresponding to the error category ...

Подробнее
Номер записи: 1
11-04-2023 дата публикации

Type merging method of joint type composed of basic types

Номер: CN115952769A
Автор: CHEN GANG, WANG NAN, DUO XIAODONG
Принадлежит:

The invention provides a type merging method for a joint type composed of basic types, and the method comprises the steps: the joint type of the basic types is represented by a list of the basic types, and the types in the list do not contain a sub-type relation; type merging is realized by using a special table merging technology, and a merging result ensures that all types in the type list do not have a sub-type relationship. The merging process is defined by adopting a type rule. The invention also describes that one application of the technology is type conflict resolution and user resource configuration operation simplification during data personalized configuration in multi-team collaborative development.

Подробнее
Номер записи: 2