“求解公式”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果115825个，建议您升级VIP下载更多相关专利

[发明专利]公式求解方法及其装置、生产计划动态调整方法及其装置-CN202110366547.3在审
发明人：华秀萍;毕坚达;彭嘉栋;李昊霖;宋军贤;虞欣 -专利权人：诺丁汉（宁波保税区）区块链有限公司
申请日： 2021-04-06 - 公布日： 2021-10-19 - 主分类号： G06Q10/06 文献下载
摘要：本发明实施例公开了一种公式求解方法及其装置、生产计划动态调整方法及其装置，所述公式求解方法，包括：根据公式模型将文本格式的多个公式分别转换得到相应的多个公式变量；根据所述公式变量判断相应的所述公式是否存在循环；在判断所述公式存在循环时，根据相应的所述公式变量构建系数矩阵；求解所述系数矩阵，得到所述多个公式的求解结果。
公式求解方法及其装置生产计划动态调整

[发明专利]一种数据处理方法及数据处理系统-CN202211190145.3在审
发明人：曹燕华 -专利权人：河南冠胜科技发展有限公司
申请日： 2022-09-28 - 公布日： 2023-01-31 - 主分类号： G06F40/205 文献下载
摘要：本发明公开一种数据处理方法及数据处理系统，数据处理方法包括：基于给定的命题逻辑公式生成合取范式，并且获取用于求解命题逻辑公式的处理器的参数，还将合取范式和处理器的参数输入机器学习分类模型，得到合取范式的子句集；获取使用处理器的不同处理模型成功求解历史命题逻辑公式的经验数据；根据给定的命题逻辑公式的子句集与历史命题逻辑公式的子句集的相似程度，分别确定给定的命题逻辑公式的子句集的处理模型；使用不同的处理模型分别处理给定的命题逻辑公式的子句集，并且分别得到处理结果，进而完成对于给定的命题逻辑公式的求解，本发明能够解决求解命题逻辑公式时求解时间长、求解效率低的问题。
一种数据处理方法数据处理系统

[发明专利]一种历史缺陷用例赋能的SMT求解器缺陷检测方法-CN202310145904.2在审
发明人：孙茂林;杨已彪;周毓明 -专利权人：南京大学
申请日： 2023-02-21 - 公布日： 2023-05-30 - 主分类号： G06F11/36 文献下载
摘要：本发明提供了一种历史缺陷用例赋能的SMT求解器缺陷检测方法，主要步骤：1)从求解器的缺陷追踪系统中自动化收集历史缺陷用例；2)提取历史缺陷用例中逻辑公式的骨架结构(即公式中逻辑连接词构成的逻辑结构)以及原子公式；3)对所提取出的原子公式抽象化并进行关联规则学习；4)在关联规则的指导下使用原子公式对已提取出的骨架结构进行实例化，以得到可用于求解器测试的逻辑公式，对多个求解器进行差分测试。本发明解决了求解器缺陷检测中有效的测试输入难以生成的局限，基于历史缺陷用例构造新的揭错能力强的测试用例的方法为求解器缺陷检测提供了一套全新的解决方案。
一种历史缺陷用例赋能 smt 求解检测方法

[发明专利]SAT问题求解外包过程中的CNF公式数据保护方法-CN201410292502.6有效
发明人：秦莹;吴庆波;戴华东;孔金珠;杨沙洲;沈胜宇;谭郁松 -专利权人：中国人民解放军国防科学技术大学
申请日： 2014-06-25 - 公布日： 2017-02-15 - 主分类号： G06F21/60 文献下载
摘要：本发明公开了一种SAT问题计算外包中的CNF公式数据保护方法，实施步骤如下生成Husk公式S2和Husk解Hr；将原始CNF公式S1、S2两者以保持解空间不变为前提混合生成新CNF公式S以及变量映射表M；将待求解数据使用新CNF公式S转换为CNF公式数据并外包到远端服务器，利用远端服务器对收到的CNF公式数据求解得到混淆解Or；基于变量映射表M对混淆解Or解映射，将解映射时在变量映射表M中被标记映射至原始CNF公式S1的实际变量填充至原始解R并进行正确性验证，最终得到混淆解Or对应的原始解R。本发明能够混淆任意CNF公式S1以隐藏其包含的结构信息、并保证混淆之后的CNF公式S可使用原SAT求解器求解，还可对外包计算的结果进行正确性验证。
sat 问题求解外包过程中的 cnf 公式数据保护方法

