5348results about How to "Guaranteed correctness" patented technology

The invention provides a 5G C-V2X vehicle road cloud cooperation perception method and system used for an automatic driving vehicle. Rapid acquisition and transmission of various information on a roadcan be realized through a 5G technology and a vehicle networking technology, and a dynamic scene is constructed according to collected information, a running path of a target vehicle in the dynamic scene is simulated, and an optimal path is selected so that the target vehicle can achieve automatic driving with the aid of the optimal path. The collected information can include information of a roadside obstacle, traffic light, a pedestrian, a running vehicle and the like, and data sharing is performed through the 5G technology so as to provide sufficient information for the automatic driving and ensure rapidity and correctness of an automatic driving vehicle decision.

The invention relates to a service method and a service device for converting multi-source data. The device comprises a data source interface module, a data importing module, a data cleaning module, a data converting module, a consolidated data structure module, a consolidated storage type module, a consolidated exporting interface module and a flexible export setting module. The service method and the service device for converting the multi-source data have the following advantages: 1) an independent device is specially responsible for operations, such as data exchange of various advanced application systems and various basic service systems in a power dispatching center, thereby improving efficiency of data conversion, and ensuring correctness and timeliness of the data conversion; 2) each advanced application system only needs to acquire data from a data conversion service device, thereby saving complicated workload of data conversion, and saving development cost and maintenance cost; and 3) the advanced application system is separated from data conversion, thereby saving hardware resource, and improving operating efficiency and operating stability of the application system.

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.

The invention relates to a wall plate processing technology for hyperboloid thin wall, belonging to the field of the mechanical processing technology. The process of producing the thin-wall wall boardwith double curved surfaces comprises the steps of rough finishing by a three-coordinate numerically controlled milling machine, heat-treating, semifinishing by a five-coordinate numerically controlled milling machine, natural aging, finishing by the five-coordinate numerically controlled milling machine, finishing on a vacuum platform and process boss cutting. The margin of the parts can be eliminated evenly and the deformation of the parts can be reduced to the maximum extent by adjusting the parameters including the processing allowance, the processing speed, the milling mode and the likein each numerically controlled procedure. The difficult problem of part clamping and positioning is solved by adopting the vacuum absorbing platform integrally having a cambered surface to absorb andprocess the parts.

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.

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.

The invention discloses an automatic holographic management system integrating detection of an electric energy meter and warehousing management, comprising an automatic pipelining standard device for detection of the electric energy meter, an unboxing machine, a boxing machine and a three-dimensional table library; wherein the three-dimensional table library is respectively connected with the boxing machine and the unboxing machine; and the boxing machine and the unboxing machine are respectively connected with the automatic pipelining standard device for detection of the electric energy meter by a conveying belt. The system changes large amount of repeated and mechanical manual modes in the whole process of the operation of the electric energy meter, and has the automatic functions of automatic delivery from the warehouse, automatic distribution, automatic feeding, automatic positioning, automatic wire connection, automatic image recognition, automatic temperature monitoring, automatic wire disconnection, automatic discharging, automatic boxing, automatic disc packing and automatic warehouse entry.

The invention relates to a system and method for converting audio / video data into written records. The system comprises a data acquisition part, a data recognition part and a data organization part. The data acquisition part comprises an audio acquisition module and a video acquisition module. The data recognition part comprises a voice and voiceprint recognition module and a face and expression recognition module. The data organization part generates the written records according to text information, recognition starting time, the identity tag of the current speaker and the emotion of the current speaker. The whole audio / video data process is saved more meticulously and more completely, so as to be closer to reality. Audio / video data are converted into texts to be saved, so that storage cost and transmission cost are reduced greatly, follow-up checking of records can be achieved conveniently, and conference content can be browsed and positioned more quickly.

