公开(公告)号：US20130304440A1

公开(公告)日：2013-11-14

申请号：US13469957

申请日：2012-05-11

Applicant: Alexander Jacobus Maria Van der Velden

Inventor： Alexander Jacobus Maria Van der Velden

IPC: G06G7/48

CPC classification number: G06F11/2247 ,  G06Q10/067 ,  G06Q30/018

Abstract: A computer-implemented method for verifying a model in a product lifecycle management (PLM) system includes defining a model and an envelope of allowable model states and, based on one or more requirements, deriving at least one counterexample objective. The method also includes optimizing a set of parameters related to the allowable model states and the allowable model context, redefining at least one of the model and the allowable model states when the at least one counterexample objective is outside of a specified tolerance, and, after a predefined number of iterations, defining the model as verified.

Abstract translation: 用于验证产品生命周期管理（PLM）系统中的模型的计算机实现的方法包括定义模型和容许模型状态的包络，并且基于一个或多个要求，导出至少一个反例目标。 该方法还包括优化与允许的模型状态和允许的模型上下文相关的一组参数，当至少一个反目标目标在指定的公差之外时，重新定义模型和允许的模型状态中的至少一个，并且之后 预定义的迭代次数，将模型定义为已验证。

公开(公告)号：US20120271983A1

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

申请号：US13407690

申请日：2012-02-28

Applicant: JUN-MIN CHEN ,  MING-XIANG HU ,  LE LIN ,  ZHI-JIAN LONG

Inventor： JUN-MIN CHEN ,  MING-XIANG HU ,  LE LIN ,  ZHI-JIAN LONG

IPC: G06F12/00 ,  G06F12/02

CPC classification number: G06F11/2247

Abstract: A server includes a Southbridge chip, a first storage device, and a baseboard management controller (BMC) electrically connected to the Southbridge chip. A field replacement unit (FRU) is electrically connected to the BMC and the first storage device. The BMC reads data from a second storage device electrically connected to the BMC, writes the data into the FRU, sends a first control signal to a switch positioned between the BMC, the first storage device and the FRU, to switch on an electrical connection between the BMC and the first storage device for reading data stored within the first storage device. If the data stored within the first storage is different from the data stored within the FRU, the BMC reads the data from the FRU, and writes the data into the first storage device, to synchronize the data within the first storage device and the FRU.

Abstract translation: 服务器包括南桥芯片，第一存储设备和电连接到南桥芯片的基板管理控制器（BMC）。 现场更换单元（FRU）电连接到BMC和第一存储设备。 BMC从与BMC电连接的第二存储设备读取数据，将数据写入FRU，向位于BMC，第一存储设备和FRU之间的交换机发送第一控制信号，以接通第一控制信号， BMC和用于读取存储在第一存储设备内的数据的第一存储设备。 如果存储在第一存储器中的数据与存储在FRU中的数据不同，则BMC从FRU读取数据，并将数据写入第一存储设备，以使第一存储设备和FRU内的数据同步。

公开(公告)号：US20110055636A1

公开(公告)日：2011-03-03

申请号：US12551458

申请日：2009-08-31

Applicant: Michael Paul DeHaan ,  Adrian Karstan Likins ,  Seth Kelby Vidal

Inventor： Michael Paul DeHaan ,  Adrian Karstan Likins ,  Seth Kelby Vidal

IPC: G06F11/28

CPC classification number: G06F11/2294 ,  G06F11/2247

Abstract: Embodiments relate to systems and methods for testing results of configuration management activity. In embodiments, a configuration management server can control and maintain the configuration state of one or more targets, hosts, servers, clients, or other machines in a managed. In aspects, a testing tool hosted on the configuration management server can verify the correct implementation of configuration instructions. In embodiments, the testing tool can access or receive an anticipated or target configuration state for one or more target(s) or other machines, indicating the status of services, memory, security, storage, and/or other configuration parameters after a selected configuration command is to be transmitted and run on the recipient machine. After the configuration change or update is performed, the test tool can receive results indicating the actual configuration state achieved after running the configuration management command(s), and compare those to the anticipated configuration state. Any discrepancies can be flagged, and corrective commands can be issued.

Abstract translation: 实施例涉及用于测试配置管理活动的结果的系统和方法。 在实施例中，配置管理服务器可以控制和维护被管理的一个或多个目标，主机，服务器，客户机或其他机器的配置状态。 在方面，托管在配置管理服务器上的测试工具可以验证配置指令的正确实现。 在实施例中，测试工具可以访问或接收一个或多个目标或其他机器的预期或目标配置状态，指示在所选配置之后的服务，存储器，安全性，存储和/或其他配置参数的状态 命令将在接收机上传输和运行。 执行配置更改或更新后，测试工具可以接收到指示运行配置管理命令后实际配置状态的结果，并将其与预期配置状态进行比较。 可以标记任何差异，并且可以发出纠正命令。

