公开(公告)号：US20100257494A1

公开(公告)日：2010-10-07

申请号：US12416232

申请日：2009-04-01

申请人： Travis W. Pouarz ,  Viresh Paruthi ,  Mark A. Williams

发明人： Travis W. Pouarz ,  Viresh Paruthi ,  Mark A. Williams

IPC分类号： G06F17/50

CPC分类号： G06F17/504

摘要： A method, a system and a computer program product for re-using verification results associated with a circuit design to eliminate a formal verification re-run associated with a subsequent verification of the circuit design. A Verification Data Re-use (VDR) utility initiates the creation of a first netlist data structure and a first set of target signatures for the circuit design. The VDR utility initiates an initial functional verification run of the circuit design and stores the results of the verification run. When a subsequent verification of the initial design is initiated, the VDR utility compares the first set of target signatures with a second set of target signatures for the subsequent verification run. A match of target signatures indicates that corresponding design targets have an identical functionality and the VDR utility re-uses verification results from the initial verification run to eliminate an extensive formal verification

摘要翻译： 一种用于重新使用与电路设计相关联的验证结果的方法，系统和计算机程序产品，以消除与电路设计的后续验证相关​​联的形式验证重新运行。 验证数据重用（VDR）实用程序启动为电路设计创建第一个网表数据结构和第一组目标签名。 VDR实用程序启动电路设计的初始功能验证运行，并存储验证运行的结果。 当启动初始设计的后续验证时，VDR实用程序将第一组目标签名与第二组目标签名进行比较，以用于后续验证运行。 目标签名的匹配表明相应的设计目标具有相同的功能，VDR实用程序重新使用初始验证运行的验证结果，以消除广泛的形式验证

公开(公告)号：US07445923B2

公开(公告)日：2008-11-04

申请号：US11542989

申请日：2006-10-03

申请人： Robert L. Houtz ,  David W. Rodgers ,  Lynette M. A. Dirk ,  Mark A. Williams

发明人： Robert L. Houtz ,  David W. Rodgers ,  Lynette M. A. Dirk ,  Mark A. Williams

IPC分类号： C12N9/78 ,  G01N31/00

CPC分类号： G01N33/573

摘要： This invention relates to the crystal structure of a plant peptide deformylase polypeptide and methods of using the structure to design compounds that modulate the activity of the polypeptide.

摘要翻译： 本发明涉及植物肽脱甲酰酶多肽的晶体结构以及使用该结构设计调节多肽活性的化合物的方法。

公开(公告)号：US20080242930A1

公开(公告)日：2008-10-02

申请号：US12057784

申请日：2008-03-28

申请人： Bryan T. Hanypsiak ,  Mark G. Frantz ,  Mark A. Williams ,  Joseph P. Frantz ,  Charles P. Chesnes ,  Paul L. Erickson ,  Stephanie A.S. Harrington ,  Jennifer S. Innamorato ,  Mark S. Goodin

发明人： Bryan T. Hanypsiak ,  Mark G. Frantz ,  Mark A. Williams ,  Joseph P. Frantz ,  Charles P. Chesnes ,  Paul L. Erickson ,  Stephanie A.S. Harrington ,  Jennifer S. Innamorato ,  Mark S. Goodin

IPC分类号： A61B1/00

CPC分类号： A61B17/3421 ,  A61B17/3474 ,  A61B2017/00991 ,  A61B2017/347 ,  A61B2017/3484 ,  A61B2017/3488 ,  A61M2025/0687

摘要： A medical device suitable for introducing a medical instrument into a patient includes an outer cannula and at least one arm connected to the cannula toward a proximal portion of the at least one arm. The at least one arm is deployable between a closed position and an open position. An inner member is telescopically received in the outer cannula to hold each arm in the closed position. The inner member is deployable to disengage from the arm after the device is inserted into a patient, thereby freeing the arm to be deployed to the open position where it helps hold the outer cannula in the patient. The inner member includes an inner cannula and/or a trocar.

摘要翻译： 适于将医疗器械引入患者的医疗装置包括外插管和连接到插管的至少一个臂，朝向至少一个臂的近端部分。 至少一个臂可以在关闭位置和打开位置之间展开。 内部构件可伸缩地容纳在外套管中以将每个臂保持在关闭位置。 在将装置插入到患者体内之后，内部构件可展开以与臂脱离，从而使臂释放到有助于将外套管保持在患者体内的打开位置。 内部构件包括内套管和/或套管针。

公开(公告)号：US20080092280A1

公开(公告)日：2008-04-24

申请号：US11522489

申请日：2006-09-14

