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

5334results about How to "Guaranteed correctness" patented technology

Intelligent numerical control machining programming system and intelligent numerical control machining programming method for aircraft structural parts

The invention relates to an intelligent numerical control machining programming system and an intelligent numerical control machining programming method for aircraft structural parts. According to the system, an existing CAD / CAM (Computer-Aided Design / Computer-Aided Manufacturing) system is taken as a platform; the system comprises a model detection module, a process scheme automatic generation module, a process resource and knowledge base management model, an automatic programming subsystem module and a numerical control program intelligent optimization module. The system is established on the basis of a three-dimensional model, the numerical control machining programming specialization process of the aircraft structural parts is relatively systematically and accurately reflected and supported, the man-machine interaction operation required in the technological preparation and programming process can be greatly reduced, the problems of unstable program, long programming period and the like caused by interactive programming based on universal platform and artificial experience are effectively solved, the numerical control machining preparation and programming efficiency and quality can be obviously improved, and the specialization level and the intelligence level of the CAD / CAM system are promoted.
Owner:SHENYANG AIRCRAFT CORP

Enzyme-linked immune analysis method and fully-automatic enzyme-linked immune analyzer

The invention relates to an enzyme-linked immune analysis method and a fully-automatic enzyme-linked immune analyzer. The analyzer comprises a rack component, a washing component, a sample adding/reagent adding component, a heating and temperature control component, a fluid path system, an input and output device, an optical measurement component and a control system, wherein the rack component comprises a rack soleplate; a pillar is arranged on the rack soleplate; a lower fixed plate and an upper fixed plate are arranged on the pillar from bottom to top in sequence; a circular reaction plate is arranged between the lower fixed plate and the upper fixed plate; the circular reaction plate is connected with the upper fixed plate and the lower fixed plate through a central shaft; a first motor is fixedly arranged at the lower part of the lower fixed plate; and the first motor is used for driving the circular reaction plate to rotate through a first transmission mechanism. When in use, the enzyme-linked immune analysis method and the fully-automatic enzyme-linked immune analyzer can carry out the detection of corresponding projects without wasting reagent through only one sample; and detection reagents need not to be respectively contained in different reagent bottles, so that the operation is very convenient, and the operation error is not easily caused, thereby ensuring the accuracy of the detection results.
Owner:SHENZHEN YHLO BIOTECH

Decentralized public key management method and system based on trusted network

The invention mainly belongs to the technical field of information security, and specifically relates to a novel decentralized public key management method and a trusted model. The method is constructed on distributed data network platforms such as a block chain and P2P (Peer to Peer) in order to ensure that all nodes in the platforms can participate in maintenance of whole-life-cycle management of public keys of users, and the changes of the public keys of the users in various states in a life cycle are recorded in a bill form. Through the method, public keys passing verification can be recorded and added into a consistent public key storage structure of a platform to be saved; a public key log chain is generated for all public key records of the same user according to a time sequence, and an authentication chain and a trusted network are formed on the basis of a referrer signature; and efficient search of the public keys can be realized on the basis of user identifiers. Through adoption of the method, the public keys of the users can be issued and acquired conveniently and accurately, and the effectiveness, correctness, consistency and non-fraudulence of acquired public keys are ensured. The method can be taken as an infrastructure supporting authentication, encryption, integrity and accountability services.
Owner:UNIV OF SCI & TECH BEIJING

Switching processing method, communication system and associated equipment

The embodiment of the invention discloses a switching processing method, a communication system and associated equipment. According to the invention, after a double-mode terminal is switched to a heterogeneous network, it can be ensured that the double-mode terminal will not be exited from the original network, so that the correctness of a mobile IP can be ensured under such a switching mode. Themethod of the embodiment of the invention is applied to a switching process of a worldwide interoperability for microwave access (WiMAX) network that uses a proxy mobile IP (PMIP) to a non- WiMAX network. The method comprises the following steps that: an authenticator of a WiMAX network receives an information authentication secret key counting updating request; if it is determined that an agencyfor a PMIP is terminated according to the information authentication secret key counting updating request, a foreign agent is informed to terminate the agency for the PMIP. The embodiment of the invention also provides a communication system and associated equipment. According to the embodiment of the invention, it can be effectively ensured that the double-mode terminal will not be exited from the original network, after the double-mode terminal is switched to the heterogeneous network, so that the correctness of the mobile IP can be ensured under such a switching mode.
Owner:南通耀通家纺城投资有限公司

