Dependency graph solution for constraint systems
    2.
    发明授权
    Dependency graph solution for constraint systems 失效
    约束系统的依赖图解

    公开(公告)号:US5617510A

    公开(公告)日:1997-04-01

    申请号:US420618

    申请日:1995-04-12

    IPC分类号: G06F17/50 G06F15/20

    CPC分类号: G06F17/5086 Y10S706/919

    摘要: A method, useful in computer-aided design, of identifying possible solutions to an over-constrained system having a collection of entities and constraints. The method represents the entities in terms of degrees of freedom and incrementally assembles the system by adding entities, satisfying constraints and reducing the degrees of freedom of the entities. For an over-constrained system, the method constructs a dependency graph of the system and identifies the set of constraints which over-constrains the system. The over-constraining set includes the constraint which initiated the over-constraint and those constraints back traced in the dependency graph from the initiating constraint. Removal of one or more constraints from the over-constraining set results in a solvable fully or under-constrained system. Intelligent selection of the removed constraint may increase computational efficiency or system stability. The method is useful in diverse constraint satisfaction problems, particularly geometric modeling problems such as describing mechanical assemblies, constraint-based sketching and design, geometric modeling for CAD, and kinematic analysis of robot and linkage mechanisms.

    摘要翻译: 一种在计算机辅助设计中有用的方法,用于识别具有实体和约束集合的过度约束系统的可能解决方案。 该方法以自由度表示实体,并通过添加实体,满足约束并减少实体的自由度来逐步组装系统。 对于过度约束的系统,该方法构造系统的依赖图,并识别过度约束系统的约束集合。 过约束集包括启动过约束的约束,以及从起始约束到依赖图中追溯的那些约束。 从过约束集中移除一个或多个约束导致可解决的完全或不受限制的系统。 去除约束的智能选择可以提高计算效率或系统稳定性。 该方法在各种约束满足问题中尤其有用,特别是几何建模问题,如描述机械装配,基于约束的草图和设计,CAD的几何建模,以及机器人和连动机构的运动学分析。

    Method for solving geometric constraint systems
    3.
    发明授权
    Method for solving geometric constraint systems 失效
    求解几何约束系统的方法

    公开(公告)号:US5452238A

    公开(公告)日:1995-09-19

    申请号:US979143

    申请日:1992-11-20

    IPC分类号: G06F17/50 G06F15/20

    CPC分类号: G06F17/5086

    摘要: A method, useful in computer-aided design, for finding possible configurations of a system having a collection of geometric entities and constraints. The method represents the geometric entities in terms of degrees of freedom and systematically satisfies the constraints reducing the degrees of freedom of the geometric entities. The method uses a number of specialized routines, called plan fragments, which satisfy a particular constraint relating to a particular geometric entity. Each plan fragment changes the configuration of a geometric entity in space--i.e. the location and orientation--satisfying a constraint and reducing a degree of freedom. The series of plan fragments which reduce the degrees of freedom and satisfy the constraints comprise an assembly plan for possible configurations of the system. The method identifies overconstrained, fully constrained, and underconstrained systems to the user and assists in finding possible configurations if the constraints are changed, added, or deleted. The method is useful in solving any geometric constraint problem, such as describing mechanical assemblies constraint-based sketching and design, geometric modeling for CAD, and kinematic analysis of robots and linkage mechanisms. By reasoning symbolically about the geometry of the system, the method provides faster solutions, numerical stability, user feedback, and the ability to handle redundant constraints.

    摘要翻译: 一种在计算机辅助设计中有用的方法,用于查找具有几何实体和约束集合的系统的可能配置。 该方法以自由度表示几何实体,并系统地满足减少几何实体自由度的约束。 该方法使用许多专门的例程,称为计划片段,其满足与特定几何实体有关的特定约束。 每个计划片段都会改变空间中几何实体的配置。 位置和方向 - 满足约束并减少自由度。 减少自由度并满足约束的一系列计划片段包括用于系统可能配置的装配计划。 该方法向用户识别过约束,完全约束和不受约束的系统,并且如果约束被更改,添加或删除,则帮助查找可能的配置。 该方法可用于解决任何几何约束问题,例如描述基于约束的草图和设计,CAD的几何建模,机器人和联动机制的运动学分析。 通过推理符号系统的几何形状,该方法提供了更快的解决方案,数值稳定性,用户反馈以及处理冗余约束的能力。

    SYSTEM AND METHOD FOR SELECTING WEIGHTING FOR SEARCHING AND FOR PRESENTATION OF SEARCH RESULTS
    4.
    发明申请
    SYSTEM AND METHOD FOR SELECTING WEIGHTING FOR SEARCHING AND FOR PRESENTATION OF SEARCH RESULTS 失效
    用于搜索和显示搜索结果的权重的系统和方法

    公开(公告)号:US20090164948A1

    公开(公告)日:2009-06-25

    申请号:US11959655

    申请日:2007-12-19

    申请人: Glenn A. Kramer

    发明人: Glenn A. Kramer

    IPC分类号: G06F3/048

    CPC分类号: G06F17/30398

    摘要: Systems and methods for assigning weights to a plurality of objects are defined. Metrics associated with the objects are defined. A cursor is displayed and movement of the cursor is constrained by a control weight shape. Movement of the cursor within the control weight shape defines the weights assigned to the metrics. A display weight shape including a plurality of display weight factors is displayed. Each of the display weight factors corresponds to one of the metrics and their display corresponds to the weights assigned to the metrics.

    摘要翻译: 定义用于向多个对象分配权重的系统和方法。 定义与对象关联的度量。 显示光标,光标的移动受控制权重形状约束。 光标在控制权重形状内的移动定义分配给度量的权重。 显示包括多个显示权重因子的显示重量形状。 每个显示权重因子对应于度量中的一个,并且它们的显示对应于分配给度量的权重。

    Settlement of aggregated electronic transactions over a network
    5.
    发明授权
    Settlement of aggregated electronic transactions over a network 失效
    通过网络结算电子交易

    公开(公告)号:US06324525B1

    公开(公告)日:2001-11-27

    申请号:US09121559

    申请日:1998-07-22

    IPC分类号: G06F1760

    摘要: In one embodiment, an architecture that consummates an electronic transaction between a first electronic device, such as an acquirer device, a second electronic device, such as an issuer device, and a plurality of electronic terminals, such as merchant terminals, by establishing a communication between the plurality of devices and terminals and accumulating transactions that are approved by the second electronic device. Then, periodically the plurality of transactions are settled using a transfer of monetary value between the first electronic device and the second electronic device. For example, the present invention uses electronic cash transfer to replace conventional settlement, which requires the use of a third-party settlement service.

    摘要翻译: 在一个实施例中,通过建立通信来完成诸如收单设备的第一电子设备,诸如发行者设备的第二电子设备和诸如商务终端的多个电子终端之间的电子交易的架构 在多个设备和终端之间并且积累由第二电子设备批准的交易。 然后,使用在第一电子设备和第二电子设备之间的货币价值的转移来周期性地确定多个交易。 例如,本发明使用电子现金转移来代替需要使用第三方结算服务的常规结算。

    System, method and article of manufacture for a modular gateway server
