79 results about "Pseudo-code" patented technology

The invention relates to a signal equipment fault diagnosis rule automatic generation method, system and equipment, and the method comprises the steps: a demand cleaning processing process: carrying out the semantic analysis of an original fault diagnosis demand of signal equipment, and generating a structured output containing a demand pseudo code and a dependency graph based on a recognition result of the demand; the demand searching process is used for constructing a demand vector and a knowledge graph; performing similarity search on the vectorized query demand to obtain similar demand nodes for a user to select a root demand, and performing deep search in the knowledge graph based on the root demand to generate a fault tree structure and fault tree data; and an intelligent rule automatic generation process: generating prompt words based on the fault tree data construction rule, and generating a signal equipment fault diagnosis rule code by using a large language model. Compared with the prior art, the method has the advantages that the signal equipment fault diagnosis rule is automatically generated, and the development efficiency is improved.

The invention discloses a code generation and restoration method and device based on multi-round feedback of a large language model, and the method comprises the following steps: 1, converting problem description into a structured tetrad (target, input, output and constraint) through a two-stage task demand deconstruction mechanism, and generating a pseudo-code frame according to the structured tetrad; 2, generating a plurality of candidate code schemes in parallel based on different implementation strategies; 3, selecting an optimal code implementation scheme through multi-dimensional evaluation; 4, generating an extended test case through boundary condition analysis and public test reasoning, and expanding a verification range; 5, classifying error types in combination with static analysis and dynamic execution information, and applying a special repair strategy; 6, providing detailed repair reasons and ideas by an interpretable repair mechanism; and 7, establishing a multi-round feedback repair verification iteration mechanism composed of testing, analysis, repair and verification. According to the method, the performance of an existing large language model in processing a complex programming task is effectively improved.

The invention discloses a query condition analysis method and device and a medium, and the method comprises the steps: receiving a natural language query statement input by a user for a human resource management system, and extracting a core semantic unit in the natural language query statement; based on a preset knowledge base, mapping the core semantic unit into a semantic structure corresponding to an Elasticsearch database to generate a corresponding key vector diagram; based on a preset pseudo code normal form, generating a pseudo code according to the key vector diagram; wherein the pseudo code comprises a query node set and a logical relationship between query nodes; and performing code verification on the pseudo-code, and converting the pseudo-code into a DSL query statement in an Elasticsearch database under the condition that the pseudo-code passes the code verification, so as to realize semantic analysis on the natural language query statement through the DSL query statement.

The invention relates to a low-orbit satellite short burst signal high-precision capturing method and device, equipment and a medium. The method comprises the following steps: sequentially carrying out digital down-conversion and L-time signal pseudo code rate down-sampling on a low earth orbit satellite short burst signal sequence sampled by an ADC (Analog to Digital Converter) to obtain a down-sampled signal sequence; performing pre-accumulation processing on the down-sampling signals of every adjacent L points in the down-sampling signal sequence, and performing coarse capture on the pre-accumulated signal sequence by adopting a PMF-FFT algorithm to obtain a coarse pseudo code phase and a coarse frequency offset value; and performing serial code phase search on the down-sampling signal sequence based on the coarse pseudo code phase and the coarse frequency offset value, optimizing to obtain a fine pseudo code phase, and optimizing the estimation precision of the coarse frequency offset value according to the fine pseudo code phase and a frequency offset estimation algorithm based on a phase relation to obtain a fine frequency offset value. By adopting the method, the acquisition precision and speed of the short burst signal of the low-orbit satellite can be improved.

The invention particularly relates to a method for converting pseudo code capture into tracking phase compensation under clock frequency offset. The method comprises the steps of band-pass sampling and digital down-conversion, local pseudo code sequence generation, twice pseudo code capture and phase compensation. Selecting a sampling frequency and processing a signal through a band-pass sampling theorem, and generating a local pseudo code based on a Gold code; a PMF-FFT method of a mobile pseudo code is adopted to complete first-time pseudo code capture, a multiplexing capture module executes second-time full-range capture, and pseudo code phase offset is accurately calculated; and finally, adjusting the local pseudo code phase through the total phase compensation value, so that the phase difference between the input signal and the local pseudo code is controlled within a half chip. According to the method, hardware cost does not need to be increased, the problem of inaccurate phase compensation under clock frequency offset, large frequency offset and low carrier-to-noise ratio scenes is effectively solved, it is guaranteed that pseudo code capture is smoothly converted into tracking, and the tracking reliability of a receiver is improved.

