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

11. 发明授权

US07640536B1 Variable graph minimization for improved model-checking performance 有权
标题翻译：可变图最小化，以提高模型检查性能
公开(公告)号：US07640536B1
公开(公告)日：2009-12-29
申请号：US11236053
申请日：2005-09-27
申请人： Michael W. Whalen , Steven P. Miller
发明人： Michael W. Whalen , Steven P. Miller
IPC分类号： G06F9/44 , G06F11/00
CPC分类号： G06F11/3608 , G06F8/433
摘要： A method of verifying properties of a source program includes creating a directed multigraph from the source program. The directed multigraph is then minimized by identifying removable vertices in the multigraph. Based on the minimization of the directed multigraph, the source program is transformed by inlining variables in the source program to produce a transformed program. The transformed program is then model checked using a model checking tool in order to verify properties of the source program.
摘要翻译：验证源程序的属性的方法包括从源程序创建定向多图。然后通过识别多重图中的可移除顶点来最小化定向多重图。基于定向多图的最小化，源程序通过在源程序中内联变量来产生变换程序来进行变换。然后使用模型检查工具对变换的程序进行模型检查，以验证源程序的属性。

12. 发明授权

US06426813B1 Telemetry system and method for EMI susceptibility testing of motor vehicles 有权
标题翻译：机动车用电磁干扰测试遥测系统及方法
公开(公告)号：US06426813B1
公开(公告)日：2002-07-30
申请号：US09518857
申请日：2000-03-03
申请人： Eric T. Swenson , Steven P. Miller , Bruce E. Thomason , Henry G. Gilbert
发明人： Eric T. Swenson , Steven P. Miller , Bruce E. Thomason , Henry G. Gilbert
IPC分类号： H04B1000
CPC分类号： G01R31/001 , H04L67/12
摘要： A data transmission system for external use with a controller area network is installed on a motor vehicle undergoing high intensity electromagnetic interference susceptibility testing. The data transmission system includes a fiber optic cable extending from the immediate vicinity of the truck to a site relatively remote to the truck and out of the effective area of the artificially generated electromagnetic interference. An optical/electrical coupler in close proximity to the motor vehicle is connected to the vehicle controller area network to convert messages occurring on the network to optical signals. The connection is provided by an electrical cable constructed of a twisted pair of wires. The optical/electrical coupler is also connected to an end of the fiber optic cable in the vicinity of the truck. A remote data processing device is attached to the remote end of the fiber optic cable by an interface card installed in the remote data processing device. The interface card converts optical signals to controller area network compatible electrical signals for evaluation.
摘要翻译：用于控制器区域网外部使用的数据传输系统安装在经受高强度电磁干扰敏感性测试的汽车上。数据传输系统包括从卡车的紧邻附近延伸到相对远离卡车并且在人为产生的电磁干扰的有效区域之外的位置的光纤电缆。靠近机动车辆的光/电耦合器连接到车辆控制器区域网络，以将在网络上发生的消息转换为光信号。连接由由双绞线构成的电缆提供。光/电耦合器也连接到卡车附近的光纤电缆的一端。远程数据处理设备通过安装在远程数据处理设备中的接口卡连接到光纤电缆的远端。接口卡将光信号转换为控制器区域网络兼容电信号进行评估。

13. 发明授权

