105 results about "Logic programming" patented technology

The invention discloses UI (User Interface) performance and service logic separation method and system. The method comprises the following steps of: correlating a UI object with a service data object by data binding; correlating the state of the UI object with the state of the service data object by state binding; correlating the action of the UI object with the action of the service data object by action binding; and carrying out united management on the data binding, the state binding and the action binding by logic model binding, therefore, the dynamic and indirect correlation between a UImodule and the service data object can be achieved. By adopting the invention, the mandatory dependence relation between a user interface and logic codes is relieved; the user interface design and the service logic programming can be developed in parallel as two completely independent works in the designing process; and the UI object and the service logic processing object are mutually independent to respectively support dynamic switching of UI views and change a logic processing unit in the software running process.

A method for dynamically programming Field Programmable Gate Arrays (FPGA) in a coprocessor, the coprocessor coupled to a processor, includes: beginning an execution of an application by the processor; receiving an instruction from the processor to the coprocessor to perform a function for the application; determining that the FPGA in the coprocessor is not programmed with logic for the function; fetching a configuration bit stream for the function; and programming the FPGA with the configuration bit stream. In this manner, the FPGA are programmable “on the fly”, i.e., dynamically during the execution of an application. The hardware acceleration and resource sharing advantages provided by the FPGA can be utilized more often by the application. Logic flexibility and space savings on the chip comprising the coprocessor and processor are provided as well.

A method of integrating, optimizing and combining in a marine hybrid system, the operation of one or more variable speed high voltage direct current (HVDC) generator(s), one or more energy storage units and a combination of one or more HVDC parallel hybrid and serial hybrid propulsion systems through use of an Energy Management Computer. One aspect of the invention involves the application of logic programming to automate the optimization and the operation of the Internal Combustion Engines (ICE) so that whenever the system requires their usage, they are operated at optimum efficiency conditions. For an ICE to operate at peak efficiency a combination of a large energy storage unit used as a buffer combined with a mixture of both a serial and a parallel hybrid system is used.

A monitoring method and a monitoring system for detecting a processing state of a grinding machine are disclosed. A sonar sensor is employed to receive a sonar signal which is sent by a numerical control grinding machine during the processing of a work piece, and then to convert the sonar signal into an electric signal; an acoustic emission detection system is employed to convert the detected electric signal which is output by the sonar sensor into an RS232 communication protocol signal and a PROFIBUS communication protocol signal, respectively; the RS232 communication protocol signal is transmitted to a numerical control system on the grinding machine, and then the numerical control system displays the received RS232 protocol signal on a screen in the form of dynamic waveform, thereby realizing visualization of the grinding process; and the PROFIBUS communication protocol signal is transmitted to a PLC (Programmable Logic Control) system for PLC logic programming, and a collision signal and a contact signal of the grinding machine and the work piece which are output by the PLC system are transmitted to the part program of the numerical control system, thereby realizing collision prevention and idle running elimination. The monitoring method and the monitoring system of the invention are capable of monitoring the whole processing of the numerical control grinding machine, so that the grinding process can be optimized; and the grinding quality and efficiency are improved.

The invention discloses a remote update system and method for a programmable logic device. The system comprises a computer, a processor, a programmable logic device and a configuration unit, wherein the processor, the programmable logic device and the configuration unit are mutually connected; the computer sends configuration file data to the processor; and the processor simulates the programmable logic device to configure the time sequence and the behavior of a JTAG (Joint Test Action Group) port of the configuration unit through a GPIO (General Purpose Input / Output) port according to the configuration file data so as to realize an ISP (In System Programming) operation that the processor configures the configuration unit. The technical problem that a traditional dedicated simulator programming loading way cannot meet requirements since on-site logic programming is not suitable for workers under complex application conditions, especially under the environment with high confidentiality requirements, can be solved.

