公开(公告)号：US20050193383A1

公开(公告)日：2005-09-01

申请号：US10790663

申请日：2004-03-01

申请人： Izydor Gryko ,  C. Hodges ,  Jemy Huang ,  Christopher Burrows ,  Svetlozar Keremidarski ,  Rahul Kumar ,  Joshua Shepard ,  Kevin Perry ,  Diane Melde

发明人： Izydor Gryko ,  C. Hodges ,  Jemy Huang ,  Christopher Burrows ,  Svetlozar Keremidarski ,  Rahul Kumar ,  Joshua Shepard ,  Kevin Perry ,  Diane Melde

IPC分类号： G06F9/44

CPC分类号： G06F8/36 ,  G06F9/4492

摘要： An extensible project system for software development is provided by allowing a flavor, with a specific purpose, to be applied to a base project system. More than one flavor may be applied. Where components are distributed objects, such as where COM (component object model) is used, the project system is assembled by aggregation of a base project object, which contains some data for creating a project system with a flavor object, which modifies the project system. The base project object is the participating object in the aggregation and the flavor object is the controlling object. Multiple flavors may be applied to create a project system intended for multiple purposes, corresponding to the applied flavors.

摘要翻译： 通过允许具有特定目的的风味应用于基础项目系统来提供用于软件开发的可扩展项目系统。 可以应用多种风味。 在组件是分布式对象（如使用COM（组件对象模型）的位置）的情况下，通过聚合基础项目对象来组合项目系统，该基础项目对象包含用于创建具有flavor对象的项目系统的一些数据，该对象修改项目系统 。 基础项目对象是聚合中的参与对象，flavor对象是控制对象。 可以应用多种风味来创建旨在用于多种目的的项目系统，对应于所应用的风味。

公开(公告)号：US07685563B2

公开(公告)日：2010-03-23

申请号：US10790663

申请日：2004-03-01

申请人： Rahul Kumar ,  Joshua Shepard ,  Kevin Perry ,  Diane Melde ,  Izydor Gryko ,  C. Douglas Hodges ,  Jemy Huang ,  Christopher Joseph Burrows ,  Svetlozar Keremidarski

发明人： Rahul Kumar ,  Joshua Shepard ,  Kevin Perry ,  Diane Melde ,  Izydor Gryko ,  C. Douglas Hodges ,  Jemy Huang ,  Christopher Joseph Burrows ,  Svetlozar Keremidarski

IPC分类号： G06F9/44

CPC分类号： G06F8/36 ,  G06F9/4492

摘要： An extensible project system for software development is provided by allowing a flavor, with a specific purpose, to be applied to a base project system. More than one flavor may be applied. Where components are distributed objects, such as where COM (component object model) is used, the project system is assembled by aggregation of a base project object, which contains some data for creating a project system with a flavor object, which modifies the project system. The base project object is the participating object in the aggregation and the flavor object is the controlling object. Multiple flavors may be applied to create a project system intended for multiple purposes, corresponding to the applied flavors.

摘要翻译： 通过允许具有特定目的的风味应用于基础项目系统来提供用于软件开发的可扩展项目系统。 可以应用多种风味。 在组件是分布式对象（如使用COM（组件对象模型）的位置）的情况下，通过聚合基础项目对象来组合项目系统，该基础项目对象包含用于创建具有flavor对象的项目系统的一些数据，该对象修改项目系统 。 基础项目对象是聚合中的参与对象，flavor对象是控制对象。 可以应用多种风味来创建旨在用于多种目的的项目系统，对应于所应用的风味。

公开(公告)号：US20060271910A1

公开(公告)日：2006-11-30

申请号：US11139816

申请日：2005-05-27

申请人： Aaron Burcham ,  Paul Harrington ,  C. Hodges ,  Rahul Kumar ,  James Lau ,  Timothy Sullivan ,  Jason Weber

发明人： Aaron Burcham ,  Paul Harrington ,  C. Hodges ,  Rahul Kumar ,  James Lau ,  Timothy Sullivan ,  Jason Weber

IPC分类号： G06F9/44

CPC分类号： G06F9/44505

摘要： Systems and methods for applying both profile and user customizations to an application user interface are provided. Profile customizations, created for a specialized use or field, are adapted to an application user interface, which has command-menu-toolbar contributions from various add-in modules. The user has access to the customizations through a user interface. Then, as a user is customizing the application, through commands, toolbars, and menus, the user customizations are tagged. A priority and group is assigned to each customization to allow for relative positioning of each customization. The difference between the user's final desired state and a reset state is computed. This difference computation is used to track the changes made to the application and to assist in resets of the customizations.

摘要翻译： 提供了将配置文件和用户定制应用于应用程序用户界面的系统和方法。 为专门用途或字段创建的配置文件自定义适用于具有各种加载项模块的命令菜单工具栏贡献的应用程序用户界面。 用户可以通过用户界面访问自定义。 然后，作为用户定制应用程序，通过命令，工具栏和菜单，用户自定义被标记。 优先级和组被分配给每个定制，以允许每个定制的相对定位。 计算用户的最终期望状态与复位状态之间的差异。 该差异计算用于跟踪对应用程序所做的更改，并协助重新设置自定义项。

