公开(公告)号：US20050183099A1

公开(公告)日：2005-08-18

申请号：US10816558

申请日：2004-03-30

申请人： L. Meredith ,  Allen Brown ,  David Richter ,  George Moore

发明人： L. Meredith ,  Allen Brown ,  David Richter ,  George Moore

IPC分类号： G06F9/44 ,  G06F9/46 ,  G06F15/00

CPC分类号： G06F9/46 ,  G06F8/314

摘要： A reflective process algebra called the ρ-calculus facilitates the serialization of processes at the level of the reflective process algebra. The reflective process algebra because of its reflective properties, can be used on computing systems with finite resources. The reflective process calculus can be made to be sensitive to resources, such as memory and bandwidth, hence facilitating its use as a programming language at the machine level. The reflective process calculus causes the dual nature of a computation entity to be exposed. A name can be caused to become a process and a process can be caused to become a name.

摘要翻译： 称为rho演算的反射过程代数有助于反射过程代数级别的过程的序列化。 反射过程代数由于其反射特性，可用于具有有限资源的计算系统。 可以使反射过程微积分对诸如存储器和带宽的资源敏感，因此有助于其在机器级上用作编程语言。 反射过程演算导致计算实体的双重性质暴露出来。 一个名字可能会成为一个过程，一个过程可能会成为一个名字。

公开(公告)号：US20050131978A1

公开(公告)日：2005-06-16

申请号：US10903959

申请日：2004-07-30

申请人： Lucius Meredith ,  Allen Brown ,  David Richter

发明人： Lucius Meredith ,  Allen Brown ,  David Richter

IPC分类号： G06F9/50 ,  G06F7/38 ,  G06F17/00 ,  G06F17/30 ,  H04L12/24 ,  H04L12/44 ,  H04L12/56

CPC分类号： H04L41/5009 ,  H04L41/046 ,  H04L41/147 ,  H04L41/22 ,  H04L41/5006

摘要： The systems and methods of the present invention utilize stochastic calculus (e.g., pi calculus) to determine (e.g., specify, predict, etc.) quality of service that includes at least one of rate, uptime and capacity. The quality of service can be indicative of a level of service provided and/or required by an agent (e.g., a web service). The quality of service can be obtained by representing an agent's contract via a model (e.g., state diagram or mathematical algorithm) and decorating the model with cost functions that are utilized to compute transition costs that are employed to predict associated rates for respective transitions. The model can further be decorated with error states to determine uptime and employed to determine channel capacity. In general, the quality service of a requesting agent and a providing agent can be compared to determine whether the providing agent can satisfy the level of performance of the requesting agent.

摘要翻译： 本发明的系统和方法利用随机演算（例如，pi演算）来确定（例如，指定，预测等）包括速率，正常运行时间和容量中的至少一个的服务质量。 服务质量可以指示代理（例如，web服务）提供和/或要求的服务水平。 可以通过经由模型（例如，状态图或数学算法）来代理代理人的合同并且利用用于计算用于预测相应转换的相关联速率的转换成本的成本函数来装饰模型来获得服务质量。 该模型可以进一步用错误状态进行装饰，以确定正常运行时间并用于确定通道容量。 通常，可以比较请求代理和提供代理的质量服务，以确定提供代理是否能够满足请求代理的执行级别。

公开(公告)号：US20080183984A1

公开(公告)日：2008-07-31

申请号：US11700335

申请日：2007-01-31

申请人： Dale Beucler ,  Allen Brown

发明人： Dale Beucler ,  Allen Brown

IPC分类号： G06F12/00

CPC分类号： G11C7/1006 ,  G11C7/1075 ,  G11C7/22

摘要： An integrated circuit includes an array of memory cells, addressing circuitry, and timing and control logic. The array of memory cells is configured to store data bits. The addressing circuitry is configured to address multiple locations of memory cells in response to a clock signal. The timing and control logic is responsive to the clock signal and configured to control a read-modify-write operation to read a first group of data bits from a first address location, modify at least one of the bits of the first group, and write the modified first group to the first address location. The read-modify-write operation is performed within one cycle of the clock signal.

