54 results about "Mathematical logic" patented technology

In one embodiment, an Internet eco system includes a data posting platform securely accessible over the Internet to post personal, confidential and business data for conducting informational and transactional transactions for compensation. In another embodiment, the Internet eco system enables data providers to earn monetary compensation, system credits compensation or barter based compensation. In another embodiment, the Internet eco system enables data posting based upon freeform, system forms, keywords, mathematical logic, constraints, policies, facts, rules, workflow, or context logic; such data can be searched and retrieved based upon keywords, mathematical logic, constraints, policies, facts, rules, workflow, or context based search criteria. In yet another embodiment, the Internet eco system provides methods for authentication, authorization, accounting, data indexing, data classification, heuristics, activity metering, fraud detection and prevention, user identification, verification and dispute resolution, providing feedback, payments and systems credit settlement, providing virtual agent capabilities and third party interfacing capabilities and for providing interfaces to search logic. In yet another embodiment of the Internet eco system provides methods for data providers and data consumers to engage in and to consummate social networking based transactions.

The invention discloses an intelligent device control and arrangement system applied to indoor design. The intelligent device control and arrangement system comprises a database, a user demand service system and a real-time three-dimensional virtual simulation design control system which comprises a core module and a design application module. The design application module comprises a sub-view displaying sub-module used for displaying the appearance and detailed parameter data of a three-dimensional simulation product in a picture-in-picture mode, a mathematical logic abstract model used for defining furnishing articles in a guest room in an OOP mode, an indoor article sub-module for giving an operation processing method, a mathematical logic abstract model for defining an intelligent control unit in the OOP mode, an RCU multimedia intelligent control unit sub-module for giving an operation processing method, a control configuration script file output sub-module and an RCU Language transmission sub-module of an RCU control protocol. According to the system and method, the threshold requirement of user using is low, modification is convenient, and the third dimension is high.

The present invention provides a novel computer system that synthesizes object programming, functional programing and data-flow programming, with advances in mathematical logic and cognitive modeling. The synthesis allows a system to exist which provides for close alignment among the manner in which a user interacts with a system, how that interaction forms a dynamic working profile and how that profile is to be used, to guide on-the-fly, situation-specific ontological federation, presenting the user with a unified view of disparate information.

The invention discloses a three-dimensional model system of a 220KV transformer, and relates to the technical field of three-dimensional simulation of the 220KV transformer. According to the three-dimensional model system, modeling software is utilized, a part level serves as a unit, geometric constraint is added according to the assembly relationship of equipment, assembly is performed, and finally a set of three-dimensional virtual model of the 220KV transformer is generated. The model is led into a simulation platform after being built well, wherein the simulation platform comprises a model engine, a data engine, a sound engine, a script engine and a logic engine. The model engine leads in the model built well in the modeling software, the mathematical logic relationship and geometric constraint conditions are added to the model through the logic engine, and according to standard transformer disassembly and assembly steps and maintenance procedures, interactive animation production is carried out on the model of the transformer. Meanwhile, programmers can also use the sound engine and the script engine to add sound and demonstration animations to a simulation system. The three-dimensional model system of the 220KV power transformer has the advantages of greatly improving teaching quality, and meanwhile reducing loss of concrete equipment.

A methodology and system for defining enterprise software requirements is provided. The methodology, called correctness by proof, is based on biology of cognition and mathematical logic. The methodology decomposes requirements engineering problem into three standalone sub-problems each of which is solved using axiomatic method to construct an axiomatic theory. The whole of enterprise software requirements is represented as three hierarchically organized axiomatic theories. Every theorem of an axiomatic theory is proved to be true, resulting all requirements correct by construction. Requirements constructed in form of axiomatic theories have three attributes: consistent (free of contradiction), complete (no missing requirements) and normalized (free of redundancies) as ensured by the properties of axiomatic systems. This proposed innovation anticipates immediate benefits for a discontinuous progress in defining correct and precise requirements by construction impossible with today's approaches. It also expects to reshape the landscape of requirements definition technologies to automate tasks with scientific exactitude.

