33 results about "Logic form" patented technology

A multi-modal natural language question answering system and method comprises receiving a question logic form, at least one answer logic form, and utilizing semantic relations, contextual information, and adaptable logic.

A natural language question answering system and method comprises receiving a question logic form, at least one answer logic form, and extended lexical information by a first module, outputting lexical chains to a second module, and utilizing axioms by the second module.

The invention relates to a manufacturing technology for a television direct transmission caption text, in particular to a method and a system for realizing the configurable replacement of the television text caption. The method comprises the following steps: external data is stored in a data central module in the form of a series of logic forms, the primitive information of a caption module is stored in a template description module, a mapping relationship is established between the data central module and the template description module, the form of the primitive information in the description module of a data replacement template in the data central module is recorded according to the mapping relationship, and the corresponding data is taken from the data central module by a broadcasting command by analyzing the mapping relationship corresponding to the broadcasting command to replace the content of the caption template in the template description module. The invention can enhance the flexibility of caption broadcasting, and greatly improve the working efficiency of subtitlers.

A method and system is provided for verifying and certifying the safety logic of a manufacturing automation system including safety logic, where the logic may include one or more safety modules, routines, programs and tasks or a combination thereof; testing specifications corresponding to the safety logic; one or more formal model generators adapted for automatically transforming the safety logic and testing specifications through a logic parser into their respective mathematical models, formatted for example, as a Petri-net or binary decision diagram; a safety logic verifier configured for automatically comparing the safety logic formal model against the testing specification formal model to verify the safety logic model for the purpose of certifying the safety logic. The testing specifications may include testing of safety logic behavior including reaching safe state, remaining in safe state without reset, recovering from safe state with reset and remaining active with false alarm detection.

The invention discloses a multi-path routing judgment method for an industrial wireless mesh network. Three judging criteria are mainly taken into consideration: 1, constraint conditions required to be met during end-to-end transmission, based on control data which has requirements on timeliness and reliability of wireless Mesh network transmission; 2, a judging mechanism for judging the proper number of concurrent transmission paths between a source node and a target node under a given condition of wireless Mesh network topological structure; and 3, an evaluating criterion for evaluating the path attributes of an equivalent path on a logic formed by multiple concurrent paths between the source node and the target node. By the multi-path routing judgment method for the industrial wireless mesh network, a specific routing judgment method is provided for implementing a multipath concurrent routing mechanism in the wireless Mesh network, so that the timeliness and the reliability of the wireless Mesh network transmission can be improved easily.

An embodiment of the invention provides a network security cooperative protection method and a network security cooperative protection system, which relate to the technical field of network security.The network security cooperative protection method comprises the steps of: converting a security resource corresponding to an accessed basic security protection system into a security resource pool ina logic form; forming a security service catalog according to first security services provided by the security resource pool, and setting a service state corresponding to each second security servicein the security service catalog; performing security protection strategy matching according to security events, and determining a target security protection strategy; carrying out orchestration processing on the open second security services according to the target security protection strategy, and generating service description information corresponding to a third security service; and providingthe service description information to a corresponding security protection application, and calling the third security service for protection by means of the security protection application. The network security cooperative protection method and the network security cooperative protection system provide the unified cooperative protection mechanism and the unified support system, enhance the network security protection effect, and satisfy the network security protection requirements under the new circumstances.

The invention provides a real-time microblog search method. The method includes: performing document expansion on each microblog in a microblog space so as to generate a document expansion logic form; acquiring keywords from a user; performing logic expansion on the keywords so as to generate expanded search logic forms; searching each document expansion logic form according to the expanded search logic forms so as to acquire final search results. The invention further provides a real-time microblog search device which comprises a document expansion module, a keyword module, a search expansion module and a matching module. The document expansion module is used for performing document expansion on each microblog in the microblog space so as to generate the document expansion logic form, the keyword module is used for acquiring the keywords from the user, the search expansion module is used for performing logic expansion on the keywords so as to generate the expanded search logic forms, and the matching module is used for searching each document expansion logic form according to the expanded search logic forms so as to acquire the final search results. By the method and device, accuracy of microblog search is improved.

