公开(公告)号：CN103150453A

公开(公告)日：2013-06-12

申请号：CN201310101920.8

申请日：2013-03-27

Applicant: 吉林大学

Inventor： 张立明 ,  欧阳丹彤 ,  赵毅 ,  叶育鑫 ,  李占山 ,  张永刚 ,  于海鸿 ,  李河 ,  刘杰 ,  董旭初

IPC: G06F17/50

Abstract: 本发明涉及一种结合依赖关系消除误判的等价性验证方法，属于模型验证技术领域。在验证等价性的两个电路中，引入新变量代替候选等价点后得到两电路不等价，此时新引入的变量扩大了原候选等价点的取值范围，可能发生误判。为消除误判，本方法首先对所有候选等价点依据电路结构信息计算其对应的拓扑关系。分析候选等价点对应的拓扑关系是否存在依赖关系：如不存在依赖关系，则不存在误判，即原电路不等价；若候选等价点间如存在依赖关系，则将候选等价点对应的子电路还原，进一步调用约束求解器求解。如果得到可满足的结果，则两电路是不等价的；如不可满足，则发生了误判现象，即两电路是等价的。本发明提高了等价性验证效率和芯片的首次硅片成功率，加快电子产品上市时间。

公开(公告)号：CN102929149A

公开(公告)日：2013-02-13

申请号：CN201210444316.0

申请日：2012-11-08

Applicant: 吉林大学

Inventor： 张立明 ,  欧阳丹彤 ,  赵毅 ,  李占山 ,  白洪涛 ,  张永刚 ,  于海鸿 ,  李河 ,  刘杰 ,  董旭初

IPC: G05B13/04

Abstract: 本发明涉及一种离散事件系统的反向遍历诊断方法，属于模型诊断技术领域。首先建立系统模型自动机；选择合适位置加入便于诊断所需的传感器，参考系统最大传输延迟的相关性质设计时间窗口。然后，根据时间窗口的长度，周期得到系统的观测序列和状态。随后，如当观测序列发生改变时，根据当前时间窗口内的观测和自动机间的转移关系，进行反向遍历，反向遍历得到前一状态的信息。如果为初始状态，则给出相应路径及其故障信息；如果为中间状态，则根据此中间状态给出相应的路径及其诊断信息。此时如果得到诊断信息，将此窗口内得到的观测和诊断信息加入到中间状态列表，完成当前窗口观测的诊断。否则继续反向遍历前一状态，直到完成诊断。

公开(公告)号：CN119577101A

公开(公告)日：2025-03-07

申请号：CN202510143457.6

申请日：2025-02-10

Applicant: 吉林大学

Inventor： 张永刚 ,  王继葵 ,  张啸成 ,  陈晓玲

IPC: G06F16/3329 ,  G06F16/334 ,  G06F16/36 ,  G06F40/194 ,  G06F40/30 ,  G06N3/042 ,  G06N5/022

Abstract: 一种融合知识图谱与大模型的产业创新问答方法及系统，涉及人工智能中的自然语言处理领域，解决现有产业创新数据分散，导致利用率低以及单一依赖缺乏相关领域知识的大模型而无法做出精准决策等问题；本发明通过收集结合专利信息、学术文献、政策制度的产业创新数据，创新领域知识图谱，将预处理后的产业创新数据转换为问答对格式的问答数据集，构建所述子图提取模型以及利用所述知识图谱增强大模型，实现产业趋势分析以及产业报告生成。本发明高效整合并利用产业创新数据，提高大模型针对创新技术洞察、产业趋势分析、产业报告生成等功能的准确性，更加精准地助力产业技术创新。

公开(公告)号：CN103150453B

公开(公告)日：2016-01-06

申请号：CN201310101920.8

申请日：2013-03-27

Applicant: 吉林大学

Inventor： 张立明 ,  欧阳丹彤 ,  赵毅 ,  叶育鑫 ,  李占山 ,  张永刚 ,  于海鸿 ,  李河 ,  刘杰 ,  董旭初

IPC: G06F17/50