[发明专利]一种对计算透明的数据隐私保护方法及系统-CN201810622495.X有效
发明人：秦莹;戴华东;杨沙洲;颜跃进;李小玲;朱浩;董攀;高珑;谭郁松;吴庆波 -专利权人：中国人民解放军国防科技大学
申请日： 2018-06-15 - 公布日： 2020-06-23 - 主分类号： G06F21/62 文献下载
摘要：本发明公开了一种对计算透明的数据隐私保护方法及系统，方法实施步骤包括：生成Husk公式FH及其部分赋值解RH；将硬件电路或者软件程序转换混淆生成新的CNF公式FO以及变量映射表Mv，将新的CNF公式FO发送给公共云上的SAT求解器；当收到求解结果So后根据变量映射表Mv将求解结果So映射得到求解结果So的原始解Sc；根据变量映射表Mv和求解结果So获取Husk公式变量对应的赋值集合SH，判断Husk公式的解R求解器，具有输出数据的隐私性好、混淆和求解复杂度低的优点。
一种计算透明数据隐私保护方法系统

[发明专利]一种基于Excel的机械公式表示系统及系统的使用方法-CN201910788606.9有效
发明人：刘建钊;黄曙荣;王伟 -专利权人：盐城工学院
申请日： 2019-08-26 - 公布日： 2023-05-30 - 主分类号： G06F17/10 文献下载
摘要：本发明公开了一种基于Excel的机械公式表示系统，Excel模板文件分类存储机械公式的信息，并求解需要计算的机械公式；Excel访问模块向用户界面模块发送需要计算的机械公式所对应的机械公式信息、分类信息和求解结果，并获取需要计算的机械公式的输入参数的值；用户界面模块选出需要计算的机械公式，并构建用户界面，输入需要计算的机械公式的输入参数的值；表达式访问模块选出需要计算的机械公式所对应的表达式，并将表达式的值作为输入参数的值，同时将求解结果发送至CAD系统中进行保存。用户可直接编辑Excel模板文件，从而能够更加便捷的编辑公式库，同时系统在运行时，还可以自动对机械公式进行识别并处理，进而本系统不仅更易于扩展，还提高了工作效率。
一种基于 excel 机械公式表示系统使用方法

[发明专利]基于SMT求解器的一阶逻辑公式程序验证方法及系统-CN202011055948.9在审
发明人：王浩;纪金龙;都云鑫 -专利权人：安徽中科国创高可信软件有限公司;科大国创软件股份有限公司
申请日： 2020-09-29 - 公布日： 2021-01-15 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于SMT求解器的一阶逻辑公式程序验证方法及系统，包括接收至少一个客户端中任一客户端发送的程序形式化验证数据交互请求；基于获取的数据验证请求内容，提取数据验证请求中的一阶逻辑公式；基于SMT求解器对上述数据验证请求中的一阶逻辑公式进行可满足性求解。本发明基于SMT求解器实现了一阶逻辑公式的自动证明，使得形式化验证系统能够对程序进行自动化验证，提高软件的可信度。
基于 smt 求解一阶逻辑公式程序验证方法系统