公开(公告)号：US20110010586A1

公开(公告)日：2011-01-13

申请号：US12789800

申请日：2010-05-28

Applicant: Masaru MISHUKU

Inventor： Masaru MISHUKU

IPC: G06F11/28

CPC classification number: G06F11/2247

Abstract: A test method including executing a data transfer instruction with regard to transfer of data between a plurality of multiplexed storage devices and a plurality of main systems logically connected to the plurality of storage devices, storing an initial value of an operand upon execution of the data transfer instruction, re-setting the stored initial value to the operand upon occurrence of an interrupt triggered by an exception, and repeatedly executing the data transfer instruction and re-setting the stored initial value to the operand, by the main system accessing the storage device, until the data transfer instruction is completed normally.

Abstract translation: 一种测试方法，包括执行关于多个多路复用存储设备与逻辑上连接到多个存储设备的多个主系统之间的数据传输的数据传输指令，在执行数据传输时存储操作数的初始值 指令，在由异常触发的中断发生时将存储的初始值重新设置为操作数，并且通过访问存储设备的主系统重复执行数据传输指令并将存储的初始值重新设置为操作数， 直到数据传输指令正常完成。

公开(公告)号：US07653898B1

公开(公告)日：2010-01-26

申请号：US11133714

申请日：2005-05-20

Applicant: Syed M. Ali ,  Yury Kamen ,  Deepak Alur ,  John P. Crupi ,  Daniel B. Malks ,  Rajmohan Krishnamurthy

Inventor： Syed M. Ali ,  Yury Kamen ,  Deepak Alur ,  John P. Crupi ,  Daniel B. Malks ,  Rajmohan Krishnamurthy

IPC: G06F9/44

CPC classification number: G06F8/75 ,  G06F11/2247

Abstract: A method for analyzing a target system that includes generating a characteristics model using a schema defining a domain, obtaining a plurality of characteristics from the target system using a characteristics extractor, wherein the plurality of characteristics is associated with the characteristics model storing each of the plurality of characteristics in a characteristics store, and analyzing the target system by issuing at least one query to the characteristics store to obtain an analysis result.

Abstract translation: 一种用于分析目标系统的方法，包括使用定义域的模式来生成特征模型，使用特征提取器从目标系统获得多个特征，其中所述多个特征与存储多个 特征商店中的特征，并且通过向特征商店发出至少一个查询来分析目标系统以获得分析结果。

公开(公告)号：US20090187891A1

公开(公告)日：2009-07-23

申请号：US12018668

申请日：2008-01-23

Applicant: Juan Alonso CORONADO ,  Roger Gregory HATHORN ,  Dinh Hai LE ,  Daniel J. PERKIN ,  Adelaide Margaret RICHARDS ,  Aaron Eugene TAYLOR

Inventor： Juan Alonso CORONADO ,  Roger Gregory HATHORN ,  Dinh Hai LE ,  Daniel J. PERKIN ,  Adelaide Margaret RICHARDS ,  Aaron Eugene TAYLOR

IPC: G06F11/36

CPC classification number: G06F11/2247

Abstract: A method for verifying an input/output (I/O) hardware configuration is provided. A verification command is processed. The verification command includes a software device address range associated with a logical control unit (LCU) of the I/O hardware. The LCU utilizes a first logical path. The software device address range utilizing the first logical path is compared with an existing software device address range utilizing at least one additional logical path. The verification command is accepted if the software device address range and the existing software device address range match.

Abstract translation: 提供了用于验证输入/输出（I / O）硬件配置的方法。 处理验证命令。 验证命令包括与I / O硬件的逻辑控制单元（LCU）相关联的软件设备地址范围。 LCU利用第一逻辑路径。 使用第一逻辑路径的软件设备地址范围与利用至少一个附加逻辑路径的现有软件设备地址范围进行比较。 如果软件设备地址范围和现有的软件设备地址范围匹配，则接受验证命令。

公开(公告)号：US07444412B2

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

申请号：US10165864

申请日：2002-06-07

Applicant: Eric Owhadi

Inventor： Eric Owhadi

IPC: G06F15/16 ,  G06F12/00

CPC classification number: G06F11/2294 ,  G06F11/0709 ,  G06F11/0748 ,  G06F11/2247

Abstract: The present invention relates to a data processing system and method for providing support and maintenance services to a computer with at least reduced and preferably minimal user interaction. Data, that ordinarily would be inaccessible to a non-trusted applet, is, prior to any use of that data by such a non-trusted applet collated with the permission of the user of the computer by a trusted applet. The trusted applet has a greater range of access to system configuration as compared to the non-trusted applet. However, invoking a trusted applet requires user interaction; namely, the user must grant permission for the trusted applet to access the system configuration information and platform identification data. The necessary system configuration information that is required for the provision of support and maintenance services is harvested by the trusted applet and stored within a cookie. Therefore, the non-trusted applet can be downloaded and can access the relevant information without having involve the user.