申请人： Matthew A. Johnson ,  Mark A. Williams

发明人： Matthew A. Johnson ,  Mark A. Williams

IPC分类号： A41D13/00 ,  A41B7/00

CPC分类号： A41D19/0089 ,  A41D13/0005

摘要： A protective sealing system with a barrier seal between two articles of apparel is provided. The system has at least two elastomeric cuffs securable to a sealing support oriented between wearer of garment and both the first cuff and the second elastomeric cuff to expand said cuffs providing a double barrier seal.

摘要翻译： 提供了一种在两件服装之间具有隔离密封的保护性密封系统。 该系统具有至少两个可固定到衣服穿戴者与第一箍和第二弹性箍之间的密封支撑的弹性箍，以扩展所述袖口以提供双重屏障密封。

公开(公告)号：US20070288082A1

公开(公告)日：2007-12-13

申请号：US11749619

申请日：2007-05-16

申请人： Mark A. Williams

发明人： Mark A. Williams

IPC分类号： A61F2/84

CPC分类号： A61F2/958 ,  A61F2/856 ,  A61F2/954 ,  A61F2250/006 ,  A61F2250/0098

摘要： An improved stent design and stent delivery catheter assembly for repairing a main vessel and a side branch vessel forming a bifurcation. The stent is advanced to a bifurcation so that the main stent section is in the main vessel, and the portal section covers at least a portion of the opening to the side branch vessel. A low profile catheter having a branch with an inflation balloon and a balloon-less branch are maintained in a joined configuration during delivery of the catheter to the deployment site. Radiopaque markers on the balloon and on the balloon-less shaft enable the longitudinal and rotational orientation of the assembly to be fluoroscopically envisioned. The inflation of the balloon causes the stent to be expanded while the presence of the balloon-less shaft causes the stent's side portal to be opened sufficiently to allow for a subsequent expansion procedure.

摘要翻译： 改进的支架设计和支架输送导管组件，用于修复形成分叉的主血管和侧分支血管。 将支架推进到分支，使得主支架部分在主容器中，并且入口部分覆盖至侧分支容器的开口的至少一部分。 具有充气气囊和无气球分支的分支的低剖面导管在将导管递送到部署部位期间保持在接合构型中。 球囊上和无球轴上的不透射线标记使得组件的纵向和旋转取向能够被透视设想。 球囊的膨胀导致支架扩张，而无球轴的存在导致支架的侧门足够被打开以允许随后的膨胀程序。

公开(公告)号：US5969053A

公开(公告)日：1999-10-19

申请号：US824704

申请日：1997-04-14

申请人： Bernard D. Bauman ,  Mark A. Williams

发明人： Bernard D. Bauman ,  Mark A. Williams

IPC分类号： C08C19/12 ,  C08C19/14 ,  C08F8/00 ,  C08F8/20 ,  C08J7/12 ,  C08L15/00 ,  C08L23/16 ,  C08L63/00 ,  C08L67/02 ,  C08L67/06 ,  C08L69/00 ,  C08L75/04 ,  C08L77/00 ,  C08L101/00 ,  C09D175/04 ,  C09J175/04 ,  C08F8/22 ,  C08F8/34

CPC分类号： C08C19/12 ,  C08C19/14 ,  C08J7/12 ,  C08J7/126 ,  C08L101/00 ,  C08L23/16 ,  C08L63/00 ,  C08L67/02 ,  C08L67/06 ,  C08L69/00 ,  C08L75/04 ,  C08L77/00 ,  C09D175/04 ,  C09J175/04 ,  C08L15/00 ,  Y10T428/31786 ,  Y10T428/31855

摘要： A plastic article having a number of surfaces with at least one surface being modified by contacting that surface with a reactive gas atmosphere containing F.sub.2, Cl.sub.2, O.sub.2, Ozone, SO.sub.3, oxidative acids, or mixtures thereof, at a temperature and gas partial pressure sufficient to increase the surface energy of the at least one surface being modified to at least 40 dynes/cm at a temperature of 20.degree. C., to enhance bonding of non-slip polymer coatings to the modified surface, to which coatings elastomeric or rigid particles may be admixed for imparting a surface profile and increasing the coefficient of friction between the coated surface and the counter-surface.

摘要翻译： 通过使表面与含有F2，Cl2，O 2，臭氧，SO 3，氧化酸或其混合物的反应气体气氛接触，具有至少一个表面的多个表面的塑料制品在足够的温度和气体分压下 以在20℃的温度下将至少一个表面的表面能增加至至少40达因/厘米，以增强防滑聚合物涂层与改性表面的结合，涂层弹性体或刚性颗粒 可以混合以赋予表面轮廓并增加涂覆表面和对置表面之间的摩擦系数。

