|
搜索
搜 索
高等教育领域数字化综合服务平台
一种基于符号执行虚拟机的数据竞争检测与重放方法
本发明公开了一种嵌入式环境下并行程序数据竞争检测与重放 的方法，结合软件调试与测试的需求，采用符号执行虚拟机方案，动 态地监测程序的运行，收集程序的执行信息，并分析数据竞争。并且 还能通过执行信息对程序进行确定性重放，使得程序的执行轨迹能够 重现。功能包括：基于符号执行虚拟机的数据竞争检测、基于符号执 行虚拟机的数据竞争重放功能。本发明可以发掘隐藏在程序中的数据 竞争，防止多线程程序在运行时发生错误。
华中科技大学
2021-04-14
一种基于可变输入数据流的大动态实时解压缩系统
本发明公开了一种基于可变输入数据流的大动态实时解压缩系统，包括：解帧模块、RS 解码模块、2DECC 解码模块、无纠错解码模块、EDC 检纠错模块、数据打包分发模块、多路并行 golomb 解码模块、多路并行残差预测解码模块、像素收集模块以及组帧模块；解帧模块解析压缩码流的帧格式，分离辅助信息与压缩码流数据；压缩码流数据输入到检纠错模块、多路并行解码模块按块解码，然后将解码后的数据还原成输入的数据形式，完成解压缩工作
华中科技大学
2021-04-14
存储系统中基于溯源信息的文件元数据查询方法与系统
本发明公开了存储系统中基于溯源信息的文件元数据查询方法。 在系统客户端收集溯源信息，通过分析得到文件相关性信息并传递给 元数据服务器；元数据服务器根据文件之间的关系信息实时维护关系 图；建立基于关联感知的元数据索引树；接收到查询请求后，先在索 引树中查找到种子结果集，然后在关系图中查找，得到初始结果集， 最后对初始结果集根据查询条件进行排序和精简得到最终结果发送给 客户。本发明还提供了相应的文件元数据查询系统。本发明
华中科技大学
2021-04-14
一种开放式地理空间数据的可用性评价方法
本发明公开了一种开放式地理空间数据的可用性评价方法，首先确定开放式地理空间数据的可用性 评价指标;然后根据评价指标，利用层次分析法确定指标的权重，建立包括评价指标及其对应权重的评 价模型;接着对开放式地理空间数据可用性的各项评价指标进行分析，实行百分制打分，结合各指标对 应的权重，计算模型各评价指标得分以及模型总得分;最后分析模型各评价指标得分以及模型总得分， 分级确定开放式地理空间数据的可用性程度。本发明能有效评价开放式地理空间数据的可用性状况。
武汉大学
2021-04-13
一种基于相关性去除的差分隐私数据发布方法及系统
一种基于相关性去除的差分隐私数据发布方法及系统，各数据拥有者分别对自己的原始数据集进行 分段并得到差值数据集，对差值数据集的前两项求和并加噪，然后同态加密后上传给云服务提供商，云 服务提供商进行同态解密运算;各数据拥有者对差值数据集项进行变换得到变换系数，加入由相互独立 且服从高斯分布的白噪声所组成的平稳噪声;数据拥有者进行逆小波变换得到加扰后的数据集，上传到 云服务提供商;云服务提供商利用维纳滤波进行滤波，当数据使用者请求数据集时，云服务提供商对求 精后的数据集进行反变换，发布给第三方数据使用者的数据项。本发明有效减少了数据计算量和交互量， 提高了资源利用率和数据可用性。
武汉大学
2021-04-13
一种用于文化赋能机场设计评价的跨模态数据处理方法
本发明公开了一种用于文化赋能机场设计评价的跨模态数据处理方法，涉及跨模态数据分析与处理技术领域，包括，基于预处理后的多源评价数据，通过自适应时间对齐算法，获取时间对齐多源评价数据；基于卷积神经网络模型，构建多源质量增强模型，将时间对齐多源评价数据输入多源质量增强模型，获取高质量多源评价数据；基于高质量多源评价数据，构建多维语义空间，获取多维语义空间中的位置信息和关联规则；通过分析位置信息和关联规则，获取一致性多源评价数据；基于一致性多源评价数据，通过综合评分机制，评估文化赋能机场文化元素。本发明通过自适应时间对齐算法和卷积神经网络模型，显著提升了数据处理的准确性和可靠性。
南京工业大学
2021-01-12
西安交通大学能源与动力工程学院微区X射线衍射仪竞争性磋商
西安交通大学能源与动力工程学院微区X射线衍射仪竞争性磋商
西安交通大学
2022-06-23
五部门：开展智能光伏与建筑节能、交通运输等领域交叉技术研究
光伏产业是基于半导体技术和新能源需求而融合发展、快速兴起的朝阳产业，也是实现制造强国和能源革命的重大关键领域。
人民网
2022-01-05
西安交通大学科研人员在强场量子电动力学物理领域取得重要进展
近年来，超强激光技术的迅速发展，尤其是10-100PW超强激光时代的到来，为量子电动力学（QED）的理论验证提供了前所未有的极端实验条件。
西安交通大学
2022-05-09
一种沥青混合料多序列动态蠕变试验数据处理及分析方法
本发明公开了一种沥青混合料多序列动态蠕变试验数据处理及分析方法，通过设计一个巴特沃斯低通滤波器对试验测得的蠕变变形数据进行低通滤波，得到平滑的蠕变曲线，再分别计算每个加载序列的平均永久应变率，然后根据公式计算评价沥青混合料蠕变特性的三个指标：应变率敏感指数SRSI、复合平均永久应变率CAPSR、复合蠕变劲度模量CCSM：SRSI越大，意味着该应力状况对材料蠕变的影响越显著；CAPSR则代表了多种复杂应力状况下的等效应变率，该值越大，表明在材料在一次加载中产生的永久应变越大，材料的高温性能越差；CCSM代表了在蠕变试验结束时材料的抗永久变形能力的强弱，该值越大，证明材料的高温性能越好。
东南大学
2021-04-11