一种面向多关系图的可达性查询索引的构建与处理方法.pdf

面向程序可达性验证的数组处理循环压缩方法.pdf NETINFOSECURITY 理论研究2024年第3期 doi:10.3969/j.issn.1671-1122.2024.03.004 面向程序可达性验证的数组处理循环压缩方法许良晨1，孟昭逸²，黄文超1，熊焰1 （1.中国科学技术大学计算机科学与技术学院，合肥230026；2.安徽大学计算机科学与技术学院，合肥230601）摘要：计算机软件的安全性和健壮性逐渐成为一个非常重要的问题，而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中，大规模数组和复杂循环导致状态爆炸，使得验证器无法在规定时间内完成验证，因此如何在保证验证正确性的前提下

2025-05-14 约3.62万字 11页立即下载

一种带权大图上的k步可达性查询算法.pdf (19)中华人民共和国国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 112818184 A (43)申请公布日 2021.05.18 (21)申请号 202110268511.1 (22)申请日 2021.03.12 (71)申请人山东建筑大学地址

2023-06-03 约7.24千字 7页立即下载

k步加权可达性查询的并行处理算法研究.docx k步加权可达性查询的并行处理算法研究一、引言在图论和计算机网络领域，可达性查询是一个常见且重要的任务。特别是当涉及到加权图和复杂网络时，K步加权可达性查询更是具有挑战性。随着大数据时代的到来，如何高效地处理这些查询，特别是进行并行处理以提高性能，成为了一个热门的研究话题。本文旨在探讨K步加权可达性查询的并行处理算法研究，通过提出新的算法模型来优化现有的技术方案。二、背景与相关研究在传统的图论中，可达性查询主要关注于从源节点到目标节点的路径是否存在。然而，在加权图中，除了路径的存在性外，路径的权重也是一个重要的考虑因素。K步加权可达性查询则进一步要求在给定的K步内找到从源节点到目标节点的

2025-03-07 约4.94千字 10页立即下载

一种基于可达性的医疗资源供需匹配关系获取方法.pdf (19)国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 114462503 A (43)申请公布日 2022.05.10 (21)申请号 202210012042.1 (22)申请日 2022.01.07 (71)申请人上海应用技术大学地址 20141

2023-05-04 约1.46万字 16页立即下载

一种基于神经网络可达性的汽车电子功能安全评估方法.docx PAGE 1- 一种基于神经网络可达性的汽车电子功能安全评估方法第一章汽车电子功能安全评估背景与意义 (1)随着汽车产业的快速发展，电子技术在汽车中的应用日益广泛，汽车电子化已经成为汽车行业发展的趋势。据市场调研数据显示，2019年全球汽车电子市场规模达到2500亿美元，预计到2025年将达到4000亿美元。然而，随着电子系统复杂性的增加，汽车电子功能安全问题也日益凸显。汽车电子功能安全问题可能导致严重的交通事故，甚至威胁到驾驶员和乘客的生命安全。因此，对汽车电子功能进行安全评估，确保其符合功能安全标准，已成为汽车行业关注的焦点。 (2)根据国际标准化组织（ISO）发布的ISO26262标准

2025-01-22 约2.05千字 4页立即下载

一种基于Java Monitor的并发程序可达性测试改进方法的中期报告.docx 一种基于Java Monitor的并发程序可达性测试改进方法的中期报告本文介绍一种基于Java Monitor的并发程序可达性测试改进方法的中期报告。 1. 研究背景随着计算机系统的发展，越来越多的应用程序采用多线程并发执行模型，以充分利用多核处理器的计算资源，使程序可以更高效地完成任务。然而，并发程序的设计和实现很难保证正确性。并发程序中可能出现各种不同类型的错误，如竞态条件、死锁、活锁等。因此，对并发程序进行可达性测试是非常重要的，以确保程序在不同的执行环境下具有正确的行为。目前，常见的并发程序可达性测试方法有约束求解、模型检测和符号执行等方法。然而，这些方法都有各自的局限性和缺点。

2023-10-11 约小于1千字 2页立即下载

一种基于公交刷卡数据测量老年人就医可达性的方法.pdf (19)中华人民共和国国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 112990565 A (43)申请公布日 2021.06.18 (21)申请号 202110256693.0 (22)申请日 2021.03.09 (71)申请人东南大学地址 21

2023-06-09 约1.43万字 13页立即下载

