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

11. 发明申请

US20100223584A1 Logic Design Verification Techniques for Liveness Checking With Retiming 有权
标题翻译：逻辑设计验证技术，用于重新定义活动检查
公开(公告)号：US20100223584A1
公开(公告)日：2010-09-02
申请号：US12394560
申请日：2009-02-27
申请人： Jason R. Baumgartner , Gabor Bobok , Paul Joseph Roessler , Mark Williams
发明人： Jason R. Baumgartner , Gabor Bobok , Paul Joseph Roessler , Mark Williams
IPC分类号： G06F17/50
CPC分类号： G06F17/5031 , G06F17/504 , G06F2217/84
摘要： A technique for verification of a retimed logic design using liveness checking includes assigning a liveness gate to a liveness property for an original netlist and assigning a fairness gate to a fairness constraint for the original netlist. In this case, the fairness gate is associated with the liveness gate and is asserted for at least one time-step during any valid behavioral loop associated with the liveness gate. The original netlist is retimed, using a retiming engine, to provide a retimed netlist. The liveness and fairness gates of the retimed netlist are retimed such that a lag of the fairness gate is no greater than a lag of the liveness gate. Verification analysis is then performed on the retimed netlist. Finally, when the verification analysis yields a valid counter-example trace for the retimed netlist, a liveness violation for the original netlist is returned.
摘要翻译：用于使用活动检查验证重新定时逻辑设计的技术包括将活跃门分配给原始网表的活动属性，并将公平门分配给原始网表的公平约束。在这种情况下，公平门与活跃门相关联，并且在与活跃门相关联的任何有效行为循环期间被断言至少一个时间步长。使用重新定时引擎重新计算原始网表，以提供重新定时的网表。重新定义的网表的活跃和公平的门被重新定位，使得公平门的滞后不大于活跃门的滞后。然后在重新定时的网表上进行验证分析。最后，当验证分析为重新定时的网表产生有效的对照示例时，返回原始网表的活动违反。

12. 发明授权

US07746999B2 Resource based queue management system and method 有权
标题翻译：基于资源的队列管理系统和方法
公开(公告)号：US07746999B2
公开(公告)日：2010-06-29
申请号：US11206723
申请日：2005-08-18
申请人： Mark Williams , James Pavlic
发明人： Mark Williams , James Pavlic
IPC分类号： H04M3/00
CPC分类号： H04M3/5231
摘要： A queue management system interfaces with a resource management system and a queuing system in an environment that further includes an interim system. The queue management system comprises an interface to the resource management system for obtaining resource availability data and a management system. The resource availability data represents a resource termination time—and may include the resource termination time or data useful for calculating the resource termination time. The control system: i) obtains a value representing the expected interim system handling time, and ii) makes the interim system available for handling a subject client only if the expected interim system handling time period terminates prior to the resource termination time. The control system transfers the subject client to the queuing system to hold while waiting for connection to a resource for handling upon determining that the resource termination time is scheduled to occur prior to termination of the expected interim system handling time period.
摘要翻译：队列管理系统与进一步包括临时系统的环境中的资源管理系统和排队系统相连接。队列管理系统包括到资源管理系统的接口，用于获取资源可用性数据和管理系统。资源可用性数据表示资源终止时间，并且可以包括资源终止时间或用于计算资源终止时间的数据。控制系统：i）获得表示期望的中间系统处理时间的值，以及ii）仅当预期的中间系统处理时间段在资源终止时间之前终止时，使临时系统可用于处理主题客户端。控制系统在确定在预期的中间系统处理时间段的终止之前调度资源终止时间发生时，将主体客户端传送到排队系统以等待连接到资源进行处理。

13. 发明申请

