利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

103 条记录 (耗时 0.025 秒)

    Points-to analysis using value flow
    2.
    发明授权
    Points-to analysis using value flow 有权
    使用价值流分析点分析

    公开(公告)号：US08473927B2

    公开(公告)日：2013-06-25

    申请号：US13117058

    申请日：2011-05-26

    申请人： Lian Li ,  Cristina N. Cifuentes ,  Nathan Robert Albert Keynes

    发明人： Lian Li ,  Cristina N. Cifuentes ,  Nathan Robert Albert Keynes

    IPC分类号： G06F9/44 ,  G06F9/45

    CPC分类号： G06F8/75 ,  G06F8/434 ,  G06F11/3604

    摘要： In general, in one aspect, the invention relates to a method for performing points-to analysis by generating a value flow graph for source code. The method steps include: initializing the value flow graph including a set of memory objects and a set of edges based on Base and Assignment instructions, where the set of edges represents inclusion constraints between the set of memory objects and a set of pointer variables; determining a pointed-to-by set including at least one pointer variable of the set of pointer variables; updating the value flow graph by introducing a flow edge based on an indirect reference, where the flow edge is related to a memory object of the set of memory objects that is added to a working list; updating the pointed-to-by set based on the memory object in the working list; and analyzing the source code using the pointed-to-by set.

    摘要翻译： 一般来说，一方面，本发明涉及通过生成源代码的值流程图来执行点分析的方法。 所述方法步骤包括：基于基本和分配指令来初始化包括一组存储器对象和一组边的值流图，其中所述边集合表示所述一组存储器对象与一组指针变量之间的包含约束; 确定包括所述指针变量集合中的至少一个指针变量的指向对象集合; 通过引入基于间接引用的流边来更新值流图，其中流边缘与添加到工作列表的一组存储器对象的存储器对象相关; 基于工作列表中的存储器对象来更新指向性集合; 并使用尖括号分析源代码。

    System and method for overflow detection USING PARTIAL EVALUATIONS
    3.
    发明申请
    System and method for overflow detection USING PARTIAL EVALUATIONS 有权
    溢出检测的系统和方法使用部分评估

    公开(公告)号：US20110179400A1

    公开(公告)日：2011-07-21

    申请号：US12688078

    申请日：2010-01-15

    申请人： Bernhard F. Scholz ,  Cristina N. Cifuentes ,  Nathan Robert Albert Keynes

    发明人： Bernhard F. Scholz ,  Cristina N. Cifuentes ,  Nathan Robert Albert Keynes

    IPC分类号： G06F9/44

    CPC分类号： G06F11/3624 ,  G06F11/3612 ,  G06F21/577

    摘要： A method for overflow detection using partial evaluations. The method includes obtaining a section of code from a source code file stored on a storage device, analyzing the section of code to identify a buffer with an index, determining a plurality of statements that are statically-computable and dependent on the index of the buffer, and generating a code segment including the plurality of statements. The method further includes replacing an access statement of the plurality of statements with a conditional statement returning true when bounds of the buffer are exceeded, where the access statement uses the index to access the buffer, adding an unconditional statement returning false to the code segment, and executing the code segment on a computer processor to obtain a determination of whether the bounds of the buffer are exceeded.

    摘要翻译： 一种使用部分评估的溢出检测方法。 该方法包括从存储在存储设备上的源代码文件中获取一段代码，分析代码段以识别具有索引的缓冲区，确定可静态计算并依赖于缓冲区索引的多个语句 ，以及生成包括所述多个语句的代码段。 该方法进一步包括：当条件语句在超出缓冲区的边界时返回true，替换多个语句的访问语句，访问语句使用索引访问缓冲区，向代码段添加返回false的无条件语句， 以及在计算机处理器上执行代码段以获得是否超过了缓冲区的范围的确定。

    SYSTEM AND METHOD FOR OVERFLOW DETECTION USING SYMBOLIC ANALYSIS
    4.
    发明申请
    SYSTEM AND METHOD FOR OVERFLOW DETECTION USING SYMBOLIC ANALYSIS 有权
    使用符号分析进行溢流检测的系统和方法

    公开(公告)号：US20110154122A1

    公开(公告)日：2011-06-23

    申请号：US12642729

    申请日：2009-12-18

    申请人： Lian Li ,  Cristina N. Cifuentes ,  Nathan Robert Albert Keynes

    发明人： Lian Li ,  Cristina N. Cifuentes ,  Nathan Robert Albert Keynes

    IPC分类号： G06F11/36 ,  G06F11/00 ,  G06F9/00 ,  G06F15/00

    CPC分类号： G06F11/3608

    摘要： A method for demand-driven symbolic analysis involves obtaining a section of code comprising an instruction from a source code file and determining a critical variable in the section of code and data dependencies related to the critical variable. The method further involves iteratively computing a symbolic value representing a range of values of the critical variable according to the data dependencies, determining a set of control predicates relevant to the critical variable at the instruction, refining the range of values according to the set of control predicates to generate a second range of values for the symbolic value, and reporting an error when the second range of values exceeds a predetermined value.

    摘要翻译： 用于需求驱动的符号分析的方法涉及获得包括源代码文件的指令的代码部分，并且确定与关键变量相关的代码和数据依赖性部分中的关键变量。 该方法还包括迭代地计算表示根据数据依赖性的关键变量的值的范围的符号值，确定与该指令处的关键变量相关的一组控制谓词，根据该组控制来改进值的范围 谓词以产生符号值的第二范围值，并且当第二范围值超过预定值时报告错误。

    Systems and methods for voltage SAG compensation
    5.
    发明授权
    Systems and methods for voltage SAG compensation 有权
    电压SAG补偿的系统和方法

    公开(公告)号：US07541696B2

    公开(公告)日：2009-06-02

    申请号：US11935039

    申请日：2007-11-05

    申请人： Robert Albert Dawley

    发明人： Robert Albert Dawley

    IPC分类号： H02J1/00

    CPC分类号： H02J3/1842 ,  H02J3/12 ,  Y02E40/22

    摘要： A voltage sag compensation system includes a capacitor charging and discharging module connected to an AC rectifier and to an inverter, a two stage voltage detector configured to detect a degree of voltage sag that is present on a power line, and an inverter gating module selectively connectable to the power line in response to the two stage voltage detector and configured to provide gating signals to the inverter. The system further includes a low DC bus switch out module configured to monitor an output voltage of the capacitor charging and discharging module and to disable the inverter gating module from providing the gating signals to the inverter when voltage associated with the capacitor charging and discharging module falls below a predetermined value.

    摘要翻译： 电压骤降​​补偿系统包括连接到AC整流器和逆变器的电容器充电和放电模块，被配置为检测存在于电力线上的电压骤降程度的两级电压检测器，以及可选择地连接的逆变器门控模块 响应于所述两级电压检测器到所述电力线，并且被配置为向所述逆变器提供门控信号。 该系统还包括一个低DC总线切换模块，配置成监控电容充放电模块的输出电压，并且当与电容充放电模块相关联的电压下降时，禁止逆变器门控模块向逆变器提供门控信号 低于预定值。

    Imaging sensor
    6.
    发明授权
    Imaging sensor 有权
    成像传感器

    公开(公告)号：US07435961B2

    公开(公告)日：2008-10-14

    申请号：US11378169

    申请日：2006-03-17

    申请人： Robert Albert Boie ,  Cristian A Bolle

    发明人： Robert Albert Boie ,  Cristian A Bolle

    IPC分类号： G01J5/00

    CPC分类号： G01J5/20 ,  G01J1/04 ,  G01J1/044 ,  G01J1/42 ,  G01J1/44

    摘要： A sensor that is responsive to at least two distinct spectral bands, e.g., infrared radiation and ultraviolet or infrared and visible light makes use of the junction of a diode-based bolometer as a photocell in addition to its temperature dependence for detecting infrared radiation. More specifically the diode bolometer is arranged to work in the conventional manner, in that an electrical characteristic of the diode, e.g., the temperature dependence of its current-voltage (I-V) curve, is used as the basis for measuring temperature, and hence, infrared radiation. Additionally, the same diode may be operated as a photocell to detect radiation that is capable of interacting with the electrons in the junction of the diode. This may be achieved by detecting a change in the operating point of the diode based given its present biasing in response to noninfrared radiation incident upon the diode.

    摘要翻译： 响应于至少两个不同光谱带（例如红外辐射和紫外线或红外线和可见光）的传感器除了其用于检测红外辐射的温度依赖性之外，还使用基于二极管的测辐射热计作为光电池的结。 更具体地说，二极管辐射热计被布置成以常规方式工作，因为二极管的电特性，例如其电流 - 电压（IV）曲线的温度依赖性被用作测量温度的基础，因此， 红外辐射。 此外，相同的二极管可以作为光电池来操作，以检测能够与二极管的结中的电子相互作用的辐射。 这可以通过响应于入射到二极管上的非红外辐射来鉴定其当前偏置来检测二极管的工作点的变化来实现。

    MEMS driver circuit arrangement
    7.
    发明授权
    MEMS driver circuit arrangement 有权
    MEMS驱动电路布置

    公开(公告)号：US06922499B2

    公开(公告)日：2005-07-26

    申请号：US09911601

    申请日：2001-07-24

    申请人： Robert Albert Boie ,  Jungsang Kim ,  Hyongsok Soh

    发明人： Robert Albert Boie ,  Jungsang Kim ,  Hyongsok Soh

    IPC分类号： G02B26/08 ,  B81B7/00 ,  G02B6/35 ,  H01L23/02

    CPC分类号： B81B7/0077 ,  G02B6/3512 ,  G02B6/3556 ,  G02B6/357

    摘要： A packaged MEMS device containing the micro mirrors has mounted on it at least two distinct integrated circuit chips, at least one of which contains the low-voltage digital-to-analog converts and at least one of which contains the high-voltage amplifiers. The integrated circuit chips may be mounted directly to the MEMS package, or they may be indirectly mounted thereto, e.g., by being directly mounted to a multi-chip module which is in turn mounted on the package. Thus, the MEMS package is employed in a dual role, 1) that of package for the MEMS device and 2) the role of a backplane in that it contains mounting places and the wires interconnecting the MEMS device and chips or modules containing the low-voltage digital-to-analog converters and the high-voltage amplifiers.

    摘要翻译： 包含微反射镜的封装的MEMS器件已经在其上安装了至少两个不同的集成电路芯片，其至少一个包含低电压数模转换器，并且其中至少一个包含高压放大器。 集成电路芯片可以直接安装到MEMS封装，或者它们可以被间接地安装到MEMS封装上，例如通过直接安装到依次安装在封装上的多芯片模块。 因此，MEMS封装以双重角色使用，1）用于MEMS器件的封装，以及2）背板的作用，因为其包含安装位置，并且将MEMS器件与包含低电容的芯片或模块相互连接的电线， 电压数模转换器和高压放大器。

    Surface micro-machined acoustic transducers
    10.
    发明授权
    Surface micro-machined acoustic transducers 有权
    表面微加工声学传感器

    公开(公告)号：US06249075B1

    公开(公告)日：2001-06-19

    申请号：US09442984

    申请日：1999-11-18

    申请人： David John Bishop ,  Robert Albert Boie ,  Flavio Pardo

    发明人： David John Bishop ,  Robert Albert Boie ,  Flavio Pardo

    IPC分类号： G01L116

    CPC分类号： H04R19/00 ,  Y10T29/42

    摘要： A micro-machined transducer having a structure in which an acoustic enclosure is formed on a substrate above the plane of the substrate surface is disclosed. Forming the acoustic enclosure on the substrate above the plane of the substrate surface, rather than an acoustic cavity in a surface of the substrate, provides an acoustic cavity whose size is not limited by the thickness of the substrate.

    摘要翻译： 公开了一种微加工的换能器，其具有在基板表面的平面上方的基板上形成声学外壳的结构。 在基板表面上方的基板上形成声罩，而不是基板表面的声腔，提供了一个声腔，其尺寸不受基板厚度的限制。