Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

31 results about "Logical framework" patented technology

In logic, a logical framework provides a means to define (or present) a logic as a signature in a higher-order type theory in such a way that provability of a formula in the original logic reduces to a type inhabitation problem in the framework type theory. This approach has been used successfully for (interactive) automated theorem proving. The first logical framework was Automath; however, the name of the idea comes from the more widely known Edinburgh Logical Framework, LF. Several more recent proof tools like Isabelle are based on this idea. Unlike a direct embedding, the logical framework approach allows many logics to be embedded in the same type system.

Apparatus and method for interfacing packet-based phone services with emergency call centers

A gateway is provided for interfacing packet-based phone services with controllers of emergency call centers. For each type of electronic medium to be interfaced, the gateway comprises a specific I / O interface and a specific module such as a protocol stack. The gateway also comprises an auxiliary information gateway application that integrates the I / O interfaces and modules into a logical framework that enables inter-working therebetween. A controller that includes the functionality of the gateway device is also provided. Methods for enabling emergency calls, and more generally for enabling a multi-media session, are also provided.
Owner:KEAGY SCOTT

System and method for optimizing business performance with automated social discovery

InactiveUS20150081396A1Reduces operational and opportunity costMaximizing valuation and visibilityDatabase queryingDigital data processing detailsLogical frameworkKnowledge management
A system, process and method for automatically collecting, collating and transforming data into useful formats and displaying or otherwise outputting the transformed data into useable information. The system provides outputs that are useful in optimizing the enterprise performance of a business. The system, process and method are grounded in an established logical framework for systematically classifying areas of business concerns.
Owner:9LENSES INC

System and method for providing a dynamic user interface for a dense three-dimensional scene

A system and method for providing a dynamic user interface for a dense three-dimensional scene is presented. Clusters are placed in a three-dimensional scene arranged proximal to each other such cluster to form a cluster spine. Each cluster includes one or more concepts. Each cluster spine is projected into a two-dimensional display relative to a stationary perspective. Controls operating on a view of the cluster spines in the display are presented. A compass logically framing the cluster spines within the display is provided. A label to identify one such concept in one or more of the cluster spines appearing within the compass is generated. A plurality of slots in the two-dimensional display positioned circumferentially around the compass is defined. Each label is assigned to the slot outside of the compass for the cluster spine having a closest angularity to the slot.
Owner:NUIX NORTH AMERICA

System for automatically converting hardware language VHDL (Vhsic Hardware Description Language) into MSVL (Modeling, Simulation and Verification Language)

ActiveCN104503816AGuaranteed correctnessProgram controlMemory systemsVhsic hardware description languageLexical analysis
The invention relates to a system for automatically converting a hardware language VHDL (Vhsic Hardware Description Language) into an MSVL (Modeling, Simulation and Verification Language). The system can convert a VHDL language program file into an MSVL language program file; the conversion system comprises a file analysis module, a lexical analysis module, a syntactic analysis, an information storage module, a translation module and a translation result character string connection module. After a VHDL program is converted into an MSVL program, model construction and property description use the same language, so that verification is carried out in the same logic framework and indirect model detection on the VHDL language program is conveniently realized. In the converting process, the VHDL program is converted into the semantic equivalent MSVL program by making conversion rules of different grammatical structure through a plurality of additional auxiliary means, so that correctness of a source VHDL program can be ensured by carrying out simulation, model construction and verification on the equivalent MSVL program.
Owner:XIDIAN UNIV

Machine tool equipment service capability modeling method in cloud manufacturing environment

InactiveCN103473407ASolve the problem of how to display graphicallyImprove data normalizationSpecial data processing applicationsPersonalizationVirtualization
The invention relates to a machine tool equipment service capability modeling method in a cloud manufacturing environment, and belongs to the technical field of information. The machine tool equipment service capability modeling method is a machine tool equipment information standardization description method including a substance information analyzing and extracting method, a mathematical modeling technique and an STEP (standard for the exchange of product model data) technique. The machine tool equipment service capability modeling method includes creating a uniform machine tool equipment cloud manufacturing service capability model through analyzing and extracting, logic framework building and virtual standardization describing of machine tool equipment information, and configuring model information parameters in an individualized way. The machine tool equipment service capability modeling method can lay a foundation for realization of techniques like visualized packaging and displaying of machine tool equipment, establishing of machine tool equipment resource libraries and intelligent semantic-based matching of machine tool equipment resources in the cloud manufacturing environment. The machine tool equipment service capability modeling method has the advantages of high virtualized simulation degree, high universality and good expandability; by the machine tool equipment service capability modeling method, service enterprises can be effectively supported to provide cloud manufacturing services conveniently and users can be effectively supported to find and match better resources intelligently.
Owner:CHONGQING UNIV

