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 order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity o...In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.展开更多
The optocoupler is a weak link in the inertial navigation platform of a kind of guided munitions.It is necessary to use accelerated storage test to verify the storage life of long storage products.Especially for small...The optocoupler is a weak link in the inertial navigation platform of a kind of guided munitions.It is necessary to use accelerated storage test to verify the storage life of long storage products.Especially for small sample products,it is very important to obtain prior information for the design and implementation of accelerated degradation test.In this paper,the optocoupler failure mechanism verification test is designed and the experimental results are analyzed and the prior information is obtained.The results show that optocouplers have two failure modes,one is sudden failure and the other is degradation failure;the maximum temperature stress of optocoupler can’t exceed 140℃;the increase of leakage current of optocoupler is caused by movable ions contaminating the LED chip.The surface leakage current is proportional to the adsorption amount.The increase of leakage current makes p-n junction tunneling effect occur which LEDs the failure of the optocoupler.The lifetime distribution model of the optocoupler is determined by the failure physics.The lifetime of the optocoupler is subject to the lognormal distribution.The degeneracy orbit of the optocoupler leakage current is described by a power law model.The estimated values of the orbital parameters are initially calculated and the parameters of its life distribution function are deduced.The above information lays a good foundation for the optimization design and data processing of the accelerated degradation experiment.展开更多
This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provid...This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization.展开更多
This paper presents the techniques of verification and Test Generation(TG) for sequential machines (Finite State Machines, FSMs) based on state traversing of State Transition Graph(STG). The problems of traversing, re...This paper presents the techniques of verification and Test Generation(TG) for sequential machines (Finite State Machines, FSMs) based on state traversing of State Transition Graph(STG). The problems of traversing, redundancy and transition fault model are identified. In order to achieve high fault coverage collapsing testing is proposed. Further, the heuristic knowledge for speeding up verification and TG are described.展开更多
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.展开更多
[ Objectives] The paper aimed to select drugs reasonably for treatment of rex rabbit colibacillosis, and to isolate the pathogenicity of Escherichia coll. [ Methods ] Pathogen isolation, drug sensitivity test and path...[ Objectives] The paper aimed to select drugs reasonably for treatment of rex rabbit colibacillosis, and to isolate the pathogenicity of Escherichia coll. [ Methods ] Pathogen isolation, drug sensitivity test and pathogen regression test were performed with rex rabbits killed by E. coli in clinic. [ Results] The isolate was E. coli 0-23, susceptible to amikacin and cefotaxime sodium; when the challenge dose was 1.0 mL/rabbit (about one billion E. coli), the test animal would discharge mucous feces. [ Conclusions] The results provided model support for clinical medicine selection against rex rabbit colibacillosis.展开更多
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.展开更多
As location-based techniques and applications have become ubiquitous in emerging wireless networks, the verification of location information has become more important. In recent years, there has been an explosion of a...As location-based techniques and applications have become ubiquitous in emerging wireless networks, the verification of location information has become more important. In recent years, there has been an explosion of activity related to lo- cation-verification techniques in wireless networks. In particular, there has been a specific focus on intelligent transport systems because of the mission-critical nature of vehicle location verification. In this paper, we review recent research on wireless location verification related to vehicular networks. We focus on location verification systems that rely on for- mal mathematical classification frameworks and show how many systems are either partially or fully encompassed by such frameworks.展开更多
Due to differences in the distribution of scores for different trials, the performance of a speaker verification system will be seriously diminished if raw scores are directly used for detection with a unified thresho...Due to differences in the distribution of scores for different trials, the performance of a speaker verification system will be seriously diminished if raw scores are directly used for detection with a unified threshold value. As such, the scores must be normalized. To tackle the shortcomings of score normalization methods, we propose a speaker verification system based on log-likelihood normalization (LLN). Without a priori knowledge, LLN increases the separation between scores of target and non-target speaker models, so as to improve score aliasing of “same-speaker” and “different-speaker” trials corresponding to the same test speech, enabling better discrimination and decision capability. The experiment shows that LLN is an effective method of scoring normalization.展开更多
With the rapid development of China’s economy and society,under the existing economic system,measurement work is of great significance to promote market development and improve people’s living standards.The quality ...With the rapid development of China’s economy and society,under the existing economic system,measurement work is of great significance to promote market development and improve people’s living standards.The quality evaluation of testing work is an important means to ensure the accuracy of measurement.Based on the analysis of several factors affecting the quality of measurement work,this paper takes the ionizing radiation monitoring quality as an example,and makes a concrete exposition on the evaluation and analysis of the quality of metrological verification work.展开更多
Waste heat recovery from hot steel slag was determined in a granular bed through the combination of numerical simulation and an industrial test method.First,the effective thermal conductivity of the granular bed was c...Waste heat recovery from hot steel slag was determined in a granular bed through the combination of numerical simulation and an industrial test method.First,the effective thermal conductivity of the granular bed was calculated.Then,the unsteady-state model was used to simulate the heat recovery under three different flow fields(O-type,S-type,and nonshielding type(Nontype)).Second,the simulation results were validated by in-situ industrial experiments.The two methods confirmed that the heat recovery efficiencies of the flow fields from high to low followed the order of Nontype,S-type,and O-type.Finally,heat recovery was carried out under the Nontype flow field in an industrial test.The heat recovery efficiency increased from~76%and~78%to~81%when the steel slag thickness decreased from 400 and 300 to 200 mm,corresponding to reductions in the steel slag mass from 3.96 and 2.97 to 1.98 t with a blower air volume of 14687 m^(3)/h.Therefore,the research results showed that numerical simulation can not only guide experiments on waste heat recovery but also optimize the flow field.Most importantly,the method proposed in this paper has achieved higher waste heat recovery from hot steel slag in industrial scale.展开更多
The bamboo scrimber is an anisotropic material.The elastic constant values of the bamboo scrimber specimens measured by the dynamic and static methods are consistent,and the dynamic test method has the advantages of r...The bamboo scrimber is an anisotropic material.The elastic constant values of the bamboo scrimber specimens measured by the dynamic and static methods are consistent,and the dynamic test method has the advantages of rapidity,simplicity,good repeatability,and high precision.Bamboo scrimber has strong potential as a building material,and its elastic constant is an important index to measure its mechanical properties.To quickly,simply,non-destructively,and accurately detect the elastic constant of the bamboo scrimber,they were dynamically tested by the free plate transient excitation method and cantilever plate torsional vibration method.The static four-point bending method was used to verify the accuracy and reliability of the dynamic elastic modulus,shear modulus,and Poisson’s ratio of the bamboo scrimber.The mechanism analysis and evaluation of the quality grade,homogeneity,and size effect of the bamboo scrimber whole board were carried out.The main results show that the dynamic elastic modulus,shear modulus,and Poisson’s ratio of the bamboo scrimber are 12 GPa,1500 MPa,and 0.31,respectively,which meet the requirements of GB/T 40247-2021 for structural bamboo scrimber.展开更多
基金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 the National High Technology Research and Development Program of China (863 Program) (2002AA1Z1490)Specialized Research Fund for the Doctoral Program of Higher Education (20040486049)the University Cooperative Research Fund of Huawei Technology Co., Ltd
文摘In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.
基金supported by the National Natural Science Foundation of China of China(No.61471385)。
文摘The optocoupler is a weak link in the inertial navigation platform of a kind of guided munitions.It is necessary to use accelerated storage test to verify the storage life of long storage products.Especially for small sample products,it is very important to obtain prior information for the design and implementation of accelerated degradation test.In this paper,the optocoupler failure mechanism verification test is designed and the experimental results are analyzed and the prior information is obtained.The results show that optocouplers have two failure modes,one is sudden failure and the other is degradation failure;the maximum temperature stress of optocoupler can’t exceed 140℃;the increase of leakage current of optocoupler is caused by movable ions contaminating the LED chip.The surface leakage current is proportional to the adsorption amount.The increase of leakage current makes p-n junction tunneling effect occur which LEDs the failure of the optocoupler.The lifetime distribution model of the optocoupler is determined by the failure physics.The lifetime of the optocoupler is subject to the lognormal distribution.The degeneracy orbit of the optocoupler leakage current is described by a power law model.The estimated values of the orbital parameters are initially calculated and the parameters of its life distribution function are deduced.The above information lays a good foundation for the optimization design and data processing of the accelerated degradation experiment.
文摘This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization.
基金Supported by the National Natural science Foundation of China(No.69576038)
文摘This paper presents the techniques of verification and Test Generation(TG) for sequential machines (Finite State Machines, FSMs) based on state traversing of State Transition Graph(STG). The problems of traversing, redundancy and transition fault model are identified. In order to achieve high fault coverage collapsing testing is proposed. Further, the heuristic knowledge for speeding up verification and TG are described.
基金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.
基金Supported by Natural Science Foundation of Shandong Province(ZR2014CQ012)
文摘[ Objectives] The paper aimed to select drugs reasonably for treatment of rex rabbit colibacillosis, and to isolate the pathogenicity of Escherichia coll. [ Methods ] Pathogen isolation, drug sensitivity test and pathogen regression test were performed with rex rabbits killed by E. coli in clinic. [ Results] The isolate was E. coli 0-23, susceptible to amikacin and cefotaxime sodium; when the challenge dose was 1.0 mL/rabbit (about one billion E. coli), the test animal would discharge mucous feces. [ Conclusions] The results provided model support for clinical medicine selection against rex rabbit colibacillosis.
文摘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 University of New South Wales and the Australian Research Council under grant No.DP120102607
文摘As location-based techniques and applications have become ubiquitous in emerging wireless networks, the verification of location information has become more important. In recent years, there has been an explosion of activity related to lo- cation-verification techniques in wireless networks. In particular, there has been a specific focus on intelligent transport systems because of the mission-critical nature of vehicle location verification. In this paper, we review recent research on wireless location verification related to vehicular networks. We focus on location verification systems that rely on for- mal mathematical classification frameworks and show how many systems are either partially or fully encompassed by such frameworks.
文摘Due to differences in the distribution of scores for different trials, the performance of a speaker verification system will be seriously diminished if raw scores are directly used for detection with a unified threshold value. As such, the scores must be normalized. To tackle the shortcomings of score normalization methods, we propose a speaker verification system based on log-likelihood normalization (LLN). Without a priori knowledge, LLN increases the separation between scores of target and non-target speaker models, so as to improve score aliasing of “same-speaker” and “different-speaker” trials corresponding to the same test speech, enabling better discrimination and decision capability. The experiment shows that LLN is an effective method of scoring normalization.
文摘With the rapid development of China’s economy and society,under the existing economic system,measurement work is of great significance to promote market development and improve people’s living standards.The quality evaluation of testing work is an important means to ensure the accuracy of measurement.Based on the analysis of several factors affecting the quality of measurement work,this paper takes the ionizing radiation monitoring quality as an example,and makes a concrete exposition on the evaluation and analysis of the quality of metrological verification work.
基金financially supported by the National Natural Science Foundation of China(No.51972019)the National Key Research and Development Program of China(No.2019YFC1905702)。
文摘Waste heat recovery from hot steel slag was determined in a granular bed through the combination of numerical simulation and an industrial test method.First,the effective thermal conductivity of the granular bed was calculated.Then,the unsteady-state model was used to simulate the heat recovery under three different flow fields(O-type,S-type,and nonshielding type(Nontype)).Second,the simulation results were validated by in-situ industrial experiments.The two methods confirmed that the heat recovery efficiencies of the flow fields from high to low followed the order of Nontype,S-type,and O-type.Finally,heat recovery was carried out under the Nontype flow field in an industrial test.The heat recovery efficiency increased from~76%and~78%to~81%when the steel slag thickness decreased from 400 and 300 to 200 mm,corresponding to reductions in the steel slag mass from 3.96 and 2.97 to 1.98 t with a blower air volume of 14687 m^(3)/h.Therefore,the research results showed that numerical simulation can not only guide experiments on waste heat recovery but also optimize the flow field.Most importantly,the method proposed in this paper has achieved higher waste heat recovery from hot steel slag in industrial scale.
文摘The bamboo scrimber is an anisotropic material.The elastic constant values of the bamboo scrimber specimens measured by the dynamic and static methods are consistent,and the dynamic test method has the advantages of rapidity,simplicity,good repeatability,and high precision.Bamboo scrimber has strong potential as a building material,and its elastic constant is an important index to measure its mechanical properties.To quickly,simply,non-destructively,and accurately detect the elastic constant of the bamboo scrimber,they were dynamically tested by the free plate transient excitation method and cantilever plate torsional vibration method.The static four-point bending method was used to verify the accuracy and reliability of the dynamic elastic modulus,shear modulus,and Poisson’s ratio of the bamboo scrimber.The mechanism analysis and evaluation of the quality grade,homogeneity,and size effect of the bamboo scrimber whole board were carried out.The main results show that the dynamic elastic modulus,shear modulus,and Poisson’s ratio of the bamboo scrimber are 12 GPa,1500 MPa,and 0.31,respectively,which meet the requirements of GB/T 40247-2021 for structural bamboo scrimber.