[发明专利]使用未解释函数符号的可满足性模理论过程的系统和方法在审
| 申请号： | 201780080613.2 | 申请日： | 2017-04-11 |
| 公开（公告）号： | CN110114767A | 公开（公告）日： | 2019-08-09 |
| 发明（设计）人： | 马丁·里夏德·诺伊霍伊瑟;加博尔·舒尔茨 | 申请（专利权）人： | 西门子产品生命周期管理软件公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 广州华进联合专利商标代理有限公司 44224 | 代理人： | 易皎鹤 |
| 地址： | 美国德*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 使用未解释函数符号的SMT过程的系统和方法。一种方法包括接收配置模型。该方法包括计算配置模型的变体，其包含非线性函数。该方法包括识别变体的非线性函数中的输入/输出对。该方法包括针对每个输入/输出对在外部应用上执行过程，以生成对应于该输入/输出对的每个输入的输出值。该方法包括将对应于输入/输出对的每个输入的该输出值与对应于输入/输出对的每个输入的输出相比较。该方法包括，当对应于输入/输出对的每个输入的输出值等于对应于输入/输出对的每个输入的输出时，系统则存储该变体为正确的指示。 | ||
| 搜索关键词： | 输入/输出 变体 输出 非线性函数 函数符号 方法使用 可满足性 外部应用 输出相 配置 存储 | ||
【主权项】：
1.一种由数据处理系统(100)执行的方法，包括：接收(305)配置模型(154、202)；计算(310)所述配置模型(154、202)的变体，所述变体包括非线性函数；识别(315)所述变体的所述非线性函数中的输入/输出对；对每个输入/输出对执行(320)在外部应用(156、206)上的过程，以生成对应于所述输入/输出对的每个输入的输出值；将对应于所述输入/输出对的每个输入的所述输出值与对应于所述输入/输出对的每个输入的所述输出相比较(325)；以及当对应于所述输入/输出对的每个输入的所述输出值等于对应于所述输入/输出对的每个输入的所述输出时，所述系统则存储(330)所述变体为正确的指示。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西门子产品生命周期管理软件公司，未经西门子产品生命周期管理软件公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201780080613.2/，转载请声明来源钻瓜专利网。
- 上一篇：对分配电能的现有电网进行构造的方法
- 下一篇：功率计算逻辑
