公开(公告)号：US20120194119A1

公开(公告)日：2012-08-02

申请号：US13018391

申请日：2011-01-31

Applicant: Ryan Kroeze ,  Colin Campbell ,  Nicholas R. Kalayjian

Inventor： Ryan Kroeze ,  Colin Campbell ,  Nicholas R. Kalayjian

IPC: H02P27/06 ,  H02H7/122

CPC classification number: H02M7/538 ,  H02M1/32 ,  H02P27/06 ,  H03K17/0822 ,  H03K17/166

Abstract: An apparatus includes an inverter including a high-side switch coupled to a low-side switch, the inverter generating a time-varying drive current from a plurality of drive control signals, a positive rail voltage, and a negative rail voltage wherein controlling the switches to generate the time-varying drive current produces a potential transitory overshoot condition for one of the switches of the inverter; a drive control, coupled to the inverter, to generate the drive control signals and to set a level of each of the rail voltages responsive to a plurality of controller signals; and a controller monitoring one or more parameters indicative of the potential transitory voltage overshoot condition, the controller dynamically adjusting, responsive to the monitored parameters, the controller signals to reduce a risk of occurrence of the potential transitory voltage overshoot condition.

Abstract translation: 一种装置包括：逆变器，包括耦合到低侧开关的高侧开关，所述逆变器从多个驱动控制信号，正轨电压和负轨电压产生时变驱动电流，其中控制开关 以产生时变驱动电流产生逆变器的一个开关的潜在的瞬时过冲条件; 驱动控制，耦合到所述逆变器，以产生所述驱动控制信号，并响应于多个控制器信号设置每个所述轨电压的电平; 以及控制器，其监测指示潜在的瞬时电压过冲条件的一个或多个参数，所述控制器响应于所监视的参数动态地调整所述控制器信号以减少所述潜在的瞬时电压过冲状况的发生的风险。

公开(公告)号：US20110072450A1

公开(公告)日：2011-03-24

申请号：US12913672

申请日：2010-10-27

Applicant: Michael Kokernak ,  Madeleine Noland ,  Colin Campbell ,  Gordon Bechtel

Inventor： Michael Kokernak ,  Madeleine Noland ,  Colin Campbell ,  Gordon Bechtel

IPC: H04N7/16

CPC classification number: H04N21/4622 ,  H04N7/17318 ,  H04N21/2347 ,  H04N21/4722 ,  H04N21/6118 ,  H04N21/6125 ,  H04N21/812 ,  H04N21/814 ,  H04N21/858

Abstract: The invention relates, in various aspects, to systems and methods for linking content stored on a computer network with content broadcast over a television network. The system includes a database, a trigger mechanism, a communications interface, and a packet generator. The database stores tokens representative of links to the stored content and delivery information representative of at least a duration for delivering the token. The trigger mechanism indicates an instruction to deliver a token over the television network, generating a signal indicating a respective one of the stored tokens and a time for starting the delivery of the respective token. The communications interface has a channel in communication with a television set top box device for transferring the respective token to the television set top box device. The packet generator generates packets within a stream of television content to be broadcast over the television network.

Abstract translation: 本发明在各个方面涉及用于将存储在计算机网络上的内容与通过电视网络广播的内容相关联的系统和方法。 该系统包括数据库，触发机制，通信接口和分组生成器。 数据库存储代表存储的内容的链接的代表和代表用于递送令牌的至少持续时间的递送信息。 触发机制指示在电视网络上传递令牌的指令，产生指示所存储的令牌中的相应一个的信号和用于开始相应令牌的发送的时间。 通信接口具有与电视机顶盒设备通信的通道，用于将相应的令牌传送到电视机顶盒设备。 分组生成器在电视内容流中生成要在电视网络上广播的分组。

公开(公告)号：US20080318798A1

公开(公告)日：2008-12-25

申请号：US11886245

申请日：2006-03-23

Applicant: Colin Campbell ,  Peter Ghazal ,  Juraj Petrik ,  Janine Scott Robb

Inventor： Colin Campbell ,  Peter Ghazal ,  Juraj Petrik ,  Janine Scott Robb

IPC: C40B30/04 ,  G01N33/00 ,  G01N33/569 ,  G01N33/53 ,  G01N33/554 ,  G01N33/567

CPC classification number: B82Y15/00 ,  G01N33/56966 ,  G01N33/80

Abstract: The present invention relates to methods of detecting specific cell surface antigens present in a sample of cells being tested and in particular blood group antigens, which methods do not employ the addition of extrinsic labels to detect said cell surface antigens. Typically detection is carried out using an intrinsic fluorescence capability of the cells being tested.

