hardware-software codesign; neural nets; formal verification; linear programming; integer programming; Boolean functions; computability; hardware-software verification; neural network algorithm; formal verification; specification validity; truth building efficiency; integer linear programming; propositional logic; model checking; satisfiability problems; EDA design; Boolean formula;
机译:人工神经网络优化PDPhSM纳米复合薄膜的激光烧蚀技术-粒子群算法人工神经网络优化PDPhSM纳米复合薄膜的激光烧蚀技术-人工神经网络优化PDPhSM纳米复合薄膜的激光烧蚀技术网络粒子群算法
机译:验证群体智能算法的新型集成深度学习神经网络洪水敏感性映射
机译:CXDNN:电阻横杆系统深神经网络的硬件软件补偿方法
机译:一种用于硬件软件验证的神经网络算法
机译:选择神经网络拓扑:结合遗传算法和神经网络的混合方法。
机译:基于遗传算法:再生聚氨酯粉末的反向传播神经网络对动态颗粒流参数的标定和验证
机译:用于验证深神经网络的算法
机译:基于分层神经网络的探地雷达数据处理系统。 CH / 1049/6的年终报告:神经网络与遗传算法相结合的应用,以优化寒冷气候下的土壤清理作业