-
公开(公告)号：CN118654618A
公开(公告)日：2024-09-17
申请号：CN202410892829.0
申请日：2024-07-04
Applicant: 中国建设基础设施有限公司 , 清华大学 , 中建英大保险经纪有限公司
Abstract: 本发明提供一种用于隧道模型内部的位移监测装置及其位移监测方法。该用于隧道模型内部的位移监测装置包括：具有轴向螺杆的支撑架和安装在所述轴向螺杆上的至少一套位移测量组件，所述轴向螺杆穿过试验模型箱内部的隧道模型；所述位移测量组件包括中心固定盘、多个弹性金属片和固定在所述弹性金属片表面的应变传感器；所述弹性金属片一端与所述中心固定盘固定，所述弹性金属片的另一端沿隧道模型弯曲；所述应变传感器用于测量金属片弯曲时的变形数据以确定隧道壁的位移数据。本发明可以测量轴向位移，安装简单，稳定性和精度高。
-
公开(公告)号：CN116401665A
公开(公告)日：2023-07-07
申请号：CN202310382048.2
申请日：2023-04-11
Applicant: 清华大学
IPC: G06F21/56
Abstract: 本申请实施例公开了一种寄存器传输级的硬件木马的检测方法。所述方法包括：解析芯片内每个寄存器传输级RTL代码模块在所述芯片的完整运行周期内的数据流行为和控制流行为；对每个RTL代码模块，获取在控制流行为生效条件下数据流行为对应的每条数据通路的触发概率；从每个RTL代码模块对应的数据通路中，选择触发概率小于预设的阈值的数据通路，标记为硬件木马数据通路，完成RTL代码的硬件木马检测。
-
公开(公告)号：CN116010567A
公开(公告)日：2023-04-25
申请号：CN202211679210.9
申请日：2022-12-26
Applicant: 清华大学
IPC: G06F16/332 , G06F18/22 , G06F18/214
Abstract: 本发明提供一种关键词抽取方法及装置，其中方法包括：获取待抽取文本；对所述待抽取文本进行文本分割，获得字词序列；将所述文本序列输入至抽取模型中，获取所述抽取模型输出的关键词；其中，所述抽取模型是基于文本序列样本以及所述文本序列样本对应的标签序列样本训练得到的，所述标签序列样本是对所对应的文本序列样本进行序列标注获得的，所述标签序列样本用于在所述文本序列样本中确定关键词。本发明实施例提供的关键词抽取方法及装置，通过有监督训练提高了关键词抽取的准确性。
-
公开(公告)号：CN111914500B
公开(公告)日：2022-09-20
申请号：CN202010728091.6
申请日：2020-07-23
Applicant: 清华大学
IPC: G06F30/327 , G06F30/392
Abstract: 本申请实施例公开了一种快速单磁通量子RSFQ电路布局方法和装置，该方法包括：读入待布局RSFQ电路的门级网表及单元库信息，并依据门级网表及单元库信息解析RSFQ电路的逻辑单元列表和线网列表；识别RSFQ电路中逻辑单元及除时钟线网以外的数据线网的逻辑级别，并根据逻辑级别的识别结果在线网内插入DFF缓冲器，根据DFF缓冲器的插入结果识别最终逻辑级别；根据最终逻辑级别生成逻辑单元按列放置的初始布局模式；采用模拟退火算法对所述初始布局模式进行优化，以最小化布局总线长，并在所述模拟退火算法终止迭代时输出布局结果。通过该实施例方案，保证了RSFQ电路的时钟相位同步，并取得了紧凑的布局结果，大大提高了RSFQ电路设计效率。
-
公开(公告)号：CN108647533B
公开(公告)日：2021-10-08
申请号：CN201810151701.3
申请日：2018-02-14
Applicant: 清华大学
IPC: G06F21/71
Abstract: 本发明提供一种用于检测硬件木马的安全断言自动生成方法，包括：对待测芯片的寄存器传输级网表文件进行仿真，得到仿真运行结果和仿真运行文件；根据构建的安全性知识库对仿真运行结果进行分析，得到疑似硬件木马电路的信号；针对每个疑似硬件木马电路的信号执行以下步骤：根据仿真运行文件，推导与疑似硬件木马电路的信号对应的寄存器传输级不变式；根据构建的安全断言模板知识库、推导出的寄存器传输级不变式以及疑似硬件木马电路的信号，生成对应于疑似硬件木马电路的信号的安全断言。本发明利用寄存器传输级不变式实现安全断言的自动生成，减轻设计人员的工作量，省时且不易出错，有效提高了形式验证检测硬件木马的效率。
-
Patent Agency Ranking
公开(公告)号：CN111752976A
公开(公告)日：2020-10-09
申请号：CN202010470564.7
申请日：2020-05-28
Applicant: 清华大学 , 国网甘肃省电力公司电力科学研究院 , 国家电网有限公司
IPC: G06F16/2455 , G06F16/2458 , G06K9/62 , G06N3/04
Abstract: 本申请涉及一种气象数据处理方法、装置、计算机设备及可读存储介质。该方法包括：对目标区域中所有网格点对应的预设时间段内，每个采样时刻的初始气象数据进行预处理，获取所有网格点在每个采样时刻下的直接辐照度数据，以及与直接辐照度相关的指标气象数据，从直接辐照度数据和指标气象数据中，筛选出网格点中与未知点相邻的已知点在指定时刻前后预设数量个时刻对应的直接辐照度数据和指标气象数据，作为气象特征数据，基于目标气象数据推算模型，通过气象特征数据获取未知点在指定时刻的目标气象推算数据；上述方法可以对不同质量的初始气象数据进行处理，以通过初始气象数据进一步推算出未知点的气象数据，提高了未知点推算结果的精确度。
-
公开(公告)号：CN110930807A
公开(公告)日：2020-03-27
申请号：CN201911373880.6
申请日：2019-12-26
Applicant: 清华四川能源互联网研究院 , 清华大学
Abstract: 本发明提供了一种电力系统的仿真培训系统，包括：数据处理层获取目标设备发送的目标数据，确定目标数据中的电力系统实时断面数据及故障数据；实时潮流计算层对电力系统实时断面数据及故障数据进行第一实时潮流计算，得到第一计算结果；调度仿真培训层根据第一计算结果制定培训案例，将培训案例发送给客户端，获取客户端发送的操作指令；实时潮流计算层基于操作指令更新电力系统中的电气设备的参数，并对更新之后的电气设备的参数进行第二实时潮流计算，得到第二计算结果，并将第二计算结果发送给调度仿真培训层；调度仿真培训层基于第二计算结果、操作记录和预设评价规则生成培训评价，解决了现有技术中无法对学员进行全面培训的技术问题。
-
公开(公告)号：CN107067099A
公开(公告)日：2017-08-18
申请号：CN201710055611.X
申请日：2017-01-25
Applicant: 清华大学 , 甘肃省电力公司风电技术中心 , 国网甘肃省电力公司 , 国家电网公司
Abstract: 本发明涉及一种风电功率概率预测方法及装置，所述方法包括：根据历史输出功率以及历史预测功率，获取风电场预测误差的统计特征；根据历史预测功率和风电场的NWP预测结果的风速波动量，获得风电概率预测的条件全集；通过K‑means聚类算法，将条件全集划分为若干条件子集；对处在每个条件子集下的误差集合形成条件经验分布，并检验其数字特征与风电场预测误差的统计特征中数字特征是否重合；若重合则通过K‑means聚类算法再次进行聚类；以及根据各时刻的风电功率预测结果以及条件经验分布，获得风电功率概率预测结果。本发明还涉及一种预测装置。本发明提供的风电功率概率预测方法能够差异性地提供误差分布函数，具有更高的预测准确度。
-
公开(公告)号：CN103488816B
公开(公告)日：2016-08-10
申请号：CN201310393083.0
申请日：2013-09-02
Applicant: 清华大学
IPC: G06F17/50
Abstract: 本发明公开了一种模拟电路的多层精确匹配布线方法，包括：步骤10，读入待布线网组中每个线网的线网信息、布线区域内障碍信息和布线工艺参数信息；步骤20，根据待布线网组的每个线网信息中的起始点和终止点信息计算所有可能拐点的位置信息；步骤30，根据所有可能拐点的位置信息、待布线网组的布线区域内障碍信息和布线工艺参数信息，将布线区域划分为三维不均匀网格；步骤40，在所述三维不均匀网格上，采用A*搜索算法对待布线网组中的所有线网同时搜索布线路径；步骤50，采用A*搜索算法的回找过程求得待布线网组的精确布线路径结果。
-
公开(公告)号：CN101894178B
公开(公告)日：2013-05-22
申请号：CN201010195323.2
申请日：2010-05-31
Applicant: 清华大学
IPC: G06F17/50
Abstract: 基于可满足性问题SAT的可制造性热点拆线重布方法属于VLSI物理设计领域，其特性在于：它以热点的拓扑结构约束和线网连通性约束为指导，对于区域内的所有重布线网同时建立SAT约束，通过求解该约束问题完成对多条线网同时布线的过程，可以有效的控制新的可制造性热点的产生；同时，由于方法采用了基于区域的拆线重布策略，使得其效率得以保障，又通过动态边界调整和带有偏移量的两阶段拆线重布过程大大提高了版图内的热点消除比率。实验结果证明该方法可以快速有效地消除版图中的可制造性热点，与传统的针对热点的拆线重布算法相比，其收敛性更好，可以更有效地避免新热点的产生，同时保证可以找到一种存在的可行的布线方案。
-
-
-
-
-
-
-
-
-
Search Results
110
records
(took 0.033 seconds)
