• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.12
• /
• pp.8147-8156
• /
• 2015

This study analyzes the Pattern Language of Insadong-gil in street environmental design analysis for street vitalization. The urban public spaces, such as pedestrian streets, parks and plazas, have been increased with rapid urbanization and industrialization. But the fact is the satisfied spaces with the behavior patterns of users is little. This is because of the too much slanted thought toward formal supply and management of spaces without enough consideration for people and spatial quality of public spaces. The purpose of this study is to find out the factors to make the street more vital and diverse and to give the characteristic of region through the research on Insadong street with the pattern language of Christopher Alexander. So, throughout the value recognition of the changing urban street environment that has been changed by age selected spatial characteristic of public spaces. By selecting a suitable pattern language for each spatial characteristics provide the basis for street environmental design analysis. For this study, look at the relationship between pattern language focused on Insadong street, pattern language as the vitalization factor of street were analyzed 16 elements, including Pedestrian Street(100), Building Fronts(122), Activity Nodes(30) etc. This study focuses on street environmental design analysis of Insadong-gil through the Pattern Language, it propose the criteria and guidelines that will help enable street vitalization.

• English Language & Literature Teaching
• /
• v.9 no.spc
• /
• pp.79-98
• /
• 2003

This article reports that a testee's content schemata have detrimental effects on the validity of standardized reading comprehension tests. in case that the reading passages constitute his prior background knowledge framed by regular academic pursuits focused on a major field of study. The empirical research findings on such a reliability issue have shown that the Korean subjects' familiarity with the content domain of the reading materials may substantially enhance their test performance, operated as unfair advantages over the other participants at the same level of English proficiency who do not possess technical knowledge closely related to the contents of the test passages. Based on these results, it may be argued that the reading text should be composed of maximally neutral contents to every testee to avoid the possible overlapping between a test-taker's content schemata and the content domain of the materials. Therefore, this article claims that the tenets of schema theory with its long-standing foundation on culturally predetermined content and formal schemata need to be expanded to cover professional knowledge structures, like those acquired by higher education, as the hard-wired framework of an individual's original culture-specific background knowledge.

• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.117-124
• /
• 2006

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

• Journal of Korean Library and Information Science Society
• /
• v.14
• /
• pp.181-215
• /
• 1987

Reading education is very important in order to promote the refinement, cultivate the emotion and complete the character to the secondary school students. This thesis deals with the establishment of reading education as a formal course in secondary schools, responsibility of teaching and problems related to recommended reading lists. Reading education must separate from the national language education because of literature centered education in reading education. If reading education was separated from the national language education, students can a n.0, pproach to the other cultural boundary besides other own and exchange their information and ideas. So, reading education must be included to the elective subjects in a independent course or become a compulsory subject in secondary school curriculum. The teacher of reading education must become the teacher librarian who has a firm faith and an intellectual accomplishment. But, teacher-librarian has much disadvantages such as the problems of promotion, the division of qualification between elementary school and secondary school, and a short-term training courses for teacher-librarian. Hence, theses problems music be solved in national administrative level. Recommended reading lists must be provided to the student in order to prevent confusion of the sense of value, to estimate their own reading ability by themselves and to establish life long reading plan. Therefore, both Korean Library Association and the Ministry of Education should re-examine and develop recommended reading lists. Finally, problems of a juvenile delinquency in the post industrial society have to be solved through reading education. To solve the juvenile delinquency problems, adolescents should cultivate their moral character and possesses abundant knowledge through reading education. Then, young adults will grow as sound citizen in the society.

• Journal of Internet Computing and Services
• /
• v.10 no.4
• /
• pp.139-149
• /
• 2009

In order to verify that a lot of legal requirements and regulations are correctly translated into software, this paper provides a solution for formal and computable representations of rules and requirements in data protection legislations with a DSML (Domain Specific Modeling Language). All policies are formally specified through Prolog and then integrated with DSML, According to the time of policy verification, this solution has two kinds of policies: static policies, dynamic policies.

• Language and Information
• /
• v.9 no.2
• /
• pp.85-105
• /
• 2005

This study aims at investigating the 'verb-second' phenomena indicated in complex sentences of medieval Spanish. Especially, when the complex sentence is composed of a preposed adverbial clause and its succeeding main clause, the subject inversion is noticeable in the latter. The fundamental motive of this type of inversion is due to the 'verb-second' structure, in which a topic appears in the first position and the verb immediately after the topic. So it can be said that the subject inversion is a prerequisite for a verb to be located in the second position when the adverbial clause functions as a topic to the main clause, as is often the case with Germanic languages like German, Dutch, etc.. On the contrary, modern Spanish complex sentences do not show this phenomenon, with a strong tendency to locate a grammatical subject in the preverbal position. Therefore, medieval Spanish might be typologically closer to Germanic languages than to modern Spanish. In order to argue for this assumption, the formal and functional criteria by which the preposed adverbial clause could be defined as a topic NP will be examined across the comparition with left-dislocation structure.

• Journal of Korean language education
• /
• v.28 no.4
• /
• pp.1-38
• /
• 2017

This longitudinal study analyzed syntactic development (Complexity, Accuracy, and Fluency; CAF) of six L2 Korean learners in a natural learning context. The learners recalled the stories of a short animated video through speaking and writing every 3 months, from month 0 to 15. The learners' responses were analyzed for a series of CAF measures and their cognitive, psychological, and social variables were investigated. The results showed that (i) L2 Korean learners' speaking and writing in various time periods showed significant differences in spoken and written accuracy, and complexity; (ii) the correlation between spoken and written complexity, spoken and written accuracy, as well as spoken and written fluency were significant, and (iii) the regression analysis showed that learners' cognitive, social, and psychological variables have significant effect on the L2 Korean syntactic development. The current study reports that L2 Korean learners engaged in self-learning in a natural learning environment without formal instruction made significant syntactic development.

