With the rapid development of globalization, the whole world interweaves unprecedentedly. The frequent global communication is in desperate need of qualified translators and interpreters which draws great attention an...With the rapid development of globalization, the whole world interweaves unprecedentedly. The frequent global communication is in desperate need of qualified translators and interpreters which draws great attention and invokes discussion about the standard of translation. Is the widely acknowledged criterion—neutral position a possible and necessary regulation to justify professional translators? This essay will illustrate that the interpreters influenced by environment, culture and other factors can’t perform with an absolute neutral position. Furthermore, the creativity of interpreters, who conduct heuristic work instead of algorithmic and reduplicated work, play a pivotal role in qualified work and their long-term development on the basis of Skopos Theory and classical examples, which testifies that it is improper to regard neutral position as a significant standard to evaluate the quality of interpreters.展开更多
In this paper we try to introduce a new approach to operational semantics of recursive programs by using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu of modelling partial func...In this paper we try to introduce a new approach to operational semantics of recursive programs by using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu of modelling partial functions by introducing undefined values in a traditional approach,we shall define a priority derivation tree for every term,and by respecting the rule“attacking the subterm of the highest priority first”we define transition relations,computation sequences etc.directly based on a standard interpretation which includes no undefined value in its domain.Finally,we prove that our new approach generates the same operational semantics as the traditional one.It is also pointed out that we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semantics of recursive programs cannot be built based on predicate logic.展开更多
Due to the influence of growing environment,developmental stage,and external conditions,seeds and seedlings of the same species may exhibit significant morphologic variations,limiting the accuracy of traditional ident...Due to the influence of growing environment,developmental stage,and external conditions,seeds and seedlings of the same species may exhibit significant morphologic variations,limiting the accuracy of traditional identification methods in verifying variety authenticity and identity.Molecular identification of traditional Chinese medicine(TCM)offers high accuracy and good reproducibility,and it is not restricted by sample morphology.This technology has already been widely used in pharmaceutical inspection departments,enterprises,and research institutions.Although the“Pharmacopoeia of the People’s Republic of China”has adopted 4 TCM molecular identification standards,there is still a lack of unified general rules for TCM molecular identification,as well as standards that meet multilevel identification needs and cover a wider range of varieties.In December 2016,the China Association of Chinese Medicine approved and released the“Molecular identification of traditional Chinese medicine-part 3:Seed and seedling of Chinese medicinal materials”(T/CACM 010.3-2016),which specifies general methods and requirements for molecular identification of Chinese herbal medicine seeds and seedlings.This standard establishes unified general rules for TCM molecular identification,promoting standardized development in this field.It provides guidance for the use of molecular identification techniques for Chinese herbal medicine seeds and seedlings,meets multilevel identification needs within the TCM industry,and ensures quality control of TCM products,thus playing a significant role in advancing the modernization and standardization of TCM.展开更多
文摘With the rapid development of globalization, the whole world interweaves unprecedentedly. The frequent global communication is in desperate need of qualified translators and interpreters which draws great attention and invokes discussion about the standard of translation. Is the widely acknowledged criterion—neutral position a possible and necessary regulation to justify professional translators? This essay will illustrate that the interpreters influenced by environment, culture and other factors can’t perform with an absolute neutral position. Furthermore, the creativity of interpreters, who conduct heuristic work instead of algorithmic and reduplicated work, play a pivotal role in qualified work and their long-term development on the basis of Skopos Theory and classical examples, which testifies that it is improper to regard neutral position as a significant standard to evaluate the quality of interpreters.
文摘In this paper we try to introduce a new approach to operational semantics of recursive programs by using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu of modelling partial functions by introducing undefined values in a traditional approach,we shall define a priority derivation tree for every term,and by respecting the rule“attacking the subterm of the highest priority first”we define transition relations,computation sequences etc.directly based on a standard interpretation which includes no undefined value in its domain.Finally,we prove that our new approach generates the same operational semantics as the traditional one.It is also pointed out that we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semantics of recursive programs cannot be built based on predicate logic.
基金financially supported by the Scientific and Technological Innovation Project of the China Academy of Chinese Medical Sciences(CI2023E002).
文摘Due to the influence of growing environment,developmental stage,and external conditions,seeds and seedlings of the same species may exhibit significant morphologic variations,limiting the accuracy of traditional identification methods in verifying variety authenticity and identity.Molecular identification of traditional Chinese medicine(TCM)offers high accuracy and good reproducibility,and it is not restricted by sample morphology.This technology has already been widely used in pharmaceutical inspection departments,enterprises,and research institutions.Although the“Pharmacopoeia of the People’s Republic of China”has adopted 4 TCM molecular identification standards,there is still a lack of unified general rules for TCM molecular identification,as well as standards that meet multilevel identification needs and cover a wider range of varieties.In December 2016,the China Association of Chinese Medicine approved and released the“Molecular identification of traditional Chinese medicine-part 3:Seed and seedling of Chinese medicinal materials”(T/CACM 010.3-2016),which specifies general methods and requirements for molecular identification of Chinese herbal medicine seeds and seedlings.This standard establishes unified general rules for TCM molecular identification,promoting standardized development in this field.It provides guidance for the use of molecular identification techniques for Chinese herbal medicine seeds and seedlings,meets multilevel identification needs within the TCM industry,and ensures quality control of TCM products,thus playing a significant role in advancing the modernization and standardization of TCM.
