【技术实现步骤摘要】
用于数学公式分解和自动代码生成的图公式建模
[0001]本公开内容中论述的实施方式涉及用于在计算装置中执行用于数学公式(mathematical equation)分解和自动代码生成的图公式建模(graph equation modeling)的方法和系统。
技术介绍
[0002]数千年以来,已经使用数学公式作为用于定义问题陈述的表示法(notation)。然后在各种不同的环境中使用这些问题陈述,以帮助找到问题陈述的解。尽管可以使用常规的数学求解器来找到这些解,但是计算技术的最新进展还产生了利用强大的处理能力的计算装置,包括量子退火器、数字退火器等。然而,用户可能遇到的一个困难是,用户需要手动将数学公式转换成编程语言以便使用这些计算机求解器。
[0003]该要求的一个困难是并非所有用户都理解或能够编写编程语言的代码,因此,他们可能无法以解决他们的问题所需的格式来正确地定义他们的问题。此外,目前还没有下述计算机接口解:所述计算机接口解针对从各种不同来源收集的各种问题自动地生成编程代码。而是,客户需要基于他们自己对各种计 ...
【技术保护点】
【技术特征摘要】
1.一种执行图公式建模的方法,所述方法包括:经由用户界面从用户接收数学公式的输入;使用处理器对所述数学公式的输入执行处理,以将所述数学公式分解成多个标记,以生成与所述数学公式相对应的公式图;基于所述公式图以用户指定的计算语言生成计算机代码;以及使所述计算机代码经由所述用户界面呈现给所述用户,所述计算机代码与在计算环境中定义的所输入的数学公式相对应。2.根据权利要求1所述的方法,还包括:向被配置为问题求解器的计算装置发送所述计算机代码;接收基于所述计算机代码的来自所述问题求解器的所述数学公式的解;以及使所述数学公式的解经由所述用户界面呈现给所述用户。3.根据权利要求2所述的方法,其中,所述问题求解器是数字退火器、数字退火器模拟器、量子退火器或D
‑
Wave求解器。4.根据权利要求1所述的方法,其中,在所述用户界面中以自然语言格式接收所述用户输入。5.根据权利要求1所述的方法,其中,在所述用户界面中接收所述用户输入作为公式输入,并且所述方法还包括将所述输入转换成LaTex格式。6.根据权利要求1所述的方法,其中,所述公式图包括标记链,其中,每个标记是节点,并且所述公式图的顶点与标记之间的连接相关。7.根据权利要求1所述的方法,还包括:经由所述用户界面向所述用户请求所需用户输入;经由所述用户界面从所述用户接收所述所需用户输入;基于所述公式图生成所述数学公式的抽象模型,所述抽象模型包括多个所述所需用户输入;以及对所述所需用户输入执行附加处理,并且基于所述所需用户输入来更新所述公式图。8.根据权利要求7所述的方法,还包括:向被配置为问题求解器的计算装置发送所述计算机代码;接收基于所述计算机代码的来自所述问题求解器的所述数学公式的解;以及使所述数学公式代码的解经由所述用户界面呈现给所述用户。9.一种非暂态计算机可读介质,所述非暂态计算机可读介质中编码有能够由处理器执行以执行或控制操作的执行的编程代码,所述操作包括:经由用户界面从用户接收数学公式的输入;使用处理器对所述数学公式的输入执行处理,以将所述数学公式分解成多个标记,以生成与所述数学公式相对应的公式图;基于所述公式图以用户指定的计算语言生成计算机代码;以及使所述计算机代码经由所述用户界面呈现给所述用户,所述计算机代码与在计算环境中定义的所输入的数学公式相对应。10.根据权利要求9所述的非暂态计算机可读介质,所述操作还包括:向被配置为问题求解器的计算装置发送所述计算机代码;
接收基于所述计算机代码的来自所述问题...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。