An automatic problem solving method based on complex reasoning network comprises the following steps: S1, compiling basic rules; S2, inducing and summarizing mathematical logic, extracting problem solving process, and compiling rule flow, wherein the rule flow is composed of a plurality of basic rules and is used for processing common problem solving modes in mathematical logic; S3: For the triggered rule, recording its rule name, rule condition and conclusion, and inserting and saving the basic rule and rule flow in different containers respectively; 4, using a timer to check that change of the fact number in the container every time interval, and stopping the machine when the fact equivalent to the solution target exist in the workspace or the rule number in the container is no longer changed; S5: automatically organizing and forming an inference network and outputting it forward.

The invention provides a system and a method for controlling fertilization by intelligent amount changing. In the fertilization control system, a submerged soil deep rotary tilling, stubble cleaning and filling integrating machine serves as a carrier, an ARM serves as a control core, and a global positioning system is combined with a plurality of sensors and controllers, precise amount changing fertilization of a fertilizer is realized, and layered selection of a seed fertilizer and a seedling fertilizer is also realized. The method comprises the following steps: before operation, adjusting a furrowing blade to select a fertilization depth, performing data processing on a fertilization prescription chart required by a plot, and writing in a USB (universal serial bus) memory card; during work, detecting fertilizer distributor positioning information, an equipment traveling speed state and motor feedback information in real time, controlling rotation speed of a fertilizer discharging shaft of a fertilizer distributor through a corresponding mathematical logic operation by the ARM, changing a fertilizer discharging amount of a fertilizer discharging machine, and distributing a fertilizer into a fertilization layer requiring the fertilizer; and archiving and storing a fertilizer distributing amount in an operation process for post analysis. The problems of uneasy control on fertilizer distributing and discharging amount, low utilization rate, waste, pollution and the like of the fertilizer are solved, and the aims of reducing investment, improving benefit and increasing yield of crops are realized.

The present invention provides a novel computer system that synthesizes object programming, functional programming, data-flow programming, mathematical logic and cognitive modeling. The synthesis allows a system to exist which provides for close alignment among the manner in which a user interacts with a system, how that interaction is logically parsed, how set-theoretic composition of the logic results, how that set-theoretic algorithm builds functional reactive flows and how those flows are structured for display to a user.

The invention relates to a software vulnerability detection method based on a behavioral characteristic automaton model, comprising the steps of 1), loading the automaton model with data constraint to the flow from the vulnerability behavioral characteristic library, building an automaton model with data constraint; 2), converting the behavioral characteristic sequence in the vulnerability behavioral characteristic library into behavioral characteristic language by the automaton model; 3), cyclically judging if the behavioral characteristic has uniqueness or measuring similarity among measurement behavioral characteristic individuals by the automaton model; if the behavioral characteristic has uniqueness, detecting software state based on mathematical logic and reporting existence of the software vulnerability by the automaton model; if the behavioral characteristic has similarity, detecting software state based on Bayesian logic and reporting existence of the software vulnerability by the automaton model. Compared with the prior art, the method has the advantages of improving software vulnerability detection efficiency of a computer, etc.

The invention discloses a method for verifying a security model of a computer system, and belongs to the technical field of security of an operating system. The method provided by the invention comprises the steps: (1) an ML (modeling language) modeling module describes the dynamic and the static attributes of a security model of a computer system by adopting of a UML (unified modeling language) description language to obtain the UML model of the security model of the computer system; (2) a security attribute to be verified is described through a mathematical logical formula adopted by a preset formal verification tool; (3) the UML model is converted into an input model, capable of being processed by the preset formal verification tool, through a UML model conversion module; and (4) state traversal is performed on the input model through the preset formal verification tool, the satisifiability of the formula obtained in the step (2) on each state is calculated, and verified results are output. By means of the invention, the automation degree of verification and the verification capability are improved, and at the same time, the structural defects of the security model per se and the condition of violation of a time sequence attribute can be verified.

