14results about How to "Ensure correctness" patented technology

The application is suitable for the technical field of laser radar, and provides a laser radar, which comprises a light source, a transmitting module, a receiving module, a transmission module, a detecting module and a signal processing module; the transmission module comprises a first coupler and a plurality of transmission media, wherein the local oscillator beam is transmitted to at least one transmission medium for delay processing through the first coupler, and the delay amount of the at least one transmission medium is different from that of the other transmission media; the detecting module is connected with the transmission module and the receiving module respectively, is used for receiving the echo signal and the delayed local oscillator beam output by the transmission module, performing beat frequency processing on the echo signal and the delayed local oscillator beam to obtain a beat frequency signal, and converting the beat frequency signal into a detecting electric signal; and the signal processing module is electrically connected with the detecting module, is used for determining a to-be-measured object according to the detecting electric signal. The laser radar provided by the application can improve the strength of the detection signal in long-distance measurement.

The utility model discloses an anti-rotation petroleum valve, which belongs to the technical field of valves, and has the technical key points that the anti-rotation petroleum valve comprises a valve body, the valve body comprises a valve body, a valve cover, a valve seat, a valve plate and a valve rod, the top of the valve body is fixedly connected with a shell, the valve rod penetrates through the shell, the top of the shell is provided with a groove, and the valve cover is arranged in the groove. According to the valve, due to the fact that the inserting groove and the inserting block are arranged, the problem of valve autorotation caused by valve design or external factors is effectively solved, the stability of valve operation is remarkably improved, and the valve is convenient to use. And the telescopic rod and the limiting block are arranged, the amplification effect of the lever principle is utilized, large enough force is easily transmitted, the valve can be successfully started, and therefore the physical strength of workers is greatly saved.

The application discloses a kind of for EFlash BIST function verification method, comprising the following steps: S1, in register transfer level (RTL) top layer instantiation an EFlash BIST sequence generation module, waiting for chip power-on reset to enter working state, the test mode control pin of general input and output interface of chip is set high, and chip enters test mode;S2, generate excitation sequence through EFlash BIST sequence generation module and input excitation sequence to BIST interface through general input and output interface, after BIST controller converts excitation sequence into access operation to FLASH module, execute current operation and return operation result data to EFlash BIST sequence generation module to carry out next round operation.The application can ensure the correctness and reliability of BIST controller function and part FLASH particle function, improve the overall verification efficiency of chip.

This invention discloses a blockchain editing method, system, and storage medium based on cross-chain consensus, relating to the field of blockchain technology. The method includes: transmitting an editing proposal submitted by any participant in a first chain to other participants; in response to the received editing proposal, other participants conduct a cross-chain vote on the editing proposal, and a verification institution records the cross-chain voting results; the verification institution verifies the cross-chain voting results and grants editing permissions to a cross-chain management institution based on the cross-chain voting results; in response to the granted editing permissions, the cross-chain management institution edits the target block to obtain the editing result; the cross-chain management institution synchronizes the editing result to all participants; and in response to the editing result, all participants confirm the editing result. Compared to existing technologies, this invention designs a cross-chain protocol with an editability mechanism to ensure that all participants reach consensus on the edited block, maintaining the consistency and stability of the cross-chain network.

The invention provides a GNSS partial ambiguity fixed acceleration method based on isomorphic multiplexing, and the method comprises the steps: carrying out the first complete decorrelation calculation of a covariance matrix of a first ambiguity subset, and systematically recording the decorrelation transformation information of the first ambiguity subset; when a subsequent ambiguity subset is processed, pre-transforming the covariance matrix of the current subset into a state closer to a decorrelation characteristic by utilizing the structure isomorphism between the covariance matrix of the current subset and the covariance matrix of the previous subset and multiplexing the recorded transformation information, and taking the state as an efficient starting point of iterative optimization; therefore, completely independent and time-consuming correlation reduction operation is prevented from being carried out on each subset covariance matrix from zero. According to the method, the overall calculation burden of sequential drop correlation in the partial ambiguity fixing process is remarkably reduced, the calculation efficiency is greatly improved, and the method is particularly suitable for a low-cost GNSS receiver and other high-real-time application platforms which have strict real-time requirements or are limited in calculation power.

The invention provides a carrier rocket safety margin design method and system based on probability calculation and a processor. According to the invention, through probability statistical calculation, a forward numerical design method for directly solving the safety margin based on the known depletion shutdown / injection probability is realized. The method does not depend on accumulation of historical design experience, the safety margin can be directly obtained through modeling calculation, and therefore the method is especially suitable for research and development of brand new rockets lacking reference models. According to the method, by adopting the forward design, the selection of the traditional'safety margin cluster 'and a large amount of random targeting iteration are fundamentally avoided, so that the design period is remarkably shortened, and the design efficiency is improved. The method provided by the invention has been successfully applied to the safety margin design of various models of carrier rockets, and multiple simulation results and flight test data prove the effectiveness of the method.

The application provides an interval event matching method and system of a content-based publish / subscribe system, through constructing a predicate disjoint set and an optimized partition model thereof, and integrating a learning index of a range query recursive model index in each partition, high-speed, stable and verifiable matching of events to a subscription set under multi-attribute interval predicates is realized; in particular, the traditional memory-intensive matching is reconstructed into a calculation-intensive process mainly based on model reasoning, while correctness and completeness are ensured, average latency is reduced and long tail delay is inhibited, and key modules such as partition and coverage optimization, model training and online reasoning, error boundary control and limited correction, and accurate back matching of residual set subscription are included.

