漏洞分析与挖掘技术在信息技术领域的地位越来越重要，但警报不准确、规模庞大、验证困难等问题却严重阻碍其发展。针对此问题，本项目从提高漏洞分析准确性、降低漏洞确认规模、加速漏洞验证过程三个方面依次递进研究。首先，采用基于抽象内存模型的漏洞分析及检测技术，将基于内存区域的内存模型应用于现有区间、路径及上下文的分析及计算过程，引入更为准确的对象描述方法。其次，采用基于相似数据来源的警报聚类技术，实现对全局定值特征的有效计算，以及基于全局定值特征的警报间各类关系的计算，为所有警报构建等价类、主宰类、相似类及支配类。

航天探测进入了多光谱时代，在航天多谱探测过程中，目标成像会受到多种因素的干扰，成像环境是动态的、不可选择的，引起图像退化的点扩散函数是随机的、变化的、复杂的，难以用数学来描述。航天探测图像的快速复原是国内外许多学者长期致力而未能有效解决的科学难题。本项目转变图像复原现有思想，探索新方向，依据图像视觉显著性特征的变化而不再是利用所有像素点信息来反演退化过程，开展不依赖于退化模式的统一复原新思维研究，提出航天探测图像的自主统一复原方法。研究内容包括：实际退化图像过渡区显著性特征的变化分析与零交叉点特征提取方法

Project Summary/Abstract The Pittsburgh MSTP brings together the synergetic research and clinical strengths of Carnegie Mellon University of the University of Pittsburgh. Trainees are selected from a national pool of over 400 applicants with superior acad

DESCRIPTION (provided by applicant): Project Description The broad objective of this proposal is to understand the mechanism of genetic recombination and its relationship to chromosome maintenance in both Bacteria and Eukarya. Our approach is to reco

クロスチェーン相互運用性に関する数理モデルを用いた理論以外にも,シャーディングに関する理論や,暗号資産取引の安全性向上を目的とした異常検知と会話型AIの融合によるブロックチェーンを用いたトークン経済圏における意思決定を支援AIフレームワークを提案する研究も行うことができた.これ以外にもブロックチェーンに関する数理モデルを用いた理論の発展や,その他の共同研究が増えており,現在進行形で新しい研究を進めることができている.例えば,Web3システムの一般的な性質としてのサイズと同期の拮抗(Size-Synchro

Возможность практического использования результатов:Задачи устойчивости движения высокоскоростных объектов по рельсовым направляющим,задачи генерации изгибных и изгибно-крутильных волн в рельсовых направляющих являются актуальными и их результаты могут сл