82results about How to "Proof of correctness" patented technology

The invention relates to a femtosecond laser two-photon fluorescent biological microimaging system and an imaging method thereof, and aims at solving the problem that the cost is high and the imaging speed requirements cannot be met in an existing two-photon fluorescent microscope. A femtosecond laser device is easily unlocked due to the influence of external environment, and the unlocked laser device cannot excite a sample to generate a two-photon fluorescent signal; the two-photon fluorescent microimaging is imaging on the specific components of the sample and not complete imaging on the sample. The femtosecond laser two-photon fluorescent biological microimaging system is characterized by comprising a tunable femtosecond laser source Tsunami (1), a biological microscope (2), a spectrometer (3), a photomultiplier (4), a photodiode (5), a data acquisition card (6), an electrical translation platform (7), an electrical translation platform controller (8), a computer (9) and a beam splitting piece (10), wherein the biological microscope (2) comprises a reflection mirror M1 (11), a reflection mirror M2 (12), a dichroic mirror (13), an emission filter (14), an objective lens (15) and a condenser (16). The femtosecond laser two-photon fluorescent biological microimaging system is applied in the field of fluorescent microimaging.

The invention discloses a multi-target optimal hybrid power flow algorithm of a regional comprehensive energy system. The multi-target optimal hybrid power flow algorithm includes: building the mathematical models of a power distribution system, a gas pipe network and an energy center, building a multi-target optimal scheduling model of regional comprehensive energy system economic cost and pollution gas discharge quantity, selecting constraint conditions, calling OpenDSS in MATLAB software to perform power flow calculation, performing optimization on the basis of an improved non-dominated sorting genetic algorithm to obtain the Pareto frontier of the regional comprehensive energy system economic cost and pollution gas discharge quantity, and comparing the Pareto frontier with a single-target optimization result using the economic cost and pollution gas discharge quantity and performing analysis to prove the correctness of the algorithm and further obtain the current optimal scheduling scheme of the regional comprehensive energy system. The multi-target optimal hybrid power flow algorithm has the advantages that many scheduling schemes can be provided for operation staff while system operation constraint conditions are satisfied, and the final operation scheme can be decided according to actual needs.

An image restoration method based on MTF includes the following steps: firstly, calculating MTF curve of an image; secondly, constructing dimensional MTF matrix; thirdly, carrying out image restoration in frequency domain by utilizing the MTF matrix. The method aims at remote sensing image with large data volume and is based on MTF theory and image quality degradation theory; and the method provided by the invention is effective for image restoration. Practice shows that the method can effectively restore image and improve image quality and has high algorithm efficiency. Currently, the method is successfully applied in domestic ground satellite pre-treatment system, and practice shows that the method is correct, feasible and universal.

The invention discloses an energy efficient optimization algorithm of a multi-user OFDM relay system. On the premise of satisfying the minimum transmission rate of the system, a strategy that a source still sends data at a TS2 is adopted so as to provide a diversity gain; and a system energy efficiency optimization model containing subcarrier pairing and power allocation is constructed. The model is a typical nonlinear mixed integer programming problem; this kind of problem is generally solved very complexly; by defining an equivalent channel gain, the complex optimization problem is simplified into a quasi convex programming problem; an optimum solution is solved by using a Dinkelbach method, a Hungary algorithm and a sub-gradient algorithm; the computing complexity is greatly reduced; and a simulation result shows that through adoption of the algorithm provided by the invention, under a condition of satisfying the demand of the system for the minimum transmission rate, the energy efficiency of the system is improved; and good global convergence is realized.

The invention discloses a face recognition method based on extraction of multiple evolution features. The method comprises the steps as follows: (1), classification of initial samples: the initial samples are divided into three parts, including training samples for feature extraction, training samples for weight evolution and test samples respectively; (2), feature extraction of the training samples: the training samples are subjected to feature extraction with a multiple seed space method, such as PCA (principal component analysis), LDA (linear discriminant analysis), LPP (locality preserving projection) or the like; and (3), multiple feature fusion evolution: features obtained with different feature extraction methods are fused according to a form that Phi is equal to the sum of Omega 1 Phi 1, Omega 2 Phi 2, ..., and Omega n Phi n, and the like, wherein Omega is a weight coefficient. An optimal weight coefficient is obtained with a genetic algorithm, so that fused features have better recognition effects than prior features. The face recognition method has the advantages that the principle is simple, the method is unique, the application is easy, and the like.