The invention discloses a passive power-based method and system for determining field loss protection of a phase modifier. The passive power-based method comprises the steps of performing And gate logic on first starting criterion, first low-voltage criterion and I-segment phase-entering passive power criterion, and performing And gate logic on second starting criterion, second low-voltage criterion and the I-segment phase-entering passive power criterion, wherein two And gate logic results and a OR gate logic form field loss protection I-segment criterion; and performing And gate logic on II-segment phase-entering passive criterion and excitation voltage criterion to form field loss protection II-segment criterion. When data information of the phase modifier conforms to the field loss protection I-segment criterion or the field loss protection II-segment criterion, the field loss protection reliably acts after a preset time threshold is delayed, the field loss protection is reliable without false action when the system is at a low voltage and the phase modifier is in the phase entering running process; and when a completely-demagnetized fault or a partially-demagnetized fault occurs in the phase modifier, the field loss protection acts reliability, and the problem of false operation of the field loss protection of the phase modifier when the system is at the low voltage and the phase modifier runs in a phase-entering way is solved.

The invention discloses a combination rule constraint-based spacecraft test data extracting method. The method comprises the following steps of firstly, providing a universal expression form of a test data extraction constraint rule, wherein the test data extraction constraint rule consists of a premise item, a condition item and a delay item, and converting character description of a constraint condition to be described and expressed in a digital form and a logic form; on the basis of the combined rule expression form of the description constraint condition, providing an algorithm flow used for extracting target data from a test database, so that appearing times in the same test process with months of time can be selected, and effective data of each time can be extracted. Compared with traditional data search technology, the method has the advantages that a sectional distribution time interval of target test data can be quickly positioned by processing the combined constraint rule by the method, and the target test data is searched from each sectional time interval in the searching way which takes the time as the basis, so that data research workload within a non-related time interval is reduced, and the efficiency of data extraction work is greatly improved.

The present invention provides providing a substrate, forming a sensor array on the substrate, forming a structured array of uncommitted logic surrounding the sensor array on the substrate, and providing electrical interconnects to the structured array of uncommitted logic, wherein the structured array of uncommitted logic forms functions that support the operation of the sensor array.

A circuit arrangement design method includes a step of performing a logic conversion of logic, the logic forming a circuit arrangement where a cell arrangement and a connection arrangement between cells are provisionally arranged prior to a detailed mounting design, and thereby wiring efficiency is improved.

The invention discloses a confidence degree assessment method and device suitable for grammatical analysis, wherein the method comprises the following steps of obtaining the training data, and training a translation model from a logic form to a natural language according to the training data; capturing a mapping relation between a logic form and a natural language through a translation model, obtaining natural semantics of input data and a predicted analysis result, and estimating to obtain data uncertainty; obtaining the model uncertainty of each output result through a confidence estimationalgorithm, wherein for the uncertainty of data, the posterior probability output and confidence characteristics of a basic model are connected, the abstract representation of the model uncertainty isobtained through an encoder, the conversion probability of a label is learned, and the confidence of input data is obtained. According to the method, the model prediction precision can be effectivelyimproved, and the interpretability of the prediction result can be given in an actual scene.

The present invention relates to a look-up table architecture and to an FPGA comprising the same. The look-up table architecture comprises a registers group comprising a plurality of registers configured to issue register signals, and a programmable logic comprising a plurality of pass gates configured to be controlled at least by the register signals, the registers group and the programmable logic forming a look-up table, wherein the pass gates are placed in a single direction.

The invention relates to a sub-graph matching natural question-answering method based on a knowledge graph, and belongs to the technical field of computers. When a correctly matched query sub-graph ofthe natural language problem is obtained, the ambiguity problem is also solved at the same time. According to the method, a template does not need to be manually set in advance, and complex questionanalysis is very effective. The method roughly comprises two stages where one stage is problem understanding, i.e., converting a problem into a logic form; and the other one is query scoring, namely,confidence scoring is carried out on the generated structured query. In order to convert a natural language into a query graph, the invention provides a node-first method, which comprises firstly extracting entities from a question sentence and then filling edges among the entities to form a hyper-semantic query graph. The method does not need to manually set a template in advance, and is very effective for analyzing complex questions. Finally, the sub-graph matching question-answering method can be completed.

The invention relates to the technical field of signal processing and discloses a device capable of recommending music suitable for motion. The device comprises an electric acquisition module for acquiring human motion sign parameters, a storage module for storing system music and a preset logic form, a matching module for matching the acquired human motion sign parameters and the logic form, a retrieval analysis module for retrieving music content information and audio signal information, analyzing and forming a song list containing the same type music, and a player. The invention further discloses a using method of the device including starting the device; retrieval analysis is conducted on the music; the human motion sign parameters are collected; the collected user motion sign data is compared with and matched with the preset logic form, and a matched song list is obtained; music is selected from the matched song list to play. By the usage of the device and using method capable of recommending music suitable for motion, the music matched with a user motion state can be recommended, and therefore user's motion effect is good, the fatigue and stress are relieved and the mind is relaxed.

