公开(公告)号：US20110166980A1

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

申请号：US12749756

申请日：2010-03-30

Applicant: Andris UMBLIJS ,  Janmesh Dev SRIVASTAVA ,  Rahul MAHAJAN ,  Prarthna Agarwal GOEL ,  Varun RASTOGI ,  Chao Wang

Inventor： Andris UMBLIJS ,  Janmesh Dev SRIVASTAVA ,  Rahul MAHAJAN ,  Prarthna Agarwal GOEL ,  Varun RASTOGI ,  Chao Wang

IPC: G06Q10/00 ,  G06F3/048 ,  G06Q40/00

CPC classification number: G06Q30/02 ,  G06Q10/063 ,  G06Q40/00

Abstract: A hierarchal view preserving relationships between data is generated by storing information related to sales and investment. The information includes dimensions and each of the dimensions includes a level and each of the levels is described by variables. Relationships between the variables are also stored. A request for a hierarchy is received. The requested hierarchy includes a set of dimensions from the stored dimensions, a level for each dimension in the set, and a sequence of the dimensions or levels in the hierarchy. A computer system calculates values for the variables in the levels for the requested hierarchy using the stored relationships that are applicable to the variables in the levels. A view of the hierarchy is generated and includes the calculated values. The view also includes the dimensions or levels of the requested hierarchy in the sequence specified for the requested hierarchy.

Abstract translation: 通过存储与销售和投资相关的信息来生成保持数据之间的关系的层次视图。 信息包括维度，每个维度包括一个级别，每个级别都由变量描述。 变量之间的关系也被存储。 接收到对层次结构的请求。 所请求的层次结构包括来自存储维度的维度集合，集合中每个维度的级别以及层次结构中维度或级别的顺序。 计算机系统使用适用于级别中的变量的存储关系来计算所请求层级的级别中的变量的值。 生成层次结构的视图，并包含计算值。 该视图还包括为所请求的层次结构指定的序列中请求的层次结构的维度或级别。

公开(公告)号：US20100305919A1

公开(公告)日：2010-12-02

申请号：US12753239

申请日：2010-04-02

Applicant: MALAY K. GANAI ,  Chao Wang ,  Weihong Li

Inventor： MALAY K. GANAI ,  Chao Wang ,  Weihong Li

IPC: G06F17/10

CPC classification number: G06F11/3608

Abstract: A method for symbolic model checking for sequential systems using a combination of state-based and state-less approaches. A state-based method is used to compute frontier states by building transition relations on-the-fly using control flow information of the system, and performing successive image computations until a memory bound is reached, and efficiently storing only the new frontier states as disjunctive partitions of Boolean and Arithmetic expressions. A stateless method is used to check reachability of given goal states from a heuristically chosen set of frontier states until depth/time bound is reached. These two methods are alternated until one of the following occurs: all frontier states are explored, all goal states are reached, all computing resources are exhausted. Even though we do not store the entire reachable state set, we guarantee a complete coverage for terminating programs without the need to compute a fixed-point.

Abstract translation: 使用基于状态和无状态方法的组合的顺序系统的符号模型检查的方法。 基于状态的方法用于通过使用系统的控制流信息在运行中构建过渡关系来计算边界状态，并且执行连续的图像计算，直到达到记忆界限，并且仅有效地将新的边界状态存储为分离 分布布尔和算术表达式。 使用无状态方法来检查来自启发式选择的边界状态集合的给定目标状态的可达性，直到达到深度/时间界限。 这两种方法是交替的，直到发生以下情况之一：探索所有前沿状态，达到所有目标状态，所有计算资源都已用尽。 即使我们不存储整个可达到的状态集，我们保证对终止程序的完整覆盖，而不需要计算定点。

公开(公告)号：US20100237259A1

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

申请号：US12729900

申请日：2010-03-23

Applicant: Chao Wang

Inventor： Chao Wang

IPC: A61N5/00 ,  A61B5/055

