|
搜索
搜 索
高等教育领域数字化综合服务平台
一种基于符号执行虚拟机的数据竞争检测与重放方法
本发明公开了一种嵌入式环境下并行程序数据竞争检测与重放 的方法，结合软件调试与测试的需求，采用符号执行虚拟机方案，动 态地监测程序的运行，收集程序的执行信息，并分析数据竞争。并且 还能通过执行信息对程序进行确定性重放，使得程序的执行轨迹能够 重现。功能包括：基于符号执行虚拟机的数据竞争检测、基于符号执 行虚拟机的数据竞争重放功能。本发明可以发掘隐藏在程序中的数据 竞争，防止多线程程序在运行时发生错误。
华中科技大学
2021-04-14
一种开放式地理空间数据的可用性评价方法
本发明公开了一种开放式地理空间数据的可用性评价方法，首先确定开放式地理空间数据的可用性 评价指标;然后根据评价指标，利用层次分析法确定指标的权重，建立包括评价指标及其对应权重的评 价模型;接着对开放式地理空间数据可用性的各项评价指标进行分析，实行百分制打分，结合各指标对 应的权重，计算模型各评价指标得分以及模型总得分;最后分析模型各评价指标得分以及模型总得分， 分级确定开放式地理空间数据的可用性程度。本发明能有效评价开放式地理空间数据的可用性状况。
武汉大学
2021-04-13
一种用于文化赋能机场设计评价的跨模态数据处理方法
本发明公开了一种用于文化赋能机场设计评价的跨模态数据处理方法，涉及跨模态数据分析与处理技术领域，包括，基于预处理后的多源评价数据，通过自适应时间对齐算法，获取时间对齐多源评价数据；基于卷积神经网络模型，构建多源质量增强模型，将时间对齐多源评价数据输入多源质量增强模型，获取高质量多源评价数据；基于高质量多源评价数据，构建多维语义空间，获取多维语义空间中的位置信息和关联规则；通过分析位置信息和关联规则，获取一致性多源评价数据；基于一致性多源评价数据，通过综合评分机制，评估文化赋能机场文化元素。本发明通过自适应时间对齐算法和卷积神经网络模型，显著提升了数据处理的准确性和可靠性。
南京工业大学
2021-01-12
信号与系统教学实验系统
集成一体化先进结构方案，将开放式的电路和实验平台、高品质数字信号源、新一代测量与分析仪器集成在一个实验箱中，不需要配电脑或其他仪器，只需一个实验箱就能全面支持“信号与系统”实验的教学内容。
西安唐都科教仪器开发有限责任公司
2021-02-01
一种沥青混合料多序列动态蠕变试验数据处理及分析方法
本发明公开了一种沥青混合料多序列动态蠕变试验数据处理及分析方法，通过设计一个巴特沃斯低通滤波器对试验测得的蠕变变形数据进行低通滤波，得到平滑的蠕变曲线，再分别计算每个加载序列的平均永久应变率，然后根据公式计算评价沥青混合料蠕变特性的三个指标：应变率敏感指数SRSI、复合平均永久应变率CAPSR、复合蠕变劲度模量CCSM：SRSI越大，意味着该应力状况对材料蠕变的影响越显著；CAPSR则代表了多种复杂应力状况下的等效应变率，该值越大，表明在材料在一次加载中产生的永久应变越大，材料的高温性能越差；CCSM代表了在蠕变试验结束时材料的抗永久变形能力的强弱，该值越大，证明材料的高温性能越好。
东南大学
2021-04-11
一种对多源数据来源下的公交站点位置纠偏的方法
一种对多源数据来源下的公交站点位置纠偏的方法，首先确定每条路段的公交站点搜索范围，将搜索范围内的公交站点作为待纠偏站点，然后逐个判断待纠偏站点与路段的距离以及经过该站点的线路与路段走向关系是否满足站点与路段的匹配要求，满足要求则匹配成功，否则判断该站点与反向路段是否满足匹配要求，最后，对匹配成功的站点进行纠偏处理，使与路段匹配的站点位于路段右侧合理偏离范围内，匹配失败的站点交由用户完成匹配后纠偏。本发明基于公交站点与路段的位置关系以及线路与路段的走向关系自动修正公交站点在路网中的位置，实现多源数据来源及部分数据存在偏差情况下的公交站点与路段的匹配以及站点位置纠偏，提高匹配的准确性。
东南大学
2021-04-11
一种基于均值漂移的不同精度三维点云数据的融合方法
本发明公开了一种基于均值漂移的不同精度下的三维点云数据 的融合方法，针对两组精度等级不同的三维点云数据，利用高精度点 云建立低精度点云的误差分布，进而对低精度点云进行均值漂移，消 除低精度点云的漂移误差，从而实现两组数据信息的融合，该方法包 括：S1：建立低精度点云的拓扑结构信息，包括每个样点的邻域点集 和单位法矢；S2：利用高精度点云对低精度点云进行密度聚类，根据 聚类结果确定低精度点云每个样点的漂移误差；S3：利用低精度点云 的拓扑结构信息和所述漂移误差确定低精度点云各样点的漂移矢量， 根据该漂移矢量对低精度点云的各样点进行漂移，实现融合。本发明 的方法在消除低精度点云漂移误差的同时，可实现小幅度噪声的光顺。
华中科技大学
2021-04-11
一种跨比例尺矢量地图水网数据同名目标匹配方法
本发明涉及一种跨比例尺矢量地图水网数据同名目标匹配方法：1.导入具有相同投影坐标系的两份 同区域不同比例尺版本的待匹配水网数据，将小比例尺数据设置为匹配层，大比例尺数据设置为参考层； 2.分别对匹配层和参考层水网数据进行几何维度一致化处理，使之统一表达为结点—弧段的线状水网结 构；3.引入概率松弛模型依据距离关系指标进行结点匹配，4.基于结点匹配关系以及距离、长度指标进 行弧段匹配；5.由线状水网结构间的弧段及结点匹配关系，导出原始匹配层水网数据与参考层水网数据 间的同名目标匹配关系。本发明克服了不同比例尺版本水网数据目标表达存在维度差异的难点，能够准 确高效地建立不同比例尺版本水网数据同名目标匹配关系。
武汉大学
2021-04-13
一种容三盘失效纠删码的单数据盘失效快速重建方法
本发明公开了一种容三盘失效纠删码的单数据盘失效快速重建 方法，包括：单条带重建时将每个条带的每个条带单元划分为 p-1 个 子分块，其中 p 为素数，且满足 p+2 等于 RAID 组中磁盘的数量,获取 每个条带中用于重建失效盘的子分块的总数量 Rideal＝Rlow+w%，在 磁盘个数为 p+2 的阵列中，将失效盘 i 失效的可行解值初始化为 3<sup>p-1</sup>，初始化计数器 j=0,用辗转相
华中科技大学
2021-04-14
一种基于 I/O 流水线的失效节点数据重构优化方法
本发明公开了一种基于 I/O 流水线的失效节点数据重构优化方 法 ， 包 括 ： 从 纠 删 码 存 储 集 群 中 的 存 活 节 点 中 任 选 k 个 节 点 N1,N2,…,Nk，并初始化计数器 i＝0，j＝1，节点 Nj 读取其自身的分块 Blocki,j，并将其发送到 Nj+1，并设置 j＝j+1，节点 Nj 读取其自身的 分块 Blocki,j，并与接收自节点 Nj-1 的分块 Blocki,j-1 进行线性组合计
华中科技大学
2021-04-14