The invention relates to a device and a method for measuring film thermoelectric performance parameters. The device mainly comprises a temperature measuring resistor, a heat sink, a current source, a carrier, a data acquiring device, a computer, a temperature control box and a pressure gauge. A sample to be measured is fixed on the carrier, an edge of the sample to be measured is connected with the heat sink, and the rest edges of the sample to be measured are connected with the temperature measuring resistor. Current required by the measuring device is controlled by the current source, and various performance parameters of a film thermoelectric material is monitored and recorded in real time by the data acquiring device. The device and the method for measuring film thermoelectric performance parameters have the advantages that thermal conductivity coefficient, seebeck coefficient, electric conductivity coefficient and thermoelectric merit figure of film thermoelectric materials in different shapes can be measured by the same device, and measured thermoelectric merit figure and formula computing value can be compared. Four-wire system is adopted in the whole process of measuring, and affection of contact resistance is practically avoided. The device and the method for measuring film thermoelectric performance parameters is simple, convenient to operate, small in size, high in measuring accuracy and vast in testing functions.

The invention relates to a dynamic V2V link delay predicting method in VANETs to solve the problems that the link delay cannot accurately and practically predicted, the vehicle-mounted network environment and the application requirement cannot be met through the method based on the MANETs, it is very hard for a driver to find out the universal law of automobile node velocity change, and then great difficulty is brought to link delay prediction. The method comprises the steps that firstly, the relative velocity value delta v of two automobiles is calculated; secondly, the relative displacement value delta S of two automobile heads is calculated; thirdly, the average speed difference value u and the variance sigma 2 of the formula seen in the specification are worked out; fourthly, the relative distance L is calculated; fifthly, the mathematical expectation value ET of link delay is calculated. The method is applied to the field of dynamic V2V link delay prediction in VANETs.

The invention provides a large-caliber heat-supply pipeline uncompensated cold mounting method, comprising the following steps: digging a groove for arranging a heat-supply pipeline, and filling sand into the groove; mounting the heat-supply pipeline and a corresponding pipeline accessory into the groove; carrying out backfilling on the groove; wherein, the direct-buried net depth of the heat-supply pipeline is more than 1.7m; the pipeline accessory comprises an elbow with a large bending radius, bevel angles, a three-way pipe, a tapered pipe, and a valve; wherein, the bevel angles comprise a plurality of small bevel angles smaller than 1 degree or the elbow the radius of which is more than 5.0DN can be used for replacing; moreover, the mounting method provided by the invention is led to be suitable for paving the heat-supply pipelines the main tubular diameters of which are more than DN1000 by the processing technology on each node of the pipeline; moreover, the invention is simple to be mounted, has short construction period, reduces the maintaining cost, and is safe and reliable.

The application provides a three-dimensional gravity field fast and high-precision inversion algorithm in a spherical coordinate system based on a three-dimensional Gauss-legendre numerical integration formula (3D-GLQ). The core content comprises the following two points that the first point lies in the aspect of three-dimensional gravity field forward modeling in the spherical coordinate system,a nuclear matrix equivalent storage strategy is proposed aiming at the problem of low computational efficiency of the traditional 3D-GLQ three-dimensional gravity field forward modeling algorithm, thenuclear matrix equivalence is combined with the existing adaptive splitting strategy, the computational efficiency is increased by two orders of magnitude under the premise of ensuring that the maximum relative error of the forward modeling calculation is less than 0.1%, and the memory occupancy is greatly reduced at the same time; and the second point lies in that the above fast and high-precision forward modeling algorithm is applied to the gravity field three-dimensional inversion, and the gravity field inversion objective function and depth weighting function in the spherical coordinate system are constructed, so that the computational efficiency and credibility of the large-scale gravity field three-dimensional inversion in the spherical coordinate system are greatly improved.

The invention relates to a method for monitoring operation of a satellite application system based on an Ajax and Web service technology, which comprises the following steps that: a state data submission interface is defined and issued as a Web service; a task running monitoring module and a system state monitoring module submits state information from a Web service client to a state data submission module; a state data submission module updates the state information into a local state data library and sends a state change notice to a state data maintenance module; the state data maintenance module updates a state point identity of the state information, responds to a state information request from the client and delays the return of the state information when the state information is submitted or the time is out; and a page of the client asynchronously acquires the state information through an Ajax client and updates the state value and the state point identity of a local page. The invention is applied to the task running monitoring and system state monitoring of the satellite ground application system, and solves the problems that the repeated information consumes network resources, the page can not be automatically synchronized with the server, the system is of high coupling and low flexibility, and the like.

