Настройки

Укажите год
-

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

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

Подробнее
-

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

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

Подробнее

Форма поиска

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

Bank transaction fund backflow multi-thread parallel detection method and system

Номер: CN115982207A
Автор: ZHANG SHIFAN, CHEN ZUXI, MEI MENG, LUO XIANGYU, ZHENG LIXIAO, ZHOU CHANGLI, XU ZHONGWEI
Принадлежит:

The invention relates to a bank transaction fund backflow multi-thread parallel detection method and system, and belongs to the field of big data analysis and processing. The method comprises the following steps: constructing a directed graph and an adjacency list storage structure thereof according to bank transaction records, and adding a virtual vertex to point to each vertex in the directed graph; creating an inter-thread shared memory data structure based on the directed graph, and defining and initializing a local data structure in the threads; calling a plurality of threads and simultaneously starting from the virtual vertex to carry out depth-first search traversal to execute a directed loop solution algorithm; and after operation of all the threads is finished, outputting the detected fund backflow loop by utilizing the loop set in the shared memory data structure among the threads. According to the method, the calculation task is decomposed to multiple threads to be executed in ...

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

Safety critical system control method and device based on hierarchical division of control structure

Номер: CN115933485A
Автор: NIU CHUANJUN, CHEN ZUXI, MEI MENG, LUO XIANGYU, ZHENG LIXIAO, ZHOU CHANGLI, XU ZHONGWEI
Принадлежит:

The invention relates to a safety critical system control method and device based on hierarchical division of a control structure, and belongs to the field of industrial control. The method comprises the steps that demand extraction is conducted on a safety-critical system, system demand description is extracted, and the relation between system components is sorted out; establishing a control structure chart according to the relationship among the system components; performing component hierarchical division on the control structure chart based on an STPA method to obtain a multi-layer nested control structure; performing unsafe control behavior identification on the control behavior of each layer of control structure in the multi-layer nested control structure based on an STPA method to obtain a corresponding security constraint; performing modeling verification on each layer of control structure in the multi-layer nested control structure by utilizing an Event-B method based on the security ...

Подробнее
Номер записи: 2
30-05-2023 дата публикации

Rail transit interlocking system safety analysis and development method and device

Номер: CN116187104A
Автор: CHEN ZUXI, CHEN SHENGBIN, MEI MENG, ZHU YONGHUA, WANG XIAOYONG, PAN LIANG, XU ZHONGWEI, ZHENG LIXIAO, LUO XIANGYU
Принадлежит:

The invention discloses a rail transit interlocking system safety analysis development method and device, and relates to the technical field of system safety assessment, and the method comprises the steps: determining a safety analysis result of an initial control feedback model through employing an STPA analysis method based on a system-level safety constraint table; if the initial control feedback model does not meet the preset safety condition, refining the initial control feedback model to obtain a refined control feedback model; the refining treatment comprises one or more of introduction of a track section, introduction of a turnout and a turnout position state, introduction of a track section state and introduction of an annunciator; and determining a safety analysis result of the refined control feedback model by adopting an STPA analysis method based on the system-level safety constraint table, and designing and developing the rail transit interlocking system based on the safety ...

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

Group of HRV 3C protease mutants for specific change of substrate P1'site

Номер: CN116555235A
Автор: YI LI, MEI MENG, ZHANG GUIMIN, ZHOU YU, FAN XIAN, ZHANG FAYING
Принадлежит:

The invention discloses a group of HRV3C protease mutants aiming at substrate P1'site specific change, and belongs to the technical field of gene engineering and enzyme engineering. According to the invention, molecular modification is carried out on wild type HRV3C protease by using saturated mutation and random mutation technologies, so that the original polypeptide sequence LEVLFQ recognition is changed into the polypeptide sequence LEVLFQ recognition, and a series of HRV3C protease mutants are obtained. Compared with wtHRV3C-P, the mutant provided by the invention has better specificity and cleavage activity for a substrate LEVLFQ, and can achieve the effect of traceless excision of a protein fusion tag, thereby widening the practical application range of HRV3C protease.

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

Identity authentication method, system and equipment based on ECDSA signature algorithm

Номер: CN116567633A
Автор: ZHOU CHANGLI, ZHANG LINGHUI, CHEN ZUXI, MEI MENG, WEN JINGLIANG, ZHU YONGHUA, LI XUELIANG
Принадлежит:

The invention discloses an identity authentication method, system and device based on an ECDSA signature algorithm, and relates to the field of rail transit wireless communication, and the method mainly comprises the following steps: A, registering a global subscriber identity module card; b, an initialized access stage: when the OBU accesses a network for the first time, transmitting a request message by using a public key of an HSS (Home Subscriber Server), generating a temporary International Mobile Subscriber Identity) TMSI (Temporary Mobile Subscriber Identity), and storing for subsequent communication; and C, a switching authentication stage: when the position of the OBU is changed, a scene of train cross-mobility management entity switching occurs or a network needs to be accessed again, the OBU only needs to use the temporary international mobile subscriber identification code, and the OBU and the new and old MME carry out mutual authentication by using the authentication vector ...

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

Rail transit ATP braking safety analysis method and system and electronic equipment

Номер: CN115973237A
Автор: CHEN ZUXI, LIN HONGKAI, MEI MENG, LUO XIANGYU, ZHENG LIXIAO, ZHOU CHANGLI, XU ZHONGWEI
Принадлежит:

The invention discloses a rail transit ATP braking safety analysis method and system and electronic equipment, and relates to the technical field of data processing. According to the rail transit ATP braking safety analysis method provided by the invention, after a system-level accident is determined, the system-level accident is limited to a controllable part of a system to determine a system-level danger, and then the system-level danger is determined according to the system-level danger and a constructed control structure model; the control operation in the control structure model is analyzed and identified to obtain unsafe control behaviors, and finally, potential and unsafe control behaviors are identified based on the system-level danger and the control structure model to obtain danger control causes, so that the analysis process can be organized and clear, and the comprehensiveness and integrity of safety certification are improved.

Подробнее
Номер записи: 6
01-08-2023 дата публикации

Train-ground wireless communication authentication method and system based on extended Chebyshev polynomial

Номер: CN116528235A
Автор: ZHOU CHANGLI, WEN JINGLIANG, CHEN ZUXI, MEI MENG, ZHANG LINGHUI, NIE ZHIGUO, XU ZHONGWEI
Принадлежит:

The invention discloses a vehicle-ground wireless communication authentication method and system based on an extended Chebyshev polynomial, and relates to the technical field of LTE-R vehicle-ground wireless communication. In the process of system initialization, USIM card registration and initialization authentication, the extended Chebyshev polynomial is introduced; according to the method, the extended Chebyshev polynomial is used for replacing methods with large calculation amount and long consumed time, such as elliptic curve scalar multiplication, modular exponentiation and bilinear pairing operation, so that the calculation and communication overhead is reduced while the safety is ensured, and a safe, efficient and reliable identity authentication scheme is provided for LTE-R vehicle-ground wireless communication.

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