33results about How to "Verification function" patented technology

The invention provides a verification method for branch instructions and branch prediction functions in a speculation execution processor. The method includes the steps: S1 initializing drive and monitoring information; S2 judging whether the processor launches instruction fetching applications or not, executing S3 if the processor launches the instruction fetching applications, and executing S2 if not; S3 judging whether instruction fetching production line signals are effectively emptied or not, terminating operation if the signals are effectively emptied, returning the S2, and executing S4if not; S4 judging whether the instruction fetching production line signals are effectively paused or not, executing S4 if the signals are effectively paused, and executing S5 if not; S5 simulating instruction fetching cache logic of the processor, driving acquired random instructions on an instruction fetching logic interface of the processor, eliminating coupling relationships among instructionsand program counters, and setting corresponding instruction fetching signals into an effective state; S6 packaging and transmitting instruction information when instruction fetching signals are effective. According to the method, the branch instructions and the branch prediction functions of the speculation execution processor are sufficiently verified, and the utilization ratio and the testing efficiency of the random instructions are greatly improved.

The invention discloses a production process full-period intelligent workshop system based on a digital twinning technology and a solving method. The system comprises a design planning module and a virtual-real synchronization module. The design planning module is used for building virtual components required by the digital twin of the automatic workshop in the virtual component design module, carrying out process design according to actual production requirements, arranging an automatic production line, and verifying a production line planning effect and a control program. The virtual-real synchronization module builds a real production line after verification, collects the operation data of the real production line, transmits the operation data to the data management and storage module, completes the synchronization between the real production line data and the digital twin data, and displays the virtual-real synchronization condition and the operation data, and finally guides the actual production by using the data processing result of the digital twin. The system and method run through the full life cycle of the production line, and production accidents and economic losses caused by design defects can be avoided; the simulation credibility is improved; and feedback control is performed on a real production line, so that major safety accidents and property loss can be effectively avoided.

The invention relates to a reusable simulation verification platform and a simulation verification method, belonging to the technical field of FPGA product function simulation verification, which solves the problems of excessive manual intervention, large workload and low reusability of the verification platform in the existing directional test. Includes DUT and verification component. Verification component includes parameter configuration module, test case module, external storage agent, channel agent and MPU function model. Parameter configuration module is used to configure parameters of other verification components. The test case module is used for receiving the environmental parameters sent by the parameter configuration module and uniformly scheduling the excitation sequence of theexternal storage agent, the channel agent and the MPU function model. The external storage agent is used for storing register configuration data inside the DUT; The channel agent is used to simulatethe external channel of the DUT. The MPU functional model is used to interact with the DUT according to the test case model's test requirements. The simulation verification platform designed by the invention has the characteristics of reusability, easy expansion and the like.

The invention relates to detection and application of a key gene (METTL3) in an m6A methylation modification process. A specific PCR primer is designed and synthetized according to an extracted totalRNA sequence; a real-time PCR technique is used for discovering that expression of METTL3 in a mononuclear cell of peripheral blood of rheumatoid arthritis patients is obviously improved and is obviously in a positive correlation relationship with CRP and ESR which are disease activity indexes of the rheumatoid arthritis, so that the gene METTL3 can be applied to preparation of preparations applied to auxiliary diagnosis and treatment or prognosis evaluation of the rheumatoid arthritis. Lv-METTL3 sequences with specific overexpression of the gene are simultaneously designed and synthetized; proliferation of macrophages and inflammatory response induced by LPS of the macrophages can be obviously inhibited by regulating and controlling an NF-kB signal path; the METTL3 can be used as a molecular targeted therapy tool of the rheumatoid arthritis.

The invention discloses a soybean salt-tolerant gene GmCBL3 and an application thereof. A cDNA sequence of the soybean salt-tolerant gene GmCBL3 is as shown in SEQ ID No.1. The method comprises the following steps: firstly, cloning the soybean salt-tolerant gene GmCBL3; carrying out BP reaction on the gene GmCBL3 by virtue of a Gateway system to connect to pDONR221; obtaining a lot of clones from escherichia coli DH5alpha through a transformation method; carrying out LR reaction to connect the gene GmCBL3 to an expression carrier pK2GW7, and expressing in the escherichia coli DH5alpha; screening transgenic escherichia coli, and extracting transform plasmids; and finally transferring the transform plasmids to agrobacterium, and transferring into arabidopsis thaliana, so that transgenic positive plants grow in an external salt stress condition. Comparative analysis proves that the salt resistance of the transgenic plants is obviously improved in comparison with that of non-transgenic plants and other transgenic plants of transforming arabidopsis CBL1 genes.