US20100009416A1 Process for the Preparation of L-Methionine 审中-公开
标题翻译： L-甲硫氨酸的制备方法
公开(公告)号：US20100009416A1
公开(公告)日：2010-01-14
申请号：US12301279
申请日：2007-05-24
申请人： Oskar Zelder , Andrea Herold , Corinna Klopprogge , Hartwig Schröder , Elmar Heinzle , Christoph Wittmann , Jens Kroemer , Janice Pero , Rogers Yocum , Thomas Patterson , Mark Williams , Theron Hermann
发明人： Oskar Zelder , Andrea Herold , Corinna Klopprogge , Hartwig Schröder , Elmar Heinzle , Christoph Wittmann , Jens Kroemer , Janice Pero , Rogers Yocum , Thomas Patterson , Mark Williams , Theron Hermann
IPC分类号： C12P13/12 , C12N1/21
CPC分类号： C12P13/12
摘要： The present invention relates to microorganisms and processes for the efficient preparation of L-methionine. In particular, the present invention relates to processes in which the amount of serine available for the metabolism of the microorganism is increased.
摘要翻译：本发明涉及用于L-甲硫氨酸有效制备的微生物和方法。特别地，本发明涉及其中可用于微生物代谢的丝氨酸量增加的方法。

14. 发明申请

US20090321857A1 SYSTEMS AND METHODS FOR REDUCED STRESS ANCHORS 有权
标题翻译：减少应力锚杆的系统和方法
公开(公告)号：US20090321857A1
公开(公告)日：2009-12-31
申请号：US12146014
申请日：2008-06-25
申请人： Michael Foster , Mark Williams , Mark Eskridge
发明人： Michael Foster , Mark Williams , Mark Eskridge
IPC分类号： H01L29/84 , H01L21/00
CPC分类号： H01L29/84 , B81B1/00 , B81B2201/0242 , B81B2203/0307 , B81B2207/07 , B81C1/00039 , G01C19/5719
摘要： Anchor systems and methods anchor components of a Micro-Electro-Mechanical Systems (MEMS) device to a substrate. An exemplary embodiment has a trace anchor bonded to a substrate, a device anchor bonded to the substrate, and an anchor flexure configured flexibly couple the trace anchor and the device anchor to substantially prevent transmission of a stress induced in the trace anchor from being transmitted to the device anchor.
摘要翻译：锚固系统和方法将微机电系统（MEMS）装置的部件锚定到基板上。示例性实施例具有结合到基底的迹线锚固件，结合到基底的装置锚固件和构造成可挠曲地连接轨迹锚和装置锚固件的锚固件挠曲件，以基本上防止在轨迹锚中感应的应力的传递被传递到设备锚点。

15. 发明申请

US20090117563A1 Identification of TRPML3 (MCOLN3) as a Salty Taste Receptor and Use in Assays for Identifying Taste (Salty) Modulators and/or Therapeutics that Modulate Sodium Transport, Absorption or Excretion and/or Aldosterone and/or Vasopressin Production or Release 审中-公开
标题翻译：鉴定TRPML3（MCOLN3）作为咸味受体并用于鉴定调味剂（咸）调节剂和/或调节钠输送，吸收或排泄和/或醛固酮和/或加压素生产或释放的治疗剂
公开(公告)号：US20090117563A1
公开(公告)日：2009-05-07
申请号：US12134390
申请日：2008-06-06
申请人： Bryan Moyer , Albert Zlotnik , Peter Hevezi , Hortensia Soto , Dalia Kalabat , Min Lu , Na Gao , Evan Carl White , Guy Servant , Paul Brust , Mark Williams
发明人： Bryan Moyer , Albert Zlotnik , Peter Hevezi , Hortensia Soto , Dalia Kalabat , Min Lu , Na Gao , Evan Carl White , Guy Servant , Paul Brust , Mark Williams
IPC分类号： C12Q1/68 , C12N5/00 , C07K14/705 , C12N5/06 , G01N33/53 , C12N1/21 , C12N1/19 , C12Q1/02
CPC分类号： C12Q1/6883 , C12Q2600/136 , C12Q2600/158 , C40B30/04 , C40B40/10 , G01N33/5044 , G01N33/566 , G01N33/6872 , G01N2333/726 , G01N2500/10
摘要： This invention relates to the elucidation that TRPML3 is involved in salty taste perception in primates including humans and likely other mammals (given the significance of sodium and other ions to physiological functions and conditions this phenotype is likely strongly conserved in different animals). The invention also relates to the discovery that the TRPML3 gene also modulates one or more of sodium metabolism, sodium excretion, blood pressure, fluid retention, cardiac function and urinary functions such as urine production and excretion. The invention also relates to transgenic animals that have been engineered to express or knock out TRPML3 expression and assays using TRPML3 expressing animals, cells and isolated ion channel polypeptides for identifying compounds that modulate TRPML3-associated functions including salty taste, sodium metabolism, sodium excretion, blood pressure, fluid retention, cardiac function and urinary functions such as urine production and excretion.
摘要翻译：本发明涉及TRPML3涉及包括人类和可能的其他哺乳动物在内的灵长类动物的咸味感知（给出钠和其它离子对生理功能和条件的重要性，该表型可能在不同动物中强烈保守）。本发明还涉及TRPML3基因还调节钠代谢，钠排泄，血压，流体保留，心脏功能和尿液功能如尿液产生和排泄中的一种或多种的发现。本发明还涉及用TRPML3表达动物，细胞和分离的离子通道多肽来表达或敲除TRPML3表达和测定的转基因动物，用于鉴定调节TRPML3相关功能的化合物，包括咸味，钠代谢，钠排泄，血压，液体滞留，心脏功能和尿液功能，如尿液产生和排泄。