The invention relates to the field of computers, and provides a software security detection method and system based on code lines, and the method comprises the steps: obtaining a binary file of to-be-detected software, and carrying out the preprocessing of the binary file, and obtaining a corresponding pseudo code; performing multi-level code line generation on each function in the pseudo code to obtain a code line vector of each function; based on the code line vector of each function, performing similarity retrieval in a preset code line library, and performing risk assessment and attribution analysis on the binary file of the to-be-detected software according to a retrieval result; and generating a security detection report of the to-be-detected software based on the evaluation result and the analysis result. According to the method, the binary file of the to-be-detected software is converted into the pseudo code, deep analysis can be performed on the pseudo code, and multi-level code line generation is performed on each function in the pseudo code, so that similarity retrieval can be performed in the preset code line library on the basis of the generated code line vector; therefore, the accuracy, efficiency and comprehensiveness of software security detection are improved.

The invention provides a key node identification method and device in an industrial control system, equipment and a medium. The key node identification method comprises the steps of performing reverse analysis on firmware codes of control equipment to obtain a control logic configuration file; disassembling the control software firmware code to obtain a software disassembling code; performing code labeling, code slicing and code translation on the software disassembly code to obtain a class C pseudo code; performing code analysis on the class C pseudo code to obtain a software structure configuration file; performing file analysis on the control logic configuration file and the software structure configuration file to obtain a service logic relationship between the control equipment and the control software and a service logic relationship between the control equipment and the field equipment; constructing a business logic map based on the business logic relationship between the control equipment and the control software and the business logic relationship between the control equipment and the field equipment; and identifying a key control link in the service logic map, and carrying out key node positioning on the key control link. Therefore, key nodes are effectively positioned.

The application provides a coherent accumulation method and device of a signal, a signal acquisition method and device, and applies to the technical field of communication. The coherent accumulation method of the signal comprises the following steps: reading to-be-accumulated data according to a parallel starting address; wherein the to-be-accumulated data comprises data obtained after a modulation signal is preprocessed and pseudo-code data; performing parallel accumulation and coherent accumulation on the to-be-accumulated data until the number of coherent accumulations reaches a coherent accumulation setting value and a transform domain input count value reaches a transform domain input setting value, so as to obtain a coherent accumulation result; wherein the transform domain input count value is increased by one every time the number of coherent accumulations reaches the coherent accumulation setting value; judging whether the length of the coherent accumulation result reaches a coherent accumulation setting length; and if the length of the coherent accumulation result reaches the coherent accumulation setting length, updating the parallel starting address. In the above scheme, the flexibility of coherent accumulation of the signal can be improved in different scenarios.

The invention provides a method for detecting security risks of firmware and related equipment. The method comprises the following steps: acquiring an in-firmware partition mirror image of first firmware; according to the partition mirror image in the firmware, obtaining files in the partition mirror image, file type information of the files in the partition mirror image and pseudo code files of the files in the partition mirror image; and determining a first type engine matched with the pseudo-code file based on the file type information, and performing security risk detection on the pseudo-code file through the first type engine. According to the method for detecting the security risk of the firmware and the related equipment, source-code-free deep semantic analysis is realized, so that a more accurate security risk detection result can be obtained.

This invention discloses a method for acquiring spread spectrum signals to eliminate the influence of high-speed data symbols, comprising the following steps: When down-converting the input signal obtained from the ADC sampling receiver, a fixed frequency offset is artificially introduced; a local pseudo-code sequence is correlated with the down-converted signal; the correlated signal is low-pass filtered; the I-path and Q-path of the filtered signal are multiplied, and the result is input to the FFT calculation module; the highest energy spectral line is found in the spectrum output by the FFT module, and the Doppler frequency offset of the input signal is calculated if the energy of this spectral line exceeds a threshold, then pseudo-code locking and carrier locking are performed; it is determined whether pseudo-code locking and carrier locking are completed: if locked, the acquisition process ends; if not locked, the phase of the local pseudo-code sequence is adjusted and the process returns to the down-conversion step. This invention can eliminate the influence of high-speed data symbol flipping on spread spectrum signal acquisition, is applicable to different data rates, and significantly enhances the communication capability of spread spectrum communication systems.