Abstract translation: 数据处理系统和方法技术领域本发明涉及一种数据处理系统和方法，用于至少减少并且优选地最小的用户交互来向计算机提供支持和维护服务。 在不可信的小应用程序通常是无法访问的数据之前，在通过可信小部件与计算机的用户的许可对齐的这种不可信的小程序来使用该数据之前。 与不可信的小程序相比，受信任的小应用程序具有对系统配置的更大的访问范围。 但是，调用受信任的小程序需要用户交互; 即用户必须授予可信小程序的权限才能访问系统配置信息和平台识别数据。 提供支持和维护服务所需的必要系统配置信息由受信任的小应用程序收集并存储在cookie中。 因此，可以下载不可信小程序，并且可以访问相关信息而不涉及用户。

公开(公告)号：US07254499B2

公开(公告)日：2007-08-07

申请号：US11442431

申请日：2006-05-26

Applicant: Carl E. Benvenga ,  William Hobson Wubbena

Inventor： Carl E. Benvenga ,  William Hobson Wubbena

IPC: G06F19/00

CPC classification number: G06F11/2247 ,  G01R1/025

Abstract: In one embodiment, a computer-implemented method 1) determines a current configuration of instruments which are connected in a user's test system; 2) retrieves an icon associated with each instrument (the icons being sized proportionally to the instruments they represent); 3) displays the icons within a GUI; and 4) graphically connects the icons within the GUI, in accord with the current configuration of instruments. In another embodiment, a computer-implemented method 1) determines a current configuration of instruments which are connected in a user's test system; 2) retrieves an icon associated with each instrument (the icons being pictures of the instruments); 3) displays the icons within a GUI; and 4) graphically connects the icons within the GUI, in accord with the current configuration of instruments. Other embodiments are also disclosed.

Abstract translation: 在一个实施例中，计算机实现的方法1）确定在用户测试系统中连接的仪器的当前配置; 2）检索与每个乐器相关联的图标（图标的大小与其表示的乐器成正比）; 3）在GUI中显示图标; 和4）根据当前的仪器配置，图形地连接GUI中的图标。 在另一实施例中，计算机实现的方法1）确定在用户测试系统中连接的仪器的当前配置; 2）检索与每个乐器相关联的图标（图标是乐器的图片）; 3）在GUI中显示图标; 和4）根据当前的仪器配置，图形地连接GUI中的图标。 还公开了其他实施例。

公开(公告)号：US20050278129A1

公开(公告)日：2005-12-15

申请号：US10853959

申请日：2004-05-25

Applicant: Carl Benvenga ,  William Wubbena

Inventor： Carl Benvenga ,  William Wubbena

IPC: G01R13/02

CPC classification number: G06F11/2247 ,  G01R1/025

Abstract: A current configuration of instruments which are connected in a user's test system is determined. The current configuration of instruments is then displayed within a graphical user interface (GUI) by 1) displaying icons representing the instruments, and 2) graphically connecting the icons.

Abstract translation: 确定在用户测试系统中连接的仪器的当前配置。 然后通过1）显示表示乐器的图标，以及2）以图形方式连接图标，在图形用户界面（GUI）内显示乐器的当前配置。

公开(公告)号：US06882271B2

公开(公告)日：2005-04-19

申请号：US10293428

申请日：2002-11-12

Applicant: David Hendrickson

Inventor： David Hendrickson

IPC: G06F11/22 ,  G08B23/00

CPC classification number: G06F11/2247

Abstract: The need for service repair calls for a medical imaging system is reduced by enabling the operator to diagnose and, at times, to repair system problems without calling a repair service. A system diagnostics package includes an interactive diagnostic procedure which interacts with the system operator to receive input and information concerning a system problem. The diagnostics package uses this qualitative operator input, augmented if necessary by quantitative system data, to logically arrive at a system diagnosis. In a preferred embodiment the ultrasound system is able to learn about and discover new problem sources and their solutions. This information can be retained by the imaging system and used to repair similar problems in the system in the future. The information can be communicated to the system manufacturer so that the knowledge learned by one system can be disseminated to other systems to expedite their diagnosis and repair.

Abstract translation: 通过使操作员能够诊断和有时修复系统问题而不调用维修服务来减少对医疗成像系统的维修需求。 系统诊断包包括与系统操作者交互以接收关于系统问题的输入和信息的交互式诊断过程。 诊断包使用此定性操作员输入，如果需要，通过定量系统数据进行扩充，以逻辑地到达系统诊断。 在优选实施例中，超声系统能够了解和发现新的问题源及其解决方案。 该信息可以由成像系统保留，并用于在将来修复系统中的类似问题。 该信息可以传达给系统制造商，使得一个系统学到的知识可以传播到其他系统，以加速其诊断和修复。