US5307897A Safety stanchion for fall protection system 失效
标题翻译：防坠落系统安全支柱
公开(公告)号：US5307897A
公开(公告)日：1994-05-03
申请号：US978922
申请日：1992-11-19
申请人： C. Rockwell Turner , Steven P. Miller , Roger W. Gallagher , Barry A. Cole
发明人： C. Rockwell Turner , Steven P. Miller , Roger W. Gallagher , Barry A. Cole
IPC分类号： A62B35/04 , E04G21/32 , B21F27/00
CPC分类号： E04G21/3261 , A62B35/04
摘要： A safety stanchion is adapted for mounting to a structural I-beam to tie off workers. The safety stanchion includes a post which extends at an oblique angle to the base. The base is secured to the I-beam by means of a ratchet lock mechanism which hooks around the I-beam and a pair of bolts which lock against the underside of the I-beam. The stanchion provides a fixed mounting point for a fall protection system for workers with integral strength to accept stresses caused by falling objects and/or persons.
摘要翻译：安全支柱适用于安装在结构工程梁上，用于绑扎工人。安全支柱包括与基部倾斜地延伸的柱。底座通过棘爪锁定机构固定在工字钢上，棘轮锁定机构钩在I型梁上，一对螺栓锁在I型梁的下侧。支柱为具有整体强度的工人提供了一个用于坠落保护系统的固定安装点，以接受由物体和/或人员引起的应力。

14. 发明授权

US06840878B2 Idler assembly for a sanding/polishing device 有权
标题翻译：用于砂光/抛光装置的惰轮组件
公开(公告)号：US06840878B2
公开(公告)日：2005-01-11
申请号：US10327768
申请日：2002-12-23
申请人： Tracy A. Brookins , Daniel F. Knepper , David A. Smoker , Daniel S. O'Neil , Steven P. Miller
发明人： Tracy A. Brookins , Daniel F. Knepper , David A. Smoker , Daniel S. O'Neil , Steven P. Miller
IPC分类号： B23Q5/04 , B24B21/20 , B24B47/12 , F16H7/08 , F16H7/22 , F16H61/06
CPC分类号： F16H7/0827 , B24B21/20 , F16H2007/0812
摘要： An idler or tensioning assembly for an electronically controlled sanding/polishing machine is provided, the sanding/polishing machine utilizing a plurality of exchangeable polishing wheel assemblies of which the idler assembly is one. Each polishing wheel assembly interfaces with the sanding/polishing machine through a coolant manifold and a polishing wheel shaft receptor. The idler assembly is operative to provide releasable tension to a sanding/polishing belt that is situated around the idler and the associated sanding/polishing wheel. The idler assembly has a pivoting idler that is actuated by a hydraulic cylinder. The hydraulic cylinder utilizes coolant tapped from the coolant manifold of the idler assembly for actuation. Coolant is provided to the hydraulic cylinder in response to a valve signal. The idler assembly thus has a tensioned mode and an untensioned mode.
摘要翻译：提供了一种用于电子控制打磨/抛光机器的惰轮或张紧组件，所述打磨/抛光机器利用多个可更换的抛光轮组件，其中惰轮组件为一个。每个抛光轮组件通过冷却剂歧管和抛光轮轴接收器与打磨/抛光机器接口。惰轮组件可操作以向位于惰轮和相关联的砂磨/抛光轮周围的打磨/抛光带提供可释放的张力。惰轮组件具有由液压缸致动的枢转惰轮。液压缸利用从惰轮组件的冷却剂歧管轻敲的冷却剂用于致动。响应于阀信号将冷却液提供给液压缸。因此，惰轮组件具有张紧模式和未张紧模式。

15. 发明授权

