In view of the composition analysis and identification of ancient glass products, L1 regularization, K-Means cluster analysis, elbow rule and other methods were comprehensively used to build logical regression, cluste...In view of the composition analysis and identification of ancient glass products, L1 regularization, K-Means cluster analysis, elbow rule and other methods were comprehensively used to build logical regression, cluster analysis, hyper-parameter test and other models, and SPSS, Python and other tools were used to obtain the classification rules of glass products under different fluxes, sub classification under different chemical compositions, hyper-parameter K value test and rationality analysis. Research can provide theoretical support for the protection and restoration of ancient glass relics.展开更多
The modified sub regular solution model was used for a calculation of the activity coefficient of immiscible binary alloy systems. The parameters needed for the calculation are the interaction parameters, λ 1 a...The modified sub regular solution model was used for a calculation of the activity coefficient of immiscible binary alloy systems. The parameters needed for the calculation are the interaction parameters, λ 1 and λ 2, which are represented as a linear function of temperature, T . The molar excess Gibbs free energy, G m E, can be written in the form G m E= x A x B[( λ 11 + λ 12 T )+( λ 21 + λ 22 T ) x B ] The calculation is carried out numerically for three immiscible binary alloy systems, Al Pb, Cu Tl and In V. The agreement between the calculated and experimentally determined values of activity coefficient is excellent.展开更多
Bayesian regularized BP neural network(BRBPNN) technique was applied in the chlorophyll-α prediction of Nanzui water area in Dongting Lake. Through BP network interpolation method, the input and output samples of t...Bayesian regularized BP neural network(BRBPNN) technique was applied in the chlorophyll-α prediction of Nanzui water area in Dongting Lake. Through BP network interpolation method, the input and output samples of the network were obtained. After the selection of input variables using stepwise/multiple linear regression method in SPSS i1.0 software, the BRBPNN model was established between chlorophyll-α and environmental parameters, biological parameters. The achieved optimal network structure was 3-11-1 with the correlation coefficients and the mean square errors for the training set and the test set as 0.999 and 0.000?8426, 0.981 and 0.0216 respectively. The sum of square weights between each input neuron and the hidden layer of optimal BRBPNN models of different structures indicated that the effect of individual input parameter on chlorophyll- α declined in the order of alga amount 〉 secchi disc depth(SD) 〉 electrical conductivity (EC). Additionally, it also demonstrated that the contributions of these three factors were the maximal for the change of chlorophyll-α concentration, total phosphorus(TP) and total nitrogen(TN) were the minimal. All the results showed that BRBPNN model was capable of automated regularization parameter selection and thus it may ensure the excellent generation ability and robustness. Thus, this study laid the foundation for the application of BRBPNN model in the analysis of aquatic ecological data(chlorophyll-α prediction) and the explanation about the effective eutrophication treatment measures for Nanzui water area in Dongting Lake.展开更多
Many methods have been put forward to solve unconstrained optimization problems,among which conjugate gradient method(CG)is very important.With the increasing emergence of large⁃scale problems,the subspace technology ...Many methods have been put forward to solve unconstrained optimization problems,among which conjugate gradient method(CG)is very important.With the increasing emergence of large⁃scale problems,the subspace technology has become particularly important and widely used in the field of optimization.In this study,a new CG method was put forward,which combined subspace technology and a cubic regularization model.Besides,a special scaled norm in a cubic regularization model was analyzed.Under certain conditions,some significant characteristics of the search direction were given and the convergence of the algorithm was built.Numerical comparisons show that for the 145 test functions under the CUTEr library,the proposed method is better than two classical CG methods and two new subspaces conjugate gradient methods.展开更多
Liver segmentation in CT images is an important step for liver volumetry and vascular evaluation in liver pre-surgical planning. In this paper, a segmentation method based on distance regularized level set evolution(D...Liver segmentation in CT images is an important step for liver volumetry and vascular evaluation in liver pre-surgical planning. In this paper, a segmentation method based on distance regularized level set evolution(DRLSE) model was proposed, which incorporated a distance regularization term into the conventional Chan-Vese (C-V) model. In addition, the region growing method was utilized to generate the initial liver mask for each slice, which could decrease the computation time for level-set propagation. The experimental results show that the method can dramatically decrease the evolving time and keep the accuracy of segmentation. The new method is averagely 15 times faster than the method based on conventional C-V model in segmenting a slice.展开更多
In order to decrease the sensitivity of the constant scale parameter, adaptively optimize the scale parameter in the iteration regularization model (IRM) and attain a desirable level of applicability for image denoi...In order to decrease the sensitivity of the constant scale parameter, adaptively optimize the scale parameter in the iteration regularization model (IRM) and attain a desirable level of applicability for image denoising, a novel IRM with the adaptive scale parameter is proposed. First, the classic regularization item is modified and the equation of the adaptive scale parameter is deduced. Then, the initial value of the varying scale parameter is obtained by the trend of the number of iterations and the scale parameter sequence vectors. Finally, the novel iterative regularization method is used for image denoising. Numerical experiments show that compared with the IRM with the constant scale parameter, the proposed method with the varying scale parameter can not only reduce the number of iterations when the scale parameter becomes smaller, but also efficiently remove noise when the scale parameter becomes bigger and well preserve the details of images.展开更多
The T0 face equation of a Ti-Al-H alloy system was set up by the regular solution model,and the relationship between the β phase stabilizing parameter of hydrogen and the equilibrium phase compositions was attained.A...The T0 face equation of a Ti-Al-H alloy system was set up by the regular solution model,and the relationship between the β phase stabilizing parameter of hydrogen and the equilibrium phase compositions was attained.According to the T0 face equation and the thermodynamic parameters from literature,the effect of hydrogen on the β→α(α2) transformation temperature was evaluated.The calculated results were in a better consistence with the measured ones.展开更多
The role-of-mixture approach has become one of the widely spread ways to investigate the mechanical properties of nano-materials and nano-structures, and it is very important for the simulation results to exactly comp...The role-of-mixture approach has become one of the widely spread ways to investigate the mechanical properties of nano-materials and nano-structures, and it is very important for the simulation results to exactly compute phase volume fractions. The nanocrystalline (NC) materials are treated as three-phase composites consisting of grain core phase, grain boundary (GB) phase and triple junction phase, and a two-dimensional three-phase mixture regular polygon model is established to investigate the scale effect of mechanical properties of NC materials due to the geometrical polyhedron characteristics of crystal grain. For different multi-sided geometrical shapes of grains, the corresponding regular polygon model is adopted to obtain more precise phase volume fractions and exactly predict the mechanical properties of NC materials.展开更多
Unified modeling language (UML) is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and...Unified modeling language (UML) is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts.展开更多
In this work,we study a k-Cardinality Constrained Regularized Submodular Maximization(k-CCRSM)problem,in which the objective utility is expressed as the difference between a non-negative submodular and a modular funct...In this work,we study a k-Cardinality Constrained Regularized Submodular Maximization(k-CCRSM)problem,in which the objective utility is expressed as the difference between a non-negative submodular and a modular function.No multiplicative approximation algorithm exists for the regularized model,and most works have focused on designing weak approximation algorithms for this problem.In this study,we consider the k-CCRSM problem in a streaming fashion,wherein the elements are assumed to be visited individually and cannot be entirely stored in memory.We propose two multipass streaming algorithms with theoretical guarantees for the above problem,wherein submodular terms are monotonic and nonmonotonic.展开更多
The activity of FetO is very important in ironmaking and steelmaking process. In order to predict the activ- ity of Fe, O and optimize the operation conditions in ironmaking and steelmaking process, by application of ...The activity of FetO is very important in ironmaking and steelmaking process. In order to predict the activ- ity of Fe, O and optimize the operation conditions in ironmaking and steelmaking process, by application of regular so lution model in molten slag systems, FeO-Fe2 O3-SIO2 ternary system, FeO-Fe2 O3-SiO2-CaO and FeO-Fe2 O3-SiO2-NiO quaternary systems have been studied by the chemical equilibrium between H2/H20 gas mixture and liquid slag con tained in solid iron. The values of interaction energy between cations concerning steelmaking slags have been deter- mined by application of ferric-ferrous iron equilibrium and iron-ferric iron equilibrium. And then the activity of Fe, O can be calculated. The results show that the relative error is 3.9% in FeO-Fe203-SiO2 system and 18% in FeO- Fe203-SiO2 CaO system. The prediction of activities of FetO in the systems are in good agreement with the measure- ments and the regular solution model is valid for predicting the activity of FetO in complex molten slags systems. The activity of Fe, O in FeO-Fe20a-NiO system have not been tested presently, and the calculated result can not be assessed.展开更多
Recent progress in maximizing submodular functions with a cardinality constraint through centralized and streaming modes has demonstrated a wide range of applications and also developed comprehensive theoretical guara...Recent progress in maximizing submodular functions with a cardinality constraint through centralized and streaming modes has demonstrated a wide range of applications and also developed comprehensive theoretical guarantees.The submodularity was investigated to capture the diversity and representativeness of the utilities,and the monotonicity has the advantage of improving the coverage.Regularized submodular optimization models were developed in the latest studies(such as a house on fire),which aimed to sieve subsets with constraints to optimize regularized utilities.This study is motivated by the setting in which the input stream is partitioned into several disjoint parts,and each part has a limited size constraint.A first threshold-based bicriteria(1/3,2/3/)-approximation for the problem is provided.展开更多
There is a close relation between the characteristics of products and the chemical composition control of inclusions in steelmaking process. Therefore, it is very important for a warranty of product’s characteristics...There is a close relation between the characteristics of products and the chemical composition control of inclusions in steelmaking process. Therefore, it is very important for a warranty of product’s characteristics to improve inclusion quality resulting in defective products. In the present work, the control technique of inclusions’ chemical composition is discussed thermodynamically based on the Redlich-Kister type polynomial to metallic solution and regular solution model to molten oxide solution. It is very effective for the precise chemical composition control of oxides to determine the concentration of deoxidizers based on the thermodynamic relation among dissolved deoxidizers and oxygen, because it is known that oxide inclusions are equilibrated with them in molten steel in the steel making process. High alloy steel production process was focused in the present work.展开更多
We consider strongly nonlinear long waves on the surface of a homogeneous fluid layer.By modifying the formulation for the high-order spectral(HOS)method for waves in water of finite depth,we present a higher-order no...We consider strongly nonlinear long waves on the surface of a homogeneous fluid layer.By modifying the formulation for the high-order spectral(HOS)method for waves in water of finite depth,we present a higher-order nonlinear system for the surface elevation and the velocity potential on the free surface to describe the two-dimensional evolution of large amplitude long waves.It is shown that the resulting system preserves the Hamiltonian structure of the Euler equations and can be transformed to the strongly nonlinear long-wave model for the depth-averaged velocity.Due to truncation of the linear dispersion relation for water waves,both the system for the surface velocity potential and that for the depth-averaged velocity are ill-posed when the order of approximation is odd and even,respectively.To avoid this ill-posedness,fully dispersive models are also proposed.Under the same order approximation,the long-wave model is found more effective for numeral studies of large amplitude long waves than the finite-depth model.展开更多
文摘In view of the composition analysis and identification of ancient glass products, L1 regularization, K-Means cluster analysis, elbow rule and other methods were comprehensively used to build logical regression, cluster analysis, hyper-parameter test and other models, and SPSS, Python and other tools were used to obtain the classification rules of glass products under different fluxes, sub classification under different chemical compositions, hyper-parameter K value test and rationality analysis. Research can provide theoretical support for the protection and restoration of ancient glass relics.
文摘The modified sub regular solution model was used for a calculation of the activity coefficient of immiscible binary alloy systems. The parameters needed for the calculation are the interaction parameters, λ 1 and λ 2, which are represented as a linear function of temperature, T . The molar excess Gibbs free energy, G m E, can be written in the form G m E= x A x B[( λ 11 + λ 12 T )+( λ 21 + λ 22 T ) x B ] The calculation is carried out numerically for three immiscible binary alloy systems, Al Pb, Cu Tl and In V. The agreement between the calculated and experimentally determined values of activity coefficient is excellent.
文摘Bayesian regularized BP neural network(BRBPNN) technique was applied in the chlorophyll-α prediction of Nanzui water area in Dongting Lake. Through BP network interpolation method, the input and output samples of the network were obtained. After the selection of input variables using stepwise/multiple linear regression method in SPSS i1.0 software, the BRBPNN model was established between chlorophyll-α and environmental parameters, biological parameters. The achieved optimal network structure was 3-11-1 with the correlation coefficients and the mean square errors for the training set and the test set as 0.999 and 0.000?8426, 0.981 and 0.0216 respectively. The sum of square weights between each input neuron and the hidden layer of optimal BRBPNN models of different structures indicated that the effect of individual input parameter on chlorophyll- α declined in the order of alga amount 〉 secchi disc depth(SD) 〉 electrical conductivity (EC). Additionally, it also demonstrated that the contributions of these three factors were the maximal for the change of chlorophyll-α concentration, total phosphorus(TP) and total nitrogen(TN) were the minimal. All the results showed that BRBPNN model was capable of automated regularization parameter selection and thus it may ensure the excellent generation ability and robustness. Thus, this study laid the foundation for the application of BRBPNN model in the analysis of aquatic ecological data(chlorophyll-α prediction) and the explanation about the effective eutrophication treatment measures for Nanzui water area in Dongting Lake.
基金Sponsored by the National Natural Science Foundation of China(Grant No.11901561).
文摘Many methods have been put forward to solve unconstrained optimization problems,among which conjugate gradient method(CG)is very important.With the increasing emergence of large⁃scale problems,the subspace technology has become particularly important and widely used in the field of optimization.In this study,a new CG method was put forward,which combined subspace technology and a cubic regularization model.Besides,a special scaled norm in a cubic regularization model was analyzed.Under certain conditions,some significant characteristics of the search direction were given and the convergence of the algorithm was built.Numerical comparisons show that for the 145 test functions under the CUTEr library,the proposed method is better than two classical CG methods and two new subspaces conjugate gradient methods.
文摘Liver segmentation in CT images is an important step for liver volumetry and vascular evaluation in liver pre-surgical planning. In this paper, a segmentation method based on distance regularized level set evolution(DRLSE) model was proposed, which incorporated a distance regularization term into the conventional Chan-Vese (C-V) model. In addition, the region growing method was utilized to generate the initial liver mask for each slice, which could decrease the computation time for level-set propagation. The experimental results show that the method can dramatically decrease the evolving time and keep the accuracy of segmentation. The new method is averagely 15 times faster than the method based on conventional C-V model in segmenting a slice.
基金The National Natural Science Foundation of China(No.60702069)the Research Project of Department of Education of Zhe-jiang Province (No.20060601)+1 种基金the Natural Science Foundation of Zhe-jiang Province (No.Y1080851)Shanghai International Cooperation onRegion of France (No.06SR07109)
文摘In order to decrease the sensitivity of the constant scale parameter, adaptively optimize the scale parameter in the iteration regularization model (IRM) and attain a desirable level of applicability for image denoising, a novel IRM with the adaptive scale parameter is proposed. First, the classic regularization item is modified and the equation of the adaptive scale parameter is deduced. Then, the initial value of the varying scale parameter is obtained by the trend of the number of iterations and the scale parameter sequence vectors. Finally, the novel iterative regularization method is used for image denoising. Numerical experiments show that compared with the IRM with the constant scale parameter, the proposed method with the varying scale parameter can not only reduce the number of iterations when the scale parameter becomes smaller, but also efficiently remove noise when the scale parameter becomes bigger and well preserve the details of images.
文摘The T0 face equation of a Ti-Al-H alloy system was set up by the regular solution model,and the relationship between the β phase stabilizing parameter of hydrogen and the equilibrium phase compositions was attained.According to the T0 face equation and the thermodynamic parameters from literature,the effect of hydrogen on the β→α(α2) transformation temperature was evaluated.The calculated results were in a better consistence with the measured ones.
基金Project supported by the National Natural Science Foundation of China(No.10472061)Key Project of Shanghai Municipal Commission of Science and Technology(No.04JC14034)+1 种基金the Doctoral Foundation of Ministry of Education of China(No.20060280015)Shanghai Leading Academic Discipline Project(No.Y0103)
文摘The role-of-mixture approach has become one of the widely spread ways to investigate the mechanical properties of nano-materials and nano-structures, and it is very important for the simulation results to exactly compute phase volume fractions. The nanocrystalline (NC) materials are treated as three-phase composites consisting of grain core phase, grain boundary (GB) phase and triple junction phase, and a two-dimensional three-phase mixture regular polygon model is established to investigate the scale effect of mechanical properties of NC materials due to the geometrical polyhedron characteristics of crystal grain. For different multi-sided geometrical shapes of grains, the corresponding regular polygon model is adopted to obtain more precise phase volume fractions and exactly predict the mechanical properties of NC materials.
文摘Unified modeling language (UML) is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts.
基金This work was supported by the Beijing Natural Science Foundation Project(No.Z220004)the National Natural Science Foundation of China(Nos.11901544 and 12101587)the China Postdoctoral Science Foundation(No.2022M720329).
文摘In this work,we study a k-Cardinality Constrained Regularized Submodular Maximization(k-CCRSM)problem,in which the objective utility is expressed as the difference between a non-negative submodular and a modular function.No multiplicative approximation algorithm exists for the regularized model,and most works have focused on designing weak approximation algorithms for this problem.In this study,we consider the k-CCRSM problem in a streaming fashion,wherein the elements are assumed to be visited individually and cannot be entirely stored in memory.We propose two multipass streaming algorithms with theoretical guarantees for the above problem,wherein submodular terms are monotonic and nonmonotonic.
基金Sponsored by National Natural Science Foundation of China (50764006,50574045)Yunnan Basic Applied Research Foundation of China (2006E0021M)
文摘The activity of FetO is very important in ironmaking and steelmaking process. In order to predict the activ- ity of Fe, O and optimize the operation conditions in ironmaking and steelmaking process, by application of regular so lution model in molten slag systems, FeO-Fe2 O3-SIO2 ternary system, FeO-Fe2 O3-SiO2-CaO and FeO-Fe2 O3-SiO2-NiO quaternary systems have been studied by the chemical equilibrium between H2/H20 gas mixture and liquid slag con tained in solid iron. The values of interaction energy between cations concerning steelmaking slags have been deter- mined by application of ferric-ferrous iron equilibrium and iron-ferric iron equilibrium. And then the activity of Fe, O can be calculated. The results show that the relative error is 3.9% in FeO-Fe203-SiO2 system and 18% in FeO- Fe203-SiO2 CaO system. The prediction of activities of FetO in the systems are in good agreement with the measure- ments and the regular solution model is valid for predicting the activity of FetO in complex molten slags systems. The activity of Fe, O in FeO-Fe20a-NiO system have not been tested presently, and the calculated result can not be assessed.
基金This work was supported by the Beijing Natural Science Foundation Project(No.Z200002)the National Natural Science Foundation of China(Nos.12001523,12131003,and 12101587)+1 种基金the National Innovation and Entrepreneurship Training Program for College Students of Beijing University of Technology(No.GJDC-2022-01-39)the China Postdoctoral Science Foundation(No.2022M720329).
文摘Recent progress in maximizing submodular functions with a cardinality constraint through centralized and streaming modes has demonstrated a wide range of applications and also developed comprehensive theoretical guarantees.The submodularity was investigated to capture the diversity and representativeness of the utilities,and the monotonicity has the advantage of improving the coverage.Regularized submodular optimization models were developed in the latest studies(such as a house on fire),which aimed to sieve subsets with constraints to optimize regularized utilities.This study is motivated by the setting in which the input stream is partitioned into several disjoint parts,and each part has a limited size constraint.A first threshold-based bicriteria(1/3,2/3/)-approximation for the problem is provided.
文摘There is a close relation between the characteristics of products and the chemical composition control of inclusions in steelmaking process. Therefore, it is very important for a warranty of product’s characteristics to improve inclusion quality resulting in defective products. In the present work, the control technique of inclusions’ chemical composition is discussed thermodynamically based on the Redlich-Kister type polynomial to metallic solution and regular solution model to molten oxide solution. It is very effective for the precise chemical composition control of oxides to determine the concentration of deoxidizers based on the thermodynamic relation among dissolved deoxidizers and oxygen, because it is known that oxide inclusions are equilibrated with them in molten steel in the steel making process. High alloy steel production process was focused in the present work.
基金This work was supported by the US National Science Foundation(Grant Nos.DMS-1517456,OCE-1634939)I am grateful to Prof.Theodore Y.Wu who has provided continuous encouragement and advice since I joined his research group in 1988 as a Ph.D.student.
文摘We consider strongly nonlinear long waves on the surface of a homogeneous fluid layer.By modifying the formulation for the high-order spectral(HOS)method for waves in water of finite depth,we present a higher-order nonlinear system for the surface elevation and the velocity potential on the free surface to describe the two-dimensional evolution of large amplitude long waves.It is shown that the resulting system preserves the Hamiltonian structure of the Euler equations and can be transformed to the strongly nonlinear long-wave model for the depth-averaged velocity.Due to truncation of the linear dispersion relation for water waves,both the system for the surface velocity potential and that for the depth-averaged velocity are ill-posed when the order of approximation is odd and even,respectively.To avoid this ill-posedness,fully dispersive models are also proposed.Under the same order approximation,the long-wave model is found more effective for numeral studies of large amplitude long waves than the finite-depth model.