基于子结构逻辑的多维度时态演算及其优化

As an important foundation of temporal data process, temporal calculation becomes more and more complex nowadays for multiple time dimensions coexisting under multiple information platform. Therefore, the resource allocation problem of multiple-dimensions temporal calculation and itself must be optimized immediately..　　Based on these, focusing on multiple-dimensions temporal calculation, we study temporal calculation modeling under multiple-dimension, calculation system optimization, multiple-dimensions temporal querying and computing process integrating in substructural logic. In order to mind the gap of weigh the pros and cons between presentation and complexity, in our methods, temporal attributes and universal temporal relations are only represented in semantics model and syntactic only represents structural relations selectively, which can optimize temporal calculating by ensure the presentation capability and cut down the complexity of logic system at the same time. According to these, the foundation of multiple-dimensions temporal calculation in substructural logic is established..　　All of our algorithms will aimed at multiple-dimensions temporal querying and its experiment analysis. We hope that it can improve temporal calculation essentially, which enhances the accuracy and efficiency of temporal calculation, optimizes computing flows, and supports temporal data process under multiple platforms.

时态演算是时态信息处理的重要基础。在多元信息平台下，多时间维共存使时态演算日趋复杂，演算精度与效率难以保障，其计算资源配置问题急需解决，多维度时态演算急需优化。.　　本项目针对多维度时态演算，以子结构逻辑为元理论工具，对多维度时态演算建模、演算系统优化、多维度时态查询实验及演算流程整合进行研究。提出“句法逻辑仅选择性表示结构性时态关系，时间属性与普适性时态关系在句法中剥离，仅由语义模型进行表达”的能效优化方法，在保证一定表达能力前提下，降低计算复杂性，优化演算，建立基于子结构逻辑的共性化多维度时态演算机制。.　　项目的实施将辅以多维异构环境下的时态查询实验，理论结合实验做双轨论证，其能从本质上完善多维度时态演算机制，提高演算精度与效率，优化演算流程，为多元平台下的时态信息处理提供理论与技术支撑。

为提高演算精度与效率，优化演算流程，整合多维度时态演算，在本项目研究中，主要开展了以下研究：1）时态演算系统子结构逻辑原型建模； 2）时态演算极小系统扩充、性质论证与系统优化；3）多维度时态查询实验及演算流程整合；4）同时间区间内多代理协同工作的多对多指派算法。.项目研究在不确定性语义的时态查询，以及多代理系统的同一时间段多对多指派算法方面取得了突破性进展，解决了两个多年来悬而未决的开问题，即：1）全匹配于Allen的13种时态区间运算，建立了查询时间复杂度仅为O(n)，并能做到不确定语义查询的时态查询中间件；2）破解了自1955年以来，提出的匈牙利算法多对多最优化指派问题，解决了多代理在同一时间段内执行多项任务的平凡任务指派（任务分配）问题。为多维度时态演算及其优化提供了理论与技术支撑。