Language transfer has been a key issue in applied linguistics, second language acquisition, and language teaching for at least a century. Within the last few decades, however, its importance has been reassessed severa...Language transfer has been a key issue in applied linguistics, second language acquisition, and language teaching for at least a century. Within the last few decades, however, its importance has been reassessed several times. The paper focuses on the phenomena of language transfer in Chinese EFL writing, expecting to provide implications for Chinese English learners and teachers.展开更多
This paper focuses on variables affecting L1 transfer in L2 acquisition, which, according to the author, are categorized into three groups: learner-related variables, language-based variables and socio-linguistic var...This paper focuses on variables affecting L1 transfer in L2 acquisition, which, according to the author, are categorized into three groups: learner-related variables, language-based variables and socio-linguistic variables, and each of them is clarified in more details.展开更多
Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an ind...Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in forma-lization and verification content, and better performance. Time constraints are modeled and verified and it’s a highlight of this paper.展开更多
This paper informally introduces colored object-oriented Petri Nets(COOPN) with the application of the AUV system.According to the characteristic of the AUV system's running environment,the object-oriented method ...This paper informally introduces colored object-oriented Petri Nets(COOPN) with the application of the AUV system.According to the characteristic of the AUV system's running environment,the object-oriented method is used in this paper not only to dispart system modules but also construct the refined running model of AUV system,then the colored Petri Net method is used to establish hierarchically detailed model in order to get the performance analyzing information of the system.After analyzing the model implementation,the errors of architecture designing and function realization can be found.If the errors can be modified on time,the experiment time in the pool can be reduced and the cost can be saved.展开更多
This study investigates students’attitudes towards classroom code-switching(CS)between Chinese and English,and how such attitudes are influenced by learning motivation and language anxiety,the two focal variables of ...This study investigates students’attitudes towards classroom code-switching(CS)between Chinese and English,and how such attitudes are influenced by learning motivation and language anxiety,the two focal variables of the present study.A total of 550 students from a university in northwest China took part in an online survey.The results of quantitative analyses suggest a division of attitudes towards CS,acknowledging its usefulness but dismissing its symbolic value.Such attitudes can be predicted based on the focal learner characteristics.The implications of the findings are discussed vis-à-vis the social psychology of CS and an optimal use of CS to assist language learning and teaching.展开更多
Translation, or interpretive and language code conversion of the text, is considered as an independent complex type of speech activity which consists of such stages as perception, understanding and interpretation of t...Translation, or interpretive and language code conversion of the text, is considered as an independent complex type of speech activity which consists of such stages as perception, understanding and interpretation of the foreign-language text and actual translation, that is selection of language means for the expression of the interpretive version of the original. Considerable attention is paid nowadays to the translations of works of such literary genre as literary fairy tale. Fairy tale is a type of prosaic folklore, which is met in the folklore of various peoples. Not only have literary fairy tales grown on the basis of folklore, but they also inherited its genre characteristics, developing and transforming them. Translation as an interpretive conversion of the text is considered within the concept "secondary text". The conspicuous feature of secondary texts is the double reference of the word: to its own culture referent and to a foreign culture referent. The secondary text cannot be completely understood and appreciated without its reference to "the second plane". Subjected to analysis are the problems of preserving original pragrnatics in secondary texts. The challenge of national fairy tales translation lies in the discrepancy of cultural concepts of the two nations and in considerable distinctions between the characters of Russian and British national fairy tales. The traditions of Russian national culture and the consistency of grammatical gender expression in the Russian language lead to gender shifts in the translation of English literary fairy tales.展开更多
Codeswitching is one of teacher's strategies used in foreign language classrooms in order to approach or realize some teaching or communicative purposes.Based on Verschueren's Linguistic Adaptation theory,this...Codeswitching is one of teacher's strategies used in foreign language classrooms in order to approach or realize some teaching or communicative purposes.Based on Verschueren's Linguistic Adaptation theory,this article is a detailed analysis of the pragmatic adaptability that teacher's codeswitching can fulfill.We classify the objects to which teacher's codeswitching adapts into the linguistic reality,the teacher's roles and the teacher's speech intention.展开更多
This study relies on a contrastive analysis to underscore the functions of stress as a shift in translation, especially when phonological specifications can have an impact on translation. In the original model of tran...This study relies on a contrastive analysis to underscore the functions of stress as a shift in translation, especially when phonological specifications can have an impact on translation. In the original model of translation shifts proposed by Catford, only segmental linguistic elements are taken into consideration, while the model totally ignores stress as a supra-segmental linguistic element. Including stress within the analytic procedures of the model can bring about a new type of shift. This implies that Catford's categorization of shifts must be developed in order to increase its applicability, especially when phonological specifications in the source text can have an impact on grammar and lexical items in the target text. As a result of the inclusion of stress into Catford's original mode, a revised version of the translation shift model is suggested. The study further emphasizes the various dimensions of stress and the functions it can have in oral aspects of translation and drama translation.展开更多
文摘Language transfer has been a key issue in applied linguistics, second language acquisition, and language teaching for at least a century. Within the last few decades, however, its importance has been reassessed several times. The paper focuses on the phenomena of language transfer in Chinese EFL writing, expecting to provide implications for Chinese English learners and teachers.
文摘This paper focuses on variables affecting L1 transfer in L2 acquisition, which, according to the author, are categorized into three groups: learner-related variables, language-based variables and socio-linguistic variables, and each of them is clarified in more details.
文摘Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in forma-lization and verification content, and better performance. Time constraints are modeled and verified and it’s a highlight of this paper.
基金Supported by the Foundation of Harbin Engineering University Foundation under Grant No.HEUFT05035
文摘This paper informally introduces colored object-oriented Petri Nets(COOPN) with the application of the AUV system.According to the characteristic of the AUV system's running environment,the object-oriented method is used in this paper not only to dispart system modules but also construct the refined running model of AUV system,then the colored Petri Net method is used to establish hierarchically detailed model in order to get the performance analyzing information of the system.After analyzing the model implementation,the errors of architecture designing and function realization can be found.If the errors can be modified on time,the experiment time in the pool can be reduced and the cost can be saved.
文摘This study investigates students’attitudes towards classroom code-switching(CS)between Chinese and English,and how such attitudes are influenced by learning motivation and language anxiety,the two focal variables of the present study.A total of 550 students from a university in northwest China took part in an online survey.The results of quantitative analyses suggest a division of attitudes towards CS,acknowledging its usefulness but dismissing its symbolic value.Such attitudes can be predicted based on the focal learner characteristics.The implications of the findings are discussed vis-à-vis the social psychology of CS and an optimal use of CS to assist language learning and teaching.
文摘Translation, or interpretive and language code conversion of the text, is considered as an independent complex type of speech activity which consists of such stages as perception, understanding and interpretation of the foreign-language text and actual translation, that is selection of language means for the expression of the interpretive version of the original. Considerable attention is paid nowadays to the translations of works of such literary genre as literary fairy tale. Fairy tale is a type of prosaic folklore, which is met in the folklore of various peoples. Not only have literary fairy tales grown on the basis of folklore, but they also inherited its genre characteristics, developing and transforming them. Translation as an interpretive conversion of the text is considered within the concept "secondary text". The conspicuous feature of secondary texts is the double reference of the word: to its own culture referent and to a foreign culture referent. The secondary text cannot be completely understood and appreciated without its reference to "the second plane". Subjected to analysis are the problems of preserving original pragrnatics in secondary texts. The challenge of national fairy tales translation lies in the discrepancy of cultural concepts of the two nations and in considerable distinctions between the characters of Russian and British national fairy tales. The traditions of Russian national culture and the consistency of grammatical gender expression in the Russian language lead to gender shifts in the translation of English literary fairy tales.
文摘Codeswitching is one of teacher's strategies used in foreign language classrooms in order to approach or realize some teaching or communicative purposes.Based on Verschueren's Linguistic Adaptation theory,this article is a detailed analysis of the pragmatic adaptability that teacher's codeswitching can fulfill.We classify the objects to which teacher's codeswitching adapts into the linguistic reality,the teacher's roles and the teacher's speech intention.
文摘This study relies on a contrastive analysis to underscore the functions of stress as a shift in translation, especially when phonological specifications can have an impact on translation. In the original model of translation shifts proposed by Catford, only segmental linguistic elements are taken into consideration, while the model totally ignores stress as a supra-segmental linguistic element. Including stress within the analytic procedures of the model can bring about a new type of shift. This implies that Catford's categorization of shifts must be developed in order to increase its applicability, especially when phonological specifications in the source text can have an impact on grammar and lexical items in the target text. As a result of the inclusion of stress into Catford's original mode, a revised version of the translation shift model is suggested. The study further emphasizes the various dimensions of stress and the functions it can have in oral aspects of translation and drama translation.