Using model-based diagnosis to improve software testing

    公开(公告)号:US09934131B2

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

    申请号:US15116816

    申请日:2015-02-05

    发明人: Meir Kalech Ron Stern

    IPC分类号: G06F9/44 G06F11/36 G06N7/00

    摘要: An artificial intelligence based method for improving a software testing process, according to which upon finding a bug, a set of candidate diagnoses is proposed to the tester, based on a Model-Based Diagnosis (MBD) process. A planning process is used for automatically suggesting further test steps to be performed by the tester, to identify the correct diagnosis for the developer in the form of faulty software component that caused the bug, while minimizing the tests steps performed by the tester. Additional information is provided to the MBD process, based on the outputs of the further test steps, thereby pruning incorrect candidate diagnoses. These steps are iteratively repeated while in each time, minimizing the set of candidate diagnoses, until a single diagnosis remains in the set.

    PEPTIDE-POLYPEPTIDE CO-ASSEMBLED NANOPARTICLES FOR DRUG DELIVERY

    公开(公告)号:US20170258735A1

    公开(公告)日:2017-09-14

    申请号:US15310286

    申请日:2015-05-13

    IPC分类号: A61K9/51 A61K47/42 B82Y5/00

    摘要: Provided are co-assembled nanoparticles including at least one polypeptide including a polyanion; and at least one amphiphilic peptide capable of forming a β-sheet structure, a derivative or a salt thereof, the amphiphilic peptide including at least 2 pairs of alternating hydrophobic/hydrophilic amino acid residues in which the hydrophilic amino acid residue is positively charged, and methods of preparation of the nanoparticles. Further provided are pharmaceutical compositions including the co-assembled nanoparticles and a pharmaceutically active ingredient, dissolved, entrapped, encapsulated or attached to the co-assembled nanoparticles. Further provided are therapeutic uses of the pharmaceutical compositions.

    USING MODEL-BASED DIAGNOSIS TO IMPROVE SOFTWARE TESTING

    公开(公告)号:US20170153967A1

    公开(公告)日:2017-06-01

    申请号:US15116816

    申请日:2015-02-05

    发明人: Meir KALECH Ron STERN

    IPC分类号: G06F11/36 G06N7/00

    摘要: An artificial intelligence based method for improving a software testing process, according to which upon finding a bug, a set of candidate diagnoses is proposed to the tester, based on a Model-Based Diagnosis (MBD) process. A planning process is used for automatically suggesting further test steps to be performed by the tester, to identify the correct diagnosis for the developer in the form of faulty software component that caused the bug, while minimizing the tests steps performed by the tester. Additional information is provided to the MBD process, based on the outputs of the further test steps, thereby pruning incorrect candidate diagnoses. These steps are iteratively repeated while in each time, minimizing the set of candidate diagnoses, until a single diagnosis remains in the set.

    REAL TIME DUAL MODE FULL-FIELD OPTICAL COHERENCE MICROSCOPY WITH FULL RANGE IMAGING
    78.
    发明申请
    REAL TIME DUAL MODE FULL-FIELD OPTICAL COHERENCE MICROSCOPY WITH FULL RANGE IMAGING 审中-公开
    实时双模全场光学相干显微镜与全范围成像

    公开(公告)号:US20170059299A1

    公开(公告)日:2017-03-02

    申请号:US15118877

    申请日:2015-02-03

    摘要: The invention is a system and method that enable obtaining ultra-high resolution interference, phase and OCT images at high speed. The system uses neither mechanical moving elements nor any optical/electro optical modulating means for obtaining the OCT images. Two OCT operating modes are available: for ultra-high resolution the system allows either spatial coherence TD-FF-OCT or temporal coherence TD-FF-OCT imaging, whereas for high resolution and ultra-high speed the system allows FD-FF-OCT imaging with full range imaging. In the TD mode, the OCT enface images are obtained in real time. In the FD mode, the 2D complex signal is reconstructed in real time. In both cases the method has the advantage of very high speed imaging with great immunity to noise.

    摘要翻译: 本发明是能够高速获得超高分辨率干涉,相位和OCT图像的系统和方法。 该系统既不使用机械移动元件,也不使用用于获得OCT图像的任何光/电光调制装置。 可提供两种OCT操作模式:对于超高分辨率,该系统允许空间相干性TD-FF-OCT或时间相干性TD-FF-OCT成像,而对于高分辨率和超高速度,系统允许FD-FF-OCT 全成像成像。 在TD模式下,实时获得OCT表面图像。 在FD模式中,2D复信号被实时重构。 在这两种情况下,该方法具有非常高的速度成像的优点,具有很大的抗噪声能力。