• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.1 no.1
• /
• pp.19-22
• /
• 1983

A contex-freegammar is defined over the Korean Alphabet which produces linear stings conforming to the sound structure of the language. Methods are then given for transforming these strings into a context-dependent syllabified two dimensional form Also the practical problems in developing d Korean line printer and suggestions for further research are presented.

• Journal of Internet Computing and Services
• /
• v.10 no.5
• /
• pp.145-152
• /
• 2009

Applications such as study guides and adaptive tutoring must rely on a fine grained student model to tailor their interaction with the user. They are useful for Computer Adaptive Testing (CAT), for example, where the test items can be administered in order to maximize the information. I study how to design learner tailoring question process for recommendation. And this process can be applied the CAT and I use the formal language such as CSP in each process development for efficient process design. I use the item difficulty of item response theory for question recommendation process and learner can choice the difficulty step for learning change to control the difficulty of question in next learning. Finally, this method displayed the structural difference to compare between existent and this process.

• 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.

• Journal of Korean Academy of Nursing
• /
• v.19 no.1
• /
• pp.92-98
• /
• 1989

Concept analysis is a formal linguistic exercise to determine certain defining attributes. The basic purpose of concept analysis is to clarify ambiguous concepts in a theory, and to propose a precise operational definition which reflects its theoretical base (Walker, 1983, 27~28). In later life, elderly people are faced with various psychological problems such as depression, and lowered self-esteem for these psychological problems of the elderly. Reminiscence has been studied as an effective therapeutic measure by gerontologists and psychologists. It is considered to have potential as an effective nursing intervention with geriatric clients. The purpose of this paper was to explore the feasibility of adopting reminiscence as a nursing intervention through analysis of the concept. The concept can be defined as follows : Reminiscence is thinking and talking about one's past with or without a specific purpose. It is a composite mental process which involves psychological, emotional, and social interactional aspects. The defining attributes of reminiscence are : 1. Thinking about past experiences which are meaningful to oneself. 2. It includes the emotional aspect of past experiences. 3. It occurs with or without specific purposes. 4. It is communicated to others by means of language and the subject has the feeling of being heard. In regard to the consequences of reminiscence, it is expected to contribute to psychological adaptation by providing a sense of self-fulfillment and self-achievement, promoting the discovery of the meaning of life, decreasing depression, and overcoming guilt feelings and conflict about one's past. However, if the past is regarded as a total failure, it may be harmful to the psychological well-being of the subject.

• Journal of architectural history
• /
• v.17 no.1
• /
• pp.7-28
• /
• 2008

Colin Rowe was an important historian, theorist and critic in Modern architecture. His significance in Modern architectural history lies in not only historiography which has changed our view of Modernism but deep theoretical involvement in practice. This study is a critical review and analysis on his formalist approach in Architecture. With a view that his position of formalist has indispensible relationship with liberalism from K. Popper's critical rationalism, this study try to show how his philosophical background has an influence upon his way of seeing architecture, history, form, urbanism, and meaning, etc. And this study also try to explain why the principle of architecture as an autonomous discipline which is the main point of view in Rowe's criticism has been so successful and influential. This study also explain what is the possibility and limitation of Rowe's formalist approach and way of reading buildings. His intelligent way of formal analysis can give us new understandings of how the form generates and the process of design goes on. Furthermore it guide us a new horizon of architecture as a language game. Since his early writings showed both side of formalist approach in architecture and it didn't changed a lot. We can understand his 'Collage City' was a his final answer to his formalist way of making architecture and urbanism. we can estemate it as a utopia without utopianism and an ideology without ideological color.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.20 no.2
• /
• pp.159-178
• /
• 1995

