Recent advancements in satellite technologies and the declining cost of access to space have led to the emergence of large satellite constellations in Low Earth Orbit(LEO).However,these constellations often rely on be...Recent advancements in satellite technologies and the declining cost of access to space have led to the emergence of large satellite constellations in Low Earth Orbit(LEO).However,these constellations often rely on bent-pipe architecture,resulting in high communication costs.Existing onboard inference architectures suffer from limitations in terms of low accuracy and inflexibility in the deployment and management of in-orbit applications.To address these challenges,we propose a cloud-native-based satellite design specifically tailored for Earth Observation tasks,enabling diverse computing paradigms.In this work,we present a case study of a satellite-ground collaborative inference system deployed in the Tiansuan constellation,demonstrating a remarkable 50%accuracy improvement and a substantial 90%data reduction.Our work sheds light on in-orbit energy,where in-orbit computing accounts for 17%of the total onboard energy consumption.Our approach represents a significant advancement of cloud-native satellite,aiming to enhance the accuracy of in-orbit computing while simultaneously reducing communication cost.展开更多
In conjunction with the working characteristics of the high-clearance wheeled sprayer and the benefits of the closed hydraulic system,a series of reasonable working parameters should be established,and a hydraulic sys...In conjunction with the working characteristics of the high-clearance wheeled sprayer and the benefits of the closed hydraulic system,a series of reasonable working parameters should be established,and a hydraulic system that fulfills the requisite specifications should be designed.The AMESim software model is employed to construct a closed hydraulic transmission system,and the simulation analysis is then performed according to the data of hydraulic components.According to analysis results,the prototype can be optimized and upgraded,and a verification test is further carried out.The test results demonstrate that the designed closed hydraulic transmission system meets the actual working requirements of the high-clearance wheeled sprayer and provides a stable experimental platform for intelligent control of agricultural machinery.展开更多
We have recently developed a systematic method for the study on the inheritance of resistance to sheath blight. The key of the system is an innovated method of inoculation and investigation along with the employment o...We have recently developed a systematic method for the study on the inheritance of resistance to sheath blight. The key of the system is an innovated method of inoculation and investigation along with the employment of the permanent population. This paper reported the procedure of the system and the result of its verification.展开更多
Low-frequency carbody swaying phenomenon often occurs to railway vehicles due to hunting instability,which seriously deteriorates the ride comfort of passengers.This paper investigates low-frequency carbody swaying th...Low-frequency carbody swaying phenomenon often occurs to railway vehicles due to hunting instability,which seriously deteriorates the ride comfort of passengers.This paper investigates low-frequency carbody swaying through experimental analysis and numerical simulation.In the tests,the carbody acceleration,the wheel-rail profiles,and the dynamic characteristics of dampers were measured to understand the characteristics of the abnormal carbody vibration and to find out its primary contributor.Linear and nonlinear numerical simulations on the mechanism and optimization measures were carried out to solve this carbody swaying issue.The results showed that the carbody swaying is the manifest of carbody hunting instability.The low equivalent conicity and the decrease of dynamic damping of the yaw damper are probably the cause of this phenomenon.The optimization measures to increase the equivalent conicity and dynamic damping of the yaw damper were put forward and verified by on-track tests.The results of this study could enrich the knowledge of carbody hunting and provide a reference for solving abnormal carbody vibrations.展开更多
During the harvesting process,rigid materials are prone to causing damage to the cotton stalks,which will increase the risk of stalk breakage.A cotton stalk pulling component that blends stiff and flexible materials w...During the harvesting process,rigid materials are prone to causing damage to the cotton stalks,which will increase the risk of stalk breakage.A cotton stalk pulling component that blends stiff and flexible materials was devised to lower the breaking rate.The cotton stalk pulling component was made up of rollers and flexible belts that pull the stalks using clamping force and the forward speed of the tractor.The influence of various factors in the equipment on the harvesting effect of cotton stalks were analyzed through response surface experiments,and a multiple quadratic regression response surface model with missing pulling rate and breakage rate as response values was established.The significant of influencing factors on the breaking rate of cotton stalks are in a descending order as:the angle of cotton stalk pulling,tractor’s forward speed,and the clamping speed of the cotton stalk component.The working parameters of the wheel-belt type cotton stalk pulling machine have been optimized using the response surface combination experimental method,and the optimal parameter combination was obtained as:tractor forward speed of 4.5 km/h,cotton stalk pulling angle of 60°,and clamping speed of the cotton stalk pulling component of 349 r/min.The results of validation experiments showed that the missing pulling rate of cotton stalks was 5.06%and the breakage rate was 13.12%,indicating a good harvesting effect of the cotton stalks.The model was reasonable and the performance parameters could meet the relevant inspection requirements.The results can provide a reference for further research on the technology of flexible cotton stalk pulling.展开更多
The bionic structure drip irrigation emitter(BSDE)is a new-type emitter,by which better hydraulic performances can be obtained.In the present work,twenty-five sets of orthogonal test schemes were implemented to analyz...The bionic structure drip irrigation emitter(BSDE)is a new-type emitter,by which better hydraulic performances can be obtained.In the present work,twenty-five sets of orthogonal test schemes were implemented to analyze the influence of the geometric parameters of the flow channel on the hydraulic characteristics and energy dissipation efficiency of this emitter.Through numerical simulations and verification tests,the flow index and energy dissipation coefficient were obtained.According to the results,the flow index of the BSDE is 0.4757-0.5067.The energy dissipation coefficient under the pressure head of 5-15 m is 584-1701.The verification test has shown that the relative errors among measured values,simulated values and estimated values are less than 3%,which indicates that the flow index can be estimated reliably.展开更多
In Xinjiang,in the process of whole stalk harvesting of cotton stalks,there is a problem that the cotton stalks are easily pulled off,and there is an urgent need to develop flexible stalk-pulling machines.Through lite...In Xinjiang,in the process of whole stalk harvesting of cotton stalks,there is a problem that the cotton stalks are easily pulled off,and there is an urgent need to develop flexible stalk-pulling machines.Through literature,patent summary,and field research,it is found that domestic researchers have designed many kinds of machines for the problem of easy breaking of cotton stalks,but there is no flexible cotton stalk-pulling machine for the time being.In this study,two flexible cotton stalk-pulling machines were intended to address the problem of easy breakage of cotton stalks.On the basis of the first-generation machine,the design of the second-generation machine was improved.In order to further improve the operational performance of the flexible cotton stalks pulling tools,the operational mechanism of the core working parts of the tools was analyzed and a comparative test was done in a large field.Analysis and the comparative tests proved that improving the clamping working stroke s of the stalk-pulling components can effectively reduce the cotton stalks leakage rate.By using a flexible clamping process,a part of the deformation of cotton stalks can be transferred to the flexible material.To a certain extent,the deformation length L of the contact surface between the cotton stalk and the stalk pulling part is reduced,and the deformation displacementΔy is correspondingly lower.The toughness of the cotton stalk is not significantly decreased and the cotton stalk does not break easily.The improved second-generation machine has a 3.67% to 3.79% lower cotton stalks leakage rate and a 5.65% to 6.30% lower cotton stalks breakage rate than the first-generation machine.As the land in Xinjiang is clay soil,soil bonding to cotton stalks pulling force F2 is larger,resulting in cotton stalks being more difficult to be pulled out of the machine at once.The test proved that the improved second-generation implements had a significant improvement in the cotton stalk-pulling effect because of the subsequent pulling interval CD.The test results verify the analysis results and the research results can provide a theoretical basis for the subsequent structural improvement and performance enhancement of the flexible cotton stalk-pulling machine,which is of reference significance for solving the problem that the cotton stalks are easily pulled and broken in Xinjiang,China.展开更多
Hydraulic hammer is commonly used hydraulic equipment in engineering work. The characteristics, high acceleration, high frequency and inertial working pressure, make it greatly different from the working conditions of...Hydraulic hammer is commonly used hydraulic equipment in engineering work. The characteristics, high acceleration, high frequency and inertial working pressure, make it greatly different from the working conditions of conventional hydraulic equipment, while hydraulic hammer for sleeve type is also not the same as other hydraulic hammers in structure, efficiency and working performance. Based on the principle of hydraulic hammer for sleeve type, the mathematical model of hydraulic hammer for sleeve type was set with various conditions in the reciprocating movement of piston. In addition, more detailed sketch model can be easily built with the mathematical model in multi-domain system analysis software, AMESim. The simulation system of breaker built based on the principle of power bond graph structures in AMESim system is considered comprehensively to achieve its functions and characteristics, which can quickly realize the calculation of main simulation parameters for impactor. The calculated parameters can be proved to be biased with the test prototype. So these parameters must be optimized by Design Exploration to find the appropriate parameters.展开更多
The Active Particle-induced X-ray Spectrometer(APXS) is one of the payloads on board the Yutu rover of the Chang'E-3 mission. In order to assess the instrumental performance of APXS, a ground verification test was ...The Active Particle-induced X-ray Spectrometer(APXS) is one of the payloads on board the Yutu rover of the Chang'E-3 mission. In order to assess the instrumental performance of APXS, a ground verification test was performed for two unknown samples(basaltic rock, mixed powder sample). In this paper, the details of the experiment configurations and data analysis method are presented. The results show that the elemental abundance of major elements can be well determined by the APXS with relative deviations 〈15 wt.%(detection distance=30 mm,acquisition time=30 min). The derived detection limit of each major element is inversely proportional to acquisition time and directly proportional to detection distance, suggesting that the appropriate distance should be 〈50 mm.展开更多
The small size, light weight, irregular shape, and impurities that characterize seed groups increase clogging tendencies in the traditional seed-metering device thereby making it difficult to achieve high-speed precis...The small size, light weight, irregular shape, and impurities that characterize seed groups increase clogging tendencies in the traditional seed-metering device thereby making it difficult to achieve high-speed precision seeding. A pneumatic seed-metering device with good seed-filling performance for carrot was designed in this study. By analyzing the movement state of seeds in the device under the theoretical condition, it was concluded that the minimum critical negative pressure value of air chamber was 0.32 kPa, which provided a theoretical basis for simulation and testing. ANSYS 17.0 Software was used to simulate the shape of the seeding plate hole. By comparing the pressure, air flow stability between the suction surface and the plug removal surface of the convection field, it was concluded that the conical hole was optimal. A bench verification test was conducted on the device. The average qualified rate, missing rate, and replaying rate were 81.48%, 4.07%, and 14.45%, respectively, which provided a strong reference for the design of carrot precision seed-metering device.展开更多
High-energy rotor uncontained failure can cause catastrophic damage effects to aircraft systems if not addressed in design. In this paper, numerical simulations of three high-energy rotor disk fragments impacting on U...High-energy rotor uncontained failure can cause catastrophic damage effects to aircraft systems if not addressed in design. In this paper, numerical simulations of three high-energy rotor disk fragments impacting on U type protection rings are carried out using LS-DYNA. Protection rings with the same mass and different groove depths are designed to study the influence of the groove depth. Simulation results including kinetic energy and impact force variation of single frag- ment are presented. It shows that the groove depth infects both the axial containment ability of the protection ring and the transfer process of energy. The depth of groove ought to be controlled to an appropriate value to meet both the requirement of axial containment and higher safety factor. Ver- ification test on high-speed spin tester has been conducted and shows that protection ring with appropriate U structure can resist the impact of the disk burst fragments. The ring is inflated from a circular to an oval-triangle shape. The corresponding simulation shows good agreement with the test.展开更多
Exploring and understanding the ocean is an important field of scientific study.Acquiring accurate and high-resolution temperature and depth profiles of the oceans over relatively short periods of time is an important...Exploring and understanding the ocean is an important field of scientific study.Acquiring accurate and high-resolution temperature and depth profiles of the oceans over relatively short periods of time is an important basis for understanding ocean currents and other associated physical parameters.Traditional measuring instruments based on piezoelectric ceramics have a low spatial resolution and are not inherently waterproof.Meanwhile,sensing systems based on fiber Bragg grating(FBG)have the advantage of facilitating continuous measurements and allow multi-sensor distributed measurements.Therefore,in this paper,an all-fiber seawater temperature and depth-sensing array is used to obtain seawater temperature and depth profiles.In addition,by studying the encapsulation structure of the FBG sensors,this paper also solves the problem of the measurement error present in traditional FBG sensors when measuring seawater temperature.Through a theoretical analysis and seaborne test in the Yellow Sea of China,the sampling frequency of the all-fiber seawater temperature and depth profile measurement system is 1 Hz,the accuracy of the FBG sensors reaches 0.01℃,and the accuracy of the FBG depth sensors reaches 0.1%of the full scale.The resulting parameters for these sensors are therefore considered to be acceptable for most survey requirements in physical oceanography.展开更多
Software systems are present all around us and playing their vital roles in our daily life.The correct functioning of these systems is of prime concern.In addition to classical testing techniques,formal techniques lik...Software systems are present all around us and playing their vital roles in our daily life.The correct functioning of these systems is of prime concern.In addition to classical testing techniques,formal techniques like model checking are used to reinforce the quality and reliability of software systems.However,obtaining of behavior model,which is essential for model-based techniques,of unknown software systems is a challenging task.To mitigate this problem,an emerging black-box analysis technique,called Model Learning,can be applied.It complements existing model-based testing and verification approaches by providing behavior models of blackbox systems fully automatically.This paper surveys the model learning technique,which recently has attracted much attention from researchers,especially from the domains of testing and verification.First,we review the background and foundations of model learning,which form the basis of subsequent sections.Second,we present some well-known model learning tools and provide their merits and shortcomings in the form of a comparison table.Third,we describe the successful applications of model learning in multidisciplinary fields,current challenges along with possible future works,and concluding remarks.展开更多
基金supported by National Natural Science Foundation of China(62032003).
文摘Recent advancements in satellite technologies and the declining cost of access to space have led to the emergence of large satellite constellations in Low Earth Orbit(LEO).However,these constellations often rely on bent-pipe architecture,resulting in high communication costs.Existing onboard inference architectures suffer from limitations in terms of low accuracy and inflexibility in the deployment and management of in-orbit applications.To address these challenges,we propose a cloud-native-based satellite design specifically tailored for Earth Observation tasks,enabling diverse computing paradigms.In this work,we present a case study of a satellite-ground collaborative inference system deployed in the Tiansuan constellation,demonstrating a remarkable 50%accuracy improvement and a substantial 90%data reduction.Our work sheds light on in-orbit energy,where in-orbit computing accounts for 17%of the total onboard energy consumption.Our approach represents a significant advancement of cloud-native satellite,aiming to enhance the accuracy of in-orbit computing while simultaneously reducing communication cost.
基金Supported by 2023 Xinjiang Uygur Autonomous Region R&D and Promotion and Application of Key Technologies of CNC Sprayer for Seed Corn(2023NC010).
文摘In conjunction with the working characteristics of the high-clearance wheeled sprayer and the benefits of the closed hydraulic system,a series of reasonable working parameters should be established,and a hydraulic system that fulfills the requisite specifications should be designed.The AMESim software model is employed to construct a closed hydraulic transmission system,and the simulation analysis is then performed according to the data of hydraulic components.According to analysis results,the prototype can be optimized and upgraded,and a verification test is further carried out.The test results demonstrate that the designed closed hydraulic transmission system meets the actual working requirements of the high-clearance wheeled sprayer and provides a stable experimental platform for intelligent control of agricultural machinery.
文摘We have recently developed a systematic method for the study on the inheritance of resistance to sheath blight. The key of the system is an innovated method of inoculation and investigation along with the employment of the permanent population. This paper reported the procedure of the system and the result of its verification.
基金supported by the National Key R&D Program of China under grant number 2018YFB1201701.
文摘Low-frequency carbody swaying phenomenon often occurs to railway vehicles due to hunting instability,which seriously deteriorates the ride comfort of passengers.This paper investigates low-frequency carbody swaying through experimental analysis and numerical simulation.In the tests,the carbody acceleration,the wheel-rail profiles,and the dynamic characteristics of dampers were measured to understand the characteristics of the abnormal carbody vibration and to find out its primary contributor.Linear and nonlinear numerical simulations on the mechanism and optimization measures were carried out to solve this carbody swaying issue.The results showed that the carbody swaying is the manifest of carbody hunting instability.The low equivalent conicity and the decrease of dynamic damping of the yaw damper are probably the cause of this phenomenon.The optimization measures to increase the equivalent conicity and dynamic damping of the yaw damper were put forward and verified by on-track tests.The results of this study could enrich the knowledge of carbody hunting and provide a reference for solving abnormal carbody vibrations.
基金financially supported by the National Nature Foundation Project(Grant No.52365038)the National Nature Foundation Project(Grant No.51865058)+3 种基金the Xinjiang Uygur Autonomous Region Agricultural Science and Technology Extension and Service Project(Grant No.NTFW-2022-17)the Xinjiang Uygur Autonomous Region Key R&D Project(Grant No.2022B02022-2)the Xinjiang Uygur Autonomous Region Key R&D Project(Grant No.2022B02023-3)the Xinjiang Uygur Autonomous Region Youth Science Fund(Grant No.2022D01B91).
文摘During the harvesting process,rigid materials are prone to causing damage to the cotton stalks,which will increase the risk of stalk breakage.A cotton stalk pulling component that blends stiff and flexible materials was devised to lower the breaking rate.The cotton stalk pulling component was made up of rollers and flexible belts that pull the stalks using clamping force and the forward speed of the tractor.The influence of various factors in the equipment on the harvesting effect of cotton stalks were analyzed through response surface experiments,and a multiple quadratic regression response surface model with missing pulling rate and breakage rate as response values was established.The significant of influencing factors on the breaking rate of cotton stalks are in a descending order as:the angle of cotton stalk pulling,tractor’s forward speed,and the clamping speed of the cotton stalk component.The working parameters of the wheel-belt type cotton stalk pulling machine have been optimized using the response surface combination experimental method,and the optimal parameter combination was obtained as:tractor forward speed of 4.5 km/h,cotton stalk pulling angle of 60°,and clamping speed of the cotton stalk pulling component of 349 r/min.The results of validation experiments showed that the missing pulling rate of cotton stalks was 5.06%and the breakage rate was 13.12%,indicating a good harvesting effect of the cotton stalks.The model was reasonable and the performance parameters could meet the relevant inspection requirements.The results can provide a reference for further research on the technology of flexible cotton stalk pulling.
基金This work was supported by the Basic Scientific Research Fund of Heilongjiang Provincial Universities(2020-KYYWF-1042).
文摘The bionic structure drip irrigation emitter(BSDE)is a new-type emitter,by which better hydraulic performances can be obtained.In the present work,twenty-five sets of orthogonal test schemes were implemented to analyze the influence of the geometric parameters of the flow channel on the hydraulic characteristics and energy dissipation efficiency of this emitter.Through numerical simulations and verification tests,the flow index and energy dissipation coefficient were obtained.According to the results,the flow index of the BSDE is 0.4757-0.5067.The energy dissipation coefficient under the pressure head of 5-15 m is 584-1701.The verification test has shown that the relative errors among measured values,simulated values and estimated values are less than 3%,which indicates that the flow index can be estimated reliably.
基金This work was supported by the Key R&D Project of Xinjiang Uygur Autonomous Region(Grant No.2022B02022-2)the Key R&D Project of Xinjiang Uygur Autonomous Region(Grant No.2022B02023-3)+3 种基金the Agricultural Science and Technology Promotion and Service Project of Xinjiang Uygur Autonomous Region(Grant No.NTFW-2022-17)the Tianshan Innovation Team Project of Xinjiang Uygur Autonomous Region(Grant No.2020D14037)the Natural Science Foundation of Xinjiang Uygur Autonomous Region(Grant No.2019D01A45)the National Natural Science Foundation of China(Grant No.51865058).
文摘In Xinjiang,in the process of whole stalk harvesting of cotton stalks,there is a problem that the cotton stalks are easily pulled off,and there is an urgent need to develop flexible stalk-pulling machines.Through literature,patent summary,and field research,it is found that domestic researchers have designed many kinds of machines for the problem of easy breaking of cotton stalks,but there is no flexible cotton stalk-pulling machine for the time being.In this study,two flexible cotton stalk-pulling machines were intended to address the problem of easy breakage of cotton stalks.On the basis of the first-generation machine,the design of the second-generation machine was improved.In order to further improve the operational performance of the flexible cotton stalks pulling tools,the operational mechanism of the core working parts of the tools was analyzed and a comparative test was done in a large field.Analysis and the comparative tests proved that improving the clamping working stroke s of the stalk-pulling components can effectively reduce the cotton stalks leakage rate.By using a flexible clamping process,a part of the deformation of cotton stalks can be transferred to the flexible material.To a certain extent,the deformation length L of the contact surface between the cotton stalk and the stalk pulling part is reduced,and the deformation displacementΔy is correspondingly lower.The toughness of the cotton stalk is not significantly decreased and the cotton stalk does not break easily.The improved second-generation machine has a 3.67% to 3.79% lower cotton stalks leakage rate and a 5.65% to 6.30% lower cotton stalks breakage rate than the first-generation machine.As the land in Xinjiang is clay soil,soil bonding to cotton stalks pulling force F2 is larger,resulting in cotton stalks being more difficult to be pulled out of the machine at once.The test proved that the improved second-generation implements had a significant improvement in the cotton stalk-pulling effect because of the subsequent pulling interval CD.The test results verify the analysis results and the research results can provide a theoretical basis for the subsequent structural improvement and performance enhancement of the flexible cotton stalk-pulling machine,which is of reference significance for solving the problem that the cotton stalks are easily pulled and broken in Xinjiang,China.
文摘Hydraulic hammer is commonly used hydraulic equipment in engineering work. The characteristics, high acceleration, high frequency and inertial working pressure, make it greatly different from the working conditions of conventional hydraulic equipment, while hydraulic hammer for sleeve type is also not the same as other hydraulic hammers in structure, efficiency and working performance. Based on the principle of hydraulic hammer for sleeve type, the mathematical model of hydraulic hammer for sleeve type was set with various conditions in the reciprocating movement of piston. In addition, more detailed sketch model can be easily built with the mathematical model in multi-domain system analysis software, AMESim. The simulation system of breaker built based on the principle of power bond graph structures in AMESim system is considered comprehensively to achieve its functions and characteristics, which can quickly realize the calculation of main simulation parameters for impactor. The calculated parameters can be proved to be biased with the test prototype. So these parameters must be optimized by Design Exploration to find the appropriate parameters.
基金Supported by National Science and Technology Major Project(Chang’E-3 Active Particle-induced X-ray Spectrometer)
文摘The Active Particle-induced X-ray Spectrometer(APXS) is one of the payloads on board the Yutu rover of the Chang'E-3 mission. In order to assess the instrumental performance of APXS, a ground verification test was performed for two unknown samples(basaltic rock, mixed powder sample). In this paper, the details of the experiment configurations and data analysis method are presented. The results show that the elemental abundance of major elements can be well determined by the APXS with relative deviations 〈15 wt.%(detection distance=30 mm,acquisition time=30 min). The derived detection limit of each major element is inversely proportional to acquisition time and directly proportional to detection distance, suggesting that the appropriate distance should be 〈50 mm.
基金supported by the National Key R&D Program of China“Vegetable Intelligent Fine Production Technology and Equipment R&D” (Grant No.2017YFD0701302).
文摘The small size, light weight, irregular shape, and impurities that characterize seed groups increase clogging tendencies in the traditional seed-metering device thereby making it difficult to achieve high-speed precision seeding. A pneumatic seed-metering device with good seed-filling performance for carrot was designed in this study. By analyzing the movement state of seeds in the device under the theoretical condition, it was concluded that the minimum critical negative pressure value of air chamber was 0.32 kPa, which provided a theoretical basis for simulation and testing. ANSYS 17.0 Software was used to simulate the shape of the seeding plate hole. By comparing the pressure, air flow stability between the suction surface and the plug removal surface of the convection field, it was concluded that the conical hole was optimal. A bench verification test was conducted on the device. The average qualified rate, missing rate, and replaying rate were 81.48%, 4.07%, and 14.45%, respectively, which provided a strong reference for the design of carrot precision seed-metering device.
文摘High-energy rotor uncontained failure can cause catastrophic damage effects to aircraft systems if not addressed in design. In this paper, numerical simulations of three high-energy rotor disk fragments impacting on U type protection rings are carried out using LS-DYNA. Protection rings with the same mass and different groove depths are designed to study the influence of the groove depth. Simulation results including kinetic energy and impact force variation of single frag- ment are presented. It shows that the groove depth infects both the axial containment ability of the protection ring and the transfer process of energy. The depth of groove ought to be controlled to an appropriate value to meet both the requirement of axial containment and higher safety factor. Ver- ification test on high-speed spin tester has been conducted and shows that protection ring with appropriate U structure can resist the impact of the disk burst fragments. The ring is inflated from a circular to an oval-triangle shape. The corresponding simulation shows good agreement with the test.
基金We thank for the financial support of the National Natural Science Foundation of China(Grant No.41276094)the Strategic Priority Research Program(Grant No.XDA110-40201)the senior User Project of RV KEXUE(Grant No.KEXUE201XGXX).
文摘Exploring and understanding the ocean is an important field of scientific study.Acquiring accurate and high-resolution temperature and depth profiles of the oceans over relatively short periods of time is an important basis for understanding ocean currents and other associated physical parameters.Traditional measuring instruments based on piezoelectric ceramics have a low spatial resolution and are not inherently waterproof.Meanwhile,sensing systems based on fiber Bragg grating(FBG)have the advantage of facilitating continuous measurements and allow multi-sensor distributed measurements.Therefore,in this paper,an all-fiber seawater temperature and depth-sensing array is used to obtain seawater temperature and depth profiles.In addition,by studying the encapsulation structure of the FBG sensors,this paper also solves the problem of the measurement error present in traditional FBG sensors when measuring seawater temperature.Through a theoretical analysis and seaborne test in the Yellow Sea of China,the sampling frequency of the all-fiber seawater temperature and depth profile measurement system is 1 Hz,the accuracy of the FBG sensors reaches 0.01℃,and the accuracy of the FBG depth sensors reaches 0.1%of the full scale.The resulting parameters for these sensors are therefore considered to be acceptable for most survey requirements in physical oceanography.
基金the National Natural Science Foundation of China(NSFC)(Grant Nos.61872016,61932007 and 61972013).
文摘Software systems are present all around us and playing their vital roles in our daily life.The correct functioning of these systems is of prime concern.In addition to classical testing techniques,formal techniques like model checking are used to reinforce the quality and reliability of software systems.However,obtaining of behavior model,which is essential for model-based techniques,of unknown software systems is a challenging task.To mitigate this problem,an emerging black-box analysis technique,called Model Learning,can be applied.It complements existing model-based testing and verification approaches by providing behavior models of blackbox systems fully automatically.This paper surveys the model learning technique,which recently has attracted much attention from researchers,especially from the domains of testing and verification.First,we review the background and foundations of model learning,which form the basis of subsequent sections.Second,we present some well-known model learning tools and provide their merits and shortcomings in the form of a comparison table.Third,we describe the successful applications of model learning in multidisciplinary fields,current challenges along with possible future works,and concluding remarks.