In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy...In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy criteria are defined and subsumption relationships among them are proved. Then, a translation algorithm is presented to transfer the test model into a web application decision-to-decision graph(WADDGraph)which is used to reduce testing requirements. Finally, different sets of test requirements can be generated from WADDGraph by analyzing subsumption and equivalence relationships among edges based on different coverage criteria, and testers can select different test requirements according to different testing environments. The case study indicates that coverage criteria follow linear subsumption relationships in real web applications. Test requirements can be reduced more than 55% on average based on different coverage criteria and the size of test requirements increases with the increase in the complexity of the coverage criteria.展开更多
Electricity demand forecasting plays an important role in smart grid expansion planning.In this paper,we present a dynamic GM(1,1) model based on grey system theory and cubic spline function interpolation principle.Us...Electricity demand forecasting plays an important role in smart grid expansion planning.In this paper,we present a dynamic GM(1,1) model based on grey system theory and cubic spline function interpolation principle.Using piecewise polynomial interpolation thought,this model can dynamically predict the general trend of time series data.Combined with low-order polynomial,the cubic spline interpolation has smaller error,avoids the Runge phenomenon of high-order polynomial,and has better approximation effect.Meanwhile,prediction is implemented with the newest information according to the rolling and feedback mechanism and fluctuating error is controlled well to improve prediction accuracy in time-varying environment.Case study using the living electricity consumption data of Jiangsu province in 2008 is presented to demonstrate the effectiveness of the proposed model.展开更多
It is discussed in this paper the capability requirements of modern communication industry for smart pipe or Network Intelligence Capability Enhancement (NICE), Domestic and international researches on smart pipe ar...It is discussed in this paper the capability requirements of modern communication industry for smart pipe or Network Intelligence Capability Enhancement (NICE), Domestic and international researches on smart pipe are elaborated in the essay as well.展开更多
In this thesis, the design in construction management is defined as the design meets the requirements of the constructor. There are a range of definitions of design, but in this paper "design" refers to something, w...In this thesis, the design in construction management is defined as the design meets the requirements of the constructor. There are a range of definitions of design, but in this paper "design" refers to something, which has been planned and made and a pattern for decorating in something in the term of construction. Rumane says (2010)the design involves two processes. The first thing is analyzing and designing components and structure on the basis of recognized codes and standards of safety. The other is that designers conduct the information in the form展开更多
In order to receive a licence to produce, poultry farmers have to take into account societal demands, among others: animal welfare, healthy working conditions for the workers and landscape quality. A way to reach a c...In order to receive a licence to produce, poultry farmers have to take into account societal demands, among others: animal welfare, healthy working conditions for the workers and landscape quality. A way to reach a combination of these goals is to create a design for the poultry house and outdoor run. We propose a methodology based on five steps, which enables us to create a design that takes into consideration societal demands and that can be tested on its effects. These five steps are: 1. Giving a theoretical background on the societal demands (hen ethology, farm management and landscape quality) and based on this; 2. Giving a set of design criteria. 3. Describing the cttrrent state of the farm, in order to know its current qualities, 4. Making a design of the farm using the sets of criteria as guiding principle. 5. Reflecting on the design, to show whether the different criteria can be combined and where compromises are needed. A case study on an organic farm in the centre of the Netherlands showed that hen welfare, farm management and landscape quality can be improved together, although some measures do not add to all design criteria. Especially the effect on landscape quality and farm management is variable: the latter is also depending on the personal motivation of the farmer.展开更多
Based on this evidence and many other examples, this paper advocates a drastic overhaul of the system, in which a distinction is made between simple, standard projects, less simple solutions that can be assessed with ...Based on this evidence and many other examples, this paper advocates a drastic overhaul of the system, in which a distinction is made between simple, standard projects, less simple solutions that can be assessed with performance requirements, and high-value projects which are handled in accordance with the science of probabilistics. Next to or in addition to the Council of State, there has to be a technical body appointed under statute with non-departmental public body status, which can issue binding rulings in technical disputes, with very short procedural delays.展开更多
The communications industrial standard YD/T 1885-2009 provides the types of headset interfaces, the performance requirements and test methods. Since the release of this standard, more and more manufacturers have adopt...The communications industrial standard YD/T 1885-2009 provides the types of headset interfaces, the performance requirements and test methods. Since the release of this standard, more and more manufacturers have adopted the concentric connector, which gives more choices to consumers and also has benefits on the environmental protection and the healthy development of the mobile terminal industry. Now, the universal headset interface has been included in the draft ITU-T recommendation P.381. lts internationalization will further enhance the universality of the mobile phone headset interlace. It is China's another great contribution to the international standardization following the standard of universal power adapter for mobile phones.展开更多
A benchmark solution is of great importance in validating algorithms and codes for magnetohydrodynamic(MHD) flows.Hunt and Shercliff's solutions are usually employed as benchmarks for MHD flows in a duct with insu...A benchmark solution is of great importance in validating algorithms and codes for magnetohydrodynamic(MHD) flows.Hunt and Shercliff's solutions are usually employed as benchmarks for MHD flows in a duct with insulated walls or with thin conductive walls,in which wall effects on MHD are represented by the wall conductance ratio.With wall thickness resolved,it is stressed that the solution of Sloan and Smith's and the solution of Butler's can be used to check the error of the thin wall approximation condition used for Hunt's solutions.It is noted that Tao and Ni's solutions can be used as a benchmark for MHD flows in a duct with wall symmetrical or unsymmetrical,thick or thin.When the walls are symmetrical,Tao and Ni's solutions are reduced to Sloan and Smith's solution and Butler's solution,respectively.展开更多
Let X1,X2,... be a sequence of independent random variables (r.v.s) belonging to the domain of attraction of a normal or stable law. In this paper, we study moderate deviations for the self-normalized sum n X ∑^n_i...Let X1,X2,... be a sequence of independent random variables (r.v.s) belonging to the domain of attraction of a normal or stable law. In this paper, we study moderate deviations for the self-normalized sum n X ∑^n_i=1Xi/Vm,p ,where Vn,p (∑^n_i=1|Xi|p)^1/p (P 〉 1).Applications to the self-normalized law of the iteratedlogarithm, Studentized increments of partial sums, t-statistic, and weighted sum of independent and identically distributed (i.i.d.) r.v.s are considered.展开更多
The authors establish error estimates for recently developed finite-element methods for incompressible viscous flow in domains with no-slip boundary conditions.The methods arise by discretization of a well-posed exten...The authors establish error estimates for recently developed finite-element methods for incompressible viscous flow in domains with no-slip boundary conditions.The methods arise by discretization of a well-posed extended Navier-Stokes dynamics for which pressure is determined from current velocity and force fields.The methods use C1 elements for velocity and C0 elements for pressure.A stability estimate is proved for a related finite-element projection method close to classical time-splitting methods of Orszag,Israeli,DeVille and Karniadakis.展开更多
In this paper, a model is proposed to solve the gauge hierarchy problem. Beyond the standard model, we introduce an extra scalar field that non-minimally couples to gravity. The fundamental scale is set at weak scale ...In this paper, a model is proposed to solve the gauge hierarchy problem. Beyond the standard model, we introduce an extra scalar field that non-minimally couples to gravity. The fundamental scale is set at weak scale and Planck scale emerges dynamically by a spontaneous symmetry breaking mechanism.展开更多
Using the form factors calculated in the three-point QCD sum rules, we calculate the new physics contri- butions to the physical observables of Bc→D;μ+ μ- decay in a family non-universal Z' model. Under the consi...Using the form factors calculated in the three-point QCD sum rules, we calculate the new physics contri- butions to the physical observables of Bc→D;μ+ μ- decay in a family non-universal Z' model. Under the consideration of three cases of the new physics parameters, we find that: (a) the Z' boson can provide large contributions to the differential decay rates; (b) the forward-backward asymmetry (FBA) can be increased by about 47%, 38%, and 110% at most in S1, S2, and extreme limR values (ELV), respectively. In addition, the zero crossing can be shifted in all the cases; (c) when s 〉 0.08, the value Of PL can be changed from -1 in the Standard Model (SM) to -0.5 in S1, -0.6 in S2, and 0 in extreme limit values, respectively; (d) the new physics corrections to PT will decrease the SM prediction about 25% for the cases of S1 and S2, 100% for the case of ELV.展开更多
基金The National Natural Science Foundation of China(No.90818027,60873050)the National High Technology Research andDevelopment Program of China (863 Program) (No.2009AA01Z147)+2 种基金Opening Foundation of State Key Laboratory Software Engineering in Wu-han University(No.SKLSE20080717)Opening Foundation of State KeyLaboratory for Novel Software Technology in Nanjing University(No.ZZ-KT2008F12)the Key Laboratory Foundation of Shanghai Municipal Science and Technology Commission (No.09DZ2272600)
文摘In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy criteria are defined and subsumption relationships among them are proved. Then, a translation algorithm is presented to transfer the test model into a web application decision-to-decision graph(WADDGraph)which is used to reduce testing requirements. Finally, different sets of test requirements can be generated from WADDGraph by analyzing subsumption and equivalence relationships among edges based on different coverage criteria, and testers can select different test requirements according to different testing environments. The case study indicates that coverage criteria follow linear subsumption relationships in real web applications. Test requirements can be reduced more than 55% on average based on different coverage criteria and the size of test requirements increases with the increase in the complexity of the coverage criteria.
基金This work has been supported by the National 863 Key Project Grant No. 2008AA042901, National Natural Science Foundation of China Grant No.70631003 and No.90718037, Foundation of Hefei University of Technology Grant No. 2010HGXJ0083.
文摘Electricity demand forecasting plays an important role in smart grid expansion planning.In this paper,we present a dynamic GM(1,1) model based on grey system theory and cubic spline function interpolation principle.Using piecewise polynomial interpolation thought,this model can dynamically predict the general trend of time series data.Combined with low-order polynomial,the cubic spline interpolation has smaller error,avoids the Runge phenomenon of high-order polynomial,and has better approximation effect.Meanwhile,prediction is implemented with the newest information according to the rolling and feedback mechanism and fluctuating error is controlled well to improve prediction accuracy in time-varying environment.Case study using the living electricity consumption data of Jiangsu province in 2008 is presented to demonstrate the effectiveness of the proposed model.
文摘It is discussed in this paper the capability requirements of modern communication industry for smart pipe or Network Intelligence Capability Enhancement (NICE), Domestic and international researches on smart pipe are elaborated in the essay as well.
文摘In this thesis, the design in construction management is defined as the design meets the requirements of the constructor. There are a range of definitions of design, but in this paper "design" refers to something, which has been planned and made and a pattern for decorating in something in the term of construction. Rumane says (2010)the design involves two processes. The first thing is analyzing and designing components and structure on the basis of recognized codes and standards of safety. The other is that designers conduct the information in the form
文摘In order to receive a licence to produce, poultry farmers have to take into account societal demands, among others: animal welfare, healthy working conditions for the workers and landscape quality. A way to reach a combination of these goals is to create a design for the poultry house and outdoor run. We propose a methodology based on five steps, which enables us to create a design that takes into consideration societal demands and that can be tested on its effects. These five steps are: 1. Giving a theoretical background on the societal demands (hen ethology, farm management and landscape quality) and based on this; 2. Giving a set of design criteria. 3. Describing the cttrrent state of the farm, in order to know its current qualities, 4. Making a design of the farm using the sets of criteria as guiding principle. 5. Reflecting on the design, to show whether the different criteria can be combined and where compromises are needed. A case study on an organic farm in the centre of the Netherlands showed that hen welfare, farm management and landscape quality can be improved together, although some measures do not add to all design criteria. Especially the effect on landscape quality and farm management is variable: the latter is also depending on the personal motivation of the farmer.
文摘Based on this evidence and many other examples, this paper advocates a drastic overhaul of the system, in which a distinction is made between simple, standard projects, less simple solutions that can be assessed with performance requirements, and high-value projects which are handled in accordance with the science of probabilistics. Next to or in addition to the Council of State, there has to be a technical body appointed under statute with non-departmental public body status, which can issue binding rulings in technical disputes, with very short procedural delays.
文摘The communications industrial standard YD/T 1885-2009 provides the types of headset interfaces, the performance requirements and test methods. Since the release of this standard, more and more manufacturers have adopted the concentric connector, which gives more choices to consumers and also has benefits on the environmental protection and the healthy development of the mobile terminal industry. Now, the universal headset interface has been included in the draft ITU-T recommendation P.381. lts internationalization will further enhance the universality of the mobile phone headset interlace. It is China's another great contribution to the international standardization following the standard of universal power adapter for mobile phones.
基金supported by the National Natural Science Foundation of China (Grant Nos. 11125212 and 50936066)the National Magnetic Confinement Fusion Science Program of China (Grant No. 2009GB10401)
文摘A benchmark solution is of great importance in validating algorithms and codes for magnetohydrodynamic(MHD) flows.Hunt and Shercliff's solutions are usually employed as benchmarks for MHD flows in a duct with insulated walls or with thin conductive walls,in which wall effects on MHD are represented by the wall conductance ratio.With wall thickness resolved,it is stressed that the solution of Sloan and Smith's and the solution of Butler's can be used to check the error of the thin wall approximation condition used for Hunt's solutions.It is noted that Tao and Ni's solutions can be used as a benchmark for MHD flows in a duct with wall symmetrical or unsymmetrical,thick or thin.When the walls are symmetrical,Tao and Ni's solutions are reduced to Sloan and Smith's solution and Butler's solution,respectively.
基金supported by Hong Kong Research Grant Committee (Grant Nos.HKUST6019/10P and HKUST6019/12P)National Natural Science Foundation of China (Grant Nos. 10871146 and 11271286)the National University of Singapore (Grant No. R-155-000-106-112)
文摘Let X1,X2,... be a sequence of independent random variables (r.v.s) belonging to the domain of attraction of a normal or stable law. In this paper, we study moderate deviations for the self-normalized sum n X ∑^n_i=1Xi/Vm,p ,where Vn,p (∑^n_i=1|Xi|p)^1/p (P 〉 1).Applications to the self-normalized law of the iteratedlogarithm, Studentized increments of partial sums, t-statistic, and weighted sum of independent and identically distributed (i.i.d.) r.v.s are considered.
基金Project supported by the National Science Foundation (Nos.DMS 06-04420 (RLP),DMS 08-11177(JGL))the Center for Nonlinear Analysis (CNA) under National Science Foundation Grant (Nos.0405343,0635983)
文摘The authors establish error estimates for recently developed finite-element methods for incompressible viscous flow in domains with no-slip boundary conditions.The methods arise by discretization of a well-posed extended Navier-Stokes dynamics for which pressure is determined from current velocity and force fields.The methods use C1 elements for velocity and C0 elements for pressure.A stability estimate is proved for a related finite-element projection method close to classical time-splitting methods of Orszag,Israeli,DeVille and Karniadakis.
基金supported by the World Premier International Research Center Initiative (WPI Initiative),MEXT,Japan
文摘In this paper, a model is proposed to solve the gauge hierarchy problem. Beyond the standard model, we introduce an extra scalar field that non-minimally couples to gravity. The fundamental scale is set at weak scale and Planck scale emerges dynamically by a spontaneous symmetry breaking mechanism.
基金Supported by the National Natural Science Foundation of China under Grant Nos. 10947020 and 11147004Natural Science Foundation of Henan Province under Grant No. 112300410188
文摘Using the form factors calculated in the three-point QCD sum rules, we calculate the new physics contri- butions to the physical observables of Bc→D;μ+ μ- decay in a family non-universal Z' model. Under the consideration of three cases of the new physics parameters, we find that: (a) the Z' boson can provide large contributions to the differential decay rates; (b) the forward-backward asymmetry (FBA) can be increased by about 47%, 38%, and 110% at most in S1, S2, and extreme limR values (ELV), respectively. In addition, the zero crossing can be shifted in all the cases; (c) when s 〉 0.08, the value Of PL can be changed from -1 in the Standard Model (SM) to -0.5 in S1, -0.6 in S2, and 0 in extreme limit values, respectively; (d) the new physics corrections to PT will decrease the SM prediction about 25% for the cases of S1 and S2, 100% for the case of ELV.