The present invention discloses a method and a system for updating a client side software, which is used to solve the problem existing in the prior art that all bundle files contained in the new edition client side software need to be downloaded when the client side software is updated. The method comprises that the file names of the bundle files of the client side software of each edition and verification codes stored by a server side are correspondingly saved in the configuration files; when the client side software of local installation is updated by the client side, the configuration files of the specified edition client side software are downloaded from a server side, and are compared with the local corresponding configuration files in the content aspect, and according to the comparison results, the bundle files with unchanged contents and the bundle files revised and newly added in contents which are downloaded from a server side are retained locally. The system comprises a server and a client side, wherein the server comprises memory modules, and the client side comprises configuration file index modules, configuration file comparison modules, bundle file downloading modules and updating modules.

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.

The invention discloses an inter-view predicting method in the multi-view points video technique, comprising the following steps that: a coding terminal takes a parallax vector as a reference vector to inter-view predict a macroblock to be coded and the parallax vector information of the macroblock to be coded is transmitted to a decoding terminal; the decoding terminal obtains the parallax vector information, the inter-view prediction of the macroblock by the reference vector is determined according to the parallax vector information. The invention also discloses a multi-view points video coder and a multi-view points video decoder.

The invention relates to a judgement document-based structured processing method. According to the method, a natural language processing technology and an advanced machine learning technology are adopted to automatically realize case type classification on the basis of keyword extraction of brief texts, so that structured processing is carried out through constructing case hierarchical structuresand designing an extraction rule. Through constructing and extending a related lexicon, segmenting a judgment document module, designing and determining a cluster number K and an initial cluster center, and taking an increment of a word weight as second feature selection, the improvement of a kmeans cluster algorithm is realized, and class labels of cases are obtained; and through creating different hierarchical frameworks according to different case types and combining the designed extraction rule, structured processing of judgement documents is obtained. The method is capable of rapidly realizing the structured processing of judgement documents.

Disclosed is an operation cross-domain control method in a grid computing environment; the method uses a trust mechanism to realize the operation control in the grid environment, makes trust evaluation to the available resources in the grid, analyzes the operation to be processed, and uses a mobile agent to transfer the operation to an appropriate resource for execution, according to the information provided by a control system in the grid. The proposal overcomes the disadvantages of poor reliability, non-guaranteed response time, over-long running time on the resources and imperfect fault management in other operation control proposals, and can achieve self-adaptation to the resource and operation control in the grid, reduce the grid traffic and improve the utilization rate of the network to form an operational parallel solution, thereby achieving the purpose of improving the utilization efficiency of grid resources and the execution efficiency of grid computing, speeding up the execution of tasks and improving the accuracy of the results so as to enhance the processing efficiency of distributed systems.

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.

The invention discloses a high-efficiency difference disturbance location privacy protection system and a method, considering that the attacker has the challenge to the location privacy protection method based on the location disturbance and fuzzy technology about the background knowledge of the user side information, the difference privacy protection technology is guided to the location fuzzy privacy protection method, the Hilbert space filling curve capable of self-adaption transition on the user location according to the distributed change features in the geographic space of the mobile user and the current fashionable quadtree or R tree spatial index are used for forming the location index for all mobile users in the geographic space, and the K anonymity contact area satisfying the principle of reciprocity is effectively generated. Then, the difference privacy protection technology is used for generating the location disturbance point reasonable near user real location of k location points of the contact area as the query location of LBS user for requesting service from the LBS service provider, the problems and deficiencies of the existing method can be overcome.

The invention discloses a self-healing control method for operation of an urban distribution network, which is used in an operated urban distribution network. The method adopts an integrative coordination control mode of the urban distribution network based on the self-healing control technology; the process of signals and the generation of control strategies have self adaptability; the method automatically finishes a control process without external intervention, coordinates the action behaviors of a relay protection device, a switch, a safe automatic device and an automatic adjusting device, and carries out coordination control on the relay protection device, the switch, the safe automatic device and various automatic adjusting devices and parameters thereof so as to realize the technical proposal of stable, safe, reliable and economic operation of the urban distribution network; and the method belongs to the application field of cross technology of power system theory, control theory and artificial intelligence.

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.

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.

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.

