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

255 results about "Logical relations" patented technology

Logical relations are a proof method employed in programming language semantics to show that two denotational semantics are equivalent. To describe the process, let us denote the two semantics by [ [-] ]ᵢ, i=1,2. For each type A, we associate a particular relation a∼b between [ [A] ]₁ and [ [A] ]₂. We define this relation such that for all program phrase M, the two denotations are related: [ [M] ]₁∼[ [M] ]₂.

Workflow Oriented Multiscreen Healthcare Information Management System

The present invention discloses a workflow oriented multi-screen healthcare information management system. The present invention allows the user to simultaneously access, display, and manipulate various healthcare information that are logically related on multiple screens without having to jump around or entering and exiting various screens. In particular, the present invention provides a first screen for managing information for a first point in the healthcare workflow and a second screen for managing information for a second point in the healthcare workflow, where the first screen and the second screen has a logical relation in the healthcare workflow. Various tasks in the healthcare workflow can be streamlined utilizing the system of the present invention. Specifically, the first and second screens can conveniently display complete patient history. The physician can write orders while viewing labs and medications. An X-ray report and problem list will be visible at the same time while the physician is writing SOAP notes. Writing discharge orders is simplified since all prescribed medications can be automatically printed. In addition, physician's orders are transmitted and processed automatically. As the result, physicians will benefit from improved efficiency, less time spent on charting, and more time spent with the patients. Errors will be reduced significantly throughout the entire healthcare process or workflow.
Owner:MEDEXEC SOFTWARE CORP

Graph-based judgment document case similarity calculation and retrieval method and system

The invention discloses a graph-based judgment document case similarity calculation and retrieval method. The method includes the following main steps that 1, judgment documents are collected; 2, thereasoning parts of the judgment documents are identified; 3, the case elements of the reasoning parts are analyzed; 4, case reason atlases are generated; 5, a client receives the retrieval information; 6, the case elements are extracted or mapped; 7, the reason atlases of the case elements are matched and calculated; 8, cases similar to retrieval content are returned. Meanwhile, the invention further discloses a graph-based judgment document case similarity calculation and retrieval system. The system is characterized by including a judgment document case similarity calculation device and a similar case document retrieval device. The method and the system fully consider the professional knowledge of the judgment documents, and the generated case reason atlases show the most critical elements and internal logical relations of the cases in a compressed but intuitive mode; therefore, the method and the system provide convenience for relevant persons to intuitively look over the main points of the cases, and meanwhile enable the relevant persons to accurately retrieve the relevant cases from a document library.
Owner:江西思贤数据科技有限公司

Intelligent substation fault diagnosis method combining topology and relay protection logic

The invention discloses an intelligent substation fault diagnosis method combining topology and relay protection logic. The intelligent substation fault diagnosis method combining the topology and the relay protection logic comprises the following steps of: analyzing network topology modeling processes of a primary system and a secondary system of an intelligent substation; equivalently replacing all groups with a node quantity of 3 by a group node; simplifying an undirected graph; providing a logical inference method in fit with a Petri net principle according to an extension coefficient, a transition function and a transition function; searching logical relation of the primary system and the secondary system by using the entire intelligent substation system as a whole body; and carrying out a fault diagnosis reasoning process through the logical relation of the primary system and the secondary system. The intelligent substation fault diagnosis method is applied to the fault diagnosis reasoning of an intelligent substation, has the advantages of simple, efficient and rapid network topology constructing and searching process, practical fault diagnosis process and accurate result, and can be used for laying a good foundation for operations, such as fault diagnosis and the like, of the intelligent substation.
Owner:SHANDONG UNIV

Method and device for identifying phishing website

The invention provides a method and device for identifying a phishing website, aiming to improve the judgment accuracy rate of the phishing website. The method comprises the following steps: analyzing the page information of a target website to which a user wants to access so as to obtain a text content to be analyzed; carrying out sentence and word segmentation processing on the text content to obtain the sentences in the text content and the words in each sentence; searching a preset semantic element knowledge base, wherein the semantic element knowledge base comprises words and attributes corresponding to the words, and acquiring the attributes of the words in the text content; taking a sentence as a unit, matching the sentence with the acquired each logical relation in the semantic element knowledge base, wherein the content to be matched in each logical relation at least comprises the sequence of the words, the attribute of each word and the content of at least one word; determining the sentence to hit the logical relation if the sentence is matched with the logical relations in the semantic element knowledge base; and calculating the hitting rate of the text content, and determining the target website to be a phishing website if the hitting rate is greater than or equal to a preset hitting threshold.
Owner:HUAWEI DIGITAL TECH (CHENGDU) CO LTD

