Настройки

Укажите год
-

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

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

Подробнее
-

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

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

Подробнее

Форма поиска

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

Применить Всего найдено 4. Отображено 4.
12-09-2017 дата публикации

A concurrent program for verifying whether the violation of the atomicity in error correct repairing method

Номер: CN0104536878B
Принадлежит:

... 种验证并发程序中违反原子性错误是否被正确修复的方法,利用原始程序执行错误时的执行日志,结合原子性错误的各种模式构造新的、适合于修复后程序的执行日志,并通过观察修复后的程序是否能够按照新的日志正确执行来判断原子性错误是否被修复。用户在并发程序出错后,使用同步化方法修复原子性错误,本发明方法能够帮助用户在重复执行修复程序若干次后自动判断bug是否被正确修复。本发明方法不要求用户知道Bug的准确位置,符合用户检验错误是否被修复的习惯性方法。 ...

Подробнее
14-07-2023 дата публикации

Method for measuring content of gold and content of other elements in gold alloy product

Номер: CN116429808A
Принадлежит:

The invention relates to the technical field of element content detection, in particular to a method for determining the content of gold and other elements in a gold alloy product, which comprises the following steps: 1) dissolving a sample, adding hydrochloric acid, ethylenediamine tetraacetic acid disodium salt, tartaric acid, oxalic acid and perchloric acid, and preparing a stable sample solution; 2) preparing a calibration solution composed of main elements; 3) determining the known calibration samples of gold, silver, copper, zinc, nickel, iron, manganese and chromium with different concentrations, and determining the test conditions of the elements; and 4) testing the calibration solution sample, constructing the relationship between the X-ray fluorescence spectrum intensity and the content of gold, silver, copper, zinc, nickel, iron, manganese and chromium in the calibration work curve, and testing the sample to be tested by adopting the calibration curve to obtain the content of ...

Подробнее
12-09-2017 дата публикации

For software development defect prediction method

Номер: CN0104598375B
Принадлежит:

... 种用于软件开发的缺陷预测方法,构建源代码依赖网络和开发者社交网络,分别记录源代码文件间的依赖关系,以及开发者间的交流协作关系。比较源代码依赖网络和开发者社交网络,将两者的不致作为缺乏交流的指示。本发明可以检测出每个源代码文件关联的开发者交流链接缺乏的数量,作为衡量文件网络不致性的指标,还可以给出文件缺乏的开发者链接,并同时给出每条链接缺乏的原因,即哪两个源文件之间存在依赖,而其开发者间没有交流协作。开发者可以根据方法的指导,组织弥补相应的交流,有针对性地发现和修复缺陷。 ...

Подробнее
12-09-2017 дата публикации

Based on mixed strategy of the test data generating method

Номер: CN0104536877B
Принадлежит:

... 种基于混合策略的测试数据生成方法,综合利用多种技术的特点融合为测试数据的生成方法。虽然近来各种各样的测试数据生成机制层出不穷,每种技术还是有自己的局限性,例如囿于本身特点每种技术只对有限的几种数据结构适用性与精确性较强。以上的特点导致了单测试数据生成技术不能广泛而精确地得到试用。我们的方法结合了随机策略,动态符号执行和搜索策略建立数据生成流程,构成了个可以利用多种技术的优点而进行的高可靠性高拓展性的测试数据生成方法。 ...

Подробнее