Aiming at the problem that only some types of SPARQL ( simple protocal and resource description framework query language) queries can be answered by using the current resource description framework link traversal ba...Aiming at the problem that only some types of SPARQL ( simple protocal and resource description framework query language) queries can be answered by using the current resource description framework link traversal based query execution (RDF-LTE) approach, this paper discusses how the execution order of the triple pattern affects the query results and cost based on concrete SPARQL queries, and analyzes two properties of the web of linked data, missing backward links and missing contingency solution. Then three heuristic principles for logic query plan optimization, namely, the filtered basic graph pattern (FBGP) principle, the triple pattern chain principle and the seed URIs principle, are proposed. The three principles contribute to decrease the intermediate solutions and increase the types of queries that can be answered. The effectiveness and feasibility of the proposed approach is evaluated. The experimental results show that more query results can be returned with less cost, thus enabling users to develop the full potential of the web of linked data.展开更多
This paper proposes an image encryption algorithm based on spatiotemporal chaos and middle order traversal of a binary tree.Firstly,other programming software is used to perform the middle order traversal,and the plai...This paper proposes an image encryption algorithm based on spatiotemporal chaos and middle order traversal of a binary tree.Firstly,other programming software is used to perform the middle order traversal,and the plaintext image is sorted according to the middle order traversal sequence on the permutation.Secondly,the chaotic sequence is generated using the coupled map lattice to set the chaotic interference value.Finally,the XOR operation between the adjacent pixel values of the replacement image is completed to generate the ciphertext matrix.The simulation and experimental results show that the proposed algorithm can resist typical attacks and has good robustness.展开更多
<p align="left"> <span style="font-family:Verdana;">During the model-based software testing process, test cases are generated from modeled requirements to conduct acceptance testing. Ho...<p align="left"> <span style="font-family:Verdana;">During the model-based software testing process, test cases are generated from modeled requirements to conduct acceptance testing. However, existing approaches generate erroneous test cases, lack full coverage criteria and prototype tools. Therefore, the aim of this research is to develop an approach capable of reducing erroneous test case generation based on full coverage criteria and a prototype tool. The method employed was to develop a parser to extract information from the XMI file of a modeling diagram where a tree is constructed and a traversal operation executed on the nodes and edges to generate test cases. The results obtained from the proposed approach showed that 97.35% of the generated test cases were precise and comprehensive enough to conduct testing because 99.01% of all the nodes and edges were fully covered during the traversal operations.</span> </p>展开更多
Binary tree is a very important data structure in computer science. Some major properties are discussed. Both recursive and non-recursive traversal methods of binary tree are discussed in detail. Some improvement...Binary tree is a very important data structure in computer science. Some major properties are discussed. Both recursive and non-recursive traversal methods of binary tree are discussed in detail. Some improvements in programming are proposed.展开更多
P2P streaming application must realize network address translation (NAT) traversal. To handle low success ratio of the existing NAT traversal algorithm, UPnP-STUN (UPUN) and port-mapping sample estimation (PMSE)...P2P streaming application must realize network address translation (NAT) traversal. To handle low success ratio of the existing NAT traversal algorithm, UPnP-STUN (UPUN) and port-mapping sample estimation (PMSE) algorithm are recommended in this paper. UPUN is the combination of UPnP and STUN, and PMSE utilizes port mapping samples added by symmetric NAT for different sessions to estimate regularity of port mapping of symmetric NAT, which takes advantage of the Bernoulli law of large numbers. Besides, for the situation that both peers are behind NAT, and to handle heavy relay server load when many inner peers want to communicate with each other, a peer auxiliary-relay (PAR) algorithm is presented. PAR lets outer peers with sufficient bandwidth act as relay servers to alleviate pressure of real server, which could avoid NAT traversal failure caused by single point failure of relay server. Finally, experiments show that the proposed algorithms could improve the success ratio significantly for NAT traversal in P2P streaming application as well as improve P2P streaming application applicability.展开更多
The modeling of dynamical systems from a time series implemented by our DSA program introduces binary trees of height D with all leaves on the same level, and the related subtrees of height L 〈 D. These are called e-...The modeling of dynamical systems from a time series implemented by our DSA program introduces binary trees of height D with all leaves on the same level, and the related subtrees of height L 〈 D. These are called e-trees and e-subtrees. The recursive and nonrecursive versions of the traversal algorithms for the trees with dynamically created nodes are discussed. The original nonrecursive algorithms that return the pointer to the next node in preorder, inorder and postorder traversals are presented. The space-time complexity analysis shows and the execution time measurements confirm that for these O(2D) algorithms, the recursive versions have approximately 10-25% better time constants. Still, the use of nonrecursive algorithms may be more appropriate in several occasions.展开更多
An efficient strategy has been developed to reconstruct chain folding and traversing of poly(L-lactide)(PLLA)during melt crystallization based on the selective hydrolysis of its amorphous regions.The molecular weights...An efficient strategy has been developed to reconstruct chain folding and traversing of poly(L-lactide)(PLLA)during melt crystallization based on the selective hydrolysis of its amorphous regions.The molecular weights of the pristine PLLA(crystalline part),single stem,and single cluster were determined by gel permeation chromatography(GPC)according to their evolution during alkali hydrolysis.The maximum-folding-number(in a single cluster)and minimum-cluster-number(in one polymer chain)were obtained using these molecular weights.With the help of two numbers,the chain folding and traversing during the melt crystallization process(at 120℃)of PLLA can be described as follows.Statistically,in a single polymer chain,there are at least 2 clusters consisting of up to 6.5 stems in each of them,while the rest of the polymer chain contributes to amorphous regions.Our results provide a new strategy for the investigation and fundamental understanding of the melt crystallization of PLLA.展开更多
To effectively address the challenge where the speed of tunnel lining construction struggles to match that of tunnel face and inverted arch construction,and to enhance the quality of secondary lining,a new type of ske...To effectively address the challenge where the speed of tunnel lining construction struggles to match that of tunnel face and inverted arch construction,and to enhance the quality of secondary lining,a new type of skeleton-free,traversing secondary lining trolley has been developed.This trolley features a set of gantries paired with two sets of formwork.The formwork adopts a multi-segment hinged and strengthened design,ensuring its own strength can meet the requirements of secondary lining concrete pouring without relying on the support of the gantries.When retracted,the formwork can be transported by the gantries through another set of formwork in the supporting state,enabling early formwork support,effectively accelerating the construction progress of the tunnel’s secondary lining,and extending the maintenance time of the secondary lining with the formwork.Finite element software modeling was used for simulation calculations,and the results indicate that the structural strength,stiffness,and other performance parameters of the new secondary lining trolley meet the design requirements,verifying the rationality of the design.展开更多
This paper presents a new generating criterion for self-similar geometric fractalsDynamic Traversal Criterion (DTC) and the principle to practice it. According to the principle,symbol shifting technique is put forward...This paper presents a new generating criterion for self-similar geometric fractalsDynamic Traversal Criterion (DTC) and the principle to practice it. According to the principle,symbol shifting technique is put forward which can control the traversal symbols dynamically in recursive procession. The Dynamic Traversal Criterion inherits the mechanism for generating self-similar fractals from traditional way and creates more fractal images from one initiator and generator than Static traversal strategy.展开更多
This paper presents a novel technique for identifying soil parameters for a wheeled vehicle traversing unknown terrain. The identified soil parameters are required for predicting vehicle drawbar pull and wheel drive t...This paper presents a novel technique for identifying soil parameters for a wheeled vehicle traversing unknown terrain. The identified soil parameters are required for predicting vehicle drawbar pull and wheel drive torque, which in turn can be used for traversability prediction, traction control, and performance optimization of a wheeled vehicle on unknown terrain. The proposed technique is based on the Newton Raphson method. An approximated form of a wheel-soil interaction model based on Composite Simpson's Rule is employed for this purpose. The key soil parameters to be identified are internal friction angle, shear deformation modulus, and lumped pressure-sinkage coefficient. The fourth parameter, cohesion, is not too relevant to vehicle drawbar pull, and is assigned an average value during the identification process. Identified parameters are compared with known values, and shown to be in agreement. The identification method is relatively fast and robust. The identified soil parameters can effectively be used to predict drawbar pull and wheel drive torque with good accuracy. The use of identified soil parameters to design a traversability criterion for wheeled vehicles traversing unknown terrain is presented.展开更多
The multi-scale expression of enormously complicated laneway data requires differentiation of both contents and the way the contents are expressed. To accomplish multi-scale expression laneway data must support multi-...The multi-scale expression of enormously complicated laneway data requires differentiation of both contents and the way the contents are expressed. To accomplish multi-scale expression laneway data must support multi-scale transformation and have consistent topological relationships. Although the laneway data generated by traverse survey-ing is non-scale data it is still impossible to construct a multi-scale spatial database directly from it. In this paper an al-gorithm is presented to first calculate the laneway mid-line to support multi-scale transformation; then to express topo-logical relationships arising from the data structure; and,finally,a laneway spatial database is built and multi-scale ex-pression is achieved using components GIS-SuperMap Objects. The research result is of great significance for improv-ing the efficiency of laneway data storage and updating,for ensuring consistency of laneway data expression and for extending the potential value of a mine spatial database.展开更多
ZK60B(Mg-6%Zn-0.6%Zr)alloy joints fabricated by bobbin tool friction stir welding(BTFSW)with various traverse speeds were investigated.The sound joint fabricated by the BTFSW was possible under the appropriate welding...ZK60B(Mg-6%Zn-0.6%Zr)alloy joints fabricated by bobbin tool friction stir welding(BTFSW)with various traverse speeds were investigated.The sound joint fabricated by the BTFSW was possible under the appropriate welding parameters.The severe plastic deformation during BTFSW resulted in dispersion and segregation of the Zr-rich particles within the stirred zone(SZ)followed by evolution of a bimodal grain structure with distributed bands of 0.8-1.7μm ultrafine grains and 4.1-7.1μm equiaxed grains.Micro-hardness of SZ is substantially reduced in contrast to that of parent metal(PM)in spite of the finer grain size owing to dissolution of Mg-Zn based precipitates having hardening effects on alpha-Mg matrix.With the decrease in traverse speed,randomization degree of the plasticized metal flow increases,which is evidenced by the randomized arc line pattern at the low traverse speed.Among all defect-free joints,the 200 mm/min joint exhibits the weakest isotropy of texture within SZ and the best tensile properties,which has reduced ultimate tensile strength and yield strength by 5.4% and by 22.2%,respectively,as compared to the PM.The randomized texture hinders the joint fracturing within SZ at low elongation.Therefore,a relatively high elongation of 10.8% was achieved,which corresponded to 72% of the PM value.展开更多
This study proposes a new medical image encryption scheme based on Josephus traversing and hyper-chaotic Lorenz system.First,a chaotic sequence is generated through hyperchaotic system.This hyperchaotic sequence is us...This study proposes a new medical image encryption scheme based on Josephus traversing and hyper-chaotic Lorenz system.First,a chaotic sequence is generated through hyperchaotic system.This hyperchaotic sequence is used in the scrambling and diffusion stages of the algorithm.Second,in the scrambling process,the image is initially confused by Josephus scrambling,and then the image is further confused by Arnold map.Finally,generated hyperchaos sequence and exclusive OR operation is used for the image to carry on the positive and reverse diffusion to change the pixel value of the image and further hide the effective information of the image.In addition,the information of the plaintext image is used to generate keys used in the algorithm,which increases the ability of resisting plaintext attack.Experimental results and security analysis show that the scheme can effectively hide plaintext image information according to the characteristics of medical images,and is resistant to common types of attacks.In addition,this scheme performs well in the experiments of robustness,which shows that the scheme can solve the problem of image damage in telemedicine.It has a positive significance for the future research.展开更多
Attaining a highly efficient and inexpensive electrocatalyst is significant for the hydrogen evolution reaction(HER)but still challenging nowadays.The transition-metal phosphides(TMPs)catalysts with platinum-like elec...Attaining a highly efficient and inexpensive electrocatalyst is significant for the hydrogen evolution reaction(HER)but still challenging nowadays.The transition-metal phosphides(TMPs)catalysts with platinum-like electronic structures are a potential candidate for the HER,but those are prone to be strongly bound with hydrogen intermediates(H∗),resulting in sluggish HER kinetics.Herein we report a unique hybrid structure of CoP anchored on graphene nanoscrolls@carbon nano tubes(CNTs)scaffold(Ni M@C-CoP)encapsulating various Ni M(M=Zn,Mo,Ni,Co)bimetal nanoalloy via chemical vapor deposi-tion(CVD)growth of CNT on graphene nanoscrolls followed by the impregnation of cobalt precursors and phosphorization for efficiently electrocatalytic hydrogen evolution.CoP nanoparticles mainly scattered at the tip of CNT branches which exhibited the analogical“Three-layer core-shell”structures.Experiments and density functional theory(DFT)calculations consistently disclose that the encapsulated various NiMs can offer different numbers of electrons to weaken the interactions of outmost CoP with H∗and push the downshift of the d-band center to different degrees as well as stabilize the outmost CoP nanopar-ticles to gain catalytic stability via the electron traversing effect.The electrocatalytic HER activity can be maximumly enhanced with low overpotentials of 78 mV(alkaline)and 89 mV(acidic)at a current density of 10 mA/cm^(2) and sustained at least 24 h especially for NiZn@C-CoP catalyst.This novel system is distinct from conventional three-layer heterostructure,providing a specially thought of d-band center control engineering strategy for the design of heterogeneous catalysts and expanding to other electrocat-alysts,energy storage,sensing,and other applications.展开更多
Some GPS points were set up and occupied and reoccupied along the traverse route from Zhongshan Station to DomeA.The result analysis for the GPS data processed by GAMIT/GLOBK package was presented in this paper.It was...Some GPS points were set up and occupied and reoccupied along the traverse route from Zhongshan Station to DomeA.The result analysis for the GPS data processed by GAMIT/GLOBK package was presented in this paper.It was indicated that the ice along the traverse route flowed with an 825 m/a velocity to the northwest in the last three years,which was the direction of the edge of the ice sheet.The maximum horizontal flow velocity is about 100 m/a.Moreover,due to the ice flow,a 0.21 m/a sedimentation rate is achieved.Finally,a 15 m/a 2 horizontal acceleration is achieved from the GPS data of the three different stages.展开更多
The magnetically constricted arc technique was implemented to mitigate the heat input related metallurgical problems in Gas Tungsten Arc Welding(GTAW)of Inconel 718 alloy particularly Nb segregation and subsequent lav...The magnetically constricted arc technique was implemented to mitigate the heat input related metallurgical problems in Gas Tungsten Arc Welding(GTAW)of Inconel 718 alloy particularly Nb segregation and subsequent laves phase evolution in fusion zone.This paper reports the direct effect of magnetically constricted arc traverse speed(MCATS)on bead profile,tensile properties and microstructural evolution of Inconel 718 alloy sheets joined by Gas Tungsten Constricted Arc Welding(GTCAW)process.The mechanism amenable for the microstructural modification and corresponding influence on the tensile properties of joints is investigated both in qualitative and quantitative manner related to the mechanics of arc constriction and pulsing.It is correlated to the solidification conditions during welding.The relationship between MCATS and Arc Constriction Current(ACC)was derived.Its interaction effect on the magnetic arc constriction and joint performance was analysed.Results showed that the joints fabricated using CATS of 70 mm/min exhibited superior tensile properties(98.39% of base metal strength with 31.50% elongation).It is attributed to the grain refinement in fusion zone microstructure leading to the evolution of finer,discrete laves phase in interdendritic areas.展开更多
The transition from IPv4 to IPv6 is doomed to be a long process. The network Address translation (NAT) technology is used very popularly in IPv4 network to make up the shortage of network address. It is a desiderate...The transition from IPv4 to IPv6 is doomed to be a long process. The network Address translation (NAT) technology is used very popularly in IPv4 network to make up the shortage of network address. It is a desiderated problem to make the users behind NAT gateway to access to IPv6 networks. By studying the transition technology from IPv4 to IPv6 and introducing NAT technology in IPv6, a scenario is put forward through 6to4 tunnel The scenario is implemented and the gateway system's performance is analyzed.展开更多
The survey configuration, instrumentation and error propagation in the control survey technique known as “wall station traversing” were analyzed. Wall mounted survey points was utilized as an alternative to roof (ba...The survey configuration, instrumentation and error propagation in the control survey technique known as “wall station traversing” were analyzed. Wall mounted survey points was utilized as an alternative to roof (backs) mounted points. Recently, this technique has gained widespread acceptance in underground metalliferous mines in Western Australia. The error propagation of the “wall stations” technique in relation to classical traversing was analyzed and compared, and an optimal survey procedure and configuration for this technique was derived.展开更多
Autonomous functions including mapping and path planning are very important to ensure effcient exploration and safe navigation of unmanned rover. Conventional navigation schemes based on equipments such as GPS and mag...Autonomous functions including mapping and path planning are very important to ensure effcient exploration and safe navigation of unmanned rover. Conventional navigation schemes based on equipments such as GPS and magnetic sensors have been proven to be ineffective on lunar surface,while sophisticated dead reckoning approach lacks accuracy in loose soil due to slippage. In this paper,we propose a hybrid vision system(HVS) which consists of one stereo and one omnidirectional vision sensor,attempting to integrate the advantages of diverse vision systems. The hierarchical mapping reconstructs environment through HVS in different resolutions and structures,named qualitative,rough and detailed map. These maps are employed for path planning which navigates the rover towards specified destinations autonomously,avoiding obstacles in its way. The HVS aims at providing more effcient and safe navigation. Simulations and experiments demonstrate the functionality and advantage of our approach.展开更多
This paper includes a short historical review of Russian and Soviet scientific traverses to study the Antarctic inland. The first traverse left on April 2, 1956. It resulted in the opening of the first Russian inland ...This paper includes a short historical review of Russian and Soviet scientific traverses to study the Antarctic inland. The first traverse left on April 2, 1956. It resulted in the opening of the first Russian inland research station named Pionerskaya and provided the first geophysical and glaciological data on regions inland of the Antarctic coast. By 1965, a number of regional inland scientific traverses had been completed and. the first Atlas of Antarctica was published in 1966. The atlas presented the main achievements of that time. After the discovery of Lake Vostok, Russian scientists commenced remote sensing investigations to study this unique natural phenomenon. The propagation of acoustic and electromagnetic waves in the glacier near Vostok Station were measured to provide important geophysical data. Radio-echo sounding data showed that Lake Vostok is isolated and separated from the rest of the Antarctic subglacial hydrosphere. The total area of the lake is 15 790 km2, excluding 365 km^2 occupied by 11 islands. Reflection seismic soundings of Lake Vostok estimated a total volume of about 6 100 km^3, an average depth of about 400 m, and a maximum depth of 1 200 m. Since 2008, there have been a number of scientific traverses between Mirny and Vostok stations and between Progress and Vostok stations. The data collected during the traverses have provided new insights into sub-ice topography and ice sheet structure, and have led to the discovery of subglacial lakes near Komsomolskaya Station and under Pionerskaya Station.展开更多
基金The National Natural Science Foundation of China(No.61070170)the Natural Science Foundation of Higher Education Institutions of Jiangsu Province(No.11KJB520017)Suzhou Application Foundation Research Project(No.SYG201238)
文摘Aiming at the problem that only some types of SPARQL ( simple protocal and resource description framework query language) queries can be answered by using the current resource description framework link traversal based query execution (RDF-LTE) approach, this paper discusses how the execution order of the triple pattern affects the query results and cost based on concrete SPARQL queries, and analyzes two properties of the web of linked data, missing backward links and missing contingency solution. Then three heuristic principles for logic query plan optimization, namely, the filtered basic graph pattern (FBGP) principle, the triple pattern chain principle and the seed URIs principle, are proposed. The three principles contribute to decrease the intermediate solutions and increase the types of queries that can be answered. The effectiveness and feasibility of the proposed approach is evaluated. The experimental results show that more query results can be returned with less cost, thus enabling users to develop the full potential of the web of linked data.
基金Project supported by the National Natural Science Foundation of China(Grant No.61672124)the Password Theory Project of the 13th Five-Year Plan National Cryptography Development Fund(Grant No.MMJJ20170203)+2 种基金Liaoning Province Science and Technology Innovation Leading Talents Program Project(Grant No.XLYC1802013)Key Research and Development Projects of Liaoning Province,China(Grant No.2019020105-JH2/103)Jinan City‘20 universities’Funding Projects Introducing Innovation Team Program(Grant No.2019GXRC031).
文摘This paper proposes an image encryption algorithm based on spatiotemporal chaos and middle order traversal of a binary tree.Firstly,other programming software is used to perform the middle order traversal,and the plaintext image is sorted according to the middle order traversal sequence on the permutation.Secondly,the chaotic sequence is generated using the coupled map lattice to set the chaotic interference value.Finally,the XOR operation between the adjacent pixel values of the replacement image is completed to generate the ciphertext matrix.The simulation and experimental results show that the proposed algorithm can resist typical attacks and has good robustness.
文摘<p align="left"> <span style="font-family:Verdana;">During the model-based software testing process, test cases are generated from modeled requirements to conduct acceptance testing. However, existing approaches generate erroneous test cases, lack full coverage criteria and prototype tools. Therefore, the aim of this research is to develop an approach capable of reducing erroneous test case generation based on full coverage criteria and a prototype tool. The method employed was to develop a parser to extract information from the XMI file of a modeling diagram where a tree is constructed and a traversal operation executed on the nodes and edges to generate test cases. The results obtained from the proposed approach showed that 97.35% of the generated test cases were precise and comprehensive enough to conduct testing because 99.01% of all the nodes and edges were fully covered during the traversal operations.</span> </p>
文摘Binary tree is a very important data structure in computer science. Some major properties are discussed. Both recursive and non-recursive traversal methods of binary tree are discussed in detail. Some improvements in programming are proposed.
基金Supported by the Nat/onal Science and Technology Support Projects of China(No. 2008BAH28B04) and the National Natural Science Foundation of China _(No..60903218F0208) andthe National High Technology Research and Development Programme of China (No. 2008AA01A317)
文摘P2P streaming application must realize network address translation (NAT) traversal. To handle low success ratio of the existing NAT traversal algorithm, UPnP-STUN (UPUN) and port-mapping sample estimation (PMSE) algorithm are recommended in this paper. UPUN is the combination of UPnP and STUN, and PMSE utilizes port mapping samples added by symmetric NAT for different sessions to estimate regularity of port mapping of symmetric NAT, which takes advantage of the Bernoulli law of large numbers. Besides, for the situation that both peers are behind NAT, and to handle heavy relay server load when many inner peers want to communicate with each other, a peer auxiliary-relay (PAR) algorithm is presented. PAR lets outer peers with sufficient bandwidth act as relay servers to alleviate pressure of real server, which could avoid NAT traversal failure caused by single point failure of relay server. Finally, experiments show that the proposed algorithms could improve the success ratio significantly for NAT traversal in P2P streaming application as well as improve P2P streaming application applicability.
文摘The modeling of dynamical systems from a time series implemented by our DSA program introduces binary trees of height D with all leaves on the same level, and the related subtrees of height L 〈 D. These are called e-trees and e-subtrees. The recursive and nonrecursive versions of the traversal algorithms for the trees with dynamically created nodes are discussed. The original nonrecursive algorithms that return the pointer to the next node in preorder, inorder and postorder traversals are presented. The space-time complexity analysis shows and the execution time measurements confirm that for these O(2D) algorithms, the recursive versions have approximately 10-25% better time constants. Still, the use of nonrecursive algorithms may be more appropriate in several occasions.
基金financially supported by"Pioneer"and"Leading Goose"R&D Program of Zhejiang(No.2023C03130)the National Natural Science Foundation of China(No.22373029)+1 种基金Interdisciplinary Research Project of Hangzhou Normal University(No.2024JCXK02)Open Project Program of Key Laboratory of Yarn Materials Forming and Composite Processing Technology of Zhejiang Province(No.MTC2022-09)。
文摘An efficient strategy has been developed to reconstruct chain folding and traversing of poly(L-lactide)(PLLA)during melt crystallization based on the selective hydrolysis of its amorphous regions.The molecular weights of the pristine PLLA(crystalline part),single stem,and single cluster were determined by gel permeation chromatography(GPC)according to their evolution during alkali hydrolysis.The maximum-folding-number(in a single cluster)and minimum-cluster-number(in one polymer chain)were obtained using these molecular weights.With the help of two numbers,the chain folding and traversing during the melt crystallization process(at 120℃)of PLLA can be described as follows.Statistically,in a single polymer chain,there are at least 2 clusters consisting of up to 6.5 stems in each of them,while the rest of the polymer chain contributes to amorphous regions.Our results provide a new strategy for the investigation and fundamental understanding of the melt crystallization of PLLA.
文摘To effectively address the challenge where the speed of tunnel lining construction struggles to match that of tunnel face and inverted arch construction,and to enhance the quality of secondary lining,a new type of skeleton-free,traversing secondary lining trolley has been developed.This trolley features a set of gantries paired with two sets of formwork.The formwork adopts a multi-segment hinged and strengthened design,ensuring its own strength can meet the requirements of secondary lining concrete pouring without relying on the support of the gantries.When retracted,the formwork can be transported by the gantries through another set of formwork in the supporting state,enabling early formwork support,effectively accelerating the construction progress of the tunnel’s secondary lining,and extending the maintenance time of the secondary lining with the formwork.Finite element software modeling was used for simulation calculations,and the results indicate that the structural strength,stiffness,and other performance parameters of the new secondary lining trolley meet the design requirements,verifying the rationality of the design.
文摘This paper presents a new generating criterion for self-similar geometric fractalsDynamic Traversal Criterion (DTC) and the principle to practice it. According to the principle,symbol shifting technique is put forward which can control the traversal symbols dynamically in recursive procession. The Dynamic Traversal Criterion inherits the mechanism for generating self-similar fractals from traditional way and creates more fractal images from one initiator and generator than Static traversal strategy.
基金This work was supported in part by the EPSRC (No.GR/S31402/01).
文摘This paper presents a novel technique for identifying soil parameters for a wheeled vehicle traversing unknown terrain. The identified soil parameters are required for predicting vehicle drawbar pull and wheel drive torque, which in turn can be used for traversability prediction, traction control, and performance optimization of a wheeled vehicle on unknown terrain. The proposed technique is based on the Newton Raphson method. An approximated form of a wheel-soil interaction model based on Composite Simpson's Rule is employed for this purpose. The key soil parameters to be identified are internal friction angle, shear deformation modulus, and lumped pressure-sinkage coefficient. The fourth parameter, cohesion, is not too relevant to vehicle drawbar pull, and is assigned an average value during the identification process. Identified parameters are compared with known values, and shown to be in agreement. The identification method is relatively fast and robust. The identified soil parameters can effectively be used to predict drawbar pull and wheel drive torque with good accuracy. The use of identified soil parameters to design a traversability criterion for wheeled vehicles traversing unknown terrain is presented.
基金Project 2005B018 supported by the Science Foundation of China University of Mining and Technology
文摘The multi-scale expression of enormously complicated laneway data requires differentiation of both contents and the way the contents are expressed. To accomplish multi-scale expression laneway data must support multi-scale transformation and have consistent topological relationships. Although the laneway data generated by traverse survey-ing is non-scale data it is still impossible to construct a multi-scale spatial database directly from it. In this paper an al-gorithm is presented to first calculate the laneway mid-line to support multi-scale transformation; then to express topo-logical relationships arising from the data structure; and,finally,a laneway spatial database is built and multi-scale ex-pression is achieved using components GIS-SuperMap Objects. The research result is of great significance for improv-ing the efficiency of laneway data storage and updating,for ensuring consistency of laneway data expression and for extending the potential value of a mine spatial database.
基金sponsored by the National Science and Technology Major Project(No.2017ZX04005001)the Key Research and Development program of Shandong(No.2018GGX103053)。
文摘ZK60B(Mg-6%Zn-0.6%Zr)alloy joints fabricated by bobbin tool friction stir welding(BTFSW)with various traverse speeds were investigated.The sound joint fabricated by the BTFSW was possible under the appropriate welding parameters.The severe plastic deformation during BTFSW resulted in dispersion and segregation of the Zr-rich particles within the stirred zone(SZ)followed by evolution of a bimodal grain structure with distributed bands of 0.8-1.7μm ultrafine grains and 4.1-7.1μm equiaxed grains.Micro-hardness of SZ is substantially reduced in contrast to that of parent metal(PM)in spite of the finer grain size owing to dissolution of Mg-Zn based precipitates having hardening effects on alpha-Mg matrix.With the decrease in traverse speed,randomization degree of the plasticized metal flow increases,which is evidenced by the randomized arc line pattern at the low traverse speed.Among all defect-free joints,the 200 mm/min joint exhibits the weakest isotropy of texture within SZ and the best tensile properties,which has reduced ultimate tensile strength and yield strength by 5.4% and by 22.2%,respectively,as compared to the PM.The randomized texture hinders the joint fracturing within SZ at low elongation.Therefore,a relatively high elongation of 10.8% was achieved,which corresponded to 72% of the PM value.
基金the National Natural Science Foundation of China(No.61402051)the Natural Science Basic Research Plan in Shaanxi Province of China(No.2016JM6076)。
文摘This study proposes a new medical image encryption scheme based on Josephus traversing and hyper-chaotic Lorenz system.First,a chaotic sequence is generated through hyperchaotic system.This hyperchaotic sequence is used in the scrambling and diffusion stages of the algorithm.Second,in the scrambling process,the image is initially confused by Josephus scrambling,and then the image is further confused by Arnold map.Finally,generated hyperchaos sequence and exclusive OR operation is used for the image to carry on the positive and reverse diffusion to change the pixel value of the image and further hide the effective information of the image.In addition,the information of the plaintext image is used to generate keys used in the algorithm,which increases the ability of resisting plaintext attack.Experimental results and security analysis show that the scheme can effectively hide plaintext image information according to the characteristics of medical images,and is resistant to common types of attacks.In addition,this scheme performs well in the experiments of robustness,which shows that the scheme can solve the problem of image damage in telemedicine.It has a positive significance for the future research.
基金This work was supported by the Science and Technology Pro-gram of Shaanxi Province(No.2019GY-200).Shengwu Guo and Wei Wang contributed to the material TEM and SEM characterizations in this work.
文摘Attaining a highly efficient and inexpensive electrocatalyst is significant for the hydrogen evolution reaction(HER)but still challenging nowadays.The transition-metal phosphides(TMPs)catalysts with platinum-like electronic structures are a potential candidate for the HER,but those are prone to be strongly bound with hydrogen intermediates(H∗),resulting in sluggish HER kinetics.Herein we report a unique hybrid structure of CoP anchored on graphene nanoscrolls@carbon nano tubes(CNTs)scaffold(Ni M@C-CoP)encapsulating various Ni M(M=Zn,Mo,Ni,Co)bimetal nanoalloy via chemical vapor deposi-tion(CVD)growth of CNT on graphene nanoscrolls followed by the impregnation of cobalt precursors and phosphorization for efficiently electrocatalytic hydrogen evolution.CoP nanoparticles mainly scattered at the tip of CNT branches which exhibited the analogical“Three-layer core-shell”structures.Experiments and density functional theory(DFT)calculations consistently disclose that the encapsulated various NiMs can offer different numbers of electrons to weaken the interactions of outmost CoP with H∗and push the downshift of the d-band center to different degrees as well as stabilize the outmost CoP nanopar-ticles to gain catalytic stability via the electron traversing effect.The electrocatalytic HER activity can be maximumly enhanced with low overpotentials of 78 mV(alkaline)and 89 mV(acidic)at a current density of 10 mA/cm^(2) and sustained at least 24 h especially for NiZn@C-CoP catalyst.This novel system is distinct from conventional three-layer heterostructure,providing a specially thought of d-band center control engineering strategy for the design of heterogeneous catalysts and expanding to other electrocat-alysts,energy storage,sensing,and other applications.
文摘Some GPS points were set up and occupied and reoccupied along the traverse route from Zhongshan Station to DomeA.The result analysis for the GPS data processed by GAMIT/GLOBK package was presented in this paper.It was indicated that the ice along the traverse route flowed with an 825 m/a velocity to the northwest in the last three years,which was the direction of the edge of the ice sheet.The maximum horizontal flow velocity is about 100 m/a.Moreover,due to the ice flow,a 0.21 m/a sedimentation rate is achieved.Finally,a 15 m/a 2 horizontal acceleration is achieved from the GPS data of the three different stages.
基金funded by Indian Space Research Organization (ISRO) India. Project No. ISRO/RES/3/728/16e17
文摘The magnetically constricted arc technique was implemented to mitigate the heat input related metallurgical problems in Gas Tungsten Arc Welding(GTAW)of Inconel 718 alloy particularly Nb segregation and subsequent laves phase evolution in fusion zone.This paper reports the direct effect of magnetically constricted arc traverse speed(MCATS)on bead profile,tensile properties and microstructural evolution of Inconel 718 alloy sheets joined by Gas Tungsten Constricted Arc Welding(GTCAW)process.The mechanism amenable for the microstructural modification and corresponding influence on the tensile properties of joints is investigated both in qualitative and quantitative manner related to the mechanics of arc constriction and pulsing.It is correlated to the solidification conditions during welding.The relationship between MCATS and Arc Constriction Current(ACC)was derived.Its interaction effect on the magnetic arc constriction and joint performance was analysed.Results showed that the joints fabricated using CATS of 70 mm/min exhibited superior tensile properties(98.39% of base metal strength with 31.50% elongation).It is attributed to the grain refinement in fusion zone microstructure leading to the evolution of finer,discrete laves phase in interdendritic areas.
文摘The transition from IPv4 to IPv6 is doomed to be a long process. The network Address translation (NAT) technology is used very popularly in IPv4 network to make up the shortage of network address. It is a desiderated problem to make the users behind NAT gateway to access to IPv6 networks. By studying the transition technology from IPv4 to IPv6 and introducing NAT technology in IPv6, a scenario is put forward through 6to4 tunnel The scenario is implemented and the gateway system's performance is analyzed.
文摘The survey configuration, instrumentation and error propagation in the control survey technique known as “wall station traversing” were analyzed. Wall mounted survey points was utilized as an alternative to roof (backs) mounted points. Recently, this technique has gained widespread acceptance in underground metalliferous mines in Western Australia. The error propagation of the “wall stations” technique in relation to classical traversing was analyzed and compared, and an optimal survey procedure and configuration for this technique was derived.
基金the Development Fund for Primary Projects of China's Ministry of Education (No. 708035)
文摘Autonomous functions including mapping and path planning are very important to ensure effcient exploration and safe navigation of unmanned rover. Conventional navigation schemes based on equipments such as GPS and magnetic sensors have been proven to be ineffective on lunar surface,while sophisticated dead reckoning approach lacks accuracy in loose soil due to slippage. In this paper,we propose a hybrid vision system(HVS) which consists of one stereo and one omnidirectional vision sensor,attempting to integrate the advantages of diverse vision systems. The hierarchical mapping reconstructs environment through HVS in different resolutions and structures,named qualitative,rough and detailed map. These maps are employed for path planning which navigates the rover towards specified destinations autonomously,avoiding obstacles in its way. The HVS aims at providing more effcient and safe navigation. Simulations and experiments demonstrate the functionality and advantage of our approach.
基金supported by the Russian Foundation for Basic Research (RFBR), research project No. 14-05-00234-а
文摘This paper includes a short historical review of Russian and Soviet scientific traverses to study the Antarctic inland. The first traverse left on April 2, 1956. It resulted in the opening of the first Russian inland research station named Pionerskaya and provided the first geophysical and glaciological data on regions inland of the Antarctic coast. By 1965, a number of regional inland scientific traverses had been completed and. the first Atlas of Antarctica was published in 1966. The atlas presented the main achievements of that time. After the discovery of Lake Vostok, Russian scientists commenced remote sensing investigations to study this unique natural phenomenon. The propagation of acoustic and electromagnetic waves in the glacier near Vostok Station were measured to provide important geophysical data. Radio-echo sounding data showed that Lake Vostok is isolated and separated from the rest of the Antarctic subglacial hydrosphere. The total area of the lake is 15 790 km2, excluding 365 km^2 occupied by 11 islands. Reflection seismic soundings of Lake Vostok estimated a total volume of about 6 100 km^3, an average depth of about 400 m, and a maximum depth of 1 200 m. Since 2008, there have been a number of scientific traverses between Mirny and Vostok stations and between Progress and Vostok stations. The data collected during the traverses have provided new insights into sub-ice topography and ice sheet structure, and have led to the discovery of subglacial lakes near Komsomolskaya Station and under Pionerskaya Station.