42results about How to "Solve conversion problems" patented technology

The invention discloses a method for formally verifying a Solidarity intelligent contract, which establishes a model from the Solidarity intelligent contract, uses Boogie language to describe the model, and then uses a Z3 prover to verify the model. The method of the invention designs a set of universal intelligent contract model specification language, solves the conversion problem between the Solidarity intelligent contract and the mathematical model, and has important reference value for formally verifying the intelligent contract of other languages. This method can help the developer of intelligent contract to verify the function of intelligent contract quickly, comprehensively and rigorously, locate the vulnerability of intelligent contract, and ensure the security of intelligent contract.

The invention discloses a carbonization device for urban and rural waste (including biomass waste, without sorting), comprising a carbonization reactor, a feeding device, a heating device, a gas output device and a discharging device, and the output port of the feeding device and the carbonization device. The inner cavity of the reactor is connected, the input port of the discharge device is connected with the inner cavity of the carbonization reactor, the output port of the discharge device is connected with an external carbon collection device, the input end of the gas output device is connected with the carbonization sensor The inner cavity of the gas output device is communicated with each other, and the output end of the gas output device is connected with an external gas processing device. The present invention can better convert urban and rural waste (including biomass waste) into reusable energy and carbon, etc., and realize the recycling and regeneration of energy materials. The structure adopted in the present invention greatly improves the reaction speed of carbonization, and can produce Combustible gas, oil and charcoal can be widely used in urban and rural waste (kitchen waste), medical waste, sludge, rural livestock excrement, grass, leaves and roots from the perspective of harmlessness, resource utilization and reduction And so on.

The invention provides an improved process for transforming gramineous crops by floral dip method, including the following steps. Firstly, agrobacterium with target gene is suspended by infiltration culture medium which contains Silwet L-17, Triton X-100 and GA. Secondly, under the condition of vivo, the integral inflorescence or partial pistils of the plants which are ready to be transformed are immerged in the infiltration culture medium, or the inflorescence or the pistils are sprayed with the infiltration culture medium, and the target gene is integrated with the genome of a target plant by the agrobacterium. By employing the genetically modified process, the invention resolves transformation problems of certain gramineous crops which are hard to be transformed by regular transforming method, thereby the invention has relatively high practical application value.

Waste mushroom growing medium after picking up mushroom is compounded with crushed crop stalk, and the mixture is moistened with water, inoculated with 2-8 % enzyme producing composite microbial preparation and fermented at certain temperature for 3-15 days to convert all the material into semi-solid as composite micro ecological enzyme preparation for ruminant. After finishing the fermentation, the product is detected to possess total microbe amount not less than 3.0E10 CFU / g, cellulase FPA not less than 400 U / g, proteinase not less than 180 U / g, lipase not less than 240 U / g and amylase not less than 200 U / g.

A household garbage miniature continuous type self-heating movable horizontal dry distillation machine comprises a feeding bin, a vacuum pump, a feeding spiral conveyor, a feeding relay box, a dry distillation spiral conveyor, an electric heating and heat preservation device, a steam, oil gas and combustible gas L-shaped exhaust pipe, a miniature gas purifying, cooling, storing and power generating system, a coal outlet relay box, a coal outlet system, a high-strength explosion-proof device and a wireless remote control system. According to the household garbage miniature continuous type self-heating movable horizontal dry distillation machine, pollution is avoided in the treating process, biomass can be well transformed into combustible gas, oil and coal, and energy substance circulation and recycling are achieved. The reaction speed of dry distillation is greatly increased through the heating mode. The adopted technological arrangement is simple and clear, cost is reduced, and the dry distillation machine is suitable for different treating amounts through reasonable parallel connection. The production safety is ensured through the adopted structure. The dry distillation machine can be widely applied to treatment of household garbage (kitchen garbage, liberation of landfill land and transformation of unqualified incineration plants), medical waste, sludge and the like from the harmless, resource and reduction angles.

