公开(公告)号：US20060242466A1

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

申请号：US11112282

申请日：2005-04-21

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

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

IPC: G06F11/00

CPC classification number: G06F11/3684

Abstract: Techniques and tools for generating test cases for methods or programs with input preconditions are described. For example, after finding feasible control flow paths for a tested method along with each path's associated input conditions, a new program is created which tests these conditions along with the precondition. By analyzing this new program's control flow graph, a class of test cases is found while avoiding inefficiencies created by doing complete searches of paths through the combined control flow graph of the precondition and the method. Additional efficiencies are introduced by partitioning a control flow graph for the precondition into branched and straight sections.

Abstract translation: 描述用于为具有输入前提条件的方法或程序生成测试用例的技术和工具。 例如，在为每个路径的相关输入条件找到可行的控制流路之后，创建一个与前提条件一起测试这些条件的新程序。 通过分析这个新程序的控制流图，发现了一类测试用例，同时避免了通过前提条件和方法的组合控制流程图完成对路径的搜索而产生的低效率。 通过将前提条件的控制流程图划分为分支和直线部分来引入额外的效率。

公开(公告)号：US20060224924A1

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

申请号：US11097684

申请日：2005-03-31

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

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

IPC: G06F11/00

CPC classification number: G06F11/3672

Abstract: Techniques and tools for generating finite state machines (“FSMs”) for a software system with asynchronous callbacks are described. For example, method invocations in a model of the software system are partitioned into observable and controlled method invocations. The controlled method invocations are those which can be run from a test harness while the observed method invocations are those which are observed asynchronously as they are invoked in the system. An FSM is created with observation and control nodes such that observable transitions are found from observation nodes and controlled transitions are found from control nodes. If a state of the model contains both controlled and observable invocations, a timeout transition is added to the FSM to give an implementation time to come up with an observed method invocation before continuing to controlled invocations.

公开(公告)号：US08798117B1

公开(公告)日：2014-08-05

申请号：US12549675

申请日：2009-08-28

Applicant: Colin Campbell ,  Oliver Charlesworth

Inventor： Colin Campbell ,  Oliver Charlesworth

IPC: H04B1/00

CPC classification number: H04L25/0212 ,  H04B1/7117 ,  H04B7/0814 ,  H04B7/0897 ,  H04L25/0204

Abstract: Methods and apparatus for efficiently implementing a rake receiver which allows for rake receiver elements, e.g., fingers, to be dynamically assigned to antenna elements are described. In at least some embodiments multiple antennas are used. Rake elements are allocated to antennas in a dynamic manner with sets of weights also being assigned dynamically, e.g., based on channel estimates. Rake finger assignment to antenna's is made, in some embodiments, to maximize signal recovery taking into consideration the channel conditions detected by each antenna for the various delays that may be supported. Through the dynamic assignment of rake finger's to antenna's, a single rake finger may be coupled to different antennas at different times allowing for more efficient use as compared to systems where rake fingers are dedicated on a fixed basis to an individual antenna.

Abstract translation: 描述了有效地实现允许将耙式接收器元件（例如，手指）动态分配给天线元件的耙式接收器的方法和装置。 在至少一些实施例中，使用多个天线。 耙式元件以动态方式分配给天线，其中还可以动态地分配权重集合，例如基于信道估计。 在一些实施例中，为了最大化信号恢复，考虑到每个天线检测到的信道条件可以被支持的各种延迟，进行到天线的耙指分配。 通过将耙指的动态分配到天线，与在单个天线固定耙指专用的系统相比，单个耙指可以在不同时间耦合到不同的天线，从而能够更有效地使用。

公开(公告)号：US20140110564A1

公开(公告)日：2014-04-24

申请号：US14126153

申请日：2012-04-12

Applicant: Colin Campbell ,  Hazel McInnes ,  Ewan Findlay

Inventor： Colin Campbell ,  Hazel McInnes ,  Ewan Findlay