The invention discloses a whole-spacecraft test system and test method for a remote sensing satellite temperature controller. The test system is composed of a temperature control computer, a telemetry data processing computer, a remote control telemetry responder, a remote control processing unit and a central processing unit. The components of the system are simple, control over temperature control loops is achieved by sending a remote control signal to the temperature controller, special ground test devices do not need to be developed, operations near a spacecraft are reduced, a multi-path test can be achieved, interpretation on each temperature control loop can be achieved by processing the remote control signal, and then the test efficiency is improved. According to the test method, by changing the upper limit and the lower limit of a temperature control threshold value, the temperature control threshold value regulation function and the automatic temperature control function of a heater are verified, and test time is shortened.

The invention discloses a dual-core ARM type SoC application verification realization method and an application verification board, The application verification board includes LSoCAM0201, five MT41K256M16 chips, an Ethernet transceiver, a 1M transceiver, a 4M transceiver, a first serial PROM, a second serial PROM, a connector, FPGA and a dial-up switch. The application verification and performanceevaluation of the dual-core ARM SoC integrated DDR controller are realized by five MT41K256M16 chips, and the Ethernet interface configurable application verification is realized by Ethernet transceiver. The 1M/4M working mode of 1553B module is verified by 1M/4M transceiver. Through the first serial PROM, the second serial PROM and connector, the integrated application and communication functionof QSPI/SPI and serial PROM are reserved. Through FPGA and dial-up switch, GPIO/EMIF pin multiplexing and other design functions of the application verification are realized. The invention solves theproblems of low interface speed of SDRAM of non-ARM type SoC application verification board, low-speed general interface integration and single peripheral interface function, etc., and ensures overall verification of dual-core ARM type SoC design function.

The invention relates to a valve test device in the technical field of valves. The valve test device comprises an engine, an exhaust main pipe, an exhaust branch pipe and a test valve, wherein the exhaust main pipe is in communication with an exhaust port of the engine, an adjusting valve is installed on the exhaust main pipe, the exhaust branch pipe is in communication with the exhaust main pipe,the test valve is installed on the exhaust branch pipe, and a branch pipe switch valve is installed at the tail end of the exhaust branch pipe. The invention further provides a valve test method. Thetest device can simulate the actual use state of the engine and an adjustable pressurizing system valve, the large-flow high-temperature gas with pressure fluctuation is circulated in the pipeline, the front-back temperature difference of the valve changes several hundred degrees Celsius within a few minutes when the valve is closed, the vibration condition exists in the installation position ofthe valve, and the function and the reliability of the valve in the actual use state can be verified.

The invention discloses a method for testing a server starting sequence and relates to the field of server testing. Forward verification and reverse verification are conducted on guidable starting devices of a server, the forward verification is used for setting the guidable starting device as a guidance staring device, and starting guidance is performed according to a starting sequence set in a BIOS, and whether starting succeeds or not is verified. The reverse verification is used for setting one guidable starting device as a guidance staring device and setting other guidable starting devices as non-guidable starting device, the guidance staring devices are set as a starting device with the lowest priority in the BIOS and start guidance, and whether starting succeeds or not is verified.

The invention discloses a bacillus subtilis promoter with improved activity, and construction and applications thereof, and belongs to the field of promoter engineering. A PsrfA promoter is taken as the template to carry out directed evolution. The mutant promoters with greatly improved activity are screened out. Green fluorescent protein (GFP) is taken as the reporter gene, and the highest expression amount of promoters is increased by 70% after mutation, compared with that of original promoters. Then the expression of aspartase AspA is carried out, and the mutant expression amount is increased by 90%, compared with the original promoter. Compared with a method of using a flow cytometry to establish database, the workload is largely reduced, at the same time, the method is applied to other promoter modification, and the performance of modified promoters on expressing target genes is largely improved.

The invention provides a large marine diesel engine emission post-processing system and a simulation table thereof. A reactor is connected with a venturi management unit and a fan unit; the venturi management unit is connected with the fan unit; the fan unit is connected with an afterburning unit; the afterburning unit is connected with the urea supply unit; an electrical control system is connected with the reactor, the venturi management unit, the fan unit and the urea supply unit; valve control systems are respectively arranged on connecting links between the electrical control system and the reactor, between the electrical control system and the venturi management unit, between the electrical control system and the fan unit as well as between the electrical control system and the urea supply unit; an emission reduction control system is connected with the electrical control system; and the simulation table is connected with the emission reduction control system. By adopting the large marine diesel engine emission post-processing system disclosed by the invention, the functionality and the safety of an LP-SCR emission reduction control system can be tested in a state that a host and an LP-SCR equipment are shut down.

The invention provides an NS3-based high-dynamic electromagnetic spectrum cognition management system and a method thereof. The NS3-based high-dynamic electromagnetic spectrum cognition management system comprises an MCRN network. The MCRN network comprises a primary user group PUs, a cognitive radio user group CRs and a cognitive radio user fusion center. The primary user group Pus formed by M primary users, the cognitive radio user group CRs formed by N cognitive radio users and the cognitive radio user fusion center share some section of electromagnetic spectrum. Each cognitive radio user CR comprises an MCRN-NS3 extension module. The MCRN-NS3 extension module comprises four submodules. The four submodules are a spectrum intelligent sensing module, a spectrum decision module, a spectrumswitching module and a spectrum sharing module. The system can realize functions of cognitive radio spectrum sensing, primary user detection and spectrum intelligent switching and the like, and besides, can further expand a new function.