System and Method for Optimizing Business Performance With Automated Social Discovery

A system, process and method for automatically collecting, collating and transforming data into useful formats and displaying or otherwise outputting the transformed data into useable information. The system provides outputs that are useful in optimizing the enterprise performance of a business. The system, process and method are grounded in an established logical framework for systematically classifying areas of business concerns.
Owner:9LENSES INC

Method for steel production contract plan and multi-level inventory matching optimization under MTO-MTS management mode

The invention belongs to the field of management science and engineering and particularly relates to a steel production contract plan compilation method based on multi-level inventory matching under an MTO-MTS mixed production mode. A logical frame of the method is composed of five modules which are a contract pool establishing module, a multi-level inventory matching module, a multi-process production plan module, an inventory and production collaboration module and a human-computer interaction and evaluation module, wherein the inventory and production collaboration module is a system core, a multi-level inventory and production plan joint optimization algorithm based on a rematch collaboration strategy is adopted for the inventory and production collaboration module, and the contract plan compilation problem under a mixed mode is solved by being combined with parameters coming from the human-computer interaction and evaluation module and coordinating the multi-level inventory matching module and the multi-process production plan module according to the output of the contract pool establishing module. The method is based on an operational research model and an intelligent algorithm, is the contract plan compilation method based on multi-level inventory matching and has important theoretical significance and wide application values for improving flexibility of a steel enterprise production management system.
Owner:SHANGHAI UNIVERSITY OF FINANCE AND ECONOMICS

TMSVL (timed modeling simulation verification logic) real-time system modeling method

The invention discloses a TMSVL (timed modeling simulation verification logic) real-time system modeling method belonging to the field of formal modeling and verifying. According to the method, the TMSVL extended from the MSVL (modeling simulation verification logic) can model and verify the real-time system in the same logic frame. The TMSVL real-time system modeling method comprises the following steps: initializing a system clock, establishing a TMSVL model of the system and simplifying the TMSVL model. According to the method, the system clock with an explicit formulation of time variables is defined, the basic TMSVL sentences and common delay, overtime and interruption concepts in the real-time system can be defined and the TMSVL operational semantics are provided according to the system clock. After the real-time system is described by the TMSVL sentences, the operational semantics can simplify the TMSVL sentences so as to form a practical model of the system. The TMSVL real-time system modeling method disclosed by the invention is extended from the MSVL, has all advantages of the MSVL, can represent relative and absolute time constraints, and is suitable for modeling, simulating and verifying the real-time system.
Owner:XIDIAN UNIV

Object oriented framework mechanism and method for product configuration selection determination

An object oriented framework mechanism includes a platform independent product configuration selection model that defines a hierarchy of information that may be presented to a user for product configuration selection determination. The framework mechanism defines logic that specifies at least one relationship between items in the hierarchy of information. The framework operates on data stored external to the framework mechanism, thereby achieving a separation between the logic in the framework mechanism and the data upon which the logic in the framework mechanism operates. The framework mechanism is data driven, which means that adding data for a new product to the external data results in the framework mechanism autonomically adding the new product data to the hierarchy of information in the product configuration selection model.
Owner:IBM CORP

Visual content management method and system

The invention provides a visual content management method and system. The method includes the steps of having access to a visual editing interface, selecting a visual editing pendant in the visual editing interface, conducting visual editing on the selected visual editing pendant, and saving an editing result. By means of the visual content management method and system, system front-end contents are all independent from a logical frame to display content, flexibility of a system is improved in the aspect of content management, and learning and use cost of system managers is reduced due to a simple use mode. Due to the WYSIWYG editing mode, the error rate of content management is reduced; authority distribution is supported, and the problem that multiple persons edit the same content and the contents are mutually covered is avoided.
Owner:北京分形科技有限公司

Template matching parallel implementation method and apparatus by combining large template graph

The present invention discloses a template matching parallel implementation method and apparatus by combining a large template graph, and belongs to the field of normalized correlation graph templatematching. The normalized correlation coefficient calculation module logical framework comprises a template image gray value summation module, a template gray value square summation module, a real-timegraph gray value summation module, a real-time graph gray value square summation module, a real-time graph template gray value product summation module, a subsequent calculation module, a real-time graph template gray value total buffer module, a real-time graph gray value total buffer module, a real-time graph gray value total square buffer module, and other modules. According to the technical scheme of the present invention, by adding the real-time graph gray value total buffer module, the real-time graph gray value square total buffer module and the real-time graph template gray value product total buffer module, and by controlling the number of parallel channels implemented by comparing the sizes of the template graphs in the process, control of the logic of the big template graph mode and the small template graph mode is respectively executed, so that the structure is realized to be no longer limited by the number of parallel channels and the resource utilization is improved.
Owner:NANJING UNIV OF POSTS & TELECOMM

