Prompt radiation emitted during accelerator operation poses a significant health risk,necessitating a thorough search and securing of hazardous areas prior to initiation.Currently,manual sweep methods are employed.How...Prompt radiation emitted during accelerator operation poses a significant health risk,necessitating a thorough search and securing of hazardous areas prior to initiation.Currently,manual sweep methods are employed.However,the limitations of manual sweeps have become increasingly evident with the implementation of large-scale accelerators.By leveraging advancements in machine vision technology,the automatic identification of stranded personnel in controlled areas through camera imagery presents a viable solution for efficient search and security.Given the criticality of personal safety for stranded individuals,search and security processes must be sufficiently reliable.To ensure comprehensive coverage,180°camera groups were strategically positioned on both sides of the accelerator tunnel to eliminate blind spots within the monitoring range.The YOLOV8 network model was modified to enable the detection of small targets,such as hands and feet,as well as larger targets formed by individuals near the cameras.Furthermore,the system incorporates a pedestrian recognition model that detects human body parts,and an information fusion strategy is used to integrate the detected head,hands,and feet with the identified pedestrians as a cohesive unit.This strategy enhanced the capability of the model to identify pedestrians obstructed by equipment,resulting in a notable improvement in the recall rate.Specifically,recall rates of 0.915 and 0.82were obtained for Datasets 1 and 2,respectively.Although there was a slight decrease in accuracy,it aligned with the intended purpose of the search-and-secure software design.Experimental tests conducted within an accelerator tunnel demonstrated the effectiveness of this approach in achieving reliable recognition outcomes.展开更多
The secondary coupling supporting technique on key parts (SCSTKP) is put forward. Based on the coupling state between supporting structure and surrounding rock of roadway, the key parts are divided into four types, an...The secondary coupling supporting technique on key parts (SCSTKP) is put forward. Based on the coupling state between supporting structure and surrounding rock of roadway, the key parts are divided into four types, and the characteristics of each type are described. The method to determine the optimum supporting time is also presented.展开更多
A central claim of Cognitive Grammar is that basic grammatical categories,such as noun and verb,have conceptual characterizations valid for all members.The standard argument against this position is invalid.The propos...A central claim of Cognitive Grammar is that basic grammatical categories,such as noun and verb,have conceptual characterizations valid for all members.The standard argument against this position is invalid.The proposed characterizations rely only on basic cognitive abilities that are clearly evident on non-linguistic grounds.Responses are made to arguments against the proposal as well as to putative alternatives.It is shown in specific detail how the characterization offered for nouns applies to a broad range of cases.展开更多
In this paper,we consider the measure determined by a fractional OrnsteinUhlenbeck process.For such a measure,we establish an explicit form of the martingale representation theorem and consequently obtain an explicit ...In this paper,we consider the measure determined by a fractional OrnsteinUhlenbeck process.For such a measure,we establish an explicit form of the martingale representation theorem and consequently obtain an explicit form of the Logarithmic-Sobolev inequality.To this end,we also present the integration by parts formula for such a measure,which is obtained via its pull back formula and the Bismut method.展开更多
A series of experiments are carried out with selective laser sintering(SLS) for copper,copper-nickel powder matetials.The phenomena of the sintering process is ana-lyzed,the influence of techmological parameters is di...A series of experiments are carried out with selective laser sintering(SLS) for copper,copper-nickel powder matetials.The phenomena of the sintering process is ana-lyzed,the influence of techmological parameters is dis-cussed in detail,By means of SEM with energy spectrum system and X-ray diffraction spectrum,the morphology of the microstructure and the compositions of the different zones are analyzed,the mechanism of the laser sintering metallic powders is preliminarily explored,All those above lay the foundations for the forming metal parts by laser sintering metallic powders.展开更多
Parts of speech conversion refers to transforming the certain words of the source language into another category words of the target language, which is one of the common methods and techniques used in the translation ...Parts of speech conversion refers to transforming the certain words of the source language into another category words of the target language, which is one of the common methods and techniques used in the translation of English and Chinese languages. This paper starts from a relatively significant difference in English and Chinese language— the tendency of static words in English in contrast to that of dynamic words in Chinese, to explore the theoretical basis of transference in parts of speech in English and Chinese language translation. Combining with a large number of examples, the author puts forward some skills on transformation of parts of speech in English-Chinese translation to guide translation practice. The study found that the theoretical basis of the conversion in English and Chinese mostly including:1) there is a boundary ambiguity between lexical category;2)English SV/SVO structure is rigorous, which leads to expressing the dynamic meaning by means of using other lexical category; 3) the development of social culture not only makes new words continue to increase rapidly, but also gives many used words with new meanings; 4)it is acknowledged in Lexical morphology that English words which come from derivation are in larger number and derivations can make the word class of the corresponding original words either the same or different. The dynamic and specific features of Chinese make it more use of verbs in language use. Thus, in the process of translation, appropriate parts of speech conversion can make the translation more in line with their own habits of expression.展开更多
Compliant parts are widely applied to aircraft structures.Due to the ease of deformation of compliant parts in assembly,the prediction of assembly variation is especially important for assembly quality control.A dimen...Compliant parts are widely applied to aircraft structures.Due to the ease of deformation of compliant parts in assembly,the prediction of assembly variation is especially important for assembly quality control.A dimensional variation model considering the clamping force change in assembly is proposed based on the method of influence coefficient(MIC).First,the assembly process is decomposed into several steps including positioning,clamping,joining,and spring-back.Then,the force-displacement relationship is formulated according to the varied force conditions on the parts in each assembly step.Finally,two examples are illustrated to validate the proposed assembly variation model.The results show the impact of clamping force change is significant on the assembly variation,and the proposed model can predict the assembly variation more accurately than the referred method without clamping force correction at the over-constrained locating points of fixture.展开更多
An approximate formula is proposed for the decay rate of energy eigenfunctions in classically energetically inaccessible regions in more than one-dimensional configuration spaces. This is achieved by generalizing an a...An approximate formula is proposed for the decay rate of energy eigenfunctions in classically energetically inaccessible regions in more than one-dimensional configuration spaces. This is achieved by generalizing an approach proposed recently for energy eigenfunctions in the one-dimensional configuration space. The formula is tested numerically in the Pullen-Edmonds model.展开更多
Geometry of end mill cutters plays a vital role in the stability of the flexible parts milling.The present study considers helix angle and number of flutes.Multi-frequency solution is established to draw stability Lob...Geometry of end mill cutters plays a vital role in the stability of the flexible parts milling.The present study considers helix angle and number of flutes.Multi-frequency solution is established to draw stability Lobe diagram(SLD)for different helix angles and number of flutes.SLD for the two cases shows that the greater the value of helix angle,the more stable the milling process will be,and conversely increasing the number of flutes degrades the stability of flexible parts milling.A simple empirical methodology is adopted to employ the inclined plane workpiece geometry offering agradual increase of the axial depth of cut in the feed direction.Surface roughness is used as a measure of stability.Test results corroborate the model conclusions very well.展开更多
In this paper,we establish the integration by parts formula for the solution of fractional noise driven stochastic heat equations using the method of coupling.As an application,we also obtain the shift Harnack inequal...In this paper,we establish the integration by parts formula for the solution of fractional noise driven stochastic heat equations using the method of coupling.As an application,we also obtain the shift Harnack inequalities.展开更多
Traditional variation analysis methods are not applicable to non-rigid assemblies due to possible part deformation during the assembly process. This paper presents the use of finite element methods to simulate assembl...Traditional variation analysis methods are not applicable to non-rigid assemblies due to possible part deformation during the assembly process. This paper presents the use of finite element methods to simulate assembly deformation. The relationship between the parts’ variation and the variation of the key points in final assembly for quality control is set up by calculating the spring back deformation after assembly. Moreover, the optimization method for non-rigid assembly variations based on finite element analysis is presented. The optimal objective is to reduce the manufacturing cost. The approach is implemented by using ANSYS and MATLAB. The test example shows that the proposed method is effective and applicable.展开更多
The unifiedΩ-series of the Gauss and Bailey2F1(1/2)-sums will be investigated by utilizing asymptotic methods and the modified Abel lemma on summation by parts.Several remarkable transformation theorems for theΩ-ser...The unifiedΩ-series of the Gauss and Bailey2F1(1/2)-sums will be investigated by utilizing asymptotic methods and the modified Abel lemma on summation by parts.Several remarkable transformation theorems for theΩ-series will be proved whose particular cases turn out to be strange evaluations of nonterminating hypergeometric series and infinite series identities of Ramanujan-type,including a couple of beautiful expressions forπand the Catalan constant discovered by Guillera(2008).展开更多
The study in this paper belongs to the field of the grammar of metaphor. Six types of animal words were investigated in order to find the connection between their parts of speech and metaphorical relationship by apply...The study in this paper belongs to the field of the grammar of metaphor. Six types of animal words were investigated in order to find the connection between their parts of speech and metaphorical relationship by applying the British National Corpus in combination with Collins Dictionary. It is found that not all verbs formed via conversion from nominal animal words carry the conceptual features of the animal entities, and in this case, the resultant verbs do not form metaphors. Where the verbs carry over the conceptual features of the nominal animal words, metaphors will occur. Of course, there are a few exceptions, like fish in fish for, which forms a metaphor though fish as a verb here does not carry over the conceptual features of the nominal fish.As to adjectives and adverbs derived from nominal animal words, they form metaphors in most cases by carrying over the conceptual features of the relevant animals. The study can be broadened to other entity nouns in order to find regularities about when their derivatives form metaphoricity.展开更多
China has made great achievements in foreign trades.An investigation shows that China’s annual volume of export is about 60billion,which only accounts for 10%of the worlds.The quality of product’s publicity is an es...China has made great achievements in foreign trades.An investigation shows that China’s annual volume of export is about 60billion,which only accounts for 10%of the worlds.The quality of product’s publicity is an essential reason and instructions translation also quite important.This thesis tries to analyze the C-E translation methods of auto parts instructions with Skopostheorie.展开更多
Conversion refers to the transformation of parts of speech in some words while maintaining the original content unchanged in order to make the translated text sound smooth and fluent as well as more idiomatic in the t...Conversion refers to the transformation of parts of speech in some words while maintaining the original content unchanged in order to make the translated text sound smooth and fluent as well as more idiomatic in the target language. In E-C translation, conversion of pars of speech is one of the most important translation methods. Several different forms about conversion of parts of speech are introduced through analyzing the differences and usages between the two languages so that a better version in E-C translation can be got.展开更多
文摘Prompt radiation emitted during accelerator operation poses a significant health risk,necessitating a thorough search and securing of hazardous areas prior to initiation.Currently,manual sweep methods are employed.However,the limitations of manual sweeps have become increasingly evident with the implementation of large-scale accelerators.By leveraging advancements in machine vision technology,the automatic identification of stranded personnel in controlled areas through camera imagery presents a viable solution for efficient search and security.Given the criticality of personal safety for stranded individuals,search and security processes must be sufficiently reliable.To ensure comprehensive coverage,180°camera groups were strategically positioned on both sides of the accelerator tunnel to eliminate blind spots within the monitoring range.The YOLOV8 network model was modified to enable the detection of small targets,such as hands and feet,as well as larger targets formed by individuals near the cameras.Furthermore,the system incorporates a pedestrian recognition model that detects human body parts,and an information fusion strategy is used to integrate the detected head,hands,and feet with the identified pedestrians as a cohesive unit.This strategy enhanced the capability of the model to identify pedestrians obstructed by equipment,resulting in a notable improvement in the recall rate.Specifically,recall rates of 0.915 and 0.82were obtained for Datasets 1 and 2,respectively.Although there was a slight decrease in accuracy,it aligned with the intended purpose of the search-and-secure software design.Experimental tests conducted within an accelerator tunnel demonstrated the effectiveness of this approach in achieving reliable recognition outcomes.
文摘The secondary coupling supporting technique on key parts (SCSTKP) is put forward. Based on the coupling state between supporting structure and surrounding rock of roadway, the key parts are divided into four types, and the characteristics of each type are described. The method to determine the optimum supporting time is also presented.
文摘A central claim of Cognitive Grammar is that basic grammatical categories,such as noun and verb,have conceptual characterizations valid for all members.The standard argument against this position is invalid.The proposed characterizations rely only on basic cognitive abilities that are clearly evident on non-linguistic grounds.Responses are made to arguments against the proposal as well as to putative alternatives.It is shown in specific detail how the characterization offered for nouns applies to a broad range of cases.
基金supported by the National Natural Science Foundation of China(11801064)。
文摘In this paper,we consider the measure determined by a fractional OrnsteinUhlenbeck process.For such a measure,we establish an explicit form of the martingale representation theorem and consequently obtain an explicit form of the Logarithmic-Sobolev inequality.To this end,we also present the integration by parts formula for such a measure,which is obtained via its pull back formula and the Bismut method.
文摘A series of experiments are carried out with selective laser sintering(SLS) for copper,copper-nickel powder matetials.The phenomena of the sintering process is ana-lyzed,the influence of techmological parameters is dis-cussed in detail,By means of SEM with energy spectrum system and X-ray diffraction spectrum,the morphology of the microstructure and the compositions of the different zones are analyzed,the mechanism of the laser sintering metallic powders is preliminarily explored,All those above lay the foundations for the forming metal parts by laser sintering metallic powders.
文摘Parts of speech conversion refers to transforming the certain words of the source language into another category words of the target language, which is one of the common methods and techniques used in the translation of English and Chinese languages. This paper starts from a relatively significant difference in English and Chinese language— the tendency of static words in English in contrast to that of dynamic words in Chinese, to explore the theoretical basis of transference in parts of speech in English and Chinese language translation. Combining with a large number of examples, the author puts forward some skills on transformation of parts of speech in English-Chinese translation to guide translation practice. The study found that the theoretical basis of the conversion in English and Chinese mostly including:1) there is a boundary ambiguity between lexical category;2)English SV/SVO structure is rigorous, which leads to expressing the dynamic meaning by means of using other lexical category; 3) the development of social culture not only makes new words continue to increase rapidly, but also gives many used words with new meanings; 4)it is acknowledged in Lexical morphology that English words which come from derivation are in larger number and derivations can make the word class of the corresponding original words either the same or different. The dynamic and specific features of Chinese make it more use of verbs in language use. Thus, in the process of translation, appropriate parts of speech conversion can make the translation more in line with their own habits of expression.
基金funded by the National Natural Science Foundation of China ( No.51275236)
文摘Compliant parts are widely applied to aircraft structures.Due to the ease of deformation of compliant parts in assembly,the prediction of assembly variation is especially important for assembly quality control.A dimensional variation model considering the clamping force change in assembly is proposed based on the method of influence coefficient(MIC).First,the assembly process is decomposed into several steps including positioning,clamping,joining,and spring-back.Then,the force-displacement relationship is formulated according to the varied force conditions on the parts in each assembly step.Finally,two examples are illustrated to validate the proposed assembly variation model.The results show the impact of clamping force change is significant on the assembly variation,and the proposed model can predict the assembly variation more accurately than the referred method without clamping force correction at the over-constrained locating points of fixture.
基金Supported by the National Natural Science Foundation of China under Grant No 10275011.
文摘An approximate formula is proposed for the decay rate of energy eigenfunctions in classically energetically inaccessible regions in more than one-dimensional configuration spaces. This is achieved by generalizing an approach proposed recently for energy eigenfunctions in the one-dimensional configuration space. The formula is tested numerically in the Pullen-Edmonds model.
文摘Geometry of end mill cutters plays a vital role in the stability of the flexible parts milling.The present study considers helix angle and number of flutes.Multi-frequency solution is established to draw stability Lobe diagram(SLD)for different helix angles and number of flutes.SLD for the two cases shows that the greater the value of helix angle,the more stable the milling process will be,and conversely increasing the number of flutes degrades the stability of flexible parts milling.A simple empirical methodology is adopted to employ the inclined plane workpiece geometry offering agradual increase of the axial depth of cut in the feed direction.Surface roughness is used as a measure of stability.Test results corroborate the model conclusions very well.
基金supported by the Natural Science Foundation of China(11901005,12071003)the Natural Science Foundation of Anhui Province(2008085QA20)。
文摘In this paper,we establish the integration by parts formula for the solution of fractional noise driven stochastic heat equations using the method of coupling.As an application,we also obtain the shift Harnack inequalities.
基金Supported by the Natural Science Foundation of China (No. 50205028) and the Natural Science Foundation of Chongqing City (No. 2005BB2022 ).
文摘Traditional variation analysis methods are not applicable to non-rigid assemblies due to possible part deformation during the assembly process. This paper presents the use of finite element methods to simulate assembly deformation. The relationship between the parts’ variation and the variation of the key points in final assembly for quality control is set up by calculating the spring back deformation after assembly. Moreover, the optimization method for non-rigid assembly variations based on finite element analysis is presented. The optimal objective is to reduce the manufacturing cost. The approach is implemented by using ANSYS and MATLAB. The test example shows that the proposed method is effective and applicable.
文摘The unifiedΩ-series of the Gauss and Bailey2F1(1/2)-sums will be investigated by utilizing asymptotic methods and the modified Abel lemma on summation by parts.Several remarkable transformation theorems for theΩ-series will be proved whose particular cases turn out to be strange evaluations of nonterminating hypergeometric series and infinite series identities of Ramanujan-type,including a couple of beautiful expressions forπand the Catalan constant discovered by Guillera(2008).
文摘The study in this paper belongs to the field of the grammar of metaphor. Six types of animal words were investigated in order to find the connection between their parts of speech and metaphorical relationship by applying the British National Corpus in combination with Collins Dictionary. It is found that not all verbs formed via conversion from nominal animal words carry the conceptual features of the animal entities, and in this case, the resultant verbs do not form metaphors. Where the verbs carry over the conceptual features of the nominal animal words, metaphors will occur. Of course, there are a few exceptions, like fish in fish for, which forms a metaphor though fish as a verb here does not carry over the conceptual features of the nominal fish.As to adjectives and adverbs derived from nominal animal words, they form metaphors in most cases by carrying over the conceptual features of the relevant animals. The study can be broadened to other entity nouns in order to find regularities about when their derivatives form metaphoricity.
文摘China has made great achievements in foreign trades.An investigation shows that China’s annual volume of export is about 60billion,which only accounts for 10%of the worlds.The quality of product’s publicity is an essential reason and instructions translation also quite important.This thesis tries to analyze the C-E translation methods of auto parts instructions with Skopostheorie.
文摘Conversion refers to the transformation of parts of speech in some words while maintaining the original content unchanged in order to make the translated text sound smooth and fluent as well as more idiomatic in the target language. In E-C translation, conversion of pars of speech is one of the most important translation methods. Several different forms about conversion of parts of speech are introduced through analyzing the differences and usages between the two languages so that a better version in E-C translation can be got.