摘要翻译： 集成电路包括存储器单元阵列，寻址电路以及定时和控制逻辑。 存储单元阵列被配置为存储数据位。 寻址电路被配置为响应于时钟信号寻址存储器单元的多个位置。 定时和控制逻辑响应于时钟信号并且被配置为控制读 - 修改 - 写操作以从第一地址位置读取第一组数据位，修改第一组的至少一个位，并写入 修改后的第一组到第一个地址位置。 读 - 修改 - 写操作在时钟信号的一个周期内执行。

公开(公告)号：US20060080600A1

公开(公告)日：2006-04-13

申请号：US11260656

申请日：2005-10-27

申请人： Christopher Kaler ,  Allen Brown ,  Robert Atkinson ,  Steven Lucco

发明人： Christopher Kaler ,  Allen Brown ,  Robert Atkinson ,  Steven Lucco

IPC分类号： G06F17/21

CPC分类号： G06F17/30961 ,  G06F17/2229 ,  G06F17/2247 ,  G06F17/227

摘要： A group identifier represents an association between each of a number of different abbreviated namespace identifiers with a corresponding hierarchical namespace (e.g., an XML namespace). A hierarchically-structured document (e.g., an XML document) is accessed by a computing system that determines that the group identifier is associated with the hierarchically-structured document. Hence, when using the abbreviated namespace identifiers in the hierarchically-structured document, the computing system knows that the corresponding namespace is associated with the designated portions of the hierarchically-structured document. Also, a schema description language document (e.g., an XSD document) may specify multiple target namespaces for a single element. Accordingly, groupings of elements may be included in different namespaces to creating overlapping or even nested namespaces.

公开(公告)号：USD321052S

公开(公告)日：1991-10-22

申请号：US199591

申请日：1988-05-27

申请人： Allen Brown ,  Jesse L. Colodner

设计人： Allen Brown ,  Jesse L. Colodner

公开(公告)号：US20070084906A1

公开(公告)日：2007-04-19

申请号：US11249668

申请日：2005-10-13

申请人： Chris Vargas ,  John Mullooly ,  Allen Brown

发明人： Chris Vargas ,  John Mullooly ,  Allen Brown

IPC分类号： B23K31/00 ,  B23K31/02

CPC分类号： B23P6/007 ,  B23K33/004 ,  B23K2101/001 ,  B23P6/045 ,  F01D5/005 ,  F05D2230/232 ,  F05D2230/80 ,  Y10T29/49318 ,  Y10T29/49728

摘要： A method of hole defect repair includes removing one or more defects at or near a desired hole shape in a substrate by removing a non-concentric portion of the substrate proximate the desired hole shape, and welding a filler material to the substrate after removing the non-concentric portion of the substrate.

摘要翻译： 孔缺陷修复的方法包括通过去除基本上邻近所需孔形状的基底的非同心部分来去除衬底中所需孔形状或其附近的一个或多个缺陷，并且在将非填充材料除去非孔 基底的同心部分。

公开(公告)号：US20070079287A1

公开(公告)日：2007-04-05

申请号：US11320122

申请日：2005-12-28

申请人： Allen Brown ,  Matthew Fuchs

发明人： Allen Brown ,  Matthew Fuchs

IPC分类号： G06F9/44

CPC分类号： G06F8/311

摘要： Systems and methods for incorporating qualified, polymorphic, hedge-regular types into computer-programming languages are disclosed. A programming language having such a type system, and a typing system for such a programming language are also disclosed. Also described is Haxell, an effort to completely integrate regular hedge pattern-matching into Haskell. Haxell is a Haskell embodiment of a set of concepts that may be applied to any of a number of functional and/or traditional languages.

摘要翻译： 公开了将合格，多态，对冲常规类型并入计算机编程语言的系统和方法。 还公开了具有这种类型系统的编程语言，以及用于这种编程语言的打字系统。 还描述了Haxell，一个完整的整合定期对冲模式匹配到Haskell的努力。 Haxell是一组可以应用于多种功能和/或传统语言的概念的Haskell实例。

