公开(公告)号：CN106844949A

公开(公告)日：2017-06-13

申请号：CN201710039035.X

申请日：2017-01-18

Applicant: 清华大学

Inventor： 赵曦滨 ,  黄思光 ,  黄晋 ,  夏雅楠 ,  顾明 ,  孙家广

IPC: G06F17/50 ,  G06N3/08

Abstract: 本发明提供了一种用于实现机车节能操作的双向LSTM模型的训练方法。其步骤为:采集司机历史驾驶数据与机车运行监控日志，作为初始训练数据；对初始训练数据进行预处理，得到训练数据集和测试数据集；如果是初次训练，则直接初始化模型的各个参数，否则在上一次双向LSTM模型的基础上继续训练双向LSTM神经网络模型，并保存训练好的模型；应用训练过的模型对测试数据集做仿真测试，得到新的初始训练数据；将新的初始训练数据和上一训练阶段的训练数据一起作为初始训练数据。不断进行该步骤至模型收敛。本发明提出的特征设计方法、模型设计方法以及迭代训练方法能够充分利用数据信息，提升模型的档位预测能力。

公开(公告)号：CN106777809A

公开(公告)日：2017-05-31

申请号：CN201710025882.0

申请日：2017-01-13

Applicant: 清华大学 ,  中车信息技术有限公司 ,  中车大连机车研究所有限公司

Inventor： 顾明 ,  卢莎 ,  黄晋 ,  夏雅楠 ,  杨英 ,  赵曦滨 ,  孙家广

IPC: G06F17/50

Abstract: 本发明提供了一种基于实际运行数据的机车牵引计算模型校准方法。本发明基于从机车运行原始数据中离线获得的操纵档位、运行速度等序列，通过反向拟合的方法构建机车牵引计算模型，再通过正向验证的方式验证模型的准确性。在构建机车牵引计算模型中，首先基于机车日志记录得到机车牵引力和制动力，然后根据LKJ基础数据或线路建造数据获得加算阻力，在此基础上再按照推算公式获得速度和力之间的对应序列，再通过拟合的方式构建机车牵引计算模型。本发明基于实际运行数据拟合的机车牵引计算模型能更好的适应现场复杂的线路环境并减少统计误差，并将反向拟合和正向验证结合，能够更好的保证模型的适应性和准确性。

公开(公告)号：CN106775992A

公开(公告)日：2017-05-31

申请号：CN201710038009.5

申请日：2017-01-18

Applicant: 清华大学

Inventor： 黄晋 ,  李增坤 ,  赵曦滨 ,  刘炎 ,  顾明 ,  孙家广

IPC: G06F9/48 ,  G06F9/50

Abstract: 本发明提供了一种冗余计算机系统任务补偿方法，其中任务根据任务之间资源和时序关系划分为不同的任务类型，系统冗余结构是完全镜像的，具有相同的程序逻辑和数据块，维护系统调度标志，在系统运行过程中，周期性的采集系统任务的已执行数量、已分配的数量，计算系统的负载；根据系统负载调度标志与系统超载阈值判定系统的执行方式；系统按照设计的冗余结构进行表决运行；对系统总任务集进行分配并计算任务集调度补偿代价。该方案充分利用冗余系统的硬件优势。在系统正常运行时，系统利用冗余结构，实现备份恢复、表决等功能，体现出容错计算的特征；在高负载的特殊情况下，经过系统的判定，实现负载分配。

公开(公告)号：CN106294148A

公开(公告)日：2017-01-04

申请号：CN201610645892.X

申请日：2016-08-08

Applicant: 清华大学

Inventor： 孙家广 ,  王得希 ,  张超 ,  陈光 ,  贺飞 ,  顾明

IPC: G06F11/36

Abstract: 本发明提供了一种基于扩展符号变迁系统的C语言程序软件验证方法及装置。该方法包括：对待测对象C语言程序源代码插入验证属性描述；对插入验证属性的C语言程序源代码按照扩展的符号变迁系统ELTS语法构造ELTS程序模型；根据所述ELTS程序模型，生成可满足性求解SMT的模型路径；使用SMT工具对所述ELTS程序模型模型路径进行可达性的分析和验证；根据可达性分析和验证的结果生成ELTS程序模型反例，根据所述ELTS程序模型反例映射生成C语言程序反例。本发明实施例自动化建立ELTS程序模型，结合模型检测和严格的数学推理得到验证结果，相比于其它形式化方法具有准确率更高、程序覆盖率更好的特点，提高了软件验证的效率和准确性。

公开(公告)号：CN103066958B

公开(公告)日：2016-03-23

申请号：CN201310005009.7

申请日：2013-01-07

Applicant: 清华大学

Inventor： 陶青长 ,  梁志恒 ,  孙亚光 ,  顾明

IPC: H03K5/00 ,  H03K5/02

Abstract: 本发明提出一种小型电子侦察设备的信号采集系统，包括：预处理模块，用于将搜索到的信号进行采集并根据所采集到的信号功率动态调整衰减器的衰减量和放大器的放大量；功分处理模块，用于对预处理的信号根据频率功分为两路通过数模转换器进行转换和拼接处理，其中，第一路的信号处理频率低于第二路的信号处理频率；以及重组模块，用于将功分处理的信号重新进行组合。根据本发明实施例的系统，由于采用的微波器件较少，因此可以减小侦察设备的体积，同时所接收的信号瞬时带宽大，并且信号处理流程简单、响应快。

公开(公告)号：CN103971521A

公开(公告)日：2014-08-06

申请号：CN201410211575.8

