Dear Editor,This letter introduces the counterfactual-guided implicit correspondence prompting(CICP)framework,designed for visible-infrared person re-identification(VI-ReID)within Industry 5.0 intelligent control syst...Dear Editor,This letter introduces the counterfactual-guided implicit correspondence prompting(CICP)framework,designed for visible-infrared person re-identification(VI-ReID)within Industry 5.0 intelligent control systems.CICP advances recognition accuracy in complex industrial environments through its innovative approach to handling modality-specific features and their implicit relationships.展开更多
The role of grammar in language teaching has always been the question that researchers debate.In recent years,grammar knowledge has been distinguished in the foreign language acquisition research,namely the implicit k...The role of grammar in language teaching has always been the question that researchers debate.In recent years,grammar knowledge has been distinguished in the foreign language acquisition research,namely the implicit knowledge and the explicit knowledge(Dai Manchun 2005;Gu Qiyi 2005).As to the reaserch of implicit and explicit grammar knowledge as well as their measurement,it is easy to find that many scholars have studied the role of two different kinds of grammar knowledge in second language development.But the research on the role of implicit and explicit grammar knowledge in second language reading comprehension is too few,not to mention the research on the role of implicit and explicit grammar knowledge in English reading comprehension in the senior high school.The purpose of this study is to find the relationship between implicit and explicit grammatical knowledge and English reading comprehension ability of senior high school students.In addition,since the vocabulary is important to reading comprehension,this factor will also be considered in the study.展开更多
A two-dimensional computational model is develope for the calulation of tides, storm surges and otherlong-period waves in coastal and shelf waters. The Partial differental equations are approximated by two sets of dif...A two-dimensional computational model is develope for the calulation of tides, storm surges and otherlong-period waves in coastal and shelf waters. The Partial differental equations are approximated by two sets of difference equations on a space-staggered grid system. Both sets are explicit with one set for water level and x-component velocity, and another for water level and y-component velocity. These two sets are used successively for stepby-step solution in time. An analytical investigation on the linearized sets of the difference equations indicates that thecomputational scheme is unconditionally stable. The model is of second order accuracy both in space and in time andconserves mass and momentum. Simulations of surface elevation caused by periodic forcing in one-opening rectangularbasin with flat topography and by steady wind stress in the basin with flat or slope topography show that the computed results are in excellent agreement with the corresponding analytic solutions. The steady-tate wind-induced setupin a ofed basin with discontinuous topography computed with the present model are also in excellent agreement withthe results from Leendertse's model. Finally, the model is applied to hindcast a storm surge in the South China Seaand reproduces the surge elevation satisfactorily.展开更多
Thermostamping of thermoplastic matrix composites is a process where a preheated blank is rapidly shaped in a cold matching mould. Predictive modelling of the main physical phenomena occurring in this process requires...Thermostamping of thermoplastic matrix composites is a process where a preheated blank is rapidly shaped in a cold matching mould. Predictive modelling of the main physical phenomena occurring in this process requires an accurate prediction of the temperature field. In this paper, a numerical method is proposed to simulate this heat transfer. The initial three-dimensional heat equation is handled using an additive decomposition, a thin shell assumption, and an operator splitting strategy. An adapted resolution algorithm is then presented. It results in an alternate direction implicit decomposition: the problem is solved successively as a 2D surface problem and several one-dimensional through thickness problems. The strategy was fully validated versus a 3D calculation on a simple test case and the proposed strategy is shown to enable a tremendous calculation speed up. The limits of applicability of this method are investigated with two parametric studies, one on the thickness to width ratio and the other one on the effect of curvature. These conditions are usually fulfilled in industrial cases. Finally, even though the method was developed under linear assumption (constant material properties), the strategy validity is extended to multiply, temperature dependant (nonlinear) case using an industrial test case. Because of the standard methods involved, the proposed ADI method can readily be implemented in existing software.展开更多
In this paper,we present an approach for smooth surface reconstructions interpolating triangular meshes with ar-bitrary topology and geometry.The approach is based on the well-known radial basis functions(RBFs)and the...In this paper,we present an approach for smooth surface reconstructions interpolating triangular meshes with ar-bitrary topology and geometry.The approach is based on the well-known radial basis functions(RBFs)and the constructed surfaces are generalized thin-plate spline surfaces.Our algorithm first defines a pair of offset points for each vertex of a given mesh to en-hance the controUability of local geometry and to assure stability of the construction.A linear system is then solved by LU decomposi-tion and the implicit governing equation of interpolating surface is obtained.The constructed surfaces finally are visualized by a Marching Cubes based polygonizer.The approach provides a robust and efficient solution for smooth surface reconstruction from various 3 D meshes.展开更多
高中生物数字化信息系统(digital information system, DIS)实验是指纳入高中生物实验项目的以传感器技术为基础的实验,具有实验精度高、实施效果好等特点,有利于培养学生的证据意识和创新思维、提高学生的科学论证能力和科学探究能力,...高中生物数字化信息系统(digital information system, DIS)实验是指纳入高中生物实验项目的以传感器技术为基础的实验,具有实验精度高、实施效果好等特点,有利于培养学生的证据意识和创新思维、提高学生的科学论证能力和科学探究能力,很受老师和学生欢迎。论证式探究(argument-driven inquiry, ADI)教学策略是一种将论证与探究相融合的教学策略,十分注重培养学生的科学论证能力以及质疑和辩驳能力。通过剖析高中生物DIS实验的特点及其教学理论基础,深入解读高中生物ADI教学策略的环节构成、核心要素、典型特征及理论内涵,进而阐明ADI教学策略在高中生物DIS实验教学中的独特应用优势,针对性地提出了实施高中生物DIS实验ADI教学的优化策略,以期助力一线生物教师在实际教学中有效运用ADI教学策略。展开更多
We propose a suite of strategies for the parallel solution of fully implicit monolithic fluid-structure interaction(FSI).The solver is based on a modeling approach that uses the velocity and pressure as the primitive ...We propose a suite of strategies for the parallel solution of fully implicit monolithic fluid-structure interaction(FSI).The solver is based on a modeling approach that uses the velocity and pressure as the primitive variables,which offers a bridge between computational fluid dynamics(CFD)and computational structural dynamics.The spatiotemporal discretization leverages the variational multiscale formulation and the generalized-αmethod as a means of providing a robust discrete scheme.In particular,the time integration scheme does not suffer from the overshoot phenomenon and optimally dissipates high-frequency spurious modes in both subproblems of FSI.Based on the chosen fully implicit scheme,we systematically develop a combined suite of nonlinear and linear solver strategies.Invoking a block factorization of the Jacobian matrix,the Newton-Raphson procedure is reduced to solving two smaller linear systems in the multi-corrector stage.The first is of the elliptic type,indicating that the algebraic multigrid method serves as a well-suited option.The second exhibits a two-by-two block structure that is analogous to the system arising in CFD.Inspired by prior studies,the additive Schwarz domain decomposition method and the block-factorization-based preconditioners are invoked to address the linear problem.Since the number of unknowns matches in both subdomains,it is straightforward to balance loads when parallelizing the algorithm for distributed-memory architectures.We use two representative FSI benchmarks to demonstrate the robustness,efficiency,and scalability of the overall FSI solver framework.In particular,it is found that the developed FSI solver is comparable to the CFD solver in several aspects,including fixed-size and isogranular scalability as well as robustness.展开更多
基金supported in part by the National Natural Science Foundation of China(62406177)the Shandong Excellent Young Scientists Fund(Oversea)(2024HWYQ-027)+1 种基金the Natural Science Foundation of Shandong Province(ZR2023QF124)the Young Scholars Program of Shandong University。
文摘Dear Editor,This letter introduces the counterfactual-guided implicit correspondence prompting(CICP)framework,designed for visible-infrared person re-identification(VI-ReID)within Industry 5.0 intelligent control systems.CICP advances recognition accuracy in complex industrial environments through its innovative approach to handling modality-specific features and their implicit relationships.
文摘The role of grammar in language teaching has always been the question that researchers debate.In recent years,grammar knowledge has been distinguished in the foreign language acquisition research,namely the implicit knowledge and the explicit knowledge(Dai Manchun 2005;Gu Qiyi 2005).As to the reaserch of implicit and explicit grammar knowledge as well as their measurement,it is easy to find that many scholars have studied the role of two different kinds of grammar knowledge in second language development.But the research on the role of implicit and explicit grammar knowledge in second language reading comprehension is too few,not to mention the research on the role of implicit and explicit grammar knowledge in English reading comprehension in the senior high school.The purpose of this study is to find the relationship between implicit and explicit grammatical knowledge and English reading comprehension ability of senior high school students.In addition,since the vocabulary is important to reading comprehension,this factor will also be considered in the study.
文摘A two-dimensional computational model is develope for the calulation of tides, storm surges and otherlong-period waves in coastal and shelf waters. The Partial differental equations are approximated by two sets of difference equations on a space-staggered grid system. Both sets are explicit with one set for water level and x-component velocity, and another for water level and y-component velocity. These two sets are used successively for stepby-step solution in time. An analytical investigation on the linearized sets of the difference equations indicates that thecomputational scheme is unconditionally stable. The model is of second order accuracy both in space and in time andconserves mass and momentum. Simulations of surface elevation caused by periodic forcing in one-opening rectangularbasin with flat topography and by steady wind stress in the basin with flat or slope topography show that the computed results are in excellent agreement with the corresponding analytic solutions. The steady-tate wind-induced setupin a ofed basin with discontinuous topography computed with the present model are also in excellent agreement withthe results from Leendertse's model. Finally, the model is applied to hindcast a storm surge in the South China Seaand reproduces the surge elevation satisfactorily.
文摘Thermostamping of thermoplastic matrix composites is a process where a preheated blank is rapidly shaped in a cold matching mould. Predictive modelling of the main physical phenomena occurring in this process requires an accurate prediction of the temperature field. In this paper, a numerical method is proposed to simulate this heat transfer. The initial three-dimensional heat equation is handled using an additive decomposition, a thin shell assumption, and an operator splitting strategy. An adapted resolution algorithm is then presented. It results in an alternate direction implicit decomposition: the problem is solved successively as a 2D surface problem and several one-dimensional through thickness problems. The strategy was fully validated versus a 3D calculation on a simple test case and the proposed strategy is shown to enable a tremendous calculation speed up. The limits of applicability of this method are investigated with two parametric studies, one on the thickness to width ratio and the other one on the effect of curvature. These conditions are usually fulfilled in industrial cases. Finally, even though the method was developed under linear assumption (constant material properties), the strategy validity is extended to multiply, temperature dependant (nonlinear) case using an industrial test case. Because of the standard methods involved, the proposed ADI method can readily be implemented in existing software.
基金This work presented in this paper is supported by research grant of National Natural Science Foundation ofChina(No.60503058).
文摘In this paper,we present an approach for smooth surface reconstructions interpolating triangular meshes with ar-bitrary topology and geometry.The approach is based on the well-known radial basis functions(RBFs)and the constructed surfaces are generalized thin-plate spline surfaces.Our algorithm first defines a pair of offset points for each vertex of a given mesh to en-hance the controUability of local geometry and to assure stability of the construction.A linear system is then solved by LU decomposi-tion and the implicit governing equation of interpolating surface is obtained.The constructed surfaces finally are visualized by a Marching Cubes based polygonizer.The approach provides a robust and efficient solution for smooth surface reconstruction from various 3 D meshes.
基金This work was supported by the National Natural Science Foundation of China(Grant No.12172160)Shenzhen Science and Technology Program(Grant No.JCYJ20220818100600002)+1 种基金South-ern University of Science and Technology(Grant No.Y01326127)the Department of Science and Technology of Guangdong Province(Grant Nos.2020B1212030001 and 2021QN020642).
文摘We propose a suite of strategies for the parallel solution of fully implicit monolithic fluid-structure interaction(FSI).The solver is based on a modeling approach that uses the velocity and pressure as the primitive variables,which offers a bridge between computational fluid dynamics(CFD)and computational structural dynamics.The spatiotemporal discretization leverages the variational multiscale formulation and the generalized-αmethod as a means of providing a robust discrete scheme.In particular,the time integration scheme does not suffer from the overshoot phenomenon and optimally dissipates high-frequency spurious modes in both subproblems of FSI.Based on the chosen fully implicit scheme,we systematically develop a combined suite of nonlinear and linear solver strategies.Invoking a block factorization of the Jacobian matrix,the Newton-Raphson procedure is reduced to solving two smaller linear systems in the multi-corrector stage.The first is of the elliptic type,indicating that the algebraic multigrid method serves as a well-suited option.The second exhibits a two-by-two block structure that is analogous to the system arising in CFD.Inspired by prior studies,the additive Schwarz domain decomposition method and the block-factorization-based preconditioners are invoked to address the linear problem.Since the number of unknowns matches in both subdomains,it is straightforward to balance loads when parallelizing the algorithm for distributed-memory architectures.We use two representative FSI benchmarks to demonstrate the robustness,efficiency,and scalability of the overall FSI solver framework.In particular,it is found that the developed FSI solver is comparable to the CFD solver in several aspects,including fixed-size and isogranular scalability as well as robustness.