The invention provides a satellite stereoscopic image pair proximate nucleofilament generating method based on the projection reference surface, comprising the following steps that: 1. a local rectangular coordinate system is established; 2. the proximate rectilinear direction of the projection point path on the projection reference surface by the satellite stereoscopic image pair proximate nucleofilament curve is determined; 3. right and left nucleofilament images and the image point strict coordination transfer relation between left and right original images are established; and 4. the proximate nucleofilament recomposition of the satellite stereoscopic image pair is established by adopting the mode of image digital correction by indirection method to generate left and right nucleofilament images. The method provides a realization way similar to the digital image correction for the nucleofilament recomposition of the satellite stereoscopic image pair. The practice shows that the method can generate proximately strict nucleofilament images of subpixel stage with vertical parallax. The method has the advantages of simple operation and strong practicability. In addition, the proximate nucleofilament arrangement is performed based on the projection reference surface, thereby contributing to generating nucleofilament stereoscopic model with consistent resolving capability and relative to the horizontal of the object direction, and meeting the habit of stereoscopic vision of human eyes better.

The invention relates a method for analyzing a time-intensity curve of a myocardium ultrasonic angiography image, in particular to a method for measuring myocardium ultrasonic angiography image physiological parameters based on EMD. The method includes dividing a myocardial area into six areas according to a circumference, extracting perfusion signals and extracting a time-intensity curve of each of divided myocardial areas respectively; performing EMD on an extracted time-average gray value intensity curve to obtain an expanded signal intrinsic mode function, performing Hilbert transform on the obtained first intrinsic mode function to obtain instantaneous spectrum parameters, and adding amplitude values of each frequency point to obtain a marginal spectrum; and performing threshold judgment on a marginal spectrum through energy thresholds of the marginal spectrum. According to the method, an analytical approach based on the myocardium ultrasonic angiography image is provided for diagnosing myocardial infarction or myocardial microcirculation, and further physiological parameter measurement accuracy based on the myocardium ultrasonic angiography image is improved, and doctor subjective dependence is reduced.

The invention relates an MIMO radar array design method based on non-uniformed subarray partition. The method comprises the steps of firstly, establishing an MIMO radar signal model which comprises an emission array and a receiving array, wherein the emission array comprises M emission array elements and the receiving array comprises N receiving array elements; then partitioning the emission array into K non-uniformed subarrayAj according to non-uniformed partition rule. The non-uniformed subarrayAj comprises mj emission array elements and each non-uniformed subarray bore diameter is different. According to the method, emission array is partitioned into a plurality of non-uniformed subarraies with different bore diameters through non-uniformed subarray partition to achieve a lower subband level and formed by the minimum variance orthoscopic response beam to achieve a deeper nulling, a higher SINR emission and steadier and stronger antijamming capability.

The invention discloses a preparation method of a silane-cerium oxide-hydrotalcite composite coating on the surface of a magnesium/magnesium alloy matrix. The preparation method comprises four steps, including preparation of a hydrotalcite precursor, pretreatment of magnesium alloy, preparation of a hydrotalcite coating and preparation of a composite coating; and main chemical raw materials adopted in the preparation method include absolute ethyl alcohol, a silane coupling agent, ultrapure water and cerium salt, wherein the cerium salt is water-soluble salt. The technical route of the preparation method comprises the following steps: firstly depositing a layer of a hydrotalcite film (the chemical ingredient is Mg6Al2(OH)16CO3.4H2O) on the surface of the magnesium or magnesium alloy matrix by adopting a hydro-thermal synthesis method; and subsequently soaking a sample into a mixed solution of the silane coupling agent and the cerium salt so as to accomplish the preparation of the composite coating. The preparation method disclosed by the invention has the technical characteristics that the process is environmentally friendly and controlled simply and easily; the prepared composite coating is compact in structure, high in adhesive force, good in corrosion resistance and long in service life, and the like; and the composite coating is especially applicable to preservative treatment of a material applied to a magnesium alloy structure of maritime machinery equipment.