The application discloses a B3I signal simulation method and device, terminal equipment and storage medium, through obtaining ephemeris data, generating pseudo code and extension code, and modulating the same, a real B3I signal can be quickly and accurately generated. In this way, the original signal simulation can be freed from the dependence on hardware equipment, and only ephemeris data provided by a user and satellite messages of a Beidou satellite are needed to generate a corresponding B3I signal. In addition, a Doppler frequency shift is calculated according to the distance between a satellite and the user, and is applied to carrier modulation, so that the B3I signals of various satellites can be more accurately simulated. By comprehensively considering ephemeris data, distance calculation, pseudo code generation, Doppler frequency shift and navigation messages and the like, a real B3I signal with a Doppler effect can be generated, which provides a beneficial tool and data for testing and verification of a B3I signal receiver, so that the research and development efficiency of a navigation satellite signal receiver is improved.

The invention discloses a high-spectral-efficiency and high-speed FTN (Fourier Transform Network) transmission method based on pseudo code auxiliary carrier synchronization, which belongs to the field of high-frequency wireless communication, and comprises the following steps: a transmitting end composites a low-speed pseudo code pilot signal into a high-speed FTN signal by adopting a frequency division multiplexing mode to obtain a composite signal and outputs the composite signal; a receiving end performs down-conversion on the received composite signal, and the composite signal is separated by a filter to obtain a low-speed pseudo code pilot frequency sequence and a high-speed FTN sequence; carrying out carrier frequency offset estimation based on the low-speed pseudo code pilot frequency sequence to obtain a frequency offset estimation value; performing frequency offset compensation on a receiving end carrier by adopting the frequency offset estimation value to obtain a compensated high-speed FTN sequence; and carrying out symbol estimation on the compensated high-speed FTN sequence by adopting a forward backtracking continuous symbol sequence detection algorithm to obtain a received signal. According to the invention, the receiving sensitivity and the system robustness can be ensured while high-spectrum-efficiency transmission is realized.

The invention provides a measurement and control signal fine capturing method and device based on fuzzy control, and belongs to the field of satellite-borne measurement and control responder signal processing, and the method comprises the steps: respectively obtaining a pseudo code delay coarse estimation value and a Doppler frequency coarse estimation value; determining a value range corresponding to the input variable of the pseudo code delay dimension and a value range corresponding to the input variable of the Doppler frequency dimension; determining an input fuzzy set of the dimension and a corresponding input membership function according to the input variable of the pseudo code delay dimension, and determining an input fuzzy set of the dimension and a corresponding input membership function according to the input variable of the Doppler frequency dimension; for each dimension, executing deviation value estimation operation in the fuzzy set corresponding to the input variable of the dimension to obtain a deviation estimation value corresponding to the dimension; and determining a fine capture value of the dimension according to the rough estimation value and the deviation estimation value corresponding to the input variable of the dimension. The estimation precision of the measurement and control signal can be improved.

The invention provides a method and device for capturing a GNSS signal in real time, and relates to the technical field of GNSS satellite signal processing, and the method comprises the steps: caching the GNSS signal after baseband front-end digital signal processing to an AEFIFO in real time; when the length of the data cached in the AEFIFO reaches the data caching threshold value, reading a target data segment from the AEFIFO, and locally generating a pseudo code-carrier signal corresponding to a preset Doppler-code phase search range at the same time; coherent integration processing is carried out on the target data segment and the pseudo code-carrier signal, and after the amplitude of a coherent integration result is obtained, the coherent integration result and a historical incoherent accumulation result are superposed and temporarily stored; under the condition that the number of times of incoherent integration reaches a preset value, peak value searching is carried out, and the Doppler frequency and the code phase corresponding to the maximum value are determined as GNSS signal capturing results. According to the invention, high-sensitivity GNSS signal capture under limited storage resources can be realized.

