264 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.

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.

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.

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 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.

This invention provides a program compiling system and method for programmable logic controller (PLC), which contains the user compiling program by selecting menu mode in menu operation interface, avoiding logic program error by the mutually exclusive setting of menu selection to obtain easy learning, right and reliable compiling.