The invention relates to a spacecraft fault simulation control method and a spacecraft fault simulation control device. The spacecraft fault simulation control method includes: prestoring a script item including a condition item, a condition set satisfying a condition operation formula (as shown in the description) and a behavior set consisting of behavior items; monitoring a state variable (as shown in the description) representing change of a state; when change of the state is monitored, calculating the condition operation formula (as shown in the description) according to the state variable (as shown in the description); deciding whether to execute an action according to a calculation result, determining time and frequency of the action to be executed according to the type of the action to be executed, and sending an action instruction. The spacecraft fault simulation control method and the spacecraft fault simulation control device are capable of monitoring the state of an embedded system according to high real-time performance and complicated interactivity of spaceflight test control, subjecting multi-state branch points of a simulation system to complex calculation by satisfying a calculation method based on mathematical logic conditions and achieving precise control of multipoint and multiple fault behaviors by being supportive to precise situation study and judgment and have the capability of complex spacecraft fault behavior simulation.

The invention discloses a 110kVGL312 sulfur hexafluoride breaker three-dimensional model system, and relates to the technical field of sulfur hexafluoride breaker three-dimensional emulation. According to the system, modeling software is utilized, a part level is utilized as a unit, geological constraint is added according to an assembly relationship of equipment, assembling is conducted, and finally a set of 110kVGL312 sulfur hexafluoride breaker three-dimensional model is generated. After the model is built, the model is laid in an emulation platform which comprises a model engine, a data engine, a sound engine, a script engine and a logic engine. The model engine leads in the module which is built in the modeling software, then, the logic engine is utilized to add mathematical logic relationships and geometric constraint conditions to the model, interaction animation production is conducted on a transformer model according to standard transformer dismounting steps and overhaul procedures, and meanwhile a programmer can also utilize the sound engine and the script engine to add voice and demonstration animation to the emulation system. The 110kVGL312 sulfur hexafluoride breaker three-dimensional model system has the advantages of greatly improving teaching quality and meanwhile reducing loss of real-object equipment.

The invention discloses a cross-platform transformation method for a pseudo random number generator in an FTS random algorithm. The cross-platform transformation method comprises the steps: recombining weights corresponding to User0-UserY into a Merkle tree; starting from the root node of the merkle tree, using a random seed as a random source, and using a pseudo random number generator to generate a random number which is less than the node weight of the current tree; taking the random seed X as an initialization seed, and selecting leaf nodes; performing transformation; performing verification; based on a safe random seed, a cross-platform pseudo-random number generator is constructed by adopting a hash algorithm and a large number modulo operation, so that the universality of algorithm transplantation is realized, the algorithm does not depend on any development language and a basic library of an operating system any more in the operation process, and the cross-platform pseudo-random number generator is constructed by using universal mathematical logic; according to the method, different development languages and operating systems can be universally realized, and the same seed is ensured to obtain a consistency result after cross-platform, so that the error probability can be reduced, and the universality of protocol realization can be ensured.

Disclosed is an intelligent equipment control-arrangement system and a method thereof. The aforementioned system and method are applied to interior design. The system comprises a data base, an user request service system, and a real-time three-dimensional virtual simulation design-control system containing nucleus module and design-application module. The design-application module contains a sub-view display sub-module for realizing displaying 3D simulation product appearance and detailed parameter data through picture-inside-picture; a mathematical-logic-abstract model realizing utilizing OOP object-oriented approach to define interior furnishings, and an inferior-object sub-module providing arithmetic processing methods; a mathematical-logic-abstract model realizing utilizing OOP object-oriented instrument to define intelligent control unit, and an RCU multimedia intelligent-control sub-module providing arithmetic processing methods; a RCU control-configuration script-file-output sub-module of control-protocol and a RCU language transmission sub-module. The system and the method of the invention enable users to have easy access to the using of the system, and also can be modified easily. Moreover, the system has strong three-dimension effect.

The invention provides an arrangement control method and device of an intelligent draw-out type low-voltage switch cabinet system and relates to the technical field of a switch cabinet. The inventiondiscloses an arrangement control method comprises steps that load information participating in switch cabinet arrangement and the number of bus sections are acquired; the size of arrangement drawers corresponding to each load is determined according to the load information; the number and the size of arrangement drawers in each bus section are determined; an area participating in arrangement of the arrangement drawers in each switch cabinet is identified, and all the arrangement drawers in the area participating in arrangement of the arrangement drawers in the switch cabinet are sequentially arranged according to the number and the size of the arrangement drawers; according to the sizes of the arrangement drawers, the arrangement drawers are arranged in the area, participating in arrangement of the arrangement drawers, of each switch cabinet to obtain a disc surface arrangement diagram including the load information. The method is advantaged in that the number of bus sections and the information of loads participating in arrangement are determined in advance, the plane position relation is converted into an abstract mathematical logic relation, and lastly a plane position map is regenerated.