16. 发明授权

US07523245B1 Compact ISA-bus interface 失效
公开(公告)号：US07523245B1
公开(公告)日：2009-04-21
申请号：US11466222
申请日：2006-08-22
申请人： Mark Williams , Sukalpa Biswas
发明人： Mark Williams , Sukalpa Biswas
IPC分类号： G06F13/00
CPC分类号： G06F13/4226 , G06F13/4027
摘要： An I/O interface, compatible with industry standards, for interfacing a host to a peripheral device. The interface includes a clock signal, a bus, an address latch enable signal, a peripheral device ready signal, a command signal, a device selected backoff signal, and a reset signal, resulting in an I/O interface capable of ISA-compatible operation with only 22 pins. Address, data, command, interrupt request, and DMA request information are communicated between the host and the peripheral device via a single bus by multiplexing the information on the bus using phasing techniques.

17. 发明申请

US20080096218A1 Polynucleotide Encoding a Maize Herbicide Resistance Gene and Methods for Use 有权
公开(公告)号：US20080096218A1
公开(公告)日：2008-04-24
申请号：US11964871
申请日：2007-12-27
申请人： Thao Dam , Anthony Guida , Christine Hazel , Bailin Li , Mark Williams
发明人： Thao Dam , Anthony Guida , Christine Hazel , Bailin Li , Mark Williams
IPC分类号： C12Q1/68 , G01N33/00 , G01N33/53
CPC分类号： C12N15/8278 , C12N15/8274
摘要： This invention relates to polynucleotide sequences encoding a gene that can confer resistance to at least one herbicide. It further relates to plants and seeds of plants carrying chimeric genes comprising said polynucleotide sequences, which enhance or confer resistance to at least one herbicide, and methods of making said plants and seeds. The invention further presents sequences that can be used as molecular markers that in turn can be used to identify the region of interest in corn lines resulting from new crosses and to quickly and efficiently select the best lines for breeding strategies by avoiding sensitive lines.

18. 发明授权

US07363607B2 Method of automatically routing nets according to parasitic constraint rules 有权
标题翻译：根据寄生约束规则自动布线网络的方法
公开(公告)号：US07363607B2
公开(公告)日：2008-04-22
申请号：US11164518
申请日：2005-11-28
申请人： Jeremy Birch , Mark Waller , Mark Williams , Graham Balsdon , Fumiaki Sato , Tim Parker
发明人： Jeremy Birch , Mark Waller , Mark Williams , Graham Balsdon , Fumiaki Sato , Tim Parker
IPC分类号： G06F17/50
CPC分类号： G06F17/5077
摘要： A system of automatically routing interconnect of a integrated circuit design while taking into consideration the parasitic issues of the wiring as it is created. The system will be able to select an appropriate wiring pattern so that signals meet their performance requirements.
摘要翻译：一种自动布线集成电路设计互连的系统，同时考虑到它所产生的布线的寄生问题。该系统将能够选择合适的布线图案，使信号满足其性能要求。

19. 发明申请

