实例空间相关论文
安全协议的验证是网络安全研究中的热点和难点，本文把局部可操作函数引入到实例空间协议分析方法中，简化了协议的描述和分析，增强了实......
本文通过研究匹配问题的实例空间、匈牙利算法和解空间三者之间的关系,指出S实例空间面的数目与间题复杂度之间的关系既不是充分也......
摘 要： 语义推理的功能使得知识库更具人工智能，具有实用意义。文章根据语义模型的特点，构建了基于关系數据库的知识库语义存储体系，该......
