Influence of longwall gateroad convergence on the process of mine ventilation network-model tests

Hard coal mines are required to constantly ventilate mine workings to ensure that the air composition is at a certain humidity and temperature level that is comfortable for underground mine workers,especially in deep deposits.All underground workings,which are part of the mine ventilation network,should be ventilated in a way that allows maintaining proper oxygen concentration not lower than 19%(by volume),and limits concentration of gases in the air such as methane,carbon monoxide or carbon dioxide.The air flow in the mine ventilation network may be disturbed due to the natural convergence(deformation)and lead to change in its original cross-section.Reducing the cross-sectional area of the mining excavation causes local resistances in the air flow and changes in aerodynamic potentials,which leads to emergency states in the mine ventilation network.This paper presents the results of numerical simulations of the influence of gateroad convergence on the ventilation process of a selected part of the mine ventilation network.The gateroad convergence was modelled with the finite element software PHASE 2.The influence of changes in the cross-sectional area of the gateroad on the ventilation process was carried out using the computational fluid dynamics software Ansys-Fluent.

昆明烟区土壤线虫数量与环境因子的Mantel Test分析

为进一步明确昆明烟区影响线虫的环境因素,于2022年采集云南昆明烟区8个县(市、区)64个乡镇的320个植烟土壤样品,调查与测定样品采集地的海拔、土壤线虫数量以及土壤理化性质(pH值及有机质、水解性氮、速效钾和有效磷含量),并探讨土壤线虫数量与植烟土壤环境因子之间的潜在关系。结果表明,昆明烟区土壤线虫数量一定程度上受到海拔及土壤理化性质的影响,海拔与有机质、水解性氮和速效钾呈显著正相关,pH值与有效磷呈极显著负相关,相关系数为-0.850;土壤线虫数量与土壤有效磷呈正相关,与海拔、pH值、有机质、水解性氮、速效钾呈负相关,其中与海拔、有机质和水解性氮的相关系数较大,分别为-0.751、-0.651和-0.568。通过Mantel test分析确定海拔、有机质和水解性氮含量是影响昆明烟区土壤线虫数量的重要因子。本结果可为有效防治土壤线虫提供科学依据。

Convergence Rate of Empirical Bayes Test for the Parameter of the Truncated-type Distribution Families

In this paper, we construct the empirical B ay es test (EBT) for the parameter of the truncated-type distribution families. It is found that the proposed test is asymptotically optimal. The convergence rate of the EBT is given.

Failure characterization of fully grouted rock bolts under triaxial testing

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.

A CLASS OF TRUST REGION METHODS FOR LINEAR INEQUALITY CONSTRAINED OPTIMIZATION AND ITS THEORY ANALYSIS Ⅱ．LOCAL CONVERGENCE RATE AND NUMERICAL TESTS

In this paper we prove that a class of trust region methods presented in part I is superlinearly convergent. Numerical tests are reported thereafter. Results by solving a set of typical problems selected from literatures have demonstrated that our algorithm is effective.

Unbound^(28)O,the heaviest oxygen isotope observed:a cutting-edge probe for testing nuclear models

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.

A Tiling Lemma and Its Application to the Ratio Test for Convergence of Series

We prove that any collection which tiles the positive integers must contain one of two types of sub-collections. We then use this result to prove a variation of the Ratio Test for convergence of series. This version of the Ratio Test shows the convergence of certain series for which the Root Test (which is known to be more powerful than the conventional Ratio Test) fails. This version of the Ratio Test is also used to prove a version of the Banach Contraction Principle for self-maps of a complete metric space.

Electrochemical biosensors for point-of-care testing

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.

Aquifer Test求群孔抽水试验水文地质参数

在水文地质条件复杂的地区,往往采用大型的群孔抽水试验充分揭露含水层特征,获取水文地质参数。用Aquifer Test软件求解水文地质参数,则方便实用、简捷高效,可快速输出拟合图形和求参结果。Aquifer Test提供了丰富的求参方案,求参必须结合当地当时的水文地质条件实际情况考虑,选择适合的方案和时空数据求取水文地质参数。

Micromechanical testing and property upscaling of planetary rocks:A critical review

