266 results about "Logic program" patented technology

A system and method for providing Value-Added Services (VAS) in an integrated telecommunications network having a packet-switched network portion (PSN) operable with Session Initiation Protocol (SIP). The integrated telecommunications network includes a SIPext SSP server, a trigger server, and a service node having a Service Logic Program (SLP) that is operable with Intelligent Network Application Protocol (INAP). The SIPext SSP and service nodes are provided with the capability to communicate using SIP-compliant messaging. New header fields are provided that specify operations to be performed by the service node with respect to a service. INAP service parametric data is also provided in the header fields in a sequential form. When a call is received in the SIPext SSP server for a user having a subscription for a VAS, it queries the user profile stored in the trigger server. If the user is subscribed for a service, a SIP request message is formulated based on the user profile, wherein appropriate headers are populated with relevant parametric information and call context data. The service node launches the SLP based on the information provided in the request message and sends a SIP response message to the SIPext SSP server with an instruction concerning the provisioning of the VAS. The SIPext SSP server, thereafter, takes an appropriate action based on the response message and any parametric information contained therein.

A system and method that translates sentences of natural language text into sets of axioms of formal logic that are consistent with parses resulting from NLP and acquired constraints as they accumulate. The system and method further present these axioms so as to facilitate further disambiguation of such sentences and produces axioms of formal logic suitable for processing by automated reasoning technologies, such as first-order or description logic suitable for processing by various reasoning algorithms, such as logic programs, inference engines, theorem provers, and rule-based systems.

Method and system for obtaining a set of financial data including entries associated with expenses, revenue, equity, assets and / or liabilities. Ordering the financial data entries according to one or more criterion defined by user preferences. Processing the ordered financial data by applying one or more logical procedures to incorporate the financial data into a natural language narrative of a financial report. Communicating the financial report to the user.

The Web customer contact system is based on distributed execution of service logic programs that can be dynamically altered based on changing business needs. The distributed and dynamic program modification makes the Web customer contact system scalable and customization to the most demanding business operation needs. For example, existing workflow based GUI programming tool, which only support centralized specification, down load and execution of routing rules for incoming calls in a contact center. The new system WCC system can allow user to specify a set of service logic program (SLP) can be dynamically attached to any distributed “addressable entities” in the WCC system. The addressable entities can be a user, an agent, an email box, a work group, IVR system, or a department web site. The addressable entities can be located anywhere that can be reached by internet address (an URL or other types of identities). The SLP associated with the addressable entities can be dynamically downloaded from the “home” location of the SLP. The SLP allows a business to define the way of handling customer's messages such as call, chat and email in a flexible and programmable way using an open specification interface such as, XML technology.

A system and method for merging two rulesets provided in rule-based systems associated with originating applications executing at different locations, each ruleset comprising rules in potential conflict with each other, and each ruleset being in a different rule format. The rulesets to be merged are communicated to an assimilator service provided with a merge policy comprising a set of specifications of partially-ordered priorities and / or mutual-exclusion constraints. The rulesets are translated into a common core representation capable of being implemented in any logic program rule engine provided in a rule-based application at any location. The rulesets are assimilated to produce a new merged ruleset comprising logic required for resolving potential conflicts among rules in accordance with the merge policy that is implemented in any logic program rule engine provided at any location. The new merged ruleset is then translated into one of the originating application's rule format.

A system and method of device-aware service provisioning in a hybrid / integrated telecommunications network having a packet-switched network portion (PSN) and heterogeneous circuit-switched network (CSN) portions. A user profile is provided which partitions a service in three dimensions: a user-specific service part, a device-specific service part, and a combination part which specifies service conditions when an end-user uses a particular device or terminal. A common IP telephony Value-Added Services infrastructure is included wherein device-aware service triggers are provided for triggering appropriate service partitions of the user profile. Upon encountering a device-aware service trigger in a call control process, a service switching node queries the user profile and determines the service conditions associated with the particular device-specific service part to be invoked. Responsive to determining the service conditions, the service switching node instructs a service node to execute an appropriate Service Logic Program. Upon receiving a result or an indication thereof from the service node, the service switching node takes a corresponding service action.