The invention discloses a three-dimensional model system of a 220 KVGL314 sulphur hexafluoride circuit breaker, and relates to the technical field of three-dimensional simulation of the sulphur hexafluoride circuit breaker. The three-dimensional model system is assembled by utilizing modeling software, taking a part grade as a unit and adding geometric constraint according to the assembly relation of equipment to finally generate a three-dimensional virtual model of the 220 KVGL314 sulphur hexafluoride circuit breaker; after the three-dimensional virtual model is built, the three-dimensional virtual model is guided into a simulation platform; the simulation platform comprises a model engine, a data engine, a sound engine, a script engine and a logic engine; the model engine guides a model built in the modeling software; then mathematical logic relation and a geometric constraint condition are added to the model by using the logic engine; interactive animation production is carried on a transformer model according to standard transformer disassembly and assembly steps and overhaul process; and a programmer can add sounds and demonstration animations to a simulation system by using the sound engine and the script engine. The three-dimensional model system disclosed by the invention greatly enhances the teaching quality and reduces the loss of practical equipment.

The invention discloses a method and system for performing storage and seal verification on seal combined data. The system has very high compatibility with differentiated seal combined data and can successfully express a seal combination set with any element as a condition; only one record is analyzed in the seal verification, so that processing efficiency of the seal combined data is greatly promoted. The storing method includes the steps that single elements involved in the seal combination of one account and the value ranges of the elements are expressed in the form of key value pairs to form simple conditional expressions; the simple conditional expressions and seals are respectively individually taken as simple propositions, and the simple propositions are connected together through operational symbols in mathematical logic to form composite propositions; two or more composite propositions are connected through operational symbols in the mathematical logic to form the seal combined data, or the seal combined data are formed by one composite proposition; the seal combined data are stored as one record in one field in a data base.

The present invention relates to an expert system of artificial intelligence knowledge logic, in particular to a method for high-level decision management used for government decisions, enterprise decisions and management, finance decisions and management and so forth and controlled by a computer. The structure comprises a set of expert systems of a mathematical logic knowledge base and mathematical logic inference rules established with the aid of the computer. The mathematical logic knowledge base consists of basic knowledge, professional knowledge and core knowledge. The mathematical logic inference rules include combining with the mathematical logic algorithm and using the analytical data used for dealing with things previously to establish a set of mathematical logic inference methods that has a calculating characteristic of an ultra-high-speed logic inference for all things. The present invention solves the problem that how the expert system of artificial intelligence knowledge logic is led in by government organs, industrial finance, information and biological technology, enterprises and so on to help solve the important decision problems that experts are confronted with in an era of knowledge-based economy and provides correct directions and suggestions for the decision-making.

This invention relates to an automatic computing device of weights and measures and a method, among which, the device includes a storage unit, an input unit, a display unit and a control unit. Said storage unit has many operation formulas stored in it when it receives an input signal of a selected operation formula, it will fetch a corresponding operation formula from the storage unit to be displayed by the display unit, then receives the input values corresponding to the parameters in terms of the definition of the operation formula, the control unit caries out mathematical logic operation based on the operation formulas and input value to compute and display an operation result.

The invention provides a method and system for setting a characteristic nonreflecting boundary condition of coupling edge processing. Defined in a grid node domain of a computational domain, a governing equation of characteristic wave forms of coupling edges of the grid node domain is generated, a pressure and speed time derivative equation of compressible fluid on the coupling edges is generated, density of the compressible fluid and characteristic wave parameters of the coupling edges are substituted to the equation, a coupling edge solving variable time advance equation is generated, and according to the coupling edge solving variable time advance equation, the boundary condition of the coupling edges in the compressible fluid is determined. According to the method, through strict mathematical logic computation, an Euler equation boundary condition preset method is prevented from being directly applied to a Navier-Stokes equation, the whole setting process is stable and accurate, the sound wave reflection problem of the compressible fluid can be well solved, and accuracy of a characteristic nonreflecting boundary condition setting result of the coupling edge processing is guaranteed.

