会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明申请
    • AUTOMATED DECOMPOSITION FOR MIXED INTEGER LINEAR PROGRAMS WITH EMBEDDED NETWORKS REQUIRING MINIMAL SYNTAX
    • 混合整数线性程序的自动分解与嵌入式网络需要最小语法
    • US20160077833A1
    • 2016-03-17
    • US14936952
    • 2015-11-10
    • MATTHEW VICTOR GALATIROBERT WILLIAM PRATTLEONARDO BEZERRA LOPES
    • MATTHEW VICTOR GALATIROBERT WILLIAM PRATTLEONARDO BEZERRA LOPES
    • G06F9/30
    • G06F9/30007G06F9/30145G06F17/11
    • Embodiments include techniques to receive computer-executable query instructions to solve a MILP problem, the query instructions including a first expression conveying an objective function and side constraint that define a master problem of the MILP problem, a second expression conveying a mapping of graph data to a graph, and a third expression conveying a selection of a graph-based algorithm to solve a subproblem of the MILP problem; a subproblem component to replace the third expression with a fourth expression during decomposition of the MILP problem, the fourth expression including instructions to implement the graph-based algorithm to solve the subproblem; and an execution control component to perform iterations of solving the MILP problem that include executing the first expression to derive a solution to the master problem; and executing the fourth expression to derive a solution to the subproblem based on the mapping and the master problem solution.
    • 实施例包括用于接收计算机可执行查询指令以解决MILP问题的技术,所述查询指令包括传达目标函数的第一表达式和定义MILP问题的主要问题的边界约束,第二表达式将图形数据映射到 图形和第三表达式,其传达基于图的算法的选择以解决MILP问题的子问题; 一个子问题组件在MILP问题分解过程中用第四个表达式替换第三个表达式,第四个表达式包括实现基于图的算法来解决子问题的指令; 以及执行控制组件,用于执行解决包括执行所述第一表达式的MILP问题的迭代以导出所述主问题的解决方案; 并且基于映射和主问题解决方案执行第四表达式以导出子问题的解。
    • 5. 发明授权
    • Street lighting columns
    • 街道照明栏
    • US4020606A
    • 1977-05-03
    • US626635
    • 1975-10-29
    • John William Pratt
    • John William Pratt
    • E04H12/18E04H12/34
    • E04H12/187
    • A street lighting column has upper and lower sections hinged together in such manner that the upper section can be lifted by a double-acting piston and cylinder unit connected between the column sections to a position in which it is free to pivot relative to the base section. The hinge is provided with a support plate adapted to be turned to a position in which it cooperates with a lug on one of the column sections so as to support the upper column section in its raised pivotal position when the direction of action of the piston and cylinder unit is reversed, thus automatically effecting pivoting of the upper section to a position in which it is reachable from the ground.
    • 街道照明柱具有铰接在一起的上部和下部,使得上部可以通过连接在柱部分之间的双作用活塞和气缸单元提升到相对于基部自由枢转的位置 。 铰链设置有支撑板,该支撑板适于转动到其中一个柱部分上的凸耳配合的位置,以便当活塞的作用方向和 气缸单元反向,从而自动地将上部部分枢转到从地面到达的位置。
    • 7. 发明申请
    • Systems And Methods For Determining Pack Allocations
    • 用于确定包分配的系统和方法
    • US20120179505A1
    • 2012-07-12
    • US12987486
    • 2011-01-10
    • Teresa DePaola McMainsThomas BurkhardtRobert William Pratt
    • Teresa DePaola McMainsThomas BurkhardtRobert William Pratt
    • G06Q10/00
    • G06Q10/04G06Q10/06315
    • Systems and methods are provided for determining a plurality of pack configurations to make available for distribution to a plurality of stores, wherein a pack configuration contains a particular number of units of each of a plurality of variations of a product. An allowable pack size constraint, a maximum pack configuration constraint, mismatch cost data, and product demand data for the plurality of stores are received. A first pack and a second pack for the store are determined, wherein the first pack contains a particular number of each of the variations of the product, wherein the first pack meets the allowable pack size constraint and minimizes mismatch costs for the store. Stores are clustered based on similarity of their demand data until the total pack configuration amount across all clusters meets the maximum pack configuration constraint.
    • 系统和方法被提供用于确定多个包配置以使得可用于分发到多个商店,其中包配置包含产品的多个变体中的每一个的特定数量的单元。 接收多个商店的允许包大小约束,最大包配置约束,不匹配成本数据和产品需求数据。 确定用于商店的第一包和第二包,其中第一包包含产品的每个变体的特定数量,其中第一包满足允许包大小约束并且使商店的不匹配成本最小化。 存储根据需求数据的相似性进行聚类,直到所有集群的总包配置量满足最大包配置约束。
    • 9. 发明申请
    • Cattle management method and system
    • 牛管理方法和系统
    • US20070131175A1
    • 2007-06-14
    • US11701655
    • 2007-02-02
    • William Pratt
    • William Pratt
    • A01K15/02
    • G06Q40/12A01K1/0023A01K1/0209A01K5/02A01K11/006A01K29/00A01K29/005A61B8/0858G06Q10/063G06Q10/0637G06Q10/087
    • A highly automated method and system for providing individual animal electronic identification, measurement and value based management of cattle in a large cattle feedlot. Through the use of (1) a computer system integrated with (2) automatic individual animal identification (3) multiple measurement and remeasurement systems with automatic data input and (4) a cattle handling and sorting system, animals are individually (a) identified and (b) measured by weight, external dimensions and characteristics of internal body tissue. With this information together with animal physiological characteristics and historical data, the computer system calculates the optimum (c) slaughter weight, (d) economic end point and (e) marketing date for shipment to a packing plant. After measurement, individual animals are (f) sorted by direction of the computer in response to calculations from the measurements. The computer system also calculates from individual animal data and other data (g) each animal's pro rata share of total feed intake for the animal's feed group. The computer system (h) stores individual animal measurement, performance and location data, which is used by management to (i) select animals for shipment from the feedlot for slaughter at the optimum time. Following an animal's. shipment to a slaughter facility, its identification in the computer system is used to (1) correlate the live animal physical characteristics and performance data to the measured and evaluated carcass characteristics data obtained during the slaughter process and (k) build a data base to more accurately identify and measure value-based characteristics in subsequent animals produced and fed for more effective value-based selection and management of those animals.
    • 一种高度自动化的方法和系统,用于在大型饲养场中提供牛的个体动物电子识别,测量和价值管理。 通过使用(1)与(2)自动个体动物识别(3)进行自动数据输入的多个测量和重新测量系统(4),牛处理和分拣系统的计算机系统,(1)识别动物, (b)按重量,外部尺寸和内部身体组织的特征进行测量。 通过这些信息与动物生理特征和历史数据,计算机系统计算最佳(c)屠宰重量,(d)经济终点和(e)装运到包装厂的营销日期。 测量后,个体动物(f)按照计算机的方向根据测量的计算进行排序。 计算机系统还根据个体动物数据和其他数据(g)计算每只动物在动物饲料组中总进食量的比例份额。 计算机系统(h)存储个体动物测量,性能和位置数据,由管理层使用(i)在最佳时间从动物饲养场选择动物进行屠宰。 跟随动物的。 运送到屠宰设施,其计算机系统中的识别用于(1)将活体动物的物理特性和性能数据与屠宰过程中获得的测量和评估的胴体特征数据相关联,(k)将数据库建立到更多 准确地识别和测量随后生产的动物中的基于价值的特征,并对其进行更有效的价值选择和管理。
    • 10. 发明申请
    • Method and system for tracking and managing animals and/or food products
    • 跟踪和管理动物和/或食品的方法和系统
    • US20060201432A1
    • 2006-09-14
    • US11336638
    • 2006-01-19
    • William Pratt
    • William Pratt
    • A01K39/00
    • G06Q50/02A01K29/00G06Q10/08G06Q10/0833G06Q10/087G06Q10/10H04B7/26
    • Embodiments of a method and system are described for tracking and managing animals and/or food products. These embodiments can include entering into a computer system identification data for animals and location data for locations occupied by the animals. This data can be collected, for example, by a data service provider and transmitted to a data trustee. The data trustee may filter the data into official data and non-official data. The official data may be sent to an official database. When a public health issue arises, such as an occurrence of mad cow disease, the government may use an identifier for a diseased animal or a location identifier to request a trace report from the data trustee. The data trustee may then use the official data to provide a report showing, for example, which animals have commingled with the diseased animal. Based on this report, other sick or potentially sick animals can be treated, quarantined, or slaughtered. As another example, the disclosed embodiments may be used to facilitate commercial transactions by providing data that validates, for example, an animal's health and food quality.
    • 描述了用于跟踪和管理动物和/或食品的方法和系统的实施例。 这些实施例可以包括进入动物的计算机系统识别数据和动物所占据的位置的位置数据。 该数据可以例如由数据服务提供商收集并传送给数据受托人。 数据受托人可以将数据过滤成官方数据和非官方数据。 官方数据可能会发送到官方数据库。 当发生公共卫生问题,例如发生疯牛病时,政府可以使用患病动物的标识符或位置标识符来请求数据受理人的追踪报告。 然后,数据受托人可以使用官方数据来提供报告,其显示例如哪些动物与患病动物混合。 根据这份报告,可以对其他生病或潜在病毒的动物进行治疗,隔离或屠宰。 作为另一个示例,所公开的实施例可以用于通过提供验证例如动物健康和食品质量的数据来促进商业交易。