Software Defined Satellite Networks(SDSN) are proposed to solve the problems in traditional satellite networks, such as time-consuming configuration and inflexible traffic scheduling. The emerging application of small...Software Defined Satellite Networks(SDSN) are proposed to solve the problems in traditional satellite networks, such as time-consuming configuration and inflexible traffic scheduling. The emerging application of small satellite and research of SDSN make it possible for satellite networks to provide flexible network services. Service Function Chain(SFC) can satisfy this need. In this paper, we are motivated to investigate applying SFC in the small satellite-based SDSN for service delivery. We introduce the structure of the multi-layer constellation-based SDSN. Then, we describe two deployment patterns of SFC in SDSN, the Multi-Domain(MD) pattern and the Satellite Formation(SF) pattern. We propose two algorithms, SFP-MD, and SFP-SF, to calculate the Service Function Path(SFP). We implement the algorithms and conduct contrast experiments in our prototype. Finally, we summarize the applicable conditions of two deployment patterns according to the experimental results in terms of hops, delay, and packet loss rate.展开更多
As an innovative software application mode,Software as a service(SaaS) shows many attractive advantages.Migrating legacy system to SaaS can make outdated systems revived.In the process of migration,the existing valuab...As an innovative software application mode,Software as a service(SaaS) shows many attractive advantages.Migrating legacy system to SaaS can make outdated systems revived.In the process of migration,the existing valuable components need to be discovered and reused in order that the target system could be developed/integrated more efficiently.An innovative approach is proposed in this paper to extract the reusable components from legacy systems.Firstly,implementation models of legacy system are recovered through reverse engineering.Secondly,function models are derived by vertical clustering,and then logical components are discovered by horizontal clustering based on the function models.Finally,the reusable components with specific feature descriptions are extracted.Through experimental verification,the approach is considered to be efficient in reusable component discovery and to be helpful to migrating legacy system to SaaS.展开更多
LASP(large-scale atomistic simulation with neural network potential)software developed by our group since 2018 is a powerful platform(www.lasphub.com)for performing atomic simulation of complex materials.The software ...LASP(large-scale atomistic simulation with neural network potential)software developed by our group since 2018 is a powerful platform(www.lasphub.com)for performing atomic simulation of complex materials.The software integrates the neural network(NN)potential technique with the global potential energy surface exploration method,and thus can be utilized widely for structure prediction and reaction mechanism exploration.Here we introduce our recent update on the LASP program version 3.0,focusing on the new functionalities including the advanced neuralnetwork training based on the multi-network framework,the newly-introduced S^(7) and S^(8) power type structure descriptor(PTSD).These new functionalities are designed to further improve the accuracy of potentials and accelerate the neural network training for multipleelement systems.Taking Cu-C-H-O neural network potential and a heterogeneous catalytic model as the example,we show that these new functionalities can accelerate the training of multi-element neural network potential by using the existing single-network potential as the input.The obtained double-network potential Cu CHO is robust in simulation and the introduction of S^(7) and S^(8) PTSDs can reduce the root-mean-square errors of energy by a factor of two.展开更多
This paper discusses a model-based approach to validate software requirements in agile development processes by simulation and in particular automated testing. The use of models as central development artifact needs t...This paper discusses a model-based approach to validate software requirements in agile development processes by simulation and in particular automated testing. The use of models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development beginning already early in the requirements definition phase. Testing requirements are some of the most important techniques to give feedback and to increase the quality of the result. Therefore testing of artifacts should be introduced as early as possible, even in the requirements definition phase.展开更多
Chebfun is a Matlab-based software system that overloads Matlab's discrete operations for vectors and matrices to analogous continuous operations for functions and operators.We begin by describing Chebfun's fa...Chebfun is a Matlab-based software system that overloads Matlab's discrete operations for vectors and matrices to analogous continuous operations for functions and operators.We begin by describing Chebfun's fast capabilities for Clenshaw-Curtis and also Gauss-Legendre,-Jacobi,-Hermite,and-Laguerre quadrature,based on algorithms of Waldvogel and Glaser,Liu and Rokhlin.Then we consider how such methods can be applied to quadrature problems including 2D integrals over rectangles,fractional derivatives and integrals,functions defined on unbounded intervals,and the fast computation of weights for barycentric interpolation.展开更多
Under investigation is the(2+1)-dimensional breaking soliton equation. Based on a special ans?tz functions and the bilinear form, some entirely new double-periodic soliton solutions for the(2+1)-dimensional breaking s...Under investigation is the(2+1)-dimensional breaking soliton equation. Based on a special ans?tz functions and the bilinear form, some entirely new double-periodic soliton solutions for the(2+1)-dimensional breaking soliton equation are presented. With the help of symbolic computation software Mathematica, many important and interesting properties for these obtained solutions are revealed with some figures.展开更多
Some classical penalty function algorithms may not always be convergent under big penalty parameters in Matlab software,which makes them impossible to find out an optimal solution to constrained optimization problems....Some classical penalty function algorithms may not always be convergent under big penalty parameters in Matlab software,which makes them impossible to find out an optimal solution to constrained optimization problems.In this paper,a novel penalty function(called M-objective penalty function) with one penalty parameter added to both objective and constrained functions of inequality constrained optimization problems is proposed.Based on the M-objective penalty function,an algorithm is developed to solve an optimal solution to the inequality constrained optimization problems,with its convergence proved under some conditions.Furthermore,numerical results show that the proposed algorithm has a much better convergence than the classical penalty function algorithms under big penalty parameters,and is efficient in choosing a penalty parameter in a large range in Matlab software.展开更多
Simultaneous contractifications, simultaneous proper contractifications and semigroup(countable family or finite family) of commuting operators and of non-commuting operatorsare first given. Characterizations are give...Simultaneous contractifications, simultaneous proper contractifications and semigroup(countable family or finite family) of commuting operators and of non-commuting operatorsare first given. Characterizations are given for a single bounded linear operator being a topo-logical proper contraction. By using complexification of a real Banach space and by applying afixed point theorem of Edelstein, it is shown that every compact topological strict contractionon a Banach space is a topological proper contraction. Finally, results on simultaneous propercontractification are applied to study the stability of a common fixed point of maps which areFrechet differentiable at that point.展开更多
基金supported in part by NSFC of China under Grant No.61232017National Basic Research Program of China(“973 program”)under Grant No.2013CB329101+1 种基金Fundamental Research Funds for the Central Universities under Grant No.2016YJS026NSAF of China under Grant No.U1530118
文摘Software Defined Satellite Networks(SDSN) are proposed to solve the problems in traditional satellite networks, such as time-consuming configuration and inflexible traffic scheduling. The emerging application of small satellite and research of SDSN make it possible for satellite networks to provide flexible network services. Service Function Chain(SFC) can satisfy this need. In this paper, we are motivated to investigate applying SFC in the small satellite-based SDSN for service delivery. We introduce the structure of the multi-layer constellation-based SDSN. Then, we describe two deployment patterns of SFC in SDSN, the Multi-Domain(MD) pattern and the Satellite Formation(SF) pattern. We propose two algorithms, SFP-MD, and SFP-SF, to calculate the Service Function Path(SFP). We implement the algorithms and conduct contrast experiments in our prototype. Finally, we summarize the applicable conditions of two deployment patterns according to the experimental results in terms of hops, delay, and packet loss rate.
基金supported by National Natural Science Foundation of China(No.61262082,No.61462066)Key Project of Chinese Ministry of Education(No.212025)+1 种基金Inner Mongolia Science Foundation for Distinguished Young Scholars(No.2012JQ03)Inner Mongolia Natural Science Foundation of Inner Mongolia(No.2012MS0922)
文摘As an innovative software application mode,Software as a service(SaaS) shows many attractive advantages.Migrating legacy system to SaaS can make outdated systems revived.In the process of migration,the existing valuable components need to be discovered and reused in order that the target system could be developed/integrated more efficiently.An innovative approach is proposed in this paper to extract the reusable components from legacy systems.Firstly,implementation models of legacy system are recovered through reverse engineering.Secondly,function models are derived by vertical clustering,and then logical components are discovered by horizontal clustering based on the function models.Finally,the reusable components with specific feature descriptions are extracted.Through experimental verification,the approach is considered to be efficient in reusable component discovery and to be helpful to migrating legacy system to SaaS.
基金supported by the National Key Research and Development Program of China (No.2018YFA0208600)the National Natural Science Foundation of China (No.91945301, No.22033003, No.92061112, No.22122301, and No.91745201)
文摘LASP(large-scale atomistic simulation with neural network potential)software developed by our group since 2018 is a powerful platform(www.lasphub.com)for performing atomic simulation of complex materials.The software integrates the neural network(NN)potential technique with the global potential energy surface exploration method,and thus can be utilized widely for structure prediction and reaction mechanism exploration.Here we introduce our recent update on the LASP program version 3.0,focusing on the new functionalities including the advanced neuralnetwork training based on the multi-network framework,the newly-introduced S^(7) and S^(8) power type structure descriptor(PTSD).These new functionalities are designed to further improve the accuracy of potentials and accelerate the neural network training for multipleelement systems.Taking Cu-C-H-O neural network potential and a heterogeneous catalytic model as the example,we show that these new functionalities can accelerate the training of multi-element neural network potential by using the existing single-network potential as the input.The obtained double-network potential Cu CHO is robust in simulation and the introduction of S^(7) and S^(8) PTSDs can reduce the root-mean-square errors of energy by a factor of two.
文摘This paper discusses a model-based approach to validate software requirements in agile development processes by simulation and in particular automated testing. The use of models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development beginning already early in the requirements definition phase. Testing requirements are some of the most important techniques to give feedback and to increase the quality of the result. Therefore testing of artifacts should be introduced as early as possible, even in the requirements definition phase.
基金supported by the MathWorks,Inc.,King Abdullah University of Science and Technology (KAUST) (Award No. KUK-C1-013-04)the European Research Council under the European Union’s Seventh Framework Programme (FP7/2007-2013)/ERC (Grant Agreement No. 291068)
文摘Chebfun is a Matlab-based software system that overloads Matlab's discrete operations for vectors and matrices to analogous continuous operations for functions and operators.We begin by describing Chebfun's fast capabilities for Clenshaw-Curtis and also Gauss-Legendre,-Jacobi,-Hermite,and-Laguerre quadrature,based on algorithms of Waldvogel and Glaser,Liu and Rokhlin.Then we consider how such methods can be applied to quadrature problems including 2D integrals over rectangles,fractional derivatives and integrals,functions defined on unbounded intervals,and the fast computation of weights for barycentric interpolation.
基金Supported by National Natural Science Foundation of China under Grant No.61377067
文摘Under investigation is the(2+1)-dimensional breaking soliton equation. Based on a special ans?tz functions and the bilinear form, some entirely new double-periodic soliton solutions for the(2+1)-dimensional breaking soliton equation are presented. With the help of symbolic computation software Mathematica, many important and interesting properties for these obtained solutions are revealed with some figures.
基金supported by the National Natural Science Foundation of China under Grant No.11271329
文摘Some classical penalty function algorithms may not always be convergent under big penalty parameters in Matlab software,which makes them impossible to find out an optimal solution to constrained optimization problems.In this paper,a novel penalty function(called M-objective penalty function) with one penalty parameter added to both objective and constrained functions of inequality constrained optimization problems is proposed.Based on the M-objective penalty function,an algorithm is developed to solve an optimal solution to the inequality constrained optimization problems,with its convergence proved under some conditions.Furthermore,numerical results show that the proposed algorithm has a much better convergence than the classical penalty function algorithms under big penalty parameters,and is efficient in choosing a penalty parameter in a large range in Matlab software.
文摘Simultaneous contractifications, simultaneous proper contractifications and semigroup(countable family or finite family) of commuting operators and of non-commuting operatorsare first given. Characterizations are given for a single bounded linear operator being a topo-logical proper contraction. By using complexification of a real Banach space and by applying afixed point theorem of Edelstein, it is shown that every compact topological strict contractionon a Banach space is a topological proper contraction. Finally, results on simultaneous propercontractification are applied to study the stability of a common fixed point of maps which areFrechet differentiable at that point.