School-enterprise cooperation innovation practice teaching management system based on internet operation

InactiveCN102622716AGain understandingGet guidanceData processing applicationsThe InternetLogical relations
The invention discloses a school-enterprise cooperation innovation practice teaching management system based on internet operation, which comprises the following functions and logical relations: a background designs university practice course categories, prototypes and score templates. Enterprise users log in to manage an enterprise and user information and release and manage enterprise commercial projects; teachers log in to manage university information and teacher information and determine practice course information, course student information and score standard; and students log in a platform to select teachers and practice courses, present practice achievements, and look up comment and counseling contents of the teachers and the enterprises; the enterprise users and the teachers cement or counsel the practice achievements of the student users; and the teachers give results according to the practice achievements of the students and comment opinions of the enterprises. The school-enterprise cooperation innovation practice teaching management system based on the internet operation combines the enterprises and universities closely, contributes to improvement of vocational ability of the university students, and helps the universities to cultivate high-quality excellent talents with certain work experience or practice accumulation for the enterprises through school-enterprise cooperation.
Owner:李江予 +1

User Interface and Methods for Building Structural Queries

Disclosed herein is a user interface and methods for building a formulated query to search a database of structural data which is organized by classes, attributes of classes, literals of attributes, and structural relations between classes. The user interface can display results of the formulated query and includes a structural query section to define constraints for the formulated query. The structural query section includes one or more query elements to be populated and a means for adding one or more additional query elements, wherein each query element can have a class portion which is populated by designating one of a special class identifier and a concrete class identifier, and can have one or more attribute and literal portions. The class portion can be populated by designating the class identifier from an offered list, and the user interface can further include an offer section which displays the offered list. The offered class identifiers, relation identifiers, attribute identifiers and literal values can come from the particular searched structural data. The offered class identifiers, relation identifiers and attribute identifiers can come from the definition of the structural content of the searched data. A relationship between query elements is expressible using a defined structural relation, such as a “contains” relation. Relationships between two or more query elements or two or more query element attribute-literal pair portions are also expressible using logical relations, such as a logical “AND” relation, a logical “OR” relation, and a logical “XOR” relation. A query results section displays results of the formulated query after the formulated query is executed.
Owner:ROCKWELL AUTOMATION TECH

Three-dimensional point coordinate measuring method and measuring apparatus thereof

The invention relates to a three-dimensional point coordinate measuring method and a measuring apparatus thereof. According to the invention, the problems on the flexibility of the system and the measuring speed are solved; therefore, the field measurement and the measurement of points that are not easy to be measured can be allowed, and the manufacturing cost can be reduced. According to the scheme of the method, a camera coordinate system is established; three-dimensional coordinates of marking points are calibrated in a light pen coordinate system, wherein the marking points are fixed on a measuring probe; spatial three-dimensional coordinates of implementation measuring time of a set of fixed marking points on the measuring probe are calculated in the camera coordinate system, and three-dimensional coordinates of the set of fixed marking points on the measuring probe are also calculated in a measuring probe coordinate system; and a logical relation of the two coordinate systems of the implementation measuring time is established; a three-dimensional coordinate of a spherical point of a spherical measuring head is calibrated in the measuring probe coordinate system; based on the above results, when the measuring is carried out, a spherical measuring head in the front of the measuring probe is contacted with a measured point to obtain a measuring point, and a coordinate of the measuring point is calculated. The measuring apparatus comprises supports, cameras, a measuring probe, a matched computer and matched software. The apparatus has two cameras, which are fixed on supports. The spherical measuring head is fixed at the front of a T-shaped rod, and a set of marking points, which are in a T-shaped form, are fixed on the T-shaped rod. According to the invention, the system has good flexibility, and the measuring speed is fast; besides, the measurement of a measuring point that is not easy to be measured is also allowed, and the cost is low.
Owner:SOUTHWEST PETROLEUM UNIV

Computer interlocking system and operation method thereof

