公开(公告)号：US20090319815A1

公开(公告)日：2009-12-24

申请号：US12505996

申请日：2009-07-20

申请人： Aljosa Vrancic ,  Jacob Kornerup

发明人： Aljosa Vrancic ,  Jacob Kornerup

IPC分类号： G06F15/177 ,  G06F1/12

CPC分类号： G06F11/323 ,  G06F8/34 ,  G06F9/451 ,  G06F9/542 ,  G06F2209/544 ,  G06F2209/545 ,  H04L43/00

摘要： A first graphical program executing on a first device may execute a first graphical code portion for a plurality of iteration. Various systems and methods for synchronizing the execution of the iterations of the first graphical code portion with graphical code portions executing iteratively in graphical programs on other devices are described. Various systems and methods for synchronizing the execution of the iterations of the first graphical code portion with operation of measurement devices or other devices are also described.

摘要翻译： 在第一设备上执行的第一图形程序可以执行用于多个迭代的第一图形代码部分。 描述用于将第一图形代码部分的迭代的执行与在其他设备上的图形程序中迭代执行的图形代码部分同步的各种系统和方法。 还描述了用于将第一图形代码部分的迭代的执行与测量设备或其他设备的操作同步的各种系统和方法。

公开(公告)号：US20060053211A1

公开(公告)日：2006-03-09

申请号：US11206249

申请日：2005-08-17

申请人： Jacob Kornerup ,  Aljosa Vrancic

发明人： Jacob Kornerup ,  Aljosa Vrancic

IPC分类号： G06F15/16

CPC分类号： G06F11/323 ,  G06F8/34 ,  G06F9/451 ,  G06F9/542 ,  G06F2209/544 ,  G06F2209/545 ,  H04L43/00

摘要： A system and method for enabling deterministic or time-triggered data exchange between a first graphical program and a second graphical program. A first variable is assigned to a first time slot in a network cycle. A first graphical program may be configured to write data to the first variable. A second graphical program may be configured to read data from the first variable. The first graphical program may be executed on a first computer system, where executing the first graphical program comprises writing data to the first variable. Writing data to the first variable may cause the data to be delivered over a network to a second computer system when the first time slot occurs. The second graphical program may be executed on the second computer system, where executing the second graphical program comprises reading from the first variable the data sent from the first computer system.

摘要翻译： 一种用于实现第一图形程序和第二图形程序之间的确定性或时间触发的数据交换的系统和方法。 第一变量被分配给网络周期中的第一时隙。 可以将第一图形程序配置为将数据写入第一变量。 第二图形程序可以被配置为从第一变量读取数据。 第一图形程序可以在第一计算机系统上执行，其中执行第一图形程序包括将数据写入第一变量。 当第一个时隙发生时，将数据写入第一个变量可能导致数据通过网络传送到第二个计算机系统。 第二图形程序可以在第二计算机系统上执行，其中执行第二图形程序包括从第一变量读取从第一计算机系统发送的数据。

公开(公告)号：US20050050515A1

公开(公告)日：2005-03-03

申请号：US10892829

申请日：2004-07-16

申请人： Biren Shah ,  Jacob Kornerup ,  Aljosa Vrancic ,  Jeffrey Kodosky ,  Michael Santori

发明人： Biren Shah ,  Jacob Kornerup ,  Aljosa Vrancic ,  Jeffrey Kodosky ,  Michael Santori

IPC分类号： G06F9/40 ,  G06F9/44 ,  G06F9/45 ,  G06F11/32

CPC分类号： G06F8/34 ,  G06F11/323

摘要： A system and method for creating a graphical program operable to execute a timed loop. A loop may be displayed in the graphical program and configured with timing information in response to user input. The timing information may include an execution period which specifies a desired period at which the loop should execute during execution of the graphical program. The timing information may also include information such as a timing source, offset, and priority. During execution of the graphical program, the execution period of the loop may control the rate at which the loop executes.

摘要翻译： 一种用于创建可操作以执行定时循环的图形程序的系统和方法。 可以在图形程序中显示循环并且配置有响应于用户输入的定时信息。 定时信息可以包括执行周期，其指定循环在执行图形程序期间应该执行的期望周期。 定时信息还可以包括定时源，偏移量和优先级等信息。 在执行图形程序期间，循环的执行周期可以控制循环执行的速率。

公开(公告)号：US07761847B2

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

申请号：US11204286

申请日：2005-08-15

申请人： Jacob Kornerup ,  Biren Shah ,  Aljosa Vrancic

发明人： Jacob Kornerup ,  Biren Shah ,  Aljosa Vrancic

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

CPC分类号： G06F8/34 ,  G06F9/4881

摘要： A system and method for executing a plurality of graphical code portions as a timed sequence is described. The graphical code portions may be included in a graphical program and configured with information specifying a sequential order of execution and execution timing information. During execution of the graphical program, the graphical code portions are executed sequentially in the sequential order and in accordance with the execution timing information. In one embodiment a timed sequence structure node may be utilized to specify the timed sequence. For example, the user may include the timed sequence structure node in the graphical program and associate the plurality of graphical code portions with the timed sequence structure node such that the timed sequence structure node species a sequential order of execution for the graphical code portions. The user may also configure the timed sequence structure node with execution timing information for one or more of the graphical code portions.

