115results about How to "Guaranteed correctness" patented technology

The invention provides a clock-domain-crossing synchronization circuit and method in an EMU simulation verification environment and a simulator. The clock-domain-crossing synchronization circuit and method in the EMU simulation verification environment are used for solving the technical problem that a clock-domain-crossing metastable state cannot be simulated in the EMU simulation verification environment simulated before chip design. The metastable state simulation circuit is added behind the trigger synchronization circuit constructed based on a multi-stage trigger cascade mode, the metastable state data output scene crossing the clock domain is simulated through the metastable state simulation circuit, and the technical scheme provided by the invention and a CDC simulation means in a DV design verification environment supplement each other; problems possibly generated by the tested design in a CDC scene can be effectively found in the early stage of chip verification, so that the correctness of chip design is effectively guaranteed, and the progress of chip research and development is accelerated.

This application provides a software stack compatibility method, device, storage medium, and program product, applicable to the field of artificial intelligence chip technology. In this method, during the compilation of the original program code, a first header file defined in the target software stack is called. This first header file has the same name as the second header file in the native software stack. The first header file is used to import the target header file in the target software stack. Since the target header file in the target software stack is not restricted by the private permissions of the native software stack, each native interface in the target header file can be directly converted into a target interface defined by the target software stack. The native interface is defined by the native software stack, thus ensuring the accuracy of compilation. Furthermore, the compilation process no longer calls the second header file in the native software stack, i.e., it no longer imports the native software stack, effectively avoiding conflicts between API definitions in the target software stack and API definitions in the native software stack.

Embodiments of the present application provide a layer synthesis method and device, electronic equipment and storage medium, the method comprising: obtaining a second layer, a blank layer and a plurality of first layers, the second layer being a layer that has undergone specific processing, the level of the second layer being between the levels of the plurality of first layers, the level of the blank layer being the same as the level of the second layer, and the color value of the pixel points in the blank layer being a preset value; performing synthesis processing on the plurality of first layers and the blank layer to obtain a first synthesis layer; and performing superimposition processing on the first synthesis layer and the second layer to obtain a second synthesis layer. When specific processing is required for an intermediate layer, a plurality of layers can be synthesized.

The invention provides a multi-shape batch rendering method suitable for a GPU without hardware batch processing capability, and relates to the technical field of computer graphic rendering, the method comprises the following steps: pre-defining path drawing instruction templates of various graphic primitives and text characters; traversing and analyzing all to-be-rendered graphics and text elements of the current frame, and uniformly converting the to-be-rendered graphics and text elements into a path instruction sequence and coordinate parameters; separately storing the instruction and the parameter in a global array; sorting and combining all elements according to the rendering hierarchy to generate a global instruction stream and a parameter stream; and finally, packaging the complete instruction stream and the parameter stream into a single drawing command, and submitting the single drawing command to a GPU (Graphics Processing Unit) through one-time calling to complete the whole-frame rendering. According to the method, unified batch processing of graphs and texts on the path level can be realized, the GPU calling times are remarkably reduced, and the interface rendering efficiency and smoothness on resource-limited equipment such as smart watches and health bracelets are greatly improved.

The application provides an RGB-based self-adaptive translation flat display picture method and system. By writing the horizontal and pitching deviation into a memory, combining the layout characteristics of the flat display picture, and adjusting the position of the starting point of the distortion correction based on the FPGA, the self-adaptive compensation of the flat display part machining and assembly error is realized without increasing the operation amount and the delay, and the translation process correctness monitoring is performed. The application can be applied to the compensation of the machining and assembly error of the large field of view digital flat display, increases the margin of the flat display part machining and assembly, and further reduces the cost.