architecture
    6.
    发明授权
    System, method and article of manufacture for a modular gateway server architecture 失效
    模块化网关服务器架构的系统,方法和制造

    公开(公告)号:US6002767A

    公开(公告)日:1999-12-14

    申请号:US668011

    申请日:1996-06-17

    申请人: Glenn A. Kramer

    发明人: Glenn A. Kramer

    摘要: Secure transmission of data is provided between a plurality of computer systems over a public communication system, such as the Internet. Secure transmission of data is provided from a customer computer system to a merchant computer system, and for the further secure transmission of payment information regarding a payment instrument from the merchant computer system to a payment gateway computer system. The payment gateway system evaluates the payment information and returns a level of authorization of credit via a secure transmission to the merchant which is communicated to the customer by the merchant. The merchant can then determine whether to accept the payment instrument tendered or deny credit and require another payment instrument. An architecture that provides support for additional message types that are value-added extensions to the SET protocol is provided by a preferred embodiment of the invention. A server communicating bidirectionally with a gateway is disclosed. The server communicates to the gateway over a first communication link, over which all service requests are initiated by the server. The gateway uses a second communication link to send service signals to the server. In response to the service signals, the server initiates transactions to the gateway or presents information on an a display device.

    摘要翻译: 通过公共通信系统(例如因特网)在多个计算机系统之间提供数据的安全传输。 数据的安全传输从客户计算机系统提供给商家计算机系统,并且用于将支付信息从商务计算机系统进一步安全地传送到支付网关计算机系统。 支付网关系统对付款信息进行评估,并通过安全传输将信用授权级别返回给商家,该商家由商家传达给客户。 商户然后可以确定是否接受投标书或拒绝信用的付款方式,并要求另一笔付款工具。 本发明的优选实施例提供了一种支持附加消息类型的架构,这些附加消息类型是SET协议的增值扩展。 公开了与网关双向通信的服务器。 服务器通过第一通信链路与网关进行通信,服务器通过该通信链路启动所有服务请求。 网关使用第二通信链路向服务器发送服务信号。 响应于服务信号,服务器向网关启动事务或在显示设备上呈现信息。

    System and method for selecting weighting for searching and for presentation of search results
    7.
    发明授权
    System and method for selecting weighting for searching and for presentation of search results 失效
    用于搜索和显示搜索结果的权重的系统和方法

    公开(公告)号:US08566750B2

    公开(公告)日:2013-10-22

    申请号:US11959655

    申请日:2007-12-19

    申请人: Glenn A. Kramer

    发明人: Glenn A. Kramer

    IPC分类号: G06F3/048

    CPC分类号: G06F17/30398

    摘要: Systems and methods for assigning weights to a plurality of objects are defined. Metrics associated with the objects are defined. A cursor is displayed and movement of the cursor is constrained by a control weight shape. Movement of the cursor within the control weight shape defines the weights assigned to the metrics. A display weight shape including a plurality of display weight factors is displayed. Each of the display weight factors corresponds to one of the metrics and their display corresponds to the weights assigned to the metrics.

    摘要翻译: 定义用于向多个对象分配权重的系统和方法。 定义与对象关联的度量。 显示光标,光标的移动受控制权重形状约束。 光标在控制权重形状内的移动定义分配给度量的权重。 显示包括多个显示权重因子的显示重量形状。 每个显示权重因子对应于度量中的一个,并且它们的显示对应于分配给度量的权重。

    Virtual point of sale processing using gateway-initiated messages
    8.
    发明授权
    Virtual point of sale processing using gateway-initiated messages 失效
    使用网关发起的消息的虚拟销售点处理

    公开(公告)号:US6163772A

    公开(公告)日:2000-12-19

    申请号:US105899

    申请日:1998-06-26

    摘要: Secure transmission of data is provided between a plurality of computer systems over a public communication system, such as the Internet. For example, secure transmission of data is provided between a merchant server and an acquirer gateway using Secure Electronic Transaction (SET) compliant messages. However, gateway-initiated messages are not SET compliant. Accordingly, secure transmission of data using additional messages that are not SET compliant is provided in accordance with one embodiment of the present invention. In one embodiment, a method for virtual point of sale processing using gateway-initiated messages, includes establishing a first communication link (e.g., operating under the Internet Protocol) between an acquirer gateway and a merchant server, the first communication link being initiated by the acquirer gateway, and transmitting a gateway-initiated message (e.g., a Multipurpose Internet Mail Extensions(MIME) -encapsulated PKCS-7 message that includes a request for management information base data of the merchant server) via the first communication link from the acquirer gateway to the merchant server. The method also includes establishing a second communication link (e.g., operating under the Internet Protocol) between the acquirer gateway and the merchant server, the second communication link being initiated by the merchant server, and transmitting a Secure Electronic Transaction (SET) message via the second communication link from the merchant server to the acquirer gateway.

    摘要翻译: 通过公共通信系统(例如因特网)在多个计算机系统之间提供数据的安全传输。 例如,使用安全电子交易(SET)兼容消息在商家服务器和获取方网关之间提供数据的安全传输。 但是,网关发起的消息不符合SET。 因此,根据本发明的一个实施例,提供使用不符合SET的附加消息的数据的安全传输。 在一个实施例中,使用网关发起的消息的虚拟销售点处理方法包括在获取方网关和商家服务器之间建立第一通信链路(例如,在互联网协议下操作),第一通信链路由 获取方网关,并且经由来自获取方网关的第一通信链路发送网关发起的消息(例如,包括商家服务器的管理信息库数据请求的多用途互联网邮件扩展(MIME)封装的PKCS-7消息) 到商家服务器。 该方法还包括在获取方网关和商家服务器之间建立第二通信链路(例如,在因特网协议下操作),第二通信链路由商家服务器发起,并经由该商务服务器发送安全电子交易(SET)消息 从商家服务器到获取方网关的第二通信链路。

    Dynamic simulation of mechanisms
    9.
    发明授权
    Dynamic simulation of mechanisms 失效
    机制的动态模拟

    公开(公告)号:US5427531A

    公开(公告)日:1995-06-27

    申请号:US963861

    申请日:1992-10-20

    申请人: Glenn A. Kramer

    发明人: Glenn A. Kramer

    摘要: A method of dynamic simulation of mechanisms which constructs the lagrangian form of the dynamics equations as pure differential equations in terms of a minimal set of generalized coordinates. The dynamics problem is separated into two parts used in the lagrangian--a kinematic analysis and a kinetics analysis. The kinematic analysis is computed using a degrees of freedom analysis. The velocities required for the kinetic analysis are computed using screw theory. Once constructed, the lagrangian dynamics equations are solved for accelerations, applied to the mechanism, and integrated over time to simulate the dynamics of the mechanism. The kinetic and kinematic analyses are approximately linearly related to the number of components in the mechanism, allowing efficient solution of dynamics problems at interactive rates.

    摘要翻译: 一种动态模拟的机制的方法,其构造动力学方程的拉格朗日形式作为纯微分方程式,在最小的广义坐标系下。 动力学问题分为拉格朗日运动学分析和动力学分析两部分。 运动分析使用自由度分析计算。 用螺旋理论计算动力学分析所需的速度。 一旦构造,拉格朗日动力学方程被解决用于加速度,应用于机构,并随时间积分以模拟机构的动力学。 动力学和运动学分析与机构中组分的数量大致呈线性关系,从而能够以交互式的速率有效地解决动力学问题。

    Method for enhancing network application security
    10.
    发明授权
    Method for enhancing network application security 失效
    提高网络应用安全性的方法

    公开(公告)号:US08302170B2

    公开(公告)日:2012-10-30

    申请号:US12564087

    申请日:2009-09-22

    IPC分类号: H04L29/06

    摘要: A method for securing communications between a server and an application downloaded over a network onto a client of the server is disclosed. A first request is received from the client, and in response a session credential security token is generated and sent to the client. A second request is received from the client to download the application and includes the value of the session credential security token. The server verifies that the value of the session credential security token is valid and, if so, generates a second security token that is tied to the session credential security token. The second token is embedded in application code and then the application code is sent to the client. A subsequent request for data from the application running on the client includes the value of the session credential security token and the value of the embedded security token. Verification of validity of the values of the session credential security token and the second security token received with the data request then occurs at least in part by determining that the values are cryptographically tied to one another. Upon verification, the requested data is sent to the client.

    摘要翻译: 公开了一种用于保护服务器和通过网络下载的应用程序之间的通信到服务器的客户机上的方法。 从客户端接收到第一个请求,并且作为响应,生成会话凭证安全令牌并发送给客户机。 从客户端接收到下载应用程序的第二个请求,并包括会话凭证安全令牌的值。 服务器验证会话凭据安全令牌的值是否有效,如果是,则生成绑定到会话凭据安全令牌的第二个安全令牌。 第二个令牌嵌入在应用程序代码中,然后将应用程序代码发送到客户端。 来自在客户端上运行的应用程序的数据的后续请求包括会话凭证安全令牌的值和嵌入式安全令牌的值。 至少部分地通过确定这些值被加密地相互关联,来验证会话凭证安全令牌和接收到的数据请求的第二安全令牌的值的有效性。 经过验证,请求的数据被发送到客户端。