Techniques for processing a natural language query using an SMT solver that includes an LLM. The LLM processes the query text to formalize constraint text into pseudo code, which is processed by an SAT solver to determine logical atoms and propositional model for solving the query. The LLM then acts as a theory solver within the SMT solver to process the logical atoms and determine a valid solution for the natural language query.

This application relates to a method, apparatus, device, and medium for high-precision acquisition of short burst signals from low-Earth orbit (LEO) satellites. The method includes: sequentially performing digital down-conversion and... L The signal pseudocode rate is doubled for downsampling to obtain a downsampled signal sequence; each adjacent... L The downsampled signal is pre-accumulated, and the PMF-FFT algorithm is used to coarsely acquire the pre-accumulated signal sequence, obtaining coarse pseudo-code phase and coarse frequency offset. Based on the coarse pseudo-code phase and coarse frequency offset, a serial code phase search is performed on the downsampled signal sequence to optimize and obtain a fine pseudo-code phase. Then, based on the fine pseudo-code phase and a frequency offset estimation algorithm based on phase relationships, the estimation accuracy of the coarse frequency offset is optimized to obtain a fine frequency offset. This method can improve the acquisition accuracy and speed of short burst signals from low-Earth orbit satellites.

In order to solve the problem that a ground operation control system requires that tracking parameters of a monitoring receiver have high consistency, the invention provides a BOC signal fuzzy-matching-free tracking method and device, a receiver and a medium, and the method comprises the following steps: setting the length of a sliding time window; acquiring a pseudo code phase sequence and a carrier phase sequence of the received signal in the current sliding time window; calculating a carrier wave pseudo code consistency value of the current sliding time window based on the pseudo code phase sequence and the carrier wave phase sequence of the current sliding time window; when the carrier wave pseudo code consistency value exceeds the preset threshold, the local pseudo code phase is adjusted according to the carrier wave pseudo code consistency value, error locking of a pseudo code tracking loop is avoided, and unambiguous tracking of BOC signals can be realized under a matching tracking framework.

A kind of mathematical formula parsing and code generation method based on abstract syntax tree, for the pseudo code of input file description control algorithm in the process of satellite-borne software development coding, with syntax tree structure as intermediate carrier, carries out independent identification, analysis, code generation, through the identification and analysis of the logic of control algorithm of mixed LaTeX syntax and C language syntax, code identification and processing are carried out with the inconsistent situation of C language function call with C language function call, which is represented by matrix operation, and the operation result is passed into the operation function in the form of pointer.

The application relates to a satellite-ground ranging method suitable for a multi-satellite measurement and control situation, and relates to a satellite-ground ranging method. The application aims to solve the problem that a physical layer of advanced on-orbit system system service data stream and pseudo code data stream cannot be compatible in a multi-satellite measurement and control scene. The process is as follows: at a transmitting end: a downlink telemetry uplink remote control signal is directly sequence spread through a CA code at the transmitting end I path, so as to realize transmission of measurement and control information between a satellite and the ground; a pseudo code ranging sequence is directly sequence spread through the CA code at the transmitting end Q path, so as to realize a ranging function between the satellite and the ground; at a receiving end: 1, transmitting signals of different satellites are separated, and a pseudo code phase and a Doppler frequency shift are obtained; 2, a carrier tracking loop and a pseudo code tracking loop are realized to stably work; 3, I path coherent integration output is carried out to output continuous bits; Q path coherent integration output is carried out to output continuous bits, transmission time is solved, and then actual satellite-ground distance is obtained. The application is used in the field of space technology.

The invention discloses a compiled binary code recognition method based on a graph network. The method comprises the following steps: acquiring a compiled binary code to be identified in a control system, performing decompilation to obtain a decompiled pseudo code and inheritance relationships of various types in the decompiled pseudo code, and constructing a member function table; constructing a software variable relation table based on the relation between the software variables of the classes; based on the software variable relation table, constructing a directed subgraph of the member function; aggregating the directed sub-graphs into a class level general graph according to the calling relationship; and performing variable semantic inference based on the class hierarchy general graph, and identifying the type and semantics of the compiled binary code so as to determine the function of the compiled binary code in the control system. According to the method, the directed subgraph and the class level general graph of the decompilation pseudo-code can be automatically constructed, then variable type semantic inference is carried out based on a graph network structure, the decompilation pseudo-code recognition problem can be systematically solved, and therefore more efficient and accurate technical support is provided for robot reverse engineering and software analysis.