Method for automatically releasing terminal program version of WEB network station system server

InactiveCN101635640AImprove version release work efficiencyEasy release workSpecial service provision for substationSpecial data processing applicationsRevision controlSystem service
The invention relates to a method for automatically releasing the terminal program version of a WEB website system server, belonging to the technical filed of software version control and release. The steps of the method are as follows: forming a new VSS version file aiming at problems to be solved at a client development server side; associating the problems to be solved with the new VSS version file; compiling to generate new version target program file; and uploading to a website server side. The website server side can automatically obtain updated version target program, and distribute copies containing updated version target program files to each server of the Web website after being assembled into a data structure with preset format with Web server configuration information; and Web services on each server of the Web website are restarted to finish required automatic release and update of Web site version. With the adoption of the invention, the work efficiency of version release is significantly improved, and the workload of version release personnel and the error rate are greatly reduced, thereby ensuring that the version release process is controllable, safe and reliable, and is well documented.
Owner:JIANGSU TIANZHI INTERCONNECTION TECH CO LTD

Guide device, landmark layout method and guide method based on multi-view vision and inertial navigation

The invention discloses a guide device, a landmark layout method and a guide method based on multi-view vision and inertial navigation, belonging to the automatic control field. The guide device comprises oblique-downward cameras, a vertical-downward camera, an inertial measurement unit, a barrier sensor, a radio frequency card reader and a guide controller, wherein the oblique-downward cameras are arranged on two sides of a vehicle body, the vertical-downward camera is arranged at the center of the vehicle body, the inertial measurement unit is arranged on the top of the vehicle body, the barrier sensor is arranged on the front side of the vehicle body, the radio frequency card reader is arranged at the bottom of the vehicle body, and the guide controller is electrically connected with the cameras, the inertial measurement unit, the barrier sensor and the radio frequency card reader. Color guiding marked lines are distributed on two sides of an operation path of an automatic guide vehicle (AGV), and radio frequency tags and colored positioning marks which are in positional coincident with each other are distributed on the guiding marked lines. A guide method of the AGV comprises the steps of carrying out region traffic navigation in a middle region between the guiding marked lines on two sides, and carrying out path tracking guide along with the guiding marked lines on one side. The guide method has cross-regional remote motion flexibility and intra-regional target positioning accuracy.
Owner:NANJING UNIV OF AERONAUTICS & ASTRONAUTICS

Automatic assembly line standard apparatus for electric energy meter calibration

The invention discloses an automatic production line standard device detected by an electric energy meter, which comprises a loading platform, a feeding loop line belt and an electric energy meter automatic standard device. The loading platform is connected with the feeding loop line belt; a material taking manipulator and a bar code reader are mounted on the feeding loop line belt; the feeding loop line belt is connected with the electric energy meter automatic standard device; the electric energy meter automatic standard device is simultaneously connected with a blanking conveying loop line belt; a loading manipulator and another bar code reader are mounted on the blanking conveying loop line belt; the loading manipulator is connected with an electric energy meter feeding box; an unqualified product outlet is formed on the blanking conveying loop line belt; the working process of the whole production line in the whole device is controlled by a computer program through a production line control cabinet; and the calibration/ detection of the electric energy meter is controlled by a computer calibrating procedure through a calibrating control cabinet. The invention has the advantages of completely improving the calibrating/detecting work efficiency, reducing the labor intensity, improving the work quality, achieving the reliability and the safety of electrical connection, etc.
Owner:STATE GRID ZHEJIANG ELECTRIC POWER CO LTD SHAOXING POWER SUPPLY CO +1

