The First Verification Test of Space-Ground Collaborative Intelligence via Cloud-Native Satellites

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.

Evaluation of a Rapid Diagnostic Test, Boson Biotech SARS CoV-2 Ag, for the Detection of SARS-CoV-2 in Gabon

1) Background: Rapid and acurate diagnostic testing for case identification, quarantine, and contact tracing is essential for managing the COVID 19 pandemic. Rapid antigen detection tests are available, however, it is important to evaluate their performances before use. We tested a rapid antigen detection of SARS-CoV-2, based on the immunochromatography (Boson Biotech SARS-CoV-2 Ag Test (Xiamen Boson Biotech Co., Ltd., China)) and the results were compared with the real time reverse transcriptase-Polymerase chain reaction (RT-PCR) (Gold standard) results;2) Methods: From November 2021 to December 2021, samples were collected from symptomatic patients and asymptomatic individuals referred for testing in a hospital during the second pandemic wave in Gabon. All these participants attending “CTA Angondjé”, a field hospital set up as part of the management of COVID-19 in Gabon. Two nasopharyngeal swabs were collected in all the patients, one for Ag test and the other for RT-PCR;3) Results: A total of 300 samples were collected from 189 symptomatic and 111 asymptomatic individuals. The sensitivity and specificity of the antigen test were 82.5% [95%CI 73.8 - 89.3] and 97.9 % [95%CI 92.2 - 98.2] respectively, and the diagnostic accuracy was 84.4% (95% CI: 79.8 - 88.3%). The antigen test was more likely to be positive for samples with RT-PCR Ct values ≤ 32, with a sensitivity of 89.8%;4) Conclusions: The Boson Biotech SARS-CoV-2 Ag Test has good sensitivity and can detect SARS-CoV-2 infection, especially among symptomatic individuals with low viral load. This test could be incorporated into efficient testing algorithms as an alternative to PCR to decrease diagnostic delays and curb viral transmission.

Design and Test of Closed Hydraulic Transmission System of 4WD High-clearance Wheeled Sprayer

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.

Analysis on Effectiveness of Testing and Evaluation of Bridge Repair and Reinforcement

Bridge engineering is an important part of basic engineering in today’s transportation field,and its quality and performance have a vital impact on the improvement and development of modern transportation engineering.With the continuous development of transportation engineering,the maintenance and reinforcement of existing bridges are also being given more emphasis.In order to scientifically evaluate the effectiveness of bridge maintenance and reinforcement,this paper analyzes its detection and evaluation,including the significance,key points,and main methods of detection and evaluation.Therefore,this analysis aim to provide some reference for the maintenance and reinforcement and the quality improvement of bridge engineering.

Analysis of the integrated test and evaluation methods of tidal current energy generating devices in the offshore testing site

Actual sea condition testing and inspection and evaluation method research are carried out for tidal energy devices to provide scientific and effective technical support for the ocean high-tech achievement transformation and marine renewable energy development. By analyzing three core indicators, including the power output characteristics of the tidal current device, the generating capacity, energy conversion efficiency, proposed the test contents and evaluation methods of indicators are proposed in this paper; and based on the research of wind farms, power quality testing and assessment methods of offshore tidal energy device are proposed; given the security access to the test contents of tidal current energy device, tidal current energy device running conditions in the testing ground are comprehensively assessed.

Evaluation on washback effects of College English Test Band 4

The paper is an evaluative research on the possible washback effects of College English Test. By comparing and analyzing the differences between the old and new tests, it points out three major changes and their possible washback effects on the process of English language teaching and learning： abandon the part of Grammar ＆ Vocabulary, increase the proportion of listening test and change the test reporting form.

Analysis of the Application of Static Load Test in Bridge Bearing Capacity Testing

This article uses real engineering projects as examples to analyze how static load test technology is applied in testing the bridge-bearing capacity.The analysis covers aspects such as testing section layout,test load and efficiency coefficient,loading plan,evaluation optimization,test result modification,and result evaluation.The aim is to support the accurate detection and evaluation of bridge-bearing capacity.

Pulsed Eddy Current Non-destructive Testing and Evaluation:A Review