IPC: G06F3/0354 ,  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激光器的激光器，暴露的使用者表面和提供入射激光束的全内反射的两个其它表面。 表面构造成比普通角度浅，保持设备的基本功能同时降低高度。

公开(公告)号：US08441826B2

公开(公告)日：2013-05-14

申请号：US13018379

申请日：2011-01-31

Applicant: Ryan Kroeze ,  Colin Campbell ,  Nicholas Robert Kalayjian

Inventor： Ryan Kroeze ,  Colin Campbell ,  Nicholas Robert Kalayjian

IPC: H02M7/538

CPC classification number: H02M7/487

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.

公开(公告)号：US20120195085A1

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

申请号：US13018379

申请日：2011-01-31

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

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

IPC: H02M7/5387

CPC classification number: H02M7/487

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.

公开(公告)号：US08133676B2

公开(公告)日：2012-03-13

申请号：US11640066

申请日：2006-12-15

Applicant: Brajesh Singh ,  Colin Campbell

Inventor： Brajesh Singh ,  Colin Campbell

IPC: C12P19/34

CPC classification number: C12Q1/683 ,  C12Q1/6858 ,  C12Q2563/107 ,  C12Q2545/114 ,  C12Q2537/143

Abstract: There is provided a method of nucleic acid analysis which allows analysis of genetic diversity in multiple populations to be performed rapidly and simultaneously. The method comprises (a) isolating nucleic acid from said sample; (b) providing at least two pairs of labelled primers, wherein each said primer pair is complementary to a marker sequence in a nucleic acid of at least one member; (c) amplifying the nucleic acid; (d) digesting the labelled amplified nucleic acid with at least one restriction enzyme to produce restriction fragments, and size sorting said fragments to produce a restriction fragment length profile, and (e) analysing said restriction fragment length profile so obtained; wherein the primer pairs provided for each marker have a different sequence to the sequence of the primer pairs for each other marker, and wherein each said primer pair is uniquely labelled relative to the other primer pair(s). In one embodiment each primer pair is uniquely labelled at the 5′ end with a fluorophore. The restriction fragments can be conveniently analysed by a DNA sequencer. The method of the invention has the advantage that it allows nucleic acid amplified using multiple marker sequences to be simultaneously analysed.

Abstract translation: 提供了一种核酸分析方法，其允许快速和同时地进行多个群体中遗传多样性的分析。 该方法包括（a）从所述样品中分离核酸; （b）提供至少两对标记的引物，其中每个所述引物对与至少一个成员的核酸中的标记序列互补; （c）扩增核酸; （d）用至少一种限制酶消化标记的扩增核酸以产生限制性片段，并对所述片段进行大小排序以产生限制性片段长度分布，和（e）分析如此获得的所述限制性片段长度分布; 其中为每个标记提供的引物对具有与每个其他标记的引物对的序列不同的序列，并且其中每个所述引物对相对于另一个引物对唯一地标记。 在一个实施方案中，每个引物对在5'端用荧光团唯一地标记。 限制性片段可以通过DNA测序仪方便地分析。 本发明的方法的优点是允许同时分析使用多个标记序列扩增的核酸。

公开(公告)号：US20120022938A1

公开(公告)日：2012-01-26

申请号：US13190289

申请日：2011-07-25

Applicant: Blair William McNea ,  Colin Campbell ,  Steven Vanderburg

Inventor： Blair William McNea ,  Colin Campbell ,  Steven Vanderburg

IPC: G06Q30/00

CPC classification number: G06Q30/016 ,  G06Q20/407 ,  G06Q30/01 ,  G06Q30/0243 ,  G06Q30/0244 ,  G06Q50/188 ,  H04L51/36 ,  H04M15/46

Abstract: Novel tools and techniques to optimize, from a merchant's perspective, the outcomes of interactions between the merchant and its customers (whether existing, new, or potential customers). In an aspect, certain embodiments allow for multiple variations of options (multivariate or A/B testing) and outcomes which can be statistically applied and then measured and analyzed for best economic impact or preferred outcome.

