利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

16 条记录 (耗时 0.02 秒)

    Use of histone deacetylase inhibitors in changing MRJP3 protein in royal jelly
    1.
    发明授权
    Use of histone deacetylase inhibitors in changing MRJP3 protein in royal jelly 有权
    使用组蛋白脱乙酰酶抑制剂改变皇家果冻中的MRJP3蛋白

    公开(公告)号：US08784873B2

    公开(公告)日：2014-07-22

    申请号：US12507545

    申请日：2009-07-22

    申请人： Chung-Yang Huang ,  Chia-Nan Chen ,  Wei-Jung Chen ,  Wei-Jan Huang ,  Li-Ling Chi

    发明人： Chung-Yang Huang ,  Chia-Nan Chen ,  Wei-Jung Chen ,  Wei-Jan Huang ,  Li-Ling Chi

    IPC分类号： A23K1/165 ,  A61K31/352

    CPC分类号： A61K31/353 ,  A01K53/00 ,  A61K31/185 ,  A61K35/644 ,  Y02P20/582

    摘要： The invention provides a method of changing a ratio of 68 to 64 kDa protein of MRJP3 in a royal jelly, a method of producing a royal jelly comprising MRJP3 having a changed ratio of 68 to 64 kDa protein relative to a control royal jelly and the royal jelly produced thereform. Also provided is a method of promoting the growth of the larva of a queen bee comprising feeding the larva of the queen bee a royal jelly of the invention. Further provided is a method of producing bee larva, pupa and queen bees with sizes larger than normal.

    摘要翻译： 本发明提供了改变皇家果冻中MRJP3的68至64kDa蛋白的比例的方法，包括相对于对照蜂王浆和皇室的具有68至64kDa蛋白质变化比例的MRJP3的蜂王浆的生产方法 果冻生产。 还提供了促进雌蜂的幼虫生长的方法，包括将本发明的蜂王浆的雌蜂喂给蜂王浆。 还提供了一种生产尺寸大于正常的蜜蜂幼虫，蛹和雌蜂的方法。

    Non-assignable signal support during formal verification of circuit designs
    3.
    发明授权
    Non-assignable signal support during formal verification of circuit designs 有权
    电路设计形式验证期间不可分配的信号支持

    公开(公告)号：US06618841B1

    公开(公告)日：2003-09-09

    申请号：US09990135

    申请日：2001-11-20

    申请人： Chung-Yang Huang

    发明人： Chung-Yang Huang

    IPC分类号： G06F1750

    CPC分类号： G06F17/504

    摘要： A method for supporting non-assignable signals during formal verification of a circuit design includes providing a propagation logic for non-assignable signals and identifying a relevant cone in a circuit design, where the relevant cone determined by a property to verify. The method also includes designating one or more signals in the circuit design as non-assignable signals and propagating within the relevant cone any of the designated one or more non-assignable signals using the propagation logic for non-assignable signals. The method further includes ensuring, if a counter-example disproving the property exists, that the counter-example does not comprise any of the one or more designated non-assignable signals. A formal verification system that supports the designation of non-assignable signals comprises a non-assignable signal truth table and a proof engine. The non-assignable signal truth table specifies a propagation logic for non-assignable signals. The proof engine is coupled to the non-assignable truth table, and is operable to determine a property to verify in a circuit. The proof engine is also operable to identify a relevant cone in the design circuit based on the property, where the relevant cone comprises a plurality of signals. The proof engine is further operable to designate one or more signals as non-assignable and propagate the non-assignable signals using the propagation logic from the non-assignable signal truth table, and ignore the non-assignable signals in generating any counter-example.

    摘要翻译： 一种用于在电路设计的形式验证期间支持不可分配信号的方法包括提供用于不可分配信号的传播逻辑，以及在电路设计中识别相关锥体，其中相关锥体由属性确定以进行验证。 该方法还包括将电路设计中的一个或多个信号指定为不可分配信号，并使用不可分配信号的传播逻辑在相关锥度内传播任何指定的一个或多个不可分配信号。 该方法进一步包括确保如果存在拒绝该属性的反例，则该对比示例不包括一个或多个指定的不可分配信号中的任何一个。 支持指定不可分配信号的形式验证系统包括不可分配的信号真值表和证明引擎。 不可分配信号真值表指定不可分配信号的传播逻辑。 证明引擎耦合到不可分配的真值表，并且可操作以确定在电路中验证的属性。 证明引擎还可操作以基于属性识别设计电路中的相关锥体，其中相关锥体包括多个信号。 证明引擎还可操作以将一个或多个信号指定为不可分配的，并使用来自不可分配信号真值表的传播逻辑传播不可分配信号，并且在生成任何反例时忽略不可分配信号。

    Compound for promoting the growth of neural cells
    5.
    发明授权
    Compound for promoting the growth of neural cells 有权
    用于促进神经细胞生长的化合物

    公开(公告)号：US07585892B2

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

    申请号：US11393619

    申请日：2006-03-30

    申请人： Chung-Yang Huang ,  Chia-Nan Chen ,  Wan-Zo Ho

    发明人： Chung-Yang Huang ,  Chia-Nan Chen ,  Wan-Zo Ho

    IPC分类号： A61K31/353

    CPC分类号： C07D311/32 ,  A61K31/353 ,  C07D311/22

    摘要： Disclosed is a compound capable of promoting the growth and development of neurons, the proliferation of neural stem cells and inducing the neural stem cells to differentiate into neurons, which is represented by a general formula as (I). The compound of the present invention can increase the survival rate of neural cells even at a low cellular density in a culture medium. The compound of the present invention can also promote the growth of neurons, which is revealed by the increase in the thickness, length and number of branches in the neurites (neural fibers). In addition, the compound of the present invention can be used to promote the development of neural stem cells and induce them to differentiate into neurons.

    摘要翻译： 公开了能够促进神经元生长发育，神经干细胞增殖和诱导神经干细胞分化为神经元的化合物，其由通式（I）表示。 本发明的化合物即使在培养基中的细胞密度低的情况下也能增加神经细胞的存活率。 本发明的化合物还可以促进神经元的生长，这通过神经突（神经纤维）的分支的厚度，长度和数量的增加而揭示。 此外，本发明的化合物可用于促进神经干细胞的发育并诱导它们分化为神经元。

    Compound for promoting the growth of neural cells
    6.
    发明申请
    Compound for promoting the growth of neural cells 有权
    用于促进神经细胞生长的化合物

    公开(公告)号：US20070232534A1

    公开(公告)日：2007-10-04

    申请号：US11393619

    申请日：2006-03-30

    申请人： Chung-Yang Huang ,  Chia-Nan Chen ,  Wan-Zo Ho

    发明人： Chung-Yang Huang ,  Chia-Nan Chen ,  Wan-Zo Ho

    IPC分类号： A61K38/18 ,  A61K31/353 ,  C07D311/22

    CPC分类号： C07D311/32 ,  A61K31/353 ,  C07D311/22

    摘要： Disclosed is a compound capable of promoting the growth and development of neurons, the proliferation of neural stem cells and inducing the neural stem cells to differentiate into neurons, which is represented by a general formula as (I). The compound of the present invention can increase the survival rate of neural cells even at a low cellular density in a culture medium. The compound of the present invention can also promote the growth of neurons, which is revealed by the increase in the thickness, length and number of branches in the neurites (neural fibers). In addition, the compound of the present invention can be used to promote the development of neural stem cells and induce them to differentiate into neurons.

    摘要翻译： 公开了能够促进神经元生长发育，神经干细胞增殖和诱导神经干细胞分化为神经元的化合物，其由通式（I）表示。 本发明的化合物即使在培养基中的细胞密度低的情况下也能增加神经细胞的存活率。 本发明的化合物还可以促进神经元的生长，这通过神经突（神经纤维）的分支的厚度，长度和数量的增加而揭示。 此外，本发明的化合物可用于促进神经干细胞的发育并诱导它们分化为神经元。

    Solving constraint satisfiability problem for circuit designs
    7.
    发明授权
    Solving constraint satisfiability problem for circuit designs 有权
    解决电路设计的约束可满足性问题

    公开(公告)号：US07073143B1

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

    申请号：US10029596

    申请日：2001-10-24

    申请人： Chung-Yang Huang

    发明人： Chung-Yang Huang

    IPC分类号： G06F17/50

    CPC分类号： G06F17/504

    摘要： A method for generating a test vector for functional verification of circuits includes providing a representation of a circuit, where the representation includes a control logic component and a datapath logic component. The method also includes reading one or more vector generation targets, and performing word-level ATPG justification on the control logic component to obtain a control logic solution. The method further includes extracting one or more arithmetic functions for the datapath logic component based on the control logic solution, and solving the one or more arithmetic functions using a modular constraint solver. The modular constraint solver is based on a modular number system.

    摘要翻译： 用于生成用于电路的功能验证的测试向量的方法包括提供电路的表示，其中所述表示包括控制逻辑组件和数据路径逻辑组件。 该方法还包括读取一个或多个向量生成目标，以及在控制逻辑组件上执行字级ATPG对齐以获得控制逻辑解。 所述方法还包括基于所述控制逻辑解，提取所述数据路径逻辑组件的一个或多个算术函数，以及使用模块约束求解器求解所述一个或多个算术函数。 模块化约束求解器基于模块化数字系统。

    COMPOUNDS FOR THE INHIBITION OF HISTONE DEACETYLASE
    8.
    发明申请
    COMPOUNDS FOR THE INHIBITION OF HISTONE DEACETYLASE 有权
    用于抑制HISTONE脱乙酰壳多糖的化合物

    公开(公告)号：US20090076130A1

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

    申请号：US11855416

    申请日：2007-09-14

    申请人： Chung-Yang Huang ,  Chia-Nan Chen ,  Wei-Jan Huang ,  Chih-Hsiang Huang ,  Li-Ling Chi ,  Chiou-Ping You

    发明人： Chung-Yang Huang ,  Chia-Nan Chen ,  Wei-Jan Huang ,  Chih-Hsiang Huang ,  Li-Ling Chi ,  Chiou-Ping You

    IPC分类号： A61K31/353 ,  A61P25/28 ,  C07D311/32 ,  A61P35/00

    CPC分类号： C07D311/32

    摘要： The invention relates to a compound represented by the following formula (I): and pharmaceutically acceptable salts, stereoisomers, enantiomers, prodrugs and solvates thereof. The compounds are useful as an agent for enhancing the neurite outgrowth and preventing or treating of diseases associated with HDAC in particular, tumor or cell proliferative diseases. In particular, the compounds of the invention can be used as an agent for anti-neurodegenerative diseases and human spinal muscular atrophy (SMA).

    摘要翻译： 本发明涉及由下式（I）表示的化合物及其药学上可接受的盐，立体异构体，对映异构体，前药和溶剂合物。 该化合物可用作增强神经突生长和预防或治疗与HDAC相关的疾病，特别是肿瘤或细胞增殖性疾病的药剂。 特别地，本发明的化合物可用作抗神经变性疾病和人脊髓性肌萎缩（SMA）的药剂。

    Compounds for the inhibition of histone deacetylase
    9.
    发明授权
    Compounds for the inhibition of histone deacetylase 有权
    用于抑制组蛋白脱乙酰酶的化合物

    公开(公告)号：US08008344B2

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

    申请号：US11855416

    申请日：2007-09-14

    申请人： Chung-Yang Huang ,  Chia-Nan Chen ,  Wei-Jan Huang ,  Chih-Hsiang Huang ,  Li-Ling Chi ,  Chiou-Ping You

    发明人： Chung-Yang Huang ,  Chia-Nan Chen ,  Wei-Jan Huang ,  Chih-Hsiang Huang ,  Li-Ling Chi ,  Chiou-Ping You

    IPC分类号： A61K31/352 ,  C07D311/32

    CPC分类号： C07D311/32

    摘要： The invention relates to a compound represented by the following formula (I): and pharmaceutically acceptable salts, stereoisomers, enantiomers, prodrugs and solvates thereof. The compounds are useful as an agent for enhancing the neurite outgrowth and preventing or treating of diseases associated with HDAC in particular, tumor or cell proliferative diseases. In particular, the compounds of the invention can be used as an agent for anti-neurodegenerative diseases and human spinal muscular atrophy (SMA).

    摘要翻译： 本发明涉及由下式（I）表示的化合物及其药学上可接受的盐，立体异构体，对映异构体，前药和溶剂合物。 该化合物可用作增强神经突生长和预防或治疗与HDAC相关的疾病，特别是肿瘤或细胞增殖性疾病的药剂。 特别地，本发明的化合物可用作抗神经变性疾病和人脊髓性肌萎缩（SMA）的药剂。