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

Well bias voltages are generated in accordance with a logic power supply voltage and a memory power supply voltage. The transistor included in a control circuit in a memory core is constituted of a logic transistor manufactured through the same manufacturing steps as those for the transistors of a logic formed on the same semiconductor substrate. Well bias voltages (VBB, VPP) are applied to a back gate of this logic transistor. A memory integrated with a logic on a common semiconductor substrate is provided which allows a transistor of a control circuit therein to be manufactured through the same manufacturing process as that of the logic and allows reduction of current consumption.

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 present invention relates to systems and methods for determining the intent of received data (eg, email, voice, graphics, . . . ) and responding to the data based on the intent. The present systems and methods employ various combinations of features based on shallow and deep language analysis (eg, semantics and syntax) to yield very high accuracy. The systems and methods analyze and categorize the received data for data that may include intent. This data can be further refined by extracting features related to intent. Features can be used by classifiers to determine intent. If the intent justifies the response, the data is further scrutinized and reformulated to generate a description indicative of that intent. Re-expressing and including representing features in a logical form, transforming that form and generating an intent description that can be visually and / or audibly presented to a user.

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 method for testing universal series bus equipment. The method comprises the following steps: realizing a universal series bus device controller (USB DEVICE Controller), a universal series bus (USB) host machine and a universal series bus (USB) physical (PHY) transceiver in a digital logic form; using the USB host machine and the USB PHY as a whole body; establishing pure logic simulation models of the USB host machine and the USB PHY; simulating the functions of the USB host machine and the USB PHY by using the simulation models; and achieving the aim for testing a digital logic circuit corresponding to the USB DEVICE Controller by communicating the digital logic circuit corresponding to the USB DEVICE Controller. The invention discloses a device for testing the universal series bus equipment. By applying the method and the device, the development efficiency of the USB equipment can be improved and the cost can be reduced.

A method and structure for simulating a circuit comprising inputting, from a customer site, initial memory states, and initial input signals to core logic within a host site, simulating the circuit utilizing the host site and the customer site connected though a wide area network (wherein the host site contains the core logic and the customer site contains customer logic, the core logic and the customer logic forming the circuit), comparing test output signals with the desired output signals, and altering the customer logic until the test output signals are consistent with the desired output signals.

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.

A data collection system is based on a general set of dialogue acts which are derived from a database schema. Crowd workers perform two types of tasks: (i) identification of sensical dialogue paths and (ii) performing context-dependent paraphrasing of these dialogue paths into real dialogues. The end output of the system is a set of training examples of real dialogues which have been annotated with their logical forms. The data can be used to train all three components of the dialogue system: (i) the semantic parser for understanding context-dependent utterances, (ii) the dialogue policy for generating new dialogue acts given the current state, and (iii) the generation system for both deciding what to say and how to render it in natural language.

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 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 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 a confidence degree evaluation method and device suitable for grammatical analysis, wherein the method includes the following steps: acquiring training data, and training a translation model from logical form to natural language according to the training data; capturing the logical form through the translation model The mapping relationship with natural language, obtain the natural semantics of the input data and the predicted analytical results, and estimate the data uncertainty; obtain the model uncertainty of each output result through the confidence estimation algorithm, where, for the data Uncertainty, the posterior probability output of the basic model is connected with the confidence feature, and its abstract representation is obtained through the encoder, and the conversion probability of the label is learned to obtain the confidence of the input data. This method can effectively improve the prediction accuracy of the model, and can give the interpretation of the prediction results in actual scenarios.

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 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 discloses a semantic parsing method and a semantic parser. The method comprises: receiving a natural sentence to be parsed; determining a canonical sentence corresponding to the natural sentence to be parsed; inputting the canonical sentence into a pre-trained naive semantic parser to obtain a logical expression corresponding to the canonical statement. In the embodiment of the present invention, the natural sentences are converted into canonical sentences with the same meaning before parsing, and the naive semantic parser (trained from the canonical sentence-logical form sample set in advance) is used for parsing, so that the The parsing of natural sentences is transformed into the parsing of canonical sentences with the same meaning, which solves the problem of poor generalization performance that directly uses naive semantic parser to parse natural sentences.

The present invention provides a method for processing and displaying Internet multi-source information, comprising the following steps: requesting data from an external source server; analyzing the structured data returned from the external source server; constructing internal data according to the analyzed structured data, wherein, the internal The data structure of the data includes the basic data structure and the derived data structure. The basic data structure is a logical basic data unit contained in order to meet the business needs. The derived data structure is composed of the basic data structure and logically contains multiple components. The data unit; store the constructed internal data in the database; repeat the above steps at regular intervals or randomly set time intervals and obtain the internal data from the database and display them on the page. The invention also provides an Internet multi-source information processing and display device adopting the method. The method and device of the present invention can better realize the combined display effect of local static information and updatable dynamic information obtained from multiple information sources on the Internet on the entry page.

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.