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