-
公开(公告)号：CN117633811A
公开(公告)日：2024-03-01
申请号：CN202311621780.7
申请日：2023-11-30
Applicant: 四川大学
IPC: G06F21/57 , G06F18/213 , G06F18/25 , G06F40/284 , G06N3/0442 , G06N3/045
Abstract: 本发明提供了一种多视角特征融合的代码漏洞检测方法，涉及计算机程序分析及网络安全技术领域。该方法包括预处理源代码函数，在代码序列、词法和语法关系视角得到序列化AST的初始令牌序列，在图结构视角得到节点初始化表示；将序列化AST的初始令牌序列输入嵌入层，并依次经具有Bi‑LSTM层、Attention层、Flatten层、全连接层和Dropout层，得到序列化AST的特征向量；按边类型提取CPG的四种子图，更新并聚合节点表示到CPG，以读出图结构表示；串联序列化AST的特征向量和图表示获得融合特征向量，通过多层感知器、接入的Dropout层的MLP分类器对源代码函数进行分类检测。该方法可实现不同IRC的信息互补，具有更强的代码漏洞信息捕获和语义信息细粒度提取能力，并可更有效地聚焦漏洞代码。
-
公开(公告)号：CN118069512A
公开(公告)日：2024-05-24
申请号：CN202410202699.3
申请日：2024-02-23
Applicant: 四川大学
Abstract: 本发明涉及软件可靠性测试技术领域，公开了一种测试用例优化的softAPFD评价方法。根据测试用例的优先级真值，通过神经网络模型，预测得到测试用例优先级的预测值，用softmax函数将各个测试用例优先级的预测值，转化为其检测软件错误的占比，以此计算得到softAPFD损失函数；对应用softAPFD损失函数的测试用例优先级预测模型进行训练；根据训练好的测试用例优先级预测模型的参数，进行待测测试用例优先级的预测，根据预测到的优先级在已有序列中排序。本发明改进了APFD的计算方法，使其能够适应梯度计算，继而使其能够应用于当前主流的神经网络框架，能够使用计算图机制自动完成梯度推导；且运算简单，易于实现，具有极高的计算效率。
-
公开(公告)号：CN116775473A
公开(公告)日：2023-09-19
申请号：CN202310703761.2
申请日：2023-06-14
Applicant: 四川大学
IPC: G06F11/36 , G06F18/2415 , G06N3/0455 , G06N3/0499 , G06N3/047 , G06N3/0464 , G06N3/048 , G06N3/08
Abstract: 本发明公开了一种基于编解码框架的核电软件测试用例生成方法，首先通过语法分析将程序代码转换为抽象语法树，然后对语法树中的节点和输入的测试用例分别进行词嵌入处理，将节点和测试用例转换成向量表示，使用基于树形的卷积神经网络对每个语句子树进行卷积操作，从而提取出具有区分度的执行路径特征；再将执行路径特征和测试用例词向量连接后，通过Transformer编码器获得执行路径与测试用例的联合特征表达，最后利用Transformer解码器生成测试用例。本发明能够捕捉代码执行路径的结构特点以及与测试用例之间的关联，从而生成具有高质量的测试用例，提高了核电软件测试的效率和质量。
-
Patent Agency Ranking
公开(公告)号：CN105865868B
公开(公告)日：2018-05-15
申请号：CN201610204288.3
申请日：2016-04-01
Applicant: 四川大学
IPC: G01N1/28
Abstract: 含不同方向结构面岩样的人工制备方法，属于土木建筑技术领域。将砂、石膏、水、硼砂充分搅拌均匀，得到岩石基质，将石灰、粘土、水充分搅拌均匀，得到结构面材料，将岩石基质、结构面材料及岩石基质按照一定要求依次倒入模具中，然后将取样装置的环刀从模具内岩石基质上方插入，使位于环刀内的结构面平面经过环刀内的中心点，然后保持环刀不动，用刮刀将环刀外部的岩石基质和结构面取走，将环刀两端多余的浇筑物去除，将两端刮平，环刀内为岩样；岩样放于阴凉干燥处自然养护7天，即得到最终模拟岩样。本发明适用于岩体力学特性研究。
-
公开(公告)号：CN105865868A
公开(公告)日：2016-08-17
申请号：CN201610204288.3
申请日：2016-04-01
Applicant: 四川大学
IPC: G01N1/28
CPC classification number: G01N1/286 , G01N2001/2873
Abstract: 含不同方向结构面岩样的人工制备方法，属于土木建筑技术领域。将砂、石膏、水、硼砂充分搅拌均匀，得到岩石基质，将石灰、粘土、水充分搅拌均匀，得到结构面材料，将岩石基质、结构面材料及岩石基质按照一定要求依次倒入模具中，然后将取样装置的环刀从模具内岩石基质上方插入，使位于环刀内的结构面平面经过环刀内的中心点，然后保持环刀不动，用刮刀将环刀外部的岩石基质和结构面取走，将环刀两端多余的浇筑物去除，将两端刮平，环刀内为岩样；岩样放于阴凉干燥处自然养护7天，即得到最终模拟岩样。本发明适用于岩体力学特性研究。
-
公开(公告)号：CN116561007A
公开(公告)日：2023-08-08
申请号：CN202310607110.3
申请日：2023-05-26
Applicant: 四川大学
Abstract: 本发明公开了一种基于强化学习框架的核安全控制软件异常测试方法，测试对象为核动力数值仿真计算的C语言代码模块，定义实现特定的系统仿真和反馈控制功能的基本单元为一个模块，一个模块在定时循环中处理一次；每当系统时间推进到距离上一次计算T时间，则触发一次新的模块计算，使模块的状态和输出得到更新；定义各种异常，并设置各种异常的判断阈值；进行核安全控制软件异常测试预先准备，根据前文定义和确定的内容确定定时循环仿真流程，完成软件异常测试。本发明采用了强化学习自动求证的方式，可以测试任意形式的数值计算模块，无需过多人工干预；条件过程通过系统参数实现，调节方式简单直观，有利于计算机算法自动化批量处理。
-
公开(公告)号：CN207051075U
公开(公告)日：2018-02-27
申请号：CN201721020450.2
申请日：2017-08-15
Applicant: 四川大学
Abstract: 人工制备含不同方向节理面岩体的装置和系统，属于土木建筑技术领域，包括用于放置岩样的中空的管状本体，管状本体上设置有第一开口与第二开口，第一开口与第二开口以管状本体中心为中心对称设置，第一开口与第二开口上分别设置有第一引槽及第二引槽，还包括刀片，刀片与两个引槽相适配，刀片能够在引槽中伸缩活动，将刀片沿着第二引槽，能够顺着第二开口插入岩样中，直到贯穿，而后从第一引槽中穿出，第一引槽及第二引槽与管状本体活动连接，两个引槽与管状本体的角度分别可调，第一引槽与第二引槽的中心线在同一直线上。该装置结构简单，易于操作，成本低廉，能够高效便捷地制得含不同方向中心贯穿或非贯穿结构面岩样，适用于制备岩样。
-
公开(公告)号：CN205538295U
公开(公告)日：2016-08-31
申请号：CN201620273425.4
申请日：2016-04-01
Applicant: 四川大学
IPC: G01N1/04
Abstract: 制备含不同方向结构面岩样的取样装置，属于土建技术领域，能够在人工制备不同方向结构面岩样过程中对不同方向结构面岩样进行取样。包括刀架，所述刀架包括两个平行的竖直导轨，每个导轨上沿其长度方向各设有滑道，在滑道上各安装有一个螺杆，螺杆能够在滑道上下滑动，还包括圆柱形的环刀套管，环刀套管上设有至少两个通孔，所述通孔的尺寸与螺杆相匹配，通过相适配的螺母及螺杆将环刀套管紧固在滑道上，环刀套管下端连接有环刀，环刀为圆柱形管体，其下端为边缘锋利的开口。本实用新型适用于岩体力学特性研究。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.024 seconds)
