专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US07480602B2 System verification test using a behavior model 有权
标题翻译：使用行为模型进行系统验证测试
公开(公告)号：US07480602B2
公开(公告)日：2009-01-20
申请号：US11040348
申请日：2005-01-20
申请人： Paul Kingston Duffie , Patrick Hornberger , Carl Hubbard , Satomi Okazaki , Pawan Singh
发明人： Paul Kingston Duffie , Patrick Hornberger , Carl Hubbard , Satomi Okazaki , Pawan Singh
IPC分类号： G06F17/50
CPC分类号： G06F11/263
摘要： The present invention provides a system verification system that automatically generates a behavior model modeling the system under test in terms of actions of a test case and a range of expected reactions corresponding to those actions. In this regard, the system verification system obtains a set of actions and individual reactions corresponding to the actions from a plurality of runs of a test case for the system under test, and automatically generates the behavior model representing the system under test in terms of the set of actions and a range of expected reactions each range corresponding one of the actions. The range of expected reactions generalizes and includes all or most of the individual reactions corresponding to said one of the actions.
摘要翻译：本发明提供了一种系统验证系统，其根据测试用例的动作和对应于这些动作的预期反应范围，自动生成建模被测系统的行为模型。在这方面，系统验证系统从被测系统的测试用例的多个运行中获得与动作相对应的一组动作和单独的反应，并且根据被测系统的自动生成表示被测系统的行为模型一组动作和一系列预期反应，每个范围对应一个动作。预期反应的范围概括并且包括对应于所述一个动作的所有或大部分个别反应。

2. 发明申请

US20060161508A1 System verification test using a behavior model 有权
公开(公告)号：US20060161508A1
公开(公告)日：2006-07-20
申请号：US11040348
申请日：2005-01-20
申请人： Paul Duffie , Patrick Hornberger , Carl Hubbard , Satomi Okazaki , Pawan Singh
发明人： Paul Duffie , Patrick Hornberger , Carl Hubbard , Satomi Okazaki , Pawan Singh
IPC分类号： G06F17/00
CPC分类号： G06F11/263
摘要： The present invention provides a system verification system that automatically generates a behavior model modeling the system under test in terms of actions of a test case and a range of expected reactions corresponding to those actions. In this regard, the system verification system obtains a set of actions and individual reactions corresponding to the actions from a plurality of runs of a test case for the system under test, and automatically generates the behavior model representing the system under test in terms of the set of actions and a range of expected reactions each range corresponding one of the actions. The range of expected reactions generalizes and includes all or most of the individual reactions corresponding to said one of the actions.

3. 发明授权

US09274910B2 Automatic test map generation for system verification test 有权
标题翻译：自动测试图生成系统验证测试
公开(公告)号：US09274910B2
公开(公告)日：2016-03-01
申请号：US12201797
申请日：2008-08-29
申请人： Paul Kingston Duffie , Andrew Thomas Waddell , Adam James Bovill , Yujie Lin , Pawan Singh
发明人： Paul Kingston Duffie , Andrew Thomas Waddell , Adam James Bovill , Yujie Lin , Pawan Singh
IPC分类号： G06F17/30 , G06F11/22
CPC分类号： G06F11/2268 , G06F17/30592
摘要： A response map descriptively modeling the textual format of a test response of a system verification test is created without a priori understanding of the format of the given response. Such response map is applied to the test response or other similar test responses that share the same format. More specifically, a method of identifying and extracting one or more formats of textual data included in test responses from system verification testing of a system under test is provided, by receiving a first test response including first textual data in one or more formats, generating a response map descriptively modeling the first test response without a priori information of the one or more formats, and applying the response map to a second test response to identify and extract second textual data from the second test response. The second textual data is also in the one or more formats.
摘要翻译：创建对对系统验证测试的测试响应的文本格式进行描述性建模的响应图，而不事先理解给定响应的格式。这样的响应图应用于共享相同格式的测试响应或其他类似的测试响应。更具体地说，通过接收包括一种或多种格式的第一文本数据的第一测试响应，提供一种识别和提取包括在测试响应中的一种或多种格式的文本数据的方法，该测试响应包括第一文本数据，响应图描述性地对第一测试响应进行建模，而没有一个或多个格式的先验信息，以及将响应图应用于第二测试响应，以从第二测试响应中识别和提取第二文本数据。第二文本数据也是一种或多种格式。

4. 发明申请

