• Archives of design research
• /
• v.17 no.2
• /
• pp.43-54
• /
• 2004

The appreciation of cultural properties related with what the aspects of society was is mandatory to understand our culture correctly. To make over all cultural properties to our descendants without breakage or damage is our natural duty and national obligation. On the contrary, inhabitants in the preserved area should be restricted and controlled by the cultural property law. The conflict between the inhabitants in the preserved area and the government raises economical problems and damages all the time. Especially it is time to discuss to mediate between them and solve the problems. This feasible study is a proposal to settle them up through renovating abolished school in the preserve area to the museum and a case to preserve the cultual properties as well as habitant's assets in that area.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.6
• /
• pp.1522-1536
• /
• 1998

In this paper, we present a modeling method for the real-time systems. This method is based on the DARTS (Design Approach for Real-Time Systems) and widely extended to analysis phase. The DARTS method provides a good guideline for the real -time software design, but it uses structured analysis and does not provide a specification language. So. this paper provides extended DARTS modeling techniques to the analysis area based on the objects. Internal behavior of system showed by means of a NPN (Numerical Petri Net) for analysis, and the specification language is provided based on the temporal logic for transition synchronization sequence control. By the example, we identified the proposed method was applied well. And through the reachability graph, we verified whether the deadlocks may occur or not in the analysis phase before the design phase. Thus. it gives easy way to analysis, so that it will lead to the design phase naturally.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.10
• /
• pp.1509-1516
• /
• 2022

This paper presents a method to generate a model of the code implementation for UML state diagrams. First, it promotes the states of a state machine into objects, and then it structures the behavior model on the mechanism of a state diagram based on State design pattern. Then, it establishes the rules of generating the code implementation, and using the rules, the Java code mode is generated for the implementations of State Diagrams in Java syntax grammar. In addition, Structuring the information of the code model is necessary for generating Java code automatically. The meta information is composed of Meta-Class Model and Meta-Behavior Model, on which we could construct the automatic code generating engine for UML State Diagrams. The implementation model generation method presented in this paper could be used as a stand-alone engine, or included and integrated as a module in the UML tools.

• Archives of design research
• /
• v.14
• /
• pp.121-138
• /
• 1996

The purpose of this study is to develop a new architectural language and design strategies that would anticipate and incorporate new historical situations and new paradigms to understand the world. It consists of four sections as follows: First, it presents a new interpretation of space, human body, and movement that we find in modern art and tries to combine that new artistic insight with environmental design to provide a theoretical basis for performance-event architecture. Second, it conceives of architectural environment as a combination of space, movement, and probabilistic situations rather than a mere conglomeration of material. It also perceives the environment as a stage for performance and the act of designing as a performance. Third, in this context, man is conceived of as an organic system that responds to, interacts with, and adapts himself to his environment through self-regulation. By the same token, architecture should be a dynamic system that undergoes a constant transformation in its attempt to accommodate human actions and behaviors as he copes with the contemporary philosophy characterized by the principle of uncertainty, fast-changing society, and the new developments in technology. Fourth, the relativistic and organic view-point that constitutes the background for all this is radically different from the causalistic and mechanistic view that characterized the forms and functions of modernistic design. The present study places a great emphases on dematerialistic conception of environment and puts forth a disprogramming method that would accommodate interchangeability in the passage of time and the intertextuality of form and function. In the event, performance-event architecture is a strategy based on the systems world-view that would enable the recovery of man's autonomy and the reconception of his environment as an object of art.

• Journal of Science and Technology Studies
• /
• v.18 no.2
• /
• pp.135-179
• /
• 2018

How do robots interact with the elderly? In this paper, we analyze the contexts of interaction between robots and the elderly and the role of mediators in initiating, facilitating, and maintaining the interaction. We do not attempt to evaluate the robot's performance or measure the impact of robots on the elderly. Instead, we focus on the circumstances and contexts within which a robot is situated as it interacts with the elderly. Our premise is that the success of human-robot interaction does not depend solely on the robot's technical capability, but also on the pre-arranged settings and local contingencies at the site of interaction. We select three television shows that feature robots for the elderly and one "dementia-prevention" robot in a regional healthcare center as our sites for observing robot-elderly interaction: "Grandma's Robot"(tvN), "Co-existence Experiment''(JTBC), "Future Diary"(MBC), and the Silbot class in Suwon. By analyzing verbal and non-verbal interactions between the elderly and the robots in these programs, we point out that in most cases the robots and the elderly do not meet one-to-one; the interaction is usually mediated by an actor who is not an old person. These mediators are not temporary or secondary components in the robot-elderly interaction; they play a key role in the relationship by arranging the first meeting, triggering initial interactions, and carefully observing unfolding interactions. At critical moments, the mediators prevent the interaction from falling apart by intervening verbally or physically. Based on our observation of the robot-elderly interaction, we argue that we can better understand and evaluate the human-robot interaction in general by paying attention to the existence and role of the mediators. We suggest that researchers in human-robot interaction should expand their analytical focus from one-to-one interactions between humans and robots to human-robot-human interactions in diverse real-world situations.