The invention provides and relates to a heavy planomiller beam gravity deformation predicting method based on the finite difference method. The heavy planomiller beam gravity deformation predicting method aims at solving the problems that by means of an existing finite element analyzing and calculating method, the beam gravity deformation curve can not be accurately calculated under the condition that actual material properties are not uniform and then the difference between the calculation result and the actual deformation value is large. The method includes the steps of firstly, obtaining the beam gravity deformation curve; secondly, simplifying the beam gravity deformation curve into a beam gravity deformation model and a beam torsional deformation model; thirdly, establishing a beam gravity deformation discrete model; fourthly, calculating the equivalent flexural rigidity; fifthly, obtaining a beam finite element gravity deformation curve; sixthly, separating the finite element gravity deformation curve; seventhly, obtaining the final beam gravity deformation curve. The method is applied to the prediction of the heavy planomiller beam gravity deformation.

The invention discloses a preparation method and application of a recombinant flammulina velutipes immunomodulatory protein that is expressed by Pasteur pichia pastoris, and the preparation method comprises following steps: (1) an encoding FIP-fve gene is cloned; (2) a recombinant Pasteur pichia pastoris expression carrier is constructed; (3) a recombinant Pasteur pichia pastoris transformant is obtained; and (4) the recombinant FIP-fve gene is induction expressed and purified. The preparation method clones an encoding flammulina velutipes immunomodulatory protein, constructs the Pasteur pichia pastoris expression carrier, and consequently obtains the recombinant flammulina velutipes immunomodulatory protein with high yield and high purity. The yield of the recombinant protein that is obtained by the 5-liter fermentation technique reaches 300mg/L to 350mg/L, the purity reaches over 90 percent, and the purified recombinant flammulina velutipes immunomodulatory protein is detected to have the same biologic features and physiological immune activity with natural flammulina velutipes immunomodulatory protein, has procoagulant activity and the promoting functions of mouse lymphocyte proliferation as well as interleukin and interferon secretion, and can induce tumor cell apoptosis.

The invention relates to a distributed space-time correlation model trajectory tracking method based on statistical inference. Beacon nodes are deployed in the shape of an equidistant grid in a locating space according to longitudinal and transverse directions, and beacon node information is saved in each unknown node; the beacon nodes receiving notification information transmitted by the unknown nodes emit locating signals at a fixed frequency, and the unknown nodes receive and form multiple time sequences according to the beacon nodes; each unknown node constructs a boundary time sequence to detect a boundary crossing event and determine a corresponding time point; each unknown node constructs regional time window statistical quantity and infers the current region; the position of the intersection points of the trajectories and the boundary is inferred; and the trajectories are formed and the result is uploaded to aggregation nodes. According to the method, RSSI locating information probability distribution characteristics in the trajectory tracking problem and space-time data mining are overall considered, and the boundary crossing event and regional information are discovered through the method of time-space information statistical inference so that trajectory tracking can be realized.

The invention relates to a post-earthquake high-resolution SAR image single building collapse damage detection method. In a sub-meter-level high-resolution SAR image, the characteristics of the singlebuilding are clear, and the heterogeneity of the target scattering is enhanced. Under the condition of the new data, the detection of the collapse damage of the building can be carried out on the basis of the single building. The method is different from the region-based damage extraction method under the condition of medium and low resolution. Through verification, for a collapse-damaged building, the surface coverage range of a building, where dihedral angle and three-face angle structures are formed has relatively high scattering strength, and the surface coverage range of a building of avertical building shows relatively low scattering strength, so that whether the single building is collapsed and damaged or erected can be judged according to the features in the surface coverage range of the building. According to the principle, the invention designs a single building-based collapse damage or upright judgment detection method for sub-meter-level high-resolution SAR images, the classifier is used for classifying, and finally the effectiveness of the method is verified through result evaluation.

The invention relates to a semi-physical verification system based on anti-interference of an unmanned aerial vehicle data link, and a semi-physical verification method of anti-interference of unmanned aerial vehicle data link. The system comprises n signal vector generators, a high speed collector, a down converter, a radio frequency front end multichannel microwave switch, m antennas and a microwave darkroom. The invention provides a semi-physical verification method of a custom ARB waveform mode to verify the anti-interference method of complex signals, which not only solves the problem that an instrument can not send the complex signals, but also can achieve accurate verification. In the verification, a curve of the semi-physical verification method and the curve of digital simulationare compared under different interference conditions, under different interference conditions, the curve of the semi-physical verification method and the curve of digital simulation have high consistency, which proves the correctness of the digital simulation and the validity of the semi-physical verification method. B adoption of the method, a certain theoretical support and a new idea are provided for the verification field of an unmanned aerial vehicle data link system on the basis of low cost, various interference conditions of the unmanned aerial vehicle data link can be simulated more quickly and effectively, and the anti-interference performance of the unmanned aerial vehicle data link is simulated and verified more sufficiently.