Pulsed eddy current （PEC） non-destructive test- ing and evaluation （NDT＆E） has been around for some time and it is still attracting extensive attention from researchers around the globe, which can be witnessed through the reports reviewed in this paper. Thanks to its richness of spectral components, various applications of this technique have been proposed and reported in the lit- erature covering both structural integrity inspection and material characterization in various industrial sectors. To support its development and for better understanding of the phenomena around the transient induced eddy currents, attempts for its modelling both analytically and numeri- cally have been made by researchers around the world. This review is an attempt to capture the state-of-the-art development and applications of PEC, especially in the last 15 years and it is not intended to be exhaustive. Future challenges and opportunities for PEC NDT＆E are also presented.

Random testing for system-level functional verification of system-on-chip

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.

Testing and Evaluation for Web Usability Based on Extended Markov Chain Model

As the increasing popularity and complexity of Web applications and the emergence of their new characteristics, the testing and maintenance of large, complex Web applications are becoming more complex and difficult. Web applications generally contain lots of pages and are used by enormous users. Statistical testing is an effective way of ensuring their quality. Web usage can be accurately described by Markov chain which has been proved to be an ideal model for software statistical testing. The results of unit testing can be utilized in the latter stages, which is an important strategy for bottom-to-top integration testing, and the other improvement of extended Markov chain model (EMM) is to present the error type vector which is treated as a part of page node. this paper also proposes the algorithm for generating test cases of usage paths. Finally, optional usage reliability evaluation methods and an incremental usability regression testing model for testing and evaluation are presented. Key words statistical testing - evaluation for Web usability - extended Markov chain model (EMM) - Web log mining - reliability evaluation CLC number TP311. 5 Foundation item: Supported by the National Defence Research Project (No. 41315. 9. 2) and National Science and Technology Plan (2001BA102A04-02-03)Biography: MAO Cheng-ying (1978-), male, Ph.D. candidate, research direction: software testing. Research direction: advanced database system, software testing, component technology and data mining.

Waste heat recovery from hot steel slag on the production line:Numerical simulation,validation and industrial test

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.

Dynamic Testing of Elastic Modulus,Shear Modulus,and Poisson’s Ratio of Bamboo Scrimber

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.

Correction to: Recent developments in photoacoustic imaging and sensing for nondestructive testing and evaluation

Following publication of the original article[1],the authors identified an error in the article title.The first word ‘Review’ is added mistakenly by the typesetter.

Recent developments in photoacoustic imaging and sensing for nondestructive testing and evaluation

Photoacoustic(PA)imaging has been widely used in biomedical research and preclinical studies during the past two decades.It has also been explored for nondestructive testing and evaluation(NDT/E)and for industrial applications.This paper describes the basic principles of PA technology for NDT/E and its applications in recent years.PA technology for NDT/E includes the use of a modulated continuous-wave laser and a pulsed laser for PA wave excitation,PA-generated ultrasonic waves,and all-optical PA wave excitation and detection.PA technology for NDT/E has demonstrated broad applications,including the imaging of railway cracks and defects,the imaging of Li metal batteries,the measurements of the porosity and Young’s modulus,the detection of defects and damage in silicon wafers,and a visualization of underdrawings in paintings.

Multilevel Tests and Measurement Evaluation Methods for the Application of Composite Materials in Spacecraft Structures

With the implementation of new-generation launch vehicles,space stations,lunar and deep space exploration,etc.,the development of spacecraft structures will face new challenges. In order to reduce the spacecraft weight and increase the payload,composite material structures will be widely used. It is difficult to evaluate the strength and life of composite materials due to their complex mechanism and various phenomena in damage and failure.Meanwhile,the structures of composite materials used in spacecrafts will bear complex loads,including the coupling loads of tension,pressure,bending,shear,and torsion. Static loads,thermal loads,and vibration loads may occur at the same time,which asks for verification requirements to ensure the structure safety. Therefore,it is necessary to carry out a systematic multi-level experimental study. In this paper,the building block approach (BBA) is used to investigate the multilevel composite material structures for spacecrafts. The advanced measurement technology is adopted based on digital image correlation (DIC) and piezoelectric and optical fiber sensors to measure the composite material structure deformation. The virtual experiment technology is applied to provide sufficient and reliable data for the evaluation of the composite material structures of spacecrafts.