Knowledge of the mechanical behavior of planetary rocks is indispensable for space explorations.The scarcity of pristine samples and the irregular shapes of planetary meteorites make it difficult to obtain representative samples for conventional macroscale rock mechanics experiments(macro-RMEs).This critical review discusses recent advances in microscale RMEs(micro-RMEs)techniques and the upscaling methods for extracting mechanical parameters.Methods of mineralogical and microstructural analyses,along with non-destructive mechanical techniques,have provided new opportunities for studying planetary rocks with unprecedented precision and capabilities.First,we summarize several mainstream methods for obtaining the mineralogy and microstructure of planetary rocks.Then,nondestructive micromechanical testing methods,nanoindentation and atomic force microscopy(AFM),are detailed reviewed,illustrating the principles,advantages,influencing factors,and available testing results from literature.Subsequently,several feasible upscaling methods that bridge the micro-measurements of meteorite pieces to the strength of the intact body are introduced.Finally,the potential applications of planetary rock mechanics research to guiding the design and execution of space missions are environed,ranging from sample return missions and planetary defense to extraterrestrial construction.These discussions are expected to broaden the understanding of the microscale mechanical properties of planetary rocks and their significant role in deep space exploration.

Seismic performance evaluation of water supply pipes installed in a full-scale RC frame structure based on a shaking table test

As an important part of nonstructural components,the seismic response of indoor water supply pipes deserves much attention.This paper presents shaking table test research on water supply pipes installed in a full-scale reinforced concrete(RC)frame structure.Different material pipes and different methods for penetrating the reinforced concrete floors are combined to evaluate the difference in seismic performance.Floor response spectra and pipe acceleration amplification factors based on test data are discussed and compared with code provisions.A seismic fragility study of displacement demand is conducted based on numerical simulation.The acceleration response and displacement response of different combinations are compared.The results show that the combination of different pipe materials and different passing-through methods can cause obvious differences in the seismic response of indoor riser pipes.

Complete Convergenceand Complete Moment Convergence for Weighted Sums of ANA Random Variables

In this paper,we investigate the complete convergence and complete moment conver-gence for weighted sums of arrays of rowwise asymptotically negatively associated(ANA)random variables,without assuming identical distribution.The obtained results not only extend those of An and Yuan[1]and Shen et al.[2]to the case of ANA random variables,but also partially improve them.

Valence Bands Convergence in p-Type CoSb_(3) through Electronegative Fluorine Filling

Band convergence is considered to be a strategy with clear benefits for thermoelectric performance,generally favoring the co-optimization of conductivity and Seebeck coefficients,and the conventional means include elemental filling to regulate the band.However,the influence of the most electronegative fluorine on the CoSb_(3) band remains unclear.We carry out density-functional-theory calculations and show that the valence band maximum gradually shifts downward with the increase of fluorine filling,lastly the valence band maximum converges to the highly degenerated secondary valence bands in fluorine-filled skutterudites.

Call for Papers——Feature Topic Vol.22,No.3,2025 Special Issue of China Communications:Convergence of 6G empowered Edge Intelligence and Generative AI:Theories,Algorithms,and Applications

Generative artificial intelligence(AI),as an emerging paradigm in content generation,has demonstrated its great potentials in creating high-fidelity data including images,texts,and videos.Nowadays wireless networks and applications have been rapidly evolving from achieving“connected things”to embracing“connected intelligence”.Generative AI has been recognized as a fundamentally innovative technology to drive the advancement of intelligent wireless communications and networks.

Development of multi-functional anchorage support dynamic-static coupling performance test system and its application

In underground engineering with complex conditions,the bolt(cable)anchorage support system is in an environment where static and dynamic stresses coexist,under the action of geological conditions such as high stresses and strong disturbances and construction conditions such as the application of high prestress.It is essential to study the support components performance under dynamic-static coupling conditions.Based on this,a multi-functional anchorage support dynamic-static coupling performance test system(MAC system)is developed,which can achieve 7 types of testing functions,including single component performance,anchored net performance,anchored rock performance and so on.The bolt and cable mechanical tests are conducted by MAC system under different prestress levels.The results showed that compared to the non-prestress condition,the impact resistance performance of prestressed bolts(cables)is significantly reduced.In the prestress range of 50–160 k N,the maximum reduction rate of impact energy resisted by different types of bolts is 53.9%–61.5%compared to non-prestress condition.In the prestress range of 150–300 k N,the impact energy resisted by high-strength cable is reduced by76.8%–84.6%compared to non-prestress condition.The MAC system achieves dynamic-static coupling performance test,which provide an effective means for the design of anchorage support system.