US5475819A Distributed configuration profile for computing system 失效
标题翻译：计算系统的分布式配置文件
公开(公告)号：US5475819A
公开(公告)日：1995-12-12
申请号：US261741
申请日：1994-06-17
申请人： Steven P. Miller , Butler W. Lampson
发明人： Steven P. Miller , Butler W. Lampson
IPC分类号： G06F15/16 , G06F9/46 , G06F9/50 , G06F15/177 , H04L29/00 , H04L29/06 , H04L29/08 , G06F13/14
CPC分类号： H04L67/16 , G06F9/547 , H04L29/12113 , H04L29/12132 , H04L61/1541 , H04L61/1552 , H04L67/1006 , H04L67/30 , H04L67/1023 , H04L67/40 , H04L69/329
摘要： A distributed computing system using a data communications network may have a number of service providers for a given service or remote procedure call. A client on the network makes reference to a name service to obtain the network address of one of these service providers. The name service maintains for each client or group of clients a configuration profile of the service providers in order to resolve the issue of selecting one of the several service providers when a request is made. A single configuration profile is a priority-ordered search list that maps from a service identifier (e.g., remote procedure call interface specification) into service provider (e.g., remote procedure call server) names. A configuration profile may include names for individual service providers, and/or named groups of service providers, and/or other configuration profiles. Configuration profiles are stored in a manner that makes them accessible throughout the distributed system, e.g., in the name service. Configuration profiles may be chained together by referencing other configuration profiles to provide a hierarchy of configuration profiles.
摘要翻译：使用数据通信网络的分布式计算系统可以具有用于给定服务或远程过程调用的多个服务提供商。网络上的客户端引用名称服务来获取其中一个服务提供商的网络地址。名称服务为每个客户端或一组客户端维护服务提供商的配置简档，以便在请求时解决选择多个服务提供商之一的问题。单个配置简档是从服务标识符（例如，远程过程呼叫接口规范）映射到服务提供商（例如，远程过程呼叫服务器）名称的优先级排序的搜索列表。配置简档可以包括单个服务提供商和/或命名的服务提供商组的名称和/或其他配置简档。配置配置文件以使其在整个分布式系统中可访问的方式存储，例如在名称服务中。配置配置文件可以通过引用其他配置配置文件来链接在一起，以提供配置配置文件的层次结构。

16. 发明授权

US5415994A Lateral flow medical diagnostic assay device with sample extraction means 失效
标题翻译：具有样品提取手段的侧流医学诊断测定装置
公开(公告)号：US5415994A
公开(公告)日：1995-05-16
申请号：US100901
申请日：1993-08-02
申请人： Michael R. Imrich , John K. Zeis , Steven P. Miller , Allan D. Pronovost
发明人： Michael R. Imrich , John K. Zeis , Steven P. Miller , Allan D. Pronovost
IPC分类号： G01N33/48 , B01L3/00 , G01N1/28 , G01N33/543 , G01N33/569 , G01N33/571 , G01N37/00
CPC分类号： G01N33/569 , B01L3/5023 , G01N33/54366 , B01L2200/026 , B01L2300/0825 , B01L3/5029 , Y10S435/961 , Y10S435/97 , Y10S435/973 , Y10S435/975
摘要： The present invention provides devices, methods, and kits for treatment and detection of analytes requiring pretreatment in samples. One-step treatment and detection is possible utilizing the devices and methods of the present invention.
摘要翻译：本发明提供了用于处理和检测样品中需要预处理的分析物的装置，方法和试剂盒。利用本发明的装置和方法可以进行一步处理和检测。

17. 发明授权

US08680294B2 Enantio- and stereo specific synthesis of β-amino-α-hydroxy amides 有权
标题翻译：氨基-α-羟基酰胺的对映体和立体特异性合成
公开(公告)号：US08680294B2
公开(公告)日：2014-03-25
申请号：US13387619
申请日：2010-07-27
申请人： John Traverse , William M. Leong , Steven P. Miller , Jennifer Albaneze-Walker , Thomas J. Hunter , Lijun Wang , Hongbiao Liao , Ashok Arasappan , Scott T. Trzaska , Randi M. Smith , Azzeddine Lekhal , Stephane L. Bogen , Jianshe Kong , Frank Bennett , F. George Njoroge , Marc Poirier , Shen-Chun Kuo , Yonggang Chen , Kenneth S. Matthews , Patrice Demonchaux , Amadeo Ferreira
发明人： John Traverse , William M. Leong , Steven P. Miller , Jennifer Albaneze-Walker , Thomas J. Hunter , Lijun Wang , Hongbiao Liao , Ashok Arasappan , Scott T. Trzaska , Randi M. Smith , Azzeddine Lekhal , Stephane L. Bogen , Jianshe Kong , Frank Bennett , F. George Njoroge , Marc Poirier , Shen-Chun Kuo , Yonggang Chen , Kenneth S. Matthews , Patrice Demonchaux , Amadeo Ferreira
IPC分类号： C07D207/06
CPC分类号： C07D209/52 , C07C51/353 , C07C67/04 , C07C237/04 , C07C315/02 , C07C315/04 , C07C317/28 , C07C319/14 , C07C319/20 , C07C2601/02 , C07C2601/14 , C07K5/0202 , C07K5/06034 , C07C323/53 , C07C317/44 , C07C57/03 , C07C69/533
摘要： Processes useful for the preparation of a Compound of Formula I: Formula (I). Intermediates useful for the preparation of the compound of Formula I, and processes useful for preparing said intermediates are disclosed.
摘要翻译：用于制备式I化合物的方法：式（I）。公开了可用于制备式I化合物的中间体和用于制备所述中间体的方法。

