The scroll expander,as the core component of the micro-compressed air energy storage and power generation system,directly affects the output efficiency of the system.Meanwhile,the scroll profile plays a central role i...The scroll expander,as the core component of the micro-compressed air energy storage and power generation system,directly affects the output efficiency of the system.Meanwhile,the scroll profile plays a central role in determining the output performance of the scroll expander.In this study,in order to investigate the output characteristics of a variable cross-section scroll expander,numerical simulation and experimental studies were con-ducted by using Computational Fluid Dynamics(CFD)methods and dynamic mesh techniques.The impact of critical parameters on the output performance of the scroll expander was analyzed through the utilization of the control variable method.It is found that increasing the inlet pressure and temperature within a certain range can improve the output power of the scroll expander.However,the increase in temperature and meshing clearance leads to a decline in the overall output performance of the scroll expander,leading to a decrease in volumetric efficiency by 8.43%and 12.79%,respectively.The experiments demonstrate that under equal inlet pressure conditions,increasing the inlet temperature elevates both the rotational speed and torque output of the scroll expander.Specifically,compared to operating at normal temperatures,the output torque increases by 21.8%under high-temperature conditions.However,the rate of speed and torque variation decreases as a consequence of enlarged meshing clearance,resulting in increased internal leakage and reduction in isentropic efficiency.展开更多
We construct an involution over Dyck paths,which implies the distribution of statistics“the number of peak”,“the number of returns”and“the height of the last peak”.As an application,equidistributions of several ...We construct an involution over Dyck paths,which implies the distribution of statistics“the number of peak”,“the number of returns”and“the height of the last peak”.As an application,equidistributions of several Stirling statistics over 132-avoiding and 321-avoiding permutations are presented.展开更多
Gears are pivotal in mechanical drives,and gear contact analysis is a typically difficult problem to solve.Emerging isogeometric analysis(IGA)methods have developed new ideas to solve this problem.In this paper,a thre...Gears are pivotal in mechanical drives,and gear contact analysis is a typically difficult problem to solve.Emerging isogeometric analysis(IGA)methods have developed new ideas to solve this problem.In this paper,a threedimensional body parametric gear model of IGA is established,and a theoretical formula is derived to realize single-tooth contact analysis.Results were benchmarked against those obtained from commercial software utilizing the finite element analysis(FEA)method to validate the accuracy of our approach.Our findings indicate that the IGA-based contact algorithmsuccessfullymet theHertz contact test.When juxtaposed with the FEA approach,the IGAmethod demonstrated fewer node degrees of freedomand reduced computational units,all whilemaintaining comparable accuracy.Notably,the IGA method appeared to exhibit consistency in analysis accuracy irrespective of computational unit density,and also significantlymitigated non-physical oscillations in contact stress across the tooth width.This underscores the prowess of IGA in contact analysis.In conclusion,IGA emerges as a potent tool for addressing contact analysis challenges and holds significant promise for 3D gear modeling,simulation,and optimization of various mechanical components.展开更多
This paper presents a high-order discontinuous Galerkin(DG)finite-element method to solve the barotropic version of the conservative symmetric hyperbolic and thermodynamically compatible(SHTC)model of compressible two...This paper presents a high-order discontinuous Galerkin(DG)finite-element method to solve the barotropic version of the conservative symmetric hyperbolic and thermodynamically compatible(SHTC)model of compressible two-phase flow,introduced by Romenski et al.in[59,62],in multiple space dimensions.In the absence of algebraic source terms,the model is endowed with a curl constraint on the relative velocity field.In this paper,the hyperbolicity of the system is studied for the first time in the multidimensional case,showing that the original model is only weakly hyperbolic in multiple space dimensions.To restore the strong hyperbolicity,two different methodologies are used:(i)the explicit symmetrization of the system,which can be achieved by adding terms that contain linear combinations of the curl involution,similar to the Godunov-Powell terms in the MHD equations;(ii)the use of the hyperbolic generalized Lagrangian multiplier(GLM)curl-cleaning approach forwarded.The PDE system is solved using a high-order ADER-DG method with a posteriori subcell finite-volume limiter to deal with shock waves and the steep gradients in the volume fraction commonly appearing in the solutions of this type of model.To illustrate the performance of the method,several different test cases and benchmark problems have been run,showing the high order of the scheme and the good agreement when compared to reference solutions computed with other well-known methods.展开更多
针对从视频中恢复三维人体模型运动序列时,由于图像特征提取能力有限而导致三维人体模型运动序列重建效果不佳的问题,提出了一种基于Involution卷积的三维人体重建方法。首先为了引入自注意力机制,在ResNet50网络结构中加入Involution算...针对从视频中恢复三维人体模型运动序列时,由于图像特征提取能力有限而导致三维人体模型运动序列重建效果不佳的问题,提出了一种基于Involution卷积的三维人体重建方法。首先为了引入自注意力机制,在ResNet50网络结构中加入Involution算子,获取视频图像帧的特征向量,然后使用姿态估计网络和形状估计网络获取人体姿势以及形状参数,最后使用蒙皮多人线性模型(skinned multi-person linear model, SMPL)生成三维人体模型的运动序列。在三维姿态户外数据集(3D pose in the wild, 3DPW)上与视频人体姿态形状估计推理(video inference for body pose and shape estimation, VIBE)方法以及时间一致性网格恢复(temporally consistent mesh recovery, TCMR)方法进行对比实验,平均精度相比于VIBE、TCMR分别提升了3.1%、0.7%,能够为运动捕捉、三维人体动画制作等工作提供更为准确的三维人体模型。展开更多
A few physicists have recently constructed the generating compatibility conditions (CC) of the Killing operator for the Minkowski (M), Schwarzschild (S) and Kerr (K) metrics. They discovered second order CC, well know...A few physicists have recently constructed the generating compatibility conditions (CC) of the Killing operator for the Minkowski (M), Schwarzschild (S) and Kerr (K) metrics. They discovered second order CC, well known for M, but also third order CC for S and K. In a recent paper (DOI:10.4236/jmp.2018.910125) we have studied the cases of M and S, without using specific technical tools such as Teukolski scalars or Killing-Yano tensors. However, even if S(<em>m</em>) and K(<em>m</em>, <em>a</em>) are depending on constant parameters in such a way that S <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span></span> M when <em>m</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span></span> 0 and K<span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span><span style="white-space:nowrap;"><span style="white-space:nowrap;"></span></span> S when <em>a</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span></span> 0, the CC of S do not provide the CC of M when <em>m</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span> 0 while the CC of K do not provide the CC of S when a <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span> 0. In this paper, using tricky motivating examples of operators with constant or variable parameters, we explain why the CC are depending on the choice of the parameters. In particular, the only purely intrinsic objects that can be defined, namely the extension modules, may change drastically. As the algebroid bracket is compatible with the <em>prolongation/projection</em> (PP) procedure, we provide for the first time all the CC for K in an intrinsic way, showing that they only depend on the underlying Killing algebra and that the role played by the Spencer operator is crucial. We get K < S < M with 2 < 4 < 10 for the Killing algebras and explain why the formal search of the CC for M, S or K are strikingly different, even if each Spencer sequence is isomorphic to the tensor product of the Poincaré sequence for the exterior derivative by the corresponding Lie algebra.展开更多
The search for the generating compatibility conditions (CC) of a given operator is a very recent problem met in general relativity in order to study the Killing operator for various standard useful metrics. Accordingl...The search for the generating compatibility conditions (CC) of a given operator is a very recent problem met in general relativity in order to study the Killing operator for various standard useful metrics. Accordingly, this paper can be considered as a natural continuation of a previous paper recently published in JMP under the title Minkowski, Schwarschild and Kerr metrics revisited. In particular, we prove that the intrinsic link existing between the lack of formal exactness of an operator sequence on the jet level, the lack of formal exactness of its corresponding symbol sequence and the lack of formal integrability (FI) of the initial operator is of a purely homological nature as it is based on the long exact connecting sequence provided by the so-called snake lemma in homological algebra. It is therefore quite difficult to grasp it in general and even more difficult to use it on explicit examples. It does not seem that any one of the results presented in this paper is known as most of the other authors who studied the above problem of computing the total number of generating CC are confusing this number with the degree of generality introduced by A. Einstein in his 1930 letters to E. Cartan. One of the motivating examples that we provide is so striking that it is even difficult to imagine that such an example could exist. We hope this paper could be used as a source of testing examples for future applications of computer algebra in general relativity and, more generally, in mathematical physics.展开更多
Finite-dimensional integrable Hamiltonian systems, obtained through the non- linearization of the 3×3 spectral problems associated with the Manakov and the derivative Manakov equations, are investigated. A genera...Finite-dimensional integrable Hamiltonian systems, obtained through the non- linearization of the 3×3 spectral problems associated with the Manakov and the derivative Manakov equations, are investigated. A generating function method is used to give a simple and effective way to prove the involutivity of integrals. Finite-parameter solutions of the Manakov and the derivative Manakov equations are calculated based on the commutative systems of ordinary differential equations with these integrals as Hamiltonians.展开更多
With a special matter, Chinese literature has differences with traditional theories from western countries in essence, so that Chinese literature demonstrates its renovation and involution. The main reason is its tren...With a special matter, Chinese literature has differences with traditional theories from western countries in essence, so that Chinese literature demonstrates its renovation and involution. The main reason is its trends of modernity. The transformation from oversea exchange is very important. This paper mainly explains the specific content of paradox of Chinese literature in mo dernity, and explores the reasons for differences between China and western countries.展开更多
Our recent arXiv preprints and published papers on the solution of the Riemann-Lanczos and Weyl-Lanczos problems have brought our attention on the importance of revisiting the algebraic structure of the Bianchi identi...Our recent arXiv preprints and published papers on the solution of the Riemann-Lanczos and Weyl-Lanczos problems have brought our attention on the importance of revisiting the algebraic structure of the Bianchi identities in Riemannian geometry. We also discovered in the meantime that, in our first GB book of 1978, we had already used a new way for studying the compatibility conditions (CC) of an operator that may not be necessarily formally integrable (FI) in order to construct canonical formally exact differential sequences on the jet level. The purpose of this paper is to prove that the combination of these two facts clearly shows the specific importance of the Spencer operator and the Spencer δ-cohomology, totally absent from mathematical physics today. The results obtained are unavoidable because they only depend on elementary combinatorics and diagram chasing. They also provide for the first time the purely intrinsic interpretation of the respective numbers of successive first, second, third and higher order generating CC. However, if they of course agree with the linearized Killing operator over the Minkowski metric, they largely disagree with recent publications on the respective numbers of generating CC for the linearized Killing operator over the Schwarzschild and Kerr metrics. Many similar examples are illustrating these new techniques, providing in particular a few resolutions in which the orders of the successive operators may go “up and down” surprisingly, like in the conformal situation for various dimensions.展开更多
针对一般手势识别算法的参数量、计算量和精度难以平衡的问题,提出一种轻量化篮球裁判手势识别算法。该算法在YOLOV5s(You Only Look Once Version 5s)算法的基础上进行重构:首先,用Involution算子替代CSP1_1的卷积算子,以扩大上下文信...针对一般手势识别算法的参数量、计算量和精度难以平衡的问题,提出一种轻量化篮球裁判手势识别算法。该算法在YOLOV5s(You Only Look Once Version 5s)算法的基础上进行重构:首先,用Involution算子替代CSP1_1的卷积算子,以扩大上下文信息捕获范围并减少核冗余;其次,在C3模块后加入协同注意力(CA)机制,以得到更强的手势特征提取能力;然后,用轻量化内容感知上采样算子改进原始上采样模块,并将采样点集中在目标区域而忽略背景部分;最后,利用以SiLU作为激活函数的Ghost-Net进行轻量化剪枝。在自制的篮球裁判手势数据集上的实验结果表明,该轻量化篮球裁判手势识别算法的计算量、参数量和模型大小分别为3.3 GFLOPs、4.0×10^(6)和8.5 MB,与YOLOV5s算法相比,分别减少了79%、44%和40%,mAP@0.5为91.7%,在分辨率为1920×1280的比赛视频上的检测帧率达到89.3 frame/s,证明该算法能满足低误差、高帧率和轻量化的要求。展开更多
基金funded by the National Key Research and Development Program of China(No.2024YFE0208100).
文摘The scroll expander,as the core component of the micro-compressed air energy storage and power generation system,directly affects the output efficiency of the system.Meanwhile,the scroll profile plays a central role in determining the output performance of the scroll expander.In this study,in order to investigate the output characteristics of a variable cross-section scroll expander,numerical simulation and experimental studies were con-ducted by using Computational Fluid Dynamics(CFD)methods and dynamic mesh techniques.The impact of critical parameters on the output performance of the scroll expander was analyzed through the utilization of the control variable method.It is found that increasing the inlet pressure and temperature within a certain range can improve the output power of the scroll expander.However,the increase in temperature and meshing clearance leads to a decline in the overall output performance of the scroll expander,leading to a decrease in volumetric efficiency by 8.43%and 12.79%,respectively.The experiments demonstrate that under equal inlet pressure conditions,increasing the inlet temperature elevates both the rotational speed and torque output of the scroll expander.Specifically,compared to operating at normal temperatures,the output torque increases by 21.8%under high-temperature conditions.However,the rate of speed and torque variation decreases as a consequence of enlarged meshing clearance,resulting in increased internal leakage and reduction in isentropic efficiency.
基金National Natural Science Foundation of China(Grant No.11701420)。
文摘We construct an involution over Dyck paths,which implies the distribution of statistics“the number of peak”,“the number of returns”and“the height of the last peak”.As an application,equidistributions of several Stirling statistics over 132-avoiding and 321-avoiding permutations are presented.
基金support provided by the National Nature Science Foundation of China (Grant Nos.52075340,51875360)Project of Science and Technology Commission of Shanghai Municipality (No.19060502300).
文摘Gears are pivotal in mechanical drives,and gear contact analysis is a typically difficult problem to solve.Emerging isogeometric analysis(IGA)methods have developed new ideas to solve this problem.In this paper,a threedimensional body parametric gear model of IGA is established,and a theoretical formula is derived to realize single-tooth contact analysis.Results were benchmarked against those obtained from commercial software utilizing the finite element analysis(FEA)method to validate the accuracy of our approach.Our findings indicate that the IGA-based contact algorithmsuccessfullymet theHertz contact test.When juxtaposed with the FEA approach,the IGAmethod demonstrated fewer node degrees of freedomand reduced computational units,all whilemaintaining comparable accuracy.Notably,the IGA method appeared to exhibit consistency in analysis accuracy irrespective of computational unit density,and also significantlymitigated non-physical oscillations in contact stress across the tooth width.This underscores the prowess of IGA in contact analysis.In conclusion,IGA emerges as a potent tool for addressing contact analysis challenges and holds significant promise for 3D gear modeling,simulation,and optimization of various mechanical components.
基金Initiative 2018–2027 attributed to DICAM of the University of Trento(grant L.232/2016)the PRIN 2022 project High-order structure-preserving semi-implicit schemes for hyperbolic equations and by the European Union-Next GenerationEU(PNRR,Spoke 7 CN HPC).
文摘This paper presents a high-order discontinuous Galerkin(DG)finite-element method to solve the barotropic version of the conservative symmetric hyperbolic and thermodynamically compatible(SHTC)model of compressible two-phase flow,introduced by Romenski et al.in[59,62],in multiple space dimensions.In the absence of algebraic source terms,the model is endowed with a curl constraint on the relative velocity field.In this paper,the hyperbolicity of the system is studied for the first time in the multidimensional case,showing that the original model is only weakly hyperbolic in multiple space dimensions.To restore the strong hyperbolicity,two different methodologies are used:(i)the explicit symmetrization of the system,which can be achieved by adding terms that contain linear combinations of the curl involution,similar to the Godunov-Powell terms in the MHD equations;(ii)the use of the hyperbolic generalized Lagrangian multiplier(GLM)curl-cleaning approach forwarded.The PDE system is solved using a high-order ADER-DG method with a posteriori subcell finite-volume limiter to deal with shock waves and the steep gradients in the volume fraction commonly appearing in the solutions of this type of model.To illustrate the performance of the method,several different test cases and benchmark problems have been run,showing the high order of the scheme and the good agreement when compared to reference solutions computed with other well-known methods.
文摘针对从视频中恢复三维人体模型运动序列时,由于图像特征提取能力有限而导致三维人体模型运动序列重建效果不佳的问题,提出了一种基于Involution卷积的三维人体重建方法。首先为了引入自注意力机制,在ResNet50网络结构中加入Involution算子,获取视频图像帧的特征向量,然后使用姿态估计网络和形状估计网络获取人体姿势以及形状参数,最后使用蒙皮多人线性模型(skinned multi-person linear model, SMPL)生成三维人体模型的运动序列。在三维姿态户外数据集(3D pose in the wild, 3DPW)上与视频人体姿态形状估计推理(video inference for body pose and shape estimation, VIBE)方法以及时间一致性网格恢复(temporally consistent mesh recovery, TCMR)方法进行对比实验,平均精度相比于VIBE、TCMR分别提升了3.1%、0.7%,能够为运动捕捉、三维人体动画制作等工作提供更为准确的三维人体模型。
文摘A few physicists have recently constructed the generating compatibility conditions (CC) of the Killing operator for the Minkowski (M), Schwarzschild (S) and Kerr (K) metrics. They discovered second order CC, well known for M, but also third order CC for S and K. In a recent paper (DOI:10.4236/jmp.2018.910125) we have studied the cases of M and S, without using specific technical tools such as Teukolski scalars or Killing-Yano tensors. However, even if S(<em>m</em>) and K(<em>m</em>, <em>a</em>) are depending on constant parameters in such a way that S <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span></span> M when <em>m</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span></span> 0 and K<span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span><span style="white-space:nowrap;"><span style="white-space:nowrap;"></span></span> S when <em>a</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span></span> 0, the CC of S do not provide the CC of M when <em>m</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span> 0 while the CC of K do not provide the CC of S when a <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span> 0. In this paper, using tricky motivating examples of operators with constant or variable parameters, we explain why the CC are depending on the choice of the parameters. In particular, the only purely intrinsic objects that can be defined, namely the extension modules, may change drastically. As the algebroid bracket is compatible with the <em>prolongation/projection</em> (PP) procedure, we provide for the first time all the CC for K in an intrinsic way, showing that they only depend on the underlying Killing algebra and that the role played by the Spencer operator is crucial. We get K < S < M with 2 < 4 < 10 for the Killing algebras and explain why the formal search of the CC for M, S or K are strikingly different, even if each Spencer sequence is isomorphic to the tensor product of the Poincaré sequence for the exterior derivative by the corresponding Lie algebra.
文摘The search for the generating compatibility conditions (CC) of a given operator is a very recent problem met in general relativity in order to study the Killing operator for various standard useful metrics. Accordingly, this paper can be considered as a natural continuation of a previous paper recently published in JMP under the title Minkowski, Schwarschild and Kerr metrics revisited. In particular, we prove that the intrinsic link existing between the lack of formal exactness of an operator sequence on the jet level, the lack of formal exactness of its corresponding symbol sequence and the lack of formal integrability (FI) of the initial operator is of a purely homological nature as it is based on the long exact connecting sequence provided by the so-called snake lemma in homological algebra. It is therefore quite difficult to grasp it in general and even more difficult to use it on explicit examples. It does not seem that any one of the results presented in this paper is known as most of the other authors who studied the above problem of computing the total number of generating CC are confusing this number with the degree of generality introduced by A. Einstein in his 1930 letters to E. Cartan. One of the motivating examples that we provide is so striking that it is even difficult to imagine that such an example could exist. We hope this paper could be used as a source of testing examples for future applications of computer algebra in general relativity and, more generally, in mathematical physics.
基金Supported by the Special Funds for Major State Basic Research Project of China(G20000077301)
文摘Finite-dimensional integrable Hamiltonian systems, obtained through the non- linearization of the 3×3 spectral problems associated with the Manakov and the derivative Manakov equations, are investigated. A generating function method is used to give a simple and effective way to prove the involutivity of integrals. Finite-parameter solutions of the Manakov and the derivative Manakov equations are calculated based on the commutative systems of ordinary differential equations with these integrals as Hamiltonians.
文摘With a special matter, Chinese literature has differences with traditional theories from western countries in essence, so that Chinese literature demonstrates its renovation and involution. The main reason is its trends of modernity. The transformation from oversea exchange is very important. This paper mainly explains the specific content of paradox of Chinese literature in mo dernity, and explores the reasons for differences between China and western countries.
文摘Our recent arXiv preprints and published papers on the solution of the Riemann-Lanczos and Weyl-Lanczos problems have brought our attention on the importance of revisiting the algebraic structure of the Bianchi identities in Riemannian geometry. We also discovered in the meantime that, in our first GB book of 1978, we had already used a new way for studying the compatibility conditions (CC) of an operator that may not be necessarily formally integrable (FI) in order to construct canonical formally exact differential sequences on the jet level. The purpose of this paper is to prove that the combination of these two facts clearly shows the specific importance of the Spencer operator and the Spencer δ-cohomology, totally absent from mathematical physics today. The results obtained are unavoidable because they only depend on elementary combinatorics and diagram chasing. They also provide for the first time the purely intrinsic interpretation of the respective numbers of successive first, second, third and higher order generating CC. However, if they of course agree with the linearized Killing operator over the Minkowski metric, they largely disagree with recent publications on the respective numbers of generating CC for the linearized Killing operator over the Schwarzschild and Kerr metrics. Many similar examples are illustrating these new techniques, providing in particular a few resolutions in which the orders of the successive operators may go “up and down” surprisingly, like in the conformal situation for various dimensions.
文摘针对一般手势识别算法的参数量、计算量和精度难以平衡的问题,提出一种轻量化篮球裁判手势识别算法。该算法在YOLOV5s(You Only Look Once Version 5s)算法的基础上进行重构:首先,用Involution算子替代CSP1_1的卷积算子,以扩大上下文信息捕获范围并减少核冗余;其次,在C3模块后加入协同注意力(CA)机制,以得到更强的手势特征提取能力;然后,用轻量化内容感知上采样算子改进原始上采样模块,并将采样点集中在目标区域而忽略背景部分;最后,利用以SiLU作为激活函数的Ghost-Net进行轻量化剪枝。在自制的篮球裁判手势数据集上的实验结果表明,该轻量化篮球裁判手势识别算法的计算量、参数量和模型大小分别为3.3 GFLOPs、4.0×10^(6)和8.5 MB,与YOLOV5s算法相比,分别减少了79%、44%和40%,mAP@0.5为91.7%,在分辨率为1920×1280的比赛视频上的检测帧率达到89.3 frame/s,证明该算法能满足低误差、高帧率和轻量化的要求。
