退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN112269734A
专利类型发明专利
公开/公告日2021-01-26
原文格式PDF
申请/专利权人 南京航空航天大学;
申请/专利号CN202011103235.5
发明设计人 陈哲;孙毅;冉丹;
申请日2020-10-15
分类号G06F11/36(20060101);
代理机构32200 南京经纬专利商标代理有限公司;
代理人施昊
地址 210016 江苏省南京市秦淮区御道街29号
入库时间 2023-06-19 09:40:06
法律状态公告日
法律状态信息
法律状态
2022-04-26
授权
发明专利权授予
机译: 利用数据限定符信号改进基于输入设计生成的布尔可满足性求解器的方法和装置
机译: 基于带有数据质量信号输入设计的布尔可满足性求解器的改进方法和装置
机译: 此方法提供了一种手段,可以将文件从一个服务器(或多个服务器)自动同步到多个移动设备,以供自动脱机使用,同时加强用户的读取/理解责任,以满足法规要求并允许公司报告。
机译:一种自动交叉验证方法,用于评估地震时深转换的准确性:以澳大利亚库珀和埃罗曼加盆地为例
机译:自动调整随机游走布尔可满足性求解器
机译:在线实验基于可靠性基于可靠性的选择性自动重传求解方法在线应用及绩效评估
机译:使用可满足性模理论求解器为无限值逻辑构建自动定理证明
机译:基于电路的布尔可满足性求解器及其应用。
机译:改变游戏规则的技术通过提供一种非侵入性的解决方案来重新建立阻塞性心室导管中的血流从而解决了基于阻塞的分流失败中未满足的需求
机译:基于混合自动计算的分布式约束满足问题求解
机译:基于知识的飞机自动化:管理人员使用人工智能进行飞机自动化和基于神经的飞行控制器的验证和验证方法指南