• Journal of Christian Education in Korea
• /
• v.61
• /
• pp.165-201
• /
• 2020

The purpose of this study is to explore the development of language education of Christian early childhood education by exploring the change of pre-Christian preschool teachers through the development of biblical language education activities. Interviews, surveys, action plans, and reflections of 19 Christian education students who participated in the development of bible-based language education activities for children based on the language of early childhood language, were conducted from September 3 to December 28, 2018. The data were collected through a portfolio. By analyzing the collected data, the key categories were derived and categorized. For the objectification of data analysis and interpretation, two thematic and early childhood education specialists were identified. As a result, the preparatory Christian teacher experience for the development of bible-based langage education activities for young children was categorized into cognitive change, personality change and practical change. First, through the development of bible-based early childhood language education activities, Christian pre-service early childhood teachers have brought cognitive changes as 'processes not outcomes', 'integration not separation', 'living non-curriculum' and 'meaning not effect'. In developing bible-based language education activities for young children, Christian pre-service early childhood teachers experienced a cognitive change in the 'process of language education activities' rather than the developmental achievements and results of early childhood language education. Christian pre-service early childhood teachers recognized the necessity of 'integration of listening-speaking-reading-writing', not the separation of early childhood language education. They recognized the importance of 'informal language education in kindergarten life', as well as teacher-centered formal language education. In addition, they have made a cognitive change that 'child-centered meaningful language education experience' is more important than the effectiveness of early childhood language education. Second, in developing bible-based language education activities for young children, Christian pre-service early childhood teachers showed personality changes as 'confident teachers', 'professional teachers', and 'teachers with reflective thoughts and attitudes'. Finally, in developing bible-based language education activities for young children, Christian pre-service early childhood teachers recognized the power of positive language and practiced it to form habits of using the right language and to link Christian education with early childhood education. Through the development of bible-based language education activities for young children, Christian pre-service early childhood teachers are equipped with the heart attitude and enthusiasm required to become true early childhood teachers for young children in unpredictable educational conditions and rapidly changing educational realities. Teacher efficacy has improved. In the future, it is expected that various teacher education programs linking Christian education and early childhood education will be continuously and systematically implemented.

• Journal of architectural history
• /
• v.15 no.4
• /
• pp.37-56
• /
• 2006

Introducing International Style, P. Johnson and H. R. Hitchcock gave three standards to be the Modern, volume and surface, regularity, and exclusion of applied decoration. In spite of the negation of stylistic, formal approach in the Modernist Manifestoes, one usually have understood Modernity in Architecture with its formal character, especially with no ornament and flat, abstract, white surface. Modernism as a new paradigm in architecture have emphasized that there is no representation of anything outside and only present architecture in itself. They said that Modernism only cared about the language of Architecture without figural reference. So apparently there is no way to prove to its Modernity with formal condition. Modernity is in Spirit and contents. But actually we understand well its existence by visual communication This study deals with this difficult situation how Modernity represents itself without visual media and asks the question how simultaneously it presents its thingness and materiality In order to analyse contradictory situation between representation and presentation in Modern Architecture we need to survey the historical process of changing position of ornaments and its meaning in time. With the crisis of representation the role of ornament have seriously changed and divided. It caused the two situation in pre-Modern Architecture. Firstly, Architecture tend to be a high art and formal expression became important much more. The Use of Ornament became a kind of fashion to show the power, class, money. Secondly, Ornament lost its cultural weight and the structure and material aspect became the central in architecture. Rational Structuralism would be the essential character in Modern Architecture. Here the theory of G. Semper and A. Loos on cladding(dressing) and Ornament can help its problems and limits. In the situation without conventional ornament Modernists need to present modernity with new media that only show the thing itself and by that it does not represent any thing else as like the value, idea outside buildings. They believed that only it concerned esthetics and morality in architecture. But in reality it referred to art and machines as like ships, aircraft, and cars. By excluding Ornament and showing the process of clearing, abstract, flat, white surface 'represent' Modernity by the indirect way referring the concept of transparency, reason, sanitation, tectonics, etc. An Ideology and myth intervened architectural discourse to make the doxa about the representation in Architecture. Surface must be a different kind of media and message that can communicate in different way with compared to conventional Ornament. Decorated Shed by R. Venturi and Post-Functionalism by P. Eisenman, that are the most famous post-modern discourse, shows well difficult and contradictory condition in contemporary architecture concerning representation and form, meaning and form.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.1
• /
• pp.166-180
• /
• 2000

Recommendations of ITU-T and ISO stipulate the managerial abstraction of static and dynamic characteristics of network elements, management functions as well as management communication protocol. The current recommendations provide the formal mechanism for the structural parts of managed objects such as managed object class and attributes. But the current description method does not provide the formal mechanism for the behavioral characteristics of managed objects in clear manner but in natural language form, the complete specification of managed objects is not fully described. Also, the behaviour of managed objects is affected by their temporal and active properties. While the temporal properties representing periodic or repetitive internals are to describe managed objects behaviour in rather strict way, it will be more powerful if more dynamic temporal properties determined by external conditions are added to managed objects. In this paper, we added dynamic features to scheduling managed objects, and described, in GDMO, scheduling managed objects that support dynamic features. We also described behaviour of managed objects in newly defined BDL that has dynamic temporal properties. This paper showed that dynamic temporal managed objects provide a systematic and formal method in agent management function model.