-
公开(公告)号：CN114547744A
公开(公告)日：2022-05-27
申请号：CN202210173860.X
申请日：2022-02-24
Applicant: 清华大学
IPC: G06F30/13 , G06F30/12 , G06F111/20
Abstract: 本发明涉及建筑模型领域，具体涉及一种模型导出方法、装置、电子设备及存储介质。该方法包括：从存储空间中获取当前模型导出请求，存储空间用于存储至少一个模型导出请求，模型导出请求中包括第一格式的建筑模型的位置信息；从当前模型导出请求中的位置信息中获取第一格式的目标建筑模型；基于第一格式的目标建筑模型触发模型导出操作，确定第二格式的目标建筑模型。上述方法，当存在大量模型需要导出时，减少了在模型导出过程中用户的参与和等待时间，实现了模型导出流程的自动化，能够高效完成模型导出任务。
-
公开(公告)号：CN114416104A
公开(公告)日：2022-04-29
申请号：CN202210321435.0
申请日：2022-03-30
Applicant: 清华大学
Abstract: 本发明提供了一种结构化数据文件处理方法及装置，其中，结构化数据文件处理方法包括：通过根据模式定义文件、第一索引以及各领域对象定义信息之间的关系，建立各模式定义文件的早绑定风格接口，并根据早绑定风格接口的代码计算并集建立兼容风格接口；在对数据文件进行解析处理时，通过待解析结构化数据文件中各领域对象的实例信息建立第二索引，通过第二索引和兼容风格接口与之前建立的早绑定风格接口进行匹配，再通过早绑定风格接口调用晚绑定风格接口对待解析结构化数据文件进行读\写操作，实现对结构化底层数据进行直接操作，并最终克服了早绑定方式和晚绑定方式各自的问题，实现了在结构化领域数据解析过程中对数据的快速解析处理。
-
公开(公告)号：CN110544113B
公开(公告)日：2022-04-12
申请号：CN201910749662.1
申请日：2019-08-14
Applicant: 清华大学
Abstract: 本发明提供一种基于智能合约的交易中燃油费的输入确定方法及装置，方法包括：根据智能合约中函数的执行过程，生成控制流图；将函数每一种预先确定的参数值作为进行燃油费输入确定的种子输入函数，根据函数在执行过程中各节点消耗的实际燃油费，从种子中选择目标种子，并根据每个节点消耗的实际燃油费对各节点的权重进行更新；对目标种子进行变异，将变异后的目标种子作为下一次进行燃油费输入确定的种子，直到达到预设终止条件；将最后一次更新的各节点的权重之和作为基于智能合约的交易中燃油费的输入。本发明可以快速找到产生较高燃油费的输入，促使智能合约的函数消耗较高的燃油费。
-
公开(公告)号：CN107357970B
公开(公告)日：2020-08-11
申请号：CN201710484871.9
申请日：2017-06-23
Applicant: 清华大学
Abstract: 本发明公开了一种基于数据挖掘的建筑信息模型异常元素检测装置，包括：知识图谱模块，空间元素聚类模块、构件元素聚类模块、异常空间元素检测模块、异常构件元素检测模块和用户界面模块。同时本发明还公开了一种基于数据挖掘的建筑信息模型异常元素检测装置的检测方法，本发明所述基于数据挖掘的建筑模型异常元素检测装置，提供了建筑模型知识图谱构建、建筑模型空间和构件元素聚类分析、建筑模型异常元素检测等一系列功能，相较于现有基于领域知识或标准规范的模型检查方法，本装置可以检测出领域知识或规范约束之外的异常元素信息。
-
公开(公告)号：CN107341598B
公开(公告)日：2020-07-31
申请号：CN201710485064.9
申请日：2017-06-23
Applicant: 清华大学
Abstract: 本发明公开了一种语义和几何计算结合的复杂建筑规范符合性检测装置，其包括：用户界面模块、语义约束处理模块、几何约束处理模块、几何计算模型库和综合处理模块，该检测装置及其检测方法中，通过几何约束处理模块与语义约束处理模块的松耦合，使得该框架能够兼容纯粹的语义约束检测和几何约束检测，通用性强；此外，也方便用户对规范语义以及建筑构件几何约束处理模块进行独立更新和修改，易于维护和迭代开发。
-
Patent Agency Ranking
公开(公告)号：CN106970819B
公开(公告)日：2020-07-10
申请号：CN201710191241.2
申请日：2017-03-28
Applicant: 清华大学
Abstract: 本发明提供一种基于PRDL规则描述语言的C语言代码规范检查装置及其检查方法，代码规范检查装置包括五个功能模块：规则解析器，程序解析器，规则检查引擎，缺陷报告器，用户交互接口。其中，规则解析器由语义解析器和查询优化器两个子功能模块组成，负责解析PRDL规则语义生成初始逻辑查询计划，再对该计划进行重写优化。程序解析器由代码行解析器、标记流解析器、语法树解析器三个子功能模块所组成，负责对源代码进行文本特征抽取和结构特征抽取，将抽取得到的三个层次(代码行、标记、语法树)的模型融合成C程序模型。本发明对用户选择或定义的PRDL规则进行语义解析，从而获取违背规则的缺陷代码相关信息，将检查结果报告给用户进行审核与评估。
-
公开(公告)号：CN110633204B
公开(公告)日：2020-05-05
申请号：CN201910450219.4
申请日：2019-05-28
Applicant: 清华大学
IPC: G06F11/36
Abstract: 本发明实施例提供一种程序缺陷检测方法及装置，获取待检测程序的潜在缺陷；根据所述潜在缺陷的缺陷类型和缺陷位置，获取第一断言表达式，并将所述第一断言表达式插入到所述待检测程序的相应位置，得到第二断言表达式；对所述第二断言表达式进行验证，若验证结果满足预设条件，则判断获知所述潜在缺陷是真实程序缺陷。本发明实施例根据待检测程序中潜在缺陷的缺陷类型和缺陷位置，在待检测程序的相应位置插入断言表达式，从而更加快速的确定待检测程序中的真实程序缺陷，提高缺陷定位的准确性。
-
公开(公告)号：CN108491228B
公开(公告)日：2020-03-17
申请号：CN201810267094.7
申请日：2018-03-28
Applicant: 清华大学
IPC: G06F8/75
Abstract: 本发明提供一种二进制漏洞代码克隆检测方法及系统，其中方法包括：提取待检测二进制代码中的第一函数的函数特征和二进制漏洞代码中的第二函数的函数特征，函数特征包括基本块信息、控制流信息和函数调用信息；将第一函数的函数特征和第二函数的函数特征分别输入预设神经网络，利用预设神经网络计算第一函数和第二函数的相似度；当相似度达到预设阈值时，确定待检测二进制代码中存在二进制漏洞代码的克隆代码。该方法及系统解决了现有代码克隆检测方法所存在的克隆类型检测不全面、准确度低、复杂度高且不易于实现等问题，确保了克隆类型检测的全面性和检测结果的准确性，同时有效提升了检测效率。
-
公开(公告)号：CN110580222A
公开(公告)日：2019-12-17
申请号：CN201910806802.4
申请日：2019-08-29
Applicant: 清华大学
Abstract: 本发明实施例提供一种软件测试用例生成方法及系统，所提供的方法包括：获取待测试安装包，将所述测试安装包安装在安卓设备中，获取所述测试安装包对应的应用程序在任一页面的历史状态信息；根据所述历史状态信息，生成所述历史状态信息对应的特定类型的事件并将所述事件发送至安卓设备执行；执行所述事件，获取所述事件的执行结果。本发明实施例提供的方法及系统，以安卓应用执行过程中的历史状态信息，通过随机方式生成事件，在生成UI事件的同时兼顾系统事件，最终生成更有价值的测试用例。
-
公开(公告)号：CN110544113A
公开(公告)日：2019-12-06
申请号：CN201910749662.1
申请日：2019-08-14
Applicant: 清华大学
Abstract: 本发明提供一种基于智能合约的交易中燃油费的输入确定方法及装置，方法包括：根据智能合约中函数的执行过程，生成控制流图；将函数每一种预先确定的参数值作为进行燃油费输入确定的种子输入函数，根据函数在执行过程中各节点消耗的实际燃油费，从种子中选择目标种子，并根据每个节点消耗的实际燃油费对各节点的权重进行更新；对目标种子进行变异，将变异后的目标种子作为下一次进行燃油费输入确定的种子，直到达到预设终止条件；将最后一次更新的各节点的权重之和作为基于智能合约的交易中燃油费的输入。本发明可以快速找到产生较高燃油费的输入，促使智能合约的函数消耗较高的燃油费。
-
-
-
-
-
-
-
-
-
Search Results
108
records
(took 0.045 seconds)