CPC classification number: A61N5/1084 ,  A61N5/1049 ,  A61N5/1067 ,  A61N2005/1061

Abstract: A method and device for image guided dynamic radiation treatment of prostate cancer and other pelvic lesions including: 1) a unique fan geometry of radiation sources; 2) a special collimation method and apparatus to sculpt the radiation borders; 3) an integrated three-dimensional imager and a special tissue interface imaging system to locate and track critical boundaries in real-time; 4) a dynamic patient support system, which is shared by the said imager and the irradiation system; and 5) motorized custom shielding filters to further protect neighboring normal tissues such as the kidneys and femoral heads. The fan geometry utilizes a plural number of radiation sources arranged specifically for irradiating tumors in the human pelvis while not harming critical structures, and the collimation sculpts the radiation borders using motorized shields for different sensitive structures. This allows high doses of radiation to be delivered to lesions within the human pelvis, such as the prostate, while sparing its surrounding structures, such as the rectum and bladder, as well as the urethra that is contained inside the prostate.

Abstract translation: 图像引导动态放射治疗前列腺癌和其他盆腔病变的方法和装置，包括：1）辐射源独特的风扇几何形状; 2）制作辐射边界的特殊准直方法和装置; 3）一体化三维成像仪和特殊的组织界面成像系统，实时定位和跟踪关键边界; 4）由所述成像器和照射系统共享的动态患者支撑系统; 和5）机动定制屏蔽过滤器，以进一步保护邻近的正常组织，如肾脏和股骨头。 风扇几何利用多个辐射源，其特别用于照射人体骨盆中的肿瘤，同时不损害关键结构，并且准直使用用于不同敏感结构的机动屏蔽来雕刻辐射边界。 这允许高剂量的辐射被输送到人类骨盆（例如前列腺）内的损伤，同时保留其周围的结构，例如直肠和膀胱，以及包含在前列腺内的尿道。

公开(公告)号：US07636098B2

公开(公告)日：2009-12-22

申请号：US11536513

申请日：2006-09-28

Applicant: Qiong Yang ,  Chao Wang ,  Xiaoou Tang ,  Zhongfu Ye

Inventor： Qiong Yang ,  Chao Wang ,  Xiaoou Tang ,  Zhongfu Ye

IPC: G09G5/00

CPC classification number: G06T5/50 ,  G06T2207/20221

Abstract: Salience-preserving image fusion is described. In one aspect, multi-channel images are fused into a single image. The fusing operations are based on importance-weighted gradients. The importance weighted gradients are measured using respective salience maps for each channel in the multi-channel images.

Abstract translation: 描述了保守的图像融合。 在一个方面，多通道图像被融合成单个图像。 定影操作基于重要度加权梯度。 重要度加权梯度是使用多通道图像中每个通道的各个显着性图来测量的。

公开(公告)号：US20090222249A1

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

申请号：US12395955

申请日：2009-03-02

Applicant: Chao Wang ,  Fang Yu ,  Aarti Gupta

Inventor： Chao Wang ,  Fang Yu ,  Aarti Gupta

IPC: G06F17/50

CPC classification number: G06F11/3608

Abstract: A system and method for verifying a composition of interacting services in a distributed system includes generating a concurrent process graph (CPG) for processes in a system and symbolically encoding the CPG of each process to perform a reachability analysis. Symbolic summaries are generated for concurrently running processes based on the reachability analysis. Modular verification is conducted by utilizing the symbolic summaries of the processes to verify a system of interrelated processes.

Abstract translation: 用于验证分布式系统中的交互服务的组合的系统和方法包括为系统中的进程生成并行进程图（CPG），并对每个进程的CPG进行符号编码以执行可达性分析。 基于可达性分析，为同时运行的进程生成符号摘要。 通过利用过程的符号摘要来验证相关过程的系统来进行模块化验证。

公开(公告)号：US20090094992A1

公开(公告)日：2009-04-16

申请号：US11869810

申请日：2007-10-10

Applicant: Chao Wang