The effect of grade entitlement attitudes on English programs in Japanese universities language testing and evaluation： Foreign language skill development

This paper deals with the effect of grade entitlement on English programs in Japanese universities. For years, teachers and administrators have noted that even though Japan is one of the highest spending countries on English education, there has not been a commensurate increase in English ability. Most research to explain this disparity has thus far focused on methodology, class size and teacher qualifications. Recent research dealing with academic entitlement at US universities may offer an alternative explanation for some of the lack of success that Japanese universities have experienced. Ellen Greenberger, one of the author＇s of Self-entitled college students： Contributions of personality, parenting and motivational factors, which appeared in 2008 in The Journal of Youth and Adolescence claims that in recent years, the number of students appealing their grades and expecting to be rewarded for effort rather than results has increased. Greenberger＇s paper motivated this study. 200 Japanese students completed a survey that presented a number of grade scenarios. The students were asked, based on test grades and completed assignments, what grade a student should receive in each hypothetical situation. Similarly, full-time and part-time teachers were asked what grade they would give in each situation. This paper explains the different situations, students＇ and teachers＇ responses to the scenarios, and then discusses the implications for English education in Japan.

Test Case Generation Evaluator for the Implementation of Test Case Generation Algorithms Based on Learning to Rank

In software testing,the quality of test cases is crucial,but manual generation is time-consuming.Various automatic test case generation methods exist,requiring careful selection based on program features.Current evaluation methods compare a limited set of metrics,which does not support a larger number of metrics or consider the relative importance of each metric to the final assessment.To address this,we propose an evaluation tool,the Test Case Generation Evaluator(TCGE),based on the learning to rank(L2R)algorithm.Unlike previous approaches,our method comprehensively evaluates algorithms by considering multiple metrics,resulting in a more reasoned assessment.The main principle of the TCGE is the formation of feature vectors that are of concern by the tester.Through training,the feature vectors are sorted to generate a list,with the order of the methods on the list determined according to their effectiveness on the tested assembly.We implement TCGE using three L2R algorithms:Listnet,LambdaMART,and RFLambdaMART.Evaluation employs a dataset with features of classical test case generation algorithms and three metrics—Normalized Discounted Cumulative Gain(NDCG),Mean Average Precision(MAP),and Mean Reciprocal Rank(MRR).Results demonstrate the TCGE’s superior effectiveness in evaluating test case generation algorithms compared to other methods.Among the three L2R algorithms,RFLambdaMART proves the most effective,achieving an accuracy above 96.5%,surpassing LambdaMART by 2%and Listnet by 1.5%.Consequently,the TCGE framework exhibits significant application value in the evaluation of test case generation algorithms.

STG-BASED VERIFICATION AND TEST GENERATION

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.

Drug Sensitivity Test and Regression Verification of Escherichia coli from Rex Rabbit

[ 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.

A virtual test and evaluation method for fully mechanized mining production system with diferent smart levels

A smart fully mechanized coal mining working face is comprised of various heterogeneous equipment that work together in unknown coal seam environments.The goal is to form a smart operational system with comprehensive perception,decisionmaking,and control.This involves many work points and complex coupling relationships,indicating it needs to be performed in stages and coordinated to address key problems in all directions and along multiple points.However,there are no existing unifed test or analysis tools.Therefore,this study proposed a virtual test and evaluation method for a fully mechanized mining production system with diferent smart levels.This is based on the concept of“real data processing–virtual scene construction–setting key information points–virtual operation and evaluation.”The actual operational data for a specifc working face geology and equipment were reasonably transformed into a visual virtual scene through a movement relationship model.The virtual operations and mining conditions of the working face were accurately reproduced.Based on the sensor and execution error analyses for diferent smart levels,the input interface for sensing,decision-making,and control was established for each piece of equipment,and an operation evaluation system was constructed.The system comprehensively simulates and tests the key points of sensing decision-making and control with various smart levels.The experimental results showed that the virtual scene constructed based on actual operational data has a high simulation degree.Users can simulate,analyze,and evaluate the overall operations of the smart mining 2.0–4.0 working face by inputting key information.The future direction for the smart development of fully mechanized mining is highlighted.