利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

87 条记录 (耗时 0.03 秒)

    Diagnosing code using single step execution
    5.
    发明授权
    Diagnosing code using single step execution 有权
    使用单步执行诊断代码

    公开(公告)号：US08839038B2

    公开(公告)日：2014-09-16

    申请号：US13372829

    申请日：2012-02-14

    申请人： Michael John Williams ,  Richard Roy Grisenthwaite

    发明人： Michael John Williams ,  Richard Roy Grisenthwaite

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

    CPC分类号： G06F11/2236 ,  G06F11/3632

    摘要： A method and apparatus for controlling a processor to execute in a single step mode such that a single instruction from the instruction stream is executed, the processor determines if the single instruction is one of at least one predetermined type of instruction and stores a type indicator in a data storage location and a diagnostic exception is taken after the processor has processed the single instruction. Additionally, a diagnostic operation is performed including accessing the type indicator stored in the data storage location and, when the single instruction was not one of the predetermined type, controlling the processor to continue executing instructions in the single step mode, and, when the single instruction was one of the at least one predetermined type, controlling the processor to exit the single step mode and not execute the next instruction within the instruction stream as a single instruction followed by an exception.

    摘要翻译： 一种用于控制处理器以单步模式执行使得来自指令流的单个指令被执行的方法和装置，处理器确定单个指令是否是至少一种预定类型的指令中的一种，并将类型指示器存储在 在处理器处理单个指令之后，采集数据存储位置和诊断异常。 此外，执行诊断操作，包括访问存储在数据存储位置中的类型指示符，并且当单个指令不是预定类型中的一个时，控制处理器以单步模式继续执行指令，并且当单个指令 指令是至少一种预定类型之一，控制处理器退出单步模式，并且不执行指令流内的下一条指令作为跟随异常的单个指令。

    Right sizing reservoir models
    6.
    发明授权
    Right sizing reservoir models 有权
    右尺寸油藏模型

    公开(公告)号：US08350851B2

    公开(公告)日：2013-01-08

    申请号：US12398294

    申请日：2009-03-05

    申请人： Stephen Richard George Flew ,  Sigurdur Vidar Jonsson ,  Michael John Williams

    发明人： Stephen Richard George Flew ,  Sigurdur Vidar Jonsson ,  Michael John Williams

    IPC分类号： G06T15/00

    CPC分类号： G06T17/20 ,  G06T17/205

    摘要： Disclosed herein are improved systems and methods for right sizing grid models for performing, for example, reservoir simulations. Implementations in accordance with the present disclosure may begin with a relatively fine scale grid model. Successive coarsening and resampling operations may be repeated until one or more characteristics of the coarsened grid model begin to unacceptably diverge from those of the fine scale model. Similarly, successive coarsening and upscaling operations may be performed until one or more characteristics of the coarsened grid model begin to unacceptably diverge from those of the previously-coarsened grid model. The resulting coarsened grid model may be suitably sized for reservoir simulations.

    摘要翻译： 这里公开了用于进行例如水库模拟的用于右侧尺寸网格模型的改进的系统和方法。 根据本公开的实现可以以相对精细的尺度网格模型开始。 可以重复连续粗化和重采样操作，直到粗化网格模型的一个或多个特征开始与精细比例模型的模型不可接受地分歧。 类似地，可以执行连续的粗化和升高操作，直到粗化的网格模型的一个或多个特征开始与先前粗化的网格模型的那些不可接受地分开。 所得到的粗化网格模型可适当地用于储层模拟。

    Coarsening and splitting techniques
    7.
    发明授权
    Coarsening and splitting techniques 有权
    粗化和分裂技术

    公开(公告)号：US08339396B2

    公开(公告)日：2012-12-25

    申请号：US12398253

    申请日：2009-03-05

    申请人： Michael John Williams ,  Stephen Richard George Flew ,  Sigurdur Vidar Jonsson

    发明人： Michael John Williams ,  Stephen Richard George Flew ,  Sigurdur Vidar Jonsson

    IPC分类号： G06T15/00

    CPC分类号： G06F17/5018 ,  G06F2217/16

    摘要： Disclosed herein are improved coarsening and splitting techniques for preparing grids for performing simulations. In some implementations, methods in accordance with the present disclosure may include providing a grid having a plurality of grid pillars; and performing one or more splitting operations on at least a portion of the grid to increase a grid density within the portion of the grid, the plurality of grid pillars within the portion of the grid being forced to remain fixed in position during the one or more splitting operations.

    摘要翻译： 本文公开了改进的粗化和分裂技术，用于制备用于执行模拟的栅格。 在一些实施方案中，根据本公开的方法可以包括提供具有多个栅格柱的栅格; 以及在所述网格的至少一部分上执行一个或多个分割操作以增加所述网格的所述部分内的网格密度，所述网格的所述部分内的所述多个网格柱在所述一个或多个网格中被强制保持固定在适当位置 拆分操作。

    Diagnostic context construction and comparison
    8.
    发明授权
    Diagnostic context construction and comparison 有权
    诊断情境建设与比较

    公开(公告)号：US08250411B2

    公开(公告)日：2012-08-21

    申请号：US12318442

    申请日：2008-12-30

    申请人： Michael John Williams ,  Richard Roy Grisenthwaite ,  Andrew Brookfield Swaine ,  John Michael Horley

    发明人： Michael John Williams ,  Richard Roy Grisenthwaite ,  Andrew Brookfield Swaine ,  John Michael Horley

    IPC分类号： G06F11/00

    CPC分类号： G06F11/3636

    摘要： A data processing system 1 has a processor core 2 which is programmable to act as one of a plurality of virtual machines each identified by a virtual machine identifier, each virtual machine acting in one of a plurality of contexts each identified by a context identifier, each context executing a sequence of program instructions, each program instruction having one or more associated memory addresses. The data processing system has diagnostic circuitry 10 for performing diagnostic operations on the processor core. Diagnostic control circuitry 12 is provided which is responsive to current values of the virtual machine identifier, the context identifier and at least one of the one or more associated memory addresses to trigger the diagnostic circuitry 10 to perform diagnostic operations.

    摘要翻译： 数据处理系统1具有处理器核心2，其可编程以充当多个虚拟机中的一个，每个虚拟机由虚拟机标识符标识，每个虚拟机以每个由上下文标识符标识的多个上下文之一起作用， 上下文执行程序指令序列，每个程序指令具有一个或多个关联的存储器地址。 数据处理系统具有用于在处理器核上进行诊断操作的诊断电路10。 提供了诊断控制电路12，其响应虚拟机标识符，上下文标识符的当前值和一个或多个相关联的存储器地址中的至少一个来触发诊断电路10执行诊断操作。

    Synchronization in data processing layers
    9.
    发明申请
    Synchronization in data processing layers 有权
    数据处理层同步

    公开(公告)号：US20110231691A1

    公开(公告)日：2011-09-22

    申请号：US12659668

    申请日：2010-03-16

    申请人： John Michael Horley ,  Nebojsa Makljenovic ,  Katherine Elizabeth Kneebone ,  Michael John Williams ,  Ian William Spray

    发明人： John Michael Horley ,  Nebojsa Makljenovic ,  Katherine Elizabeth Kneebone ,  Michael John Williams ,  Ian William Spray

    IPC分类号： G06F9/00

    CPC分类号： G06F9/545 ,  G06F11/3632 ,  G06F11/3636 ,  G06F11/3656

    摘要： A data processing apparatus is provided having a hierarchy of layers comprising at least two data processing layers, each data processing layer configured to receive data and to generate processed data for passing to a next lower layer in said hierarchy, according to a protocol specific to that data processing layer. Each data processing layer is configured intermittently to add synchronization information to its processed data, the synchronization information providing semantic information required to interpret the processed data. Each data processing layer is further configured to output its synchronization information in response to a synchronization request signal received from a lower layer in said hierarchy, and at least one data processing layer is configured, when outputting its synchronization information, to issue its synchronization request signal to a higher layer in the hierarchy.

    摘要翻译： 提供一种数据处理装置，其具有包括至少两个数据处理层的层的层级，每个数据处理层被配置为接收数据并且生成经处理的数据，以根据该特定于该层级的协议生成用于传递到所述层级中的下一个较低层 数据处理层。 每个数据处理层被间歇地配置以将同步信息添加到其处理的数据，同步信息提供解释处理的数据所需的语义信息。 每个数据处理层还被配置为响应于从所述层级中的较低层接收到的同步请求信号而输出其同步信息，并且当输出其同步信息时，配置至少一个数据处理层以发出其同步请求信号 到层次结构中的较高层。

    Data processing apparatus having trace and prediction logic
    10.
    发明授权
    Data processing apparatus having trace and prediction logic 有权
    具有跟踪和预测逻辑的数据处理装置

    公开(公告)号：US07752425B2

    公开(公告)日：2010-07-06

    申请号：US11442594

    申请日：2006-05-30

    申请人： Michael John Williams ,  John Michael Horley ,  Edmond John Simon Ashfield

    发明人： Michael John Williams ,  John Michael Horley ,  Edmond John Simon Ashfield

    IPC分类号： G06F9/00

    CPC分类号： G06F9/3808 ,  G06F9/30054 ,  G06F9/3806 ,  G06F9/3844

    摘要： A data processing apparatus is disclosed comprising: trace logic for monitoring behavior of a portion of said data processing apparatus; and prediction logic operable to provide at least one prediction as to at least one step of said behavior of said portion of said data processing apparatus; wherein said trace logic is operable to: monitor behavior of said portion of said data processing apparatus; determine from said monitored behavior whether or not said at least one prediction is correct; and output a prediction indicator indicating whether or not said at least one prediction is correct.

    摘要翻译： 公开了一种数据处理装置，包括：跟踪逻辑，用于监视所述数据处理装置的一部分的行为; 以及预测逻辑，其可操作以提供关于所述数据处理设备的所述部分的所述行为的至少一个步骤的至少一个预测; 其中所述跟踪逻辑可操作以：监视所述数据处理装置的所述部分的行为; 从所述监视行为确定所述至少一个预测是否正确; 并输出表示所述至少一个预测是否正确的预测指标。