The invention discloses an on-orbit update method for a satellite-borne integrated electronic system program. The on-orbit update method comprises the steps as follows: dividing the satellite-borne integrated electronic system program into a monitoring program and a service logic program, receiving an update data block of a target program block in the service logic program to be updated from the ground through the monitoring program, detecting if the target program block runs, updating after the target program block is executed if the target program block runs, and otherwise, updating immediately; and when updating, obtaining a program execution right from the service logic program to be updated through the monitoring program, storing the current version and the version number of the target program block to an external memory, importing a new-version program block carried by the update data block into a memory, giving the program execution right to the service logic program to be updated, and updating the original version number of the target program block into a new version number through the service logic program to be updated. Compared with the prior art, the on-orbit update method is strong in commonality, updates the granularity into a function, and can execute the rollback and delete operations.

An apparatus and method are provided for performing integrity checking of software code executing on a processing unit of the apparatus. The apparatus further includes debug logic used when debugging program code executed by the processing unit, and trusted logic for performing trusted integrity checking operations on less-trusted program code executed by the processing unit. The debug logic has an interface via which the trusted logic can program one or more control registers, that interface not being accessible by the less-trusted program code. The trusted logic programs the control registers so as to cause the debug logic to be re-used to detect one or more activities of the processing logic during execution of the less-trusted program code, and the trusted integrity checking operations performed by the trusted logic are influenced by the activities detected by the debug logic. Such an approach has been found to provide an efficient and secure technique for performing run-time integrity checking of program code.

The invention discloses a compiling method from an intermediate language (IL) program to a C language program of an instruction list. The method comprises the steps: building a middle storage structure syntax tree according to results of lexical analysis and grammatical analysis through logical analysis on a program of the instruction list and logistic mapping relation between semanteme of the instruction list and semanteme of the C language; combining an auxiliary performance function and an auxiliary data structure define file, and generating an integrated file of the C language program through program data of an original instruction list according to a C language programming method, wherein the program data of the original instruction list is stored in the structure of the syntax tree. The generated C language program completely corresponds to the logic program of the original instruction list and has the advantages of a high-level C language, wherein the advantages include strong transportability, strong compatibility and the like. Due to the structure of the syntax tree and an analytic method of semanteme mapping, compiling is standardized and mass-produced, complexity of the compiling is reduced through adoption of functions and modularization of an auxiliary function of a function block, compiling time is shortened, and speed of the whole compiling process is improved.

The invention discloses a high-speed image acquisition memory card based on PCI-E (Peripheral Component Interconnect-Express), which comprises an optical fiber transmission module, an A / D conversion module, an FPGA (Field-Programmable Gate Array) logic module, an EPCS (Electronic Propulsion Control System) logic program memory module, a JTAG (Joint Test Action Group) program download interface, an SATA (Serial Advanced Technology Attachment) hard disk data memory module, an SDRAM (Synchronous Dynamic Random Access Memory) module, a bridge chip and a PCI-E interface, wherein the optical fiber transmission module is connected with the A / D conversion module; the PCI-E interface is connected with the bridge chip; the A / D conversion module, the EPCS logic program memory module, the JTAG program download interface, the SATA hard disk data memory module, the SDRAM module and the bridge chip are connected with the FPGA logic module respectively. Therefore, high-speed image acquisition can be realized fast.

Included is a method for testing an assertion written for a logic program that can be simulated in a simulation program. Embodiments of the method include receiving the assertion independent from the logic program and independent from the simulation program, wherein the assertion includes at least one variable from the simulation program and determining the at least one variable in the assertion. Embodiments of the method also include testing the assertion independent from the logic program and the simulation program, wherein testing the assertion includes testing the assertion with at least one value for the at least one variable and determining at least one violation of the assertion.