The invention belongs to the technical field of solid waste treatment, and particularly relates to a process method for converting dry-method desulfurized fly ash into desulfurized gypsum. The processmethod comprises the following steps: step 1, adding water and dry-method desulfurized fly ash into an oxidation tower, and stirring to obtain a dry-method desulfurized fly ash solution; step 2, introducing the dry-method desulfurized fly ash solution into sintering machine flue gas under a stirring condition for reaction; 3, after the reaction is completed, carrying out solid-liquid separation on the solution; step 4, returning the solution prepared by solid-liquid separation to an oxidation tower, and feeding a separated solid into a distillation device; step 5, carrying out solid-liquid separation in a distillation device, returning distilled water vapor to the oxidation tower, and taking the left solid as desulfurized gypsum; a precipitation method can be adopted to remove calcium chloride and calcium nitrite in the solution prepared through solid-liquid separation further. According to the method, the temperature of the flue gas of a sintering machine head and the sulfur dioxidemedium in the flue gas are fully utilized to realize conversion of calcium sulfite in the dry-method desulfurization fly ash, and meanwhile, the problem of secondary pollution caused by calcium chloride and calcium nitrite is solved.

The characteristic of this kind of vehicle-using alcohol clean fuel is that it mix alcohol, light hydrocarbon, tar-oil, solvent oil, tert-butanol, fuel accelator, clean dispersant, anti-corrosion agent, and metallo catalyst by proper proportion. The fuel can advance the output of alkyl of gasoline and effectively reduce the emission of harmful substance in end gas, such as CO, CH and NOx. Moreover, the fuel cannot erode aluminium, cast iron, copper, and so forth and the source of components of the fuel can be gained abroad. Additionally, an easy production and a low cost make this invention a vast-foreground environmental clean fuel.

The invention discloses a device for destructive distillation and drying of biomass. The device comprises a vertical drying tower, a destructive distillation reactor feeder, a destructive distillation reactor, a destructive distillation reactor gas collection and utilization system, a combustible gas combustion system, a drainage device of the destructive distillation reactor, a carbon cabinet, a carbon emission water pool and a remote control system. The device is capable of well converting the biomass into a combustible gas, oil and carbon, thereby realizing the circulation and recycling of energy source substances; the structure of the device disclosed by the invention greatly improves the reaction speed of destructive distillation; and the cooling of the combustible gas and the drying of the biomass are carried out simultaneously with a plate arranged therebetween for isolation, so that the energy sources are greatly saved. The device can be widely applied to treating kitchen wastes of house refuse, medical wastes, sludge and the like from the perspectives of harmlessness, recycling and decrement.

The invention provides a method and system for preparing dry desulfurization ash into desulfurization gypsum by using social waste acid. The method for preparing the dry desulfurization ash into the desulfurization gypsum by using the social waste acid comprises the steps that water and the dry desulfurization ash are mixed, the mixture is stirred to prepare a dry desulfurization ash solution; thesocial waste acid is added to the dry desulfurization ash solution, oxygen is introduced, and the mixture is stirred to perform an oxidation reaction; a mixed solution is added to a solid-liquid separation device for solid-liquid separation; solids separated by solid-liquid separation enters a distillation device; solid-liquid separation is performed in the distillation device, and the distilledsolids are used as the desulfurization gypsum. The conversion rate of CaSO3 converted into the desulfurization gypsum CaSO4 in the dry desulfurization ash is over 99%, the conversion time is less thanor equal to 1.5 hours, and the requirements of JC / T2074-2011 "Fume Gas Desulfurization Gypsum" are met. The use of the social waste acid is fully utilized to achieve the purpose of using waste to treat waste; the problem of calcium sulfite conversion is solved, and simultaneously the problem of calcium chloride and calcium nitrite in the desulfurization ash is solved; and the problem of secondarypollution caused by sulfur dioxide emissions generated in the reaction process is solved.