摘要翻译： 描述用于执行多个图形代码部分作为定时序列的系统和方法。 图形代码部分可以被包括在图形程序中并且被配置有指定执行顺序和执行定时信息的信息。 在执行图形程序期间，按照顺序依次执行图形代码部分，并根据执行定时信息执行。 在一个实施例中，定时序列结构节点可用于指定定时序列。 例如，用户可以在图形程序中包括定时序列结构节点，并将多个图形代码部分与定时序列结构节点相关联，使得定时序列结构节点对图形代码部分进行顺序的执行顺序。 用户还可以为定时序列结构节点配置一个或多个图形代码部分的执行定时信息。

公开(公告)号：US07669185B2

公开(公告)日：2010-02-23

申请号：US10893747

申请日：2004-07-16

申请人： Aljosa Vrancic ,  Jacob Kornerup

发明人： Aljosa Vrancic ,  Jacob Kornerup

IPC分类号： G06F9/44 ,  G06F3/048

CPC分类号： G06F8/34 ,  G06F11/323

摘要： A system and method for executing a graphical program which has a plurality of timed loops, wherein the timed loops utilize timing sources that are related to or derived from each other. According to one embodiment of the method, a graphical program having a plurality of timed loops may be created. In one embodiment the timing sources may be related to each other according to tree hierarchy. Each of the loops in the graphical program may be associated with one of the timing sources. Thus the plurality of loops may be viewed as a group of loops that are grouped together due to the relationships among their respective timing sources. Execution of the graphical program may then begin. Execution of the loops may be delayed until every loop in the group is ready to execute. After every loop in the group is ready to execute, the timing sources for the various loops may be started. To satisfy the defined relationships among the timing sources, the timing sources may be started in an order based on their hierarchical relationship. Once the timing sources have been started, execution of the loops may be begun such that each loop executes based on its respective timing source, i.e., iterations of each loop are timed by its respective timing source.

摘要翻译： 一种用于执行具有多个定时循环的图形程序的系统和方法，其中所述定时循环利用与彼此相关或相互导出的定时源。 根据该方法的一个实施例，可以创建具有多个定时循环的图形程序。 在一个实施例中，定时源可以根据树层次相互关联。 图形程序中的每个循环可以与定时源之一相关联。 因此，由于它们各自的定时源之间的关系，多个循环可以被视为被组合在一起的一组回路。 然后开始执行图形程序。 循环的执行可能会延迟，直到组中的每个循环都准备好执行。 在组中的每个循环都准备好执行之后，可以开始各种循环的定时源。 为了满足定时源之间的定义关系，定时源可以基于它们的分层关系按顺序开始。 一旦定时源已经开始，可以开始循环的执行，使得每个循环基于其相应的定时源执行，即每个循环的迭代由其相应的定时源定时。

公开(公告)号：US07565609B2

公开(公告)日：2009-07-21

申请号：US11204779

申请日：2005-08-16

申请人： Aljosa Vrancic ,  Jacob Kornerup

发明人： Aljosa Vrancic ,  Jacob Kornerup

IPC分类号： G06F15/177 ,  G06F15/16

CPC分类号： G06F11/323 ,  G06F8/34 ,  G06F9/451 ,  G06F9/542 ,  G06F2209/544 ,  G06F2209/545 ,  H04L43/00

摘要： A first graphical program executing on a first device may execute a first graphical code portion for a plurality of iteration. Various systems and methods for synchronizing the execution of the iterations of the first graphical code portion with graphical code portions executing iteratively in graphical programs on other devices are described. Various systems and methods for synchronizing the execution of the iterations of the first graphical code portion with operation of measurement devices or other devices are also described.

摘要翻译： 在第一设备上执行的第一图形程序可以执行用于多个迭代的第一图形代码部分。 描述用于将第一图形代码部分的迭代的执行与在其他设备上的图形程序中迭代执行的图形代码部分同步的各种系统和方法。 还描述了用于将第一图形代码部分的迭代的执行与测量设备或其他设备的操作同步的各种系统和方法。

公开(公告)号：US20090064111A1

公开(公告)日：2009-03-05

申请号：US11834084

申请日：2007-08-06

申请人： Jacob Kornerup ,  Grant O. Passmore

发明人： Jacob Kornerup ,  Grant O. Passmore

IPC分类号： G06F9/44

CPC分类号： G06F11/3608 ,  G06F8/34

摘要： System and method for formal verification of a graphical program. A graphical program comprising a plurality of interconnected nodes is created in response to input. One or more correctness assertions regarding program state of the graphical program are specified in response to user input, and a proof obligation generated based on the graphical program and the correctness assertions, which is usable by a theorem prover to determine correctness of the graphical program. The proof obligation may be generated by compiling the graphical program to generate an object-level diagram, parsing the correctness assertions to generate an intermediate logical form of the one or more correctness assertions, and analyzing the object-level diagram, the intermediate logical form, and/or semantics of the graphical programming language in which the graphical program is written to generate the proof obligation. A theorem prover may then process the proof obligation to determine whether the graphical program is correct.