A syntactical representation is used to generate data describing a hierarchical broadband network and relationships between it elements. The format of the syntactical representation resembles logic programming language clauses. The syntactical representation is used to specify a broadband connection problem to be solved. Data describing physical resources and functionality of a set of network elements is entered into an inference engine which applies an algorithm to its input in order to find a solution to a specified connections planning problem. The algorithm is recursive and uses artificial intelligence techniques; such as, first fail hierarchical planning and hill-climbing to guide the inference engine's search for a solution.

The invention relates to a multi-single-phase / three-phase alternating current voltage stabilizer based on digital circuit control. The voltage stabilizer comprises: an input terminal is connected with three compensation transformers of a power grid, an output terminal is connected to an input terminal of electrical equipment via series connection of primary windings of the three transformers, and secondary winding terminals of the three transformers are connected to an output voltage terminal via 8 bidirectional thyristors, a TR4 transformer at an input voltage side provides real-time voltage detection signals, alternating current effective value detection is conducted via a 12-bit high-precision A / D converter, single-phase alternating current work voltage is monitored in real time, obtained high 9-bit digital signals and a set coding amount value are compared, the 8 bidirectional thyristors are determined, combined, and triggered via a decoding driving circuit according to a hardware logic programming regulation, the employed group number of secondary windings of the transformers and the voltage direction are changed via different combinations of turn-on and turn-off of the bidirectional thyristors, different compensation combinations for measuring the voltage at one step are finally achieved, and the output voltage is guaranteed to be stabilized in a given voltage range.

The invention discloses a device and method for an endurance experiment of an automatic gearshift. According to the device and method for the endurance experiment of the automatic gearshift, a hydraulic servo system serves as a control system, and two linear hydraulic cylinders are arranged in a mode that a 90-degree included angle is formed between the two linear hydraulic cylinders; with the gear shifting track of the automatic gearshift as a standard, displacement tracks of the linear hydraulic cylinders are edited through the control system to enable the movement tracks of the linear hydraulic cylinders to meet the test requirements of the gear shifting track, and all gears of the automatic gearshift are placed in one test process completely for examination by making full use of the strong logic programming capacity and accurate control capacity of the system.

A form reader includes a landmarks extractor configured to select textboxes of a converted document as form landmarks based on textual characteristics. A set of positional constraints constrain the form entries relative to the identified form landmarks. A constraints solver selects textboxes of the converted document as form entries by solving the set of positional constraints respective to a set of facts including the selected form landmarks and converted document. In some embodiments, the constraints solver includes a query engine configured to (i) construct a query in a logic programming language setting forth the set of positional constraints and the set of facts and to (ii) input said query to a logic programming language query solving engine and to (iii) receive a response from the query solving engine responsive to the input.

The invention discloses a weighting device and a working method for mining self-discharging vehicle. The device comprises an effective load capacity gauge, a hanging device pressure sensor, a display screen, a state display lamp and a signal input device. The signal input device comprises a compartment lifting switch, a speed sensor, an accelerating pedal sensor, a loading braking switch, an electric braking switch and a working braking switch. The effective load capacity gauge comprises a micro processor, a logic programming controlling circuit, an electric erasable programmable reading-only memory and a communication port. The effective load capacity gauge has the functions of real-time computing, controlling, storing, communicating, displaying and the like. The effective load capacity of the self-discharging vehicle under various conditions is recorded. Accurate weighting is achieved and overloading is avoided. Vehicle operating data are recorded and data real time communication and transmission are conducted with outer equipment or an outer system. The weighting device and the working method for mining self-discharging vehicle is provided with the ability of autonomously recognizing operating state. And accuracy of the measured effective load capacity is guaranteed.

The invention relates to a development platform device and particularly relates to an integrated development platform of a train network control system. The integrated development platform comprises a logic programming module, a configuration module and a code generation module, wherein the logic programming module performs logic programming through configuration to obtain an application function program, the configuration module defines an association relationship between variables of the application function program and variables of a drive program through configuration, and the code generation module generates target machine codes according to the application function program by means of the association relationship between the variables of the application function program and the variables of the drive program.