A method for preparing a Co / 3DNG catalyst and applying the Co / 3DNG catalyst to catalytic oxidation of lignin and a beta-O-4 model compound thereof comprises the following steps: mixing a graphene oxide (GO) dispersion liquid with ammonia water, carrying out hydrothermal treatment to obtain three-dimensional nitrogen-doped graphene (3DNG), dipping the 3DNG in a Co salt solution, freeze-drying the dipping product, and carrying out high-temperature cracking to prepare the Co / 3DNG. The method is used for catalyzing oxidative depolymerization of lignin and the beta-O-4 model compound thereof, and shows excellent catalytic activity and selectivity under the condition that no inorganic base is added.

The invention provides a method for producing chitooligo saccharide via acidolysis and enzymolysis by taking shrimp and crab shells as a raw material. The method comprises the following steps: immersing the shrimp and crab shells in water for 1-2 days, drying and smashing, screening the shrimp and crab shells with a sieve of 20 meshes, adding the sieved shrimp and crab shells into a hydrochloric acid aqueous solution according to the standard that every 100 g of the shrimp and crab shells correspond to 1,000-1,100 ml of the hydrochloric acid aqueous solution, rising the temperature to 75-85 DEG C, adding mixed bacteria, and carrying out reaction for 6-7 hours; then adding potassium hydroxide till the pH value is greater than 8, freezing for 2-3 hours, then melting the product, adding a sodium chloride aqueous solution for mixing, and carrying out filtering and vacuum drying to obtain the chitooligo saccharide. By the adoption of enzymatic degradation, high-concentration conversion of a high-viscosity substrate is realized. The problem of conversion of the high-concentration substrate is effectively solved, and the production cost is substantially reduced.

The invention belongs to the technical field of sensors, and particularly relates to a dual-light adjustable infrared gas sensor which comprises a shell, and a liquid crystal operation screen is arranged on one side of the shell; a reflecting mirror is arranged on one side of the inner wall of the shell, a reference infrared light source is arranged on one side of the reflecting mirror, a reference filter is arranged on the other side of the reference infrared light source, a reference gas chamber is arranged on the other side of the reference filter, stable gas is arranged in the reference gas chamber, and a reference sensor is arranged on the other side of the reference gas chamber; a detection infrared light source is arranged on one side of the reference infrared light source, a detection filter is arranged on the other side of the reference filter, and a detection gas chamber is arranged on the other side of the detection filter; according to the device, the working reliability can be effectively improved, the detection precision is improved, the detection difficulty is reduced, the reference infrared light source and the detection infrared light source can be calibrated, the reference sensor and the detection sensor are prevented from drifting, and the stability of the detection device is ensured.

The invention discloses a transformation method of lactobacillus brevis, and belongs to the technical field of food microorganisms. Since biochemical characteristics, molecular constitutions and immunological characteristics of bacterial strains of different species of lactic acid bacteria are all different, improvement is made on the basis of an existing electrotransformation method for lactococcus lactis and lactobacillus brevis which does not contain endogenous plasmids. The lactobacillus brevis is continuously activated twice separately through an MRS culture medium and an MRS culture medium containing 1% glycine, and continues to be cultured until the thalli reach a high concentration, then the lactobacillus brevis is collected, competent cells are prepared, and the concentration andactivity of the competent cells are improved accordingly. When exogenous DNA fragments are subjected to electrotransformation, the electric shock condition is 2.4 KV and 3.5 ms, and the electrotransformation efficiency is improved. As is checked, the competent cells are successfully transformed through exogenous genes, and the problems of preparation and transformation in the process of electrotransformation of wild lactobacillus brevis into the competent cells are solved.

The invention belongs to the field of evaluation methods, and provides a method for evaluating the consistency of a traditional extraction method and a modern extraction method of a traditional Chinese medicine compound preparation. According to the method, the reference correlation degree is calculated based on the relative deviation value, the value threshold of the reference correlation degree is within the interval of [-infinity, 1], when the relative deviation value is 0, the reference correlation degree is 100%, and at the moment, the quality of a modern extracted sample is completely consistent with that of a reference sample. Therefore, compared with the relative deviation value, the reference correlation degree can more intuitively and clearly represent the quality difference between the modern extracted sample and the reference sample. The subjective weighting method and the objective weighting method are combined for comprehensive evaluation, so that the subjective intention of a decision maker can be reflected, actual data are not separated, and the final weighting result is more persuasive. The evaluation method provided by the invention solves the problem of conversion between a conventional extraction method and a modern extraction method of a classic famous prescription at present, and ensures that the determined modern extraction method not only can meet the quality requirement of a reference sample, but also can meet the production conditions of a modern process.