Inventor： Chao Wang

IPC: F25B9/14

CPC classification number: F25B9/10 ,  F25B9/14 ,  F25B2400/17 ,  F25B2500/27 ,  F25J1/0007 ,  F25J1/0225 ,  F25J1/0276 ,  F25J2270/91

Abstract: A cryocooler for liquefying gas in which the neck of the dewar or cryostat includes a cold end of a cryocooler with the first stage cooling station, the first stage regenerator, the second stage cooling station, the second stage regenerator, and a condenser thermally coupled to the second cooling station. Radiation baffles are also present within the neck portion of the dewar between the storage portion for the dewar and the condenser, such that when the cryocooler is turned off, the radiation baffles reduce heat radiation on the cryogen in the storage section of the dewar.

Abstract translation: 用于液化气体的低温冷却器，其中杜瓦瓶或低温恒温器的颈部包括具有第一级冷却站的冷却器的冷端，第一级再生器，第二级冷却站，第二级再生器和冷凝器， 第二个冷却站。 辐射挡板也存在于杜瓦瓶的储存部分和冷凝器之间的杜瓦瓶的颈部内，使得当低温冷却器关闭时，辐射挡板减少杜瓦瓶的储存部分中的冷冻剂上的热辐射。

公开(公告)号：US20090089783A1

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

申请号：US12181665

申请日：2008-07-29

Applicant: Chao Wang ,  Zijiang Yang ,  Vineet Kahlon ,  Aarti Gupta

Inventor： Chao Wang ,  Zijiang Yang ,  Vineet Kahlon ,  Aarti Gupta

IPC: G06F9/46

CPC classification number: G06F9/44589 ,  G06F11/3608

Abstract: A system and method for conducting symbolic partial order reduction for concurrent systems includes determining a guarded independence relation which includes transitions from different threads that are independent for a set of states, when a condition or predicate holds. Partial order reduction is performed using the guarded independence relation to permit automatic pruning of redundant thread interleavings when the guarded independence condition holds.

Abstract translation: 用于对并发系统进行符号部分顺序减少的系统和方法包括：当条件或谓词成立时，确定包括对于一组状态是独立的不同线程的转移的被保护的独立关系。 当保护的独立性条件成立时，使用保护的独立关系执行部分顺序减少以允许冗余线程交织的自动修剪。

公开(公告)号：US20080136820A1

公开(公告)日：2008-06-12

申请号：US11897224

申请日：2007-08-29

Applicant: Qiong Yang ,  Chao Wang ,  Mo Chen ,  Xiaoou Tang ,  Zhongfu Ye

Inventor： Qiong Yang ,  Chao Wang ,  Mo Chen ,  Xiaoou Tang ,  Zhongfu Ye

IPC: G06T11/20 ,  G06F3/041

CPC classification number: G06F3/04845 ,  G06T7/11 ,  G06T7/162 ,  G06T7/194 ,  G06T11/60 ,  G06T2200/24 ,  G06T2207/20092

Abstract: Progressive cut interactive object segmentation is described. In one implementation, a system analyzes strokes input by the user during iterative image segmentation in order to model the user's intention for refining segmentation. In the user intention model, the color of each stroke indicates the user's expectation of pixel label change to foreground or background, the location of the stroke indicates the user's region of interest, and the position of the stroke relative to a previous segmentation boundary indicates a segmentation error that the user intends to refine. Overexpansion of pixel label change is controlled by penalizing change outside the user's region of interest while overshrinkage is controlled by modeling the image as an eroded graph. In each iteration, energy consisting of a color term, a contrast term, and a user intention term is minimized to obtain a segmentation map.