The invention discloses a Fortran program parallel optimization method based on intelligent dependency analysis. The method comprises the following steps: firstly, constructing a parallel optimization system consisting of a loop extraction module, a loop nested relation analysis module, a semantic analysis module, an intelligent dependency analysis engine, a variable classification module and an instruction generation and injection module; the loop extraction module analyzes a nested relation and a variable action range of loops; the loop nesting relation analysis module determines a nesting relation between loops; the semantic analysis module constructs a row-level data access view; the variable classification module identifies private variables and reduction variables; the intelligent dependency analysis engine executes loop type check, I / O operation check and data dependency check; and the instruction generation and injection module generates a parallelization instruction and inserts the parallelization instruction into the source code to obtain a parallelized program source code. The method can solve the problems that an existing parallelization method is low in cyclic dependency relation recognition accuracy and safety, and parallelization errors cannot be accurately recognized.

The application relates to a transaction submission control method and system. The method comprises the following steps: based on a transaction request sent by a client being received, freezing a write set of a transaction corresponding to the transaction request; writing a transaction log record of the transaction request into a prewrite log, including all modification records in the transaction corresponding to the transaction request and a submission mark record; performing a persistence operation on the prewrite log by a persistence module, and returning a persistence completion information and a corresponding log location LSN to a submission point control module after a preset persistence condition is met, the persistence module and the submission point control module being isolated from each other; marking the transaction corresponding to the transaction request as reaching a persistent submission point by the submission point control module, and writing the mark into the prewrite log to form a recoverable submission point record; and returning a transaction submission success response to the client only after the mark representing the persistent submission point is written into the prewrite log. The normalization of transaction submission semantics is realized.

The disclosure provides a configurable data migration method, device, equipment and medium, relating to the technical field of computer and the technical field of data processing. The method comprises: obtaining configuration information of to-be-migrated data by calling an interface of a rule configuration device, wherein the configuration information comprises data storage location information, data verification information and data loading information; generating a data migration workflow based on the configuration information of the to-be-migrated data by using a control scheduling device, wherein the data migration workflow at least comprises definitions of a plurality of migration steps and scheduling sequences between the plurality of migration steps; and migrating the to-be-migrated data from a source system to a target system according to the data migration workflow.

The invention provides a manufacturing method for cutting a wafer, and the wafer is provided with a plurality of crystal grains with non-vertical inner angles. The manufacturing method comprises the following steps that firstly, a plurality of crystal grains on a wafer are arranged, so that the edges of the crystal grains are aligned with one another and arranged into a straight line, and a separation area is formed between every two adjacent crystal grains in a surrounding mode; secondly, a plurality of calibration objects are arranged in the partition areas respectively; then, after each calibration object is positioned by the initial image, the wafer is linearly cut along the mutually aligned edges of each crystal grain. And after the wafer is rotated by an angle and each calibration object is subjected to image positioning, linearly cutting the wafer along the aligned and uncut edges of each crystal grain. And finally, repeating the previous step until all the edges of all the crystal grains are linearly cut.

This invention discloses an intelligent electric adjustable dumbbell, comprising a dumbbell barrel sleeve and two telescopic rods located within the dumbbell barrel sleeve. Each telescopic rod extends and retracts synchronously along the axial direction of the dumbbell barrel sleeve. The weight plates are each composed of several weight plates stacked sequentially along their axial direction, with adjacent weight plates axially locked together. The telescopic rods penetrate the axial direction of each weight plate to achieve radial positioning. The dumbbell barrel sleeve is fixedly connected to the weight plates. A telescopic mechanism is provided on the dumbbell barrel sleeve. The base includes a drive mechanism, and a power output mechanism is configured in conjunction with the telescopic mechanism to control the extension of the telescopic rods into the axial holes of one or more weight plates. When the telescopic rods extend into the axial holes of one or more weight plates, the corresponding number of weight plates are assembled to both ends of the dumbbell barrel sleeve via the telescopic rods. This invention overcomes the limitations of intelligently adjusting the weight plate weights, avoids errors in weight adjustment, enhances user interactivity, and thus improves the intelligence level of the intelligent electric adjustable dumbbell, which is beneficial for market promotion and application.