The invention provides a C-shaped arm imaging parameter calibration system and method, and relates to the technical field of C-shaped arm parameters and surgical navigation.The C-shaped arm imaging parameter calibration system comprises a glass panel, an alignment hole, a small developing ball, an assembly locking hole and a coordinate sensor assembly structure; the small developing balls are fixed on the glass panel and are placed according to specific interval positions; the alignment hole is formed in the central position of the glass panel in a penetrating manner; the glass panel and the coordinate sensor assembly structure are tightly assembled; a sensor assembly is assembled through the coordinate sensor assembling structure and the assembling locking hole, and the space three-dimensional coordinate posture is recorded. According to the invention, the problem of unclear images caused by too bright scattering of metal development can be avoided while the development effect is achieved, and the development ball algorithm adopts a Hough transform circle detection algorithm, so that the method is more efficient and accurate.

The invention relates to an aviation multi-medium flow calibration method, which mainly includes the following steps: adjusting the temperature of the medium at fixed intervals, repeating the measurement, and obtaining the corresponding curve family of the frequency of the flow sensor and the flow at multiple temperature points; through the mathematical formula The way of fitting the test points is to fit multiple sets of data curves into a spatial surface with X as the temperature, Y as the frequency value of the flow sensor, and Z as the actual flow rate; the surface is normalized and summarized as a temperature And the sensor frequency as input, the flow value is the output; in the actual measurement, by measuring the medium temperature and the flow sensor frequency, the obtained formula is calculated to obtain the flow value to be measured. The invention has strong anti-interference performance, can directly carry out flow calibration work on site, and has higher calibration efficiency.

The invention belongs to the field of aircraft engine control, and relates to a guide blade regulator for pressure ratio control of a gas compressor. The guide blade regulator comprises a bellows P3,a bellows P1, a pressure ratio lever (8), a rack (9), a cam (10), a comprehensive lever (11), a fulcrum (15), a sliding block (7) and an actuating mechanism. By means of the guide blade regulator, theoutlet pressure (P3) and inlet pressure (P1) of a compressor can be sensed respectively, the ratio (P3 / P1) can be obtained through mechanical calculation, and the angle of an engine guide blade can be adjusted through a mechanical hydraulic mechanism so as to ensure the stable operation of an engine. The mechanical hydraulic type gas inlet guide blade regulator for pressure ratio control of an aeroengine is realized for the first time in engineering, is simple in structure, solves the conversion problem of input parameters, and can ensure stable operation of the engine. The guide blade regulator has a plurality of adjusting pins, thereby being better in performance adjustability. Required properties can be conveniently obtained through adjustment in terms of different lever ratios, cam sizes, bellows precisions and initial installation positions of different products.

The invention discloses a spatial interpolation method suitable for a microwave link monitoring network, and the method comprises the following steps: segmenting a link, and taking the central point of each segment as the position of a virtual site; calculating the error variance of each link caused by the antenna precision; determining known points corresponding to each virtual site in all links and distance weights and distribution weights of the known points; calculating a weight matrix of each virtual site by using the antenna precision error variance, the distance weight and the distribution weight; performing iterative calculation link by link by using the matrix weight to obtain a calculation result of each link virtual site; dividing grids; and obtaining rainfall spatial distribution through interpolation of all virtual station results. According to the method, rainfall information captured by other links can be utilized through step-by-step iterative optimization of the sub-links, the advantage of high coverage rate of a microwave link network is exerted to a greater extent, and the problem of conversion from path integral data to point scale data is solved.