Genetic algorithm with deterministic logic

ActiveUS20210110281A1Prevent a genetic algorithm from prematurely convergingMachine learningResourcesAlgorithmTheoretical computer science
In a method for applying deterministic logic to select resources for resource genomes in a genetic algorithm, a logic engine identifies resources associated with an objective and an overall task population to be completed by one or more of the identified resources. The logic engine then selects a deterministic logical framework from one or more deterministic logical frameworks based on the objective. Following the selection of a deterministic logical framework, the logic engine selects one or more resources from the one or more identified resources based on the selected deterministic logical framework. The logic engine compiles the one or more selected resources into a resource genome, assigns one or more tasks from the task population to the one or more selected resources, and sends instructions to the one or more selected resources to execute the one or more tasks. The logic engine determines a value score for the resource genome.
Owner:NMETRIC

Representing legal instruments as a software framework

Systems and methods for representing legal obligations, conditions, and other contractual specifications as a software framework are described. Systems and methods may include receiving initiation input; accessing an initial node including one or more logical structures and links to one or more tables of states and values; requesting initial input; receiving initial input; accessing at least one of the one or more tables of states and values to determine if a calculation is required; and performing a calculation based on the initial input from the user to determine an initial value or receiving an initial value from the at least one of the one or more tables of states and values. Subsequent nodes may be accessed until a final node is reached. A software framework may be compiled based on the calculations in each accessed node of the logical framework.
Owner:EICKS JEANNETTE +1

Equipment parameter data standardization method based on Tableau

The invention provides a device parameter data standardization method based on Tableau, and the method comprises the steps: building a standardization field for a power grid device parameter based onTableau data visualization analysis software; creating a service derivation field through the original power grid equipment parameters; and classifying and sorting the business derivative fields according to the equipment parameter standardization fields, and designing an overall parameter logic framework so as to mine and analyze the power grid equipment parameters. According to the invention, data standardization is carried out on parameters of the relay protection equipment by using Tableau visual analysis software; different application scenes are satisfied, different data rules are standardized, a data difference problem of different regions is solved, universality and practicality of equipment parameter mining analysis are realized, equipment parameter data mining efficiency can be effectively improved, and safe operation of a power grid is guaranteed.
Owner:EAST CHINA BRANCH OF STATE GRID CORP +1

Processing method and apparatus of iterative algorithm

ActiveCN101436173AReduce couplingEasy to develop independentlyComplex mathematical operationsAlgorithmData needs
The embodiment of the invention discloses a method for processing iterative algorithm and a device thereof. The method comprises the following steps: each operation unit of the iterative algorithm is cascaded to form an operation chain in a serial connection mode; according to preset flow of the iterative algorithm, a command word is controlled; the operation unit for executing operation is selected from the operation chain; the flow direction of data in the operation process is determined; and based on the determined operation unit and the flow direction of the data, data needing iterative algorithm is subjected to operation processing. By adopting the embodiment, the flow of the iterative algorithm is controlled based on a mode of the prestored command word in order that an iterative logical framework has universality.
Owner:HUAWEI TECH CO LTD

RDF triad-oriented data custom mapping method

The invention discloses an RDF triad-oriented data custom mapping method. The method comprises the following steps of 1, obtaining relational database data; step 2, directly outputting the database table structure and the data as an RDF graph by utilizing a Direct Mapping mapping language; customizing a specific database structure and a word list by utilizing an R2RML mapping language, and outputting the data relationship library as an RDF data set; and step 3, taking a Direct Mapping mapping language as a default mapping scheme, and taking R2RML as a personalized customization scheme. The Direct Mapping mapping language provides an initial rule for automatic conversion of a machine, the R2RML provides a manually self-defined logic framework and a grammar rule, and the two mapping modes supplement each other, so that data in the relational database is better converted into triple data of the RDF.
Owner:厦门美域中央信息科技有限公司

Knowledge base modeling method for intelligent substation operation and maintenance system based on semantic network