The invention provides a design method for power on and off of a Loongson mainboard, in particular relates to a design method for realizing power on and off and time sequence resetting of a Loongson mainboard by utilizing a state machine. The design method comprises the following steps of: A, initiating the mainboard into an Idle state; B, after the machine is started, sending a high level signalof Slp-s5=1 by a south bridge; C, after a programmable logic device receives the signal of Slp-s5=1, starting to run the state machine to enter an S0 state; D, sending a power supply control logic, aresetting logic of south and north bridges and a resetting logic of a Loongson CPU by the state machine; E, after the machine is started for 4s through long pressing, sending a low level signal of Slp-s5=0 by the south bridge; F, after the programmable logic device receives the signal of Slp-s5=0, enabling the state machine to enter an S5 state; and G, executing the power off state by the state machine, and returning to the Idle state after a 12V power supply is switched off. The method for controlling the power on and off and the time sequence resetting through the state machine by utilizingthe programmable logic device, which is provided by the invention, has excellent availability and can stably play the roles of starting up and shutting down.

The invention relates to a zone-boundary-based optimization way-finding method being applied to logic visual programming. The method comprises the following steps: calculating the optimal point pair between a starting point and a terminal point, taking the optimal point as the way-finding point, and determining the way-finding path; if no reachable path is found, taking a barrier salient point on the zone boundary between the starting point and the terminal point as the way-finding point, dividing the way-finding process into two parts: the starting point to the way-finding point, and the way-finding point to the starting point, wherein selecting the path with minimum inflection degree for the way-finding point to the starting point part as the optimal path, updating the way-finding point as the starting point to repeat the way-finding process for the starting point to the way-finding point part; and finishing the process until finding the reachable path or achieving the set maximum path inflection degree. The zone-boundary-based optimization way-finding method being applied to logic visual programming can maximumly guarantee that the way-finding path is concentrated at the middle position in the way-finding zone, thus according with the visual demand of people, and can greatly reduce the space searching scope for way finding and improve the way-finding speed. Besides, the path inflection degree can be limited according to the practical situation, so that the requirement for a true environment can be satisfied and the path complexity can be reduced.

The invention discloses a social network system modeling and privacy strategy property verification method based on MSVL. The method comprises the steps that the framework projection time sequence logic programming language MSLV is used for modeling a social network system, meanwhile, proposition projection time sequence logic PPTL is used for describing the privacy strategy property of the social network system, verification is carried out through an MSV interpreter, and whether the privacy strategy property of the social network is correct or not is obtained. According to the social network system modeling and privacy strategy property verification method, the MSVL program is adopted for system modeling, the privacy strategy property is described through the PPTL, the MSVL is an executable subset of the PTL, the PPTL is a proposition subset of the PTL, and the MSVL and the PPTL belong to the PTL framework structure and can be executed in the MSV interpreter in a unified mode. Compared with other methods, additional tools do not need to be called, additional logic languages do not need to be defined either, the method is simple and convenient to implement, and the MSV interpreter can give an accurate result schematic diagram.

Methods and apparatus for testing programmable integrated circuits are provided. Programmable integrated circuits include programmable elements that are loaded with configuration data to program programmable logic to perform a custom logic function. The programmable integrated circuits receive test configuration data from a tester to program the programmable logic into a test configuration. After the programmable integrated circuit has been placed into the test configuration by loading the test configuration data, test vectors are applied to the programmable integrated circuit to evaluate its performance. Test configuration data loading circuits are used in the programmable integrated circuits to control how the test configuration data is loaded into the programmable elements. When the adjustable circuits are placed in a low bandwidth configuration, relatively few input lines are used to load the test configuration data. When the adjustable circuits are placed in a high bandwidth configuration, test data can be loaded quickly.

The invention relates to an inter-board communication device and method in distributed equipment. The device comprises a master control board card and multiple service board cards, wherein the master control board card comprises a CPU processor and a logic programming apparatus in connection; each service board card comprises the CPU processor and a network port for connecting the master control board card; the CPU processor is used for sending a message to the logic programming apparatus; the logic programming apparatus is used for receiving the message and analyzing the two-layer MAC address of the message, thereby obtaining a corresponding relation of the MAC address and each service board card according to an MAC address constitutive rule of the network port of each service board, and then sending the message to the network port of the corresponding service board card. The communication device disclosed by the invention is used for solving a problem that the logic programming is complex in the prior art; the transmission of the standard Ethernet is considered when the two-layer exchange function in the logic programming apparatus is simplified, and the message isolation function between the service board cards can be realized.

