-
公开(公告)号：CN115346363B
公开(公告)日：2024-06-21
申请号：CN202210738974.4
申请日：2022-06-27
Applicant: 西安电子科技大学
IPC: G08G1/01 , G06F16/2458 , G06N3/0464 , G06N3/0475 , G06N3/094 , G06N3/045 , G06Q50/40
Abstract: 本发明公开了一种基于神经网络的驾驶员违规预测方法，涉及违规预测技术领域，包括：获取原始数据；对原始数据进行处理，得到第一数据；采用第一数据对预设的第一模型进行训练，得到违规时间间隔预测模型，并对违规时间间隔预测模型进行评价；采用第一数据对预设的第二模型进行训练，对抗生成第二数据；将第一数据和第二数据进行综合，得到综合数据；采用综合数据对预设的第三模型进行训练，得到违规类型预测模型，并对违规类型预测模型进行评价；采用违规时间间隔预测模型和违规类型预测模型分别进行违规时间间隔和违规类型进行预测。本申请能够以较高的准确率对驾驶员违规进行预测。
-
公开(公告)号：CN117312137A
公开(公告)日：2023-12-29
申请号：CN202311154956.2
申请日：2023-09-07
Applicant: 西安电子科技大学
Abstract: 本发明公开了一种面向中断驱动程序的原子性违反缺陷检测方法及装置，该方法包括：确定中断驱动程序对应的所有节点中的中断节点，以及每个中断节点对应的中断驱动程序中的会受影响的中断服务例程；根据中断驱动程序生成可达树，得到所有节点中各个节点的原始状态；根据可达树的路径走向确定待处理的中断节点，针对每个待处理的中断节点的原始状态对应的程序语句对中断驱动程序中的共享变量的访问情况、以及会受影响的中断服务例程对共享变量的访问情况，确定原始状态是否存在对应的中断触发状态，并当存在时，生成中断触发状态的后继状态流，并记录对每个共享变量的访问信息，根据记录的访问信息和不可序列化的交织模式，检测原子性违反缺陷。
-
公开(公告)号：CN117094263A
公开(公告)日：2023-11-21
申请号：CN202210520515.9
申请日：2022-05-13
Applicant: 西安电子科技大学
IPC: G06F30/347
Abstract: 本发明涉及一种基于商用Xilinx Virtex‑7FPGA芯片资源模型的解析绘制方法，包括：通过解析.xml格式的Virtex‑7FPGA架构体系文件，获取Virtex‑7FPGA芯片属性信息存储至第一结构体中；通过解析.net格式的网表电路文件，获取网表电路文件的资源信息存储在集群网表类中；通过解析.place格式的电路布局文件，获取电路布局文件的资源信息存储至第二结构体中；根据第一结构体、集群网表类、第二结构体绘制Virtex‑7FPGA芯片架构、电路的可布局块分布以及网络连接；通过解析.route格式的电路布线文件，获取电路布线文件的资源信息，并存储轨迹向量中；根据集群网表类、电路布线文件的资源信息和预设布线资源图，绘制电路的布线连接和关键布线路径时延。本发明整体运行效率较为高效且消耗资源较低。
-
公开(公告)号：CN115099414A
公开(公告)日：2022-09-23
申请号：CN202210608393.9
申请日：2022-05-31
Applicant: 西安电子科技大学
IPC: G06N20/00
Abstract: 本发明公开了一种基于索引表达式的梯度下降算法的建模方法，包括：基于预设的索引表达式，构建梯度下降谓词；根据梯度下降算法的预设精度，利用MSVL中的字符串对输入数据进行不同类型的运算，得到第一结果；读取数据集，并根据梯度下降谓词对多元线性回归模型进行训练，得到梯度下降的形式化模型；利用第一结果，对梯度下降的形式化模型的性质进行验证。本发明通过基于预设的索引表达式来构建梯度下降谓词，从而针对泰勒展开应用的形式化模型，可以对机器学习系统底层的安全性和可靠性进行验证分析。
-
公开(公告)号：CN107679400B
公开(公告)日：2020-09-25
申请号：CN201710772215.9
申请日：2017-08-31
Applicant: 西安电子科技大学
Abstract: 本发明属于计算机应用技术领域，公开了一种基于源代码插桩的社交网络安全运行时验证方法及系统，通过对开源社交网络进行代码插桩来捕获事件，用PPTL3来描述性质并生成相应的性质监控模块，然后将事件和性质监控模块输入运行时监控器，运行时监控器自动的监控开源社交网络的运行是否符合给定的性质，并可以在社交网络不满足性质时给出监控信息，避免了模型检测状态空间爆炸的问题，也不需要复杂的定理证明，而且具有良好的实时性。本发明在不影响社交网络正常运行的前提下进行代码的插桩，以此实时的捕获关注的事件并验证性质，解决在大型开源社交网络中，传统模型检测方法的状态爆炸和不具备实时性的问题。
-
Patent Agency Ranking
公开(公告)号：CN110443348A
公开(公告)日：2019-11-12
申请号：CN201910563393.X
申请日：2019-06-26
Applicant: 西安电子科技大学
Abstract: 本发明属于系统形式化建模与验证技术领域，公开了一种基于MSVL的神经网络系统的建模和验证方法。采用MSVL对需要进行验证的神经网络(包括DNN、CNN、RNN等)系统进行建模，用多维数组表示系统中所涉节点和边的信息，在建模中，用函数表示神经网路系统中的基本操作；确定需要验证的神经网络系统的共有性质特征，主要包括正确性和健壮性，并采用PPTL公式描述神经网络系统的这些性质；将建模的MSVL程序和描述共有性质的PPTL公式统一在UMC4MSVL平台中验证，根据验证结果判断性质是否能够得到满足。本发明将形式化的程序设计过程应用于神经网络系统的建模和验证，程序执行的每一个状态均能够得到可靠的验证，有效地保障了系统本身的安全性。
-
公开(公告)号：CN105487873B
公开(公告)日：2019-01-01
申请号：CN201510884819.3
申请日：2015-12-04
Applicant: 西安电子科技大学
Abstract: 本发明公开了一种保证质量的快速软硬件划分方法，保留遗传算法的交叉运算和变异运算，并引入阴性选择算法的阴性选择过程和基于等位基因浓度来指导产生新个体的策略，采取一种新型的进化方法来加速进化的过程并保证个体的质量，从而克服传统遗传算法耗时长以及阴性选择算法结果随机性大、容易陷入局部最优的缺点。
-
公开(公告)号：CN104182575B
公开(公告)日：2017-09-05
申请号：CN201410406595.0
申请日：2014-08-19
Applicant: 西安电子科技大学
IPC: G06F17/50
Abstract: 本发明公开了一种机载红外稳瞄系统全链路全过程仿真系统及方法，用于在实验室条件下实现机载红外稳瞄系统全链路全过程仿真。所述系统包括目标仿真模块、背景仿真模块、环境仿真模块、传感器仿真模块、载体平台仿真模块、机载稳瞄伺服控制仿真模块和红外图像生成模块。所述方法包括如下步骤：(1)目标仿真；(2)背景仿真；(3)大气效应仿真；(4)传感器效应仿真；(5)初始红外图像生成；(6)判断载体平台是否稳定；(7)稳定控制仿真；(8)红外目标探测与跟踪仿真；(9)红外图像生成。本发明的仿真系统具有考虑链路完整，可以实现动态仿真和信号流传递的优点。本发明的仿真方法具有可以实现红外目标跟踪的优点。
-
公开(公告)号：CN106708525A
公开(公告)日：2017-05-24
申请号：CN201611223495.X
申请日：2016-12-27
Applicant: 西安电子科技大学
IPC: G06F9/44
CPC classification number: G06F8/31
Abstract: 本发明公开了一种基于Coq的MSVL程序验证方法，所述基于Coq的MSVL程序验证方法使用Coq规范语言Gallina描述MSVL的语法和语义；使用Coq规范语言描述MSVL的公理系统。本发明利用Coq强大的数学模型基础和完整的工具集来形式化MSVL公理系统，从而使得Coq能够识别MSVL程序；对使用MSVL建模的程序或系统，通过定理证明技术验证系统性质；可以将程序建模和抽取出的相关性质在Coq中转化成待证定理，通过人工选择合适的Coq策略链来指导证明的进行，从而完成性质的验证；琐碎的细节可以利用Coq策略自动的证明，人工仅在复杂的步骤上指导控制，有效地简化了MSVL程序的定理证明过程。
-
公开(公告)号：CN105488285A
公开(公告)日：2016-04-13
申请号：CN201510883669.4
申请日：2015-12-04
Applicant: 西安电子科技大学
IPC: G06F17/50
Abstract: 本发明公开了一种高效FPGA技术映射算法，将技术映射划分为逻辑优化与结构优化，逻辑优化部分采用AIG模型以及balance、rewrite以及refactor等技术对电路进行优化；结构优化部分采用DAG模型，分为划分产生、划分选择以及LUT映射三步，划分产生采用了动态规划的思想，快速为每一个节点产生所有k-可行划分；划分选择基于一种迭代次数可以自适应改变的迭代启发式思想，通过多次向前遍历与向后遍历的迭代，最终选择出延时和面积同时被优化的划分集合，与此同时，本发明修正了节点面积流计算公式，提高了划分选择的随机性；LUT映射将划分选择产生的划分结合映射成为LUT网络。
-
-
-
-
-
-
-
-
-
Search Results
132
records
(took 0.042 seconds)