公开(公告)号：US4526823A

公开(公告)日：1985-07-02

申请号：US565522

申请日：1983-12-28

申请人： Christopher J. Farrell ,  Mark A. Williams

发明人： Christopher J. Farrell ,  Mark A. Williams

IPC分类号： B32B27/20 ,  B65D35/08 ,  B32B27/08

CPC分类号： B65D35/08 ,  B32B27/20 ,  Y10T428/1321 ,  Y10T428/1372 ,  Y10T428/1383 ,  Y10T428/2457 ,  Y10T428/251 ,  Y10T428/257 ,  Y10T428/31913 ,  Y10T428/31928

摘要： A plastic laminate sheet for making collapsible dispensing container comprises an outer layer of filled-plastic made of polypropylene or a blend of polypropylene, and high density polyethylene, and a filler, preferably calcium carbonate, incorporated therein. The outer filled-plastic layer is coextensively bonded to an inner layer of high density polyethylene to form the laminate sheet. An intermediate layer of an oxygen barrier plastic may be interposed in the laminate sheet in order to impart oxygen impermeability thereto.

公开(公告)号：US08256030B2

公开(公告)日：2012-09-04

申请号：US11621339

申请日：2007-01-09

申请人： Mark A. Williams ,  Jeffrey A. Klein

发明人： Mark A. Williams ,  Jeffrey A. Klein

IPC分类号： A41D19/00

CPC分类号： A41D19/0006 ,  A41D19/001 ,  A41D27/245 ,  A41D2400/22 ,  A43B7/125 ,  B32B7/12 ,  B32B27/08 ,  B32B27/12 ,  B32B27/322 ,  B32B27/40

摘要： The present invention provides waterproof, breathable non-textile seamed articles which exhibit high levels of durability and allow wearers a high level of flexibility and article strength. This invention is of particular interest for use in dexterous hand coverings and conformable foot coverings.

摘要翻译： 本发明提供了具有高水平的耐久性的耐水透气非纺织品缝合制品，并且使得穿着者具有高水平的柔韧性和制品强度。 本发明特别令人感兴趣的是用于灵巧的手部护理和适形的脚部覆盖物。

公开(公告)号：US08201118B2

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

申请号：US12475494

申请日：2009-05-30

申请人： Jason R. Baumgartner ,  Paul J. Roessler ,  Mark A. Williams ,  Jiazhao Xu

发明人： Jason R. Baumgartner ,  Paul J. Roessler ,  Mark A. Williams ,  Jiazhao Xu

IPC分类号： G06F17/50

CPC分类号： G06F17/504

摘要： Methods and systems are provided for dynamically generating a hint set for enhanced reachability analysis in a sequential circuitry design that is represented by a Binary Decision Diagram (BDD). After determining a ranking of the BDD variables, they are sorted in the order of the ranking. The ranking is used to select some of the variables for use in creating hints for more efficiently performing the reachability analysis in a creating an equivalent sequential circuitry design.

摘要翻译： 提供了方法和系统，用于在由二进制决策图（BDD）表示的顺序电路设计中动态生成用于增强可达性分析的提示集。 在确定BDD变量的排名之后，按照排名的顺序进行排序。 排名被用于选择一些用于创建提示的变量，以在创建等效的顺序电路设计中更有效地执行可达性分析。

公开(公告)号：US08173199B2

公开(公告)日：2012-05-08

申请号：US11527893

申请日：2006-09-26

申请人： Syed F. A. Hossainy ,  Gordon Stewart ,  Mark A. Williams ,  Jeff Royal ,  Paul M. Consigny ,  Dorrie M. Happ ,  Kurt Scheinpflug ,  Ty Hu

发明人： Syed F. A. Hossainy ,  Gordon Stewart ,  Mark A. Williams ,  Jeff Royal ,  Paul M. Consigny ,  Dorrie M. Happ ,  Kurt Scheinpflug ,  Ty Hu

IPC分类号： A61L33/00 ,  B05D3/02 ,  A61F2/06

CPC分类号： A61F2/844 ,  A61F2250/0067 ,  A61L27/54 ,  A61L31/16 ,  A61L2300/416 ,  A61L2300/602 ,  A61L2300/606

摘要： A method and coating for reducing the release rate of an active agent from an implantable device, such as a stent, is disclosed.

摘要翻译： 公开了一种用于降低活性剂从可植入装置（例如支架）的释放速率的方法和涂层。