US20100057704A1 Automatic Test Map Generation for System Verification Test 有权
标题翻译：用于系统验证测试的自动测试图生成
公开(公告)号：US20100057704A1
公开(公告)日：2010-03-04
申请号：US12201797
申请日：2008-08-29
申请人： Paul Kingston Duffie , Andrew Thomas Waddell , Adam James Bovill , Yujie Lin , Pawan Singh
发明人： Paul Kingston Duffie , Andrew Thomas Waddell , Adam James Bovill , Yujie Lin , Pawan Singh
IPC分类号： G06F7/06 , G06F17/21 , G06F17/30
CPC分类号： G06F11/2268 , G06F17/30592
摘要： A response map descriptively modeling the textual format of a test response of a system verification test is created without a priori understanding of the format of the given response. Such response map is applied to the test response or other similar test responses that share the same format. More specifically, a method of identifying and extracting one or more formats of textual data included in test responses from system verification testing of a system under test is provided, by receiving a first test response including first textual data in one or more formats, generating a response map descriptively modeling the first test response without a priori information of the one or more formats, and applying the response map to a second test response to identify and extract second textual data from the second test response. The second textual data is also in the one or more formats.
摘要翻译：创建对对系统验证测试的测试响应的文本格式进行描述性建模的响应图，而不事先理解给定响应的格式。这样的响应图应用于共享相同格式的测试响应或其他类似的测试响应。更具体地说，通过接收包括一种或多种格式的第一文本数据的第一测试响应，提供一种识别和提取包括在测试响应中的一种或多种格式的文本数据的方法，该测试响应包括第一文本数据，响应图描述性地对第一测试响应进行建模，而没有一个或多个格式的先验信息，以及将响应图应用于第二测试响应，以从第二测试响应中识别和提取第二文本数据。第二文本数据也是一种或多种格式。

5. 发明申请

US20070050057A1 Method and apparatus for arranging program and I/O controls 失效
公开(公告)号：US20070050057A1
公开(公告)日：2007-03-01
申请号：US11217210
申请日：2005-09-01
申请人： Robert Buchanan , John Hoford , Pawan Singh
发明人： Robert Buchanan , John Hoford , Pawan Singh
IPC分类号： G05B11/01 , G05B15/00
CPC分类号： G06F9/451
摘要： A computer system includes a display and a processor. The processor operable to implement a user interface on the display. The user interface including a plurality of program controls for initiating processing tasks. The processor is operable to, responsive to an activation of a selected program control, place an I/O control associated with the selected program control proximate the selected program control to allow visual association between the I/O control and the selected program control.

6. 发明授权

US08766229B2 Electronic memory device 有权
标题翻译：电子记忆体装置
公开(公告)号：US08766229B2
公开(公告)日：2014-07-01
申请号：US14003309
申请日：2012-03-07
申请人： Pawan Singh
发明人： Pawan Singh
IPC分类号： H01L21/00
CPC分类号： H01L45/085 , G11C13/0007 , G11C13/0011 , G11C2213/51 , G11C2213/52 , G11C2213/53 , H01L27/1052 , H01L45/1206 , H01L45/142 , H01L45/143 , H01L45/145
摘要： An electronic device includes a first electrode, a second electrode, and a solid electrolyte made of an ion-conducting material, the first and second electrodes being configured to form a metal dendrite. The device further includes a third electrode, an interface layer contacting the third electrode and a third surface of the electrolyte, the interface layer being an ionic insulator and an electronic insulator. The third electrode and the dendrite are arranged such that the device has two resistive states.
摘要翻译：电子器件包括第一电极，第二电极和由离子传导材料制成的固体电解质，第一和第二电极构造成形成金属枝晶。该装置还包括第三电极，接触第三电极的界面层和电解质的第三表面，界面层是离子绝缘体和电子绝缘体。第三电极和枝晶布置成使得该器件具有两个电阻状态。

7. 发明申请

US20140034895A1 ELECTRONIC MEMORY DEVICE 有权
标题翻译：电子存储器件
公开(公告)号：US20140034895A1
公开(公告)日：2014-02-06
申请号：US14003309
申请日：2012-03-07
申请人： Pawan Singh
发明人： Pawan Singh
IPC分类号： H01L45/00
CPC分类号： H01L45/085 , G11C13/0007 , G11C13/0011 , G11C2213/51 , G11C2213/52 , G11C2213/53 , H01L27/1052 , H01L45/1206 , H01L45/142 , H01L45/143 , H01L45/145
摘要： An electronic device includes a first electrode, a second electrode, and a solid electrolyte made of an ion-conducting material, the first and second electrodes being configured to form a metal dendrite. The device further includes a third electrode, an interface layer contacting the third electrode and a third surface of the electrolyte, the interface layer being an ionic insulator and an electronic insulator. The third electrode and the dendrite are arranged such that the device has two resistive states.
摘要翻译：电子器件包括第一电极，第二电极和由离子传导材料制成的固体电解质，第一和第二电极构造成形成金属枝晶。该装置还包括第三电极，接触第三电极的界面层和电解质的第三表面，界面层是离子绝缘体和电子绝缘体。第三电极和枝晶布置成使得该器件具有两个电阻状态。

