The rapid evolution of unmanned aerial vehicle(UAV)technology and autonomous capabilities has positioned UAV as promising last-mile delivery means.Vehicle and onboard UAV collaborative delivery is introduced as a nove...The rapid evolution of unmanned aerial vehicle(UAV)technology and autonomous capabilities has positioned UAV as promising last-mile delivery means.Vehicle and onboard UAV collaborative delivery is introduced as a novel delivery mode.Spatiotemporal collaboration,along with energy consumption with payload and wind conditions play important roles in delivery route planning.This paper introduces the traveling salesman problem with time window and onboard UAV(TSPTWOUAV)and emphasizes the consideration of real-world scenarios,focusing on time collaboration and energy consumption with wind and payload.To address this,a mixed integer linear programming(MILP)model is formulated to minimize the energy consumption costs of vehicle and UAV.Furthermore,an adaptive large neighborhood search(ALNS)algorithm is applied to identify high-quality solutions efficiently.The effectiveness of the proposed model and algorithm is validated through numerical tests on real geographic instances and sensitivity analysis of key parameters is conducted.展开更多
A mathematical model for simulating concentric-bed and other components of molecular sieve oxygen concentrator is established. In the model, the binary Langmuir equilibrium adsorption equation is adopted to describe t...A mathematical model for simulating concentric-bed and other components of molecular sieve oxygen concentrator is established. In the model, the binary Langmuir equilibrium adsorption equation is adopted to describe the adsorption performance of the adsorbent, the linear driving force (LDF) model is used to describe the mass transfer rate, and the thermal effect during adsorption is considered. The finite difference method is used in simulation and comparison. Numerical results have a reasonable agreement with the experimental research.展开更多
In the context of large language model(LLM)reshaping software engineering education,this paper presents OSSerCopilot,a LLM-based tutoring system designed to address the critical challenge faced by newcomers(especially...In the context of large language model(LLM)reshaping software engineering education,this paper presents OSSerCopilot,a LLM-based tutoring system designed to address the critical challenge faced by newcomers(especially student contributors)in open source software(OSS)communities.Leveraging natural language processing,code semantic understanding,and learner profiling,the system functions as an intelligent tutor to scaffold three core competency domains:contribution guideline interpretation,project architecture comprehension,and personalized task matching.By transforming traditional onboarding barriers-such as complex contribution documentation and opaque project structures-into interactive learning journeys,OSSerCopilot enables newcomers to complete their first OSS contribution more easily and confidently.This paper highlights how LLM technologies can redefine software engineering education by bridging the gap between theoretical knowledge and practical OSS participation,offering implications for curriculum design,competency assessment,and sustainable OSS ecosystem cultivation.A demonstration video of the system is available at https://figshare.com/articles/media/OSSerCopilot_Introduction_mp4/29510276.展开更多
车载信号系统作为整个列车运行控制系统的一个重要组成部分,起着超速防护与车辆运行控制的功能,需与特定信号系统交互以实现列车安全控制,切换过程须在保证安全性的前提条件下,尽可能提高切换效率,同时减少人为操作流程,确保系统间的兼...车载信号系统作为整个列车运行控制系统的一个重要组成部分,起着超速防护与车辆运行控制的功能,需与特定信号系统交互以实现列车安全控制,切换过程须在保证安全性的前提条件下,尽可能提高切换效率,同时减少人为操作流程,确保系统间的兼容性。基于实际应用于塞尔维亚动车组的项目研究成果,提出一套欧洲列车运行控制系统(ETCS)对塞尔维亚特定信号系统自动列车控制系统(RAS90)的控制逻辑方案,在ETCS车载信号系统中增加特定传输管理(Specific Transition Manager,STM)模块,设计状态转换逻辑,通过ETCS与RAS90的实时控制器局域网络(Controller Area Network,CAN)接口通信,实现切换状态控制和控车权的自动移交。展开更多
池黄高铁联调联试阶段发现小区切换异常现象,针对该现象采用多方位筛查方法,对比分析不同终端模块、基站设备,结合实验室环境下仿真实验进行研究。实验结果揭示,某车载终端在处理基站识别码(Base Station Identity Code,BSIC)时存在显...池黄高铁联调联试阶段发现小区切换异常现象,针对该现象采用多方位筛查方法,对比分析不同终端模块、基站设备,结合实验室环境下仿真实验进行研究。实验结果揭示,某车载终端在处理基站识别码(Base Station Identity Code,BSIC)时存在显著的解析异常,尤其是以0结尾的BSIC码容易引发误码,导致切换失败,对比多条线路,均表现出一定概率的解析异常。因此提出规避以0结尾的BSIC码作为解决方案,可在设计阶段避免使用,或在联调期间暂时规避,而运营车辆不使用该模块也不受影响。此解决方案强调了参数选择和设备兼容性对系统稳定性的关键作用,为高速铁路无线通信系统设计和运维提供指导。展开更多
Analytic redundancy-based fault diagnosis technique （ARFDT） is applied to onboard maintenance system （OMS）. The principle of the proposed ARFDT scheme is to design a redundancy configuration using ARFDT to enhance...Analytic redundancy-based fault diagnosis technique （ARFDT） is applied to onboard maintenance system （OMS）. The principle of the proposed ARFDT scheme is to design a redundancy configuration using ARFDT to enhance the functions of redundancy management and built in test equipment （BITE） monitor. Redundancy configuration for dual-redundancy and analytic redundancy is proposed, in which, the fault diagnosis includes detection and isolation. In order to keep the balance between rapid diagnosis and binary hypothesis, a filter together with an elapsed time limit is designed for sequential probability ratio test （SPRT） in the process of isolation. Diagnosis results would be submitted to central maintenance computer （CMC） together with BITE information. Moreover, by adopting reconstruction, the designed method not only provides analytic redundancy to help redundancy management, but also compensates the output when both of the sensors of the same type are faulty. Our scheme is applied to an aircraft’s sensors in a simulation experiment, and the results show that the proposed filter SPRT （FSPRT） saves at least 50% of isolation time than Wald SPRT （WSPRT）. Also, effectiveness, practicability and rapidity of the proposed scheme can be successfully achieved in OMS.展开更多
Microstructure of shale formation is the key to understanding its petrophysical and chemical properties.Optical microscopy, scanning electron microscopy and micro-computed tomography(μ-CT) have been combined for char...Microstructure of shale formation is the key to understanding its petrophysical and chemical properties.Optical microscopy, scanning electron microscopy and micro-computed tomography(μ-CT) have been combined for characterization of microstructure of Longmaxi(LMX)shale from Shizhu area, Sichan Basin. The results indicate that laminated LMX shale consists of mineral matrix-rich layers and organic matter(OM)-rich layers at micrometer scale in two and three dimensions. Mineral matrix layers,mainly consisting of interparticle pores and intraplatelet pores, are approximately parallel to the bedding plane.Pyrite-rich layer, mainly containing intercrystalline pores,shows a strong preferred orientation parallel to the bedding plane. OM-rich layer, mainly containing OM pores, seems to be discontinuous. In addition, intercrystalline pores are enriched in some layers, while OM pores are distributed irregularly in matrix layers. This vertical heterogeneity of pore microscopic structures in LMX shale is of great importance to understand its petrophysical and chemical properties.展开更多
基金Fundamental Research Funds for the Central Universities(2024JBZX038)National Natural Science F oundation of China(62076023)。
文摘The rapid evolution of unmanned aerial vehicle(UAV)technology and autonomous capabilities has positioned UAV as promising last-mile delivery means.Vehicle and onboard UAV collaborative delivery is introduced as a novel delivery mode.Spatiotemporal collaboration,along with energy consumption with payload and wind conditions play important roles in delivery route planning.This paper introduces the traveling salesman problem with time window and onboard UAV(TSPTWOUAV)and emphasizes the consideration of real-world scenarios,focusing on time collaboration and energy consumption with wind and payload.To address this,a mixed integer linear programming(MILP)model is formulated to minimize the energy consumption costs of vehicle and UAV.Furthermore,an adaptive large neighborhood search(ALNS)algorithm is applied to identify high-quality solutions efficiently.The effectiveness of the proposed model and algorithm is validated through numerical tests on real geographic instances and sensitivity analysis of key parameters is conducted.
文摘A mathematical model for simulating concentric-bed and other components of molecular sieve oxygen concentrator is established. In the model, the binary Langmuir equilibrium adsorption equation is adopted to describe the adsorption performance of the adsorbent, the linear driving force (LDF) model is used to describe the mass transfer rate, and the thermal effect during adsorption is considered. The finite difference method is used in simulation and comparison. Numerical results have a reasonable agreement with the experimental research.
基金supported by the National Natural Science Foundation of China (62202022, 92582204, and 62572030)the Fundamental Research Funds for the Central Universitiesthe exploratory elective projects of the State Key Laboratory of Complex and Critical Software Environments
文摘In the context of large language model(LLM)reshaping software engineering education,this paper presents OSSerCopilot,a LLM-based tutoring system designed to address the critical challenge faced by newcomers(especially student contributors)in open source software(OSS)communities.Leveraging natural language processing,code semantic understanding,and learner profiling,the system functions as an intelligent tutor to scaffold three core competency domains:contribution guideline interpretation,project architecture comprehension,and personalized task matching.By transforming traditional onboarding barriers-such as complex contribution documentation and opaque project structures-into interactive learning journeys,OSSerCopilot enables newcomers to complete their first OSS contribution more easily and confidently.This paper highlights how LLM technologies can redefine software engineering education by bridging the gap between theoretical knowledge and practical OSS participation,offering implications for curriculum design,competency assessment,and sustainable OSS ecosystem cultivation.A demonstration video of the system is available at https://figshare.com/articles/media/OSSerCopilot_Introduction_mp4/29510276.
文摘车载信号系统作为整个列车运行控制系统的一个重要组成部分,起着超速防护与车辆运行控制的功能,需与特定信号系统交互以实现列车安全控制,切换过程须在保证安全性的前提条件下,尽可能提高切换效率,同时减少人为操作流程,确保系统间的兼容性。基于实际应用于塞尔维亚动车组的项目研究成果,提出一套欧洲列车运行控制系统(ETCS)对塞尔维亚特定信号系统自动列车控制系统(RAS90)的控制逻辑方案,在ETCS车载信号系统中增加特定传输管理(Specific Transition Manager,STM)模块,设计状态转换逻辑,通过ETCS与RAS90的实时控制器局域网络(Controller Area Network,CAN)接口通信,实现切换状态控制和控车权的自动移交。
文摘池黄高铁联调联试阶段发现小区切换异常现象,针对该现象采用多方位筛查方法,对比分析不同终端模块、基站设备,结合实验室环境下仿真实验进行研究。实验结果揭示,某车载终端在处理基站识别码(Base Station Identity Code,BSIC)时存在显著的解析异常,尤其是以0结尾的BSIC码容易引发误码,导致切换失败,对比多条线路,均表现出一定概率的解析异常。因此提出规避以0结尾的BSIC码作为解决方案,可在设计阶段避免使用,或在联调期间暂时规避,而运营车辆不使用该模块也不受影响。此解决方案强调了参数选择和设备兼容性对系统稳定性的关键作用,为高速铁路无线通信系统设计和运维提供指导。
基金Aeronautical Science Foundation of China (20100753009)
文摘Analytic redundancy-based fault diagnosis technique （ARFDT） is applied to onboard maintenance system （OMS）. The principle of the proposed ARFDT scheme is to design a redundancy configuration using ARFDT to enhance the functions of redundancy management and built in test equipment （BITE） monitor. Redundancy configuration for dual-redundancy and analytic redundancy is proposed, in which, the fault diagnosis includes detection and isolation. In order to keep the balance between rapid diagnosis and binary hypothesis, a filter together with an elapsed time limit is designed for sequential probability ratio test （SPRT） in the process of isolation. Diagnosis results would be submitted to central maintenance computer （CMC） together with BITE information. Moreover, by adopting reconstruction, the designed method not only provides analytic redundancy to help redundancy management, but also compensates the output when both of the sensors of the same type are faulty. Our scheme is applied to an aircraft’s sensors in a simulation experiment, and the results show that the proposed filter SPRT （FSPRT） saves at least 50% of isolation time than Wald SPRT （WSPRT）. Also, effectiveness, practicability and rapidity of the proposed scheme can be successfully achieved in OMS.
基金supported by the Strategic Priority Research Program of the Chinese Academy of Sciences(No.XDB1002010)the Major Program for the Fundamental Research of Shanghai Committee of Science and Technology(No.12JC1410400)the National Natural Science Foundation of China for Distinguished Young Scholars(No.41325016)
文摘Microstructure of shale formation is the key to understanding its petrophysical and chemical properties.Optical microscopy, scanning electron microscopy and micro-computed tomography(μ-CT) have been combined for characterization of microstructure of Longmaxi(LMX)shale from Shizhu area, Sichan Basin. The results indicate that laminated LMX shale consists of mineral matrix-rich layers and organic matter(OM)-rich layers at micrometer scale in two and three dimensions. Mineral matrix layers,mainly consisting of interparticle pores and intraplatelet pores, are approximately parallel to the bedding plane.Pyrite-rich layer, mainly containing intercrystalline pores,shows a strong preferred orientation parallel to the bedding plane. OM-rich layer, mainly containing OM pores, seems to be discontinuous. In addition, intercrystalline pores are enriched in some layers, while OM pores are distributed irregularly in matrix layers. This vertical heterogeneity of pore microscopic structures in LMX shale is of great importance to understand its petrophysical and chemical properties.