The invention discloses a security target decomposition and modeling method and related equipment, which are used for improving the decomposition accuracy of a security target and improving the formalized verification reliability of the security target. The method comprises the steps that N types of entity information of the security policy is acquired according to at least one of a unified modeling language time sequence diagram and a state diagram of the security policy, N is a positive integer not smaller than 2, and the entity information is at least one of processes of the security policyand channels, data and activity processes among the processes; verifiable attributes of each type of entity information in the N types of entity information is determined according to verifiable attribute types in a security attribute description library; And a mathematical logic formula of each type of entity information is generated according to the mathematical logic formula template and eachtype of entity information, wherein the mathematical logic formula template corresponds to the verifiable attribute of each type of entity information.

The invention relates to a baby multi-member intelligence freedorm operation study system, which includes the study cabinet, the study box, the comment quantitybook, the teacher train instruction handbook, the study cabinet setup many diaphragm and the vertical partition board, thestudy cabinet formed many spatial racks, each spatial rack is loaded with many study box, the study box is equipped with the operation cloth, study book, the many kinds of teaching aids. Study box grouped according to mathematical logic intelligence A area, language intelligence B area, spatial intelligence C area, nature observation intelligence D, introspection intelligence and human communication intelligence E area, Baby synchronization study record to use the comment quantitybook divide into several ranks according to 3-6 year old of education scope and the content, induce 58 cores concepts in each rank, this core concept formed a whole, each core concept content minuteputs in each study box. This invention is a concrete implementation and application of multi-member intelligent education theory in the baby early time education domain, raises the baby study ability and self-control consciousness, and is the beat way in baby earlytime education.

The invention provides a high-accuracy similarity search system. A pivot is determined from enrolled data by a pivot determination unit, raw data is acquired, features are extracted from the raw data, a score is calculated as one of a distance and a degree of similarity between the features, an index vector is generated by using the score for the pivot, a score is calculated as one of a distance and a degree of similarity between the index vectors, a parameter of each non-pivot including a regression coefficient is trained by using training data, order to select the non-pivots is, by using the score between search data and the non-pivot as well as the regression coefficient, determined in descending order of posterior probability through logistic regression, and a search result is outputted based on the score between the search data and the enrolled data.

The invention discloses an intelligent course arranging method based on a mathematical logic. The intelligent course arranging method comprises the following steps: inputting a course set and a course teacher set, and forming a one-dimensional array by a two-dimensional array serial number of the course set and the course teacher set; taking a subscript of the one-dimensional array as an attribute coordinate, and providing a probability distribution criterion about class hour distribution for each point; inputting a classroom set and a class taking class set, establishing a mapping function on the basis of the probability distribution criterion, and forming a primary class arranging result set according to the mapping function; inputting a constraint condition, and screening the primary class arranging result set according to the constraint condition, thus forming a second-level class arranging result set; carrying out priority rule screening on the second-level class arranging result set to form a three-level class arranging result set; and according to the mathematical logic, revising elements in the three-level class arranging result set, and outputting a final-level class arranging result set. Compared with automatic course arrangement, the intelligent course arranging method is better in flexibility and can process special tasks at any time.

The invention discloses an automatic pre-inspection method for a heating, ventilating and air conditioning control strategy. The method comprises the steps of 1, describing the physical form of a heating, ventilating and air conditioning system; 2, mathematical description of a control strategy of the heating, ventilating and air conditioning system; 3, classifying potential contradictions of thecontrol system; and 4, performing automatic inspection based on a system form and a classification result. According to the method, the cause and the type of the contradictory conflict in the controlsimulation of the air conditioning system can be analyzed, and the abstract problem of the contradictory conflict can be converted into a concise and clear mathematical logic problem by establishing mathematical description of a system form and an inspection method, so that the automatic static contradictory pre-inspection method based on the computer program is formed.