The invention discloses a space interpolation method suitable for a microwave link monitoring network, comprising the following steps: dividing the link into segments, and using the central point of each small segment as the position of a virtual station; calculating the error variance of each link due to the antenna accuracy ; Determine the known points corresponding to each virtual station in all links and their distance weights and distribution weights; use the antenna accuracy error variance and distance weights and distribution weights to calculate the weight matrix of each virtual station; use the matrix weight to perform link-by-link Through iterative calculation, the calculation results of the virtual stations of each link are obtained; the grid is divided; the spatial distribution of rainfall is obtained through the interpolation of the results of all virtual stations. The present invention can use the rainfall information captured by other links through the step-by-step iterative optimization of the sub-links, give full play to the advantages of the high coverage rate of the microwave link network, and solve the problem of converting path integral data to point-scale data.

The invention provides an improved process for transforming gramineous crops by floral dip method, including the following steps. Firstly, agrobacterium with target gene is suspended by infiltration culture medium which contains Silwet L-17, Triton X-100 and GA. Secondly, under the condition of vivo, the integral inflorescence or partial pistils of the plants which are ready to be transformed areimmerged in the infiltration culture medium, or the inflorescence or the pistils are sprayed with the infiltration culture medium, and the target gene is integrated with the genome of a target plant by the agrobacterium. By employing the genetically modified process, the invention resolves transformation problems of certain gramineous crops which are hard to be transformed by regular transformingmethod, thereby the invention has relatively high practical application value.

The invention relates to a garbage combustible component gasifier, which comprises a material locking device, a material inlet, a furnace body, a furnace grate, a furnace grate driving device, a winddistribution port and the like, and is internally provided with a gasification chamber, wherein a material inlet and a gasified gas outlet are formed in the upper portion of the gasification chamber,the lower end of the gasification chamber is provided with a residue outlet, a gasification agent inlet and the rotary furnace grate for stirring and loosening, and a gas discharge port is connected with a gasification device and a cyclone dust collector through pipelines. According to the invention, the gasifier has advantages of high reliability, short gasification time, high efficiency, good effect, high energy utilization rate, low pollution, compact structure, convenient use and the like, and has good market prospects in garbage rear-end treatment.

The invention discloses an electricity consumption prediction method based on cloud computing, and belongs to the technical field of smart power grids, and the method comprises the following steps: S1, defining electricity meter collection nodes as a vertex set of a graph, defining the distance between the electricity meter collection nodes as an edge set of the graph, and constructing a graph convolutional neural network; S2, taking electricity meter time sequence data acquired by the electricity meter acquisition nodes as input of the graph convolutional neural network, and constructing an electricity consumption prediction model; S3, building a Hadoop platform, and carrying out parallel iterative training on the electricity consumption prediction model on the platform by using MapReduce to perfect the electricity consumption prediction model; and S4, using the trained electricity consumption prediction model to predict the electricity consumption at the next time point. The electricity consumption prediction model is established based on the graph convolutional neural network, and the model is trained, so that the electricity consumption is accurately predicted, scheduling of a power grid is facilitated, a distributed storage and calculation mode is adopted for training, the calculation efficiency is improved, and the conversion problem of mass electricity consumption data is solved.

The invention discloses a regeneration system for regenerating a chlorine-copper fuel cell by the heat of solar energy. The regeneration system comprises a solar-energy collection system and a fuel regeneration system. Reacted residual liquids discharged from a positive electrode and a negative electrode of the fuel cell are respectively stored in two acid-resistant tanks, and when the sunlight is in a sunny day, the heat of the solar energy is used for carrying out fuel regeneration treatment on the residual liquid. The solar enegy is converted into chemical energy which is stored, the chemical energy is converted into electric energy by the fuel cell so as to be used by people; when the capacity is large enough, sufficient fuel can be provided for the chlorine-copper fuel cell, so that the fuel cell is guaranteed to be unaffected by the weather to generate continuous power; when the regeneration system is used for regenerating the fuel, the decomposition product can be completely used as an oxidizing agent and a reducing agent of the fuel cell, so that no residual chemical waste is generated, no influence is caused to the environment and the regeneration system belongs to an environmentally-friendly clean-energy utilization system.

