利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

63 条记录 (耗时 0.037 秒)

    Sound transaction-based reduction without cycle detection
    51.
    发明授权
    Sound transaction-based reduction without cycle detection 有权
    基于声音的基于事务的减少，无周期检测

    公开(公告)号：US07650595B2

    公开(公告)日：2010-01-19

    申请号：US11119530

    申请日：2005-04-29

    申请人： Shaz Qadeer ,  Sriram K. Rajamani ,  Vladimir A. Levin ,  Robert Palmer

    发明人： Shaz Qadeer ,  Sriram K. Rajamani ,  Vladimir A. Levin ,  Robert Palmer

    IPC分类号： G06F9/44

    CPC分类号： G06F8/433 ,  G06F8/456 ,  G06F11/3608

    摘要： Described techniques and tools help model checking scale to large programs while reducing missed errors. In particular, described techniques and tools help reduce the state space of concurrent programs without depending on cycle detection and without scheduling execution of postponed threads at all cycles. For example, described techniques and tools use a type of partial-order reduction called transaction-based reduction to reduce program state space. Analysis is performed at commit points to determine whether to schedule delayed threads.

    摘要翻译： 描述的技术和工具可帮助模型检查大型程序的规模，同时减少错误的错误。 特别地，所描述的技术和工具有助于减少并发程序的状态空间，而不依赖于周期检测，并且在所有周期内不执行延迟的线程。 例如，所描述的技术和工具使用一种称为基于事务的减少的部分顺序减少来减少程序状态空间。 分析在提交点执行，以确定是否计划延迟的线程。

    Ultra-low profile tie holder
    53.
    发明授权
    Ultra-low profile tie holder 失效
    超薄型领带架

    公开(公告)号：US07370371B2

    公开(公告)日：2008-05-13

    申请号：US11041713

    申请日：2005-01-22

    申请人： Ray Butterfas ,  Robert Palmer

    发明人： Ray Butterfas ,  Robert Palmer

    IPC分类号： A41D25/04

    CPC分类号： A41D25/003 ,  Y10T24/19

    摘要： The invention includes a necktie fastener system capable of restraining the bottom portion of the necktie close to the shirt of a wearer, and thereby controlling the entire necktie so that it won't fly in the wind, or while leaning over a table. The invention is for use when wearing a shirt having buttons located near the center of the front of the shirt. There is an H shape which is attached to the back of the apron of the necktie by simply hot ironing it. The H shape is relatively flexible allowing easy formation of the various necktie knots. Once the necktie has been tied and adjusted, the wearer inserts the a elongated placket under the horizontal bar and attaches the placket to two adjacent shirt buttons. The resulting combination slidably secures the end of the necktie nearest the bottom of the tie to stay near the shirt of the wearer. This gives control of the entire length of the tie from flying away in the wind or falling down when reaching over a table.

    摘要翻译： 本发明包括一种领带紧固件系统，其能够限制靠近穿着者衬衫的领带的底部，从而控制整个领带，使其不会在风中飞行，或者倾斜在桌子上。 本发明用于当穿着具有位于衬衫前部中心附近的按钮的衬衫时。 有一个H形状，通过简单的熨烫将它连接到领带的围裙的背面。 H形状相对灵活，容易形成各种领结。 一旦领带被捆扎和调整，佩戴者将细长的衣襟插入水平条下，并将衣襟连接到两个相邻的衬衫纽扣上。 所产生的组合可滑动地固定靠近领带底部的领带的末端以保持靠近穿着者的衬衫。 这样可以控制领带的整个长度，使其在风中飞行或在达到桌子时落下。

    Adaptive equalization using correlation of edge samples with data patterns
    55.
    发明申请
    Adaptive equalization using correlation of edge samples with data patterns 有权
    使用边缘样本与数据模式相关的自适应均衡

    公开(公告)号：US20070253475A1

    公开(公告)日：2007-11-01

    申请号：US11414289

    申请日：2006-04-27

    申请人： Robert Palmer

    发明人： Robert Palmer

    IPC分类号： H04L27/00 ,  H03H7/40 ,  H04B1/10

    CPC分类号： H04L27/01 ,  H04L7/041 ,  H04L7/046 ,  H04L25/03006 ,  H04L25/03273 ,  H04L25/069

    摘要： An integrated receiver supports adaptive receive equalization. An incoming bit stream is sampled using edge and data clock signals derived from a reference clock signal. A phase detector determines whether the edge and data clock signals are in phase with the incoming data, while some clock recovery circuitry adjusts the edge and data clock signals as required to match their phases to the incoming data. The receiver employs the edge and data samples used to recover the edge and data clock signals to note the locations of zero crossings for one or more selected data patterns. The pattern or patterns may be selected from among those apt to produce the greatest timing error. Equalization settings may then be adjusted to align the zero crossings of the selected data patterns with the recovered edge clock signal.

    摘要翻译： 集成接收机支持自适应接收均衡。 使用从参考时钟信号导出的边缘和数据时钟信号对输入比特流进行采样。 相位检测器确定边沿和数据时钟信号是否与输入数据同相，而一些时钟恢复电路根据需要调整边沿和数据时钟信号，使其相位与输入数据相匹配。 接收机采用用于恢复边缘和数据时钟信号的边缘和数据样本，以记录一个或多个所选数据模式的过零点的位置。 可以从易于产生最大定时误差的那些中选择图案或图案。 然后可以调整均衡设置以使所选数据模式的过零点与恢复的边沿时钟信号对齐。

    Method and system for accelerated collateral review and analysis
    56.
    发明申请
    Method and system for accelerated collateral review and analysis 审中-公开
    加速抵押品审查和分析的方法和制度

    公开(公告)号：US20060277141A1

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

    申请号：US11443108

    申请日：2006-05-31

    申请人： Robert Palmer

    发明人： Robert Palmer

    IPC分类号： G06Q40/00

    CPC分类号： G06Q40/02 ,  G06Q40/025 ,  G06Q50/16

    摘要： A method and system for automated review and analysis of appraisal reports, including receiving and identifying an appraisal report. After identifying the appraisal report, relevant data and/or information contained therein is identified and extracted. The extracted data and/or information are then normalized for subsequent evaluation. Thereafter, the normalized data and/or information is evaluated to determine, for example, whether the appraisal report complies with generally accepted appraisal practices and whether the appraised property represents a low, moderate, high, or very high risk. The method and system also generates an output relating to the appraisal report evaluation.

    摘要翻译： 自动审查和分析评估报告的方法和系统，包括收到和确定评估报告。 确定评估报告后，确定并提取其中包含的相关数据和/或信息。 然后将所提取的数据和/或信息归一化以用于随后的评估。 此后，对标准化数据和/或信息进行评估，以确定评估报告是否符合普遍接受的评估做法，以及评估的财产是否代表低，中，高或非常高的风险。 该方法和系统还生成与评估报告评估相关的输出。

    Fluid coupling device
    59.
    发明授权
    Fluid coupling device 失效
    流体耦合装置

    公开(公告)号：US06705647B1

    公开(公告)日：2004-03-16

    申请号：US09718273

    申请日：2000-11-22

    申请人： Robert Palmer

    发明人： Robert Palmer

    IPC分类号： F16L2704

    CPC分类号： F16L27/047 ,  F16L27/06

    摘要： A fluid coupling device employs a male spherical member with a fluid receiving bore and a female housing. The spherical member abuts two axially spaced Teflon ring seats between the member and the housing in the housing chamber. The ring seats reduce friction between the member and the housing, and axially retain the member in the housing with no metal to metal contact. A first O-ring provides fluid sealing between the spherical member and housing inner wall in the chamber. A hose receiving nipple member with a fluid receiving bore has a threaded concave end with a peripheral region that engages the first O-ring to hold the O-ring against the spherical member, one of the ring seats and housing chamber wall to seal the interface between the spherical member and housing. The nipple member has a flange which abuts the housing to limit squeezing action on the O-ring to ensure sufficient contact of the O-ring and mating surfaces to obtain a good seal without creating excessive friction loads. A second O-ring seals the interface between the flange and housing.

    摘要翻译： 流体联接装置采用具有流体接收孔和阴壳体的阳性球形构件。 球形构件邻接在构件和壳体之间的两个轴向隔开的特氟龙环座。 环座降低了构件和壳体之间的摩擦，并且将构件轴向地保持在壳体中，没有金属与金属接触。 第一O形环在球形构件和腔室中的壳体内壁之间提供流体密封。 具有流体接收孔的软管接收乳头部件具有带螺纹的凹入端，其具有周边区域，该周边区域接合第一O形环以将O形环保持抵靠球形部件，环形座和壳体室壁中的一个以密封接口 在球形构件和壳体之间。 乳头构件具有与壳体抵接以限制O形环上的挤压作用的凸缘，以确保O型圈和配合表面的充分接触以获得良好的密封而不产生过大的摩擦负载。 第二个O形圈密封法兰和外壳之间的接口。

    Digital communication system for simultaneous transmission of data from constant and variable rate sources
    60.
    发明授权
    Digital communication system for simultaneous transmission of data from constant and variable rate sources 失效
    用于从恒定和可变速率源同时传输数据的数字通信系统

    公开(公告)号：US5933607A

    公开(公告)日：1999-08-03

    申请号：US557185

    申请日：1996-03-12

    申请人： Duncan Hartley Tate ,  Robert Palmer ,  Garry Colin Heinze ,  Mourad Christopher Manoug Shahbaz ,  Peter Ian Mikelaitis ,  Peter Alexander Ernest Gorog

    发明人： Duncan Hartley Tate ,  Robert Palmer ,  Garry Colin Heinze ,  Mourad Christopher Manoug Shahbaz ,  Peter Ian Mikelaitis ,  Peter Alexander Ernest Gorog

    IPC分类号： H04L12/56 ,  H04L12/64 ,  H04Q11/04 ,  G06F13/00 ,  H04J3/16

    CPC分类号： H04Q11/0478 ,  H04L12/64 ,  H04L12/6418 ,  H04L2012/5619 ,  H04L2012/5649 ,  H04L2012/5651 ,  H04L2012/5652 ,  H04L2012/5663 ,  H04L2012/5679 ,  H04L2012/6459 ,  H04L2012/6464 ,  H04L2012/6481 ,  H04L2012/6489

    摘要： The present invention relates to a communication system, protocol and method designed to facilitate information transfer including user and control information from CBR (Continuous Bit Rate) and/or non-CBR signal sources. Such a system, for example, is a CSS (Customer Switching System), a LAN network, a Key System, LAN hub, PABX or PBX. A number of aspects are disclosed in this specification. These include: A) a key system and/or LAN which utilizes ATM technology for the trafficking of CBR, non-CBR, or a combination thereof, B) a round robin feature which facilitates the operation of i. above, C) a cell format which facilitates the operation of i. above, D) an open and closed system architecture for i. above, E) and ATM-TP which serves as an interface for CBR to the architecture and an ATM-HP which serves as an interface for non-CBR to the architecture, F) partial cell filling for system efficiency and/or echo control, G) a staggering feature to facilitate system efficiency, H) a channel aggregation feature to reduce the requirement for external adaptor equipment, I) a by-pass feature to enhance system reliability and serviceability. An example of CBR is voice, video and "non-bursty" data. An example of non-CBR or "bursty" data is LAN data.

    摘要翻译： PCT No.PCT / AU94 / 00309 Sec。 371日期：1996年3月12日 102（e）1996年3月12日PCT 1994年6月7日PCT公布。 第WO94 / 29987号公报 日期1994年12月22日本发明涉及一种设计用于促进包括用户的信息传送和来自CBR（连续比特率）和/或非CBR信号源的控制信息的通信系统，协议和方法。 例如，这样的系统是CSS（客户交换系统），LAN网络，密钥系统，LAN集线器，PABX或PBX。 在本说明书中公开了许多方面。 这些包括：A）利用ATM技术来运送CBR，非CBR或其组合的密钥系统和/或LAN，B）有利于i的操作的循环特征。 以上，C）促进i的操作的单元格格式。 以上，D）一个开放和封闭的系统架构。 E）和作为架构的CBR的接口的ATM-TP和作为用于非架构的非CBR的接口的ATM-HP，F）用于系统效率和/或回波控制的部分小区填充， G）令人惊叹的功能，以促进系统效率，H）通道聚合功能，以减少对外部适配器设备的需求，I）旁路功能，以提高系统的可靠性和可维护性。 CBR的一个例子是语音，视频和“非突发”数据。 非CBR或“突发”数据的示例是LAN数据。