[发明专利]一种基于优化预处理技术的高效率集成电路测试生成方法-CN202310382209.8有效
发明人：朱璟溪;杨航;蔡志匡;杨丽;王子轩;肖建;郭宇锋 -专利权人：南京邮电大学
申请日： 2023-04-12 - 公布日： 2023-07-14 - 主分类号： G01R31/28 文献下载
摘要：本发明公开了一种基于优化预处理技术的高效率集成电路测试生成方法，包括，对待测电路生成布尔公式，收集故障传播的必要信息；读取电路信息，包括直接蕴含、间接蕴含、有条件的间接蕴含、拓展的间接蕴含信息，将提取到的信息转化为新子句加入原公式中；将更新后的公式投入SAT求解器进行求解，在SAT求解结果中提取目标测试向量完成测试生成。本发明方法能够修剪测试生成求解中的解空间，同时经过学习的子句能够帮助约束SAT求解流程中的单元传播，最终实现测试生成问题加速求解的目标，并且对难以识别的故障进行测试，提高测试质量。
一种基于优化预处理技术高效率集成电路测试生成方法

[发明专利]一种任意接地测量布线形式的接地系统引线互感计算方法-CN202011096038.5有效
发明人：任章鳌;何智强;李欣 -专利权人：国网湖南省电力有限公司;国网湖南省电力有限公司电力科学研究院;国家电网有限公司
申请日： 2020-10-14 - 公布日： 2022-03-11 - 主分类号： G01R27/26 文献下载
摘要：本发明公开了一种任意接地测量布线形式的接地系统引线互感计算方法，包括确定接地测量引线L1和L2间互感M的求解公式；针对修正项Λ(λ)用复镜像来拟合并对待求解的复镜像的数量T、任意第k个复镜像的大小和位置αk和βk采用复镜像法求解；根据复镜像法求解结果获取互感修正项Δ的复镜像形式并代入互感M的求解公式，得到接地测量引线L1和L2间互感M的求解公式；针对互感M的求解公式中的Z0，Z′0，Zk求解并代入得到接地测量引线L1求解，解决了任意接地布线方式的引线互感计算问题。
一种任意接地测量布线形式接地系统引线互感计算方法

[发明专利]一种对地面点凝视的卫星期望角速度解析求解方法-CN201610294581.3有效
发明人：连一君;曾国强;税海涛;李志军;袁福;高玉东;项军华;吴国福;韩大鹏 -专利权人：中国人民解放军国防科学技术大学
申请日： 2016-05-05 - 公布日： 2017-03-29 - 主分类号： G01C21/16 文献下载
摘要：本发明提供一种对地面点凝视的卫星期望角速度解析求解方法，包括以下步骤1)给定卫星轨道状态和地面点空间坐标；2)求解期望姿态下的体轴单位矢量；3)由导出公式求解体轴单位矢量的时间导数；4)由导出公式求解期望凝视角速度
一种面点凝视卫星期望角速度解析求解方法

[发明专利]一种面向C程序源码的程序可信性验证方法及装置-CN202210013498.X在审
发明人：徐鹏;徐扬;吴贯锋 -专利权人：西南交通大学
申请日： 2022-01-07 - 公布日： 2022-04-29 - 主分类号： G06F21/56 文献下载
摘要：包括以下步骤，判断C程序源码是否符合编译器的规范要求，实施预处理，预处理后的C程序源码进入编译器的语法分析，生成控制流图，通过类型检查符号化，将安全性质添加到符号模型检测模块，再经过静态单赋值，形成符号公式系统，使用逻辑公式求解系统对符号公式系统进行逻辑公式转换，生成逻辑公式，将逻辑公式接入逻辑求解系统，从逻辑求解系统获取是否可满足结论，确定源码是否存在缺陷，解决C程序源码未能通过测试解决的潜在缺陷问题，以及基于定理证明等形式化验证方法效率低的问题
一种面向程序源码可信性验证方法装置

