用于基因组排序和大分子分析的计算工具

摘要

一种四值并行仿真，能够实现一种计算机系统，该计算机系统能够结合在DNA分析和大分子结晶体上的计算机集中技术的混合体。公开的系统和方法帮助药物的设计、制药研究、从基因角度上改变的生物体以及对基因序列的检测以用于基因治疗。

主权项

一种用于基因组排序和分析的语义网络的机器可实现的方法，所述方法包括：a)使用包括(F、T、U、D)的符号来表示被映射到二矢量动态数组的“假”、“真”、“未定义”和“已定义”的值；所述值还被映射到所述二矢量动态数组中的索引且被存储为语义网络内的节点，以用于表示输入的基因组序列；b)将F、T、U、D限定为集合理论，诸如，{}为“未定义”，{T}为“真”，{F}为“假”，{}为“未定义”，{T,F}为“已定义”，这些值被解释为属性{P}为“真”，属性为“假”，属性{}为“未定义”，属性为“已定义”，这些属性是用于在谓词积分中针对连续递归步骤测试条件和量化变量的属性；c)忽略单调论证，利用下面的二进制连接词，以否定形式来定义逻辑，逻辑与(^Λ)、非逻辑或(∨)连接词被用于证明逻辑的完备性，如下所示：是T是F是D是U；d)针对连接词^Λe)针对连接词∨f)通过将语法信息和语义信息线性编码到语义网络来使短期存储器最优化，并使长期存储器最大化；g)在并行环境下，使短期存储器最优化以使长期存储器最大化变为最优化不同知识源(进程)之间的通信和存储；h)在仿真中使用“已定义”和“未定义”来帮助分离资产类别。