Abstract translation: 描述了渐进切割交互式对象分割。 在一个实现中，系统分析用户在迭代图像分割期间输入的笔画，以便模拟用户的细化细分意图。 在用户意图模型中，每个笔画的颜色表示用户对于前景或背景的像素标签变化的期望，笔画的位置指示用户感兴趣的区域，并且笔画相对于先前分割边界的位置指示 用户打算细化的分段错误。 像素标签变化的过度扩展是通过对用户感兴趣区域之外的变化进行惩罚来控制的，而通过将图像建模为受侵蚀图来控制超损耗。 在每次迭代中，将由颜色项，对比度项和用户意图项组成的能量最小化以获得分割图。

公开(公告)号：US20070044084A1

公开(公告)日：2007-02-22

申请号：US11367665

申请日：2006-03-03

Applicant: Chao Wang ,  Aarti Gupta ,  Zijiang Yang ,  Franjo Ivancic

Inventor： Chao Wang ,  Aarti Gupta ,  Zijiang Yang ,  Franjo Ivancic

IPC: G06F9/45 ,  G06F9/44

CPC classification number: G06F11/3608 ,  G06F17/504

Abstract: A symbolic disjunctive image computation method for software models which exploits a number of characteristics unique to software models. More particularly, and according to our inventive method, the entire software model is decomposed into a disjunctive set of submodules and a separate set of transition relations are constructed. An image/reachability analysis is performed wherein an original image computation is divided into a set of image computation steps that may be performed on individual submodules, independently from any others. Advantageously, our inventive method exploits variable locality during the decomposition of the original model into the submodules. By formulating this decomposition as a multi-way hypergraph partition problem, we advantageously produce a small set of submodules while simultaneously minimizing the number of live variable in each individual submodule. Our inventive method produces a set of disjunctive transition relations directly from the software model, without producing a conjunctive transition relation—as is necessary in the prior art. In addition, our inventive method exploits the exclusive use of live variables in addition to novel search strategies which provide still further benefit to our method.

Abstract translation: 用于软件模型的符号分离图像计算方法，其利用软件模型独特的许多特征。 更具体地，根据本发明的方法，整个软件模型被分解成一个分离的子模块集合，并且构建了一组单独的过渡关系。 执行图像/可达性分析，其中原始图像计算被划分为可以独立于任何其他方式对各个子模块执行的一组图像计算步骤。 有利地，本发明的方法在原始模型分解成子模块期间利用可变局部性。 通过将此分解形式作为多路超图分区问题，我们有利地产生一小组子模块，同时最小化每个子模块中的实时变量数量。 我们的创造性方法直接从软件模型产生一组分离过渡关系，而不产生结合过渡关系 - 这在现有技术中是必需的。 此外，除了新颖的搜索策略之外，我们的创造性方法还利用了实时变量的独家使用，这为我们的方法提供了更多的益处。

公开(公告)号：US07138491B2

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

申请号：US10680293

申请日：2003-10-08

Applicant: Shiqi Peng ,  Ming Zhao ,  Chao Wang ,  Yangfen Wu

Inventor： Shiqi Peng ,  Ming Zhao ,  Chao Wang ,  Yangfen Wu

IPC: A61K38/00

CPC classification number: C07K14/75 ,  A61K38/00

Abstract: The present invention relates to the protected intermediates and the deprotected products of P6A, related to the protected pseudopeptides introducing the protected intermediateds of P6A to 3S-(2-Boc)-1,2,3,4-tetrahydro-β-carboline-3-carboxylic acid and the deprotected pseudopeptides, related to the protected pseudopeptides introducing the protected intermediateds of P6A to 3S-1,2,3,4-tetrahydro-β-carboline-3-carboxylic acid benzyl ester, related to the methods for their preparation, and related to their use as the thrombolytic agents.

Abstract translation: 本发明涉及受保护的中间体和P6A的去保护产物，其与被保护的假肽相关，引入受保护的中间体P6A至3S-（2-Boc）-1,2,3,4-四氢-β-咔啉-3 羧酸和去保护的假肽，与保护的假肽相关，引入受保护的中间体P6A至3S-1,2,3,4-四氢-β-咔啉-3-羧酸苄酯，涉及其制备方法 ，并且与它们作为溶栓剂的用途有关。