| Patent application number | Description | Published |
|---|
| 20090064111 | Formal Verification of Graphical Programs - 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. | 03-05-2009 |
| 20090241069 | USER DEFINED WIRE APPEARANCE INDICATING COMMUNICATION FUNCTIONALITY IN A GRAPHICAL PROGRAMMING ENVIRONMENT - System and method for configuring a wire appearance in a graphical programming environment. A first data type (or class), or communication functionality between nodes, e.g., timing, or data transfer, e.g., data transfer semantics, mechanism, or medium, in a graphical program is specified in response to user input. A first wire appearance denoting the first data type or specified functionality is created in response to user input, including, e.g., a specified wire pattern, thickness, shape, color(s), portion of the wire to be configured with the first wire appearance, wire label and/or wire icon to be displayed on or near the wire. A graphical program including a first icon and a second icon is created, including connecting the first icon to the second icon in response to user input, and displaying a wire between the first icon and the second icon in response, where the wire has the first wire appearance. | 09-24-2009 |
| 20090319815 | Synchronizing Graphical Programs Executing on Respective Computer Systems - 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. | 12-24-2009 |
| 20110138008 | Deterministic Communication Between Graphical Programs Executing on Different Computer Systems Using Variable Nodes - 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. | 06-09-2011 |
| 20120026173 | Transitioning Between Different Views of a Diagram of a System - Presenting different views of a system based on input from a user. A first view of a first portion of the system may be displayed. For example, the first portion may be a device of the system. User input specifying a first gesture may be received. In response to the first gesture, a second view of the first portion of the system may be displayed. For example, the first view may represent a first level of abstraction of the portion of the system and the second view may represent a second level of abstraction of the portion of the system. A second gesture may be used to view a view of a different portion of the system. Additionally, when changing from a first view to a second view, the first view may “morph” into the second view. | 02-02-2012 |
| 20120030646 | Developing Programs in a Graphical Specification and Constraint Language - System and method for specifying and implementing programs. A graphical program is created in a graphical specification and constraint language that allows specification of a model of computation and explicit declaration of constraints in response to user input. The graphical program includes a specified model of computation, a plurality of interconnected functional blocks that visually indicate functionality of the graphical program in accordance with the specified model of computation, and specifications or constraints for the graphical program or at least one of the functional blocks in the graphical program. The specified model of computation and specifications or constraints are useable to analyze the graphical program or generate a program or simulation. | 02-02-2012 |
| 20120030647 | Developing Programs for Hardware Implementation in a Graphical Specification and Constraint Language via Iterative Estimation of Performance or Resource Utilization - System and method for specifying and implementing programs. A graphical program is created in a graphical specification and constraint language that allows specification of a model of computation and explicit declaration of constraints in response to user input. The graphical program includes a specified model of computation, a plurality of interconnected functional blocks that visually indicate functionality of the graphical program in accordance with the specified model of computation, and specifications or constraints for the graphical program or at least one of the functional blocks in the graphical program. The specified model of computation and specifications or constraints are useable to analyze the graphical program or generate a program or simulation. | 02-02-2012 |
| 20120030650 | Developing Programs for Hardware Implementation in a Graphical Specification and Constraint Language - System and method for specifying and implementing programs. A graphical program is created in a graphical specification and constraint language that allows specification of a model of computation and explicit declaration of constraints in response to user input. The graphical program includes a specified model of computation, a plurality of interconnected functional blocks that visually indicate functionality of the graphical program in accordance with the specified model of computation, and specifications or constraints for the graphical program or at least one of the functional blocks in the graphical program. The specified model of computation and specifications or constraints are useable to analyze the graphical program or generate a program or simulation. | 02-02-2012 |
| Patent application number | Description | Published |
|---|
| 20090254082 | ELECTROSURGICAL INSTRUMENT - The present invention relates to an electrosurgical instrument, more particularly to an electrosurgical instrument for laparoscopic hysterectomy. The instrument includes an expandable and contractible loop positioned to controllably emerge from the distal end of the shaft, with loop defining a first electrode. The instrument further includes at least one second electrode which in a first position are positioned within the shaft, and in a second position are expanded from the shaft. The instrument according to the invention is extremely simple to operate and the instrument therefore provides an improvement over prior art monopolar and bipolar treatment methods, both in decreasing treatment time, and simplifying control of the treatment. | 10-08-2009 |
| 20100191238 | BIPOLAR ELECTROSURGICAL INSTRUMENT AND METHOD OF USING IT - A bipolar electrosurgical instrument when connected to an electrosurgical generator is particularly suited for performing laparoscopic procedures such as LASH. The instrument has a hollow shaft sized to fit through a laparoscopic port and a proximal end and a distal end, a loop electrode constituted by an electrically conductive resilient looped wire provided with a first component for reciprocating the loop electrode between a retracted position inside the hollow shaft to a second position in which at least a part of the loop electrode is emerged from the distal end of the hollow shaft, and at least two return electrodes provided with a second component for reciprocating the at least two return electrodes between a retracted position inside the hollow shaft to a second position in which at least a part of the return electrodes are emerged from the distal end of the hollow shaft, a third component for measuring the impedance, resistance or capacity in an object between the at least two return electrodes, and a fourth component for applying power to the loop electrode when the value of the impedance, resistance or capacity is below a predetermined value and/or in a predetermined period of time. Use of the instrument reduces surgical time and is safer than known bipolar and monopolar electrosurgical instruments. | 07-29-2010 |
