-
公开(公告)号：US20120159500A1
公开(公告)日：2012-06-21
申请号：US12971913
申请日：2010-12-17
IPC分类号： G06F9/46
CPC分类号： G06F11/3688
摘要： A method for validating outsourced processing of a priority queue includes configuring a verifier for independent, single-pass processing of priority queue operations that include insertion operations and extraction operations and priorities associated with each operation. The verifier may be configured to validate N operations using a memory space having a size that is proportional to the square root of N using an algorithm to buffer the operations as a series of R epochs. Extractions associated with each individual epoch may be monitored using arrays Y and Z. Insertions for the epoch k may monitored using arrays X and Z. The processing of the priority queue operations may be verified based on the equality or inequality of the arrays X, Y, and Z. Hashed values for the arrays may be used to test their equality to conserve storage requirements.
摘要翻译： 用于验证优先级队列的外包处理的方法包括配置用于对包括插入操作和提取操作以及与每个操作相关联的优先级的优先级队列操作进行独立，单程处理的验证器。 验证器可以被配置为使用具有与N的平方根成比例的大小的存储器空间来验证N个操作，使用算法将该操作缓冲为一系列R个时期。 可以使用阵列Y和Z来监视与每个单个时期相关联的抽取。可以使用阵列X和Z监视历元k的插入。可以基于阵列X，Y的相等或不等式来验证优先级队列操作的处理 ，并且Z.阵列的哈希值可以用于测试它们的相等性以节省存储要求。
-
公开(公告)号：US08612649B2
公开(公告)日：2013-12-17
申请号：US12971913
申请日：2010-12-17
IPC分类号： G06F13/12
CPC分类号： G06F11/3688
摘要： A method for validating outsourced processing of a priority queue includes configuring a verifier for independent, single-pass processing of priority queue operations that include insertion operations and extraction operations and priorities associated with each operation. The verifier may be configured to validate N operations using a memory space having a size that is proportional to the square root of N using an algorithm to buffer the operations as a series of R epochs. Extractions associated with each individual epoch may be monitored using arrays Y and Z. Insertions for the epoch k may monitored using arrays X and Z. The processing of the priority queue operations may be verified based on the equality or inequality of the arrays X, Y, and Z. Hashed values for the arrays may be used to test their equality to conserve storage requirements.
摘要翻译： 用于验证优先级队列的外包处理的方法包括配置用于对包括插入操作和提取操作以及与每个操作相关联的优先级的优先级队列操作进行独立，单程处理的验证器。 验证器可以被配置为使用具有与N的平方根成比例的大小的存储器空间来验证N个操作，使用算法将该操作缓冲为一系列R个时期。 可以使用阵列Y和Z来监视与每个单个时期相关联的抽取。可以使用阵列X和Z监视历元k的插入。可以基于阵列X，Y的相等或不等式来验证优先级队列操作的处理 ，并且Z.阵列的哈希值可以用于测试它们的相等性以节省存储要求。
-
3.发明授权Verification of data stream computations using third-party-supplied annotations 有权使用第三方提供的注释验证数据流计算公开(公告)号：US08799754B2
公开(公告)日：2014-08-05
申请号：US12632345
申请日：2009-12-07
IPC分类号： G06F11/00
CPC分类号： H04L67/20 , G06Q10/10 , H04L67/2804
摘要： A third party that performs data stream computation is requested to return not only the solution to the computation, but also “annotations” to the original data stream. The annotations are then used by the data owner (in actuality, a “verifier” associated with the data owner) to check the results of the third party's computations. As implemented, the verifier combines the annotations with the original data, performs some computations, and is then assured of the correctness of the provided solution. The cost of verification is significantly lower to the data owner than the cost of fully processing the data “in house”.
摘要翻译： 请求执行数据流计算的第三方不仅返回到计算的解决方案，还返回到原始数据流的“注释”。 然后，数据所有者（实际上是与数据所有者相关联的“验证者”）使用注释来检查第三方的计算结果。 如实施的，验证者将注释与原始数据组合，执行一些计算，然后确保所提供的解决方案的正确性。 数据所有者的验证成本明显低于“内部”完全处理数据的成本。
-
公开(公告)号：US06872325B2
公开(公告)日：2005-03-29
申请号：US10238435
申请日：2002-09-09
IPC分类号： B29C39/00 , B29C45/00 , H01F1/055 , H01F1/057 , H01F1/08 , H01F1/113 , H01F1/147 , H01F1/153 , H01F1/26 , H01F1/37 , H01F41/02 , C04B35/04 , H01F1/00
CPC分类号： H01F1/083 , B29C39/003 , B29C45/0001 , B29K2503/06 , B29K2995/0008 , B29K2995/0094 , H01F1/0558 , H01F1/0578 , H01F1/113 , H01F1/14758 , H01F1/15333 , H01F1/15375 , H01F1/26 , H01F1/37 , H01F41/0246 , H01F41/0266
摘要： Briefly, in accordance with one embodiment of the present invention, a process for making a magnetic composite which comprises providing a polymeric resin and a magnetic powder, the magnetic powder having a mean particle size with a value for standard deviation that is less than the value for the mean particle size of the said magnetic powder, the said magnetic composite being made by mixing said magnetic powder with said polymeric resin and molding the said mixture into a desired shape and a size and said magnetic composite having a magnetic permeability between 30 and 50. In another embodiment the present invention is a composition for a magnetic composite comprising a polymeric resin and a magnetic powder, the said powder having a mean particle size with a value of standard deviation that is less than the value of the mean particle size of the magnetic powder, wherein said magnetic composite has a magnetic permeability between about 30 and about 50.
摘要翻译： 简而言之，根据本发明的一个实施方案，制备磁性复合材料的方法包括提供聚合物树脂和磁性粉末，所述磁性粉末的平均粒径具有小于所述值的标准偏差值 对于所述磁性粉末的平均粒度，所述磁性复合材料通过将所述磁性粉末与所述聚合物树脂混合并将所述混合物模制成所需形状和尺寸，并且所述磁性复合材料具有介于30和50之间的磁导率 在另一个实施方案中，本发明是一种用于磁性复合材料的组合物，其包含聚合物树脂和磁性粉末，所述粉末具有的平均颗粒尺寸的标准偏差值小于平均粒度值 磁性粉末，其中所述磁性复合材料具有约30至约50的磁导率。
-
5.发明申请INSULATED NON-HALOGENATED COVERED ALUMINUM CONDUCTOR AND WIRE HARNESS ASSEMBLY 审中-公开绝缘非绝缘覆盖铝导体和线束组件公开(公告)号：US20110079427A1
公开(公告)日：2011-04-07
申请号：US12574893
申请日：2009-10-07
CPC分类号： H01B3/427
摘要： Disclosed herein a covered conductor comprising a conductor and a covering, wherein the covering is disposed over the conductor, wherein the conductor comprises aluminum or an alloy comprising aluminum, wherein the covering comprises a poly(arylene ether) composition, wherein optionally, the covering comprises a poly(arylene ether) composition selected from the group consisting of Noryl resins from SABIC Innovative Plastics, Xyron resins from Asahi Kasei Chemicals Corporation, Iupiace resins from Mitsubishi, Lemalloy resins from Mitsubishi, Polyphenyl Ether resins from Bluestar, Acnor resins from Aquafil Technopolymers, Ashlene resins from Ashley Polymers, Vestoran resins from Evonik Degussa. Further disclosed herein is a wire harness assembly comprising the covered conductor, and an end use equipment comprising the wire harness assembly.
摘要翻译： 本文公开了包括导体和覆盖物的覆盖导体，其中所述覆盖物设置在所述导体上方，其中所述导体包括铝或包含铝的合金，其中所述覆盖物包括聚（亚芳基醚）组合物，其中所述覆盖物包括 选自SABIC Innovative Plastics的Noryl树脂，Asahi Kasei Chemicals Corporation的Xyron树脂，Mitsubishi的Iupiace树脂，Mitsubishi的Lemalloy树脂，来自Bluestar的聚苯基醚树脂，来自Aquafil Technopolymers的Acnor树脂的聚（亚芳基醚）组合物， 来自Ashley Polymers的Ashlene树脂，Evonik Degussa的Vestoran树脂。 本文进一步公开的是包括被覆导体的线束组件和包括线束组件的端部使用设备。
-
6.发明申请Verification Of Data Stream Computations Using Third-Party-Supplied Annotations 有权使用第三方提供的注释验证数据流计算公开(公告)号：US20110138264A1
公开(公告)日：2011-06-09
申请号：US12632345
申请日：2009-12-07
IPC分类号： G06F11/07
CPC分类号： H04L67/20 , G06Q10/10 , H04L67/2804
摘要： A third party that performs data stream computation is requested to return not only the solution to the computation, but also “annotations” to the original data stream. The annotations are then used by the data owner (in actuality, a “verifier” associated with the data owner) to check the results of the third party's computations. As implemented, the verifier combines the annotations with the original data, performs some computations, and is then assured of the correctness of the provided solution. The cost of verification is significantly lower to the data owner than the cost of fully processing the data “in house”.
摘要翻译： 请求执行数据流计算的第三方不仅返回到计算的解决方案，还返回到原始数据流的“注释”。 然后，数据所有者（实际上是与数据所有者相关联的“验证者”）使用注释来检查第三方的计算结果。 如实施的，验证者将注释与原始数据组合，执行一些计算，然后确保所提供的解决方案的正确性。 数据所有者的验证成本明显低于“内部”完全处理数据的成本。
-
-
-
-
-
搜索结果
6 条记录 (耗时 0.02 秒)