The invention relates to a chip system, a data processing method and a computer system. The chip comprises a first bare chip and a second bare chip, and a cache region is arranged in the second bare chip; the first bare chip is used for receiving the cache pointer periodically sent by the second bare chip and determining the current residual available space of the cache region according to the newly received cache pointer; according to the residual available space, sending a plurality of first data packets corresponding to the target message to a second bare chip; wherein the cache pointer is used for indicating the latest cache space condition of the cache region; and the second bare chip is used for storing the received first data packets in the cache region, and sequentially taking out the stored first data packets from the first first data packet and sending the stored first data packets to other chips under the condition that the (K + 1) th first data packet is received. According to the chip, long message transmission can be carried out under the condition that the bare chip area is not increased.

The application discloses a kind of based on cloud edge coordination's load aggregation method and system, it is related to power grid operation control technology field, it is suitable for the arbitrary edge node of target power grid, the load aggregation method includes: obtaining the real-time load data of target edge gateway, and according to the real-time load data, obtain the preliminary load aggregation strategy of target edge gateway;Abnormality is judged to preliminary load aggregation strategy, and abnormality is judged result;If abnormality is judged result meets preset trigger condition, then generate cloud end decision request and send to cloud end;The preset trigger condition includes that preliminary load aggregation strategy does not pass preset constraint check;When receiving the final load aggregation strategy sent by cloud end, according to the final load aggregation strategy, load aggregation is carried out to the target edge gateway.The application can solve the technical problem that edge side lacks abnormality judging mechanism in existing cloud edge coordination load aggregation technology, to improve the reliability of power grid load aggregation decision.

The invention provides a multi-party data cooperative computing method, electronic equipment, a readable medium, a program product and participant equipment, and the method comprises the steps: constructing a (k1)-degree polynomial with a constant term as original data in a finite field for the original data held by each participant, calculating function values of the polynomial at n different independent variable values to generate n data shares, wherein n is the number of participants; exchanging the data shares to enable each participant to obtain a data share set which is from all participants and corresponds to the same independent variable value; performing homomorphic cooperative calculation in a finite field based on the data share set to generate a calculation result share; k calculation result shares are collected, the shares are calculated in a finite field through an interpolation-based reconstruction method, and a final result of collaborative analysis is obtained. According to the invention, on the premise of not exposing the original data, the security cooperative calculation of the multi-party data can be realized.

The invention provides a risk list supervision system and method, the risk list supervision system comprises a database, a risk analysis unit, a risk list generation unit and a server, the database is used for storing account data of accounts and transaction cash flow data; a transaction risk model of the risk analysis unit is used for analyzing transaction cash flow data to generate at least one risk factor corresponding to the transaction cash flow data and calculating the weight of the at least one risk factor to generate a risk score, and when the risk score is larger than a risk standard threshold value, the risk list generation unit generates and sends a risk account list, and the risk account list is used for generating a risk account. The server marks the account corresponding to the account data in the risk account list as a temporary forbidden state; therefore, the risk list supervision system provided by the invention can identify the high-risk account timely, efficiently, quickly and automatically, so as to improve the efficiency and reduce the labor cost.

This invention provides an automated evaluation system for vibration monitoring signals of aerospace products, comprising: a raw signal parsing module, a data preprocessing module, a signal parameter configuration module, a signal interpretation and evaluation module, and an evaluation conclusion output module. The raw signal parsing module parses unreadable raw data packets into a program-readable data format; the data preprocessing module eliminates signal start-time errors and performs filtering; the signal parameter configuration module configures parameters for single and related signals, forming a parameter configuration library; the signal interpretation and evaluation module evaluates the waveform similarity of single signals based on a cross-correlation normalization algorithm and interprets the time sequence relationship of related signals; the evaluation conclusion output module displays the evaluation results on a software interface. This invention achieves automated evaluation of vibration monitoring signals of aerospace products, replacing manual interpretation, improving evaluation efficiency and reliability, and possessing good versatility and scalability.