Disclosed is a non-volatile storage element that is defined between a bitline and a complementary bitline, and that can be accessed by a selected wordline is disclosed. The non-volatile storage element includes a high voltage latch that is configured to receive a pump voltage, and a reference voltage that is about half of the pump voltage. The non-volatile storage element also includes a storage cell that is configured to receive a logical programming value from the bitline and the complementary bit line when the wordline is driven high to turn on a first passgate and a second passgate. The storage cell further includes a capacitive transistor having its back gate, source and drain connected to a first terminal of the first passgate, and a tunneling transistor having its back gate, source and drain connected to a second terminal of the second passgate. The capacitive transistor and the tunneling transistor are configured to share a floating gate. When one or more of the above described non-volatile storage elements are defined in a custom application specific integrated circuit (ASIC) having a multiplicity of transistors, each of the transistors in the storage element may be formed using about the same fabrication process operations as used to fabricate the multiplicity of transistors of the ASIC.

A form reader includes a landmarks extractor configured to select textboxes of a converted document as form landmarks based on textual characteristics. A set of positional constraints constrain the form entries relative to the identified form landmarks. A constraints solver selects textboxes of the converted document as form entries by solving the set of positional constraints respective to a set of facts including the selected form landmarks and converted document. In some embodiments, the constraints solver includes a query engine configured to (i) construct a query in a logic programming language setting forth the set of positional constraints and the set of facts and to (ii) input said query to a logic programming language query solving engine and to (iii) receive a response from the query solving engine responsive to the input.

The invention discloses a programming method of a hardware device, a visual programming platform, a memory and a processor. The method includes the following steps that: the IO driver of a hardware device to be programmed and the hardware platform of the hardware device to be programmed are configured; the type of a programming component and the input / output device for performing visual logic programming are acquired according to the hardware platform; an executable program file is generated according to the IO driver and the hardware platform, wherein the executable program file is used for representing the executable program of the hardware device to be programmed; the executable program file is sent to the hardware platform, so that the executable program file and the hardware platformcan be combined to form a hardware device supporting programming; a programmable capability description file is generated according to the type of the programming component and the input / output device; an application logic program file is generated on the basis of the programmable capability description file; and the application logic program file is issued to the hardware device supporting programming. With the programming method of the hardware device, the visual programming platform, the memory and the processor of the invention of the invention adopted, a technical problem that the logic customization of a logic control hardware device is relatively complicated can be solved.

The invention relates to a train network control system software development method. The train network control system software development method provides a target machine code development method according to some examples. The train network control system software development method includes that performing logic programming to obtain an application function program; defining association relationships between variables of the application function program and variables of a drive program; using the association relationships between variables of the application function program and variables of the drive program to generate target machine codes according to the application function program.

The invention discloses an embedded device development and user step-by-step development method. The method comprises the steps that a module developer develops a modular component and provides a reusable symbol library; a device integrating person sets up a standard function on the basis of the symbol library, device function configuration is conducted in a visual mode, user configurable data is designed, and a standard firmware package is formed; a user conducts device logic programming, module deblocking and blocking and fixed value setting on the basis of actual needs, and an actual running firmware package is formed. By means of the step-by-step development mode, the flexibility and configurable capacity of the device can be significantly promoted.

The invention provides a realizing method for logic programming. The method includes the steps that according to needs, needed elements are determined, and connecting relations between the elements are determined; the determined elements and the determined connecting relations between the elements are stored as a configuration file; at the initial stage of logic programming, the configuration file is analyzed, and instance names of the elements, an execution sequence between the elements and the connecting relations between the elements are obtained; according to the instance names of the elements, the execution sequence between the elements and the connecting relations between the elements, an executable task chain is generated; at the operation stage of logic programming, all tasks of the task chain are sequentially executed. The invention further provides a realizing device for logic programming.