公开(公告)号：US20060074929A1

公开(公告)日：2006-04-06

申请号：US10955036

申请日：2004-09-30

申请人： Jason Weber ,  Chris McGuire ,  Janet Caler ,  Rahul Kumar ,  Karl Melder

发明人： Jason Weber ,  Chris McGuire ,  Janet Caler ,  Rahul Kumar ,  Karl Melder

IPC分类号： G06F7/00

CPC分类号： G06F16/10

摘要： Disclosed is a unique system and method that facilitates more efficient navigation and viewing of multiple open objects such as files, documents, pages, sheets, etc. The systems and methods make use of a navigation bar or tab channel. The tab channel can comprise a shifting region and optionally, a static region—the static region being positioned to the left of the shifting region. As files are opened, for example, the file name is appended to the left side of the tab channel. When another file is opened, it is appended to the left side of the tab channel, thus pushing the first file to the right. This proceeds so that the most relevant files are viewable in the tab channel. An on-screen menu is also maintained that includes all open files in an ordered manner. Thus, a file name no longer on the tab channel can be accessed from the menu—and then reinserted into the tab channel if viewing of its contents is desired.

摘要翻译： 公开了一种独特的系统和方法，其有助于更有效地导航和查看多个打开的对象，例如文件，文档，页面，工作表等。系统和方法利用导航栏或制表符通道。 突片通道可以包括移动区域和可选地的静态区域 - 静态区域位于移动区域的左侧。 例如，当打开文件时，将文件名附加到标签通道的左侧。 当另一个文件被打开时，它被附加到标签通道的左侧，从而将第一个文件向右推。 这样可以在选项卡通道中查看最相关的文件。 还保留了一个屏幕菜单，其中包含所有打开的文件以有序的方式。 因此，可以从菜单中访问不再在标签通道上的文件名，然后如果需要查看其内容，则重新插入到标签通道中。

公开(公告)号：US06375782B1

公开(公告)日：2002-04-23

申请号：US09173102

申请日：1998-10-15

申请人： Joginder Kumar ,  Amit Kumar ,  Rahul Kumar

发明人： Joginder Kumar ,  Amit Kumar ,  Rahul Kumar

IPC分类号： B44C117

CPC分类号： B44D3/18 ,  B05D5/06 ,  B05D2202/15 ,  B41M3/12 ,  B44C1/00 ,  B44C1/1712 ,  B44C1/1716 ,  Y10S428/914

摘要： A process for making a decorative steel article includes the steps of providing a stainless steel preform, washing the preform, coating a surface of the preform, and transferring step involves securing a transfer foil with the decorative pattern to the coated surface, heating the transfer foil and preform, and removing the transfer foil while leaving the decorative pattern on the coated surface.

摘要翻译： 一种制造装饰钢制品的方法包括以下步骤：提供不锈钢预成型件，冲洗预成型件，涂覆预成型件的表面，以及转印步骤包括将具有装饰图案的转印箔固定到涂布表面，加热转印箔 并预成型，并且在将装饰图案留在涂布表面上的同时去除转印箔。

公开(公告)号：US10295404B2

公开(公告)日：2019-05-21

申请号：US15662322

申请日：2017-07-28

申请人： Joshua David Freeman ,  Rahul Kumar ,  Krishnashree Achuthan

发明人： Joshua David Freeman ,  Rahul Kumar ,  Krishnashree Achuthan

IPC分类号： G01J1/42 ,  G01S3/786 ,  G01J1/02 ,  G01J1/04

摘要： A solar monitoring system for measuring solar radiation intensity comprising a tracking unit having two-axis movement comprising, an image capturing head mounted with first and second irradiation measuring units, and a controller. The first irradiation measuring unit comprises a direct normal irradiance (DNI) sensor and the second irradiation measuring unit includes a diffuse horizontal irradiance (DHI) sensor and a global horizontal irradiance (GHI) sensor. The controller receives inputs from the sensors or a software program configured to control orientation of the image capturing head so that the DNI sensor is always exposed to the sun, and the shading disc is always directly between the DHI sensor and the sun.

公开(公告)号：US20130239093A1

公开(公告)日：2013-09-12

申请号：US13415850

申请日：2012-03-09

申请人： Aditya V. Nori ,  Sriram K. Rajamani ,  Rahul Kumar ,  Aws Albarghouthi

发明人： Aditya V. Nori ,  Sriram K. Rajamani ,  Rahul Kumar ,  Aws Albarghouthi

IPC分类号： G06F9/44

CPC分类号： G06F9/44589

摘要： Technologies pertaining to top-down interprocedural analysis of a computer program are described herein. A query is received for processing over a root procedure in the computer program. Responsive to the query being received, the root procedure is explored, and calls to sub-procedures are located. Sub-queries are generated upon encountering the calls to the sub-procedures, and execution of the sub-queries is performed in parallel across multiple computing nodes.

摘要翻译： 本文描述了关于计算机程序的自顶向下过程间分析的技术。 接收到用于在计算机程序中的根过程进行处理的查询。 响应于正在接收的查询，探索根程序，并调用子程序。 子查询是在遇到对子程序的调用时生成的，子查询的执行在多个计算节点之间并行执行。