The application discloses a phased multi-strategy instruction scheduling method and system for a VLIW architecture, and the method comprises the following steps: a base step S1, receiving a symbolic assembly structure SAS; S2, configuring three types of scheduling view interfaces and registering corresponding scheduling strategies, the three types of scheduling view interfaces comprising a global view interface, a loop view interface and a linear view interface; S3, performing loop view scheduling, traversing all loop blocks, and calling the loop view interface in parallel to generate a candidate scheduling scheme; S4, performing linear view scheduling, traversing remaining unscheduled basic blocks after the scheduling of all loop blocks is completed, and calling the linear view interface in parallel to generate a candidate scheme; S5, performing competitive selection and register allocation on the candidate scheduling schemes generated in each phase; and S6, outputting an optimized SAS. The application can efficiently adapt to various VLIW processor architectures, and improve instruction-level parallelism and code execution efficiency.

The application discloses a kind of vehicle-road cloud homomorphic data aggregation method and system based on guardian area segmentation encoding mechanism.The method includes generating multiple prime Paillier key;Sensor data is preprocessed and unified bit width;Guardian area segmentation encoding is used, and guardian area is set in each data segment high bit, and encryption after splicing;When ciphertext aggregation, by center offset strategy and ciphertext multiplication, modular inverse operation, addition and subtraction homomorphic aggregation are realized, and carry and borrow cross-section propagation is inhibited.Aggregation result is decrypted after the combination of multiple prime structure and Chinese remainder theorem and Hensel promotion, and segmented decoding is carried out.The application reduces communication and calculation overhead, supports addition and subtraction aggregation, avoids data segment crosstalk, and is suitable for vehicle-road cloud collaborative privacy protection scene.

The application discloses a kind of multilingual contract intelligent comparison method, system, equipment and storage medium, and its technical scheme points are in that first language version contract and second language version contract are preprocessed to obtain first text content and second text content;First text content and second text content are corrected to obtain first corrected text and second corrected text;All clauses in first corrected text and second corrected text are traversed, the overall semantic similarity and multilevel semantic similarity between the clauses are calculated, and the global matching degree between them is calculated;According to overall semantic similarity, multilevel semantic similarity and global matching degree, the similarity score between the clauses is calculated, and whether the clause is a problem clause is determined according to the similarity score;Identify the problem category of problem clause, and generate corresponding correction suggestion according to the problem category.The application realizes automatic comparison of multilingual contract, and ensures the consistency and accuracy of multilingual contract.

This invention relates to the field of circuit hardening technology, and provides a voltage-controlled oscillator (VCO) circuit and phase-locked loop (PLL) circuit that are resistant to single-event transients. Addressing the issue that traditional three-mode relaxation oscillator (VCO) circuits are unsuitable for low-voltage conditions, especially when the power supply voltage drops to around 0.8V, this invention employs six oscillation branches coupled into three large oscillation loop circuits to improve loop gain. Furthermore, by combining bias circuits, comparators, and voting circuits for each path, the problem of increasing nonlinearity is avoided. This achieves a combination of large oscillation loops, bias circuits, and a three-mode VCO architecture, resulting in a VCO circuit that maintains high-frequency stable operation under ultra-low voltage conditions such as 0.8V, thus achieving a single-event transient resistance effect, especially at low voltages of 0.8V.

The application discloses an AGV task compiling and script executing method based on an RDS scheduling system, and relates to the technical field of AGV scheduling. The method comprises the following steps: a task compiling unit and a script configuration unit are built in the RDS scheduling system, and a visual interface and a script language are provided as two operation modes; a running script containing a task allocation sub-script, a driving control sub-script and an exception handling sub-script is compiled through the script configuration unit; the compiled task and the running script are subjected to syntax checking and parameter matching checking, and are stored in a task database after the checking; the RDS scheduling system calls the task and the corresponding running script in the task database, generates executable instructions and sends the executable instructions to a target AGV, the AGV analyzes the task logic according to the running script, completes the task execution and feeds back the execution state. The application can realize flexible configuration of AGV tasks, high adaptation of scripts and tasks and efficient execution of complex tasks, and improves the adaptability, execution efficiency and reliability of the scheduling system.