The invention provides a constant emitting detecting and overcoming method of an optical module in an EPON (Ethernet Passive Optical Network). By using a logic programming module, the constant emitting detection of the optical module is finished while a control signal is generated to control a sending power of the optical module to reset. The device comprises an optical network unit, wherein the optical network unit comprises the optical module, an optical module power control unit, a central processing unit (CPU) and a logic control unit. The technical scheme provided by the invention is mostly applied to an MDU (Message Decode Unit) with a logic device (an FPGA (Field Programmable Gate Array) or a CPLD (Complex Programmable Logic Device)); with respect to the traditional analog circuit implementation method, the constant optical detection of the optical module and the turn-off of the sending power are realized by adopting the logic programming method; the method is cost-saving, stable and reliable in performance, adjustable in time threshold of constant emitting, and unrelated to the constant emitting protection and the flow; in addition, the protection is free from the influence of temperature and device parameter changes.

The invention discloses a method for realizing logic programming in a communication management machine. Based on a main program module in an electrically monitored communication management machine, logic programmable configuration software capable of performing logic programming and operation is added in a main program in the communication management machine; a management machine system is subject to function enhancement or modification. The realizing process comprises the following steps of: a, configuring application software of the logic process of the communication management machine by the program, wherein the software is an independent executing program; b, dynamic library which runs in the system; c, logic element; d, verifying logic emulation: testing validity and correctness of the logic process of a logic diagram; and e, online monitoring logic operation of the management machine: when the management machine is running, executing the execution condition of the logic process of the management machine. According to the invention, on the premise that the stability of the system in the communication management machine is not influenced, logic variables are manually or automatically added to the management machine system and logically processed.

A data writing method includes the steps that a plurality of logic programming units are configured to map part of physical programming units of a reproducible type nonvolatile memory module, each logic programming unit is divided into a plurality of logic management units, and the size of the logic management units is equal to the basic storage unit of a host system. The method includes the steps that first data are received by the host system, whether a logic start address of the first data located in the first logic programming unit does not align with the start addresses of all the logic management units of the first logic programming unit and / or a logic end address of the first data located in the first logic programming unit does not align with the end addresses of all the logic management units of the first logic programming unit is judged, and if yes, second data which is larger than the basic storage unit are utilized to fill up the first data.

An energy-saving environment-friendly extrusion device for intelligently controlling recycled plastic based on a PLC comprises an extrusion part and the PLC; the extrusion part mainly comprises an extrusion material barrel and a transmission mechanism in transmission connection with the extrusion material barrel; a heating screw is arranged in the extrusion material barrel, a heating wire is arranged in the heating screw, the extrusion material barrel is divided into seven heating segments, the seven heating segment are independent of one another, and each heating segment comprises an electromagnetic heating oil arranged on the extrusion material barrel in a sleeving manner; a cooling cavity is formed in the middle of the extrusion material barrel and is connected with a cooling system; the heating wire is connected with the PLC, and the heating temperature and the heating time of the heating wire are controlled through logic programming; PLC data are transmitted to an office computer through the internet, the data can be directly observed through the computer, and therefore production is guided, and mechanical monitoring failures are maintained; and the aim of intelligently controlling extrusion of the recycled plastic is achieved, manpower, material resources and financial resources are saved, and the device meets the sustainable development requirement.

A system for generating platform-specific control logic implementation code for execution on a programmable logic controller (PLC) platform includes a plurality of processing layers. A first layer models generic control requirements as a unitary mathematical model (UMM). A second layer translates the UMM into generic control code describing a platform-independent set of generic control functions following an open structured language. A third layer automatically transforms the generic control functions into the platform-specific implementation code executable on different PLC platforms. A method of generating the implementation code includes modeling control requirements as a mathematical model, transforming the model into platform-independent control code describing a predetermined set of generic control functions using Extensible Markup Language (XML) schema, and automatically transforming the generic control functions into the implementation code.