Supervisory control is an approach based on formal language. it is used to model and control discrete event systems in which each discrete event process is represented as an automation. A supervisor is a generator that switches control patterns in such a way that a given discrete evenet process behaves in obedience to various constraints. A flexible manufacturing cell (FMC) is one of discrete evenet systems. Functions necessary for the operation of an FMC are characterized by operational components and informational compoments. The operational components can be modeled using the finite state machines and the informational components can be modeled using the abstract formalism which describes supporting operations of the cell controller. In this paper, we addressed function required for FMC control specification, software engineering aspects on FMC control based on supervisory control, a concept of event queue for resolving synchronization problem, and complexity reduction. Based on the mathematical model of an FMC. we synthesized the controller by integrating a supervisor for FMC with control specification that specifies event-driven operation of the cell controller. The proposed control scheme is stable mathematically so that the system always behaves on a controlled way even under the existence of uncontrollable events. Furthermore, using an event queue concept, we can solve a synchronization problem caused by the violation of instantaneity assumption of supervisory control theory in real life situation. And also, we can propotype a control software rapidly due to the modularity of the proposed control scheme.

• The Journal of the Korea Contents Association
• /
• v.16 no.5
• /
• pp.306-317
• /
• 2016

Both the formal type of architecture and free-form architecture have basic factors and methods for basic expression. Because the use of digital design tools for creation of free-form design mostly depends on the character and ability of designer, this study aims to propose establishment of free-form design creation method as a prototype, including the method to create free-form design, through setting up rules that can be used in common. This study is carried out on the basis of the application of digital design tools used for creation of conceptual free-form styles at the phase of conceptualization and development, which is different from the general theory of free-from design. The free-from style in the modern architecture has begun with the changes in digital design tools and design concepts. In the case study based on the free-form designs in precedent studies, the morphological characteristics have been analyzed and interpreted by using the language of digital design tools, so that this study will suggest the techniques to realize the free-form style on the basis of geometric transformation by using the digital design tools, as well.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.5_6
• /
• pp.335-346
• /
• 2004

PtolemyII is an environment that supports heterogeneous modeling and design of concurrent systems such as embedded system. PtolemyII has several Domains which are physical rules to determine the way of communicating between components. PtolemyII has 11 domains such as PetriNet, Timed Multitasking, SR etc. Components of System can be specified using appropriate domains for their properties. Communicating Sequential Processes(CSP) is implemented as formally designed CSP domain, in PtolemyII. But CCS didn't be implemented as a domain. It is a kind of Process Algebra language which can be used for specifying and verifying concurrent systems formally. Thus, in this paper we implemented CCS domain. And that permitted developers using PtolemyII to use the same modeling pattern used in PtolemyII and to make system specifications in the base of the formal semantics of CCS. This caused the diversity of PtolemyII domains and the power of expression was improved. This paper will explain the structure of CCS domain implemented in PtolemyII and the way of implementing it.

• Archives of design research
• /
• v.14
• /
• pp.163-178
• /
• 1996

"Color" education aimed at cultivating creativeness and expressive techniques in the education of visual art, in the college of art and design, should be balanced with "form" education; nevertheless, the present situation at Korean universities is such that the overall environments of "color" education are far too inferior to those of "form" education.The problem is, among other things, that the curriculum of visual art education is centered around formal education; in addition, color education courses consist mostly of theoretical issues, not experimental, first-hand-experience-oriented activities that are best suited for the characteristics of the language of color as a visual language, thereby making it difficult to expect the efficiency of education.Particularly, it is a serious problem that the courses dealing with color are not offered in a step by step fashion, from the most elementary, to the intermediate, working up to the most advanced level. Another problem is that those people involved in color education seldom have an expertise in their area; furthermore, the educational environment, educational tools, and the content of the texbooks are far from being ideal.Moreover, it is a grim reality that most color theory courses that have been offered end up being a lecture of "general, basic" color theories, ignoring the students' diverse specialization areas.As a way of normalizing color education, rationalizing the curriculum and initiating the professorship exclusively teaching color education have to be introduced, so that we can increase the depth of color education and individualize the contents of color education according to the students' needs. It is believed that the introduction of the "color-education-only" professorship will greatly facilitate our effort to devise an efficient educational method, to determine the scope of individualized color education, and to improve the ovarial educational environment (such as facilities, instruments, and teaching materials) necessary for an in-depth education.ments, and teaching materials) necessary for an in-depth education.