一种机场可达性的检测方法、装置、电子设备及存储介质.pdf (19)国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 114548811 A (43)申请公布日 2022.05.27 (21)申请号 202210194082.2 G06Q 50/30 (2012.01)

2023-05-06 约2.4万字 20页立即下载

一种面向知识图谱自动构建系统的关系抽取方法.docx PAGE 1- 一种面向知识图谱自动构建系统的关系抽取方法一、1.关系抽取方法概述 (1)关系抽取是知识图谱构建中的关键步骤，旨在从非结构化文本中自动识别实体之间的关系。这一过程通常涉及自然语言处理、机器学习以及图论等多个领域。据统计，全球范围内有超过70%的知识图谱构建项目依赖于关系抽取技术。例如，在商业领域，关系抽取被广泛应用于客户关系管理，通过分析客户评论和反馈，企业能够识别客户满意度和产品关联关系，从而优化产品设计和营销策略。 (2)关系抽取方法主要分为基于规则、基于统计和基于深度学习三类。基于规则的系统依赖于预先定义的语法规则和模式，能够处理结构化文本，但在处理复杂文本时效果有限。

2025-01-20 约3.34千字 6页立即下载

一种面向海量非结构化数据内容可查询可追溯的高可靠知识库构建方法.pdf (19)中华人民共和国国家知识产权局 (12)发明专利 (10)授权公告号 CN 112966126 B (45)授权公告日 2021.09.17 (21)申请号 202110216317.9 G06F 16/483 (2019.01)

2023-06-10 约9.06千字 8页立即下载

伦敦公共交通可达性分析方法及应用.pdf 专题 + 文章编号：1672-5328（2019）01-0070-07中图分类号：U491.17文献标识码：ADOI:10.13813/11-5141/u.2019.0111 伦敦公共交通可达性分析方法及应用伦敦公共交通可达性分析方法及应用张天然，朱春节 (上海市城市规划设计研究院，上海200040) 摘要：可达性构建了交通系统与土地利用间联系的桥梁，对于城市研究和交通规划具有重要的意义。以伦敦公共交通可达性为研究对象，从应用和计算方法等方面，详细解析公共交通可达性水平、等时线地图和服务范围等3种可达性表现形式。公共交通可达性水平是对公共交通网络密度的度量，广泛应用于伦敦各种规划中，如

2025-03-24 约3.79万字 7页立即下载

2025-05-27 约5.33万字 94页立即下载

空间可达性分析.pdf Day 4. GIS-Based Measures of Spatial Accessibility and Application in Examining Healthcare Access Fahui Wang CNU

2021-01-29 约2.96万字 36页立即下载

面向灾害高风险区的社区避难场所可达性优化研究教学研究课题报告.docx 面向灾害高风险区的社区避难场所可达性优化研究教学研究课题报告目录一、面向灾害高风险区的社区避难场所可达性优化研究教学研究开题报告二、面向灾害高风险区的社区避难场所可达性优化研究教学研究中期报告三、面向灾害高风险区的社区避难场所可达性优化研究教学研究结题报告四、面向灾害高风险区的社区避难场所可达性优化研究教学研究论文面向灾害高风险区的社区避难场所可达性优化研究教学研究开题报告一、研究背景意义在灾害频发的现代社会，社区避难场所的可达性对于保障居民生命安全至关重要。然而，目前我国面向灾害高风险区的社区避难场所可达性尚存在诸多问题。本研究旨在优化社区避难场所的可达性，提升灾害应对能力，

2025-05-24 约6.08千字 14页立即下载

索引提高查询速度的方法.docx PAGE 1- 索引提高查询速度的方法 一、索引的基本概念 (1)索引在数据库中扮演着至关重要的角色，它类似于书籍中的目录，能够帮助用户快速定位到所需的信息。在数据库中，索引是一种数据结构，它包含了表中数据的引用，这些引用按照特定的顺序排列，使得数据库系统能够迅速地找到用户查询的数据。例如，在一个包含数百万条记录的员工表中，如果想要快速找到某个特定部门的员工信息，没有索引的情况下，数据库可能需要遍历整个表，效率非常低下。而有了索引，数据库系统只需访问索引数据，就可以快速定位到目标数据所在的行，从而大幅提高查询速度。 (2)索引的基本类型包括单列索引、复合索引、全文索引和哈希索引等。单列索引是针

2025-02-02 约1.91千字 4页立即下载