With the development of science and technology, large quantities of neologisms are created. Neologisms are the result of people's conceptualization of new things based on their life experiences. Cognitive linguist...With the development of science and technology, large quantities of neologisms are created. Neologisms are the result of people's conceptualization of new things based on their life experiences. Cognitive linguistics views that categorization of organisms and concrete objects are based on the prototype category. This paper takes 167 English Neologisms from Wordspy in2015 as the data for analysis and finds that these English Neologisms are characterized by family resemblances, degree of membership in category and boundary fuzziness from the view of prototype category theory. This study also has some implications for the research of English language teaching and learning.展开更多
The development of a concurrent system poses unique challenges, especially those related to correctness and consistency, as such a system usually involves several interactive processes executing simultaneously. To dea...The development of a concurrent system poses unique challenges, especially those related to correctness and consistency, as such a system usually involves several interactive processes executing simultaneously. To deal with some of these challenges, we resorted to Labeled Event Structures (LES) and category theory as the formal methods to model concurrent systems. Specifically, in this paper, we proposed an idea to define categories and corresponding constructs, such as product and sum, to model events and relationships among events represented by LES. To explain the idea, several examples are developed. Though a mathematical proof, the proposed idea helped to build a correct-by-construction approach for formalizing LES models of concurrent systems.展开更多
Based on the difficulties of polysemy in translation,this paper explains the rationality of prototype category theory in polysemy translation.Taking Li Zhaoguo’s English version of Su Wen as the research object,it an...Based on the difficulties of polysemy in translation,this paper explains the rationality of prototype category theory in polysemy translation.Taking Li Zhaoguo’s English version of Su Wen as the research object,it analyzes the polysemy translation of“Jing”,“Zong”,and“Jiu”as examples,and puts forward the translation strategies of polysemy under the guidance of prototype category theory:equivalent substitution between categories,synonymous conversion between categories,transliteration and introspection outside categories,so as to provide reference for the study of polysemy in English translation of texts on traditional Chinese medicine.展开更多
The basic categories of the Chinese socialist human rights theory consist of four elements, namely, human rights history, human rights concepts, human rights attributes and human rights protection. The category of the...The basic categories of the Chinese socialist human rights theory consist of four elements, namely, human rights history, human rights concepts, human rights attributes and human rights protection. The category of the human rights history includes ancient notions of human rights, classical human rights theory, Marxist human rights theory and the sinicized Marxist human rights theory. The category of human rights concepts includes the subjects, contents, forms, classification, origin and essence of human rights. The category of human rights attributes includes universality and particularity of human rights, harmony and confrontation between human rights, politicalness and a-politicalness of human rights, indivisibility between rights and duties, and conditioning of state power by human rights. The category of human rights protection includes human rights and sovereignty, human rights and democracy, human rights and the rule of law, human rights and property, human rights duty holders, and human rights education.展开更多
The emphasis is laid on expanding students’vocabulary in the new English Curriculum Standards.Without effective approaches to vocabulary learning,students can hardly form vocabulary networks in mind.Combining with mo...The emphasis is laid on expanding students’vocabulary in the new English Curriculum Standards.Without effective approaches to vocabulary learning,students can hardly form vocabulary networks in mind.Combining with modern educational technology,the author carries out experimental teaching to explore the effectiveness of vocabulary teaching based on prototype category theory and presents some samples of vocabulary teaching.The study shows that these teaching methods can effectively enhance students’cognition abilities,stimulate association,promote vocabulary processing,form a categorized network schema,and finally improve students’lexical competence and long-term memory.展开更多
Software complexity crisis brings huge obstacle to further progress in IT industry. To alleviate this problem, researchers are asked to build systems which can benefit from automation. With autonomic behavior, the rea...Software complexity crisis brings huge obstacle to further progress in IT industry. To alleviate this problem, researchers are asked to build systems which can benefit from automation. With autonomic behavior, the real-time reactive systems can be more self-managed and adaptive to their environment. However, most of current formal approaches fail to specify such kind of system. In this paper, we proposed an approach to formally specify reactive autonomic systems. First, we used category theory to formalize reactive autonomic systems;then we focused on the categorization of self-configurations and work flows of reactive autonomic systems, and finally we used XML to specify the categorical models. In doing so, it can help to build the foundation of reactive autonomic systems with autonomic features and verify emergent behaviors.展开更多
Process-oriented design and implementation of concurrent systems has important benefits. However, the inherent complexity of concurrent processes’ communication imposes challenges such as verifying consistency betwee...Process-oriented design and implementation of concurrent systems has important benefits. However, the inherent complexity of concurrent processes’ communication imposes challenges such as verifying consistency between the process-oriented design and implementation of a concurrent system. To deal with such a challenge, we use Galois connections, Failures and Category Theory to construct a formal framework for designing, implementing, analyzing and verifying consistency of concurrent systems. For the purpose of illustrating the framework, a running concurrent system is designed by Communicating Sequential Processes, implemented by a process-oriented programming language Erasmus.展开更多
ISO9001:2000 and TS 16949 have become the major quality system management models in present traditional and Hi-tech industries. The Measurement System Analysis (MSA) Reference Manual, on the other hand, is one of the ...ISO9001:2000 and TS 16949 have become the major quality system management models in present traditional and Hi-tech industries. The Measurement System Analysis (MSA) Reference Manual, on the other hand, is one of the core tools in ISO/TS 16949. MSA aims to evaluate Gauge Repeatability and Reproducibility (GR&R) where the control, monitoring, and maintenance of the measurement process are required in measurement systems so that the measurement capability could be ensured under statistical control. An ideal measurement system should present the statistical characteristic of zero error on any measured product. Nevertheless, such an ideal measurement system hardly exists. Managers therefore have to adopt such measurement systems with unsatisfactory statistical characteristics. Traditional MSA indexes are constructed with definite observed values. Nevertheless, measurements with observed values are not entirely error-free. For this reason, this study proposes to research three cases in a case company and apply the integration of Fuzzy Theory and GR&R to discuss the differences in the evaluation index GR&R and the Number of Distinct Categories (NDC). Substituting fuzzy numbers for definite numbers found that the data of %GR&R were increased and NDC was decreased after fuzzification. Such results verify that the fuzzified %GR&R and NDC become stricter in the determination criterion. The research outcomes could assist the case company in improving the reference data of measurement systems and promoting the measurement quality.展开更多
Globalization brings more and more foreigners to China, so it becomes necessary to translate the Chinese public signs intoEnglish. The public signs fall into different categories and there are similarities and differe...Globalization brings more and more foreigners to China, so it becomes necessary to translate the Chinese public signs intoEnglish. The public signs fall into different categories and there are similarities and differences between the Chinese public signs and Englishpublic signs. Taking the city of Leshan, a booming tourism resort in Sichuan, China as an example, this paper makes a preliminary study of theChinese-English translation of public signs under the Adaptation Theory.展开更多
Though 'clearly' defined by traditional grammar,the boundary between ellipsis and substitution is actually fuzzy.The author infers that the psychological principles which govern all kinds of human behavior of ...Though 'clearly' defined by traditional grammar,the boundary between ellipsis and substitution is actually fuzzy.The author infers that the psychological principles which govern all kinds of human behavior of categorization the concrete world also applies to their linguistic behavior.Thus,this thesis attempts to acknowledge the principle of family resemblances in its interpretation while analyzing the grammatical phenomena of ellipsis and substitution from the perspective of prototype theory.Then it concludes that substitution can be considered "entity substitution" and ellipsis can be considered "zero substitution"in the category of SUBSTITUTION,and there is a gradient continuum between them.展开更多
This paper aims to give a brief analysis on the Empty Categories in Chinese.It will first illustrate Chomsky’s classification of EC as well as the constraints the subject to briefly,then basing on this classification...This paper aims to give a brief analysis on the Empty Categories in Chinese.It will first illustrate Chomsky’s classification of EC as well as the constraints the subject to briefly,then basing on this classification the author will state some of Chinese scholars’study and research including Xu Liejiong,Huang Zhengde and Hu Jianjun.Finally,the author will compare these classic frameworks and attempt to.展开更多
Cognitive linguistics is an emerging language discipline that studies language based on new philosophical and cognitive views and people's experience of the world and the perception and conceptualization of the wo...Cognitive linguistics is an emerging language discipline that studies language based on new philosophical and cognitive views and people's experience of the world and the perception and conceptualization of the world.This paper mainly introduces main theories of Cognitive Linguistics that aims to provide some reference for language beginners and help them to fully understand Cognitive Linguistics.展开更多
文摘With the development of science and technology, large quantities of neologisms are created. Neologisms are the result of people's conceptualization of new things based on their life experiences. Cognitive linguistics views that categorization of organisms and concrete objects are based on the prototype category. This paper takes 167 English Neologisms from Wordspy in2015 as the data for analysis and finds that these English Neologisms are characterized by family resemblances, degree of membership in category and boundary fuzziness from the view of prototype category theory. This study also has some implications for the research of English language teaching and learning.
文摘The development of a concurrent system poses unique challenges, especially those related to correctness and consistency, as such a system usually involves several interactive processes executing simultaneously. To deal with some of these challenges, we resorted to Labeled Event Structures (LES) and category theory as the formal methods to model concurrent systems. Specifically, in this paper, we proposed an idea to define categories and corresponding constructs, such as product and sum, to model events and relationships among events represented by LES. To explain the idea, several examples are developed. Though a mathematical proof, the proposed idea helped to build a correct-by-construction approach for formalizing LES models of concurrent systems.
文摘Based on the difficulties of polysemy in translation,this paper explains the rationality of prototype category theory in polysemy translation.Taking Li Zhaoguo’s English version of Su Wen as the research object,it analyzes the polysemy translation of“Jing”,“Zong”,and“Jiu”as examples,and puts forward the translation strategies of polysemy under the guidance of prototype category theory:equivalent substitution between categories,synonymous conversion between categories,transliteration and introspection outside categories,so as to provide reference for the study of polysemy in English translation of texts on traditional Chinese medicine.
文摘The basic categories of the Chinese socialist human rights theory consist of four elements, namely, human rights history, human rights concepts, human rights attributes and human rights protection. The category of the human rights history includes ancient notions of human rights, classical human rights theory, Marxist human rights theory and the sinicized Marxist human rights theory. The category of human rights concepts includes the subjects, contents, forms, classification, origin and essence of human rights. The category of human rights attributes includes universality and particularity of human rights, harmony and confrontation between human rights, politicalness and a-politicalness of human rights, indivisibility between rights and duties, and conditioning of state power by human rights. The category of human rights protection includes human rights and sovereignty, human rights and democracy, human rights and the rule of law, human rights and property, human rights duty holders, and human rights education.
文摘The emphasis is laid on expanding students’vocabulary in the new English Curriculum Standards.Without effective approaches to vocabulary learning,students can hardly form vocabulary networks in mind.Combining with modern educational technology,the author carries out experimental teaching to explore the effectiveness of vocabulary teaching based on prototype category theory and presents some samples of vocabulary teaching.The study shows that these teaching methods can effectively enhance students’cognition abilities,stimulate association,promote vocabulary processing,form a categorized network schema,and finally improve students’lexical competence and long-term memory.
文摘Software complexity crisis brings huge obstacle to further progress in IT industry. To alleviate this problem, researchers are asked to build systems which can benefit from automation. With autonomic behavior, the real-time reactive systems can be more self-managed and adaptive to their environment. However, most of current formal approaches fail to specify such kind of system. In this paper, we proposed an approach to formally specify reactive autonomic systems. First, we used category theory to formalize reactive autonomic systems;then we focused on the categorization of self-configurations and work flows of reactive autonomic systems, and finally we used XML to specify the categorical models. In doing so, it can help to build the foundation of reactive autonomic systems with autonomic features and verify emergent behaviors.
文摘Process-oriented design and implementation of concurrent systems has important benefits. However, the inherent complexity of concurrent processes’ communication imposes challenges such as verifying consistency between the process-oriented design and implementation of a concurrent system. To deal with such a challenge, we use Galois connections, Failures and Category Theory to construct a formal framework for designing, implementing, analyzing and verifying consistency of concurrent systems. For the purpose of illustrating the framework, a running concurrent system is designed by Communicating Sequential Processes, implemented by a process-oriented programming language Erasmus.
文摘ISO9001:2000 and TS 16949 have become the major quality system management models in present traditional and Hi-tech industries. The Measurement System Analysis (MSA) Reference Manual, on the other hand, is one of the core tools in ISO/TS 16949. MSA aims to evaluate Gauge Repeatability and Reproducibility (GR&R) where the control, monitoring, and maintenance of the measurement process are required in measurement systems so that the measurement capability could be ensured under statistical control. An ideal measurement system should present the statistical characteristic of zero error on any measured product. Nevertheless, such an ideal measurement system hardly exists. Managers therefore have to adopt such measurement systems with unsatisfactory statistical characteristics. Traditional MSA indexes are constructed with definite observed values. Nevertheless, measurements with observed values are not entirely error-free. For this reason, this study proposes to research three cases in a case company and apply the integration of Fuzzy Theory and GR&R to discuss the differences in the evaluation index GR&R and the Number of Distinct Categories (NDC). Substituting fuzzy numbers for definite numbers found that the data of %GR&R were increased and NDC was decreased after fuzzification. Such results verify that the fuzzified %GR&R and NDC become stricter in the determination criterion. The research outcomes could assist the case company in improving the reference data of measurement systems and promoting the measurement quality.
文摘Globalization brings more and more foreigners to China, so it becomes necessary to translate the Chinese public signs intoEnglish. The public signs fall into different categories and there are similarities and differences between the Chinese public signs and Englishpublic signs. Taking the city of Leshan, a booming tourism resort in Sichuan, China as an example, this paper makes a preliminary study of theChinese-English translation of public signs under the Adaptation Theory.
文摘Though 'clearly' defined by traditional grammar,the boundary between ellipsis and substitution is actually fuzzy.The author infers that the psychological principles which govern all kinds of human behavior of categorization the concrete world also applies to their linguistic behavior.Thus,this thesis attempts to acknowledge the principle of family resemblances in its interpretation while analyzing the grammatical phenomena of ellipsis and substitution from the perspective of prototype theory.Then it concludes that substitution can be considered "entity substitution" and ellipsis can be considered "zero substitution"in the category of SUBSTITUTION,and there is a gradient continuum between them.
文摘This paper aims to give a brief analysis on the Empty Categories in Chinese.It will first illustrate Chomsky’s classification of EC as well as the constraints the subject to briefly,then basing on this classification the author will state some of Chinese scholars’study and research including Xu Liejiong,Huang Zhengde and Hu Jianjun.Finally,the author will compare these classic frameworks and attempt to.
文摘Cognitive linguistics is an emerging language discipline that studies language based on new philosophical and cognitive views and people's experience of the world and the perception and conceptualization of the world.This paper mainly introduces main theories of Cognitive Linguistics that aims to provide some reference for language beginners and help them to fully understand Cognitive Linguistics.