Inflow and outflow permeability tests in a very soft clay under low stresses

In situ inflow and outflow permeability tests with the BAT probe at SarapuíII soft clay test site are presented.A description of the BAT permeability test is provided,discussing its advantages and shortcomings,especially in the case of very soft clays under low stresses.Pore pressures were monitored during probe installation and were found to be slightly lower than piezocone u2 pore pressures,consistent with the position of the filter.The role of filter tip saturation was investigated after the usual saturation procedure provided an unsatisfactory pore pressure response during probe installation.Results show that the vacuum saturation procedure provides adequate response during installation and increases the reliability of the coefficient of permeability determination in early measurements.Both inflow and outflow tests yielded similar results,indicating that careful execution of the test can lead to good test repeatability regardless of the loading condition.Various sequences of alternated inflow and outflow tests have yielded similar results,indicating that soil reconsolidation and filter clogging were negligible in the tests performed.Data are presented concerning the relationship between index parameters and the in situ coefficient of permeability for SarapuíII clay,which plot outside the range of existing databases.

C-CORE:Clustering by Code Representation to Prioritize Test Cases in Compiler Testing

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

Real-world utility of serological tests in patients with suspected scrub typhus in the Republic of Korea:A single-center,retrospective,observational study

Objective:Serological tests are widely used for scrub typhus diagnosis;however,their limitations are evident.This study aims to assess their practical value in clinical settings.Methods:We analyzed the data of adult patients with suspected scrub typhus who visited a tertiary care hospital in the Republic of Korea from September to December from 2019 to 2021.The included patients had an acute fever and at least one of the following ten secondary findings:myalgia,skin rash,eschar,headache,thrombocytopenia,increased liver enzyme levels,lymphadenopathy,hepatomegaly,splenomegaly,and pleural effusion.The diagnoses were grouped as scrub typhus or other diseases by two infectious disease physicians.Results:Among 136 patients who met the eligibility criteria,109 had scrub typhus and 27 had different diseases.Single and paired total antibodies using immunofluorescence assay(IFA),and total antibodies using immunochromatography-based rapid diagnostic testing(ICT)were measured in 98%,22%,and 75%of all patients,respectively.Confirmation using paired samples for scrub typhus was established at a median of 11[interquartile range(IQR)10-16]days following the first visit.Among the 82 admitted patients,the median admission time was 9(IQR 7-13)days.According to IFA,58(55%)patients with scrub typhus had total immunoglobulin titers≥1:320,while 23(85%)patients with other disease had titers<1:320.Positive ICT results were observed in 64(74%)patients with scrub typhus and 10(67%)patients with other diseases showed negative ICT results.Conclusions:Serological testing for scrub typhus is currently insufficient for decision-making in clinical practice.

Evaluation of urea breath test as a diagnostic tool for Helicobacter pylori infection in adult dyspeptic patients

In this editorial,we discuss the article in the World Journal of Gastroenterology.The article conducts a meta-analysis of the diagnostic accuracy of the urea breath test(UBT),a non-invasive method for detecting Helicobacter pylori(H.pylori)infection in humans.It is based on radionuclide-labeled urea.Various methods,both invasive and non-invasive,are available for diagnosing H.pylori infection,inclu-ding endoscopy with biopsy,serology for immunoglobulin titers,stool antigen analysis,and UBT.Several guidelines recommend UBTs as the primary choice for diagnosing H.pylori infection and for reexamining after eradication therapy.It is used to be the first choice non-invasive test due to their high accuracy,specificity,rapid results,and simplicity.Moreover,its performance remains unaffected by the distribution of H.pylori in the stomach,allowing a high flow of patients to be tested.Despite its widespread use,the performance characteristics of UBT have been inconsistently described and remain incompletely defined.There are two UBTs available with Food and Drug Administration approval:The 13C and 14C tests.Both tests are affordable and can provide real-time results.Physicians may prefer the 13C test because it is non-radioactive,compared to 14C which uses a radioactive isotope,especially in young children and pregnant women.Although there was heterogeneity among the studies regarding the diagnostic accuracy of both UBTs,13C-UBT consistently outperforms the 14C-UBT.This makes the 13C-UBT the preferred diagnostic approach.Furthermore,the provided findings of the meta-analysis emphasize the significance of precise considerations when choosing urea dosage,assessment timing,and measurement techniques for both the 13C-UBT and 14C-UBT,to enhance diagnostic precision.