• (The)Study of the Eastern Classic
• /
• no.72
• /
• pp.217-264
• /
• 2018

The purpose of this research is to understand the view on people(百姓) and Lee Won-ik(李元翼)'s view on politics, comparing with Seonjo(宣祖)'s view on them. They as political actors sufficiently cognized the condition of life of people had been very desperate. Seonjo had approached from politics to the life of people, while Lee from the life of people to politics. The former has the precariousness of transformation and instrumentalisation of the life of people. The latter has the possibility of the life of people to lead the politics. Lee's stance was on the latter aspect. He had tried to conceive the people as they are, in other words as reality, not as they should be, in other words as idea. He refrained the elucidation of people from confining it within dichotomy structure of ruling-ruled. He had tried to conceive the organic relationship between people and other existences within community. He did not give knowledge-centered question of what is the life of people, but gave situation-phenomenon-centered question of how people has been living. This approach eulciates Lee's focus on the problems of Gongyi(工役), military service(軍役), Labour service(?役), the reduction and exemption of the tax, and the appointment of provincial officer(守令). As for Lee Won-ik, the best form of life of people is to make people have mind to deserve to live, to economize their power(寬民力), to make them savor their life(樂民生), and to make their life easy(安民).

• Archives of design research
• /
• v.15 no.4
• /
• pp.307-316
• /
• 2002

Metaphor thinking is a kind of intuitive thinking and plays a central role in design process. But there are not many researches on this topic because it happens in designer's mind during design problem solving. In this paper, we considered cognitive aspects of metaphorical thinking as they cropped up in the process of design concepts development. As a method of cognitive experiment we used a protocol analysis of the design review reports. At the end of this research we concluded that metaphorical thinking is engaged in restructuring of new frames and reconciliation of conflicting frames for the development of new design ideas and concepts. This role of metaphorical thinking makes the design thinking divergent and the design process creative.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.123-130
• /
• 2007

In this paper, We define convert rules from objects and relation presented in object model to the state and operation domain in formal specification. Namely, object and relation in information model converted to state domain in formal specification. State, event and behavior converted to operation domain. And that way informal object model change to formal language, it can be verify through formal method. Verification process make an offer convenience and confidence in software development early phase. And we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04a
• /
• pp.193-196
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템에 대한 재/역공학 측면에서의 개발 및 검증을 위한 코드 변환기를 설계한다. ATM은 모드(mede), 전이(transition), 포트(per)로 구성되는데, 순공학 과정에서 실시간 시스템을 설계, 명세 하는 기존의 정형기법과는 달리 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. ATM은 기존 정형기법이 순공학 과정에서의 특정 물리적 환경에서 실행되는 동적행위에 대한 부적절한 표현에 대해 순환공학에서 실시간 시스템의 속성은 물론 특정 환경과 동적 정보 등을 명세하기 위한 정형 기법으로서, 본 논문에서는 DoME을 이용하여 ATM 명세도구를 개발하고 이를 이용하여 실시간 시스템의 특정 요구사항을 위한 ATM을 명세한다. 또한 해당 ATM을 DOME/ATM 스크립트 파일로 저장하고 이에 대한 명세분석을 통해 노드와 관련된 정보를 추출하여 다른 분석도구가 이용할 수 있도록 DB에 저장하거나 매개 언어인 SRL/ATM으로 변환하며, 이러한 SRL/ATM으로부터 실행코드에 대한 관련 정보를 추출하여 실시간 시스템 개발 및 검증을 위한 Ada 코드를 생성할 수 있는 코드 변환기를 설계한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.20 no.5
• /
• pp.125-132
• /
• 2010

Web browser is essential application for using internet. If suspect use a web browser for crime, evidence related crime is stored in log file. Therefore, we obtain the useful information related crime as investigating web browser log file. In this paper, we look at the related work and tools for web browser log file. And we introduce analysis methodology of web browser log file focus on the digital forensics. In addition, we apply to our tool at real case.