[发明专利]基于求解器模型的信息展示方法、装置、电子设备及介质-CN202211474540.4在审
发明人：孙自强;顾伟;郑毅;蒋俊峰 -专利权人：华润数字科技有限公司
申请日： 2022-11-23 - 公布日： 2023-03-21 - 主分类号： G06F9/451 文献下载
摘要：本申请实施例提供了一种基于求解器模型的信息展示方法、装置、电子设备及介质，属于通信技术领域。该方法包括：接收用户输入的请求信息；将请求信息输入预配置的求解器模型进行信息求解，确定与请求信息对应的目标变量信息、目标公式信息、目标求解信息以及约束条件信息；根据约束条件信息对目标变量信息进行目标约束，得到目标约束信息；将目标变量信息、目标公式信息、目标约束信息以及目标求解信息进行信息展示，生成目标展示页面。本申请实施例能够将求解器模型进行可视化，增强求解器模型的通用性。
基于求解模型信息展示方法装置电子设备介质

[发明专利]公式巧算的解题演示方法、装置、电子设备及存储介质-CN202310324954.7在审
发明人：袁光辉;郭亚婷;张西群;刘亚茹 -专利权人：深圳市星桐科技有限公司
申请日： 2023-03-24 - 公布日： 2023-06-23 - 主分类号： G09B23/02 文献下载
摘要：本公开提供一种公式巧算的解题演示方法、装置、电子设备及存储介质，所述方法包括：获取待演示的计算公式；在对所述计算公式进行逐步运算时，判断当前运算步骤对应的当前公式是否满足预设巧算类型；在所述当前公式满足所述预设巧算类型的情况下，确定与所述当前公式满足的目标巧算类型对应的目标求解方式；基于所述目标求解方式对所述当前公式进行运算，生成所述当前公式对应的讲解步骤；在对所述计算公式进行逐步运算完成后，基于每一步运算对应的讲解步骤，生成所述计算公式对应的解题演示视频本方案使得讲解过程能够覆盖运算中涉及的全部巧算，支持同一道题内使用多次巧算进行讲解，有利于提高公式计算的准确性。
公式解题演示方法装置电子设备存储介质

[发明专利]一种融合公式信息的数学题求解方法及系统-CN202010668286.6有效
发明人：陈恩红;黄振亚;刘淇;阴钰;王皓;高维博;吴金泽 -专利权人：中国科学技术大学
申请日： 2020-07-13 - 公布日： 2022-09-02 - 主分类号： G06N3/04 文献下载
摘要：本申请公开了一种融合公式信息的数学题求解方法及系统，该方法利用以图为表示方法的公式结构来建模数学题目中公式特有的结构信息，并依据该公式依赖图，利用预先训练的公式图神经网络，获取公式依赖图中各个节点的表征向量，同时基于公式依赖图，将图中的文字映射为文字向量。然后利用双GRU以及融合字形网络结构FGN，将节点的表征向量和文字向量嵌入语义向量，在该过程中可使用嵌套序列模型捕获题目整体的文本语义和公式语义两方面的隐式表征，通过融入公式自身元素之间及多个公式之间的结构依赖关系，从而表示数学简答题的信息；最后基于所述语义向量，生成所述待处理数学题的答案序列，实现对包含公式信息的数学题的求解。
一种融合公式信息数学题求解方法系统

[发明专利]一种高精度传输线高频耦合电流计算方法及系统-CN202310151426.6有效
发明人：曾卫东;谢玮琛;郭俊;谢彦召;郑群爽;谢志远;高海东;田爽;杨新民 -专利权人：西安热工研究院有限公司;西安交通大学;华能集团技术创新中心有限公司
申请日： 2023-02-22 - 公布日： 2023-05-12 - 主分类号： G06F30/367 文献下载
摘要：本发明公开了一种高精度传输线高频耦合电流计算方法及系统，找到了传输线在高频情况下的传输特性，并采用完整阻抗公式对传播常数进行修正，代替不够精确的苏德公式。在激励是电压源的情况下，苏德公式已经无法保证其精度，而采用完整阻抗公式，将会大大提高电流的计算精度。将各个区域的电流进行分开求解，具有很高的计算效率，由于采用解析表达式代替分步求解，计算时间仅为两分钟，在200 m的情况下仅为原来的六分之一，同时也能准确求解传输线电流，为防护研究提供理论指导。
一种高精度传输线高频耦合电流计算方法系统

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条