Abstract: 本发明涉及一种结合依赖关系消除误判的等价性验证方法，属于模型验证技术领域。在验证等价性的两个电路中，引入新变量代替候选等价点后得到两电路不等价，此时新引入的变量扩大了原候选等价点的取值范围，可能发生误判。为消除误判，本方法首先对所有候选等价点依据电路结构信息计算其对应的拓扑关系。分析候选等价点对应的拓扑关系是否存在依赖关系：如不存在依赖关系，则不存在误判，即原电路不等价；若候选等价点间如存在依赖关系，则将候选等价点对应的子电路还原，进一步调用约束求解器求解。如果得到可满足的结果，则两电路是不等价的；如不可满足，则发生了误判现象，即两电路是等价的。本发明提高了等价性验证效率和芯片的首次硅片成功率，加快电子产品上市时间。

公开(公告)号：CN119167980A

公开(公告)日：2024-12-20

申请号：CN202411254396.2

申请日：2024-09-09

Applicant: 吉林大学

Inventor： 谷方明 ,  吕东昕 ,  张永刚 ,  洪瑞君 ,  杨楗皓 ,  王宇山 ,  刘俊宏

IPC: G06N3/008 ,  G06V40/16 ,  G06V40/20 ,  G06N3/0464 ,  G06N3/0442 ,  G06V20/40

Abstract: 本发明涉及一种用于用户工作状态监测的桌面式电子宠物，包括：壳体，主控板，触控显示单元，感知单元，运动单元。微处理器单元负责处理来自触控显示单元的用户交互信息；获取高清摄像头的拍摄数据和压力传感器的采集数据；捕捉并处理用户的语音指令，完成语音到文本的转换或直接识别成控制指令，实现语音识别和语音唤醒功能，反馈语音响应；通过蓝牙技术与IMU惯性测量单元传感器进行数据交互，实时监测用户状态，并将用户行为数据上传至云端，利用自学习和情感识别技术优化用户体验；还控制运动单元，接收yolov5模型的人脸追踪数据，输出PWM信号至舵机，确保人脸保持在摄像头视野中，完成机械交互。

公开(公告)号：CN110656160A

公开(公告)日：2020-01-07

申请号：CN201910998931.8

申请日：2019-10-21

Applicant: 魔方基因科技有限公司 ,  吉林大学

Inventor： 陈鹏 ,  张永刚 ,  吴义江 ,  李玉林

IPC: C12Q1/6851 ,  C12Q1/6886 ,  C12N15/11

Abstract: 本发明公开了一种用于检测microRNA分子的检测试剂，包括：用于检测miR-4448，miR-338-3p，miR-190-5p，miR-485-5p和/或miR-9-5p的正向检测引物和反向检测引物；其中，所述正向检测引物包括如序列表中的SEQ ID NO.1所示的碱基序列、SEQ ID NO.2所示的碱基序列、SEQ ID NO.3所示的碱基序列、SEQ ID NO.4所示的碱基序列和/或SEQ ID NO.5所示的碱基序列；所述反向检测引物为如序列表中的SEQ ID NO.6所示的碱基序列。本发明公开了一种用于检测microRNA分子的检测方法、试剂盒和应用。

公开(公告)号：CN102929149B

公开(公告)日：2015-03-11

申请号：CN201210444316.0

申请日：2012-11-08

Applicant: 吉林大学

Inventor： 张立明 ,  欧阳丹彤 ,  赵毅 ,  李占山 ,  白洪涛 ,  张永刚 ,  于海鸿 ,  李河 ,  刘杰 ,  董旭初

IPC: G06F11/00

Abstract: 本发明涉及一种离散事件系统的反向遍历诊断方法，属于模型诊断技术领域。首先建立系统模型自动机；选择合适位置加入便于诊断所需的传感器，参考系统最大传输延迟的相关性质设计时间窗口。然后，根据时间窗口的长度，周期得到系统的观测序列和状态。随后，如当观测序列发生改变时，根据当前时间窗口内的观测和自动机间的转移关系，进行反向遍历，反向遍历得到前一状态的信息。如果为初始状态，则给出相应路径及其故障信息；如果为中间状态，则根据此中间状态给出相应的路径及其诊断信息。此时如果得到诊断信息，将此窗口内得到的观测和诊断信息加入到中间状态列表，完成当前窗口观测的诊断。否则继续反向遍历前一状态，直到完成诊断。