On the basis of formal grammar, this paper introduces operation set θ (e.g.,vector point multiply ·, vector couple multiply * , vector set multiply X, substitution H,function F, set plus ∪, et al.) and set of s...On the basis of formal grammar, this paper introduces operation set θ (e.g.,vector point multiply ·, vector couple multiply * , vector set multiply X, substitution H,function F, set plus ∪, et al.) and set of set' s types L (e.g., ordered set, continuous(descending) ordered set, unordered set, coupled set, coordinate, et al.), and generalizes them toother word types of natural language, thus presenting the generative grammar for words―anextensible 6-element formal system {V_T, V_N, θ, L, S, P}, and takeing time words in naturallanguage as example for detailed discussion. With the colorfulness of time words of naturallanguage, time words for different natural languages assume different meaning. Generative grammarfor time words can generate not only different time words, but also their semantics (Generativegrammar of Chomsky can only produce all right sentences instead of semantics), and then, generalizesthem to other word types, e.g., accurate measure words, adjectives, etc.展开更多
In generative grammar, through agreement, unvalued features can be valued and uninterpretable features can be deleted,observing the Principle of Full Interpretation. Through the analysis of agreement in expletive clau...In generative grammar, through agreement, unvalued features can be valued and uninterpretable features can be deleted,observing the Principle of Full Interpretation. Through the analysis of agreement in expletive clauses, we can provide a reasonable explanation to the misuse of expletives, thus proving that the theories of generative grammar, though, seemingly abstract, can best reflect the essence of language and can be applied in English education.展开更多
This paper discusses the history of linguistics in the west, as well as the features, the spokesmen and the contributions of different schools in different times. The learners can understand the linguistic schools in ...This paper discusses the history of linguistics in the west, as well as the features, the spokesmen and the contributions of different schools in different times. The learners can understand the linguistic schools in the west by analyzing them and then improve their ability to analyze languages.展开更多
Breeze/architecture description language(ADL), is an eX tensible markup language(XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL pr...Breeze/architecture description language(ADL), is an eX tensible markup language(XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net(GSPN) and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions: Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool–EXGSPN(Breeze/ADL reliability analysis modelling tool), and combine it with platform independent petri net editor 2(PIPE2) to carry out a reliability assessment.Abstract: Breeze/architecture description language (ADL), is an eXtensible markup language (XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net (GSPN) and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions: Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool-EXGSPN (Breeze/ADL reliability analysis modelling tool), and combine it with platform independent petri net editor 2 (PIPE2) to carry out a reliability assessment.展开更多
文摘On the basis of formal grammar, this paper introduces operation set θ (e.g.,vector point multiply ·, vector couple multiply * , vector set multiply X, substitution H,function F, set plus ∪, et al.) and set of set' s types L (e.g., ordered set, continuous(descending) ordered set, unordered set, coupled set, coordinate, et al.), and generalizes them toother word types of natural language, thus presenting the generative grammar for words―anextensible 6-element formal system {V_T, V_N, θ, L, S, P}, and takeing time words in naturallanguage as example for detailed discussion. With the colorfulness of time words of naturallanguage, time words for different natural languages assume different meaning. Generative grammarfor time words can generate not only different time words, but also their semantics (Generativegrammar of Chomsky can only produce all right sentences instead of semantics), and then, generalizesthem to other word types, e.g., accurate measure words, adjectives, etc.
文摘In generative grammar, through agreement, unvalued features can be valued and uninterpretable features can be deleted,observing the Principle of Full Interpretation. Through the analysis of agreement in expletive clauses, we can provide a reasonable explanation to the misuse of expletives, thus proving that the theories of generative grammar, though, seemingly abstract, can best reflect the essence of language and can be applied in English education.
文摘This paper discusses the history of linguistics in the west, as well as the features, the spokesmen and the contributions of different schools in different times. The learners can understand the linguistic schools in the west by analyzing them and then improve their ability to analyze languages.
基金supported by Jilin Province Science Foundation for Youths(No.20150520060JH)
文摘Breeze/architecture description language(ADL), is an eX tensible markup language(XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net(GSPN) and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions: Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool–EXGSPN(Breeze/ADL reliability analysis modelling tool), and combine it with platform independent petri net editor 2(PIPE2) to carry out a reliability assessment.Abstract: Breeze/architecture description language (ADL), is an eXtensible markup language (XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net (GSPN) and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions: Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool-EXGSPN (Breeze/ADL reliability analysis modelling tool), and combine it with platform independent petri net editor 2 (PIPE2) to carry out a reliability assessment.