The invention discloses a voltage source converter based high voltage direct current transmission additional constant-capacity damping control method, which comprises the steps of performing oscillation characteristic identification on a system, and determining a low-frequency oscillation mode required to be suppressed; detecting a speed difference signal OmegaAB of inertia centers of two regional generators, enabling the speed difference signal OmegaAB to act as an input signal of a controller, performing amplification and amplitude limiting on the speed difference signal OmegaAB through a gain link so as to act as an active additional modulation signal deltaPmod, superposing the active additional modulation signal deltaPmod and an original active setting value PI_ref to act a new active setting value PI_ref11; enabling the active modulation signal to act as input of a reactive modulation link, acquiring a reactive modulation signal Qmod through a mathematical logic link, and superposing the passive modulation signal Qmod and an original active setting value QI_ref to act as a new active setting value QI_ref11. The method disclosed by the invention ensures the transmission capacity of a converter station to be constant, thereby being conducive to stable running of the system; and the control law derived through a mathematical method does not depend on a specific system model, thereby having excellent transportability.

The invention discloses a three-dimensional model system of a 220KV transformer, and relates to the technical field of three-dimensional simulation of the 220KV transformer. According to the three-dimensional model system, modeling software is utilized, a part level serves as a unit, geometric constraint is added according to the assembly relationship of equipment, assembly is performed, and finally a set of three-dimensional virtual model of the 220KV transformer is generated. The model is led into a simulation platform after being built well, wherein the simulation platform comprises a model engine, a data engine, a sound engine, a script engine and a logic engine. The model engine leads in the model built well in the modeling software, the mathematical logic relationship and geometric constraint conditions are added to the model through the logic engine, and according to standard transformer disassembly and assembly steps and maintenance procedures, interactive animation production is carried out on the model of the transformer. Meanwhile, programmers can also use the sound engine and the script engine to add sound and demonstration animations to a simulation system. The three-dimensional model system of the 220KV power transformer has the advantages of greatly improving teaching quality, and meanwhile reducing loss of concrete equipment.

The present application discloses a security target decomposition and modeling method and related equipment, which are used to improve the accuracy of the security target decomposition and improve the reliability of the formal verification of the security target. The method of the present application includes: according to at least one of the unified modeling language sequence diagram and the state diagram of the security policy, obtaining N-type entity information of the security policy, the N is a positive integer not less than 2, and the entity information is Each process of the security policy and at least one of the channels between processes, data and activity flow; determine the verifiability of each type of entity information in the N types of entity information according to the verifiable attribute type in the security attribute description library Attributes: generate a mathematical logic formula for each type of entity information according to a mathematical logic formula template and each type of entity information, and the mathematical logic formula template corresponds to the verifiable attributes of each type of entity information.

The invention belongs to the technical field of analog integrated circuits, and in particular relates to a low power consumption current divider. The present invention realizes the function of current division by only using four NMOS transistors. The circuit has the characteristics of simple structure, high reliability and wide application range, can be widely used in low-power digital-analog hybrid circuits, and has unique advantages compared with digital dividers. The beneficial effect of the invention is that it overcomes the disadvantage of high dependence of traditional mathematical logic operations on digital circuits. Using four NMOS transistors working in the sub-threshold region to form a current divider can realize the proportional relationship between the output current and the ratio of the two input currents in a large range.

The invention provides a combustion boiler operation control method and system. The method includes defining a grid node region in a computational region, generating characteristic wave form parameters of all corners of the grid node region, converting the parameters to generate parameters of pressure and speed and time derivatives of compressible fluid on the corners, substituting the parameters of the pressure and speed and time derivatives of the compressible fluid into density of the compressible fluid and the characteristic wave parameters of the corners, generating corner solving variable time advancing parameters, determining corner boundary conditions in the compressible fluid, performing unsteady compressible-flow direct numerical simulation on a combustion condition in a combustion boiler, and controlling the operation of the combustion boiler according to numerical simulation results. By the combustion boiler operation control method, strict mathematical logic computation is performed, the whole boundary condition setting process is stable and accurate, the operation condition of the combustion boiler can be simulated accurately, and the operation of the combustion boiler is controlled.