The invention relates to an engine failure treating method for an unmanned aerial vehicle. The engine failure treating method comprises a control computer system, a logic program module, a signal collecting element, a signal collecting program module, and a program module, wherein the control computer system is provided with the functions of data collecting and signal processing; the logic program module is arranged in a control computer and can automatically diagnose, control and process system failure; the signal collecting element and the signal collecting program module are used for extracting a rotate speed sensor signal of an engine and monitoring the voltage and the pulse frequency of an ignitor in real time; and the program module is used for an engine cylinder temperature sensor and is used for monitoring and judging whether cylinder score failure exists or not. According to the method, an accident failure emergency control function for an engine is merged into a failure diagnose unit of the control computer system, an emergency return journey program module comprising a guided system and a control unit for opening a parachute and an air bag, releasing a buffer bracket and the like, thus the engine failure situation can be monitored in real time and can be processed in emergency, the treating method disclosed by the invention is safe and effective, the failure can be monitored in real time and can be automatically diagnosed and processed, the dead problem due to the engine failure is solved, and the method has the advantages that the response is quick, the success rate is high, and the reliability is high.

The invention provides a tree-like combined instruction materialized programming method, which includes the following steps: (1) A running object with a processing unit is built. (2) A linear or tree-like connected materialized logical program is built. A plurality of ID which are joined with a tree-like structure is built in the materialized programming module. (3) A signal connection is built between the materialized logical program and the processing unit. The processing unit reads the materialized programming module ID in sequence according to the tree-like structure, and the linear of tree-like connected relation of the materialized programming module is stored in a storage device. (4) ID is analyzed by the processing unit. The program logic in every materialized programming module is obtained, and the program logic is analyzed in sequence according to the tree-like structure. The tree-like combined instruction materialized programming method, application and materialized programming module further provide an application and a materialized programming module. The tree-like combined instruction materialized programming method, application and materialized programming module can solve the problem of single entity program module combination form, low signal transmission efficiency and low accuracy in current technology.

The invention discloses an automatic production line simulation debugging method based on a virtual simulation debugging machine. The method comprises steps that layout and planning of a three-dimensional virtual digital production line are carried out in a Tecno simulation software system; motion parameters of workpiece and mechanical equipment and an electrical signal I / O address are defined; a robot motion program is programmed; in a TIA software system, program codes of a PLC logic program and HMI program logics are programmed and are downloaded to the virtual simulation debugging machine; during virtual debugging, the PLC logic program of the virtual simulation debugging machine is triggered to start, a corresponding electrical signal is sent to the three-dimensional virtual digital production line; the motion process of the three-dimensional virtual digital production line is observed and verified; when a fault occurs, the PLC logic program, the HMI program logics, the robot motion program, production line layout, tools and / or clamp design are modified and adjusted. The method is advantaged in that reworking cost can be reduced, and electrical logic signal interaction verification simulation can be carried out.

By calculating the energy used by the friction brake equipment, the amount of friction brake shoe / pad wear can be monitored. As the amount of energy supplied reaches a percentage of the friction brake shoe / pad energy design limit, an indication for inspection is provided. If the supplied friction energy continues to increase beyond this point, the brake material must be replaced. The software logic limits are tunable for custom configuring by the transit authority and maintenance personnel. This invention measures the amount of friction effort supplied with respect to time and distance in a software controlled brake system. Furthermore, this invention allows the software to determine when the friction brake material must be replaced based on actual data, which simplifies the maintenance personnel operation procedures, maximizes brake material wear, and avoids costly damage from braking with worn out shoes / pads. The material life remaining for friction brakes is determined currently by a visual inspection followed by a 'best guess' as to whether the material will last until the next scheduled inspection. This invention will annunciate through the software logic program when the friction material requires inspection and replacement. Additionally, the invention provides software logic to indicate the remaining material thickness.

The invention discloses an in-situ feeder automation test system, comprising a test workstation (1) and a plurality of testers (2). The test workstation (1) is connected with the plurality of testers (2) through a network. Tested in-situ FA (Feeder Automation) power distribution terminals (3) are in pluggable connection with the plurality of testers (2), thereby finishing in-situ FA control over corresponding monitoring points. When a test is carried out, the tested in-situ FA power distribution terminals (3) obtain electrical data simulated by a simulation module (12) and generate first control logic according to the electrical data and internal control logic programs and parameters. The monitoring points which are not connected with the in-situ FA power distribution terminals are simulated and second control logic is generated through adoption of in-situ FA control logic in the simulation module (12). A test workstation (1) adjusts an operation state of a power distribution network model (11) according to the first control logic and the second control logic. When the test is carried out, not all monitoring points need to be connected with the tested in-situ FA power distribution terminals, a comprehensive test can be finished through adoption of one tested in-situ FA power distribution terminal, the wiring is simple, the test workload is low, and the test efficiency is high.

