Product
Patsnap Eureka
For R&D, Patsnap Eureka makes reading and utilizing patents & technical documents easy.
Patsnap Eureka AIR
Designed for self-driven R&D workflows. Generate viable solutions, solve complex R&D challenges, empower your innovation with AI.
Patsnap Eureka Materials
Designed for material experts only. Revolutionize your material R&D, from search, analyze, to developing new materials.
Feature
TechResearch
Generate reliable direction feasibility study reports for your R&D in just a few steps.
TechSeek
Discover and master advanced knowledge NOW. Basics, ideas, possibilities, all at once.
TechMind
As an expert in R&D Theories, TechMind can generates customized viable solutions instantly.
TechRisk
Analyze your overall solution with one click, know your potential R&D risks in advance.
TechMonitor
Get weekly tech updates, stay abreast of the latest tech innovations and key insights.
Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
39 results about "Formal representation" patented technology
Efficacy Topic
Property
Owner
Technical Advancement
Application Domain
Technology Topic
Technology Field Word
Patent Country/Region
Patent Type
Patent Status
Application Year
Inventor
A Formal Representation of a place tends to be more objective and stat-based. An Informal Representation of a place tends to be more subjective, offering geographical context of a place through sound and sight.
Computer system with natural language to machine language translator
ActiveUS7085708B2Efficient interpretationEffective representationNatural language translationSpecial data processing applicationsSemantic contextComputerized system
Presented is a system and method for converting or translating expressions in a natural language such as English into machine executable expressions in a formal language. This translation enables a transformation from the syntactic structures of a natural language into effective algebraic forms for further exact processing. The invention utilizes algorithms employing a reduction of sequences of terms defined over an extensible lexicon into formal syntactic and semantic structures. This term reduction incorporates both syntactic type and semantic context to achieve an effective formal representation and interpretation of the meaning conveyed by any natural language expression.
Owner:RAVENFLOW
Distributed cloud application deployment systems and/or associated methods
ActiveUS20120102486A1Facilitate deployment descriptionProgram loading/initiatingMemory systemsFormal descriptionOperating system
In certain example embodiments, distributed cloud application deployment systems (DCADS), and / or associated methods are provided. A formal description of the cloud application is created. The cloud application's formal representation, with its constituent nodes and their associated properties and interfaces, etc., is exported to a machine processable form. The exported DCADS machine processable rendition and any needed implementation artifacts are retrieved by a cloud application deployer that helps facilitate the deployment of the cloud application into the distributed and heterogeneous cloud environments as prescribed in the DCADS.
Owner:SOFTWARE AG USA
Distributed cloud application deployment systems and/or associated methods
ActiveUS8434080B2Facilitate deployment descriptionProgram loading/initiatingMemory systemsApplication softwareFormal description
In certain example embodiments, distributed cloud application deployment systems (DCADS), and / or associated methods are provided. A formal description of the cloud application is created. The cloud application's formal representation, with its constituent nodes and their associated properties and interfaces, etc., is exported to a machine processable form. The exported DCADS machine processable rendition and any needed implementation artifacts are retrieved by a cloud application deployer that helps facilitate the deployment of the cloud application into the distributed and heterogeneous cloud environments as prescribed in the DCADS.
Owner:SOFTWARE AG USA
Method of transforming natural language expression into formal language representation
ActiveUS20090089045A1Easy to usePromote better user comprehensionSemantic analysisSpecial data processing applicationsEntity typeHuman language
This invention comprises a series of steps which transforms one or more natural language expressions into a single, well-formed formal language representation. Each natural language expression is partially parsed into simple fragments, each of which is then associated with one or more short formal expressions. Each formal expression is constructed in such a way as to contain one or more placeholder variables, each of which is associated with one or more attributes to constrain the types of entities that each variable can potentially represent. The resulting plurality of formal expressions is then filtered for relevance within a given context, and the surviving expressions manipulated based upon a plurality of rules, which are cognizant of the attributes associated with each variable contained therein. A user is then presented with the resulting plurality of formal expressions, whereupon the user optionally selects, rejects, adds to, logically connects and otherwise manipulates each member of said plurality. When the user is satisfied that the plurality represents an intended meaning, the formal expressions are combined into a single, formal representation.
Owner:MEREDITH FAMILY REVOCABLE TRUST
System and method for excavating abnormal features of time series data
InactiveCN105205112AEfficient use ofDealing with uncertaintyCharacter and pattern recognitionOther databases queryingFeature vectorPrincipal component analysis
The invention discloses a system and a method for excavating abnormal features of time series data. A minimum complete period having obvious periodic data can be acquired in a self-adaptive manner, so that a feature observation window is determined; then the Fourier feature, the principal component analysis feature, the statistic feature and the wavelet feature are extracted from the observation window respectively; finally, clustering is performed on single feature vectors respectively with a KT-Means method, and various features are abstracted and expressed as feature characters. The problem of fuzzy matching of data can be better solved by expressing features of the time series data with the feature characters in a formalized manner, and establishment of a feature library is facilitated for rapid judgment and retrieval of an abnormal process. With the adoption of the method, various feature information is contained, the abnormal process of the time series data can be known more comprehensively and integrally, and the applicability and the generalization ability of a system for abnormity monitoring and fault diagnosis of the time series data can be improved.
Owner:XI AN JIAOTONG UNIV +1
Method of transforming natural language expression into formal language representation
ActiveUS8024177B2Easy to usePromote better user comprehensionSemantic analysisSpecial data processing applicationsHuman languagePro-form
Owner:MEREDITH FAMILY REVOCABLE TRUST
Formalization representation method based on XML book content structure
InactiveCN101334775AQuality improvementImprove efficiencySpecial data processing applicationsDocumentation procedureWeb based course
The invention relates to a book content structure formalization expression method based on XML (extensive makeup language) and belonging to the digital publishing field. The method is as follows: a book is regarded as being formed by four parts, i.e. a cover, a front matter of text, a text and a back matter of text which are expressed into XML data; the book and some contents of the book are marked with metadata and different contents are marked with special DTD (document type definition )elements mainly including structure, content, format and reusing so as to bring convenience for searching and reusing the content of books. The book processing is divided by the invention into three parts: structure, content and format, and each link is specially stressed so as to be good for enhancing the quality and efficiency of book processing, and simultaneously the content structure and expression format of the book are separated so as to realize that one content processing can serve various content expression styles (paper printing books, electronic books and network courses, etc.) and diverse applications and also to realize cross reference to provide convenience for information communication.
Owner:HIGHER EDUCATION PRESS
Process algebra-based real-time protocol analysis and verification system
InactiveCN106446341ASimplify verification operationsTargetedDesign optimisation/simulationSpecial data processing applicationsTime ProtocolHigh-level programming language
The invention discloses a process algebra-based real-time protocol analysis and verification system. The system comprises a mathematic modeling module, a code generation module, a simulation verification module and a verification result processing module, wherein the mathematic modeling module is used for carrying out modeling by utilizing process algebra, carrying out formalized expression on a real-time protocol, establishing a real-time protocol model and carrying out formalized expression on a protocol requirement; the code generation module is used for generating a high-level language code according to the real-time protocol model; the simulation verification module is used for carrying out simulation execution on the real-time protocol model according to a semantic meaning of a process algebra description language, and analyzing and verifying the properties satisfied by the real-time protocol model according to the formalized expressions of the rea-time protocol and of the protocol requirement output by the mathematic modeling module; and the verification result processing module is used for carrying out statistic and classification on analysis and verification results output by the simulation verification module and providing evaluation for protocol property. The system disclosed by the invention provides a protocol execution process which does not satisfy the protocol requirement, and provides integral evaluation for the protocol property, so that the efficiency of optimizing the protocols by the developers is improved.
Owner:EAST CHINA NORMAL UNIV
Security threat analyzing method based on service data stream model
InactiveCN104636663AImprove securityPlatform integrity maintainanceTransmissionService flowData stream
Owner:STATE GRID CORP OF CHINA +2
Method for combining semantic Web services based on expanded Petri network model
ActiveCN103345541ARealize dynamic organizationEffectiveSpecial data processing applicationsService compositionComputer network
The invention discloses a method for combining semantic Web services based on an expanded Petri network model. The method is characterized by including the following steps that (1), according to sub-services involved in the combining process of the semantic Web services, an original Petri network model is expanded, and the expanded Petri network model of the sub-services is formed; (2), through the expanded Petri network model of the sub-services, a formal description and a function mechanism of the expanded Petri network model of a semantic Web service combination result are achieved combined with formalization presentation of the semantic Web service combination result; (3), on the basis of the expanded Petri network model obtained according to the step 1 and the step 2, the semantic Web service combination is achieved. A Petri network is used as a basic model for expansion, moreover,the service combination method based on the expanded Petri network model is provided, and therefore dynamic combination of execution sequences of the sub-services is achieved.
Owner:SOUTH CHINA UNIV OF TECH
Recommendation method combining multi-class untrust relation based on collaborative filtering
InactiveCN105279699AReduce the impact of noiseImprove accuracyData processing applicationsData informationAlgorithm
The invention discloses a recommendation method combining multi-class untrust relation based on collaborative filtering, and the method comprises the steps: (1) selecting the class information of an item as the class of the method; (2) calculating the user's preference degree for certain class; (3) calculating the user's influence in a trusted network; (4) obtaining a user's preference information matrix and an implicit factor matrix of the item through a scoring matrix; (5) maximizing the difference among preference information of untrust users through the trusted network; (6) forming a formalized representation of the method provided by the invention through combining step (4) and step (5); (7) obtaining the optimal solutions of the user's preference information matrix and the implicit factor matrix through gradient descent; (8) generating recommendation results. The method effectively employs the untrust relation among users in the trusted network to be integrated with user-item scoring data information, thereby achieving a purpose of improving the recommendation precision.
Owner:BEIHANG UNIV
Method for improving high speed rail train operation right time rate by running chart robustness
InactiveCN101441680AImprove the punctuality rateBiological modelsSpecial data processing applicationsTotal delayComputer science
Owner:BEIJING JIAOTONG UNIV
Automatic modeling technology for typical matching structure in aircraft manufacturing tool
InactiveCN103942364AImprove development efficiencyAutomatic modeling implementationSpecial data processing applicationsSimulationAutomatic testing
Disclosed is an automatic modeling technology for a typical matching structure in an aircraft manufacturing tool. The technology mainly comprises the following steps: (1) defining a formalization expression of an automatic selection and positioning method of components of the typical matching structure, (2) reading and explaining a semantic model, (3) positioning and installing the components, and (4) generating a final model of the components. By the application of the automatic modeling technology, automatic modeling of the common typical matching structure in the aircraft manufacturing tool can be achieved, and development efficiency of the aircraft manufacturing tool is improved.
Owner:BEIHANG UNIV
Task decomposition method for heterogeneous multi-robot system based on recursive algorithm
InactiveCN107958332AAdaptableResourcesComplex mathematical operationsRobotic systemsRecursive functions
The invention relates to a task decomposition method for a heterogeneous multi-robot system based on a recursive algorithm. Resources involved are formally represented, a triplet is used to formally represent tasks that a robot can accomplish, a task decomposition algorithm based on a recursive function is called, and a task execution flow is restored according to a stack call trace of a function.The defects that an existing task decomposition method has poor generality, robots mostly are heterogeneous robots, a set of tasks can not be obtained and different allocation schemes and execution sequences of sub tasks have a large economic benefit gap are overcome. The unified and shareable formal representation of system environment resources and tasks is carried out, the method has good adaptability, robots with different abilities can be expressed in the same representation, a heterogeneous robot system is supported, a recursive algorithm is employed, the traversal search can be carriedout for any possible decomposition method in a robot ability space, and all decomposition schemes can be obtained.
Owner:YANGZHOU UNIV
Method for creating and delivering new carrier products
Owner:PITNEY BOWES INC
Adaptable Clinical Workflow
InactiveUS20080288429A1Medical automated diagnosisComputer-assisted treatment prescription/deliveryRecursion methodComputer science
Method of generating a number of steps constituting an adaptable clinical workflow based on a recursive approach in which for each step of the workflow the following steps are executed: Selecting a number of knowledge bases to be included in a reasoning step on the basis of (a) goal(s), generating (a) query(ies) taking into account the goal(s), applying the selected knowledge bases and the generated queries to a reasoning engine so as to generate a solution, interpreting this solution by translating the solution given in a formal representation into (an) executable action(s) for the current step in the clinical workflow.
Owner:AGFA HEALTHCARE NV
Transaction stock rapid finding method based on time sequence convolution self-coding
PendingCN110349028ASave on manual analysis costsFinanceNeural learning methodsData miningComputer science
The invention discloses a transaction stock rapid finding method based on time sequence convolution self-coding, and relates to the technical field of data mining, and the technical scheme is that themethod comprises the steps: obtaining stock transaction quotation data in a time span; performing time series data formalized representation on the obtained stock transaction quotation data to generate time series formalized data of the stock; generating a time sequence convolution self-encoding model according to the time sequence formalized data, and training the time sequence convolution self-encoding model; and finding out the transaction stock according to the time sequence convolution self-encoding model in combination with the time sequence formalized data. The beneficial effects of the invention are that the method can automatically detect the transaction stock in any time span, and saves the manual analysis cost; 2, transaction stock s with non-breakthrough index threshold typescan be detected.
Owner:SHANDONG UNIV OF FINANCE & ECONOMICS
Fault-tolerant input method editor
InactiveCN105683873ANatural language data processingInference methodsUser inputCharacter (computing)
A computer-implemented method can include receiving, at a computing device including one or more processors, an input from a user. The input can include one or more characters in a first writing system. The method can further include segmenting the input to obtain one or more segmentations, where each segmentation can include at least one segment including at least one character in the first writing system. A fuzzy model can be applied to the segmentations to obtain potential formal representations for the segmentations. Each of the potential formal representations can be in the first writing system and represent text in a second writing system. A plurality of character candidates can be determined based on the potential formal representations. Each of the plurality of character candidates can be a possible appropriate representation of the user input in the second writing system.
Owner:GOOGLE LLC
Multi-domain system design and optimization method
InactiveCN102890740AAchieve optimizationSpecial data processing applicationsSystem design processRequirements analysis
The invention discloses a multi-domain system design and optimization method. The multi-domain system design and optimization method comprises the steps of presenting a system optimizing method in a formalized mode on basis of system modeling language SysML(System Modeling Language), and defining the presentation standard of a system design model by a SysML extension mechanism; analyzing according to the functional demands of a multi-domain system to be designed and optimized, establishing a system design model on basis of the presentation standard, and automatically extracting a system optimizing model; and invoking a system optimizing method to automatically solve the system optimizing model, returning an optimizing result to a system optimization model, and optimizing the system design model according to the optimizing result. According to the method disclosed by the invention, the system design and the system optimization can be combined effectively, and the automatic optimization of the system can be realized in the system design process.
Owner:ZHEJIANG UNIV
Emotion recognition method based on brain-computer generative adversarial
ActiveCN113974627AEasy to collectImprove accuracySensorsPsychotechnic devicesMedicineCollaborative intelligence
The invention discloses an emotion recognition method based on brain-computer generative adversarial. For an emotion recognition task, cognitive representation with emotions is obtained after the human brain processes information, while a machine only learns representation in an image form. If a generation relation between the cognitive representation with emotions and the representation in an image form can be established, a machine can be guided to learn through the human brain and endowed with the emotion cognitive ability of the human brain. In order to give information perceived by a human brain to a machine, a generation model from image visual features to electroencephalogram emotion features needs to be established, so that generation from formal representation to cognitive representation is realized. According to the method, the relation between electroencephalogram emotion features and image visual features is explored, the relation between formal representation and cognitive representation is established, and brain-computer collaborative intelligence is achieved. In order to reduce the difference between cognitive representation and formal representation and enable the formal representation to infinitely approach the cognitive representation, the invention designs an emotion recognition method based on brain-computer generative adversarial.
Owner:HANGZHOU DIANZI UNIV
Composing an application using a plurality of distributed interaction patterns
The present invention relates to a method for composing an application using a plurality of distributed interaction patterns including services, events, actions and properties. A second semantic model or Thing Recipe is provided as a basis for representing the application. This Thing Recipe provides a concept for orchestration or choreography of interaction patterns distributed across a network. The process from a specification of the Thing Recipe to its deployment is considerable shorter than the implementation and orchestration of web service. The Thing Recipe is not only interpretable but also executable. The semantic approach of the Thing Recipe enables a formal representation capable of a machine-based discovery of the application functionality and, at the same time, a machine interpretation and execution. This means that a Thing Recipe can be directly executed in any device that has an embedded runtime with reasoning capabilities.
Owner:SIEMENS AG
Coal mine typical dynamic disaster field ontology construction method
PendingCN110413796AImprove recallAutomated build methods work and workResourcesText database queryingComputer scienceCoal
The invention provides an ontology construction method in the field of coal mine typical dynamic disasters. According to the method, a traditional skeleton method and a seven-step method are fused, the technology used in the ontology construction process is elaborated in detail, and an ontology construction thought which can be achieved in engineering is provided for researchers. A Jena tool is used to realize formal representation of an ontology, and an architecture of the Jena tool and key codes used for construction are introduced.
Owner:BEIJING INFORMATION SCI & TECH UNIV
Accessible webpage navigation method based on navigation target extraction
ActiveCN106227882AQuick navigationNo manual operationWebsite content managementSpecial data processing applicationsHyperlinkAbsolute difference
The invention discloses an accessible webpage navigation method based on navigation target extraction. The accessible webpage navigation method comprises the following steps: after capturing webpages from an internet, carrying out the following operation for each webpage: firstly, analyzing the webpage as a file garget model tree; performing depth-first traversal on the file target model tree, and numbering nodes of the file target model tree by using nature numbers; by taking the absolute difference of corresponding numbers of two hyperlinks as the distance between the hyperlinks, dividing hyperlinks with small distances into one group; calculating the number of hyperlinks of each hyperlink group, and the mean and the square difference of lengths of hyperlink texts; by taking the number of hyperlinks, the mean and the square difference of lengths of the hyperlink texts as characteristics, representing the hyperlink groups in a formalization manner; classifying the hyperlink groups after representation of formalization into navigation targets and non-navigation targets. The accessible webpage navigation method has the advantages that the navigation targets in the webpages can be automatically extracted, users can be navigated rapidly among webpages, and the user representation degree can be increased.
Owner:ZHEJIANG UNIV
Emotion recognition method based on brain-computer cross-modal migration
PendingCN113974625AImprove accuracyImprove stabilityCharacter and pattern recognitionSensorsCollaborative intelligenceEmotion identification
The invention discloses an emotion recognition method based on brain-computer cross-modal migration. For an emotion recognition task, cognitive representation with emotions is obtained after a human brain processes information, what is obtained by machine learning is only the formal representation of an image, and if a migration relation between the cognitive representation and the formal representation can be established, machine learning is guided through the human brain, and the machine is endowed with the emotion cognitive ability of the human brain; in order to give information perceived by the human brain to the machine, a cross-modal migration model of an image mode and an electroencephalogram mode needs to be established, so that the migration relation between the formal representation and cognitive representation is obtained. According to the method, the migration relation between the electroencephalogram mode and the image mode is explored, the relation between formal representation and cognitive representation is established, and brain-computer collaborative intelligence is achieved. In order to reduce the difference between the cognitive representation and formal representation and enable the formal representation to infinitely approach the cognitive representation, the invention designs the emotion recognition method based the brain-computer cross-modal migration.
Owner:HANGZHOU DIANZI UNIV
Method based on quantitative verification method for evaluating reliability of concurrent real-time system
InactiveCN108052768AMeet needsLearn about reliabilityDesign optimisation/simulationSpecial data processing applicationsValidation methodsAutomaton
The invention discloses a method based on a quantitative verification method for evaluating the reliability of a concurrent real-time system. The method comprises the following steps that 1, a probabilistic timed interface automaton with parameters is adopted for constructing a concurrent real-time system model; 2, the model constructed in the step 1 is combined according to input / output operationpairs on an interface, and the combined PPTIA model is converted into a time-domain diagram by using a forward reachability algorithm with parameters; 3, a probabilistic timed strategy logic (PTSL) language is used for constructing formal specifications of reliability requirements; 4, a verification algorithm is used for evaluating the reliability of the concurrent real-time system. According tothe method, in order to solve the problems that existing logical languages cannot directly conduct formal representation on strategies and data required by models cannot be accurately obtained in thedesign stage, the quantitative verification method on the basis of the probabilistic timed interface automaton with the parameters and probabilistic timed strategy logic is adopted for evaluating thereliability of the concurrent real-time system.
Owner:JILIN UNIV
Method for generating information spreading path with global minimum cost between microblog groups
ActiveCN107145517AShort response timeImprove processing efficiencyForecastingWebsite content managementPath generationPath cost
The invention discloses a method for generating an information spreading path with global minimum cost between microblog groups. The method mainly comprises three steps of path cost modelling, initial path generation and deep path optimization, wherein formal representation of the information spreading path between the groups and construction of a time cost model of the information spreading path are realized in the step 1; an information spreading path with local minimum cost between the groups is generated in the step 2; and the information spreading path with the global minimum cost is finally generated and output through iterative optimization of crossover and mutation operators in the step 3. Compared with the prior art, the method has the advantages of high accuracy, fast speed, strong extendibility, simplicity and easiness in implementation and can be applied to the fields, such as public opinion monitoring, data visualization, electronic commerce, intelligent transportation and medical treatment and health.
Owner:TONGJI UNIV
A Semantic Web Service Composition Method Based on Extended Petri Net Model
Owner:SOUTH CHINA UNIV OF TECH
Systems and methods for converting written clinical guidelines into computer-interpretable guidelines
Owner:KONINKLJIJKE PHILIPS NV
Synthetic path automatic generation method based on recursion decomposition of chemical production problem
The invention relates to a synthetic path automatic generation method based on the recursion decomposition of a chemical production problem. According to the invention, a solvable judgment device of asynthetic process is designed on the basis of a recursion function. Whether a target product can be generated through a series of chemical synthesis processes or not is judged under the limitation ofcurrent raw materials and reactions. In this way, a synthetic process decomposition device is designed. The synthetic process of the target product is decomposed, and all possible synthesis paths areautomatically generated. According to the method, the defects respectively existing in the existing logic center method and the information center method are overcome. According to the recursion traversing algorithm, the types and the number limit of raw materials in the actual production condition are considered, and a unified formal expression method is designed. The method can be better applied to actual chemical production of different conditions. All decomposition schemes can be obtained after the judgment on whether the decomposition is enabled or not is made. Therefore, the selection work of the follow-up path can be better realized.
Owner:YANGZHOU UNIV
A method for composing an application using a plurality of distributed interaction patterns
The present invention relates to a method for composing an application using a plurality of distributed interaction patterns including services, events, actions and properties. A second semantic modelor Thing Recipe is provided as a basis for representing the application. This Thing Recipe provides a concept for orchestration or choreography of interaction patterns distributed across a network. The process from a specification of the Thing Recipe to its deployment is considerable shorter than the implementation and orchestration of web service. The Thing Recipe is not only interpretable but also executable. The semantic approach of the Thing Recipe enables a formal representation capable of a machine-based discovery of the application functionality and, at the same time, a machine interpretation and execution. This means that a Thing Recipe can be directly executed in any device that has an embedded runtime with reasoning capabilities.
Owner:SIEMENS AG
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 Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com