SYSTEM AMD METHOD FOR SCENE BASED POSITIONING AND LINKING OF VEHICLES FOR ON-DEMAND AUTONOMY

    公开(公告)号:US20230072230A1

    公开(公告)日:2023-03-09

    申请号:US17447108

    申请日:2021-09-08

    Abstract: Methods and systems for an On-Demand Autonomy (ODA) system are provided. A method includes: receiving a request for ODA service from the Fv, wherein the request includes a location of the Fv; when the Lv is within a first distance of the location of the Fv: identifying the Fv within a scene of an environment of the Lv; identifying an orientation of the Fv within the scene of the environment of the Lv; and determining a second location for the Lv to begin the ODA service; when the Lv is within a second distance of the second location, determining a closeness of other vehicles within a second scene of the environment of the Lv; confirming the orientation of the Fv in the second scene; performing a handshake method with the Fv to create a virtual link between the Lv and the Fv; and performing at least one of pulling and parking platooning methods using the created virtual link.

    Correctness preserving optimization of deep neural networks

    公开(公告)号:US11455538B2

    公开(公告)日:2022-09-27

    申请号:US16227195

    申请日:2018-12-20

    Abstract: A method for reducing the number of neurons in a trained deep neural network (DNN) includes classifying layer types in a plurality of hidden layers; evaluating the accuracy of the DNN using a validation set of data; and generating a layer specific ranking of neurons, wherein the generating includes: analyzing, using the validation set of data for one or more of the plurality of hidden layers, the activation function for each neuron in the analyzed layers to determine an activation score for each neuron; and ranking, on a layer type basis, each neuron in the analyzed layers based on the neuron's activation score to generate a layer specific ranking of neurons. The method further includes removing a number of lower ranked neurons from the DNN that does not result in the DNN after the removal of selected lower ranked neurons to fall outside of an accuracy threshold limit.

    APPARATUS AND METHODOLOGY FOR SYMBOLIC EXECUTION-BASED ANALYSIS OF UNINTENDED INTERACTIONS IN A COMPUTING SYSTEM

    公开(公告)号:US20180060219A1

    公开(公告)日:2018-03-01

    申请号:US15254647

    申请日:2016-09-01

    Inventor: Ramesh Sethu

    CPC classification number: G06F11/3668 G06F11/36 G06F11/3684

    Abstract: A system for use in analyzing software code using a symbolic-execution technique. The system includes a hardware-based processing unit, and a non-transitory computer-readable storage component including a (i) concurrency-analysis module, (ii) a lightweight-analysis module, and (iii) a heavyweight-analysis module. The concurrency-analysis module, when executed by the hardware-based processing unit receives initial code and generates a potential interference matrix using the initial code. The lightweight-analysis module, when executed by the hardware-based processing unit, generates a final interface matrix using the potential interference matrix. The heavyweight-analysis module, when executed by the hardware-based processing unit, generates one or more test cases using the potential interference matrix. Various aspects of the present technology includes a non-transitory computer-readable storage devices configured to perform any of the operations described, algorithms to perform any of the operations described, and the methods or processes including the operations performed by these systems, storage devices, and algorithms.

    Methodology and tool support for test organization and migration for embedded software
    35.
    发明授权
    Methodology and tool support for test organization and migration for embedded software 有权
    用于嵌入式软件的测试组织和迁移的方法和工具支持

    公开(公告)号:US09342441B2

    公开(公告)日:2016-05-17

    申请号:US14294337

    申请日:2014-06-03

    CPC classification number: G06F11/3684 G06F11/3636 G06F11/368

    Abstract: A method of establishing traceability for embedded software systems. A design code database is provided for an embedded software system. A test suite database including a plurality of test cases is structured for testing design code of the embedded software system. The structuring of the test cases provides a correspondence from a respective test case to a respective portion of the design code. A processor receives a design code modification to the embedded software. An associated test case is identified for testing the modified design code being based on traceability data. The associated test case is revised to accommodate the modified design code. The modified test cases are integrated into the test suite. A traceability database establishes a one-to-one correspondence between the modified design coder and the modified test case is updated.

    Abstract translation: 一种为嵌入式软件系统建立可追溯性的方法。 为嵌入式软件系统提供设计代码数据库。 包括多个测试用例的测试套件数据库被构造用于测试嵌入式软件系统的设计代码。 测试用例的结构化提供了从相应测试用例到设计代码的相应部分的对应关系。 处理器接收嵌入式软件的设计代码修改。 识别相关的测试用例,用于测试基于可追溯性数据的修改后的设计代码。 修改相关测试用例以适应修改后的设计代码。 修改后的测试用例集成到测试套件中。 可追溯性数据库在修改后的设计编码器和修改的测试用例之间建立一对一的对应关系。

Patent Agency Ranking