This paper presents a model-based framework for the dynamic verification of spacecraft systems,which tightly integrates an executable systems modeling language architectural model with the in-house orbital analysis to...This paper presents a model-based framework for the dynamic verification of spacecraft systems,which tightly integrates an executable systems modeling language architectural model with the in-house orbital analysis tool SpaceSim to achieve a closed-loop workflow encompassing system design,analysis,and verification.The method is abstracted into 2 generic types of meta-models:the co-simulation meta-model,which captures the structure of co-simulation commands and data formats,and the system-of-interest meta-model,which ensures hierarchical and modular system architectures,thereby supporting flexible iterative design and verification.The proposed framework is demonstrated through a space mission case study,in which dynamic simulation is used to compute key performance indicators such as energy and information flow balance and to validate associated requirements in real time.The adaptability of the approach is further evaluated through multiple simulated mission change scenarios across 3 dimensions:simulation context,system behavior,and parameter modification.Results indicate that the proposed method effectively reduces the complexity and effort required for model updates and enhances the overall flexibility of system analysis.This study offers a generalizable paradigm for integrating model-based systems engineering with domain-specific simulation tools,laying the groundwork for subsequent highfidelity model replacement,trade-off analysis,and optimization-based design.展开更多
Virtual reality(VR)is regarded as the next-generation display platform for immersive human-computer interaction.To solve the long-existing problem of vergence accommodation conflict in VR,varifocal displays based on t...Virtual reality(VR)is regarded as the next-generation display platform for immersive human-computer interaction.To solve the long-existing problem of vergence accommodation conflict in VR,varifocal displays based on the diffractive Pancharatnam–Berry lens(PBL)are considered as one of the most promising approaches with great compatibility to current display architectures.However,the diffractive nature of PBL leads to serious chromatic aberrations in optical systems,which deteriorates the image quality and discourages its actual usage.展开更多
In recent years,humanoid robots have gained significant attention due to their potential to revolutionize various industries,from healthcare to manufacturing.A key factor driving this transformation is the advancement...In recent years,humanoid robots have gained significant attention due to their potential to revolutionize various industries,from healthcare to manufacturing.A key factor driving this transformation is the advancement of visual perception systems,which are crucial for making humanoid robots more intelligent and autonomous.Despite the progress,the full potential of vision-based technologies in humanoid robots has yet to be fully realized.This review aims to provide a comprehensive overview of recent advancements in visual perception applied to humanoid robots,specifically focusing on applications in state estimation and environmental interaction.By summarizing key developments and analyzing the challenges and opportunities in these areas,this paper seeks to inspire future research that can unlock new capabilities for humanoid robots,enabling them to better navigate complex environments,perform intricate tasks,and interact seamlessly with humans.展开更多
The storage of quantum states and information is essential for enabling large quantum networks.The direct implementation of storage in magnonic systems,which are emerging as crucial components in quantum networks,has ...The storage of quantum states and information is essential for enabling large quantum networks.The direct implementation of storage in magnonic systems,which are emerging as crucial components in quantum networks,has also garnered attention.In this study,we present experimental investigations of magnomechanical microwave storage for the first time.By reducing the ambient temperature to 8 K,we can achieve a mechanical mode with a narrow linewidth as low as 6.4 Hz,resulting in an energy decay time of 24.8 ms.Furthermore,we employ Ramsey interferometry to investigate the coherence of the magnomechanical memory.The mechanical interference can be utilized to evaluate the decoherence lifetime of 19.5 ms.Our proposed scheme provides the potential to utilize magnomechanical systems as quantum memory for photonic quantum information.展开更多
基金supported by the National Defense Key Laboratory of Space Intelligent Control Technology,China(grant number HTKJ2022KL502003).
文摘This paper presents a model-based framework for the dynamic verification of spacecraft systems,which tightly integrates an executable systems modeling language architectural model with the in-house orbital analysis tool SpaceSim to achieve a closed-loop workflow encompassing system design,analysis,and verification.The method is abstracted into 2 generic types of meta-models:the co-simulation meta-model,which captures the structure of co-simulation commands and data formats,and the system-of-interest meta-model,which ensures hierarchical and modular system architectures,thereby supporting flexible iterative design and verification.The proposed framework is demonstrated through a space mission case study,in which dynamic simulation is used to compute key performance indicators such as energy and information flow balance and to validate associated requirements in real time.The adaptability of the approach is further evaluated through multiple simulated mission change scenarios across 3 dimensions:simulation context,system behavior,and parameter modification.Results indicate that the proposed method effectively reduces the complexity and effort required for model updates and enhances the overall flexibility of system analysis.This study offers a generalizable paradigm for integrating model-based systems engineering with domain-specific simulation tools,laying the groundwork for subsequent highfidelity model replacement,trade-off analysis,and optimization-based design.
基金National Natural Science Foundation of China(62405021,U24A20304)Beijing Nova Program(20240484557)。
文摘Virtual reality(VR)is regarded as the next-generation display platform for immersive human-computer interaction.To solve the long-existing problem of vergence accommodation conflict in VR,varifocal displays based on the diffractive Pancharatnam–Berry lens(PBL)are considered as one of the most promising approaches with great compatibility to current display architectures.However,the diffractive nature of PBL leads to serious chromatic aberrations in optical systems,which deteriorates the image quality and discourages its actual usage.
基金supported by the National Natural Science Foundation of China(62306185)the Guangdong Basic and Applied Basic Research Foundation,China(2024A1515012065)the Shenzhen Science and Technology Program,China(JSGGKQTD 20221101115656029 and KJZD20230923113801004).
文摘In recent years,humanoid robots have gained significant attention due to their potential to revolutionize various industries,from healthcare to manufacturing.A key factor driving this transformation is the advancement of visual perception systems,which are crucial for making humanoid robots more intelligent and autonomous.Despite the progress,the full potential of vision-based technologies in humanoid robots has yet to be fully realized.This review aims to provide a comprehensive overview of recent advancements in visual perception applied to humanoid robots,specifically focusing on applications in state estimation and environmental interaction.By summarizing key developments and analyzing the challenges and opportunities in these areas,this paper seeks to inspire future research that can unlock new capabilities for humanoid robots,enabling them to better navigate complex environments,perform intricate tasks,and interact seamlessly with humans.
基金funding provided by Shanghai Jiao Tong Universitysupported by the Innovation program for Quantum Science and Technology(2021ZD0303203)+3 种基金National Natural Science Foundation of China(Grant No.12293052,11934012,12104442,92050109,and 92250302)the CAS Project for Young Scientists in Basic Research(YSBR-069)Anhui Provincial Natural Science Foundation(Grant No.2308085J12)the Fundamental Research Funds for the Central Universities.
文摘The storage of quantum states and information is essential for enabling large quantum networks.The direct implementation of storage in magnonic systems,which are emerging as crucial components in quantum networks,has also garnered attention.In this study,we present experimental investigations of magnomechanical microwave storage for the first time.By reducing the ambient temperature to 8 K,we can achieve a mechanical mode with a narrow linewidth as low as 6.4 Hz,resulting in an energy decay time of 24.8 ms.Furthermore,we employ Ramsey interferometry to investigate the coherence of the magnomechanical memory.The mechanical interference can be utilized to evaluate the decoherence lifetime of 19.5 ms.Our proposed scheme provides the potential to utilize magnomechanical systems as quantum memory for photonic quantum information.
