Architecture analysis and design language （AADL） is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion an...Architecture analysis and design language （AADL） is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion and analysis, model transformation is one of the methods. A synchronous subset of AADL and a general methodology for translating the AADL subset into timed abstract state machine （TASM） were studied. Based on the arias transformation language （ ATL ） framework, the associated translating tool AADL2TASM was implemented by defining the meta-model of both AADL and TASM, and the ATL transformation rules. A case study with property verification of the AADL model was also presented for validating the tool.展开更多
Up to now,it has been learned so many theories about second language acquisition (SLA),namely behaviorism theories,innatism theories,psychological theories,and interactionist theories.Among these theories the interact...Up to now,it has been learned so many theories about second language acquisition (SLA),namely behaviorism theories,innatism theories,psychological theories,and interactionist theories.Among these theories the interactionist theories especially Vygotsky's sociocultural theory is most in line with the real teaching philosophy.展开更多
Research on SLA gives highlights to English translation teaching. The second language acquisition is a cognitive process of understanding and outputting the second language by making use of strategies, which contains ...Research on SLA gives highlights to English translation teaching. The second language acquisition is a cognitive process of understanding and outputting the second language by making use of strategies, which contains language input, learners' linguistic knowledge, and language output. This paper analyzes language input and output theory and then proposes that we should stress language input by practice and interaction and at the same time focus on the role of language output in college English translation teaching.展开更多
This paper presents a two-agent framework to build a natural langua g e query interface for IC information system, focusing more on scope queries in a single English sentence. The first agent, parsing agent, syntact...This paper presents a two-agent framework to build a natural langua g e query interface for IC information system, focusing more on scope queries in a single English sentence. The first agent, parsing agent, syntactically p rocesses and semantically interprets natural language sentence to construct a fu zzy structured query language (SQL) statement. The second agent, defuzzif ying agent, defuzzifies the imprecise part of the fuzzy SQL statement into its e quivalent executable precise SQL statement based on fuzzy rules. The first agent can also actively ask the user some necessary questions when it manages to disa mbiguate the vague retrieval requirements. The adaptive defuzzification approach employed in the defuzzifying agent is discussed in detail. A prototype interface has been implemented to demonstrate the effectiveness.展开更多
Language transfer is one of the central questions in second language acquisition (SLA) study. It claims that learners' the native language (NL) or first language (L1) will make great impacts, either promoting or h...Language transfer is one of the central questions in second language acquisition (SLA) study. It claims that learners' the native language (NL) or first language (L1) will make great impacts, either promoting or hindering, on their second language (L2) acquisition, i.e. positive transfer and negative transfer. The issue has been widely concerned and researched in such relative fields as language education and psychological study during the past years. It is far beyond the scope of this paper to discuss it thoroughly since the scope of L1 influence is so wide that it affects almost all linguistic subsystems. Instead, this paper aims to focus on how the Chinese language facilitates Chinese learners' English lexical acquisition. Some suggestions on how to make use of the positive aspects is provided at the end of the paper for practical purpose.展开更多
Intrinsic motivations play a more significant role than extrinsic motivations in second language learning.However,we should not neglect the external factors on learners' attitude towards English language learning....Intrinsic motivations play a more significant role than extrinsic motivations in second language learning.However,we should not neglect the external factors on learners' attitude towards English language learning.These factors are all interrelated with each other and exert a profound influence on learners' second language learning process.展开更多
基金National Natural Science Foundations of China (No. 61073013,No. 90818024)Aviation Science Foundation of China(No.2010ZAO4001)
文摘Architecture analysis and design language （AADL） is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion and analysis, model transformation is one of the methods. A synchronous subset of AADL and a general methodology for translating the AADL subset into timed abstract state machine （TASM） were studied. Based on the arias transformation language （ ATL ） framework, the associated translating tool AADL2TASM was implemented by defining the meta-model of both AADL and TASM, and the ATL transformation rules. A case study with property verification of the AADL model was also presented for validating the tool.
文摘Up to now,it has been learned so many theories about second language acquisition (SLA),namely behaviorism theories,innatism theories,psychological theories,and interactionist theories.Among these theories the interactionist theories especially Vygotsky's sociocultural theory is most in line with the real teaching philosophy.
文摘Research on SLA gives highlights to English translation teaching. The second language acquisition is a cognitive process of understanding and outputting the second language by making use of strategies, which contains language input, learners' linguistic knowledge, and language output. This paper analyzes language input and output theory and then proposes that we should stress language input by practice and interaction and at the same time focus on the role of language output in college English translation teaching.
文摘This paper presents a two-agent framework to build a natural langua g e query interface for IC information system, focusing more on scope queries in a single English sentence. The first agent, parsing agent, syntactically p rocesses and semantically interprets natural language sentence to construct a fu zzy structured query language (SQL) statement. The second agent, defuzzif ying agent, defuzzifies the imprecise part of the fuzzy SQL statement into its e quivalent executable precise SQL statement based on fuzzy rules. The first agent can also actively ask the user some necessary questions when it manages to disa mbiguate the vague retrieval requirements. The adaptive defuzzification approach employed in the defuzzifying agent is discussed in detail. A prototype interface has been implemented to demonstrate the effectiveness.
文摘Language transfer is one of the central questions in second language acquisition (SLA) study. It claims that learners' the native language (NL) or first language (L1) will make great impacts, either promoting or hindering, on their second language (L2) acquisition, i.e. positive transfer and negative transfer. The issue has been widely concerned and researched in such relative fields as language education and psychological study during the past years. It is far beyond the scope of this paper to discuss it thoroughly since the scope of L1 influence is so wide that it affects almost all linguistic subsystems. Instead, this paper aims to focus on how the Chinese language facilitates Chinese learners' English lexical acquisition. Some suggestions on how to make use of the positive aspects is provided at the end of the paper for practical purpose.
文摘Intrinsic motivations play a more significant role than extrinsic motivations in second language learning.However,we should not neglect the external factors on learners' attitude towards English language learning.These factors are all interrelated with each other and exert a profound influence on learners' second language learning process.