The invention discloses a multi-agent system and a deep reinforcement learning load balancing method thereof, which reduce the complexity of agent selection action and can more easily achieve the optimal performance on the whole. According to the method, the request distribution is divided into two stages, the central agent selects the data center in the first stage, the local agent selects the node in the second stage, and therefore the problem that the multi-agent environment is unstable is avoided. In addition, request distribution of each agent is modeled into a Markov decision process, and definition of a state space, an action space, a reward function and state transition is described in detail. In the aspect of a network structure, a decision network is adopted, and compared with a single-flow Q network, the decision network has the advantage of being faster and better in learning. In the aspect of exploration and utilization, an improved load balancing-oriented action exploration strategy is used. Finally, a pseudo code and a learning process chart of the algorithm are given, and the training process of the algorithm is explained.

The present disclosure proposes a deep DSL and knowledge base-based large model front-end code generation method and system. The method comprises: receiving a user's front-end interface requirement; analyzing the front-end interface requirement through a requirement semantic analysis engine, and outputting a natural language requirement description; based on the natural language requirement description, calling a code large model and querying a DSL field knowledge base, selecting a high-score first input-output pair as a reference example to return to the code large model, and generating a front-end pseudo code; the code large model queries the code field knowledge base for each pseudo code segment in turn, selects a high-score second input-output pair as a reference example to return to the code large model, and generates a front-end code segment through the code large model; and combining each front-end code segment to generate the final front-end code and render. Through the method, the accuracy of large model front-end code generation is significantly improved, and the code generation is transformed from "vibe coding" to "viable coding".

The application provides a pairing method and device for non-fixed additional pseudo codes, wherein the method comprises the following steps: setting pairing indexes, the first index being the aligned cross-correlation value absolute value, and the second index being the absolute value of the difference between the leading and lagging correlation values; determining a target function and a cost matrix based on the first index and the second index; establishing an additional pseudo code allocation model based on the cost matrix and an allocation matrix; dividing the additional pseudo codes into two parts, determining an initial population based on the division result, and solving the model by using a JVC algorithm to determine the initial pairing scheme corresponding to the individuals in the initial population; performing iterative updating on the population based on a meta-heuristic algorithm or an improved meta-heuristic algorithm, and performing iterative updating on the pairing scheme corresponding to the individuals based on the JVC algorithm until a preset maximum number of iterations is reached, and determining the optimal pairing scheme obtained in the last iteration process as the optimal pairing scheme of the non-fixed additional pseudo codes; wherein the optimal pairing scheme obtained in the iteration process is determined based on the target function.

The invention discloses a single Beidou rapid pseudo code capturing method, system and device and a storage medium, and the method comprises the steps: obtaining a Beidou intermediate frequency digital signal, and dividing the intermediate frequency digital signal into sub-data segments; respectively executing partial matched filtering on the plurality of candidate code phase offsets for each sub-data segment to obtain a partial matched filtering output complex sequence; performing conjugate multiplication on the partially matched filtering output complex sequence along the time dimension to obtain a differential complex sequence, and performing point-by-point complex square operation on the differential complex sequence to obtain a square complex sequence; performing fast Fourier transform on the square complex sequence corresponding to each code phase along a time dimension to obtain a code phase-frequency two-dimensional correlation matrix; and searching the maximum correlation peak value in the two-dimensional correlation matrix, and determining the pseudo code phase and Doppler frequency of the Beidou signal according to the code phase index and the frequency index corresponding to the maximum correlation peak value. The capturing sensitivity and reliability in a weak signal environment can be improved.