Abstract translation: 本发明涉及检测存在于待测细胞样品中，特别是血型抗原的特异性细胞表面抗原的方法，该方法不使用外来标记物的添加来检测所述细胞表面抗原。 通常使用被测细胞的固有荧光能力进行检测。

公开(公告)号：US20070168927A1

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

申请号：US11322781

申请日：2005-12-30

Applicant: Colin Campbell ,  Margus Veanes ,  Nicolas Kicillof ,  Nikolai Tillmann ,  Wolfgang Grieskamp ,  Wolfram Schulte

Inventor： Colin Campbell ,  Margus Veanes ,  Nicolas Kicillof ,  Nikolai Tillmann ,  Wolfgang Grieskamp ,  Wolfram Schulte

IPC: G06F9/44

CPC classification number: G06F8/10 ,  G06F11/3672

Abstract: A model composition environment can allow for description of fill or partial symbolic system behavior, as well as the combination of models of specific features into compound models. Compositional operators can include intersection, concatenation, substitution, alternating refinement, as well as a set of regular expression-like operators. Models called “action machines” can represent object-oriented, reactive programs, and an action machine may be composed with another action machine using a compositional operator. This can allow for testing of particular scenarios or behaviors.

Abstract translation: 模型组合环境可以允许对填充或部分符号系统行为的描述，以及将特定特征的模型组合到复合模型中。 组合运算符可以包括交集，连接，替换，交替细化，以及一组正则表达式运算符。 称为“动作机器”的模型可以表示面向对象的，反应性的程序，并且动作机器可以由使用组合操作符的另一动作机构组成。 这可以允许测试特定的场景或行为。

公开(公告)号：US20060282419A1

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

申请号：US11140061

申请日：2005-05-28

Applicant: Siddhartha Sen ,  Joseph Joy ,  Nikolai Tillmann ,  Colin Campbell ,  Margus Veanes

Inventor： Siddhartha Sen ,  Joseph Joy ,  Nikolai Tillmann ,  Colin Campbell ,  Margus Veanes

IPC: G06F17/30

CPC classification number: G06F11/3636 ,  G06F11/3644 ,  Y10S707/99934

Abstract: Diagnosing problems in distributed systems. In one aspect, a model of a distributed system defines trace statements are generated by various nodes of the system and placed in log files. The log files are sent to an automatic validator that attempts to reconcile the trace statements against the model. Results of the attempt are indicated. In another aspect, trace statements are received by a multiplexer that creates an ordering via sequence numbers. The ordering is forwarded to an automatic validator to determine whether the trace statements indicate correct behavior.

公开(公告)号：US20060179383A1

公开(公告)日：2006-08-10

申请号：US11041087

申请日：2005-01-21

Applicant: Andreas Blass ,  Colin Campbell ,  Lev Nachmanson ,  Margus Veanes ,  Michael Barnett ,  Nikolai Tillmann ,  Wolfgang Grieskamp ,  Wolfram Schulte ,  Yuri Gurevich

Inventor： Andreas Blass ,  Colin Campbell ,  Lev Nachmanson ,  Margus Veanes ,  Michael Barnett ,  Nikolai Tillmann ,  Wolfgang Grieskamp ,  Wolfram Schulte ,  Yuri Gurevich

IPC: G01R31/28 ,  G06F11/00

CPC classification number: G06F11/263

Abstract: State spaces are traversed to produce test cases, or test coverage. Test coverage is a test suite of sequences. Accepting states are defined. Expected costs are assigned to the test graph states. Strategies are created providing transitions to states with lower expected costs. Linear programs and other approximations are discussed for providing expected costs. Strategies are more likely to provide access to an accepting state, based on expected costs. Strategies are used to append transitions to test segments such that the new test segment ends in an accepting state.

公开(公告)号：US20060161404A1

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

申请号：US11040187

申请日：2005-01-20

Applicant: Colin Campbell ,  Lev Nachmanson ,  Margus Veanes ,  Wolfgang Grieskamp ,  Wolfram Schulte ,  Nikolai Tillmann

Inventor： Colin Campbell ,  Lev Nachmanson ,  Margus Veanes ,  Wolfgang Grieskamp ,  Wolfram Schulte ,  Nikolai Tillmann

IPC: G06F17/10

CPC classification number: G06F11/3688

Abstract: Exploration algorithms are relevant to the industrial practice of generating test cases from an abstract state machine whose runs define the predicted behavior of the software system under test. Here, a new exploration algorithm allows multiple state groupings to simultaneously guide the search for states that are interesting or relevant for testing. In some cases, the algorithm allows exploration to be optimized from exponential to linear complexity. An extended example is included that illustrates the use of the algorithm.