The invention discloses a knowledge base modeling method for an intelligent substation operation and maintenance system based on a semantic network. The method includes the steps that, a theoretical basis for modeling substation operation and maintenance system based on the semantic network is established; the concepts and ideas of ontology and the semantic network are used for reference, according to the requirement of an SCL in the IEC61850-6 standard for a object model, basic structures and logical frames among each first device, a corresponding secondary device and a corresponding communication device are analyzed, and a model foundation of semantic-network-based substation operation and maintenance expert system modeling is built; through the combination of the IEC61850-6 standard and the characteristics of the semantic network, a reasonable operation and maintenance system knowledge base model is designed in the three aspects of intelligent substation device configuration, IED configuration and communication configuration; finally, based on a CLIPS platform, the related model is verified. The method has the advantages that the use of the semantic network makes the structure of the knowledge base more systematic, the logicality and consistency of different concepts of the knowledge base are improved. and the purpose of improving the expansibility of the systematic knowledge base and the rule reuse rate of a rule base is achieved.
Owner:SHANGHAI MUNICIPAL ELECTRIC POWER CO +1

Method, computer program and apparatus for analysing a programmable logic controller program

It is disclosed a PLC Program analysis method where a program (PROG) is translated (TRANS) into a model (MOD) in a logical framework, from which properties (Prop) are determined. Said properties coupled with user specifications (IntProp) are verified by an automated solver (SMT). If contraposition of a property (Prop) is satisfiable, counter-examples (PROOF NOK) representative of model inputs and internal memory values is provided. Counter-examples (PROOF NOK) are translated into error initial configurations (IniConf) of said model. Execution of the model is simulated (EXE) with said model error initial configurations (IniConf), and error intermediary configurations (AST-IntConf) of said model simulation are recorded up to said property violation. Error initial and intermediary configurations (Lad-IniConf, Lad-IntConf) of said original program (PROG) are derived from error initial configurations (IniConf) of said model and error intermediary configurations (AST-IntConf) of said model simulation and displayed. An apparatus for executing said method is provided.
Owner:MITSUBISHI ELECTRIC CORP

System and method for optimizing business performance with automated social discovery

ActiveUS9489419B2Reduces operational and opportunity costMaximizing valuation and visibilityFinanceWeb data indexingData displayLogical framework
A system, process and method for automatically collecting, collating and transforming data into useful formats and displaying or otherwise outputting the transformed data into useable information. The system provides outputs that are useful in optimizing the enterprise performance of a business. The system, process and method are grounded in an established logical framework for systematically classifying areas of business concerns.
Owner:9LENSES INC

An automatic conversion system from hardware language vhdl to msvl

An automatic conversion system from hardware language VHDL to MSVL, which can convert VHDL language program files into MSVL language program files, and the conversion system includes a file analysis module, a lexical analysis module, a syntax analysis module, an information storage module, and a translation module , Translation result string connection module. After VHDL program is converted into MSVL program, the same language is used for model construction and property description, so that the verification can be carried out under the same logic framework, and the indirect model checking of VHDL language program can be realized conveniently. In the conversion process, the VHDL program is converted into a semantically equivalent MSVL program by formulating conversion rules of different grammatical structures and some additional auxiliary means, so that the equivalent MSVL program can be simulated, modeled and Verification, to ensure the correctness of the source VHDL program.
Owner:XIDIAN UNIV

Processing method and apparatus of iterative algorithm

The embodiment of the invention discloses a method for processing iterative algorithm and a device thereof. The method comprises the following steps: each operation unit of the iterative algorithm is cascaded to form an operation chain in a serial connection mode; according to preset flow of the iterative algorithm, a command word is controlled; the operation unit for executing operation is selected from the operation chain; the flow direction of data in the operation process is determined; and based on the determined operation unit and the flow direction of the data, data needing iterative algorithm is subjected to operation processing. By adopting the embodiment, the flow of the iterative algorithm is controlled based on a mode of the prestored command word in order that an iterative logical framework has universality.
Owner:HUAWEI TECH CO LTD

Construction method of semantic information interaction interface of intelligent power distribution system based on sg-cim standard

The invention discloses a method for constructing a semantic information interaction interface of an intelligent power distribution system based on the SG-CIM standard. Apply unified access to public data and exchange information; according to the SG-CIM standard, define the system resources in the distribution network by providing standard objects and the relationship between objects, and provide a semantically complete, A logical and self-consistent framework model completes a comprehensive collection of data attributes. The interactive interface system of this method enables the engineering design of the intelligent distribution station to go deep into the logic level, thereby delineating the basic specifications of equipment interaction in a standardized manner, and ensuring the unified construction of data interaction in the intelligent distribution station.
Owner:STATE GRID CORP OF CHINA +2

Market form-based transaction strategy adaptive adjustment method

