[发明专利]用于金融建模的四值蒙特卡罗仿真的方法和系统

摘要

一种具有高度自动化的自动交易环境已经成为现代金融市场的支柱。在保持参与者之间的低延迟的同时在系统中处理订单并管理风险的能力对于这些市场的安全性和流动性是决定性的。公开的系统描述了用于风险和语法模式匹配技术的随机建模的四值蒙特卡罗仿真，以有助于这些系统的设计。系统是自编译的，是能够在并行环境下高效地分割、缩放以及传输多资产工具的机器独立系统。系统还允许将金融工具上的计算机化金融启发式算法与用于创建交易策略的用户接口进行集成，以在用于金融工具的交易平台上监测和对冲风险。

主权项

1.一种用于执行四值逻辑以对金融工具建模的机器实现的方法，所述方法包括：a)使用包括F、T、U和D的符号来表示被映射到二矢量动态数组的“假”、“真”、“未定义”和“已定义”的值，其中，F表示被映射到二矢量动态数组的“假”的值，T表示被映射到二矢量动态数组的“真”的值，U表示被映射到二矢量动态数组的“未定义”的值，D表示被映射到二矢量动态数组的“已定义”的值；所述值还被映射到所述二矢量动态数组中的索引且被存储为语义网络内的节点；b)将F、T、U和D用集合理论限定，其中，{}为“未定义”，{T}为“真”，{F}为“假”，{T,F}为“已定义”，所述值被解释为：属性{P}为“真”，属性为“假”，属性{}为“未定义”，属性为“已定义”，所述属性是用于在谓词演算中针对连续递归步骤测试条件和量化变量的属性；c)忽略单调论证，利用下面的二进制连接词以否定形式来定义逻辑，所述二进制连接词是逻辑与Λ、逻辑非逻辑或∨连接词，所述二进制连接词被如下用于证明逻辑的完备性：是T是F是D是U；d)针对连接词ΛΛF T U DF F F F FT F T U DU F U U FD F D F D，其中，第一行的值和第一列的值是进行逻辑与运算之前的值，第一行的第i个值与第一列的第j个值进行逻辑与运算得到第i行第j列的值，其中，2≤i≤5，2≤j≤5；e)针对连接词∨∨F T U DF F T U DT T T T TU U T U TD D T T D，其中，第一行的值和第一列的值是进行逻辑或运算之前的值，第一行的第i个值与第一列的第j个值进行逻辑或运算得到第i行第j列的值，其中，2≤i≤5，2≤j≤5；f)通过将语法信息和语义信息线性编码到语义网络来使短期存储器最优化，并使长期存储器最大化；g)在并行环境下，使短期存储器最优化以使长期存储器最大化的处理变为使不同知识源之间的通信和存储最优化，其中，知识源是进程；h)在仿真中使用“已定义”和“未定义”来帮助分离资产类别。