Abstract translation: 探索算法与从运行定义被测软件系统的预测行为的抽象状态机生成测试用例的工业实践相关。 这里，新的探索算法允许多个状态分组同时引导搜索对于测试有趣或相关的状态。 在某些情况下，该算法允许探索从指数线性复杂度进行优化。 包括一个扩展示例，说明了算法的使用。

公开(公告)号：US06962467B2

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

申请号：US10497960

申请日：2002-11-05

Applicant: James George Ryerson ,  Colin Campbell

Inventor： James George Ryerson ,  Colin Campbell

IPC: B01D17/00 ,  B01D17/022 ,  B01J20/16 ,  B01J20/18 ,  B01J20/28 ,  B09C1/02 ,  B09C1/08 ,  C09K3/32 ,  C10G1/04 ,  B09B1/00

CPC classification number: B01J20/28045 ,  B01D17/00 ,  B01D17/0202 ,  B01J20/16 ,  B01J20/183 ,  B01J20/28026 ,  B01J20/3408 ,  B09C1/02 ,  B09C1/08 ,  C09K3/32 ,  C10G1/047

Abstract: A method of removal of hydrocarbons from soils using solids-loaded polymer foam. A first step involves providing a solids-loaded polymer foam consisting of an open-celled polymer foam matrix with zeolite dispersed and bound throughout the foam matrix. A second step involves mixing soils containing hydrocarbons, solids-loaded polymer and water. It has been found that hydrocarbons are adsorbed by the solids-loaded polymer foam. The order of mixing can be altered to suit particular applications. A recovery step can be added to recover the hydrocarbons from the solids-loaded polymer foam.

Abstract translation: 使用固体负载聚合物泡沫从土壤中去除烃的方法。 第一步包括提供由开孔聚合物泡沫基质组成的固体负载的聚合物泡沫，其中沸石分散并结合整个泡沫基质。 第二步涉及混合含有碳氢化合物，固体负载聚合物和水的土壤。 已经发现烃被固体负载聚合物泡沫吸附。 可以改变混合顺序以适应特殊应用。 可以加入回收步骤以从固体负载聚合物泡沫中回收烃。

公开(公告)号：US09201524B2

公开(公告)日：2015-12-01

申请号：US14126153

申请日：2012-04-12

Applicant: Colin Campbell ,  Hazel McInnes ,  Ewan Findlay

Inventor： Colin Campbell ,  Hazel McInnes ,  Ewan Findlay

IPC: G06M7/00 ,  G06F3/0354 ,  G06F3/042 ,  H01L25/16

CPC classification number: G06F3/03547 ,  G06F3/0421 ,  H01L25/167 ,  H01L2924/0002 ,  H01L2924/00

Abstract: An optical navigation device for use with mobile telephones and the like is disclosed, which has a reduced height as compared with current designs. The navigation device comprises a laser such as a VCSEL laser, an exposed user surface and two other surfaces that provide for total internal reflection of the incident laser beam. The surfaces are constructed with shallower than normal angles, preserving the basic functionality of the device while reducing the height.

Abstract translation: 公开了一种与移动电话等一起使用的光学导航装置，其与当前设计相比具有降低的高度。 导航装置包括诸如VCSEL激光器的激光器，暴露的使用者表面和提供入射激光束的全内反射的两个其它表面。 表面构造成比普通角度浅，保持设备的基本功能同时降低高度。

公开(公告)号：US08855955B2

公开(公告)日：2014-10-07

申请号：US11238470

申请日：2005-09-29

Applicant: Kia Peyvan ,  Michael Bizak ,  Colin Campbell ,  Rand William Lee

Inventor： Kia Peyvan ,  Michael Bizak ,  Colin Campbell ,  Rand William Lee

IPC: G01R19/00

CPC classification number: G01R19/0092 ,  G01N27/3277

Abstract: There is disclosed a process and apparatus for reading electrical current of electrodes on a microarray of electrodes. Those electrodes having binding events are detected by a difference in electrical current flow. Enzymes on targets catalyze the conversion of substrate to product, which is detectable by electrochemical reduction at each electrode on the microarray of electrodes. The apparatus has an integration circuit that provides a voltage output that is measured and recorded over time and used to calculate an average current flow. A potentiometer equalizes voltage at electrodes undergoing measurement compared to grounded electrodes.

Abstract translation: 公开了一种在电极微阵列上读取电极的电流的方法和装置。 具有结合事件的那些电极通过电流流动的差异来检测。 靶上的酶催化底物转化为产物，这可以通过电极微阵列上每个电极的电化学还原来检测。 该装置具有集成电路，其提供随时间测量和记录的电压输出，并用于计算平均电流。 与接地电极相比，电位器可以均衡电极的电压。