In Chinese, dependency analysis has been shown to be a powerful syntactic parser because the order of phrases in a sentence is relatively free compared with English. Conventional dependency parsers require a number of...In Chinese, dependency analysis has been shown to be a powerful syntactic parser because the order of phrases in a sentence is relatively free compared with English. Conventional dependency parsers require a number of sophisticated rules that have to be handcrafted by linguists, and are too cumbersome to maintain. To solve the problem, a parser using SVM (Support Vector Machine) is introduced. First, a new strategy of dependency analysis is proposed. Then some chosen feature types are used for learning and for creating the modification matrix using SVM. Finally, the dependency of phrases in the sentence is generated. Experiments conducted to analyze how each type of feature affects parsing accuracy, showed that the model can increase accuracy of the dependency parser by 9.2%.展开更多
Surrogate models are usually used to perform global sensitivity analysis (GSA) by avoiding a large ensemble of deterministic simulations of the Monte Carlo method to provide a reliable estimate of GSA indices. Howev...Surrogate models are usually used to perform global sensitivity analysis (GSA) by avoiding a large ensemble of deterministic simulations of the Monte Carlo method to provide a reliable estimate of GSA indices. However, most surrogate models such as polynomial chaos (PC) expansions suffer from the curse of dimensionality due to the high-dimensional input space. Thus, sparse surrogate models have been proposed to alleviate the curse of dimensionality. In this paper, three techniques of sparse reconstruc- tion are used to construct sparse PC expansions that are easily applicable to computing variance-based sensitivity indices (Sobol indices). These are orthogonal matching pursuit (OMP), spectral projected gradient for L1 minimization (SPGL1), and Bayesian compressive sensing with Laplace priors. By computing Sobol indices for several benchmark response models including the Sobol function, the Morris function, and the Sod shock tube problem, effective implementations of high-dimensional sparse surrogate construction are exhibited for GSA.展开更多
With the rapid development of globalization and information technology,intellectual property has been one of the key drivers of economic growth,and the construction of intellectual property system has become an import...With the rapid development of globalization and information technology,intellectual property has been one of the key drivers of economic growth,and the construction of intellectual property system has become an important criterion for measuring the quality of business environment.This article is intended to explore the current status of intellectual property system construction in China,the challenges,and its relationship with the business environment,to propose the corresponding countermeasures and suggestions.The study finds that the legal system of intellectual property in China is gradually improving,and judicial and administrative protection are continuously strengthened.However,the challenges still remain such as frequent infringements,rights hard to protect and insufficient international cooperation.These issues not only affect the legitimate rights and interests of innovation entities,but also for the market fairness and the level of the business environment.Therefore,this article proposes that strengthening the perfection of the intellectual property legal system,enhancing intellectual property services and support capabilities,strengthening international cooperation and exchanges,and accelerating the cultivation of composite talents.It aims to provide theoretical references for the construction of intellectual property system and the optimization of the business environment,promote the high-quality development of economy and enhance the global competitiveness of the country.展开更多
Design and construction of an error-free compiler is a difficult and challenging process. The main functionality of a compiler is to translate a source code to an executable machine code correctly and efficiently. In ...Design and construction of an error-free compiler is a difficult and challenging process. The main functionality of a compiler is to translate a source code to an executable machine code correctly and efficiently. In formal verification of software, semantics of a language has more meanings than the syntax. It means source program verification does not give guarantee the generated code is correct. This is because the compiler may lead to an incorrect target program due to bugs in itself. It means verification of a compiler is much more important than verification of a source program. In this paper, we present a new approach by linking context-free grammar and Z notation to construct LR(K) parser. This has several advantages because correctness of the compiler depends on describing rules that must be written in formal languages. First, we have defined grammar then language derivation procedure is given using right-most derivations. Verification of a given language is done by recursive procedures based on the words. Ambiguity of a language is checked and verified. The specification is analyzed and validated using Z/Eves tool. Formal proofs are presented using powerful techniques of reduction and rewriting available in Z/Eves.展开更多
This letter proposes a novel and simple construction of regular Low-Density Parity-Check (LDPC) codes using sparse binary sequences. It utilizes the cyclic cross correlation function of sparse sequences to generate co...This letter proposes a novel and simple construction of regular Low-Density Parity-Check (LDPC) codes using sparse binary sequences. It utilizes the cyclic cross correlation function of sparse sequences to generate codes with girth8. The new codes perform well using the sumproduct decoding. Low encodingcomplexity can also be achieved due to the inherent quasi-cyclic structure of the codes.展开更多
The construction of extraterrestrial bases has become a new goal in the active exploration of deep space.Among the construction techniques,in situ resource-based construction is one of the most promising because of it...The construction of extraterrestrial bases has become a new goal in the active exploration of deep space.Among the construction techniques,in situ resource-based construction is one of the most promising because of its good sustainability and acceptable economic cost,triggering the development of various types of extraterrestrial construction materials.A comprehensive survey and comparison of materials from the perspective of performance was conducted to provide suggestions for material selection and optimization.Thirteen types of typical construction materials are discussed in terms of their reliability and applicability in extreme extraterrestrial environment.Mechanical,thermal and optical,and radiation-shielding properties are considered.The influencing factors and optimization methods for these properties are analyzed.From the perspective of material properties,the existing challenges lie in the comprehensive,long-term,and real characterization of regolith-based construction materials.Correspondingly,the suggested future directions include the application of high-throughput characterization methods,accelerated durability tests,and conducting extraterrestrial experiments.展开更多
Three-dimensional(3D)printing is a highly automated platform that facilitates material deposition in a layer-by-layer approach to fabricate pre-defined 3D complex structures on demand.It is a highly promising techniqu...Three-dimensional(3D)printing is a highly automated platform that facilitates material deposition in a layer-by-layer approach to fabricate pre-defined 3D complex structures on demand.It is a highly promising technique for the fabrication of personalized medical devices or even patient-specific tissue constructs.Each type of 3D printing technique has its unique advantages and limitations,and the selection of a suitable 3D printing technique is highly dependent on its intended application.In this review paper,we present and highlight some of the critical processes(printing parameters,build orientation,build location,and support structures),material(batch-to-batch consistency,recycling,protein adsorption,biocompatibility,and degradation properties),and regulatory considerations(sterility and mechanical properties)for 3D printing of personalized medical devices.The goal of this review paper is to provide the readers with a good understanding of the various key considerations(process,material,and regulatory)in 3D printing,which are critical for the fabrication of improved patient-specific 3D printed medical devices and tissue constructs.展开更多
Constructed wetlands(CwW)are well known nature-based systems for water treatment.This study evaluated the efficiency and effectiveness of seven domestic wastewater treatment systems based on horizontal flow CWs in Jar...Constructed wetlands(CwW)are well known nature-based systems for water treatment.This study evaluated the efficiency and effectiveness of seven domestic wastewater treatment systems based on horizontal flow CWs in Jarabacoa,the Dominican Republic.The results showed that the CWs were efficient in reducing the degree of contamination of wastewater to levels below the Dominican wastewater discharge standards for parameters such as the 5-day biochemical oxygen demand(BOD5)and chemical oxygen demand,but not for the removal of phosphorus and fecal coliforms.In addition,a horizontal flow subsurface wetland in the peri-urban area El Dorado was evaluated in terms of the performance of wastewater treatment in tropical climatic conditions.The concentrations of heavy metals,such as zinc,copper,chromium,and iron,were found to decrease in the effluent of the wetland,and the concentrations for nickel and manganese tended to increase.The levels of heavy metals in the effluent were lower than the limit values of the Dominican wastewater discharge standards.The construction cost of these facilities was around 200 USD per population equivalent,similar to the cost in other countries in the same region.This study suggested some solutions to the improved performance of CWs:selection of a microbial flora that guarantees the reduction of nitrates and nitrites to molecular nitrogen,use of endemic plants that bioaccumulate heavy metals,combination of constructed wetlands with filtration on activated carbon,and inclusion of water purification processes that allow to evaluate the reuse of treated water.展开更多
In order to obtain information or discover knowledge from system logs,the first step is to performlog parsing,whereby unstructured raw logs can be transformed into a sequence of structured events.Although comprehensiv...In order to obtain information or discover knowledge from system logs,the first step is to performlog parsing,whereby unstructured raw logs can be transformed into a sequence of structured events.Although comprehensive studies on log parsing have been conducted in recent years,most assume that one event object corresponds to a single-line message.However,in a growing number of scenarios,one event object spans multiple lines in the log,for which parsing methods toward single-line events are not applicable.In order to address this problem,this paper proposes an automated log parsing method for multiline events(LPME).LPME finds multiline event objects via iterative scanning,driven by a set of heuristic rules derived from practice.The advantage of LPME is that it proposes a cohesion-based evaluation method for multiline events and a bottom-up search approach that eliminates the process of enumerating all combinations.We analyze the algorithmic complexity of LPME and validate it on four datasets from different backgrounds.Evaluations show that the actual time complexity of LPME parsing for multiline events is close to the constant time,which enables it to handle large-scale sample inputs.On the experimental datasets,the performance of LPME achieves 1.0 for recall,and the precision is generally higher than 0.9,which demonstrates the effectiveness of the proposed LPME.展开更多
The Moon,as the closest celestial body to the Earth,plays a pivotal role in the progression of deep space exploration,and the establishment of research outposts on its surface represents a crucial step in this mission...The Moon,as the closest celestial body to the Earth,plays a pivotal role in the progression of deep space exploration,and the establishment of research outposts on its surface represents a crucial step in this mission.Lunar lava tubes are special underground caves formed by volcanic eruptions and are considered as ideal natural shelters and scientific laboratories for lunar base construction.This paper begins with an in-depth overview of the geological origins,exploration history,and distribution locations of lunar lava tubes.Subsequently,it delves into the presentation of four distinctive advantages and typical concepts for constructing bases within lava tubes,summarizing the ground-based attempts made thus far in lunar lava tube base construction.Field studies conducted on a lava tube in Hainan revealed rock compositions similar to those found during the Apollo missions and clear lava tube structures,making it a promising analog site.Lastly,the challenges and opportunities encountered in the field of geotechnical engineering regarding the establishment of lunar lava tube bases are discussed,encompassing cave exploration technologies,in-situ testing methods,geomechanical properties under lunar extreme environments,base design and structural stability assessment,excavation and reinforcement techniques,and simulated Earth-based lava tube base.展开更多
Mountain excavation and city construction(MECC)projects being launched in the Loess Plateau in China involve the creation of large-scale artificial land.Understanding the subsurface evolution characteristics of the ar...Mountain excavation and city construction(MECC)projects being launched in the Loess Plateau in China involve the creation of large-scale artificial land.Understanding the subsurface evolution characteristics of the artificial land is essential,yet challenging.Here,we use an improved fiber-optic monitoring system for its subsurface multi-physical characterization.The system enables us to gather spatiotemporal distribution of various parameters,including strata deformation,temperature,and moisture.Yan’an New District was selected as a case study to conduct refined in-situ monitoring through a 77 m-deep borehole and a 30 m-long trench.Findings reveal that the ground settlement involves both the deformation of the filling loess and the underlying intact loess.Notably,the filling loess exhibits a stronger creep capability compared to underlying intact loess.The deformation along the profile is unevenly distributed,with a positive correlation with soil moisture.Water accumulation has been observed at the interface between the filling loess and the underlying intact loess,leading to a significant deformation.Moreover,the temperature and moisture in the filling loess have reached a new equilibrium state,with their depths influenced by atmospheric conditions measuring at 31 m and 26 m,respectively.The refined investigation allows us to identify critical layers that matter the sustainable development of newly created urban areas,and provide improved insights into the evolution mechanisms of land creation.展开更多
The high-quality development of the construction industry fundamentally stems from the significant improvement of total factor productivity.Therefore,it is of crucial significance for promoting the development of the ...The high-quality development of the construction industry fundamentally stems from the significant improvement of total factor productivity.Therefore,it is of crucial significance for promoting the development of the construction industry to a higher level by scientifically and accurately measuring the total factor productivity of the construction industry and deeply analyzing the influencing factors behind it.Based on a comprehensive consideration of research methods and influencing factors,this paper systematically reviews the existing relevant literature on total factor productivity in the construction industry,aiming to reveal the current research development trend in this field and point out potential problems.This effort aims to provide a solid theoretical foundation and valuable reference for further in-depth research,and jointly promote the continuous progress and development of total factor productivity research in the construction industry.展开更多
The Extensible Markup Language(XML)files,widely used for storing and exchanging information on the web require efficient parsing mechanisms to improve the performance of the applications.With the existing Document Obj...The Extensible Markup Language(XML)files,widely used for storing and exchanging information on the web require efficient parsing mechanisms to improve the performance of the applications.With the existing Document Object Model(DOM)based parsing,the performance degrades due to sequential processing and large memory requirements,thereby requiring an efficient XML parser to mitigate these issues.In this paper,we propose a Parallel XML Tree Generator(PXTG)algorithm for accelerating the parsing of XML files and a Regression-based XML Parsing Framework(RXPF)that analyzes and predicts performance through profiling,regression,and code generation for efficient parsing.The PXTG algorithm is based on dividing the XML file into n parts and producing n trees in parallel.The profiling phase of the RXPF framework produces a dataset by measuring the performance of various parsing models including StAX,SAX,DOM,JDOM,and PXTG on different cores by using multiple file sizes.The regression phase produces the prediction model,based on which the final code for efficient parsing of XML files is produced through the code generation phase.The RXPF framework has shown a significant improvement in performance varying from 9.54%to 32.34%over other existing models used for parsing XML files.展开更多
Thank you to the Asian Journal of Urology(AJU)for the honor of allowing me to be the guest editor for this special focus section on robotic urinary tract reconstruction.This topic has been a large focus for me in my c...Thank you to the Asian Journal of Urology(AJU)for the honor of allowing me to be the guest editor for this special focus section on robotic urinary tract reconstruction.This topic has been a large focus for me in my career;in my pursuit of knowledge in this new sub-field of urology,I have been so fortunate to have met so many talented surgeons who share a similar passion.The urinary tract spans a large anatomical region,and due to the large variety of conditions that affect it,an endless variety of functional and structural urologic problems can arise.Urologists have always been adept surgeons capable of operating in various anatomical spaces and have embraced technological innovation.Historically,the trend has moved from open surgery to endoscopic treatment;however,many patients with reconstructive needs remain untreated or sub-optimally managed.展开更多
Automatic control technology is the basis of road robot improvement,according to the characteristics of construction equipment and functions,the research will be input type perception from positioning acquisition,real...Automatic control technology is the basis of road robot improvement,according to the characteristics of construction equipment and functions,the research will be input type perception from positioning acquisition,real-world monitoring,the process will use RTK-GNSS positional perception technology,by projecting the left side of the earth from Gauss-Krueger projection method,and then carry out the Cartesian conversion based on the characteristics of drawing;steering control system is the core of the electric drive unmanned module,on the basis of the analysis of the composition of the steering system of unmanned engineering vehicles,the steering system key components such as direction,torque sensor,drive motor and other models are established,the joint simulation model of unmanned engineering vehicles is established,the steering controller is designed using the PID method,the simulation results show that the control method can meet the construction path demand for automatic steering.The path planning will first formulate the construction area with preset values and realize the steering angle correction during driving by PID algorithm,and never realize the construction-based path planning,and the results show that the method can control the straight path within the error of 10 cm and the curve error within 20 cm.With the collaboration of various modules,the automatic construction simulation results of this robot show that the design path and control method is effective.展开更多
文摘In Chinese, dependency analysis has been shown to be a powerful syntactic parser because the order of phrases in a sentence is relatively free compared with English. Conventional dependency parsers require a number of sophisticated rules that have to be handcrafted by linguists, and are too cumbersome to maintain. To solve the problem, a parser using SVM (Support Vector Machine) is introduced. First, a new strategy of dependency analysis is proposed. Then some chosen feature types are used for learning and for creating the modification matrix using SVM. Finally, the dependency of phrases in the sentence is generated. Experiments conducted to analyze how each type of feature affects parsing accuracy, showed that the model can increase accuracy of the dependency parser by 9.2%.
基金Project supported by the National Natural Science Foundation of China(Nos.11172049 and11472060)the Science Foundation of China Academy of Engineering Physics(Nos.2015B0201037and 2013A0101004)
文摘Surrogate models are usually used to perform global sensitivity analysis (GSA) by avoiding a large ensemble of deterministic simulations of the Monte Carlo method to provide a reliable estimate of GSA indices. However, most surrogate models such as polynomial chaos (PC) expansions suffer from the curse of dimensionality due to the high-dimensional input space. Thus, sparse surrogate models have been proposed to alleviate the curse of dimensionality. In this paper, three techniques of sparse reconstruc- tion are used to construct sparse PC expansions that are easily applicable to computing variance-based sensitivity indices (Sobol indices). These are orthogonal matching pursuit (OMP), spectral projected gradient for L1 minimization (SPGL1), and Bayesian compressive sensing with Laplace priors. By computing Sobol indices for several benchmark response models including the Sobol function, the Morris function, and the Sod shock tube problem, effective implementations of high-dimensional sparse surrogate construction are exhibited for GSA.
基金Guizhou Provincial University Humanities and Social Sciences Research Project in 2024"Enhancing the Development of New Productive Forces through University Technological Innovation and Intellectual Property Management"(2024RW256)Guizhou University of Commerce Research Project in 2022"Study on the Ideas and Pathways to Drive Agricultural Powerhouse through Digital Economy"(2022XJZX315)。
文摘With the rapid development of globalization and information technology,intellectual property has been one of the key drivers of economic growth,and the construction of intellectual property system has become an important criterion for measuring the quality of business environment.This article is intended to explore the current status of intellectual property system construction in China,the challenges,and its relationship with the business environment,to propose the corresponding countermeasures and suggestions.The study finds that the legal system of intellectual property in China is gradually improving,and judicial and administrative protection are continuously strengthened.However,the challenges still remain such as frequent infringements,rights hard to protect and insufficient international cooperation.These issues not only affect the legitimate rights and interests of innovation entities,but also for the market fairness and the level of the business environment.Therefore,this article proposes that strengthening the perfection of the intellectual property legal system,enhancing intellectual property services and support capabilities,strengthening international cooperation and exchanges,and accelerating the cultivation of composite talents.It aims to provide theoretical references for the construction of intellectual property system and the optimization of the business environment,promote the high-quality development of economy and enhance the global competitiveness of the country.
文摘Design and construction of an error-free compiler is a difficult and challenging process. The main functionality of a compiler is to translate a source code to an executable machine code correctly and efficiently. In formal verification of software, semantics of a language has more meanings than the syntax. It means source program verification does not give guarantee the generated code is correct. This is because the compiler may lead to an incorrect target program due to bugs in itself. It means verification of a compiler is much more important than verification of a source program. In this paper, we present a new approach by linking context-free grammar and Z notation to construct LR(K) parser. This has several advantages because correctness of the compiler depends on describing rules that must be written in formal languages. First, we have defined grammar then language derivation procedure is given using right-most derivations. Verification of a given language is done by recursive procedures based on the words. Ambiguity of a language is checked and verified. The specification is analyzed and validated using Z/Eves tool. Formal proofs are presented using powerful techniques of reduction and rewriting available in Z/Eves.
基金Supported by Key Project of the National Natural Science Foundation of China (No.60496311).
文摘This letter proposes a novel and simple construction of regular Low-Density Parity-Check (LDPC) codes using sparse binary sequences. It utilizes the cyclic cross correlation function of sparse sequences to generate codes with girth8. The new codes perform well using the sumproduct decoding. Low encodingcomplexity can also be achieved due to the inherent quasi-cyclic structure of the codes.
基金supported by the National Key Research and Development Program of China(2023YFB3711300 and 2021YFF0500300)the Strategic Research and Consulting Project of the Chinese Academy of Engineering(2023-XZ-90 and 2023-JB-09-10)the National Key Research and Development Program of China(2021YFF0500300).
文摘The construction of extraterrestrial bases has become a new goal in the active exploration of deep space.Among the construction techniques,in situ resource-based construction is one of the most promising because of its good sustainability and acceptable economic cost,triggering the development of various types of extraterrestrial construction materials.A comprehensive survey and comparison of materials from the perspective of performance was conducted to provide suggestions for material selection and optimization.Thirteen types of typical construction materials are discussed in terms of their reliability and applicability in extreme extraterrestrial environment.Mechanical,thermal and optical,and radiation-shielding properties are considered.The influencing factors and optimization methods for these properties are analyzed.From the perspective of material properties,the existing challenges lie in the comprehensive,long-term,and real characterization of regolith-based construction materials.Correspondingly,the suggested future directions include the application of high-throughput characterization methods,accelerated durability tests,and conducting extraterrestrial experiments.
文摘Three-dimensional(3D)printing is a highly automated platform that facilitates material deposition in a layer-by-layer approach to fabricate pre-defined 3D complex structures on demand.It is a highly promising technique for the fabrication of personalized medical devices or even patient-specific tissue constructs.Each type of 3D printing technique has its unique advantages and limitations,and the selection of a suitable 3D printing technique is highly dependent on its intended application.In this review paper,we present and highlight some of the critical processes(printing parameters,build orientation,build location,and support structures),material(batch-to-batch consistency,recycling,protein adsorption,biocompatibility,and degradation properties),and regulatory considerations(sterility and mechanical properties)for 3D printing of personalized medical devices.The goal of this review paper is to provide the readers with a good understanding of the various key considerations(process,material,and regulatory)in 3D printing,which are critical for the fabrication of improved patient-specific 3D printed medical devices and tissue constructs.
基金support of the Yaque del Norte Water Fund(FAYN),INTEC(Grant No.CBA-330810-2020-P-1)Fondo Dominicano de Ciencia y Tecnologia(FONDOCYT)(Grant No.2022-2B2-161)。
文摘Constructed wetlands(CwW)are well known nature-based systems for water treatment.This study evaluated the efficiency and effectiveness of seven domestic wastewater treatment systems based on horizontal flow CWs in Jarabacoa,the Dominican Republic.The results showed that the CWs were efficient in reducing the degree of contamination of wastewater to levels below the Dominican wastewater discharge standards for parameters such as the 5-day biochemical oxygen demand(BOD5)and chemical oxygen demand,but not for the removal of phosphorus and fecal coliforms.In addition,a horizontal flow subsurface wetland in the peri-urban area El Dorado was evaluated in terms of the performance of wastewater treatment in tropical climatic conditions.The concentrations of heavy metals,such as zinc,copper,chromium,and iron,were found to decrease in the effluent of the wetland,and the concentrations for nickel and manganese tended to increase.The levels of heavy metals in the effluent were lower than the limit values of the Dominican wastewater discharge standards.The construction cost of these facilities was around 200 USD per population equivalent,similar to the cost in other countries in the same region.This study suggested some solutions to the improved performance of CWs:selection of a microbial flora that guarantees the reduction of nitrates and nitrites to molecular nitrogen,use of endemic plants that bioaccumulate heavy metals,combination of constructed wetlands with filtration on activated carbon,and inclusion of water purification processes that allow to evaluate the reuse of treated water.
文摘In order to obtain information or discover knowledge from system logs,the first step is to performlog parsing,whereby unstructured raw logs can be transformed into a sequence of structured events.Although comprehensive studies on log parsing have been conducted in recent years,most assume that one event object corresponds to a single-line message.However,in a growing number of scenarios,one event object spans multiple lines in the log,for which parsing methods toward single-line events are not applicable.In order to address this problem,this paper proposes an automated log parsing method for multiline events(LPME).LPME finds multiline event objects via iterative scanning,driven by a set of heuristic rules derived from practice.The advantage of LPME is that it proposes a cohesion-based evaluation method for multiline events and a bottom-up search approach that eliminates the process of enumerating all combinations.We analyze the algorithmic complexity of LPME and validate it on four datasets from different backgrounds.Evaluations show that the actual time complexity of LPME parsing for multiline events is close to the constant time,which enables it to handle large-scale sample inputs.On the experimental datasets,the performance of LPME achieves 1.0 for recall,and the precision is generally higher than 0.9,which demonstrates the effectiveness of the proposed LPME.
基金supported by the National Natural Science Foundation of China(Nos.52125903 and 52339001).
文摘The Moon,as the closest celestial body to the Earth,plays a pivotal role in the progression of deep space exploration,and the establishment of research outposts on its surface represents a crucial step in this mission.Lunar lava tubes are special underground caves formed by volcanic eruptions and are considered as ideal natural shelters and scientific laboratories for lunar base construction.This paper begins with an in-depth overview of the geological origins,exploration history,and distribution locations of lunar lava tubes.Subsequently,it delves into the presentation of four distinctive advantages and typical concepts for constructing bases within lava tubes,summarizing the ground-based attempts made thus far in lunar lava tube base construction.Field studies conducted on a lava tube in Hainan revealed rock compositions similar to those found during the Apollo missions and clear lava tube structures,making it a promising analog site.Lastly,the challenges and opportunities encountered in the field of geotechnical engineering regarding the establishment of lunar lava tube bases are discussed,encompassing cave exploration technologies,in-situ testing methods,geomechanical properties under lunar extreme environments,base design and structural stability assessment,excavation and reinforcement techniques,and simulated Earth-based lava tube base.
基金supported by National Natural Science Foundation of China(Grant Nos.4203070 and 41977217)the Key Research&Development Program of Shaanxi Province(Grant No.2020ZDLSF06-03).
文摘Mountain excavation and city construction(MECC)projects being launched in the Loess Plateau in China involve the creation of large-scale artificial land.Understanding the subsurface evolution characteristics of the artificial land is essential,yet challenging.Here,we use an improved fiber-optic monitoring system for its subsurface multi-physical characterization.The system enables us to gather spatiotemporal distribution of various parameters,including strata deformation,temperature,and moisture.Yan’an New District was selected as a case study to conduct refined in-situ monitoring through a 77 m-deep borehole and a 30 m-long trench.Findings reveal that the ground settlement involves both the deformation of the filling loess and the underlying intact loess.Notably,the filling loess exhibits a stronger creep capability compared to underlying intact loess.The deformation along the profile is unevenly distributed,with a positive correlation with soil moisture.Water accumulation has been observed at the interface between the filling loess and the underlying intact loess,leading to a significant deformation.Moreover,the temperature and moisture in the filling loess have reached a new equilibrium state,with their depths influenced by atmospheric conditions measuring at 31 m and 26 m,respectively.The refined investigation allows us to identify critical layers that matter the sustainable development of newly created urban areas,and provide improved insights into the evolution mechanisms of land creation.
基金Supported by School-level Natural Science Project of Jiangxi University of Technology(232ZRYB02).
文摘The high-quality development of the construction industry fundamentally stems from the significant improvement of total factor productivity.Therefore,it is of crucial significance for promoting the development of the construction industry to a higher level by scientifically and accurately measuring the total factor productivity of the construction industry and deeply analyzing the influencing factors behind it.Based on a comprehensive consideration of research methods and influencing factors,this paper systematically reviews the existing relevant literature on total factor productivity in the construction industry,aiming to reveal the current research development trend in this field and point out potential problems.This effort aims to provide a solid theoretical foundation and valuable reference for further in-depth research,and jointly promote the continuous progress and development of total factor productivity research in the construction industry.
文摘The Extensible Markup Language(XML)files,widely used for storing and exchanging information on the web require efficient parsing mechanisms to improve the performance of the applications.With the existing Document Object Model(DOM)based parsing,the performance degrades due to sequential processing and large memory requirements,thereby requiring an efficient XML parser to mitigate these issues.In this paper,we propose a Parallel XML Tree Generator(PXTG)algorithm for accelerating the parsing of XML files and a Regression-based XML Parsing Framework(RXPF)that analyzes and predicts performance through profiling,regression,and code generation for efficient parsing.The PXTG algorithm is based on dividing the XML file into n parts and producing n trees in parallel.The profiling phase of the RXPF framework produces a dataset by measuring the performance of various parsing models including StAX,SAX,DOM,JDOM,and PXTG on different cores by using multiple file sizes.The regression phase produces the prediction model,based on which the final code for efficient parsing of XML files is produced through the code generation phase.The RXPF framework has shown a significant improvement in performance varying from 9.54%to 32.34%over other existing models used for parsing XML files.
文摘Thank you to the Asian Journal of Urology(AJU)for the honor of allowing me to be the guest editor for this special focus section on robotic urinary tract reconstruction.This topic has been a large focus for me in my career;in my pursuit of knowledge in this new sub-field of urology,I have been so fortunate to have met so many talented surgeons who share a similar passion.The urinary tract spans a large anatomical region,and due to the large variety of conditions that affect it,an endless variety of functional and structural urologic problems can arise.Urologists have always been adept surgeons capable of operating in various anatomical spaces and have embraced technological innovation.Historically,the trend has moved from open surgery to endoscopic treatment;however,many patients with reconstructive needs remain untreated or sub-optimally managed.
文摘Automatic control technology is the basis of road robot improvement,according to the characteristics of construction equipment and functions,the research will be input type perception from positioning acquisition,real-world monitoring,the process will use RTK-GNSS positional perception technology,by projecting the left side of the earth from Gauss-Krueger projection method,and then carry out the Cartesian conversion based on the characteristics of drawing;steering control system is the core of the electric drive unmanned module,on the basis of the analysis of the composition of the steering system of unmanned engineering vehicles,the steering system key components such as direction,torque sensor,drive motor and other models are established,the joint simulation model of unmanned engineering vehicles is established,the steering controller is designed using the PID method,the simulation results show that the control method can meet the construction path demand for automatic steering.The path planning will first formulate the construction area with preset values and realize the steering angle correction during driving by PID algorithm,and never realize the construction-based path planning,and the results show that the method can control the straight path within the error of 10 cm and the curve error within 20 cm.With the collaboration of various modules,the automatic construction simulation results of this robot show that the design path and control method is effective.