This invention discloses an asynchronous sparse matrix outer product multiplier based on an event-driven circuit design. The multiplier employs a merging strategy that explicitly associates data with storage unit addresses, mapping matrix data address indices to corresponding addresses in the storage modules. Identical indices indicate identical storage locations, necessitating a merging operation. This strategy ensures the determinism of the data merging process and avoids complex sorting operations. Furthermore, the event-driven, clockless circuit used in this multiplier effectively mitigates some problems associated with synchronous circuits due to the absence of a clock and the use of an asynchronous controller to control data transmission. It also features low power consumption, high adaptability, and a certain degree of electromagnetic interference resistance, making it suitable for processing scenarios requiring ultra-low power consumption.

This invention relates to the field of circuit hardening technology, and provides a voltage-controlled oscillator (VCO) circuit and phase-locked loop (PLL) circuit that are resistant to single-event transients. Addressing the issue that traditional three-mode relaxation oscillator (VCO) circuits are unsuitable for low-voltage conditions, especially when the power supply voltage drops to around 0.8V, this invention employs six oscillation branches coupled into three large oscillation loop circuits to improve loop gain. Furthermore, by combining bias circuits, comparators, and voting circuits for each path, the problem of increasing nonlinearity is avoided. This achieves a combination of large oscillation loops, bias circuits, and a three-mode VCO architecture, resulting in a VCO circuit that maintains high-frequency stable operation under ultra-low voltage conditions such as 0.8V, thus achieving a single-event transient resistance effect, especially at low voltages of 0.8V.

The invention relates to the technical field of machining, and provides a segmented annular workpiece machining method and clamping device.The machining method comprises the steps that S1, a segmented annular workpiece is jacked in the radial direction through a jacking assembly of a first clamping device, so that finish machining of the upper end face of the segmented annular workpiece is completed; s2, the segmented annular workpiece is axially pressed from the outer side through a first pressing assembly of a second clamping device, so that finish machining of the outer circle face of the segmented annular workpiece is completed; s3, before pressing is executed, a first copper gasket is placed between a pressing plate of a second pressing assembly in a third clamping device and the outer circle face of the workpiece, and all segmented joints of the workpiece are stuffed with second copper gaskets; and then the segmented circular-ring-shaped workpiece is axially pressed from the outer side through a second pressing assembly of the third clamping device, so that finish machining of the inner circular face of the segmented circular-ring-shaped workpiece is completed. Through sequential use and targeted process design of the three sets of clamping devices, high-precision, high-efficiency and high-integrity segmented circular ring machining is achieved.

The invention provides a heterogeneous computing system, a server and a heterogeneous computing method. The system comprises a server and a computing device, the server and the computing device share a data queue, and a shadow variable is arranged in the server; the server comprises n threads; when K threads in the n threads concurrently add messages to the data queue, the K threads are configured as follows: the K threads seize shadow variables through atomic operation respectively, when any one thread in the K threads successfully seize the shadow variables through the atomic operation, the shadow variables are updated, and when the shadow variables are not successfully seized through the atomic operation, the shadow variables are updated; the thread which successfully preempts the shadow variable can write the message into a sequence queue, and after the message is written into the data queue, the value of a write pointer of the data queue is updated according to the updated shadow variable; a thread in a computing device is configured to read a message from a data queue for processing, and after reading the message, update a value of a read pointer of the data queue. The performance of the heterogeneous computing system can be improved.

The embodiment of the application discloses a batch anonymous query method, system and device for multiple data sources, which comprises the following steps: a client synchronizes an original polynomial and a polynomial quotient ring of the original polynomial to each of k servers; an n-order polynomial is calculated according to n query key values to obtain a first polynomial; each of the k servers calculates k second polynomials and k interpolation polynomials according to respective key value databases; the client and each client perform operations to obtain a first calculation result and k second calculation results; the client decomposes the first calculation result according to a preset constraint relationship to obtain a first decomposition result; the k servers determine k third calculation results; the client determines a fourth calculation result according to the k third calculation results and the original polynomial, and obtains a query result by traversing the n query key values. The embodiment of the application can improve the data query efficiency.