The invention discloses a dialogue knowledge base question and answer implementation method. The method comprises the steps that 1, a fuzzy reasoning grammar system is defined in advance; 2, obtaining a current question to be answered and historical dialogue information, and obtaining vector representation through a GloVe model; step 3, obtaining a hidden state vector of the encoder; step 4, identifying the named entity and the type thereof from the feature representation; step 5, obtaining an entity ID in the knowledge base; step 6, obtaining a logic form of the problem under the current grammar framework; 7, predicting a relation ID and an entity type ID in the problem; 8, obtaining a query statement which can be executed on the knowledge base; and 9, executing the query statement in the knowledge base to obtain an answer corresponding to the current question. Compared with the prior art, the method has the advantages that the intention of the user question in the dialogue is automatically identified, the response accuracy in the dialogue is improved, the method is suitable for open domain knowledge graph question answering, and the user experience satisfaction can be improved.

The invention discloses a natural language instruction disambiguation method and system oriented to mechanical arm grabbing. The method comprises the following steps: calibrating position coordinates of all points of an object grabbing area and an object releasing area; generating a word vector model through word prediction model training; processing an input sentence, and generating a corresponding sentence vector based on the word vector model; calculating the similarity between the two sentence vectors through a loss function, and preliminarily judging the semantic consistency between the two sentences; extracting useful words from the sentences, and reordering according to a time adversity priority to obtain a specified sentence sequential logic form; according to the obtained sequential logic form of the sentences, judging semantic consistency between the sentences; determining a specified object in the sentence sequential logic through the stack; and enabling the mechanical arm to grab and place the specified object in combination with the position word and the position coordinate. According to the method, semantic consistency judgment between natural language instructions is achieved, and the mechanical arm is further guided to complete a grabbing task.

The invention relates to an identity authentication method based on a secret graphic code sharing mechanism. The identity authentication method comprises the following steps: extracting first biological characteristic information of a first authenticated person; converting the first biological characteristic information into a first graphic code having a symbol logic form; mapping the first graphic code into n shadow secrets, and respectively storing the shadow secrets in different places; extracting second biological characteristic information of a second authenticated person; converting the second biological characteristic information into a second graphic code having a symbol logic form; selecting t shadow secrets from the n shadow secrets so as to reconstruct a graphic code; judging whether the second graphic code accords with the reconstructed graphic code or not; if so, determining that the first authenticated person and the second authenticated person are the same person; or else, determining that the first authenticated person and the second authenticated person are two different persons. According to the invention, the problem that real-name identity information is tampered, forged and stolen can be effectively prevented.

A mini controller has an intelligent central unit (2), a storage unit (8), an operating unit (4) and a display unit (6). The display unit (6) is subdivided into a sign matrix with n * m sign locations, each sign location in turn being formed by an x * y pixel matrix. Each sign location is associated with a particular type of object, so that only particular types of objects can be input and processed at particular sign locations. Sign locations are provided for at least one object of the operand type, of the connection type and of the assignment type. The object types, the momentary operand states and the resulting connection states are stored in an object assignment table, so that logic-forming current paths can be created by inputting in rows and/or columns the operand, connection and assignment objects into their associated sign locations.

The invention discloses an approximate reasoning mode algorithm based on a propositional logic probability assignment. Compared to the prior art, by using the method in the invention, an assignment domain of a classic proposition logic is extended to a given probability space from a binary value {0,1}; and a probability assignment of a propositional formula is introduced, wherein the probability assignment is promotion of a classic proposition logic binary value assignment and various kinds of true degree concepts. Through using the probability assignment, a probability truth degree, an unreliable degree, a probability truth degree based on an independent event assignment set and other concepts of the propositional formula is introduced. A property of the probability truth degree is discussed so as to prove that a truth degree set of all the proposition formulas based on the independent event assignment set does not have an isolated point in [0,1]. In proposition logic form deduction, an unreliable degree of an effective inference conclusion does not exceed a product sum of an unreliable degree of each precondition and a necessary degree. Based on the probability assignment, an a.e. conclusion, a conclusion in probability, a truth degree conclusion in probability and other concepts of a proposition formula set are introduced; connection between the concepts is discussed and two different types of approximate reasoning modes are provided.

The invention provides a method for automatically generating a logic form according to configuration, which is characterized by comprising the following steps of: S1, selecting a logic form control; s2, configuring a logic form control; s3, setting an initial state value of the logic form; s4, storing the configuration data in a database; and S5, analyzing the data returned by the database and generating a logic form according to an analysis result. The method has the advantages that when a business process or a form structure changes, a research and development team does not need to change code levels of functions and data structures of an original system, form customization can be completed only by dragging a field module, and even if a user does not have professional skills, the form can be set up.