The beyond-dripline oxygen isotopes^(27,28)O were recently observed at RIKEN,and were found to be unbound decaying into^(24)O by emitting neutrons.The unbound feature of the heaviest oxygen isotope,^(28)O,provides an ...The beyond-dripline oxygen isotopes^(27,28)O were recently observed at RIKEN,and were found to be unbound decaying into^(24)O by emitting neutrons.The unbound feature of the heaviest oxygen isotope,^(28)O,provides an excellent test for stateof-the-art nuclear models.The atomic nucleus is a self-organized quantum manybody system comprising specific numbers of protons Z and neutrons N.展开更多
Confining stresses serve as a pivotal determinant in shaping the behavior of grouted rock bolts.Nonetheless,prior investigations have oversimplified the three-dimensional stress state,primarily assuming hydrostatic st...Confining stresses serve as a pivotal determinant in shaping the behavior of grouted rock bolts.Nonetheless,prior investigations have oversimplified the three-dimensional stress state,primarily assuming hydrostatic stress conditions.Under these conditions,it is assumed that the intermediate principal stress(σ_(2))equals the minimum principal stress(σ_(3)).This assumption overlooks the potential variations in magnitudes of in situ stress conditions along all three directions near an underground opening where a rock bolt is installed.In this study,a series of push tests was meticulously conducted under triaxial conditions.These tests involved applying non-uniform confining stresses(σ_(2)≠σ_(3))to cubic specimens,aiming to unveil the previously overlooked influence of intermediate principal stresses on the strength properties of rock bolts.The results show that as the confining stresses increase from zero to higher levels,the pre-failure behavior changes from linear to nonlinear forms,resulting in an increase in initial stiffness from 2.08 kN/mm to 32.51 kN/mm.The load-displacement curves further illuminate distinct post-failure behavior at elevated levels of confining stresses,characterized by enhanced stiffness.Notably,the peak load capacity ranged from 27.9 kN to 46.5 kN as confining stresses advanced from σ_(2)=σ_(3)=0 to σ_(2)=20 MPa and σ_(3)=10 MPa.Additionally,the outcomes highlight an influence of confining stress on the lateral deformation of samples.Lower levels of confinement prompt overall dilation in lateral deformation,while higher confinements maintain a state of shrinkage.Furthermore,diverse failure modes have been identified,intricately tied to the arrangement of confining stresses.Lower confinements tend to induce a splitting mode of failure,whereas higher loads bring about a shift towards a pure interfacial shear-off and shear-crushed failure mechanism.展开更多
Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount impo...Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount importance in the emerging field of edge AI.One widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target program.However,this process consumes significant time and resources.To improve the efficiency of compiler fuzz testing,it is common practice to utilize test case prioritization techniques.Some researchers use machine learning to predict the code coverage of test cases,aiming to maximize the test capability for the target compiler by increasing the overall predicted coverage of the test cases.Nevertheless,these methods can only forecast the code coverage of the compiler at a specific optimization level,potentially missing many optimization-related bugs.In this paper,we introduce C-CORE(short for Clustering by Code Representation),the first framework to prioritize test cases according to their code representations,which are derived directly from the source codes.This approach avoids being limited to specific compiler states and extends to a broader range of compiler bugs.Specifically,we first train a scaled pre-trained programming language model to capture as many common features as possible from the test cases generated by a fuzzer.Using this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying code representations associated with bugs.Subsequently,we cluster the test cases according to their code representations and select the highest-scoring test case from each cluster as the high-quality test case.This reduction in redundant testing cases leads to time savings.Comprehensive evaluation results reveal that code representations are better at distinguishing test capabilities,and C-CORE significantly enhances testing efficiency.Across four datasets,C-CORE increases the average of the percentage of faults detected(APFD)value by 0.16 to 0.31 and reduces test time by over 50% in 46% of cases.When compared to the best results from approaches using predicted code coverage,C-CORE improves the APFD value by 1.1% to 12.3% and achieves an overall time-saving of 159.1%.展开更多
Since the beginning of COVID-19 pandemics many countries were facing challenges with testing capacity recourse limitations. Throughout the waves of the pandemic countries were trying to address the existing constrains...Since the beginning of COVID-19 pandemics many countries were facing challenges with testing capacity recourse limitations. Throughout the waves of the pandemic countries were trying to address the existing constrains exploring solutions to increase the testing capacity with more cost-effective approaches. Pooled methodology was one of the methods which many have validated and used. It is evident that in case of pooled sample testing the sensitivity becomes lower, however the variation highly depends on the pool size as well as the incidence rate at the certain point. Armenia as well as many other countries has adopted regulations for mandatory COVID-19 PCR testing for all the travelers. Current study aimed to explore the efficiency of COVID-19 pooled PCR testing for nasopharyngeal swabs of individuals with no symptoms in a time period with good epidemiological state of the infection. Nasopharingeal swab samples from individuals were collected. The manual extraction of RNAs of samples was performed after pooling up to 5 samples. The pools with Cycle Threshold (CT) of < 37 were considered positive and were retested individually. In total 28,015 samples were grouped in 667 pools of which 57 were positive. The total number of positive samples was 65. The median difference (CT-pool–CT samples) was 2.4 (ranging from–3.0 to 8.9). The correlation of CT of pools and positive samples was positive. The correlation coefficient r = 0.84, P < 0.000, 95% CI range 0.7423 to 0.9243). The total economic saving when using pools compared to the individual testing was 72%. The minor difference between CT values of pools and samples can be explained by the dilution effect in the pool. However, the positive correlation between the values as well as the amount of cost saving demonstrate that pooling on nasopharyngeal samples for COVID-19 PCR testing can be a good method for efficient screening with significant resource saving. One of the most important advantages of the proposed method is the fact that samples are pooled prior extraction, which avoids the possibilities with misinterpretation of IC due to low yield of RNA in the extraction process.展开更多
Introduction: Exercise stress testing (on a treadmill or ergometer bicycle) is an important test in cardiology for diagnosing myocardial ischemia. This test in Mali is still in its beginning compared to other countrie...Introduction: Exercise stress testing (on a treadmill or ergometer bicycle) is an important test in cardiology for diagnosing myocardial ischemia. This test in Mali is still in its beginning compared to other countries in the sub-region. The lack of data in Mali prompted this study, which aimed to evaluate the indications of this activity and its diagnostic contribution to cardiology in Mali. Materials and Methods: This was a retrospective, descriptive study. The study was conducted at the “TOUCAM” medical clinic in Kati based on the analysis of stress test reports between January 2016 and August 2022. Result: During the study period, we documented 73 patients who underwent exercise testing on a bicycle ergometer for suspected coronary heart disease. The mean age of our patients was 47.5 ± 13.8 years (14 and 79 years). Males accounted for the majority (78.1%). The sex ratio is 3.5. More than half of our patients were overweight or obese (77.1%). Hypertension and diabetes affected 52.1% and 25.8% of patients, respectively. 20.8% of patients had coronary artery disease. renin-angiotensin-aldosterone system blockers (56.8%) and beta-blockers (51.3%). The main indications were chest pain (63.0%) and ischemia detection (15.1%). A modified STEEP protocol was used. The majority of our patients (71.2%) achieved at least 85% of their maximum theoretical heart rate. The main reason for the termination of the study was fatigue (57.3%). The average duration was 11.3 ± 4.2 minutes. 24.7% thought the stress tests were positive and 17.8% thought they were controversial. Conclusion: This study demonstrates the importance of stress testing in the diagnosis and treatment of ischemic heart disease, especially in settings where we have very limited access to coronary angiography.展开更多
Rapid and timely testing is essential to minimize the COVID-19 spread. Decision makers and policy planners need to determine the equal distribution and accessibility of testing sites. This study mainly examines the sp...Rapid and timely testing is essential to minimize the COVID-19 spread. Decision makers and policy planners need to determine the equal distribution and accessibility of testing sites. This study mainly examines the spatial equality of COVID-19 testing sites that maintain a zero COVID policy in Guangzhou City. The study has identified the spatial disparities of COVID testing sites, characteristics of testing locations, and accessibility. The study has obtained information on COVID testing sites in Guangzhou City and population data. Point pattern analyses, Euclidian distance and allocation, and network analyses are the main methods used to achieve the research objectives, and 1183 total COVID testing sites can be recognized in Guangzhou City. Results revealed that spatial disparities could be noticed over the study area. Testing locations of Guangzhou City are highly clustered. The most significant testing sites are located in Haizhu District, which has the third largest population. The highest population density can be identified in Yuexiu District. However, only 94 testing sites are located there. According to all the results, higher disparities can be identified, and a lack of testing sites is located in the north part of the study area. Some people in the northern part have to travel more than 10 km to reach a testing site. Finally, this paper suggests increasing the number of testing sites in the north and south parts of the study area and keeping the same distribution, considering the area, total population, and population density. This kind of research will be helpful to decision-makers in making proper decisions to maintain a zero COVID policy.展开更多
Background: When continuous scale measurements are available, agreements between two measuring devices are assessed both graphically and analytically. In clinical investigations, Bland and Altman proposed plotting sub...Background: When continuous scale measurements are available, agreements between two measuring devices are assessed both graphically and analytically. In clinical investigations, Bland and Altman proposed plotting subject-wise differences between raters against subject-wise averages. In order to scientifically assess agreement, Bartko recommended combining the graphical approach with the statistical analytic procedure suggested by Bradley and Blackwood. The advantage of using this approach is that it enables significance testing and sample size estimation. We noted that the direct use of the results of the regression is misleading and we provide a correction in this regard. Methods: Graphical and linear models are used to assess agreements for continuous scale measurements. We demonstrate that software linear regression results should not be readily used and we provided correct analytic procedures. The degrees of freedom of the F-statistics are incorrectly reported, and we propose methods to overcome this problem by introducing the correct analytic form of the F statistic. Methods for sample size estimation using R-functions are also given. Results: We believe that the tutorial and the R-codes are useful tools for testing and estimating agreement between two rating protocols for continuous scale measurements. The interested reader may use the codes and apply them to their available data when the issue of agreement between two raters is the subject of interest.展开更多
Point-of-care testing(POCT)is the practice of diagnosing and monitoring diseases where the patient is located,as opposed to traditional treatment conducted solely in a medical laboratory or other clinical setting.POCT...Point-of-care testing(POCT)is the practice of diagnosing and monitoring diseases where the patient is located,as opposed to traditional treatment conducted solely in a medical laboratory or other clinical setting.POCT has been less common in the recent past due to a lack of portable medical devices capable of facilitating effective medical testing.However,recent growth has occurred in this field due to advances in diagnostic technologies,device miniaturization,and progress in wearable electronics.Among these developments,electrochemical sensors have attracted interest in the POCT field due to their high sensitivity,compact size,and affordability.They are used in various applications,from disease diagnosis to health status monitoring.In this paper we explore recent advancements in electrochemical sensors,the methods of fabricating them,and the various types of sensing mechanisms that can be used.Furthermore,we delve into methods for immobilizing specific biorecognition elements,including enzymes,antibodies,and aptamers,onto electrode surfaces and how these sensors are used in real-world POCT settings.展开更多
Background: This study aimed to evaluate the diagnostic value of interferon-γ release assay (IGRA), a sensitive microbiological diagnostic method, in children and adolescents with suspected tuberculosis in a country ...Background: This study aimed to evaluate the diagnostic value of interferon-γ release assay (IGRA), a sensitive microbiological diagnostic method, in children and adolescents with suspected tuberculosis in a country with a high burden of tuberculosis. Method: This study included 581 children and adolescents aged 4 - 19 years who were suspected of having tuberculosis, were latently infected with Mycobacterium tuberculosis, and had received at least one dose of BCG vaccine between April 17, 2019, and February 24, 2021. The study evaluated the TST results of 106 patients who had a positive Quantiferon test and were suspected of having tuberculosis. Results: The study included 581 patients aged between 4 and 19 years. Of these, 106 patients tested positive for the Quantiferon test, while 19 were indeterminate and 456 were negative. The Quantiferon test positivity rate was 18.24%. Among the 106 QFT-Plus-positive cases, 23 patients also tested positive for TST. The difference in distribution was found to be statistically significant. Conclusion: The QFT-Plus test is considered an alternative to TST and other microbiological diagnostic methods for early tuberculosis diagnosis, particularly in children and adolescents.展开更多
Despite the success of guided wave ultrasonic inspection for internal defect detection in steel pipes,its application on polyethylene(PE)pipe remains relatively unexplored.The growth of internal cracks in PE pipe seve...Despite the success of guided wave ultrasonic inspection for internal defect detection in steel pipes,its application on polyethylene(PE)pipe remains relatively unexplored.The growth of internal cracks in PE pipe severely affects its pressure-holding capacity,hence the early detection of internal cracks is crucial for effective pipeline maintenance strategies.This study extends the scope of guided wave-based ultrasonic testing to detect the growth of internal cracks in a natural gas distribution PE pipe.Laboratory experiments and a finite element model were planned to study the wave-crack interaction at different stages of axially oriented internal crack growth with a piezoceramic transducer-based setup arranged in a pitch-catch configuration.Mode dispersion analysis supplemented with preliminary experiments was performed to isolate the optimal inspection frequency,leading to the selection of the T(0,1)mode at 50-kHz for the investigation.A transmission index based on the energy of the T(0,1)mode was developed to trace the extent of simulated crack growth.The findings revealed an inverse linear correlation between the transmission index and the crack depth for crack growth beyond 20%crack depth.展开更多
For real-time dynamic substructure testing(RTDST),the influence of the inertia force of fluid specimens on the stability and accuracy of the integration algorithms has never been investigated.Therefore,this study prop...For real-time dynamic substructure testing(RTDST),the influence of the inertia force of fluid specimens on the stability and accuracy of the integration algorithms has never been investigated.Therefore,this study proposes to investigate the stability and accuracy of the central difference method(CDM)for RTDST considering the specimen mass participation coefficient.First,the theory of the CDM for RTDST is presented.Next,the stability and accuracy of the CDM for RTDST considering the specimen mass participation coefficient are investigated.Finally,numerical simulations and experimental tests are conducted for verifying the effectiveness of the method.The study indicates that the stability of the algorithm is affected by the mass participation coefficient of the specimen,and the stability limit first increases and then decreases as the mass participation coefficient increases.In most cases,the mass participation coefficient will increase the stability limit of the algorithm,but in specific circumstances,the algorithm may lose its stability.The stability and accuracy of the CDM considering the mass participation coefficient are verified by numerical simulations and experimental tests on a three-story frame structure with a tuned liquid damper.展开更多
The objective of this research was to determine the mechanical parameter from EVA foam and also investigate its behavior by using Blatz-Ko,Neo-Hookean,Mooney model and experimental test.The physical characteristic of ...The objective of this research was to determine the mechanical parameter from EVA foam and also investigate its behavior by using Blatz-Ko,Neo-Hookean,Mooney model and experimental test.The physical characteristic of EVA foam was also evaluated by scanning electron microscopy(SEM).The results show that Blatz-Ko and Neo-Hookean model can fit the curve at 5%and 8%strain,respectively.The Mooney model can fit the curve at 50%strain.The modulus of rigidity evaluated from Mooney model is 0.0814±0.0027 MPa.The structure of EVA foam from SEM image shows that EVA structure is a closed cell with homogeneous porous structure.From the result,it is found that Mooney model can adjust the data better than other models.This model can be applied for mechanical response prediction of EVA foam and also for reference value in engineering application.展开更多
In today’s era, where mobile devices have become an integral part of our daily lives, ensuring the security of mobile applications has become increasingly crucial. Mobile penetration testing, a specialized subfield w...In today’s era, where mobile devices have become an integral part of our daily lives, ensuring the security of mobile applications has become increasingly crucial. Mobile penetration testing, a specialized subfield within the realm of cybersecurity, plays a vital role in safeguarding mobile ecosystems against the ever-evolving landscape of threats. The ubiquity of mobile devices has made them a prime target for cybercriminals, and the data and functionality accessed through mobile applications make them valuable assets to protect. Mobile penetration testing is designed to identify vulnerabilities, weaknesses, and potential exploits within mobile applications and the devices themselves. Unlike traditional penetration testing, which often focuses on network and server security, mobile penetration testing zeroes in on the unique challenges posed by mobile platforms. Mobile penetration testing, a specialized field within cybersecurity, is an essential tool in the Cybersecurity specialists’ toolkit to protect mobile ecosystems from emerging threats. This article introduces mobile penetration testing, emphasizing its significance, including comprehensive learning labs for Android and iOS platforms, and highlighting how it distinctly differs from traditional penetration testing methodologies.展开更多
Hepatitis D virus(HDV)can infect HBsAg-positive individuals,causing rapid fibrosis progression,early decompensation,increased hepatocellular carcinoma risk,and higher mortality than hepatitis B virus(HBV)mono-infectio...Hepatitis D virus(HDV)can infect HBsAg-positive individuals,causing rapid fibrosis progression,early decompensation,increased hepatocellular carcinoma risk,and higher mortality than hepatitis B virus(HBV)mono-infection.Most countries lack high-quality HDV prevalence data,and the collection techniques employed often bias published data.In recent meta-analyses,HDV prevalence in HBsAg-positive patients reaches 5%-15%and is even significantly higher in endemic areas.Since HBV vaccination programs were implemented,HDV prevalence has decreased among younger populations.However,owing to immigrant influx,it has increased in some Western countries.The current practice of HDV screening in HBsAg-positive individuals is stepwise,based on physician’s discretion,and limited to at-risk populations and may require numerous visits.Double reflex testing,which includes anti-HDV testing in all HBsAg-positive individuals and then HDV RNA testing for anti-HDV-positive ones,is uncommon.Reflex testing can identify more HDV infection cases and link identified patients to further care and follow-up.Moreover,laboratory-based double reflex screening is less biased than physician-led testing.Therefore,health-care providers should learn about reflex testing,and federal and provincial hepatitis control programs should implement laboratory-based double reflex testing to obtain reliable HDV prevalence estimates.The test’s cost-effectiveness depends on the number of HBV-positive patients screened to identify one HDV-positive patient.Such testing may be viable in areas with low HBsAg but high HDV prevalence.However,its economic impact on areas with low HDV prevalence needs further study.展开更多
Longitudinal joint construction quality is critical to the life of flexible pavements.Maintaining deteriorated longitudinal joints has become a challenge for many highway agencies.Improving the joint's quality thr...Longitudinal joint construction quality is critical to the life of flexible pavements.Maintaining deteriorated longitudinal joints has become a challenge for many highway agencies.Improving the joint's quality through better compaction during construction can help achieve flexible pavements with longer service lives and less maintenance.Current quality control(QC)and quality assurance(QA)plans provide limited coverage.Consequently,the risk of missing areas with poor joint compaction is significant.A density profiling system(DPS)is a non-destructive alternative to conventional destructive evaluation methods.It can provide quick and continuous real-time coverage of the compaction during construction in dielectrics.The paper presents several case studies comparing various types of longitudinal joints and demonstrating the use of DPS to evaluate the joint's compaction quality.The paper shows that dielectric measurements can provide valuable insight into the ability of various construction techniques to achieve adequate levels of compaction at the longitudinal joint.The paper proposes a dielectric-based longitudinal joint quality index(LJQI)to evaluate the relative compaction of the joint during construction.It also shows that adopting DPS for assessing the compaction of longitudinal joints can minimize the risk of agencies accepting poorly constructed joints,identify locations of poor quality during construction,and achieve better-performing flexible pavements.展开更多
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...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.展开更多
Gravity-1 was the world's first carrier rocket to adopt the sea-based “three vertical” testing launch mode. This article introduces the overall layout of the launch site and the workflow of rocket testing and la...Gravity-1 was the world's first carrier rocket to adopt the sea-based “three vertical” testing launch mode. This article introduces the overall layout of the launch site and the workflow of rocket testing and launch for its maiden flight mission. The process of vertical assembly, vertical testing, vertical transportation, and sea-based hot launches are explained. Additionally, it provides an outlook on the improved “three vertical” testing and launch mode for future missions, such as land-based launches, rapid launches, and remote sea launches.展开更多
Sophisticated systems for the testing of fibres and advanced materials were showcased by key members of the British Textile Machinery Association(BTMA)at the forthcoming Techtextil 2024 exhibition which takes place in...Sophisticated systems for the testing of fibres and advanced materials were showcased by key members of the British Textile Machinery Association(BTMA)at the forthcoming Techtextil 2024 exhibition which takes place in Frankfurt,Germany,from April 23-26.展开更多
As science and technology continue to develop,power equipment has become an indispensable part of industrial production and daily life.Whether it is the precise automation machinery utilized on production lines or the...As science and technology continue to develop,power equipment has become an indispensable part of industrial production and daily life.Whether it is the precise automation machinery utilized on production lines or the convenient electrical appliances found in households,their functionality relies heavily on electrical technology.Nonetheless,without stringent safety and performance assurances,these devices could potentially endanger lives and property.Thus,this paper explores the development strategy for establishing a standardized system within the electrical testing service industry,aiming to ensure safety and reliability.展开更多
Highway bridges are a crucial component in road transportation networks.These bridges must be maintained according to usage requirements regularly.Test results must be considered before devising a maintenance plan.Loa...Highway bridges are a crucial component in road transportation networks.These bridges must be maintained according to usage requirements regularly.Test results must be considered before devising a maintenance plan.Load testing is a vital method of assessing the quality and performance of highway bridges.The outcomes of these tests facilitate the formulation of maintenance plans.This article examines the definition of load testing,its significance,and the process of execution,with the goal of providing support for bridge inspection and maintenance.展开更多
基金This work was supported by the National Natural Science Foundation of China(Nos.12335007,11835001,11921006,12035001 and 12205340)the State Key Laboratory of Nuclear Physics and Technology,Peking University(No.NPT2020KFY13)Gansu Natural Science Foundation(No.22JR5RA123).
文摘The beyond-dripline oxygen isotopes^(27,28)O were recently observed at RIKEN,and were found to be unbound decaying into^(24)O by emitting neutrons.The unbound feature of the heaviest oxygen isotope,^(28)O,provides an excellent test for stateof-the-art nuclear models.The atomic nucleus is a self-organized quantum manybody system comprising specific numbers of protons Z and neutrons N.
文摘Confining stresses serve as a pivotal determinant in shaping the behavior of grouted rock bolts.Nonetheless,prior investigations have oversimplified the three-dimensional stress state,primarily assuming hydrostatic stress conditions.Under these conditions,it is assumed that the intermediate principal stress(σ_(2))equals the minimum principal stress(σ_(3)).This assumption overlooks the potential variations in magnitudes of in situ stress conditions along all three directions near an underground opening where a rock bolt is installed.In this study,a series of push tests was meticulously conducted under triaxial conditions.These tests involved applying non-uniform confining stresses(σ_(2)≠σ_(3))to cubic specimens,aiming to unveil the previously overlooked influence of intermediate principal stresses on the strength properties of rock bolts.The results show that as the confining stresses increase from zero to higher levels,the pre-failure behavior changes from linear to nonlinear forms,resulting in an increase in initial stiffness from 2.08 kN/mm to 32.51 kN/mm.The load-displacement curves further illuminate distinct post-failure behavior at elevated levels of confining stresses,characterized by enhanced stiffness.Notably,the peak load capacity ranged from 27.9 kN to 46.5 kN as confining stresses advanced from σ_(2)=σ_(3)=0 to σ_(2)=20 MPa and σ_(3)=10 MPa.Additionally,the outcomes highlight an influence of confining stress on the lateral deformation of samples.Lower levels of confinement prompt overall dilation in lateral deformation,while higher confinements maintain a state of shrinkage.Furthermore,diverse failure modes have been identified,intricately tied to the arrangement of confining stresses.Lower confinements tend to induce a splitting mode of failure,whereas higher loads bring about a shift towards a pure interfacial shear-off and shear-crushed failure mechanism.
文摘Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount importance in the emerging field of edge AI.One widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target program.However,this process consumes significant time and resources.To improve the efficiency of compiler fuzz testing,it is common practice to utilize test case prioritization techniques.Some researchers use machine learning to predict the code coverage of test cases,aiming to maximize the test capability for the target compiler by increasing the overall predicted coverage of the test cases.Nevertheless,these methods can only forecast the code coverage of the compiler at a specific optimization level,potentially missing many optimization-related bugs.In this paper,we introduce C-CORE(short for Clustering by Code Representation),the first framework to prioritize test cases according to their code representations,which are derived directly from the source codes.This approach avoids being limited to specific compiler states and extends to a broader range of compiler bugs.Specifically,we first train a scaled pre-trained programming language model to capture as many common features as possible from the test cases generated by a fuzzer.Using this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying code representations associated with bugs.Subsequently,we cluster the test cases according to their code representations and select the highest-scoring test case from each cluster as the high-quality test case.This reduction in redundant testing cases leads to time savings.Comprehensive evaluation results reveal that code representations are better at distinguishing test capabilities,and C-CORE significantly enhances testing efficiency.Across four datasets,C-CORE increases the average of the percentage of faults detected(APFD)value by 0.16 to 0.31 and reduces test time by over 50% in 46% of cases.When compared to the best results from approaches using predicted code coverage,C-CORE improves the APFD value by 1.1% to 12.3% and achieves an overall time-saving of 159.1%.
文摘Since the beginning of COVID-19 pandemics many countries were facing challenges with testing capacity recourse limitations. Throughout the waves of the pandemic countries were trying to address the existing constrains exploring solutions to increase the testing capacity with more cost-effective approaches. Pooled methodology was one of the methods which many have validated and used. It is evident that in case of pooled sample testing the sensitivity becomes lower, however the variation highly depends on the pool size as well as the incidence rate at the certain point. Armenia as well as many other countries has adopted regulations for mandatory COVID-19 PCR testing for all the travelers. Current study aimed to explore the efficiency of COVID-19 pooled PCR testing for nasopharyngeal swabs of individuals with no symptoms in a time period with good epidemiological state of the infection. Nasopharingeal swab samples from individuals were collected. The manual extraction of RNAs of samples was performed after pooling up to 5 samples. The pools with Cycle Threshold (CT) of < 37 were considered positive and were retested individually. In total 28,015 samples were grouped in 667 pools of which 57 were positive. The total number of positive samples was 65. The median difference (CT-pool–CT samples) was 2.4 (ranging from–3.0 to 8.9). The correlation of CT of pools and positive samples was positive. The correlation coefficient r = 0.84, P < 0.000, 95% CI range 0.7423 to 0.9243). The total economic saving when using pools compared to the individual testing was 72%. The minor difference between CT values of pools and samples can be explained by the dilution effect in the pool. However, the positive correlation between the values as well as the amount of cost saving demonstrate that pooling on nasopharyngeal samples for COVID-19 PCR testing can be a good method for efficient screening with significant resource saving. One of the most important advantages of the proposed method is the fact that samples are pooled prior extraction, which avoids the possibilities with misinterpretation of IC due to low yield of RNA in the extraction process.
文摘Introduction: Exercise stress testing (on a treadmill or ergometer bicycle) is an important test in cardiology for diagnosing myocardial ischemia. This test in Mali is still in its beginning compared to other countries in the sub-region. The lack of data in Mali prompted this study, which aimed to evaluate the indications of this activity and its diagnostic contribution to cardiology in Mali. Materials and Methods: This was a retrospective, descriptive study. The study was conducted at the “TOUCAM” medical clinic in Kati based on the analysis of stress test reports between January 2016 and August 2022. Result: During the study period, we documented 73 patients who underwent exercise testing on a bicycle ergometer for suspected coronary heart disease. The mean age of our patients was 47.5 ± 13.8 years (14 and 79 years). Males accounted for the majority (78.1%). The sex ratio is 3.5. More than half of our patients were overweight or obese (77.1%). Hypertension and diabetes affected 52.1% and 25.8% of patients, respectively. 20.8% of patients had coronary artery disease. renin-angiotensin-aldosterone system blockers (56.8%) and beta-blockers (51.3%). The main indications were chest pain (63.0%) and ischemia detection (15.1%). A modified STEEP protocol was used. The majority of our patients (71.2%) achieved at least 85% of their maximum theoretical heart rate. The main reason for the termination of the study was fatigue (57.3%). The average duration was 11.3 ± 4.2 minutes. 24.7% thought the stress tests were positive and 17.8% thought they were controversial. Conclusion: This study demonstrates the importance of stress testing in the diagnosis and treatment of ischemic heart disease, especially in settings where we have very limited access to coronary angiography.
文摘Rapid and timely testing is essential to minimize the COVID-19 spread. Decision makers and policy planners need to determine the equal distribution and accessibility of testing sites. This study mainly examines the spatial equality of COVID-19 testing sites that maintain a zero COVID policy in Guangzhou City. The study has identified the spatial disparities of COVID testing sites, characteristics of testing locations, and accessibility. The study has obtained information on COVID testing sites in Guangzhou City and population data. Point pattern analyses, Euclidian distance and allocation, and network analyses are the main methods used to achieve the research objectives, and 1183 total COVID testing sites can be recognized in Guangzhou City. Results revealed that spatial disparities could be noticed over the study area. Testing locations of Guangzhou City are highly clustered. The most significant testing sites are located in Haizhu District, which has the third largest population. The highest population density can be identified in Yuexiu District. However, only 94 testing sites are located there. According to all the results, higher disparities can be identified, and a lack of testing sites is located in the north part of the study area. Some people in the northern part have to travel more than 10 km to reach a testing site. Finally, this paper suggests increasing the number of testing sites in the north and south parts of the study area and keeping the same distribution, considering the area, total population, and population density. This kind of research will be helpful to decision-makers in making proper decisions to maintain a zero COVID policy.
文摘Background: When continuous scale measurements are available, agreements between two measuring devices are assessed both graphically and analytically. In clinical investigations, Bland and Altman proposed plotting subject-wise differences between raters against subject-wise averages. In order to scientifically assess agreement, Bartko recommended combining the graphical approach with the statistical analytic procedure suggested by Bradley and Blackwood. The advantage of using this approach is that it enables significance testing and sample size estimation. We noted that the direct use of the results of the regression is misleading and we provide a correction in this regard. Methods: Graphical and linear models are used to assess agreements for continuous scale measurements. We demonstrate that software linear regression results should not be readily used and we provided correct analytic procedures. The degrees of freedom of the F-statistics are incorrectly reported, and we propose methods to overcome this problem by introducing the correct analytic form of the F statistic. Methods for sample size estimation using R-functions are also given. Results: We believe that the tutorial and the R-codes are useful tools for testing and estimating agreement between two rating protocols for continuous scale measurements. The interested reader may use the codes and apply them to their available data when the issue of agreement between two raters is the subject of interest.
基金supported by the National Research Foundation of Korea(No.2021R1A2B5B03001691).
文摘Point-of-care testing(POCT)is the practice of diagnosing and monitoring diseases where the patient is located,as opposed to traditional treatment conducted solely in a medical laboratory or other clinical setting.POCT has been less common in the recent past due to a lack of portable medical devices capable of facilitating effective medical testing.However,recent growth has occurred in this field due to advances in diagnostic technologies,device miniaturization,and progress in wearable electronics.Among these developments,electrochemical sensors have attracted interest in the POCT field due to their high sensitivity,compact size,and affordability.They are used in various applications,from disease diagnosis to health status monitoring.In this paper we explore recent advancements in electrochemical sensors,the methods of fabricating them,and the various types of sensing mechanisms that can be used.Furthermore,we delve into methods for immobilizing specific biorecognition elements,including enzymes,antibodies,and aptamers,onto electrode surfaces and how these sensors are used in real-world POCT settings.
文摘Background: This study aimed to evaluate the diagnostic value of interferon-γ release assay (IGRA), a sensitive microbiological diagnostic method, in children and adolescents with suspected tuberculosis in a country with a high burden of tuberculosis. Method: This study included 581 children and adolescents aged 4 - 19 years who were suspected of having tuberculosis, were latently infected with Mycobacterium tuberculosis, and had received at least one dose of BCG vaccine between April 17, 2019, and February 24, 2021. The study evaluated the TST results of 106 patients who had a positive Quantiferon test and were suspected of having tuberculosis. Results: The study included 581 patients aged between 4 and 19 years. Of these, 106 patients tested positive for the Quantiferon test, while 19 were indeterminate and 456 were negative. The Quantiferon test positivity rate was 18.24%. Among the 106 QFT-Plus-positive cases, 23 patients also tested positive for TST. The difference in distribution was found to be statistically significant. Conclusion: The QFT-Plus test is considered an alternative to TST and other microbiological diagnostic methods for early tuberculosis diagnosis, particularly in children and adolescents.
基金the financial support provided by USDOT Pipeline and Hazardous Materials Safety Administration (PHMSA)through the Competitive Academic Agreement Program (CAAP)。
文摘Despite the success of guided wave ultrasonic inspection for internal defect detection in steel pipes,its application on polyethylene(PE)pipe remains relatively unexplored.The growth of internal cracks in PE pipe severely affects its pressure-holding capacity,hence the early detection of internal cracks is crucial for effective pipeline maintenance strategies.This study extends the scope of guided wave-based ultrasonic testing to detect the growth of internal cracks in a natural gas distribution PE pipe.Laboratory experiments and a finite element model were planned to study the wave-crack interaction at different stages of axially oriented internal crack growth with a piezoceramic transducer-based setup arranged in a pitch-catch configuration.Mode dispersion analysis supplemented with preliminary experiments was performed to isolate the optimal inspection frequency,leading to the selection of the T(0,1)mode at 50-kHz for the investigation.A transmission index based on the energy of the T(0,1)mode was developed to trace the extent of simulated crack growth.The findings revealed an inverse linear correlation between the transmission index and the crack depth for crack growth beyond 20%crack depth.
基金National Natural Science Foundation of China under Grant Nos.51978213 and 51778190the National Key Research and Development Program of China under Grant Nos.2017YFC0703605 and 2016YFC0701106。
文摘For real-time dynamic substructure testing(RTDST),the influence of the inertia force of fluid specimens on the stability and accuracy of the integration algorithms has never been investigated.Therefore,this study proposes to investigate the stability and accuracy of the central difference method(CDM)for RTDST considering the specimen mass participation coefficient.First,the theory of the CDM for RTDST is presented.Next,the stability and accuracy of the CDM for RTDST considering the specimen mass participation coefficient are investigated.Finally,numerical simulations and experimental tests are conducted for verifying the effectiveness of the method.The study indicates that the stability of the algorithm is affected by the mass participation coefficient of the specimen,and the stability limit first increases and then decreases as the mass participation coefficient increases.In most cases,the mass participation coefficient will increase the stability limit of the algorithm,but in specific circumstances,the algorithm may lose its stability.The stability and accuracy of the CDM considering the mass participation coefficient are verified by numerical simulations and experimental tests on a three-story frame structure with a tuned liquid damper.
基金supported by grants funded by Department of Mechanical Engineering,Faculty of Engineering,Chiang Mai University and the Graduate School of Chiang Mai University.
文摘The objective of this research was to determine the mechanical parameter from EVA foam and also investigate its behavior by using Blatz-Ko,Neo-Hookean,Mooney model and experimental test.The physical characteristic of EVA foam was also evaluated by scanning electron microscopy(SEM).The results show that Blatz-Ko and Neo-Hookean model can fit the curve at 5%and 8%strain,respectively.The Mooney model can fit the curve at 50%strain.The modulus of rigidity evaluated from Mooney model is 0.0814±0.0027 MPa.The structure of EVA foam from SEM image shows that EVA structure is a closed cell with homogeneous porous structure.From the result,it is found that Mooney model can adjust the data better than other models.This model can be applied for mechanical response prediction of EVA foam and also for reference value in engineering application.
文摘In today’s era, where mobile devices have become an integral part of our daily lives, ensuring the security of mobile applications has become increasingly crucial. Mobile penetration testing, a specialized subfield within the realm of cybersecurity, plays a vital role in safeguarding mobile ecosystems against the ever-evolving landscape of threats. The ubiquity of mobile devices has made them a prime target for cybercriminals, and the data and functionality accessed through mobile applications make them valuable assets to protect. Mobile penetration testing is designed to identify vulnerabilities, weaknesses, and potential exploits within mobile applications and the devices themselves. Unlike traditional penetration testing, which often focuses on network and server security, mobile penetration testing zeroes in on the unique challenges posed by mobile platforms. Mobile penetration testing, a specialized field within cybersecurity, is an essential tool in the Cybersecurity specialists’ toolkit to protect mobile ecosystems from emerging threats. This article introduces mobile penetration testing, emphasizing its significance, including comprehensive learning labs for Android and iOS platforms, and highlighting how it distinctly differs from traditional penetration testing methodologies.
文摘Hepatitis D virus(HDV)can infect HBsAg-positive individuals,causing rapid fibrosis progression,early decompensation,increased hepatocellular carcinoma risk,and higher mortality than hepatitis B virus(HBV)mono-infection.Most countries lack high-quality HDV prevalence data,and the collection techniques employed often bias published data.In recent meta-analyses,HDV prevalence in HBsAg-positive patients reaches 5%-15%and is even significantly higher in endemic areas.Since HBV vaccination programs were implemented,HDV prevalence has decreased among younger populations.However,owing to immigrant influx,it has increased in some Western countries.The current practice of HDV screening in HBsAg-positive individuals is stepwise,based on physician’s discretion,and limited to at-risk populations and may require numerous visits.Double reflex testing,which includes anti-HDV testing in all HBsAg-positive individuals and then HDV RNA testing for anti-HDV-positive ones,is uncommon.Reflex testing can identify more HDV infection cases and link identified patients to further care and follow-up.Moreover,laboratory-based double reflex screening is less biased than physician-led testing.Therefore,health-care providers should learn about reflex testing,and federal and provincial hepatitis control programs should implement laboratory-based double reflex testing to obtain reliable HDV prevalence estimates.The test’s cost-effectiveness depends on the number of HBV-positive patients screened to identify one HDV-positive patient.Such testing may be viable in areas with low HBsAg but high HDV prevalence.However,its economic impact on areas with low HDV prevalence needs further study.
文摘Longitudinal joint construction quality is critical to the life of flexible pavements.Maintaining deteriorated longitudinal joints has become a challenge for many highway agencies.Improving the joint's quality through better compaction during construction can help achieve flexible pavements with longer service lives and less maintenance.Current quality control(QC)and quality assurance(QA)plans provide limited coverage.Consequently,the risk of missing areas with poor joint compaction is significant.A density profiling system(DPS)is a non-destructive alternative to conventional destructive evaluation methods.It can provide quick and continuous real-time coverage of the compaction during construction in dielectrics.The paper presents several case studies comparing various types of longitudinal joints and demonstrating the use of DPS to evaluate the joint's compaction quality.The paper shows that dielectric measurements can provide valuable insight into the ability of various construction techniques to achieve adequate levels of compaction at the longitudinal joint.The paper proposes a dielectric-based longitudinal joint quality index(LJQI)to evaluate the relative compaction of the joint during construction.It also shows that adopting DPS for assessing the compaction of longitudinal joints can minimize the risk of agencies accepting poorly constructed joints,identify locations of poor quality during construction,and achieve better-performing flexible pavements.
文摘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.
文摘Gravity-1 was the world's first carrier rocket to adopt the sea-based “three vertical” testing launch mode. This article introduces the overall layout of the launch site and the workflow of rocket testing and launch for its maiden flight mission. The process of vertical assembly, vertical testing, vertical transportation, and sea-based hot launches are explained. Additionally, it provides an outlook on the improved “three vertical” testing and launch mode for future missions, such as land-based launches, rapid launches, and remote sea launches.
文摘Sophisticated systems for the testing of fibres and advanced materials were showcased by key members of the British Textile Machinery Association(BTMA)at the forthcoming Techtextil 2024 exhibition which takes place in Frankfurt,Germany,from April 23-26.
基金Tianshui City Science and Technology Support Plan Project:2023-FZJHK-2813。
文摘As science and technology continue to develop,power equipment has become an indispensable part of industrial production and daily life.Whether it is the precise automation machinery utilized on production lines or the convenient electrical appliances found in households,their functionality relies heavily on electrical technology.Nonetheless,without stringent safety and performance assurances,these devices could potentially endanger lives and property.Thus,this paper explores the development strategy for establishing a standardized system within the electrical testing service industry,aiming to ensure safety and reliability.
文摘Highway bridges are a crucial component in road transportation networks.These bridges must be maintained according to usage requirements regularly.Test results must be considered before devising a maintenance plan.Load testing is a vital method of assessing the quality and performance of highway bridges.The outcomes of these tests facilitate the formulation of maintenance plans.This article examines the definition of load testing,its significance,and the process of execution,with the goal of providing support for bridge inspection and maintenance.