18. 发明授权

US07090605B2 Apparatus for processing a prosthetic component 有权
标题翻译：用于处理假肢部件的装置
公开(公告)号：US07090605B2
公开(公告)日：2006-08-15
申请号：US10968764
申请日：2004-10-19
申请人： Tracy A. Brookins , Daniel F. Knepper , David A. Smoker , Daniel S. O'Neil , Steven P. Miller
发明人： Tracy A. Brookins , Daniel F. Knepper , David A. Smoker , Daniel S. O'Neil , Steven P. Miller
IPC分类号： F16H7/12 , B21B21/00
CPC分类号： F16H7/0827 , B24B21/20 , F16H2007/0812
摘要： An idler or tensioning assembly for an electronically controlled sanding/polishing machine is provided, the sanding/polishing machine utilizing a plurality of exchangeable polishing wheel assemblies of which the idler assembly is one. Each polishing wheel assembly interfaces with the sanding/polishing machine through a coolant manifold and a polishing wheel shaft receptor. The idler assembly is operative to provide releasable tension to a sanding/polishing belt that is situated around the idler and the associated sanding/polishing wheel. The idler assembly has a pivoting idler that is actuated by a hydraulic cylinder. The hydraulic cylinder utilizes coolant tapped from the coolant manifold of the idler assembly for actuation. Coolant is provided to the hydraulic cylinder in response to a valve signal. The idler assembly thus has a tensioned mode and an untensioned mode.
摘要翻译：提供了一种用于电子控制打磨/抛光机器的惰轮或张紧组件，所述打磨/抛光机器利用多个可更换的抛光轮组件，其中惰轮组件为一个。每个抛光轮组件通过冷却剂歧管和抛光轮轴接收器与打磨/抛光机器接口。惰轮组件可操作以向位于惰轮和相关联的砂磨/抛光轮周围的打磨/抛光带提供可释放的张力。惰轮组件具有由液压缸致动的枢转惰轮。液压缸利用从惰轮组件的冷却剂歧管轻敲的冷却剂用于致动。响应于阀信号将冷却液提供给液压缸。因此，惰轮组件具有张紧模式和未张紧模式。

19. 发明授权

US06650977B2 Automated vehicle inspection system 有权
标题翻译：自动车辆检查系统
公开(公告)号：US06650977B2
公开(公告)日：2003-11-18
申请号：US09920494
申请日：2001-08-01
申请人： Steven P. Miller
发明人： Steven P. Miller
IPC分类号： G01M1700
CPC分类号： B60R16/0232 , B60R16/0234
摘要： The invention integrates a general purpose computer with a controller area network to effect an inspection regimen through the controller area network. A convenient user interface, combining handheld instruments and convention displays and printers allows the driver to interact with the system. The computer provides storage for programs and processing power to implement test regimens in logical order relating to completion of the inspection.
摘要翻译：本发明将通用计算机与控制器区域网络集成，通过控制器局域网实现检查方案。一个方便的用户界面，结合了手持式仪器和常规显示器和打印机，使驾驶员能够与系统进行交互。计算机提供存储程序和处理能力以按照与完成检查有关的逻辑顺序来实施测试方案。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式