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 |
20130031501 | Weighted Zoom within a Diagram of a System - Providing zooming within a system diagram. Initially, a diagram of a system may be displayed. The diagram may include a plurality of icons representing physical components of the system. These plurality of icons may be initially displayed at a first level of magnification. User input to zoom on a first physical component in the diagram may be received. Accordingly, the first physical component may be displayed at a second level of magnification and other ones of the physical components may be displayed at a third level of magnification. The second level of magnification may be greater than the first level of magnification and the third level of magnification may be less than the first level of magnification. Alternatively, or additionally, different representations for various components of the system may be displayed in the diagram during or after the zoom. | 01-31-2013 |
20130031508 | Semantic Zoom within a Diagram of a System - Providing zooming within a system diagram. Initially, a diagram of a system may be displayed. The diagram may include a plurality of icons representing physical components of the system. These plurality of icons may be initially displayed at a first level of magnification. User input to zoom on a first physical component in the diagram may be received. Accordingly, the first physical component may be displayed at a second level of magnification and other ones of the physical components may be displayed at a third level of magnification. The second level of magnification may be greater than the first level of magnification and the third level of magnification may be less than the first level of magnification. Alternatively, or additionally, different representations for various components of the system may be displayed in the diagram during or after the zoom. | 01-31-2013 |
20130031509 | Displaying Physical Signal Routing in a Diagram of a System - Displaying physical signal routing of a system. A diagram of the system may be displayed. The system may include physical components connected via physical connections and logical components implemented on various ones of the physical components. The diagram may include a plurality of icons connected by wires. At least a first subset of the icons may represent logical elements of the system and wires between the first subset of icons may represent logical connections between corresponding logical elements. User input requesting signal routing information of the system may be received. In response, a signal route corresponding to a first logical connection between a first logical element and a second logical element may be visually indicated. | 01-31-2013 |
20130332864 | Automatically Determining Data Transfer Functionality For Wires in a Graphical Diagram - 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. | 12-12-2013 |
20140040855 | Optimization of a Data Flow Program Based on Access Pattern Information - System and method for optimizing a data flow diagram based on access pattern information are described. Access pattern information for a data flow diagram may be received. The data flow diagram may include a plurality of interconnected actors, e.g., functional blocks, visually indicating functionality of the data flow diagram. The access pattern information may include one or more of: input pattern information specifying cycles on which tokens are consumed by at least one of the actors, or output pattern information specifying cycles on which tokens are produced by at least one of the actors. A program that implements the functionality of the data flow diagram may be generated based at least in part on the access pattern information. | 02-06-2014 |
20150020043 | Graphical Specification and Constraint Language for Developing Programs for Hardware Implementation and Use - 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. | 01-15-2015 |
Patent application number | Description | Published |
20140135757 | ELECTROSURGICAL INSTRUMENT AND ELECTROSURGICAL CONDUCTIVE ELECTRODE FOR USE WITH THE INSTRUMENT - An elongated electrosurgical instrument ( | 05-15-2014 |
20140142566 | COUPLING MEANS CONNECTING AN ELECTROSURGICAL INSTRUMENT TO A VACUUM SOURCE, AN ELECTROSURGICAL INSTRUMENT PROVIDED WITH THE COUPLING MEANS, A KIT INCLUDING THE COUPLING MEANS AND THEIR USES - A coupling means ( | 05-22-2014 |
20140142568 | ELONGATED ELECTROSURGICAL INSTRUMENT, A SUCTION TIP FOR THE ELECTROSURGICAL INSTRUMENT AND METHOD OF ADJUSTING THE AXIAL POSITION OF THE SUCTION TIP ON THE ELECTROSURGICAL INSTRUMENT - An elongated electrosurgical instrument ( | 05-22-2014 |
20140155890 | ELONGATED ELECTROSURGICAL INSTRUMENT, A SWITCH MEANS FOR SAID INSTRUMENT, AND AN ASSEMBLY KIT - An elongated electrosurgical instrument ( | 06-05-2014 |
20140358141 | ELECTROSURGICAL PENCIL WITH A SMOKE EVAPORATION TUBE - An electrosurgical pencil for cutting tissue during surgery by application of electrical energy supplied from a generator. A tube is provided for evacuation of smoke from the site of surgery. To improve flexibility and reduce the stiffness of the tube while maintaining generally the shape and ability of the tube to conduct smoke from the site, the tube comprises a polymer film, herein referred to as sheath stretched by at least one reinforcement element. | 12-04-2014 |
20140371722 | METHODS OF MANUFACTURING FLEXIBLE POLYMERIC MEDICAL SPIRAL TUBINGS, TUBINGS MADE BY THE METHODS AND USES OF THE TUBINGS - Methods of manufacturing a length of a flexible polymeric medical tubing of the kind comprising a tubing member defining a lumen, which tubing member is surrounded by spiral convolutions along at least a part of the length of the proximal section and/or the distal section, and which medical tubing has a proximal convoluted section and a distal convoluted section, is disclosed, as well as medical tubings obtained by the methods and their uses. One method comprises the steps of providing a medical tubing wherein the proximal section and the distal section have substantially uniform initial pitch (P | 12-18-2014 |