-
公开(公告)号：CN118656125B
公开(公告)日：2024-11-15
申请号：CN202411146900.7
申请日：2024-08-21
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
Abstract: 本发明提供了一种云边端协同检测克隆代码的方法、装置和存储介质，涉及软件工程技术领域，包括：对两个待比较的可执行文件进行解析筛选出疑似克隆代码对；进行符号执行，获取路径约束特征，进行符号执行期间遵循如下策略：当符号执行运行在某个节点的时间超过第一阈值后，舍弃此分支；当符号执行运行在某个分支时，检测到占用内存空间资源超过第二阈值，舍弃此分支；当符号执行遇到循环结构或者递归调用结构时，只运行一次循环和递归调用的内部代码，再跳出循环和递归；使用特解判断疑似克隆代码对的约束表达式是否等价。本发明通过符号执行技术获取二进制代码新的代码特征，路径约束，从而实现代码语义克隆检测，提升了代码克隆检测准确度。
-
公开(公告)号：CN118656059B
公开(公告)日：2024-10-25
申请号：CN202411131546.0
申请日：2024-08-19
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
Abstract: 本发明提供了一种边端设备误触管控检测方法、装置和存储介质，涉及软件工程技术领域，包括：基于页面遍历算法检测各个页面的可访问性；根据页面相似度判定每一个新页面是否需要测试；对当前页面中的控件进行筛选，以确定待检测控件；对待检测控件的中心点进行模拟点击，生成中心点击结果；在距待检测控件的中心点一定距离的控件边缘处进行模拟点击，生成边缘点击结果；将边缘点击结果与中心点击结果进行比较，以确定待检测控件是否存在可访问性问题。本发明结合了静态检测，动态检测，通过模拟用户操作后的资源变化和页面变化来判断待检测控件是否存在可访问性问题。以便为开发人员提供更可靠的可访问性评估和改进建议。
-
公开(公告)号：CN118656059A
公开(公告)日：2024-09-17
申请号：CN202411131546.0
申请日：2024-08-19
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
Abstract: 本发明提供了一种边端设备误触管控检测方法、装置和存储介质，涉及软件工程技术领域，包括：基于页面遍历算法检测各个页面的可访问性；根据页面相似度判定每一个新页面是否需要测试；对当前页面中的控件进行筛选，以确定待检测控件；对待检测控件的中心点进行模拟点击，生成中心点击结果；在距待检测控件的中心点一定距离的控件边缘处进行模拟点击，生成边缘点击结果；将边缘点击结果与中心点击结果进行比较，以确定待检测控件是否存在可访问性问题。本发明结合了静态检测，动态检测，通过模拟用户操作后的资源变化和页面变化来判断待检测控件是否存在可访问性问题。以便为开发人员提供更可靠的可访问性评估和改进建议。
-
公开(公告)号：CN118656125A
公开(公告)日：2024-09-17
申请号：CN202411146900.7
申请日：2024-08-21
Applicant: 南开大学 , 先进计算与关键软件(信创)海河实验室 , 天开宏图(天津)科技有限公司
Abstract: 本发明提供了一种云边端协同检测克隆代码的方法、装置和存储介质，涉及软件工程技术领域，包括：对两个待比较的可执行文件进行解析筛选出疑似克隆代码对；进行符号执行，获取路径约束特征，进行符号执行期间遵循如下策略：当符号执行运行在某个节点的时间超过第一阈值后，舍弃此分支；当符号执行运行在某个分支时，检测到占用内存空间资源超过第二阈值，舍弃此分支；当符号执行遇到循环结构或者递归调用结构时，只运行一次循环和递归调用的内部代码，再跳出循环和递归；使用特解判断疑似克隆代码对的约束表达式是否等价。本发明通过符号执行技术获取二进制代码新的代码特征，路径约束，从而实现代码语义克隆检测，提升了代码克隆检测准确度。
-
公开(公告)号：CN118656990B
公开(公告)日：2024-11-22
申请号：CN202411132445.5
申请日：2024-08-19
Applicant: 国家超级计算天津中心 , 中国人民解放军国防科技大学 , 先进计算与关键软件(信创)海河实验室
IPC: G06F30/20 , G06F113/08
Abstract: 本公开提供了一种流固耦合分析方法、装置、设备及存储介质，所述方法包括：基于流固耦合界面两侧分别对应的流体的物理状态和固体的物理状态，建立沿流固耦合界面的法线方向的流固黎曼问题，将第一时刻下流体的待耦合区域中流体的物理状态，以及第一时刻下固体的待耦合区域中固体的物理状态，作为流固黎曼问题的初始状态，对流固黎曼问题进行求解，得到第一时刻下流固耦合界面对应的流固耦合后的物理状态，基于流固耦合后的物理状态，分别对流体的待耦合区域和固体的待耦合区域进行物理状态的施加。可见，本公开通过构建沿流固耦合界面的法线方向的流固黎曼问题并求解，可以精准预测流固耦合后的物理状态，提升流固耦合分析的准确度。
-
Patent Agency Ranking
公开(公告)号：CN118761160B
公开(公告)日：2024-11-12
申请号：CN202411239369.8
申请日：2024-09-05
Applicant: 国家超级计算天津中心 , 中国人民解放军国防科技大学 , 先进计算与关键软件(信创)海河实验室 , 天津爱思达新材料科技有限公司
IPC: G06F30/15 , G06F30/23 , G06T17/20 , G06F111/10 , G06F111/06 , G06F119/02 , G06F119/14 , G06F119/08
Abstract: 本公开涉及一种碰撞结构仿真参数的优化方法、装置、设备和存储介质，该方法包括：响应于接收到参数优化指令后，获取碰撞结构模型，防护体模型包括设定速度的撞击体模型以及防护体模型；对设定速度的撞击体模型撞击防护体模型的过程进行分析，得到第一撞击数据；在第一撞击数据满足第一预设条件时，按照第一优化方式对防护体模型进行优化处理；在第一撞击数据未满足第一预设条件时，按照第二优化方式对防护体模型进行优化处理。本公开实施例将复合装甲的面密度多参数优化问题转化为根据防护体模型自动判别，根据判别结果执行对应的优化处理，大大节省了计算时间，提升了计算效率。
-
公开(公告)号：CN118656990A
公开(公告)日：2024-09-17
申请号：CN202411132445.5
申请日：2024-08-19
Applicant: 国家超级计算天津中心 , 中国人民解放军国防科技大学 , 先进计算与关键软件(信创)海河实验室
IPC: G06F30/20 , G06F113/08
Abstract: 本公开提供了一种流固耦合分析方法、装置、设备及存储介质，所述方法包括：基于流固耦合界面两侧分别对应的流体的物理状态和固体的物理状态，建立沿流固耦合界面的法线方向的流固黎曼问题，将第一时刻下流体的待耦合区域中流体的物理状态，以及第一时刻下固体的待耦合区域中固体的物理状态，作为流固黎曼问题的初始状态，对流固黎曼问题进行求解，得到第一时刻下流固耦合界面对应的流固耦合后的物理状态，基于流固耦合后的物理状态，分别对流体的待耦合区域和固体的待耦合区域进行物理状态的施加。可见，本公开通过构建沿流固耦合界面的法线方向的流固黎曼问题并求解，可以精准预测流固耦合后的物理状态，提升流固耦合分析的准确度。
-
公开(公告)号：CN118364590A
公开(公告)日：2024-07-19
申请号：CN202410799607.4
申请日：2024-06-20
Applicant: 国家超级计算天津中心 , 中国人民解放军国防科技大学 , 先进计算与关键软件(信创)海河实验室
IPC: G06F30/17 , G06F30/23 , G06F111/10
Abstract: 本公开涉及一种大规模欧拉域仿真数据的可视化处理方法、装置及设备，其中，所述方法包括：对仿真场景的数值模拟结果文件进行解析，生成多零件数据集；对所述多零件数据集按照零件进行遍历，根据所述每个零件的零件类型，对所述每个零件的零件数据进行处理，并将处理结果存储至预设的并行后处理格式文件中；利用文件指针并行读取所述并行后处理格式文件，得到所述每个零件对应的网格数据集；利用多个线程对所述每个零件对应的网格数据集进行并行渲染，生成所述多个零件的可视化模型。由此，极大地提升了渲染效率，解决了现有仿真结果展示中存在的大规模欧拉域数据难以高效利用和可视化过程效率低下的问题。
-
公开(公告)号：CN118070574B
公开(公告)日：2024-06-21
申请号：CN202410495134.9
申请日：2024-04-24
Applicant: 国家超级计算天津中心 , 中国人民解放军国防科技大学 , 先进计算与关键软件(信创)海河实验室
IPC: G06F30/20 , G06F9/50 , G06F111/02 , G06F119/14
Abstract: 本发明涉及计算机辅助工程技术领域，公开了一种并行仿真方法、设备和存储介质。该方法通过获取计算区域并从中构建物理模型，由该计算区域确定每个CPU线程分别对应的并行计算域，并确定时间步长和终止时间，针对每一个并行计算域，将其划分为第一区域和第二区域，并将其划分为第三区域和第四区域，进而通过每一个CPU线程，从首个时间点开始，对第一区域进行时空计算，并在对第二区域和第三区域进行时空计算的过程中，与其他CPU线程之间传输第一区域的计算结果，根据其他CPU线程发送的计算结果对第四区域进行时空计算，得到并行计算域在时间步长后的物理状态，直至达到终止时间，极大提升计算性能、并行效率和求解精度。
-
公开(公告)号：CN118037995A
公开(公告)日：2024-05-14
申请号：CN202410446338.3
申请日：2024-04-15
Applicant: 国家超级计算天津中心 , 中国人民解放军国防科技大学 , 先进计算与关键软件(信创)海河实验室
IPC: G06T17/20 , G06T17/10 , G06F30/23 , G06F111/10
Abstract: 本发明涉及建模领域，公开了一种网格模型生成方法、设备和存储介质，该方法包括：根据预先选择的目标模型类型，确定初始网格模型，并基于预先输入的各目标特征尺寸以及各基准网格尺寸，对初始网格模型进行处理，得到基准网格模型；根据目标模型类型，判断是否存在过渡层；在存在过渡层的情况下，确定基准网格模型中的过渡层位置，并将过渡层位置的基准网格更新为过渡层网格，得到目标网格模型；在不存在过渡层的情况下，将基准网格模型确定为目标网格模型，以实现快速对爆炸冲击过程中各模型进行六面体网格划分，提高网格精度和质量，增强网格连续性。
-
-
-
-
-
-
-
-
-
Search Results
39
records
(took 0.121 seconds)