The present invention provides a realization method of logic control of VB / VC (Microsoft Visual Basic 6.0 / Microsoft Visual C++) and PLC (Programmable Logic Controller) on the basis of serial communication. The realization method provided by the invention is free of writing a logic T-shaped program in the PLC of a lower computer, all the logic controls may be realized at an upper computer, and industrial control may be realized. According to the new method provided by the invention, the upper computer is only needed to send instruments to realize monitoring of an input port and an output port with no need for writing any logic program in the PLC, and only one instrument is sent to perform all the stable and reliable monitoring of objects to be monitored (X, Y M, D and other elements); through adoption of a 'pipeline' mode in the aspect of signal decoding, operation coincidence of a CPU is reduced, and the response time of a program is short; and programs may be managed by category, the PLC of any point may be controlled without point limitation, and wiring, free of circuit interlocking, is greatly simplified in the aspect of circuit connection with safety and convenience.

Embodiments of the present invention provide a method, system and computer program product for cross-cutting event correlation in an enterprise computing monitoring and management system. An enterprise computing monitoring and management system can include a hierarchy of nodes, where several of the nodes are each coupled to a corresponding embedded correlation engine and an event bus. The system further can include a root node among the nodes. The root node can be coupled to the event bus and to centralized correlation logic programmed to identify a high correspondence between events from a particular event source among the nodes and a particular set of correlation rules in that correlation engine. The identification of such correspondence can be used to move to the set of correlation rules to an embedded correlation engine closer to the particular event source.

A graphical programming interface for use in developing computer programs providing computational decision-making capabilities. The interface uses a structure of graphically displayed positions, arguments and linkages to enable the development of computational decision making programs. The positions are primarily characterized by position values that may represent outputs although they may have a variety of other function features such as thresholds. The arguments are characterized by argument values that may represent inputs. The arguments are associated with particular positions and the values of the arguments associated with a given position are combined to determine the value of that position. The linkages extend between different positions and arguments and define different types of functional relationships between them. Programs are developed through the creation and manipulation of the graphical items of the interface using visually oriented processes such as drop down windows and drag and drop techniques.

The invention belongs to the technical field of extra-high voltage DC engineering AC fileds, and in particular relates to a last circuit breaker judgment method and device of a bus tie switch-involved AC field. A last circuit breaker is searched by building an equivalent model of the bus tie switch-involved AC field and a last circuit breaker graph theory solution model; when the numbers and the access positions of bus tie switches, isolation switches, circuits and valve banks of the AC filed change, an original complicated control protection logic program does not need to be modified, the system device does not need to be powered off to update the program, simple configuration parameters only need to be changed on line, and the last circuit breaker between all input circuits and each converter valve can be rapidly, intelligently and accurately calculated through acquiring switch-on and switch-off states of the current circuit breaker of the AC field in real time by the system.

A method and system for heating or cooling a fluid to be delivered into the body of a patient is provided and may include a controller and a fluid delivery line assembly. The fluid delivery line may include sterile fluid pathway and for communicating a fluid from a source to a destination, one or more terminating connectors, and an integral resistance element for producing heat in response to electrical current. The fluid delivery line may also include one or more thermal sensor positioned within the fluid pathway for detecting and reporting the temperature of the fluid being delivered. The controller may include an embedded control / feedback logic program with novel heat balance algorithm to precisely control the amount of heat applied to the fluid. The fluid delivery line assembly may be disposable with at least one of the thermal sensors being reusable while maintaining sterility within the fluid pathway.