The invention provides a code generation method and device, equipment, a storage medium and a program product, and can be applied to the technical field of artificial intelligence. The method comprises the following steps: inputting a pseudo code into a code generation model to generate a first candidate code; the error type of the first candidate code is determined, and the error type comprises a grammar error, a code logic error and a code intention error; according to the error type, adopting a corresponding correction strategy to correct the first candidate code to obtain a second candidate code; the second candidate codes are scored based on code quality attributes, and the code quality attributes comprise the conciseness degree of the second candidate codes and the adaptation degree of the second candidate codes and service scenes corresponding to the pseudo codes; and determining a finally generated code according to the scoring result of the second candidate code.

The application discloses a kind of high-efficient global navigation satellite system signal GNSS correlation peak calculation methods, its implementation steps include: receiving GNSS satellite signal data stream;Code NCO module is generated by code clock and phase information, and the local pseudo code is generated by driving generation, and according to this, selection signal is generated;Corresponding pseudo code is selected according to selection signal using multiplexer, and after being related with input signal, the accumulated value is obtained;The value is stored in corresponding register temporary storage by demultiplexer;Finally, the stored correlation sequence is convolved with preset matching waveform by convolution module, and the final correlation peak is generated.The method greatly reduces the required (2M+1) ×S times multiplication and addition operation of tradition to S times multiplication and addition and M square times convolution.It saves hardware resources while supporting BPSK, BOC and other multiple signals and multipath suppression scenarios, and considers high precision and strong adaptability, and is suitable for lightweight GNSS receiver design.

The embodiment of the application is suitable for the receiver technical field, and provides a pseudo code tracking method and device, terminal equipment and storage medium, the method comprises the following steps: inputting a local pseudo code into a pseudo code processing module containing N phase delay branches, so as to generate N replica pseudo codes with different phase delay values by phase delay to the local pseudo code; N is a positive integer greater than or equal to 4; the correlation integration results between each replica pseudo code and a satellite signal are calculated respectively; inputting all the correlation integration results and the expected correlation values corresponding to all the phase delay branches into a preset phase correction model to generate a phase correction value; and performing phase correction on a local pseudo code generator based on the phase correction value, so that the local pseudo code generated by the local pseudo code generator is consistent with the pseudo code in the satellite signal. The method provided by the embodiment can effectively improve the pseudo code tracking performance of the receiver.

The application provides a ranging and communication integrated implementation method and system, and relates to the technical field of ranging and communication integration. The method comprises the following steps: performing non-uniform coding on a communication information bit stream to generate a non-uniform communication code sequence; fusing the non-uniform communication code sequence with a preset ranging pseudo code sequence to obtain an integrated composite code sequence; performing phase modulation on a carrier based on the integrated composite code sequence to output a modulated wave signal; demodulating the modulated wave signal to obtain a baseband composite code sequence estimation; performing pseudo code synchronization on the baseband composite code sequence estimation to obtain a measured distance, and performing non-uniform decoding on the baseband composite code sequence estimation to recover the communication information. The application has the advantages of high communication rate, simultaneous ranging and communication, and no influence on the main interference phase signal measurement.

The application provides a virtualized baseband pool receiver loop distributed processing method, and the receiver loop comprises parallel carrier tracking loops and pseudo code tracking loops. The carrier tracking loop comprises a carrier generator, a first integral accumulator and a pseudo code prediction unit; the pseudo code tracking loop comprises a pseudo code generator, a second integral accumulator and a carrier prediction unit. The pseudo code prediction unit is connected with the pseudo code generator, and is used for generating a pseudo code component after acquiring a local reproduced code generated by the pseudo code generator, and sending the pseudo code component into the carrier tracking loop; the carrier prediction unit is connected with the carrier generator, and is used for generating a carrier component after acquiring a local reproduced carrier generated by the carrier generator, and sending the carrier component into the pseudo code tracking loop. Under the premise of ensuring the tracking performance of the receiver loop, the distributed flexible deployment of the receiver loop is realized, and the resource consumption caused by high interaction frequency between loops is reduced.

Techniques for processing a natural language query using an SMT solver that includes an LLM. The LLM processes the query text to formalize constraint text into pseudo code, which is processed by an SAT solver to determine logical atoms and propositional model for solving the query. The LLM then acts as a theory solver within the SMT solver to process the logical atoms and determine a valid solution for the natural language query.