Traditional air conditioner used to be in local control mode. However, with the development of modern information technology, the control of air conditioner will have to support many more functions. As a first step ...Traditional air conditioner used to be in local control mode. However, with the development of modern information technology, the control of air conditioner will have to support many more functions. As a first step in such a development, we have implemented a remote monitoring system of unitary air conditioners, using the manufacturing message specification (MMS). MMS is an OSI application protocol designed for the remote control and monitoring of real devices. The functions supported are those that an operator would do normally at the console of the unitary air conditioner. Due to the accomplishment of UMCS (Unitary air conditioner MMS Control System), there will be a leap of the application of MMS and the control technology of unitary air conditioner.展开更多
By using the theory of the cone and partial ordering. It is studied that the existence and uniqueness of solutions for a non-monotone binary operator equation A(x, x)= x and operator system of equations A(x,x)=x,B(x,x...By using the theory of the cone and partial ordering. It is studied that the existence and uniqueness of solutions for a non-monotone binary operator equation A(x, x)= x and operator system of equations A(x,x)=x,B(x,x)=x in Banach spaces. Where A and B can be decomposed A=A1+A2, B=B1+B2,A1 and B1 are mixed monotone, A2 and B2 are anti-mixed monotone. The results presented here improve and generalize some corresponding results of mixed monotone operator equations.展开更多
in the bill of quantities mode, audit department how to perform the function of supervision, control the cost of the project, to improve the infrastructure investment efficiency to have the important meaning. This art...in the bill of quantities mode, audit department how to perform the function of supervision, control the cost of the project, to improve the infrastructure investment efficiency to have the important meaning. This article from the valuation list elements of engineering audit mode based solutions, engineering audit under BOQ valuation mode is put forward from the audit information management, engineering contract claim, audit personnel quality etc..展开更多
Smweillance system using active tracking camera has no distance limitation of surveillance range compared to supersonic or sound sensors. However, complex motion tracking algorithm requires huge amount of computation,...Smweillance system using active tracking camera has no distance limitation of surveillance range compared to supersonic or sound sensors. However, complex motion tracking algorithm requires huge amount of computation, and it often requires exfmasive DSPs or embedded processors. This paper proposes a novel motion tracking trait based on different image for fast and simple motion tracking. It uses configuration factor to avoid noise and inaccuracy. It reduces the required computation significantly, so as to be implemented on Field Programmable Gate Array（FFGAs ） instead of expensive Digital Signal Processing（DSPs）. It also performs calculation for motion estimation in video compression, so it can be easily combined with surveil system with video recording functionality based on video compression. The proposed motion tracking system implemented on Xilinx Vertex-4 FPGA can process 48 frames per second, and operating frequency of motion tracking trait is 100 MHz.展开更多
In this article, we have performed B3LYP/6-31＋G（d） calculations of geometrical and reaction enthalpies of antioxidant mechanisms for ADPHT 1-4 （3-alkyl-4-phenylacetylamino-lH-1,2,4-triazol-5-ones） and its derivat...In this article, we have performed B3LYP/6-31＋G（d） calculations of geometrical and reaction enthalpies of antioxidant mechanisms for ADPHT 1-4 （3-alkyl-4-phenylacetylamino-lH-1,2,4-triazol-5-ones） and its derivatives： HAT （hydrogen atom transfer）, SET-PT （single electron transfer-proton transfer） and SPLET （sequential proton-loss electron transfer） were investigated in gas and solution-phases. Solvent contribution to enthalpies was computed employing integral equation formalism IEF-PCM （integral equation formalism method） method. It turned out that the lowest BDEs （bond dissociation energies） is obtained for C-H bonds due to captodative effect in various media. Results indicate that HAT mechanism represents the most anticipated process in gas-phase from thermodynamic point of view. But, the SPLET represents the thermodynamically preferred reaction pathway in solvents （2-propanol, acetonitrile, DMF （N,N-dimethylformamide） and water）. The authors showed that bond dissociation energies, IP （ionization potential） and PA （proton affinity） are sufficient to evaluate the thermodynamically preferred mechanism.展开更多
In this paper we discuss the logarithmic Sobolev inequalities in Besov spaces,and show their applications to the blow-up criterion of smooth solutions to the incompressible magneto-hydrodynamics equations.
Some techniques using linear algebra was introduced by Faugore in F4 to speed up the reduction process during Grobner basis computations. These techniques can also be used in fast implementations of F5 and some other ...Some techniques using linear algebra was introduced by Faugore in F4 to speed up the reduction process during Grobner basis computations. These techniques can also be used in fast implementations of F5 and some other signature-based Grobner basis algorithms. When these techniques are applied, a very important step is constructing matrices from critical pairs and existing polynomials by the Symbolic Preprocessing function （given in F4）. Since multiplications of monomials and polynomials are involved in the Symbolic Preprocessing function, this step can be very costly when the number of involved polynomials/monomials is huge. In this paper, multiplications of monomials and polynomials for a Boolean polynomial ring are investigated and a specific method of implementing the Symbolic Preprocessing function over Boolean polynomial rings is reported. Many examples have been tested by using this method, and the experimental data shows that the new method is very efficient.展开更多
This paper studies the asymptotic behavior of solutions to an evolutionary Ginzburg-Landau equation in 3 dimensions. It is shown that the motion of the Ginzburg-Landau vortex curves is the flow by its curvature. Away ...This paper studies the asymptotic behavior of solutions to an evolutionary Ginzburg-Landau equation in 3 dimensions. It is shown that the motion of the Ginzburg-Landau vortex curves is the flow by its curvature. Away from the vortices, the author uses some measure theoretic arguments used by F. H. Lin in [16] to show the strong convergence of solutions.展开更多
A monotonicity formula for stable solutions to a class of weighted semilinear elliptic equations with ＂negative exponent＂ is established. It is well known that such a monotonieity formula plays an essential role in ...A monotonicity formula for stable solutions to a class of weighted semilinear elliptic equations with ＂negative exponent＂ is established. It is well known that such a monotonieity formula plays an essential role in the study of finite Morse index solutions of equations with ＂positive exponent＂. Unlike the positive exponent case, we will see that both the monotonicity formula and the sub-harmonicity play crucial roles in classifying positive finite Morse index solutions to the equations with negative exponent and obtaining sharp results for their asymptotic behaviors.展开更多
Based on the basic principle of the finite element method, the implicit composite element method for numerical simulation of seepage in underground engineering is proposed. In the simulation, the faults and drainage h...Based on the basic principle of the finite element method, the implicit composite element method for numerical simulation of seepage in underground engineering is proposed. In the simulation, the faults and drainage holes are set implicitly in the model elements without adding additional elements. Elements containing fault or drainage-hole data are termed composite elements. Then, their information data in model could be obtained. By determining the osmotic transmission matrix of the composite elements, the permeability coefficient matrix is then obtained. The method was applied to the numerical simulation of the seepage field around the underground powerhouse of the Ganhe Pumping Station in Yunnan, China, using a compiled three-dimensional finite element method calculation program. The rock mass around the site includes two faults. The seepage field in the rock mass was analyzed at different stages of the engineering project. The results show that, before the excavation of the underground caverns, the rock mass seepage is affected by the faults and the groundwater permeated down along the tangential fault plane. After the excavation of the caverns during the operation period, the groundwater is basically drained away and the underground caverns are mostly above the groundwater level. Thus, the calculation results of the engineering example verify the implicit composite method for the simulation of faults and drainage holes. This method can well meet the calculation demands of practical engineering.展开更多
文摘Traditional air conditioner used to be in local control mode. However, with the development of modern information technology, the control of air conditioner will have to support many more functions. As a first step in such a development, we have implemented a remote monitoring system of unitary air conditioners, using the manufacturing message specification (MMS). MMS is an OSI application protocol designed for the remote control and monitoring of real devices. The functions supported are those that an operator would do normally at the console of the unitary air conditioner. Due to the accomplishment of UMCS (Unitary air conditioner MMS Control System), there will be a leap of the application of MMS and the control technology of unitary air conditioner.
基金Supported by the Scientific Research Foundation of Henan Provincial Education Com mittee(1999110018)
文摘By using the theory of the cone and partial ordering. It is studied that the existence and uniqueness of solutions for a non-monotone binary operator equation A(x, x)= x and operator system of equations A(x,x)=x,B(x,x)=x in Banach spaces. Where A and B can be decomposed A=A1+A2, B=B1+B2,A1 and B1 are mixed monotone, A2 and B2 are anti-mixed monotone. The results presented here improve and generalize some corresponding results of mixed monotone operator equations.
文摘in the bill of quantities mode, audit department how to perform the function of supervision, control the cost of the project, to improve the infrastructure investment efficiency to have the important meaning. This article from the valuation list elements of engineering audit mode based solutions, engineering audit under BOQ valuation mode is put forward from the audit information management, engineering contract claim, audit personnel quality etc..
基金sponsored by the MKE(The Ministry of Knowledge Economy,Korea),the ITRC(Information Technology Research Center)support program(NIPA-2009-(C1090-0902-0007))the System Semiconductor Industry Development Center,Human Resource Development Project for IT SOC Architecture
文摘Smweillance system using active tracking camera has no distance limitation of surveillance range compared to supersonic or sound sensors. However, complex motion tracking algorithm requires huge amount of computation, and it often requires exfmasive DSPs or embedded processors. This paper proposes a novel motion tracking trait based on different image for fast and simple motion tracking. It uses configuration factor to avoid noise and inaccuracy. It reduces the required computation significantly, so as to be implemented on Field Programmable Gate Array（FFGAs ） instead of expensive Digital Signal Processing（DSPs）. It also performs calculation for motion estimation in video compression, so it can be easily combined with surveil system with video recording functionality based on video compression. The proposed motion tracking system implemented on Xilinx Vertex-4 FPGA can process 48 frames per second, and operating frequency of motion tracking trait is 100 MHz.
文摘In this article, we have performed B3LYP/6-31＋G（d） calculations of geometrical and reaction enthalpies of antioxidant mechanisms for ADPHT 1-4 （3-alkyl-4-phenylacetylamino-lH-1,2,4-triazol-5-ones） and its derivatives： HAT （hydrogen atom transfer）, SET-PT （single electron transfer-proton transfer） and SPLET （sequential proton-loss electron transfer） were investigated in gas and solution-phases. Solvent contribution to enthalpies was computed employing integral equation formalism IEF-PCM （integral equation formalism method） method. It turned out that the lowest BDEs （bond dissociation energies） is obtained for C-H bonds due to captodative effect in various media. Results indicate that HAT mechanism represents the most anticipated process in gas-phase from thermodynamic point of view. But, the SPLET represents the thermodynamically preferred reaction pathway in solvents （2-propanol, acetonitrile, DMF （N,N-dimethylformamide） and water）. The authors showed that bond dissociation energies, IP （ionization potential） and PA （proton affinity） are sufficient to evaluate the thermodynamically preferred mechanism.
基金This research is partially supported by the National Natural Science Foundation of China, and Science Foundation for the Excellent Young Teacher of Henan Province.
文摘In this paper we discuss the logarithmic Sobolev inequalities in Besov spaces,and show their applications to the blow-up criterion of smooth solutions to the incompressible magneto-hydrodynamics equations.
基金supported by the National Key Basic Research Program of China under Grant Nos.2013CB834203 and 2011CB302400the National Nature Science Foundation of China under Grant Nos.11301523,11371356,61121062+1 种基金the Strategic Priority Research Program of the Chinese Academy of Sciences under Grant No.XDA06010701IEE’s Research Project on Cryptography under Grant Nos.Y3Z0013102,Y3Z0018102,and Y4Z0061A02
文摘Some techniques using linear algebra was introduced by Faugore in F4 to speed up the reduction process during Grobner basis computations. These techniques can also be used in fast implementations of F5 and some other signature-based Grobner basis algorithms. When these techniques are applied, a very important step is constructing matrices from critical pairs and existing polynomials by the Symbolic Preprocessing function （given in F4）. Since multiplications of monomials and polynomials are involved in the Symbolic Preprocessing function, this step can be very costly when the number of involved polynomials/monomials is huge. In this paper, multiplications of monomials and polynomials for a Boolean polynomial ring are investigated and a specific method of implementing the Symbolic Preprocessing function over Boolean polynomial rings is reported. Many examples have been tested by using this method, and the experimental data shows that the new method is very efficient.
基金the National Natural Science Foundation of China (No. 10071067).
文摘This paper studies the asymptotic behavior of solutions to an evolutionary Ginzburg-Landau equation in 3 dimensions. It is shown that the motion of the Ginzburg-Landau vortex curves is the flow by its curvature. Away from the vortices, the author uses some measure theoretic arguments used by F. H. Lin in [16] to show the strong convergence of solutions.
基金supported by National Natural Science Foundation of China(Grant Nos.11171092 and 11271133)Innovation Scientists and Technicians Troop Construction Projects of Henan Province(Grant No.114200510011)
文摘A monotonicity formula for stable solutions to a class of weighted semilinear elliptic equations with ＂negative exponent＂ is established. It is well known that such a monotonieity formula plays an essential role in the study of finite Morse index solutions of equations with ＂positive exponent＂. Unlike the positive exponent case, we will see that both the monotonicity formula and the sub-harmonicity play crucial roles in classifying positive finite Morse index solutions to the equations with negative exponent and obtaining sharp results for their asymptotic behaviors.
基金supported by the National Key Basic Research Program of China(Grant No.2015CB057904)the Major Program of the National Natural Science Foundation of China(Grant No.91215301)+1 种基金the National Natural Science Foundation of China(Grant Nos.51279136&51209164)the Research Fund for the Doctoral Program of Higher Education of China(Grant No.20130141110015)
文摘Based on the basic principle of the finite element method, the implicit composite element method for numerical simulation of seepage in underground engineering is proposed. In the simulation, the faults and drainage holes are set implicitly in the model elements without adding additional elements. Elements containing fault or drainage-hole data are termed composite elements. Then, their information data in model could be obtained. By determining the osmotic transmission matrix of the composite elements, the permeability coefficient matrix is then obtained. The method was applied to the numerical simulation of the seepage field around the underground powerhouse of the Ganhe Pumping Station in Yunnan, China, using a compiled three-dimensional finite element method calculation program. The rock mass around the site includes two faults. The seepage field in the rock mass was analyzed at different stages of the engineering project. The results show that, before the excavation of the underground caverns, the rock mass seepage is affected by the faults and the groundwater permeated down along the tangential fault plane. After the excavation of the caverns during the operation period, the groundwater is basically drained away and the underground caverns are mostly above the groundwater level. Thus, the calculation results of the engineering example verify the implicit composite method for the simulation of faults and drainage holes. This method can well meet the calculation demands of practical engineering.