The invention relates to a novel method of hydrogen production, especially relates to a low cost method of producing hydrogen used as living fuel and vehicle fuel. A system comprises electric energy input apparatuses (A1, A2,..., An), reverse voltage stabilization apparatuses (B1, B2,..., Bn), an electrolytic tank (C), and a hydrogen storage apparatus (D). A main function of the system is to utilize external energy such as wind energy, solar energy, tidal energy, and wave energy effectively. The energy is transmitted into direct current with a constant output voltage through the electric energy input apparatuses and the reverse voltage stabilization apparatuses. The direct current is supplied to the electrolytic tank for hydrogen production by water electrolysis to generate hydrogen with high purity. The problem of natural separation of hydrogen and oxygen is solved by an effective storage method, and hidden danger of mixture of hydrogen and oxygen is eliminated, so as to realize safestorage of hydrogen. In addition, costs of hydrogen preparation and storage can be reduced dramatically according to the method.

The invention discloses an energy storage, transformation and fluctuation reducing method, and belongs to the field of energy and environment protection. To solve the problems of energy crisis and pollution is a problem of the world. A substance is managed in a special manner to ensure that in the process that the substance obtains potential energy and releases the potential energy, solve the problems that energy is stored and transformed, and energy fluctuation and energy intermittence are reduced or eliminated, and ensure that abundant wind energy, solar energy, earth energy, heat energy, air energy, potential energy, wave energy, particle energy and volcano energy or heat transformed by the wind energy, the solar energy, the earth energy, the heat energy, the air energy, the potential energy, the wave energy, the particle energy and the volcano energy become electric energy meeting requirements for power grid transmission. The energy storage, transformation and fluctuation reducing method is not restrained by scales, regions, capacities, cost, media and technologies when being implemented, and is easy to popularize. The energy storage, transformation and fluctuation reducing method can be implemented on occasions or organizations such as mountainous regions, depressions, ravines, gulches, gobi, dry wells and other positions with relative drop heights, and is particularly suitable for storage, transformation, fluctuation reducing and output of all kinds of scales of wind energy or all kinds of scales of wind power, wherein the energy can be as large as thousands or tens of thousands of kilowatts, and as small as few kilowatts. The energy storage, transformation and fluctuation reducing method is simple in technology, lower in unit cost when being compared with a pumped storage power station, and strong in universality.

The invention belongs to the field of aircraft engine control, and relates to a guide blade regulator for pressure ratio control of a gas compressor. The guide blade regulator comprises a bellows P3,a bellows P1, a pressure ratio lever (8), a rack (9), a cam (10), a comprehensive lever (11), a fulcrum (15), a sliding block (7) and an actuating mechanism. By means of the guide blade regulator, theoutlet pressure (P3) and inlet pressure (P1) of a compressor can be sensed respectively, the ratio (P3 / P1) can be obtained through mechanical calculation, and the angle of an engine guide blade can be adjusted through a mechanical hydraulic mechanism so as to ensure the stable operation of an engine. The mechanical hydraulic type gas inlet guide blade regulator for pressure ratio control of an aeroengine is realized for the first time in engineering, is simple in structure, solves the conversion problem of input parameters, and can ensure stable operation of the engine. The guide blade regulator has a plurality of adjusting pins, thereby being better in performance adjustability. Required properties can be conveniently obtained through adjustment in terms of different lever ratios, cam sizes, bellows precisions and initial installation positions of different products.

The invention provides a multi-mapping information processing method and system. Information processing is carried out in a multi-mapping mode, through two-stage mapping, a first information set for users is mapped into a second information set, then the second information set is mapped into a third information set which is defined by the system and provides data for system core services, the aim of converting the information for the users into accounting profession information is achieved, the use difficulty of software is greatly lowered, processional accounting affairs can be handled by non-professional accounting personnel, treatment efficiency is improved, and validity and reliability of information are improved.