The application provides a cross-clock domain time information correction method and a distributed system thereof. The method comprises the following steps: a sub-node sends a digital signal carrying its own clock and data information to a master node, and then the master node recovers the sub-node clock and data; the master node is configured with a sub-node clock counter and a master node clock counter; the master node samples one clock by using the other clock, and when the lag time between the two clocks reaches a single period of the clock with a higher frequency, the sub-node clock counter is adjusted to keep the two clock counters consistent; and the time stamp of the data of the sub-node in the master node clock domain is obtained through the sub-node clock counter and the master node clock. The application has a simple structure, saves the calculation cost, and has high time measurement precision.

The utility model provides a data acquisition equipment for industrial internet platform, including casing, data transmit-receive module, data storage module, data processing module and control module, casing one side is provided with the hard disk slot and the hard disk slot extends into the casing, the hard disk slot bottom is provided with the hard disk plug, and the hard disk plug is provided with the hard disk. The data storage module comprises a first hard disk and a second hard disk, hard disk sockets are formed in the bottoms of the first hard disk and the second hard disk, the first hard disk and the second hard disk are arranged in a hard disk slot and connected with a hard disk plug through the hard disk sockets, and an electronic lock is arranged in the hard disk slot; the first hard disk and the second hard disk are respectively provided with a lock slot, the data receiving module comprises a data interface and a wireless communication module, and the data interface is arranged on the top surface of the shell; by arranging the detachable first hard disk and the detachable second hard disk, the hard disks can be replaced in time when the storage space is insufficient, and the data acquisition efficiency is improved.

This invention belongs to the field of barrel life research, specifically disclosing a microscale projectile-barrel impact behavior modeling method. This method includes identifying the atomic composition and atomic mass fraction of the projectile-barrel material; determining the potential energy trap depth and zero-potential-energy interatomic spacing of each component atom; determining the two-body potential energy function between atoms in the projectile-barrel material; establishing the polycrystalline structure of the projectile-barrel material; establishing a crystal model of the projectile-barrel material; and solving the microscale projectile-barrel impact behavior using the momentum mirror method. Compared with existing technologies, this invention establishes a model of the projectile-barrel impact behavior of the barrel material from a microscale modeling perspective, improves the two-body potential energy function between atoms in the projectile-barrel material, and links molecular dynamics and impact dynamics, laying the foundation for the study of the mechanism of plastic damage in the barrel bore.

The embodiment of the invention provides a Bluetooth positioning system, a Bluetooth positioning method, equipment and a storage medium, the system comprises a mobile terminal, and a Bluetooth module and a positioning module configured at a vehicle end, the Bluetooth module comprises a Bluetooth main module and a plurality of peripheral modules, and the Bluetooth main module establishes communication connection with the mobile terminal; the Bluetooth main module is used for synchronizing the positioning packet information and the connection information of the positioning data packet to the plurality of peripheral modules; the Bluetooth main module and / or any peripheral module are / is used for monitoring a positioning data packet sent by the mobile terminal to the Bluetooth main module according to the connection information and the positioning packet information, analyzing the positioning data packet to obtain signal strength and reporting the signal strength to the positioning module; and the positioning module is used for obtaining positioning information according to the signal intensity. And by analyzing the signal intensity of the positioning data packet, the monitoring correctness is ensured, and the multi-node Bluetooth positioning precision is improved.

The application discloses a micro-meteorological perception and multi-agent collaborative decision-making method and system for low-altitude scenes, and belongs to the technical field of low-altitude emergency command and unmanned aerial vehicle cluster scheduling. The system comprises a perception layer, a decision-making layer and an execution layer. The perception layer generates a micro-scale three-dimensional wind field through cascading downscaling, and constructs a voxelized risk cost field based on the wind resistance of unmanned aerial vehicles. The decision-making layer adopts a heterogeneous multi-agent collaborative decision-making engine, realizes the binding of a large language model and a domain calculation model through function interface reasoning double channels, combines a four-stage specialized workflow arrangement, and introduces an unoverlappable meteorological veto mechanism. The execution layer generates simulation verification files and supports dynamic strategy correction. The application solves the problems of insufficient micro-scale meteorological perception accuracy of existing systems, lack of meteorological hard constraints in multi-agent collaboration, and low flight safety resilience, and can be widely applied to low-altitude emergency scenes such as medical material delivery and disaster rescue.