公开(公告)号：US08005786B2

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

申请号：US11903138

申请日：2007-09-20

申请人： Karvell Li ,  Jamie Marconi ,  Rahul Kumar ,  Miriam Borkenhagen ,  David Law ,  Gilbert McQuillan

发明人： Karvell Li ,  Jamie Marconi ,  Rahul Kumar ,  Miriam Borkenhagen ,  David Law ,  Gilbert McQuillan

IPC分类号： G06F7/00

CPC分类号： G06F17/30861 ,  G06Q10/10

摘要： Devising a centralized usage database for tracking and recording the usage of various services by various users may be difficult for several reasons, including the volume of data generated by each user in interacting with each service. Techniques are disclosed for streamlining usage data transmitted between the services, the users, and the usage database, such as by redistributing a portion of the computational burden to the users, and by characterizing the usage data based on the role of each user in interacting with each service. Additional techniques are disclosed for caching and authenticating the usage data, and for improving the response rate in the interaction of the usage database with users in order to provide a better user experience.

摘要翻译： 设计用于跟踪和记录各种用户的各种服务的使用的集中使用数据库可能由于几个原因而困难，包括每个用户在与每个服务交互时产生的数据量。 公开了用于简化在服务，用户和使用数据库之间传输的使用数据的技术，例如通过将一部分计算负担重新分配给用户，以及通过基于每个用户与 每个服务。 公开了用于缓存和认证使用数据的附加技术，并且用于提高使用数据库与用户的交互中的响应速率，以便提供更好的用户体验。

公开(公告)号：US20110088016A1

公开(公告)日：2011-04-14

申请号：US12576253

申请日：2009-10-09

申请人： Thomas J. Ball ,  Eleonora O. Bounimova ,  Vladimir A. Levin ,  Rahul Kumar

发明人： Thomas J. Ball ,  Eleonora O. Bounimova ,  Vladimir A. Levin ,  Rahul Kumar

IPC分类号： G06F9/44

CPC分类号： G06F8/43

摘要： An analysis engine is described for performing static analysis using CEGAR loop functionality, using a combination of forward and backward validation-phase trace analyses. The analysis engine includes a number of features. For example: (1) the analysis engine can operate on blocks of program statements of different adjustable sizes; (2) the analysis engine can identify a subtrace of the trace and perform analysis on that subtrace (rather than the full trace); (3) the analysis engine can form a pyramid of state conditions and extract predicates based on the pyramid and/or from auxiliary source(s); (4) the analysis engine can generate predicates using an increasingly-aggressive series of available discovery techniques; (5) the analysis engine can selectively concretize procedure calls associated with the trace on an as-needed basis and perform other refinements; and (6) the analysis engine can add additional verification targets in the course of its analysis, etc.

摘要翻译： 描述了使用CEGAR环路功能执行静态分析的分析引擎，使用正向和反向验证相位跟踪分析的组合。 分析引擎包括许多功能。 例如：（1）分析引擎可以对不同可调整大小的程序语句块进行操作; （2）分析引擎可以识别跟踪的子跟踪，并对该子跟踪执行分析（而不是完整跟踪）; （3）分析引擎可以形成状态条件的金字塔，并且基于金字塔和/或辅助来源提取谓词; （4）分析引擎可以使用越来越多的可用发现技术来生成谓词; （5）分析引擎可以根据需要选择性地实现与跟踪关联的过程调用，并执行其他改进; 和（6）分析引擎可以在其分析过程中添加额外的验证目标等。

公开(公告)号：US20090083272A1

公开(公告)日：2009-03-26

申请号：US11903138

申请日：2007-09-20

申请人： Karvell Li ,  Jamie Marconi ,  Rahul Kumar ,  Miriam Borkenhagen ,  David Law ,  Gilbert McQuillan

发明人： Karvell Li ,  Jamie Marconi ,  Rahul Kumar ,  Miriam Borkenhagen ,  David Law ,  Gilbert McQuillan

IPC分类号： G06F17/30

CPC分类号： G06F17/30861 ,  G06Q10/10

摘要： Devising a centralized usage database for tracking and recording the usage of various services by various users may be difficult for several reasons, including the volume of data generated by each user in interacting with each service. Techniques are disclosed for streamlining usage data transmitted between the services, the users, and the usage database, such as by redistributing a portion of the computational burden to the users, and by characterizing the usage data based on the role of each user in interacting with each service. Additional techniques are disclosed for caching and authenticating the usage data, and for improving the response rate in the interaction of the usage database with users in order to provide a better user experience.

摘要翻译： 设计用于跟踪和记录各种用户的各种服务的使用的集中使用数据库可能由于几个原因而困难，包括每个用户在与每个服务交互时产生的数据量。 公开了用于简化在服务，用户和使用数据库之间传输的使用数据的技术，例如通过将一部分计算负担重新分配给用户，以及通过基于每个用户与 每个服务。 公开了用于缓存和认证使用数据的附加技术，并且用于提高使用数据库与用户的交互中的响应速率，以便提供更好的用户体验。