A new conservative finite difference scheme is presented based on the numerical analysis for an initialboundary value problem of a class of Schroedinger equation with the wave operator. The scheme can be linear and im...A new conservative finite difference scheme is presented based on the numerical analysis for an initialboundary value problem of a class of Schroedinger equation with the wave operator. The scheme can be linear and implicit or explicit based on the parameter choice. The initial value after discretization has second-order accuracy that is consistent with the scheme accuracy. The existence and the uniqueness of the difference solution are proved. Based on the priori estimates and an inequality about norms, the stability and the convergence of difference solutions with the second-order are proved in the energy norm. Experimental results demonstrate the efficiency of the new scheme.展开更多
Let T be pure subnormal operator. In this paper necessary and sufficiert conditions that T=N+K are given,where N is normal, K is quasinormal and NK=KN.
Suppose that the outer mapping function of domain D has its second continuous derivatives. In this paper, the order proximation by (0,1,…,q) Hermite-Fejer interpolating polynomials at nearly Fejer's points of fun...Suppose that the outer mapping function of domain D has its second continuous derivatives. In this paper, the order proximation by (0,1,…,q) Hermite-Fejer interpolating polynomials at nearly Fejer's points of function of class A(D) are presented. Moreover in general the order of approximation is sharp.展开更多
Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the ...Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the efficiency and quality of the problem solving process for conceptual design. AD is used for systematically defining and structuring a problem into a hierarchy. Sometimes, the design matrix is coupled in AD which indicates the functional requirements are coupled. TRIZ separation principles can be used to separate non-independent design parameters, which provide innovative solutions at each hierarchical level. We applied the integrated model to the heating and drying equipment of bitumen reproduction device. The result verifies that the integrated model can work very well in conceptual design.展开更多
By using the cone theory and the monotone succession skills, it is studied the existence uniqueness of fixed point for a class of increasing operators without continuity and compactness and concave or convex condition...By using the cone theory and the monotone succession skills, it is studied the existence uniqueness of fixed point for a class of increasing operators without continuity and compactness and concave or convex conditions in Banach spaces. The results presented here improve and generalize some corresponding results for increasing operator.展开更多
This paper discussed the differences of context-aware service between the cloud computing environment and the traditional service system.Given the above differences,the paper subsequently analyzed the changes of conte...This paper discussed the differences of context-aware service between the cloud computing environment and the traditional service system.Given the above differences,the paper subsequently analyzed the changes of context-aware service during preparation,organization and delivery,as well as the resulting changes in service acceptance of consumers.Because of these changes,the context-aware service modes in the cloud computing environment change are intelligent,immersive,highly interactive,and real-time.According to active and responded service,and authorization and non-authorized service,the paper drew a case diagram of context-aware service in Unified Modeling Language(UML) and established four categories of context-aware service modes.展开更多
In this paper, we consider a class of singularly perturbed Dirichlet exterior problems for elliptic equations. Under the appropriate conditions we construct the formally asymptotic solution of the problem described. U...In this paper, we consider a class of singularly perturbed Dirichlet exterior problems for elliptic equations. Under the appropriate conditions we construct the formally asymptotic solution of the problem described. Using differential inequaltiy theory we prove the existence of the solution of original problem and the uniforly validity of the formal solution.展开更多
This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system...This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.展开更多
In this paper, the Nagumo theorem and the fixed-point theorem are used to prove the existence and the uniqueness and to estimate the asymptotic expansion of the shock solutions of the boundary value problems for a cla...In this paper, the Nagumo theorem and the fixed-point theorem are used to prove the existence and the uniqueness and to estimate the asymptotic expansion of the shock solutions of the boundary value problems for a class of quasilinear differential equations, the asymptotic expansion of solution of any orders including boundary is obtained.展开更多
文摘A new conservative finite difference scheme is presented based on the numerical analysis for an initialboundary value problem of a class of Schroedinger equation with the wave operator. The scheme can be linear and implicit or explicit based on the parameter choice. The initial value after discretization has second-order accuracy that is consistent with the scheme accuracy. The existence and the uniqueness of the difference solution are proved. Based on the priori estimates and an inequality about norms, the stability and the convergence of difference solutions with the second-order are proved in the energy norm. Experimental results demonstrate the efficiency of the new scheme.
文摘Let T be pure subnormal operator. In this paper necessary and sufficiert conditions that T=N+K are given,where N is normal, K is quasinormal and NK=KN.
文摘Suppose that the outer mapping function of domain D has its second continuous derivatives. In this paper, the order proximation by (0,1,…,q) Hermite-Fejer interpolating polynomials at nearly Fejer's points of function of class A(D) are presented. Moreover in general the order of approximation is sharp.
基金Funded by the Natural Science Foundation of China (No. 50575083)
文摘Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the efficiency and quality of the problem solving process for conceptual design. AD is used for systematically defining and structuring a problem into a hierarchy. Sometimes, the design matrix is coupled in AD which indicates the functional requirements are coupled. TRIZ separation principles can be used to separate non-independent design parameters, which provide innovative solutions at each hierarchical level. We applied the integrated model to the heating and drying equipment of bitumen reproduction device. The result verifies that the integrated model can work very well in conceptual design.
基金the Scientific Research Foundation of Henan Provincial Education Committee(200410483004)
文摘By using the cone theory and the monotone succession skills, it is studied the existence uniqueness of fixed point for a class of increasing operators without continuity and compactness and concave or convex conditions in Banach spaces. The results presented here improve and generalize some corresponding results for increasing operator.
基金the National Key Basic Research Program of China，the National Natural Science Foundation of China，the Ministry of Education of the People's Republic of China，the Fundamental Research Funds for the Central Universities of China
文摘This paper discussed the differences of context-aware service between the cloud computing environment and the traditional service system.Given the above differences,the paper subsequently analyzed the changes of context-aware service during preparation,organization and delivery,as well as the resulting changes in service acceptance of consumers.Because of these changes,the context-aware service modes in the cloud computing environment change are intelligent,immersive,highly interactive,and real-time.According to active and responded service,and authorization and non-authorized service,the paper drew a case diagram of context-aware service in Unified Modeling Language(UML) and established four categories of context-aware service modes.
文摘In this paper, we consider a class of singularly perturbed Dirichlet exterior problems for elliptic equations. Under the appropriate conditions we construct the formally asymptotic solution of the problem described. Using differential inequaltiy theory we prove the existence of the solution of original problem and the uniforly validity of the formal solution.
文摘In this paper, we introduce O-F-inverse semigroups and characterize O-F-inverse categorical semigroups by using their minimal primitive congruence β.
文摘This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.
文摘In this paper, the Nagumo theorem and the fixed-point theorem are used to prove the existence and the uniqueness and to estimate the asymptotic expansion of the shock solutions of the boundary value problems for a class of quasilinear differential equations, the asymptotic expansion of solution of any orders including boundary is obtained.