The invention discloses a market form-based transaction strategy adaptive adjustment method. The method comprises the following steps of setting a logic framework of a transaction strategy; setting aplurality of artificial intelligence models in each logic framework, wherein the artificial intelligence models perform multi-level analysis and training on the input indexes; connecting different artificial intelligence models into a large model combination in a filter mode, screening the input indexes in the model combination, and reserving the input indexes with high significance and low noiseto generate transaction signals; judging a market form, and selecting a logic framework corresponding to the market form; selecting an artificial intelligence model with the best recent performance and good historical long-term stability performance from the logic framework to obtain a transaction strategy; and repeating the operation, and adaptively adjusting the transaction strategy according tothe market form change of each transaction period. The transaction logic can be changed along with the market conditions, the manual intervention is not needed, the labor cost is reduced, and the human errors are avoided.
Owner:知量科技(深圳)有限公司

Genetic algorithm with deterministic logic

ActiveUS11023813B2Prevent a genetic algorithm from prematurely convergingHealthcare resources and facilitiesMachine learningAlgorithmTheoretical computer science
In a method for applying deterministic logic to select resources for resource genomes in a genetic algorithm, a logic engine identifies resources associated with an objective and an overall task population to be completed by one or more of the identified resources. The logic engine then selects a deterministic logical framework from one or more deterministic logical frameworks based on the objective. Following the selection of a deterministic logical framework, the logic engine selects one or more resources from the one or more identified resources based on the selected deterministic logical framework. The logic engine compiles the one or more selected resources into a resource genome, assigns one or more tasks from the task population to the one or more selected resources, and sends instructions to the one or more selected resources to execute the one or more tasks. The logic engine determines a value score for the resource genome.
Owner:NMETRIC

Method, computer program and apparatus for analysing programmable logic controller program

It is disclosed a PLC Program analysis method where a program (PROG) is translated (TRANS) into a model (MOD) in a logical framework, from which properties (Prop) are determined. Said properties coupled with user specifications (IntProp) are verified by an automated solver (SMT). If contraposition of a property (Prop) is satisfiable, counter-examples (PROOF NOK) representative of model inputs and internal memory values is provided. Counter-examples (PROOF NOK) are translated into error initial configurations (IniConf) of said model. Execution of the model is simulated (EXE) with said model error initial configurations (IniConf), and error intermediary configurations (AST-IntConf) of said model simulation are recorded up to said property violation. Error initial and intermediary configurations (Lad-IniConf, Lad-IntConf) of said original program (PROG) are derived from error initial configurations (IniConf) of said model and error intermediary configurations (AST-IntConf) of said model simulation and displayed. An apparatus for executing said method is provided.
Owner:MITSUBISHI ELECTRIC CORP

Planning method of power grid power supply reliability based on logic frame

The invention relates to a planning method of power grid power supply reliability based on a logic frame, which comprises the following steps: setting initial value, calculating reliability index of an initial scheme, conducting statistics on integral investment and giving a plan scheme if the index achieves the set initial value, sequentially determining whether the management parameter has improvement space or not, whether the number of users on each section is larger than 8 or not, whether feeder load factor is larger than 40% or not, whether the ring networking rate is larger than 100% or not, whether the proportion of failure power failure in the overall users reaches 50% or not, whether users without protection exists or not, whether a planning target is smaller than 2 hours or not and whether equipment fault rate is higher than national average value that the target corresponds to or not if the reliability index of the initial scheme does no reach the set initial value, determining again whether the planning target is smaller than 2 hours or not and finally giving the plan scheme. The planning method has the advantages of filling the blank of power distribution reliability of the national power grid, being strict in logic, complete in system and standardized and being suitable for power supply enterprises.
Owner:广东电网公司深圳供电局

P2P bandwidth saving ratio online adjustment method and device, and video website

The invention discloses a P2P bandwidth saving ratio online adjustment method comprising the steps of downloading a state machine script from a server side and loading the script into an internal memory when a client side starts; building a finite-state machine with the corresponding type via a script interface according to a business type; and periodically calling a state conversion interface of the script, and importing a current download parameter and a current download state to compute a downloading mode should be adopted in the next time. The invention discloses the method for modifying a balance strategy on line, so that the client can update the strategy rapidly without upgrading, and respond to the change rapidly, so as to ensure the optimal balance between a bandwidth saving ratio and smoothness. A public logic frame in the balance strategy for adjusting the bandwidth saving ratio and the smoothness in the video client is extracted to be described by the finite-state machine, the unified interface of the state machine is called, and meanwhile the script of the finite-state machine, is achieved by using an LUA language. As the script is deployed at the server side, such part of logic can be modified on line, and thus the problems of version iteration, long coverage period and high strategy modification cost are solved.
Owner:FLYING FOX INFORMATION TECH TIANJIN CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products