Method for carrying out self-adaption simplification, gradual transmission and rapid charting on three-dimensional model

The invention provides a method for carrying out self-adaption simplification, gradual transmission and rapid charting on a three-dimensional model by utilizing a space solid view model, which simulates and analyzes the display process of the three-dimensional model by utilizing the space solid view model to realize the self-adaption simplification, gradual transmission and rapid charting of the three-dimensional model, thereby completely solving the problems of network transmission and display of the mass three-dimensional model data. The beneficial effects of the method provided by the invention are mainly reflected in that the lossless display and self-adaption simplification of the three-dimensional model can be guaranteed; the display effect before the simplification is consistent to that after the simplification; the gradual transmission designed based on the simplification method can completely solve the conflict between the explosion type increase of the mass space data and the transmission through the limited network bandwidth; the data volume of the three-dimensional model after the simplification is still small; and the charting speed of the three-dimensional model can be obviously increased by utilizing a residence memory when a view window is refreshed.
Owner:董福田

Secondary maintenance safety measure ticket system and realization method thereof

The invention relates to a secondary maintenance safety measure ticket system and a realization method thereof, and relates to the technical field of secondary maintenance safety measures in the direction of intelligent transformer substation secondary operation. The secondary maintenance safety measure ticket system comprises a model data management module, a real-time database, a historical database, a graph editor and an safety measure ticket application module. The realization method of the secondary maintenance safety measure tickets realizes a series of function requirements of secondary maintenance safety measures, such as intelligent ticket simulation, anti-error verification, rehearsal simulation, safety measure ticket management and visual display. The secondary maintenance safety measure ticket system and the realization method thereof solve the problems that conventional manual programmed secondary safety measure tickets are high in difficulty and error-prone and system management is unavailable for the secondary safety measure tickets, the working efficiency of secondary maintenance personnel is improved, the validity and the accuracy of secondary maintenance safety isolation measures are ensured, and the safe and reliable secondary maintenance safety measure implementing technology guarantee and an application system support system are provided for operation, maintenance and reorganization and expansion work of the intelligent transformer substation.
Owner:STATE GRID FUJIAN ELECTRIC POWER CO LTD +2

Safe network information transmission method

The invention discloses a safe network information transmission method. The method includes that a client sends a service request to a server; a server side verifies a user message in the service request and a client internet protocol (IP) address, and the server side establishes a session with the client if the verification passes; the server side generates a secret key, encrypts the secret key through a public key of the client and sends the secret key to the client; the client decrypts secret key information through a private key, encrypts decrypted secret key information through a public key of the server side and sends the secret key information to the server side; the server side performs digital signature to data of the service request, encrypts the data and digital signature information through the secret key and sends the data and the digital signature information to the client; and the client decrypts the data and performs consistent verification, the information which doesn't pass the consistent verification is discarded, the server side is applied for retransmission, and the information which passes the verification is stored into a local data base. By means of the safe network information transmission method, safety of information transmission is greatly improved.
Owner:COMP NETWORK INFORMATION CENT CHINESE ACADEMY OF SCI

Test program control stream path set creation method based on base path

The invention pertains to a path testing in a program testing. The concept of a program control flow base path is defined through bringing in the concept of base in mathematics, a data structure showing a program structure of a source program slice is obtained by using a compiler module first; then through traversing the data structure, a control flow path generating algorithm is utilized to generate a subset compiler module of a program control flow path which is based on a base path to interpret the semanteme on a tested source program, an abstract syntax tree structure showing the structural information of the tested program control flow is output. An adjacency matrix of a control flow graph generates a module ergodicity abstract syntax tree structure, and generates the adjacency matrix representation of a program flow chart. A control flow path subset generating module acquires the control flow information of the tested program through traversing the adjacency matrix, traverses the adjacency matrix by adopting a depth-first multiple backtracking method, and processes sentence nodes, thus a program control flow path subset based on the base path is generated. The method has the outstanding advantages in generating results and flows, and can be widely used in the engineering practice of a path cover testing in a software structure testing.
Owner:SICHUAN UNIV
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