一种基于强化学习的CCSL综合方法及系统

    公开(公告)号:CN113126963B

    公开(公告)日:2024-03-12

    申请号:CN202110274824.8

    申请日:2021-03-15

    IPC分类号: G06F8/20 G06F8/35 G06N20/00

    摘要: 本发明提出了一种基于强化学习的CCSL综合方法,该方法将一个不完整的CCSL规约编码成为一个强化学习模型,并系统预期行为对模型训练进行指导,最终将模型转化为完整的CCSL约束。该方法包括:强化学习模型的生成方法,强化学习模型的训练方法,CCSL约束验证方法以及强化学习奖励评估方法。通过本发明方法自动化的生成了CCSL规约,为设计人员提供了较为有效的指导,极大地降低了系统设计的成本。本发明还提出了一种基于强化学习的CCSL综合系统。

    一种基于Chisel的参数化硬件神经网络及其构建方法

    公开(公告)号:CN114897128A

    公开(公告)日:2022-08-12

    申请号:CN202210203710.9

    申请日:2022-03-02

    发明人: 陈铭松 李一鸣

    IPC分类号: G06N3/04 G06N3/063 G06N3/10

    摘要: 本发明公开了一种基于Chisel的参数化硬件神经网络构建方法,所述方法包括:使用Tensorflow深度学习框架训练神经网络,将所述神经网络训练好后使用编写的Python脚本导出神经网络各个层的类型参数、配置参数、权重参数;将上述导出的神经网络各个层的类型参数、配置参数、权重参数传入用Chisel编写的硬件神经网络层模块构造器中,得到对应的硬件神经网络层并进行仿真测试;将上述得到的硬件神经网络层之间使用<>运算符连接,构成整体的硬件神经网络并进行仿真测试。本发明公开的硬件神经网络在资源占用方面进行了优化,减少了硬件资源需要,降低了模块时延,同时通过定点数作为数据表现形式,降低了数据复杂度,减小了硬件电路功耗。

    一种依珠曲米的合成工艺

    公开(公告)号:CN110437170A

    公开(公告)日:2019-11-12

    申请号:CN201910675034.3

    申请日:2019-07-25

    IPC分类号: C07D263/57

    摘要: 本发明公开了一种依珠曲米的合成工艺,涉及药物合成领域。本发明以4-羟基苯硫酚和乙基卤化物为原料,制得化合物2,再通过硝化得到化合物3,硝基还原之后的化合物4与化合物5缩合,得到硫化合物6后,最后在特定的光敏剂、氧气、蓝灯照射下,氧化得到砜基化合物依珠曲米。现有工艺中,由于强吸电子基砜基的存在,需要高温,且缩合效果差,收率低,本发明的合成工艺优势在于最后硫化合物转化成砜结构时,无需加热,条件温和,产率高。

    基于双策略网络的强化学习智能交通信号灯控制方法

    公开(公告)号:CN115273495B

    公开(公告)日:2024-08-13

    申请号:CN202210750736.5

    申请日:2022-06-29

    IPC分类号: G08G1/07 G08G1/08 G08G1/01

    摘要: 本发明公开了一种基于双策略网络的强化学习智能交通信号灯控制方法,包括:步骤1:定义满意度指标,在车辆个体层面刻画车辆行驶质量,在全局层面对路口交通情况进行准确建模;步骤2:利用双策略网络的可变时长交通信号控制方法根据步骤1中对路口交通情况的建模选择合适的路口信号灯相位与相应的持续时间;步骤3:基于步骤1的满意度指标设计强化学习方法中的状态与奖励,基于步骤2中的双策略网络设计强化学习方法中的动作,利用每个路口的强化学习智能体使用带有两个策略网络的Deep Q Network强化学习算法,根据路口车流情况对交通信号灯实时控制。本发明的强化学习智能体可以快速收敛到一个好的控制策略,在学习速度与控制质量上均优于现有方法。

    一种一级数据缓存中推测执行侧信道漏洞检测方法

    公开(公告)号:CN113127880A

    公开(公告)日:2021-07-16

    申请号:CN202110317827.5

    申请日:2021-03-25

    IPC分类号: G06F21/57

    摘要: 本发明提出了一种一级数据缓存中推测执行侧信道漏洞检测方法,主要包含以下步骤:步骤1:扩展指令集架构模拟器使其能够支持分支预测并针对条件分支指令自动生成不同的分支预测方向;步骤2:在白盒处理器中拦截分支预测的结果并使用步骤一中生成的分支预测方向来引导白盒处理器的执行;步骤3:通过分析白盒处理器的执行log信息来判断白盒处理器中是否存在一级数据缓存中的推测执行侧信道漏洞。本发明能够有效地检测出处理器在早期设计阶段可能存在的一级数据缓存中推测执行侧信道漏洞。

    一种芳基酚类化合物及其合成方法和应用

    公开(公告)号:CN112778125A

    公开(公告)日:2021-05-11

    申请号:CN202110133471.X

    申请日:2021-02-01

    摘要: 本发明公开了一种式(3)芳基酚类化合物的合成方法。所有体系在空气或者氮气氛围中进行,利用可见光激发光敏剂催化。在反应溶剂中,以式(1)ArNR1R2和式(2)水为反应原料,在酸的辅助作用下,反应得到式(3)芳基酚类化合物。本发明式(1)ArNR1R2可以是一级胺、三级胺,也可以是甾体、氨基酸类衍生物,还可以是丙泊酚、扑热息痛、布洛芬、奥沙普秦、吲哚美辛类等药物或者衍生物。本发明合成方法原料廉价易得,反应操作简单,反应条件温和,反应收率较高,底物官能团兼容性好。本发明流体反应不仅可以实现基础化工品的放大,还可以实现精细化工品的放大,如药物丙泊酚、扑热息痛的合成。本发明具有广泛的应用前景和使用价值。