公开(公告)号：US20050000779A1

公开(公告)日：2005-01-06

申请号：US10800070

申请日：2004-03-12

申请人： Raymond Neiser ,  Justin Zimmer ,  Martin Heit ,  Allen Brown

发明人： Raymond Neiser ,  Justin Zimmer ,  Martin Heit ,  Allen Brown

IPC分类号： B65G47/84 ,  B65G47/46

CPC分类号： B65G47/34 ,  B65G47/844 ,  B65G2201/025 ,  B65G2207/36

摘要： A sortation conveyor has a divert guide path which is configured to guide pushers to engage articles disposed on an endless conveying surface at an initial impact which does not result in an out of control situation even at high speeds. The divert guide path is disposed at a plurality of divert angles, and guides pushers to engage articles at a low initial contact divert angle and first lateral speed and to accelerate the articles to a final divert angle and second, higher, lateral speed. The pushers may be undergoing lateral acceleration at the time initial contact is made with the articles.

摘要翻译： 分选输送机具有转向引导路径，其被构造成引导推动器以在初始冲击下接合设置在环形输送表面上的物品，即使在高速下也不会导致失控。 转向引导路径设置在多个转向角度，并且引导推动器以低的初始接触转向角度和第一横向速度接合物品，并且将物品加速到最终的转向角度和第二，更高的横向速度。 在与物品进行初始接触时，推动器可能经历横向加速。

公开(公告)号：US11581714B1

公开(公告)日：2023-02-14

申请号：US16847786

申请日：2020-04-14

申请人： Allen Brown

发明人： Allen Brown

IPC分类号： H02G1/08 ,  H04N5/225

摘要： The system for pulling wire through a conduit includes a cable puller and a remote controller. The cable puller may pull a wire through a conduit. The wire may be removably coupled to a cable coupler located on the rear of the cable puller. The cable puller may be inserted into a first end of the conduit and may progress to a second end of the conduit under the influence of a plurality of tractors. A camera that is mounted on a faceplate at the front of a housing of the cable puller may transmit one or more images to the remote controller. One or more visible light sources and one or more infrared light sources may provide illumination for the camera. Movements of the cable puller may be controlled remotely using the remote controller.

公开(公告)号：US08407242B2

公开(公告)日：2013-03-26

申请号：US12970831

申请日：2010-12-16

申请人： Thomas E Jackson ,  Stuart Bowers ,  Chris Karkanias ,  Allen Brown ,  David Campbell ,  Brian Aust

发明人： Thomas E Jackson ,  Stuart Bowers ,  Chris Karkanias ,  Allen Brown ,  David Campbell ,  Brian Aust

IPC分类号： G06F17/30

CPC分类号： G06F17/30551

摘要： Described are techniques to facilitate temporal features in a semantic data store. Information about lifetimes of facts in a semantic store is maintained. Even when a fact is logically deleted, a physical record is kept available. The record of a logically deleted or invalid fact has associated lifetime information. For example, valid-from and valid-to time values. The record of a fact not yet deleted may have a valid-from time value indicating when it was created, became valid, etc. Queries against the semantic store may specify a timeslice (a point in time or a time range). The lifetime information can be used to satisfy such time-specific queries. Because records are maintained after they are logically deleted, it is also possible to accurately query a past state of the semantic store. Even if such a query is run at different times, same results may be obtained.

摘要翻译： 描述了促进语义数据存储中的时间特征的技术。 维护关于语义商店中事实的生命周期的信息。 即使事实被逻辑删除，物理记录仍然可用。 逻辑删除或无效事实的记录具有关联的生命周期信息。 例如，从有效到有效到时间值。 尚未被删除的事实的记录可以具有指示何时被创建，变得有效的有效时间值。对于语义存储的查询可以指定时间片（时间点或时间范围）。 生命周期信息可用于满足这种特定于时间的查询。 因为记录在逻辑删除之后被维护，所以也可以准确地查询语义存储的过去状态。 即使这样的查询在不同的时间运行，也可以获得相同的结果。