8. 发明申请

US20060036707A1 Method and apparatus for routing images 审中-公开
标题翻译：路由图像的方法和装置
公开(公告)号：US20060036707A1
公开(公告)日：2006-02-16
申请号：US10917573
申请日：2004-08-13
申请人： Pawan Singh , John Hoford
发明人： Pawan Singh , John Hoford
IPC分类号： G06F15/16
CPC分类号： H04L67/327
摘要： A method for exchanging images over a network includes associating an image router with an image repository. A first image request is received from a remote workstation in the image router. A second image request corresponding to the first image request is sent to the image repository. An image associated with the first image request is transferred from the image repository to the image router. The image is sent to the remote workstation. An imaging system includes, an image repository, a remote workstation, and an image router. The image repository is adapted to store a plurality of images. The remote workstation is adapted to issue a first image request for image data stored in the image repository. The image router is associated with the image repository and adapted to receive the first image request from the remote workstation and send a second image request corresponding to the first image request to the image repository. The image repository is adapted to transfer the image data associated with the second image request to the image router, and the image router is adapted to send the image data to the remote workstation.
摘要翻译：一种通过网络交换图像的方法包括将图像路由器与图像存储库相关联。从图像路由器中的远程工作站接收到第一图像请求。对应于第一图像请求的第二图像请求被发送到图像存储库。与第一图像请求相关联的图像从图像存储库传送到图像路由器。图像发送到远程工作站。成像系统包括图像存储库，远程工作站和图像路由器。图像存储库适于存储多个图像。所述远程工作站适于对存储在所述图像存储库中的图像数据发出第一图像请求。图像路由器与图像存储库相关联并且适于从远程工作站接收第一图像请求，并将与第一图像请求相对应的第二图像请求发送到图像存储库。图像存储库适于将与第二图像请求相关联的图像数据传送到图像路由器，并且图像路由器适于将图像数据发送到远程工作站。

9. 发明授权

US06914907B1 Method and apparatus for providing multi-cast transmissions using a distributed router 有权
标题翻译：使用分布式路由器提供多播传输的方法和装置
公开(公告)号：US06914907B1
公开(公告)日：2005-07-05
申请号：US09368651
申请日：1999-08-05
申请人： Rajeev Bhardwaj , Pawan Singh , Curt Moffitt , Paul Grepps , Medhavi Bhatia , Sanjay Khanna
发明人： Rajeev Bhardwaj , Pawan Singh , Curt Moffitt , Paul Grepps , Medhavi Bhatia , Sanjay Khanna
IPC分类号： H04J3/26 , H04L12/18 , H04L12/56
CPC分类号： H04L12/1886 , H04L45/04 , H04L45/16
摘要： A method and apparatus that includes processing for providing multi-cast transmissions within a data network begins by determining, for a source virtual network, a list of downstream virtual sub-networks for multi-cast traffic based on a multi-cast routing protocol. The processing then continues by determining multi-cast group membership on as per downstream virtual sub-network, edge device, and port basis. The process continues when a data packet is received via the source virtual network. The processing then continues by generating a multi-cast session table entry based on the list of downstream virtual sub-networks and the multi-cast group membership. The process continues by establishing virtual connections between the source virtual network and edge devices coupled to virtual sub-networks identified in the list of downstream virtual sub-networks. Having generated the virtual connections, the processing continues by downloading the multi-cast session table to the edge devices. The edge devices utilize the multi-cast session table entry to determine where the received data packets are to be forwarded.
摘要翻译：一种包括用于在数据网络内提供多播传输的处理的方法和装置，首先通过基于多播路由协议来确定源虚拟网络中用于多播流量的下游虚拟子网的列表。然后通过根据下游虚拟子网络，边缘设备和端口基础确定多播组成员资格来继续处理。当通过源虚拟网络接收到数据分组时，该过程继续。然后通过基于下游虚拟子网络和多播组成员资格的列表生成多播会话表条目来继续处理。该过程通过在源虚拟网络和耦合到在下游虚拟子网络列表中标识的虚拟子网络的边缘设备之间建立虚拟连接来继续。在生成虚拟连接之后，通过将多播会话表下载到边缘设备来继续处理。边缘设备利用多播会话表条目来确定接收到的数据分组将在哪里被转发。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式