摘要翻译： 用于图形程序的形式验证的系统和方法。 响应于输入而创建包括多个互连节点的图形程序。 响应于用户输入指定关于图形程序的程序状态的一个或多个正确性断言，以及基于图形程序和正确性断言产生的证明义务，其由定理证明器可用以确定图形程序的正确性。 证明义务可以通过编译图形程序来生成对象级图，解析正确性断言以生成一个或多个正确性断言的中间逻辑形式，并分析对象级图，中间逻辑形式， 和/或其中写入图形程序以产生证明义务的图形编程语言的语义。 然后，定理证明者可以处理证明义务，以确定图形程序是否正确。

公开(公告)号：US20080034079A1

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

申请号：US11759991

申请日：2007-06-08

申请人： Jeffrey Kodosky ,  Jeffrey Correll ,  David Fuller ,  Timothy Hayles ,  John Breyer ,  Jacob Kornerup

发明人： Jeffrey Kodosky ,  Jeffrey Correll ,  David Fuller ,  Timothy Hayles ,  John Breyer ,  Jacob Kornerup

IPC分类号： G06F3/048 ,  G06F15/173

CPC分类号： G06F3/0484 ,  G06F8/34 ,  Y10S715/964 ,  Y10S715/967

摘要： Configuring wires/icons in a diagram. The diagram may be an executable diagram such as a graphical program or a system diagram. The diagram may include a plurality of icons that are connected by wires, and the icons may visually represent functionality of the diagram. The diagram may be executable to perform the functionality. Displaying the diagram may include displaying a first wire in the diagram, where the first wire connects a first icon and a second icon. Data transfer functionality may be specified for the first wire and/or the first or second icon in the diagram. The data transfer functionality may be visually indicated in the diagram, e.g., by appearances of the first icon, the second icon, the first wire, and/or icons displayed proximate to these components of the diagram.

摘要翻译： 在图中配置电线/图标。 该图可以是诸如图形程序或系统图的可执行图。 该图可以包括通过线连接的多个图标，并且图标可以在视觉上表示该图的功能。 该图可以是可执行的以执行功能。 显示图可以包括在图中显示第一线，其中第一线连接第一图标和第二图标。 可以为图中的第一线和/或第一或第二图标指定数据传输功能。 数据传输功能可以在图中以视觉方式指示，例如通过第一图标，第二图标，第一导线和/或附近显示在图的这些部件上的图标的出现。

公开(公告)号：US20060053409A1

公开(公告)日：2006-03-09

申请号：US11204369

申请日：2005-08-15

申请人： Jacob Kornerup ,  Biren Shah ,  Aljosa Vrancic ,  Matthew Curtis ,  Steve Rogers

发明人： Jacob Kornerup ,  Biren Shah ,  Aljosa Vrancic ,  Matthew Curtis ,  Steve Rogers

IPC分类号： G06F9/44

CPC分类号： G06F8/34 ,  G06F9/4881 ,  G06F11/323

摘要： A “timed loop with frames” node may be included in a graphical program. The “timed loop with frames” node may combine a timed loop with a timed sequence such that the timed sequence is executed at each iteration of the timed loop. The “timed loop with frames” node may be configured with first execution timing information that controls execution timing for the iterations of the loop. A plurality of graphical code portions may be included in the “timed loop with frames” such that a sequential order of execution for the graphical code portions is specified. The “timed loop with frames” node may be configured with second execution timing information that controls execution timing for the graphical code portions executed at each iteration.

摘要翻译： 可以在图形程序中包括“具有帧的定时循环”节点。 “具有帧的定时循环”节点可以将定时循环与定时序列组合，使得定时序列在定时循环的每次迭代时执行。 可以使用控制循环迭代的执行定时的第一执行定时信息来配置“具有帧的定时循环”节点。 多个图形代码部分可以包括在“具有帧的定时循环”中，使得指定图形代码部分的顺序执行顺序。 可以使用控制在每次迭代执行的图形代码部分的执行定时的第二执行定时信息来配置“具有帧的定时循环”节点。

公开(公告)号：US20060041859A1

公开(公告)日：2006-02-23

申请号：US11204779

申请日：2005-08-16

申请人： Aljosa Vrancic ,  Jacob Kornerup

发明人： Aljosa Vrancic ,  Jacob Kornerup

IPC分类号： G06F9/44

CPC分类号： G06F11/323 ,  G06F8/34 ,  G06F9/451 ,  G06F9/542 ,  G06F2209/544 ,  G06F2209/545 ,  H04L43/00

摘要： A first graphical program executing on a first device may execute a first graphical code portion for a plurality of iteration. Various systems and methods for synchronizing the execution of the iterations of the first graphical code portion with graphical code portions executing iteratively in graphical programs on other devices are described. Various systems and methods for synchronizing the execution of the iterations of the first graphical code portion with operation of measurement devices or other devices are also described.