-
公开(公告)号：CN106874074B
公开(公告)日：2020-05-05
申请号：CN201611218952.6
申请日：2016-12-26
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种基于软件事务内存的并发缺陷规避系统及方法，所述系统由事务自动划分模块、可回滚内存模块、可回滚I/O模块、条件变量处理模块和加锁解锁处理模块5个模块构成，所述方法为：一、实现对目标程序的自动事务划分；二、实现内存事务化；三、实现执行流的可回滚化；四、实现I/O事务化；五、实现对死锁、数据竞争、原子性违背和顺序违背的有效规避。本发明能够自动事务化C/C++多线程程序、合理处理条件变量、支持普通文件和字符文件在系统层面、C语言层面和C++语言层面的事务化I/O和消除包括死锁、数据竞争、原子性违背和顺序违背在内的多种并发缺陷。
-
公开(公告)号：CN102785167B
公开(公告)日：2014-12-24
申请号：CN201210294959.1
申请日：2012-08-17
IPC: B24B53/06
Abstract: 大磨粒金刚石砂轮修整装置及方法，它涉及一种砂轮修整装置及方法，以解决由于大磨粒金刚石砂轮径向回转误差较大而不能直接用于精密磨削，必须更换细磨粒砂轮来实现后续精密磨削的问题，它包括两个圆盘、两套夹具、两个联轴器、两套减速器和两台电机，位于砂轮的轴线的两侧分别设置有一个圆盘，圆盘的轴线与砂轮的轴线相垂直，且圆盘的端面与砂轮的磨削面接触，每个圆盘安装在一个夹具上，每个夹具与一个联轴器连接，每个联轴器与一个减速器的输出端连接，每个减速器的输入端与一个电机的输出端连接。方法步骤为：一、安装；二、检测大磨粒金刚石砂轮的径向回转误差，达到要求后修整完成。本发明用于大磨粒金刚石砂轮的精密修整。
-
公开(公告)号：CN103198016A
公开(公告)日：2013-07-10
申请号：CN201310099997.6
申请日：2013-03-26
Applicant: 哈尔滨工业大学
IPC: G06F11/36
Abstract: 基于联合依赖概率建模的软件错误定位方法，本发明涉及计算机程序分析领域。本发明是要解决传统的软件错误定位方法定位精度低的问题，而提供了基于联合依赖概率建模的软件错误定位方法。步骤1：分别执行正确测试用例和错误测试用例，并分别对正确测试用例和错误测试用例建立联合依赖概率模型；步骤2：在步骤1的基础上，根据联合依赖概率模型，计算每个节点的可疑度；步骤3：将错误定位信息按可疑度进行降序排列，可疑度高的节点认定为更有可能出错的节点，即完成了对基于联合依赖概率建模的软件的错误进行定位。本发明应用于计算机程序分析领域。
-
公开(公告)号：CN103150254A
公开(公告)日：2013-06-12
申请号：CN201310099998.0
申请日：2013-03-26
Applicant: 哈尔滨工业大学
IPC: G06F11/36
Abstract: 基于状态依赖概率建模的软件错误定位方法，本发明涉及计算机程序分析领域。本发明是要解决传统的软件错误定位方法定位精度低的问题，而提供了基于状态依赖概率建模的软件错误定位方法。步骤1：分别执行正确测试用例和错误测试用例，并分别对正确测试用例和错误测试用例建立状态依赖概率模型；步骤2：在步骤1的基础上，根据状态依赖概率模型，计算每个节点的可疑度；步骤3：将错误定位信息按可疑度进行降序排列，可疑度高的节点认定为更有可能出错的节点，即完成了对基于状态依赖概率建模的软件的错误进行定位。本发明应用于计算机程序分析领域。
-
公开(公告)号：CN102785167A
公开(公告)日：2012-11-21
申请号：CN201210294959.1
申请日：2012-08-17
Applicant: 哈尔滨工业大学
IPC: B24B53/06
Abstract: 大磨粒金刚石砂轮修整装置及方法，它涉及一种砂轮修整装置及方法，以解决由于大磨粒金刚石砂轮径向回转误差较大而不能直接用于精密磨削，必须更换细磨粒砂轮来实现后续精密磨削的问题，它包括两个圆盘、两套夹具、两个联轴器、两套减速器和两台电机，位于砂轮的轴线的两侧分别设置有一个圆盘，圆盘的轴线与砂轮的轴线相垂直，且圆盘的端面与砂轮的磨削面接触，每个圆盘安装在一个夹具上，每个夹具与一个联轴器连接，每个联轴器与一个减速器的输出端连接，每个减速器的输入端与一个电机的输出端连接。方法步骤为：一、安装；二、检测大磨粒金刚石砂轮的径向回转误差，达到要求后修整完成。本发明用于大磨粒金刚石砂轮的精密修整。
-
Patent Agency Ranking
公开(公告)号：CN102152175B
公开(公告)日：2012-08-08
申请号：CN201110020419.X
申请日：2011-01-18
Applicant: 哈尔滨工业大学
IPC: B24B1/04
Abstract: 用于微结构表面精密加工的超声振动辅助磨削装置，它涉及一种超声振动辅助磨削装置。本发明为解决现有的超声振动辅助磨削装置不能调整振动方向，导致加工超硬材料微结构表面时振动轨迹会与表面结构发生干涉，从而破坏了微结构表面的面型精度的问题。旋转台的下端面固装在倾斜台的上端面上，支撑底板固装在旋转台的上端面上，振动工作台通过四个支撑件固装在支撑底板的上方，变幅杆的一端面积小，另一端面积大，变幅杆的小面积端与振动工作台的侧壁固接，变幅杆的大面积端与换能器固接，换能器通过导线与超声发生器连接。本发明通过调整旋转台和倾斜台使得超声振动的方向可随意调节，提高了法向磨削刚度；本发明用于陶瓷类超硬微结构表面精密加工。
-
公开(公告)号：CN113031117B
公开(公告)日：2022-08-30
申请号：CN202110264665.3
申请日：2021-03-11
Applicant: 哈尔滨工业大学
Abstract: 本发明是一种基于热图像分析的城市开放空间室外人体热舒适预测方法。本发明涉及城市设计与建筑环境技术领域；本发明对城市开放空间进行网格化处理，得到多个区域；收集主观人体热感觉评价数据；基于采集到的城市开放空间的热图像，提取热图像中的城市开放空间表面温度；采用卷积神经网络建立城市开放空间热图像与人体热舒适之间的映射关系，对人体热舒适进行预测。本发明解决了传统室外空间热舒适预测方法中诸多站点布置所产生的人力资源和经济资源消耗，本发明利用机器学习算法将城市开放空间表面温度与空气温度和人体热感觉直接联系起来，减少了传统室外空间热舒适预测评价过程中繁杂的数据处理过程，进一步缩减了预测误差。
-
公开(公告)号：CN103577728B
公开(公告)日：2016-03-30
申请号：CN201310572174.0
申请日：2013-11-16
Applicant: 哈尔滨工业大学
IPC: G06F21/14
Abstract: 一种使用收缩执行依赖图识别库函数的方法，属于软件逆向工程领域。所述方法为：1）对目标函数和库函数建立执行依赖图(EDG)；2）对EDG的局部EDG序列化，得到特征值序列和有序邻接矩阵；3）参照库函数EDG将目标函数和库函数EDG中有唯一点序列且不包含库函数EDG首尾的局部EDG收缩成点；4）判断库函数收缩EDG是否是目标函数收缩EDG的同构子图；5）验证识别结果是否有效。本方法不但能准确识别完整库函数，还能识别传统方法不能识别的多态及非连续字节的内联库函数，并有效缩短识别时间。
-
公开(公告)号：CN103577728A
公开(公告)日：2014-02-12
申请号：CN201310572174.0
申请日：2013-11-16
Applicant: 哈尔滨工业大学
IPC: G06F21/14
CPC classification number: G06F21/14
Abstract: 一种使用收缩执行依赖图识别库函数的方法，属于软件逆向工程领域。所述方法为：1）对目标函数和库函数建立执行依赖图(EDG)；2）对EDG的局部EDG序列化，得到特征值序列和有序邻接矩阵；3）参照库函数EDG将目标函数和库函数EDG中有唯一点序列且不包含库函数EDG首尾的局部EDG收缩成点；4）判断库函数收缩EDG是否是目标函数收缩EDG的同构子图；5）验证识别结果是否有效。本方法不但能准确识别完整库函数，还能识别传统方法不能识别的多态及非连续字节的内联库函数，并有效缩短识别时间。
-
公开(公告)号：CN103440122A
公开(公告)日：2013-12-11
申请号：CN201310291941.0
申请日：2013-07-12
Applicant: 哈尔滨工业大学
IPC: G06F9/44
Abstract: 一种新的使用逆向扩展控制流图的静态函数识别方法，属于软件逆向工程领域。所述方法包括如下步骤：步骤1：建立区域逆向扩展控制流图的集合；步骤2：对逆向扩展控制流图去噪，删除构建过程中搜索出的非编译器能生成的节点；步骤3：删除和合并逆向扩展控制流图；步骤4：在逆向扩展控制流图中识别函数入口；步骤5：得到指定区域中多个函数的识别结果。与传统方法不同，本发明以函数的返回指令作为识别特征，以函数返回指令节点作为逆向搜索起点构建逆向扩展控制流图，能够在指定二进制代码区域中识别多个函数，并且能够有效识别传统静态识别方法无法识别的无特定头字节特征及无交叉引用的函数。
-
-
-
-
-
-
-
-
-
Search Results
38
records
(took 0.021 seconds)