The invention discloses a temporal dynamic push-down network converting method used for describing real-time concurrent recursive modeling including recursive and dynamic thread creation. The converting method includes the steps that a global clock for describing continuous time and real number clocks capable of describing global variables and stack character ages related to time are introduced in DPN, so that asynchronous communication is achieved based on shared memories, and a real-time concurrent system with dynamic thread creation is modeled; for a clock equivalence technology based on integer division, an optimization technology based on a clock key point is given, a clock interval is reduced, and therefore state space obtained after conversion is reduced. As temporal dynamic push-down networks are abstract models of one kind of real-time concurrent recursive programs, the models are converted into the dynamic push-down networks by the clock equivalence optimization technology based on the key point, in this way, it is detected that the models are errors or bugs in the corresponding concurrent recursive program by verifying whether execution of the dynamic push-down networks operates into an error state or not.

The invention provides a high-efficiency and energy-saving differential chaos communication scheme. The scheme belongs to the field of communication systems. Through effective improvement of a prior frame structure of a DCSK system, transmission time of each frame is shortened. The DCSK system subjected to transformation remains a prior frame structure; the reference time slot length is changed to1/P(P=beta/R) of the prior length and the data time slot length remains the same. The frame structure is composed of P times duplication, which carries 2 bit information, of the sum of the referencetime slot and the reference time slot of the last frame. A demodulation terminal adopts a non-coherent demodulation method. In order to demodulate each bit of information, a synchronization clock is adopted. The received reference time slot is correlated to the corresponding data time slot and finally sending information is acquired through demodulation with a judgment threshold. Namely, if the correlation value is greater than zero, +1 is judged; if the correlation value is not greater than zero, -1 is judged. The scheme provided by the invention achieves higher transmission rate than a DCSKsystem. At the same time, lower bit energy is consumed compared with the DCSK system. Good performance of SERT-DCSK enables a good application prospect in the wireless communication field.

The invention discloses a simulation method and apparatus. The method comprises the steps of connecting designed circuit diagrams according to connection relationships among components in the circuit diagrams in simulation software to form a to-be-tested circuit in the simulation software; configuring parameter values for the components in the simulation software through input controls; and determining whether the circuit works normally or not according to parameters output by parameter check points. According to the method and the apparatus, the technical problem of low circuit test efficiency is solved.

The invention requests for protecting an orthogonal multi-user chaos shift keying communication scheme, and belongs to the field of communication systems. A system utilizes an orthogonal chaos signalgenerator to generate two orthogonal chaos signals, and the two orthogonal chaos signals are added together to serve as a reference signal. Different information signals are distinguished by delayingfor different times; each information signal transmits N pieces of user information that are distinguished by Walsh codes; the first and second orthogonal chaos signals are sequentially taken to be multiplied with user information added together to acquire an information signal. By using the orthogonal chaos signal generated by the orthogonal chaos signal generator, the interference in the signalcan be thoroughly eliminated, and the bit error rate performance of the system can be effectively improved. The scheme deduces and simulates a bit error rate formula under AWGN and Rayleigh fading channels. A simulation result indicates that the system can enhance the transmission speed and improve the bit error rate, and has good application value.

The invention belongs to the technical field of an experimental apparatus of space-time field, in particular to an experimental apparatus for verifying the existence of relative motion time particles and the performance thereof, and provides the experimental apparatus for verifying the correctness of practice. The experimental apparatus comprises an experimental apparatus I and an experimental apparatus II, wherein, the experimental apparatus I comprises a quartz glass sealed container I, and an arc light I is arranged in front of the quartz glass sealed container I; connection of quartz glass sealed containers and circuits of the experimental apparatus I and the experimental apparatus II are the same, and the difference between the connections is that a cylindrical metal sealed silo is arranged between the arc light II and the quartz glass sealed container II; and a solenoid controlled by the magnet generator is arranged in the cylindrical metal sealed silo. The experimental apparatus has the advantages of proving the correctness of Temporal Theory, and verifying the existence of the relative motion time particles.