US20080024749A1 Low mass six degree of freedom stage for lithography tools 审中-公开
标题翻译：光刻工具的低质量六自由度阶段
公开(公告)号：US20080024749A1
公开(公告)日：2008-01-31
申请号：US11804734
申请日：2007-05-18
申请人： Mark Williams , Alton Phillips
发明人： Mark Williams , Alton Phillips
IPC分类号： G03B27/58 , G03B27/62 , H02K41/00
CPC分类号： H02K41/03 , G03F7/70716 , G03F7/70758 , H02K2201/18
摘要： A reticle or wafer stage mover with six degrees of freedom, a low mass coarse stage, and the ability to move an object in a scanning direction in a lithography tool. The mover includes a coarse stage and a fine stage configured to support the object and supported by the coarse stage. A set of actuators is provided to move the fine stage in six degrees of freedom. All of the actuators contribute to accelerating the object and the fine stage in the scanning direction. With all the actuators generating the necessary force to move the fine stage, a single large actuator to push the fine stage in the scanning direction is eliminated. The size or mass of the coarse stage is therefore reduced. All of the actuators are also capable of generating a second force in either the X or Z directions. The actuators therefore also enable the fine stage and the object it supports to be positioned in six degrees of freedom, as well as moved in the scanning direction.
摘要翻译：具有六个自由度，低质量粗糙阶段的光罩或晶片台移动器，以及在光刻工具中沿扫描方向移动物体的能力。动子包括一个粗略的阶段和一个精细的阶段，被配置成支撑物体并由粗糙的阶段支撑。提供一组致动器以使六个自由度的精细台阶移动。所有的执行器有助于在扫描方向上加速物体和细微的台阶。由于所有的致动器产生必要的力以移动细小的台阶，消除了在扫描方向上推动精细台阶的单个大型致动器。因此，粗级的尺寸或质量减小。所有致动器还能够在X或Z方向上产生第二力。因此，致动器也能使精细的台阶和它支撑的物体被定位在六自由度以及沿扫描方向移动。

20. 发明申请

US20070259354A1 OPTIMIZED TRPM8 NUCLEIC ACID SEQUENCES AND THEIR USE IN CELL BASED ASSAYS AND TEST KITS TO IDENTIFY TRPM8 MODULATORS 审中-公开
标题翻译：优化的TRPM8核酸序列及其在基于细胞的测定中的用途以及鉴定TRPM8调节剂的测试工具
公开(公告)号：US20070259354A1
公开(公告)日：2007-11-08
申请号：US11536394
申请日：2006-09-28
申请人： Guy Servant , Paul Brust , Bryan Moyer , Min Lu , Fernando Echeverri , David Dahan , Mark Zoller , Mark Williams , Rachel Kimmich , Poonit Kamdar , Tanya Ditschun , Andrew Patron
发明人： Guy Servant , Paul Brust , Bryan Moyer , Min Lu , Fernando Echeverri , David Dahan , Mark Zoller , Mark Williams , Rachel Kimmich , Poonit Kamdar , Tanya Ditschun , Andrew Patron
IPC分类号： C12Q1/68 , C07H21/02 , C07H21/04 , C12N15/85 , C12N5/10
CPC分类号： C07K14/705
摘要： Modified human TRPM8 nucleic acid sequences which are efficiently expressed in human cells and cell-based assays and test kits containing same are provided. These assays identify TRPM8 modulators using cells that express a modified human TRPM8 nucleic acid sequence according to the invention, wherein said sequence has been modified relative to a wild-type human TRPM8 nucleic acid sequence in order to optimize ion channel expression in desired cells. Assays using these modified TRPM8 sequences have been shown to identify compounds that modulate the human TRPM8 ion channel better or comparably to known coolants such as menthol and icilin.
摘要翻译：提供了在人细胞中有效表达的修饰的人TRPM8核酸序列和基于细胞的测定和含有其的测试试剂盒。这些测定使用表达根据本发明的修饰的人TRPM8核酸序列的细胞鉴定TRPM8调节剂，其中所述序列相对于野生型人类TRPM8核酸序列已被修饰，以优化所需细胞中的离子通道表达。已经显示使用这些修饰的TRPM8序列的测定来鉴定与已知的冷却剂如薄荷醇和icilin更好或相当地调节人类TRPM8离子通道的化合物。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式