申请日：2014-05-19

Applicant: 清华大学 ,  河南中原高速公路股份有限公司

Inventor： 刘金江 ,  顾明 ,  韩军 ,  任小斌 ,  任磊 ,  邱凌云

IPC: G08G1/01 ,  H04N7/18

Abstract: 本发明提出一种道路交通异常事件实时检测方法及装置。其中方法包括：对道路进行监控，获取连续多帧监控图像；从监控图像中提取亮白色线段，并处理得到车道线和车道消失点，建立车道模型；根据车道模型确定车道的双向检测区域，采用高斯混合模型背景差的方法检测双向检测区域中的运动目标，并确定运动目标的位置；根据连续多帧监控图像中运动目标的位置，采用后验概率的分裂合并算法以及特征点匹配跟踪方法，建立运动目标和实际车辆的映射关系，得到实际车辆的行驶轨迹与行驶速度；根据预存的道路交通异常行为的语义模型，对车道模型以及实际车辆的行驶轨迹与行驶速度进行检测，判断是否存在道路交通异常事件。本发明具有智能化、精度高等优点。

公开(公告)号：CN103048650A

公开(公告)日：2013-04-17

申请号：CN201210593841.9

申请日：2012-12-31

Applicant: 清华大学

Inventor： 陶青长 ,  梁志恒 ,  顾明 ,  吴冰

IPC: G01S7/40

Abstract: 本发明提出一种基于步进频雷达的回波模拟方法及系统。其中，方法包括以下步骤：设置目标的相关参数和反射系数并根据反射系数得到一维距离像模型；接收毫米波步进频雷达信号并通过下变频单元对毫米波步进频雷达信号下变频到中频频段；基带信号处理单元对中频频段的中频信号进行处理得到延时后的零中频I/Q信号和I/Q形式的初始相位；根据延时后的零中频I/Q信号、I/Q形式的初始相位和一维距离像模型进行卷积和2倍IQ调制得到中频频段目标回波信号；以及将中频频段目标回波信号进行转换和两级上变频处理得到毫米波波段目标回波信号。根据本发明实施例的方法，通过建立一维距离像模型以及采用正交变频、IQ调制、卷积和两级上下变频，从而提高了实时性，同时扩大了应用范围。

公开(公告)号：CN101639856B

公开(公告)日：2011-05-11

申请号：CN200910092356.1

申请日：2009-09-11

Applicant: 清华大学 ,  株式会社野村综合研究所

Inventor： 李春平 ,  高松 ,  王益斌 ,  顾明 ,  古川和年 ,  阿部昌平 ,  犬塚裕介

IPC: G06F17/30

Abstract: 检测互联网信息传播的网页关联评价装置，属于互联网信息传播技术领域，其特征在于，所述网页关系评价装置30具有：检测多个判断对象网页各自的生成时刻的生成时刻检测部分2，计算判断对象网页与其他判断对象网页之间相似度的相似度计算部分3，对于计算出的多个相似度中达到阈值以上的相似度、将计算该相似度时使用的两个判断对象网页定义为相互关联网页的关联网页定义部分5。本发明解决了互联网网页之间的相互关联关系精确定位技术问题。

公开(公告)号：CN111652290B

公开(公告)日：2024-03-15

申请号：CN202010413738.6

申请日：2020-05-15

Applicant: 深圳前海微众银行股份有限公司 ,  清华大学

Inventor： 张泉 ,  袁敏 ,  冯庆磊 ,  贾永香 ,  郭旭阳 ,  赵越 ,  姜宇 ,  顾明 ,  孙家广

IPC: G06V10/82 ,  G06V10/774 ,  G06V10/764 ,  G06N3/0455 ,  G06N3/084 ,  G06N3/094 ,  G06Q40/03 ,  G06Q40/08

Abstract: 本发明公开了一种对抗样本的检测方法及装置，其中方法为：根据待测图片的像素信息，按照预设格式，生成所述待测图片的像素特征数据，作为待测样本；将待测样本输入至特定样本重构模型，获得所述待测样本的重构样本；将所述待测样本的重构样本输入至所述特定预估模型，获得所述待测样本的重构样本的中间层输出值；将所述待测样本的重构样本的中间层输出值输入至特定分类模型，确定所述待测样本是否为对抗样本。上述方法应用于金融科技(Fintech)时，正常样本和对抗样本经特定样本重构模型转换后，正常样本和对抗样本的区分度会更大，确定所述待测样本是否为对抗样本的结果更加明显，更准确地发现所述待测样本是否为对抗样本。

公开(公告)号：CN115982414B

公开(公告)日：2023-07-25

申请号：CN202211625638.5

申请日：2022-12-16

Applicant: 清华大学

Inventor： 刘寒 ,  高歌 ,  顾明

IPC: G06F16/901

Abstract: 本发明提供一种图数据处理与增量存储方法、装置及计算机设备，包括：对目标图数据进行预处理；分别计算各节点的哈希值；根据目标图数据中各类节点的数量，确定各类型的节点的前缀空间的数量，以及各前缀空间的前缀值；根据各节点的哈希值以及节点类型，将各节点分配到节点类型对应的前缀空间；根据各节点的哈希值以及所属前缀空间的空间容量，分别计算各节点引用编号的后缀值；分别将各节点所属前缀空间的前缀值与引用编号的后缀值进行串联，得到各节点的引用编号；对各节点按照引用编号进行排序，按照排序结果得到目标图数据的线性存储数据结构；对线性存储数据结构进行增量存储。执行本发明能准确剔除与已有数据等效的节点，节省存储空间。