A computer program product in a computer-readable medium for use in a microcontroller-based control system in a programmable logic integrated circuit device is disclosed. The computer program product comprises first instructions for initializing the device, second instructions for reading programming data from a data source external to the programmable logic integrated circuit device, third instructions for transferring the programming data into control elements internal to the programmable logic integrated circuit device. Provision is made for fourth instructions for saving at least a part of the internal logic state of the user logic programmed into the programmable logic integrated circuit device into a non-volatile memory block and for fifth instructions for restoring at least a part of the internal logic state of the user logic programmed into the programmable logic integrated circuit device from a non-volatile memory block. The programmable logic integrated circuit device, comprises a microcontroller block and a programmable logic block with programming circuitry, and has a sub-bus which couples the microcontroller block to the programming circuitry.

The invention mainly relates to a control method of a multi-industrial robot synergic welding hull small assembly. Based on the structural design of a movable industrial robot and multiple welding mechanical arms, in combination with the characteristic and process need of a small assembly workpiece, a movable industrial robot and multi-mechanical arm cooperative motion control method is provided.The modularization thought is applied, control signals in an offline program are monitored in real time, mechanical arm control logic databases are compared, information included by the signals is matched out and sent to a corresponding controller, and a specified action is completed. According to the method, different circulations of a PLC logic program are controlled through different control signals, the time sequence synchronous or asynchronous synergic movement of the movable industrial robot and the industrial mechanical arms and the multiple industrial mechanical arms is finally achieved, the welding efficiency and the welding intelligent level are greatly improved, labor force is freed up, and the labor environment of workers is improved.

The present invention relates to a low-voltage circuit breaker electronic undervoltage and overvoltage protection device and a control method. The device consists of voltage transformers of A, B, C, N phases on the incoming end of an acquisition circuit breaker, a precise operational amplifier, an electronic strobe switch, a single-chip microcomputer, a relay and a circuit breaker executive mechanism. Voltage transformers of A, B, C phases input a voltage signal to the input ports of the precise operational amplifier; the precise operational amplifier inputs the signal after the treatment to the I / O port of the single-chip microcomputer through the electronic strobe switch; the single-chip microcomputer measures the signal of each phase and compares with the qualified range value in a logic program; if one phase signal is not qualified, the single-chip microcomputer outputs the signal to the relay through the I / O port; the NC node of the relay is connected to a switch opening executive mechanism of the relay. The intelligent device with the microprocessor as the core, plus the control flow procedures of the microprocessor, can improve the sampling precision and ensure the action reliability of low-voltage circuit breaker.

The invention discloses a FPGA logic program downloading device and method in the field of computers, adopting universal PROM, Flash, and others to compose a logic memory used in storing the FPGA logic program, and accessing the preset register contents by CPU to judge if it needs to download the FPGA logic program: if does, read the data out of the logic memory into FPGA, accordingly completing a design of downloading logic program to FPGA by CPU and at the same time, avoiding the occurrence of abnormal situations. It has a few occupied resources, simple and reliable, low-cost and short-period of implementation.

The invention relates to a novel electric label with multiple frequency range and multiple functions. The electric label comprises a micro processor, a memory connected with an I / O end of the micro processor, a power supply connected with the micro processor by a power supply control circuit and a powerup reset circuit connected with the I / O end of the micro processor, wherein the powerup reset circuit is also connected with the power supply and the power supply control circuit respectively; the invention is characterized in that the I / O end of the micro processor is also connected with a microwave emitting unit, a microwave receiving unit, a single frequency range microwave control unit, a multiple frequency range microwave control unit, a triggering control unit and an IC card read-write unit which is used to exchange information with the IC card and read information stored in the IC card in the memory; the multiple frequency range microwave control unit, the triggering control unit and the microwave receiving unit are all connected with the power supply control circuit. The solidification of the I / O end of the micro processor conforms to the operation and logic program of the short-range wireless communication protocol specification. The electric label has the advantages of low cost, high working efficiency and small volume.

The invention relates to the technical field of oil and natural gas drilling, in particular to a processing device for a racking platform three-joint unit. The processing device comprises a hoisting bean, a racking platform and a full-automatic tube drawbench, wherein the racking platform is fixedly connected with the hoisting beam, and the full-automatic tube drawbench is movably connected with the racking platform. The invention further provides a control system of the processing device. The control system depends on a precise mechanical transmission mechanism, a reliable sensing system and executing system and a rigorous logic program to first realize the full-automatic operation of the tube drawbench in the field of oil equipment.