The application discloses a kind of process layer equipment configuration file's online checking method and system, comprising: obtaining the full station SCD file of intelligent substation and process layer equipment CCD file;The dummy loop check code of corresponding process layer equipment in the SCD file is calculated to obtain the first CRC check code;Based on the CRC id of the CCD file corresponding, the dummy loop check code in the corresponding CCD file is extracted to obtain the second CRC check code;When the first CRC check code and second CRC check code check are consistent, determine the third CRC check code;The Inputs node in the IED model information of control device in the SCD file is analyzed, and the target control device and virtual terminal information connected with target checking device IED model are determined;Target control device IED model information is analyzed, and the fourth CRC check code is obtained based on the virtual terminal information;Check the third CRC check code and fourth CRC check code, obtain checking result.

The application relates to the computer technical field, solves the problem that all data sources cannot be uniformly paginated in an API client in the prior art, and discloses a method and system for realizing uniform pagination of different data sources based on calcite, which comprises the following steps: adding a pagination variable in a calcite extension file; calculating the position of the entire pagination in a calcite analysis sql process, and returning the pagination position, so that the calcite extension file supports returning the pagination position; and realizing pagination conversion and precompilation by analyzing a syntax tree, wherein the method can realize the consistency of the order of corresponding values of a $ variable parameter after precompilation sql analysis and return and the order of precompiled placeholders, guarantee the correctness of precompilation execution, and can realize uniform pagination of all data sources in an API client, reduce the difficulty of writing pagination sql, and support variable and precompilation functions.

The invention relates to a system and a method for controlling a charging door of a vehicle based on UWB. The system comprises a charging door covering a charging port of a vehicle; the charging device can be electrically connected with a charging port of the vehicle and is configured to charge the vehicle, the charging device comprises first UWB communication equipment, and the first UWB communication equipment can send and receive UWB communication signals; a vehicle-mounted UWB communication device configured to detect position information of the charging device based on the received UWB communication signal of the charging device; a vehicle-mounted camera device configured to capture image information in the vicinity of a charging door of the vehicle; a main control device configured to generate a charging door control signal for opening or closing a charging door based on position information of the charging device and image information in the vicinity of the charging door of the vehicle, in a case where the vehicle is stopped; and a charging door control device configured to open or close the charging door based on the charging door control signal of the main control device.

This application discloses an electromagnetic environment simulation modeling method, apparatus, device, medium, and product, relating to the field of simulation modeling. The method includes: obtaining simulation modeling requirements; extracting target waveform data from a standardized waveform database based on the simulation modeling requirements, wherein the standardized waveform database includes waveform data of various electromagnetic environment waveforms; determining a target description file based on the target waveform data and simulation setting parameters, wherein the simulation setting parameters are included in the simulation modeling requirements; and determining an executable file based on the target description file and simulation modeling requirements, wherein the executable file is used to instruct target simulation software to generate an electromagnetic environment model. This application solves the technical problems of inconsistent modeling methods and cumbersome modeling processes in existing electromagnetic environment simulation modeling methods.

The application provides a method for ensuring data privacy and verifiable calculation results of a nonlinear GELU function. The method ensures the transparency of the calculation process by committing the local model parameters and private data on the server side. After the client-side encrypts the local private data, it is sent to the server for GELU operation to ensure the security of the data during transmission. The client verifies the validity of the server commitment to ensure the reliability of the server data processing. After receiving the GELU operation result, the client decrypts it and verifies the validity of the nonlinear function GELU operation result and the prediction result. The cloud server of the application provides powerful storage and computing capacity to support large-scale model inference services. The client is responsible for encrypting local data and sending data to the cloud server for inference and prediction. Through this method, user data privacy can be effectively protected, and the correctness and verifiability of the calculation results can be ensured.

This invention provides a middleware and SDK-based communication system and method adapted to software components, relating to the field of software architecture design technology. The system includes: multiple workshop modules, each workshop module being an abstraction of a sub-business module of the software component SWC, possessing data receiving and sending interfaces, and associated with data capability descriptions; a pipeline management module, used to read configuration files, instantiate multiple workshop modules according to the configuration, and establish dependencies; a data proxy module, used to provide a unified interface for data transfer between different workshop modules, supporting unified storage and transfer of multiple data types; and a connection matching module, used to perform connection matching of workshop modules according to data capability descriptions, allowing connection establishment when the production data type and consumption data type meet preset matching rules.

The application provides a data checking method based on a double EtherCAT bus network, and relates to the technical field of industrial control. The system comprises an inner network system and an outer network system, and the inner and outer network systems are both EtherCAT bus network communication systems composed of a group of host computer software, a central processing unit (CPU), a coupling module and a plurality of programmable logic controllers (PLCs). Data interaction of the inner and outer network systems is realized through an EtherCAT slave gateway module installed on the inner network or the outer network system. The hardware structure of the gateway module comprises a slave chip unit, a micro control processor unit and an FPGA unit. When the inner and outer network systems interact with data, the gateway module can monitor the data state in real time, check the data in real time, calculate the bit error rate, report error correction and the like. The application realizes EtherCAT data interaction of different PLCs or devices in the network, simultaneously checks the data and corrects errors, meets efficient data transmission of different PLCs, and greatly improves the reliability of the system.