会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 49. 发明授权
    • Methods and systems of four-valued simulation
    • 四值仿真的方法和系统
    • US09576244B2
    • 2017-02-21
    • US14016518
    • 2013-09-03
    • Roger Midmore
    • Roger Midmore
    • G06N7/00G06N5/04G06N5/02
    • G06N5/04G06F17/27G06N5/02
    • A system for the dynamic encoding in a semantic network of both syntactic and semantic information into a common four valued logical notation. The encoding of new information being benign to prior syntactic constructions, tests for N conditionals in time O(C) and allows for the proper quantification of variables at each recursive step. The query/inference engine constructed from such an implementation is able to optimize short term memory for maximizing long term storage in the automaton. In a parallel context this can be viewed as optimizing communication and memory allocation between processes. Disclosed embodiments of a four valued encoding achieve efficiencies in minimizing the run time stack and maximizing heap size especially in a parallel architecture. Disclosed embodiments are useful in simulation and search engine implementations.
    • 一种用于将语义和语义信息的语义网络中的动态编码转换成共同的四值逻辑符号的系统。 新信息的编码对于先前的句法结构是良性的,在时间O(C)中测试N个条件,并允许在每个递归步骤中适当地量化变量。 由这种实现构建的查询/推理机能够优化短期存储器,以最大化自动机中的长期存储。 在并行上下文中,可以将其视为优化进程之间的通信和内存分配。 四值编码的公开的实施例实现了使运行时间堆栈最小化并使堆大小最大化的效率,特别是在并行架构中。 公开的实施例在模拟和搜索引擎实现中是有用的。