The invention provides an implementation method and device for a blockchain smart contract. The method comprises the following steps that: receiving a smart contract transaction request initiated froma user; dividing a data area to which the transaction request relates into an on-chain data source and an off-chain data source; carrying out consensus processing on the on-chain data source by the consensus node of the blockchain; and through an off-chain hashrate provider, carrying out calculation processing on the off-chain data, and providing a verification proof. The method supports to access a heterogeneous data source, the on-chain data source, the off-chain data source and a hybrid data source, the consensus and the calculation of the smart contract are decoupled, extraction efficiency and handling capacity are improved, and the business capability of the smart contract is greatly enhanced.

The invention provides an intelligent display terminal firmware updating method. The firmware updating method includes the steps that two loading programs are set, and a terminal is guided and started through the different loading programs according to the current state of the terminal; the integrity of updating files is checked; the updating files are added with digital signatures; automatic updating and manual updating are selected alternatively to finish updating. According to the intelligent display terminal firmware updating method, the failure rate of the intelligent display terminal is reduced, and correctness of the updating files and security of updating are ensured.

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.

The invention discloses an active learning based data automatic marking method, and belongs to the field of active learning. The data automatic marking method comprises the steps of 101, processing marked data and unmarked data; 102, classifying the unmarked data by using a plurality of different classifiers; 103, selecting data with low difference entropy; 104, performing manual marking on the data with low difference entropy; and 105, performing self-checking on a manual marking result. The invention provides a data automatic marking system with a self-checking function through combining an active learning method in allusion a problem of how to ensure the accuracy of manually marked data as far as possible while reducing the volume of the manually marked data, thereby achieving the purposes of reducing the workload and improving the accuracy of the manually marked data.

The invention discloses a method for evaluating risk of nuclear power station, comprising the following steps: receiving the maintenance device state value transmitted by the user device, wherein the maintenance device is a power plant device to be regularly maintained by the user or regularly tested or a power plant device for evaluating risk value when something is wrong with the device, computing the risk evaluation value of the nuclear power station based on the risk real-time evaluation model according to the maintenance device state value, and transmitting the computed risk evaluation value to the user device where the user is. The invention further discloses a device for evaluating risk in real time. The embodiment of the invention is convenient for the operator to realize the riskcondition of the nuclear power station in real time.

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.

The system includes a field working station and a remote service center. The field working station runs the OPC data collection module and the network data releasing module conforming to TCP / IP protocol by using the OPC data collection and network data releasing application program, and is connected to the field control center through OPC interface. The remote service center runs the network terminal module conforming to TCP / IP protocol, the remote OPC server module and the remote control module supporting OPC interface by using network terminal application program and the remote OPC service application program. The network communication terminal module receives the field data released by the network data releasing module, and then releases the received data to the remote OPC service module by which the data is transmitted to the remote monitoring module.

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.

The invention provides an unmanned aerial vehicle fixed-point flight control system based on visual positioning. The system comprises an UAV airborne module, a positioning marker, a ground monitoring module and a communication module. According to the system, through the cooperation with a visual processing algorithm, the UAV fixed-point flight is made by identification information, the disadvantages of low GPS fixed-point flight precision is made up, and the control system uses an open source operating system and a general UAV communication protocol and has good scalability and compatibility. The system can be applied to the UAV logistics, UAV monitoring and other directions.

A method for detecting signal and estimating symbol timing is provided. The method is applicable to the receiver in an OFDM system. The method uses the autocorrelation of the short preamble of input signals to detect signals, and performs the coarse frequency offset compensation at the same time. Then, the end of the short preamble for the input signals is detected by the signal detection. The compensated signals are cross-correlated with the portion of the long preamble or that of guard interval together with the long preamble. In addition, the method uses the information for the end of the short preamble to find out a range of the sliding window for estimating symbol timing. In such a manner, the method can make sure of the accuracy for the symbol timing.