The invention discloses a computer interlocking system and an operation method thereof. The interlocking system comprises an interlocking machine, a communication gateway, a turnout execution unit, a signal execution unit and a track execution unit, wherein the turnout execution unit comprises a first action controller, a second action controller, a directional operation control ciruit, a reversed operation control circuit, a safety relay and a select switch, wherein the first action controller and the second action controller are used for controlling a group of switching tubes respectively arranged on the directional operation control circuit and the reversed operation control circuit, alternating current is input into the directional operation control circuit and the reversed operation control circuit and is controlled by the normally-open switch of the safety relay, the select switch is in communication connection with the first action controller, the second action controller and a signal collecting unit, and output of the first action controller, the second action controller and the select switch controls the safety relay by means of logical relation treatment. The invention uses the switching tubes to replace relays in the existing system, and adopts one safety relay and one select switch to ensure high reliability of the turnout execution unit, thereby greatly reducing cost of the whole system on the premise of ensuring the high reliability.
Owner:上海亨钧科技股份有限公司

Human-machine interaction interface generation method and system of digital home network

The invention discloses a method for generating a man-machine interaction interface used for a digital household network, which includes the steps of: preparing a device control logical description document according to the control operation of specific digital home appliances in the network; preparing a man-machine interaction logical relation template document according to different man-machine interaction interface types; determining the corresponding man-machine interaction logical relation template document according to the used man-machine interaction interface type when a certain digital home appliance in the network needs to be controlled by a certain man-machine interaction device, and data number corresponding to the control operation in the device control logical description document of the digital home appliance is filled to the same logical place in the man-machine interaction logical relation template document according to the logical place in the control logic description document so as to generate a man-machine interaction logical relation description document; the man-machine interaction device can generate a man-machine interaction interface according to the man-machine interaction logical relation description document. The method provided by the invention can provide possibility for the plug-and-play of the device.
Owner:HAIER GRP CORP +1

Product family configurator based on single-layer variant material library and implementation method thereof

The invention relates to a product family configurator based on a single-layer variant material library and an implementation method thereof. The product family configurator is provided with a computer system, wherein a material management system is installed in the computer system and is characterized in that a material library and a product library are arranged in the material management system; a basic material attribute table and a material relation table are installed in the material library; and a BOM tree of products, a first layer of relation table of products, a BOM tree of product families and a first layer of relation table of product families are installed in the product library. The implementation method of the product family configurator comprises a construction method and an application method. The configurator can visually show logical relation among parts in products, is convenient for informatization management of products, reduces the workload of consistency maintenance of data information of parts, ensures the validity of data, fully utilizes available resources, reasonably utilizes mature technology and design data, effectively controls the design cost, shortens the design time, and reduces the design difficulty.
Owner:重庆迈特科技有限责任公司

Artificial intelligence method and apparatus

The invention entails a method of Etiological prioritization based on an original symbolic model of the causative construction of singular logical relations which are built from an initiation of sensed masses in patterns, the naming of sensed patterns into words, the description of the relations of masses using specific English language primitives, the relations between masses and words, and the relations between primitive words. This process is built upon a theory and model of discretized human capabilities and learned experiential meanings. Human capabilities and learned experiential meanings are identified as singular primitives and amount to words identified and matched to singular parts that make up human capabilities and the inventive model of the experiences of the sensing and understanding of the spatiotemporal physical world. Continued etiological development of the inventive model entails new primitive meanings being built via the combination of the inventive model of the primitives of human capabilities with the inventive model of the primitives not representing human capabilities. The method of etiological prioritization is used to create the inventive model of the definitions of many hundreds of English language words and is applied to the explication of specialized domains of knowledge. In accordance with the invention, the method may comprise identifying a plurality of primitive words in a first group, where the primitive words in the first group have a singular meaning. The plurality of primitive words in the first group having a singular meaning are stored at a first set of storage locations in a computing device. A plurality of primitive words in a second group are identified. The plurality of primitive words in the second group have associated meanings which may be defined by the primitive words in the first group and/or other primitive words in the second group. The plurality of primitive words in the second group are stored at a second set of storage locations in a computing device. For each of the primitive words in the second group, its respective associated meanings are stored as definitional linking information, linking a respective primitive word to respective defining primitive words in the first group and/or other primitive words in the second group, whereby upon the identification of any word, a definition comprising linked primitive words may be retrieved. For each of a plurality of definable words, wherein the definable words are selected from the first and second groups, one selects words from the first and second groups as relative words having substantially the same meaning as its respective definable word, and/or associates words in the first and second groups into respective relative phrases having substantially the same meaning as its respective definable word, each of the definable words, together with its respective relative words and relative phrases forming a relative set. For each of the definable words, relative set linking information linking each of the definable words to its respective relative words and relative phrases is stored, whereby upon the identification of any word, the other members of a relative set may be retrieved.
Owner:LIEBERMAN JEREMY
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products