Incremental testing of a navigation database
    5.
    发明授权
    Incremental testing of a navigation database 有权
    导航数据库的增量测试

    公开(公告)号:US09075822B2

    公开(公告)日:2015-07-07

    申请号:US12931850

    申请日:2011-02-11

    IPC分类号: G06F17/30

    CPC分类号: G06F17/30241 G06F17/30371

    摘要: A navigation system utilizes a testing package tailor made for an incremental update to a map database. An incorrect incremental update may corrupt a navigation database. Testing an incrementally updated database after updating allows a corrupted database to be detected before the corrupted database is used by the map database system. Map tiles associated with a list of recompiled objects are used to populate a table. A test script is created from the list map tiles and, when executed, checks the validity of references in the map database associated with the map tiles. The test script generates a return value that indicates whether errors occurred, the type of the errors, the quantity of errors, or any combination thereof. The navigation system analyzes the errors and determines whether to finalize or roll back the update.

    摘要翻译: 导航系统利用为地图数据库进行增量更新而定制的测试包。 错误的增量更新可能会损坏导航数据库。 在更新后测试增量更新的数据库,可以在地图数据库系统使用损坏的数据库之前检测到损坏的数据库。 与重新编译的对象列表相关联的地图块用于填充表。 从列表地图块创建测试脚本,并在执行时检查与地图图块相关联的地图数据库中的引用的有效性。 测试脚本生成一个返回值,指示错误是否发生,错误的类型,错误的数量或其任何组合。 导航系统分析错误并确定是否完成或回滚更新。

    Method and device for performing failsafe hardware-independent floating-point arithmetic
    6.
    发明授权
    Method and device for performing failsafe hardware-independent floating-point arithmetic 有权
    用于执行故障安全硬件无关浮点运算的方法和设备

    公开(公告)号:US08793533B2

    公开(公告)日:2014-07-29

    申请号:US13257891

    申请日:2010-08-03

    申请人: Jan Richter

    发明人: Jan Richter

    IPC分类号: G06F11/00

    摘要: A method and device offering a software diversity of the cited type for floating-point arithmetic, which is applicable in a realtime environment, wherein the method and a device for high-performance validation of the calculation use floating-point numbers of any accuracy within the context of functional safety in accordance with International Electrotechnical Commission (IEC) standard 61508. The method utilizes a specific form of software diversity and has effects on both the runtime environment and the engineering environment.

    摘要翻译: 一种用于浮点运算的引用类型的软件多样性的方法和装置,其可应用于实时环境中,其中所述方法和用于计算的高性能验证的装置使用内部任何精度的浮点数 功能安全的上下文根据国际电工委员会(IEC)标准61508.该方法利用特定形式的软件多样性,并对运行时环境和工程环境都有影响。

    Full text search in navigation systems
    7.
    发明授权
    Full text search in navigation systems 有权
    全文检索导航系统

    公开(公告)号:US08620947B2

    公开(公告)日:2013-12-31

    申请号:US13017269

    申请日:2011-01-31

    IPC分类号: G06F17/30

    摘要: A method and system for full text search for use during destination selection with a navigation system is disclosed. The method partitions a full text search index based on frequently used terms. These frequently used terms are then mapped to dedicated full text search indexes, where each document contains this frequently used term but the term itself is not stored in the index. A relation maps the frequently used terms to the inverted indexes.

    摘要翻译: 公开了一种用于在使用导航系统的目的地选择期间使用的全文搜索的方法和系统。 该方法根据常用术语分割全文搜索索引。 然后将这些经常使用的术语映射到专用全文搜索索引,其中每个文档包含此常用词,但术语本身不存储在索引中。 关系将经常使用的术语映射到倒排索引。

    Page Server for Navigation Data
    9.
    发明申请
    Page Server for Navigation Data 有权
    导航数据页面服务器

    公开(公告)号:US20120036150A1

    公开(公告)日:2012-02-09

    申请号:US13195974

    申请日:2011-08-02

    IPC分类号: G06F17/30

    摘要: A page server and method of using the page server is described. The page server stores versioned pages. The pages, which are equally sized data chunks, can be stored with identifiers and version data in a relational database, in separate files, or in a single file where pages are concatenated. The page server may be accessed via SQL, a web interface, a proprietary key/value/version interface on top of TCP/IP, or other method. The page server facilitates incremental updates.

    摘要翻译: 描述了使用页面服务器的页面服务器和方法。 页面服务器存储版本化页面。 相同大小的数据块的页面可以与标识符和版本数据一起存储在关系数据库中,单独的文件中,或者在页面连接的单个文件中。 可以通过SQL,Web界面,TCP / IP上的专有密钥/值/版本接口或其他方法访问页面服务器。 页面服务器有助于增量更新。

    Method and system for handling binary large objects
    10.
    发明授权
    Method and system for handling binary large objects 有权
    用于处理二进制大对象的方法和系统

    公开(公告)号:US08756261B2

    公开(公告)日:2014-06-17

    申请号:US12833068

    申请日:2010-07-09

    IPC分类号: G06F17/30

    CPC分类号: G06F17/30318

    摘要: A method and system for efficiently storing, retrieving, and updating binary large objects (BLOBs) in embedded systems is disclosed. The metadata of the BLOBs is stored in relational tables, while the BLOBs are stored in a flat file. Querying the metadata of the BLOBs (i.e. the starting points of the BLOBs and their length) is performed based on SQL. The corresponding BLOBs are then accessed using file operation commands. To further simplify the querying and storage of BLOBs, virtual tables are created. By using these virtual tables, a user can access a BLOB as if it was stored in a physical table.

    摘要翻译: 公开了一种用于在嵌入式系统中有效地存储,检索和更新二进制大对象(BLOB)的方法和系统。 BLOB的元数据存储在关系表中,而BLOB存储在平面文件中。 基于SQL执行查询BLOB的元数据(即BLOB的起始点及其长度)。 然后使用文件操作命令访问相应的BLOB。 为了进一步简化BLOB的查询和存储,创建虚拟表。 通过使用这些虚拟表,用户可以访问BLOB,就像存储在物理表中一样。