退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN109145251A
专利类型发明专利
公开/公告日2019-01-04
原文格式PDF
申请/专利权人 合肥工业大学;
申请/专利号CN201810961192.0
发明设计人 杜华争;田杰;洪韵晴;夏娜;陈国烨;许保殿;
申请日2018-08-22
分类号G06F17/11(20060101);G06F17/16(20060101);G01W1/00(20060101);
代理机构34101 安徽省合肥新安专利代理有限责任公司;
代理人陆丽莉;何梅生
地址 230009 安徽省合肥市包河区屯溪路193号
入库时间 2024-02-19 08:07:13
法律状态公告日
法律状态信息
法律状态
2019-01-29
实质审查的生效 IPC(主分类):G06F17/11 申请日:20180822
实质审查的生效
2019-01-04
公开
机译: 通过将结构过逼近算法与结构可满足性求解器紧密耦合来增强验证的方法和系统
机译: 通过紧密耦合结构过逼近算法和结构可满足性求解器进行增强验证的方法和系统
机译: 在结合结构过逼近算法和可满足性求解器的过程中执行迹线利用以进行增量细化的方法和系统
机译:基于同时扰动随机逼近的无线电掩星数据同化,用于感知大气参数
机译:变Sturmian逼近:一种非扰动方法,用于求解与时间无关的薛定inger方程
机译:一种求解非线性问题的具有收敛加速度参数的新型解析逼近方法
机译:基于双计算步骤的改进的同步扰动随机逼近算法研究
机译:人工神经网络型学习算法的随机逼近:一种动态系统方法。
机译:使用随机逼近均值漂移算法的大型数据集基于非参数密度的快速聚类
机译:隐马尔可夫模型仿真优化的随机差分双时间同步扰动随机逼近算法
机译:随机差分双时间尺度同时扰动随机逼近算法在隐马尔可夫模型仿真优化中的应用。