• Asia pacific journal of information systems
• /
• v.19 no.2
• /
• pp.1-42
• /
• 2009

In a knowledge-based society, a firm's intellectual capital represents the wealth of ideas and ability to innovate, which are indispensable elements for the future growth. Therefore, the intellectual capital is evidently recognized as the most valuable asset in the organization. Considered as intangible asset, intellectual capital is the basis based on which firms can foster their sustainable competitive advantage. One of the essential components of the intellectual capital is a social capital, indicating the firm's individual members' ability to build a firm's social networks. As such, social capital is a powerful concept necessary for understanding the emergence, growth, and functioning of network linkages. The more social capital a firm is equipped with, the more successfully it can establish new social networks. By providing a shared context for social interactions, social capital facilitates the creation of new linkages in the organizational setting. This concept of "person-environment fit" has long been prevalent in the management literature. The fit is grounded in the interaction theory of behavior. The interaction perspective has a fairly long theoretical tradition, beginning with proposition that behavior is a function of the person and environment. This view asserts that neither personal characteristics nor the situation alone adequately explains the variance in behavioral and attitudinal variables. Instead, the interaction of personal and situational variables accounts for the greatest variance. Accordingly, the person-environment fit is defined as the degree of congruence or match between personal and situational variables in producing significant selected outcomes. In addition, information systems acceptance factors enable organizations to build large electronic communities with huge knowledge resources. For example, the Intranet helps to build knowledge-based communities, which in turn increases employee communication and collaboration. It is vital since through active communication and collaborative efforts can employees build common basis for shared understandings that evolve into stronger relationships embedded with trust. To this aim, the electronic communication network allows the formation of social network to be more viable to rapid mobilization and assimilation of knowledge assets in the organizations. The purpose of this study is to investigate: (1) the impact of person-environment fit(person-job fit, person-person fit, person-group fit, person-organization fit) on social capital(network ties, trust, norm, shared language); (2) the impact of information systems acceptance factors(availability, perceived usefulness, perceived ease of use) on social capital; (3) the impact of social capital on personal performance(work performance, work satisfaction); and (4) the mediating role of social capital between person-environment fit and personal performance. In general, social capital is defined as the aggregated actual or collective potential resources which lead to the possession of a durable network. The concept of social capital was originally developed by sociologists for their analysis in social context. Recently, it has become an increasingly popular jargon used in the management literature in describing organizational phenomena outside the realm of transaction costs. Since both environmental factors and information systems acceptance factors affect the network of employee's relationships, this study proposes that these two factors have significant influence on the social capital of employees. The person-environment fit basically refers to the alignment between characteristics of people and their environments, thereby resulting in positive outcomes for both individuals and organizations. In addition, the information systems acceptance factors have rather direct influences on the social network of employees. Based on such theoretical framework, namely person-environment fit and social capital theory, we develop our research model and hypotheses. The results of data analysis, based on 458 employee cases are as follow: Firstly, both person-environment fit(person-job fit, person-person fit, person-group fit, person-organization fit) and information systems acceptance factors(availability perceived usefulness, perceived ease of use) significantly influence social capital(network ties, norm, shared language). In addition, person-environment fit is a stronger factor influencing social capital than information systems acceptance factors. Secondly, social capital is a significant factor in both work satisfaction and work performance. Finally, social capital partly plays a mediating role between person-environment fit and personal performance. Our findings suggest that it is vital for firms to understand the importance of environmental factors affecting social capital of employees and accordingly identify the importance of information systems acceptance factors in building formal and informal relationships of employees. Firms also need to reflect their recognition of the importance of social capital's mediating role in boosting personal performance. Some limitations arisen in the course of the research and suggestions for future research directions are also discussed.