Abstract translation: 从商家的角度，优化商家与客户（无论是现有客户，新客户还是潜在客户）之间的互动结果的新工具和技术。 在一个方面，某些实施例允许选项（多变量或A / B测试）和结果的多种变化，其可以被统计学应用，然后测量和分析以获得最佳经济影响或优选结果。

公开(公告)号：US08103495B2

公开(公告)日：2012-01-24

申请号：US11835853

申请日：2007-08-08

Applicant: Margus Veanes ,  Colin Campbell ,  Wolfram Schulte

Inventor： Margus Veanes ,  Colin Campbell ,  Wolfram Schulte

IPC: G06F9/45

CPC classification number: H04L69/03

Abstract: Modeling protocols. A method includes accessing a number of model programs. Each model program includes computer-executable instructions. The computer-executable instructions describe the behavior of at least one of another program, system, or component. Model programs may be disjointed in that they have independent meaning or dependent in that they include at least one of a state variable, action, or precondition that is dependent on another model program to impart meaning to the model program. An output model program is composed by unification including substituting state variables into another of the model programs without executing the model programs. Traces are generated from the output model program. Each of the traces includes a path of labels. The labels describe actions of the output model program from an initial state to an accepting state where a run is allowed to stop. The traces are output to a user.

Abstract translation: 建模协议。 一种方法包括访问多个模型程序。 每个模型程序都包含计算机可执行指令。 计算机可执行指令描述了另一个程序，系统或组件中的至少一个的行为。 模型程序可能会脱节，因为它们具有独立意义或依赖性，因为它们包括依赖于另一模型程序以赋予模型程序意义的状态变量，动作或前提条件中的至少一个。 输出模型程序由统一组成，包括将状态变量替换为另一个模型程序，而不执行模型程序。 轨迹是从输出模型程序生成的。 每条轨迹都包含标签的路径。 标签描述了输出模型程序从初始状态到允许运行停止的接受状态的动作。 轨迹输出到用户。

公开(公告)号：US20110077166A1

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

申请号：US12922140

申请日：2009-03-10

Applicant: Colin Campbell ,  Holger Schulze ,  Till Bachmann

Inventor： Colin Campbell ,  Holger Schulze ,  Till Bachmann

IPC: C40B30/04 ,  C40B50/18 ,  C40B40/04 ,  C40B40/06 ,  C40B40/10 ,  C40B40/12

CPC classification number: C12Q1/6837 ,  B01J2219/00605 ,  B01J2219/00626 ,  B01J2219/00637 ,  B01J2219/00659 ,  B01J2219/00722 ,  B01J2219/00725 ,  C40B50/18 ,  C40B70/00 ,  G01N33/54353

Abstract: Provided is a method of attaching a substance to a surface, which method comprises contacting a surface comprising amine reactive groups with a substance labelled with a peptide tag such that the substance is covalently attached to the surface via the peptide tag, wherein the peptide tag comprises one or more histidine residues, one of which is a terminal histidine residue having a free N-terminal amino group. Also provided is a method of processing or analysis which comprises a method of attaching a substance to a surface as detailed above and comprises one or more further steps of processing or analysing the substance. The present invention further provides a method of processing or analysis comprising the steps of: a) attaching a substance to a surface by a method as defined above b) contacting the surface with a sample comprising an analyte in order that the analyte in the sample binds to the substance attached to the surface; and c) processing and/or analysing the analyte

Abstract translation: 提供了将物质附着到表面的方法，该方法包括使包含胺反应性基团的表面与标记有肽标签的物质接触，使得物质通过肽标签共价连接到表面，其中肽标签包含 一个或多个组氨酸残基，其中之一是具有游离N-末端氨基的末端组氨酸残基。 还提供了一种处理或分析方法，其包括将物质附着到如上所述的表面的方法，并且包括处理或分析物质的一个或多个其它步骤。 本发明还提供了一种加工或分析方法，包括以下步骤：a）通过上述方法将物质附着于表面b）使表面与包含分析物的样品接触，以使样品中的分析物结合 附着于表面的物质; 和c）处理和/或分析分析物