The invention belongs to the technical field of biology, and particularly relates to a lycoris chinensis LcCLA gene VIGS silence vector, a silence system and a construction method and application of the silence system. According to the invention, a Chinese lycoris radiata LcCLA gene VIGS silencing vector and a silencing system are constructed, the silencing system is introduced into Chinese lycoris radiata leaves by adopting a needle injection mode to induce silencing of Chinese lycoris radiata endogenous LcCLA, the expression level of the Chinese lycoris radiata LcCLA gene is effectively reduced, a virus-induced gene silencing plant is obtained, and the function of the Chinese lycoris radiata LcCLA gene can be verified; the application value is realized in the functional gene research of the lycoris chinensis.

The embodiment of the invention provides a battery equalization function test method and device, equipment and a storage medium. The method comprises the steps of obtaining the real data of equalization parameters of a battery when the equalization of the battery is started; determining a corresponding working scene based on the real data of the equalization parameters; determining change characteristics of each equalization parameter and correlation characteristics among the equalization parameters based on the real data of the equalization parameters; based on the equalization parameters, the change characteristics of the equalization parameters and the correlation characteristics among the equalization parameters, establishing equalization simulation working conditions; simulating the equalization simulation working conditions in the working scene; and determining an equalization effect based on the data of the equalization parameters output after the equalization simulation working condition simulation is finished. According to the technical scheme provided by the embodiment of the invention, relevant parameters of equalization starting can be simulated, so that the equalization function and the equalization effect are verified, and the problems of long test period and relatively single working condition are solved.

The invention discloses a board card testing device and a testing system. The board card testing device comprises a signal generation unit and a signal acquisition unit. The signal generation unit is used for generating an excitation signal and sending the excitation signal to the board card to be tested and the signal acquisition unit; the signal acquisition unit is used for acquiring a response signal generated by the to-be-tested board card based on the excitation signal, and generating a test result based on the excitation signal and the response signal. According to the board card testing device, various excitation signals needed by testing are generated through the signal generating unit, response signals generated by the board card to be tested based on the excitation signals are collected through the signal collecting unit, and the testing result is generated based on the excitation signals and the response signals; automation of the testing process is achieved, the testing report is automatically generated, manual intervention is not needed in the testing process, the performance and functions of the board card to be tested can be monitored and recorded stably for a long time, the testing efficiency and reliability are improved, the testing process is optimized, the testing time is shortened, and human errors are reduced.

The invention belongs to the technical field of animal gene engineering, and particularly relates to an interference fragment for inhibiting porcine reproductive and respiratory syndrome viruses. Thefragment has a nucleotide sequence as shown in a sequence table SEQ ID NO: 1. An MFN2 gene is found to play an important role in porcine reproductive and respiratory syndrome virus proliferation, andexpression of the MFN2 gene in cells can be inhibited through the interference fragment shown in the invention. Through further research on the function of the interference fragment, replication of porcine reproductive and respiratory syndrome virus (PRRSV) can be effectively inhibited by inhibiting expression of MFN2. The gene MFN2 and the specific siRNA interference fragment thereof provide a new molecular target for breeding anti-PRRSV pigs and preparing an inhibitor for preventing and treating PRRS viruses.

The invention relates to the technical field of plant gene engineering, in particular to new functional verification and application of a rice transcription factor OsGTBP for a regulation and control cis-type reaction element GT-1. Driving of a strong promoter and the transcription technology based on the RNA interference principle are utilized for transferring an excess expression vector and an RNAi carrier of an OsGTBP gene to a rice variety middle flower (11), and expression of the OsGTBP gene in rice is excessive or is inhibited. Resistance, to xanthomonas oryzae and rhizoctonia solani, of the genetically-transformed rice with the expression quantity of the OsGTBP gene remarkably increased can be enhanced obviously, resistance, to xanthomonas oryzae and rhizoctonia solani, of the genetically-transformed rice with the expression quantity of the OsGTBP gene remarkably decreased can be weakened obviously, and it proves that the OsGTBP gene plays an important role in xanthomonas oryzae and rhizoctonia solani resistance of the rice; meanwhile, tolerance, to drought, of the genetically-transformed rice with the expression quantity of the OsGTBP gene remarkably increased can be enhanced obviously, tolerance, to drought, of the genetically-transformed rice with the expression quantity of the OsGTBP gene remarkably decreased can be weakened obviously, and it proves that the OsGTBP gene also plays an important role in drought resistance.