• Communications of Mathematical Education
• /
• v.29 no.1
• /
• pp.51-72
• /
• 2015

This study aimed to analyze the characteristic of undergraduate students' perception and preference for mathematics. For this purpose, I surveyed 124 undergraduate students' metaphorical expressions about mathematics. I classified the expressions as four categories: a positive form, a negative form, a mixed form, an undecidable form. I investigated the proportion and characteristic of the metaphorical expressions according to the above four categories. Also, I surveyed the students' preference and nonpreference moments for mathematics and categorized them into 6-cases: elementary school, middle school, high school, university, always, and none. In addition, I examined the students' preference and nonpreference reasons for mathematics and classified them according to the 5-factors: grade factor, affective factor, content factor, teacher factor, and other factors. The results of this study as follows: First, the 27% of university students expressed their metaphorical expressions for mathematics as a positive form, 42% as a negative form, and 27% as a mixed form. Also, the preference rate for mathematics was higher as their school years increase and the main reasons of preference were grade and affective factors. The result of nonpreference rate was also higher as their school year increased. Students said that the contents and grade factor were the main factors among the 5-factors.

• Journal of Internet Computing and Services
• /
• v.2 no.2
• /
• pp.71-93
• /
• 2001

Commonly to design a database system. a conceptual database has to be designed and then it is transformed into a logical database schema prior to building a target database system. This paper proposes a method which transforms a Temporal Entity-Relationship Model(TERM) into a Temporal Object-Oriented Model(TOOM) to build an efficient database schema. I formalize the time concept in view of object versioning and specify the constraints required during transformation procedure. The proposed transformation method contributes to getting the logical temporal data from the conceptual temporal events Without any loss of semantics, Compared to other approaches of supporting various properties, this approach is more general and efficient because it is the semantically seamless transformation method by using the orthogonality of types of objects, semantics of relationships and constraints over roles.

• Spatial Information Research
• /
• v.23 no.5
• /
• pp.31-40
• /
• 2015

The purpose of this paper is to propose a data transformation method for visualizing the statistical information based on the grid system which has regular shape and size. Grid is better solution than administrator boundary or census block to check the distribution of the statistical information and be able to use as a spatial unit on the map flexibly. On the other hand, we need the additional process to convert the various statistical information to grid if we use the current method which is areal interpolation. Therefore, this paper proposes the 3 steps to convert the various statistical information to grid. 1)Geocoding the statistical information, 2)Converting the spatial information through the defining the spatial relationship, 3)Attribute transformation considering the data scale measurement. This method applies to the population density of Seoul to convert to the grid. Especially, spatial autocorrelation is performed to check the consistency of grid display if the reference data is different for same statistic information. As a result, both distribution of grid are similar to each other when the population density data which is represented by census block and building is converted to grid. Through the result of implementation, it is demonstrated to be able to perform the consistent data conversion based on the proposed method.

• The Journal of the Convergence on Culture Technology
• /
• v.6 no.1
• /
• pp.381-388
• /
• 2020

This paper discusses English Hedges or Hedging Expressions on the basis of their morphosyntactic-pragramatic properties within the perspective of sociolinguistics. The term, 'Hedges' for the past decades since Lakoff(1973), has received little attention from the English grammar circles such as morphosyntax and the generative grammar theories. This paper presents a more comprehensive approach to the identification, distributions, functions, and the morphosyntactic properties of English Hedges. The earlier research on English Hedges in the 70's show that hedges are metalinguistic or mitadiscourse expressions which constitute a means for executing Politeness strategy in pragmatics. Nonetheless, research from the interface of syntactic-pragmatics has been scarce. This article suggests a more complex body of English hedges that have not been extensively discussed in the literature. Additionally, their configurational domain is to be proposed as part of the PolP with [±hedged] above CP⁺ (or CP beyond). The ramifications of the current study are suggested in terms of comparative linguistics, EFL/ESL studies of English for global communication, and pragmatics-sensitive machine translation studies in the forseeable future.

• Journal of the Korean Home Economics Association
• /
• v.38 no.12
• /
• pp.257-269
• /
• 2000

예술작품은 의상디자인에 영감 혹은 영향을 줌으로써 상업적 의상으로 재생산된다. 오늘날까지도 60년대의 많은 팝 아티스트 작품들이 그대로 T셔츠 등에 프린트되는 것을 쉽게 볼 수 있다. 이러한 직접적 영향에는 자주 맹목적 표절이라는 논란을 불러 일으켰으나 긍정적이든 부정적이든 예술작품과 의상 디자인은 20세기초부터 밀접한 관계를 가져왔다. Sonia Delaunay는 예술을 대중과 결합시키는 가장 좋은 방법은 의상을 통해서라고 생각하였다. 그녀는 "만일 예술작품을 생활 속에 들어가게 하려면 그건 여성들 자신이 입고 다니는 방법뿐이다". 라고 말하였다. 결국 이러한 예술의 대중화에 대한 이론은 60년대에 와서 팝 아트 패션의 출현으로 그 결실을 보게 된다. 상류층을 대상으로 한 의상이 대중화되는 과정에서 60년대 경제호황으로 인한 젊은이들의 소비자층 형성과 미술양식에서의 팝아트의 출현은 자연스러운 시대적 조류로 나타났다. 이러한 상황은 팝 아트가 이 시대의 미술 양식에 혁신적일 뿐 아니라, 사회 전반에 팝 아트의 특성(소비 문화적, 대중 문화적, 재현적, 통속적, 기계적, 획일적)을 유행시키고, 대중에게 순수 예술과 복식에 참여 할 수 있는 기회를 부여했다고 볼 수 있다. 따라서 본 연구에서는 가장 혁명적이고도 대중적이라고 할 수 있는 팝 아트 이미지의 작품 제작과 분석을 통하여 현재 논의되고 있는 전시회나 패션쇼에서만 볼 수 있다는 다소 아방가르드 적인 의상 작품들의 대중화 방안에 대한 해결책을 모색하고자 하였다. 실제 의상 디자인 창작에 초점을 맞추었으며, 제작을 위해서 팝 아트에서 주요 소재로 삼았고 대중적 이미지의 심볼이라고도 할 수 있는 Coca Cola label을 표현 모티브로 삼아 개성적이고도 독창적인 의상 디자인을 한 후 분석하였다. 또한 독특한 의상 표현의 개발을 위하여 표현 기법으로는 현대 미술에서 새로운 재료와 여러 가지 재료를 화면에 도입시키는 표현 방법으로서 사용된 콜라주 기법을 사용하였다. 본 연구를 통하여 의상 창작에 있어 조형예술과 연결하여 대중적인 이미지를 도입함으로써 착용자가 예술에 대한 친근하고 익숙한 느낌을 갖게 하며, 예술과 상품 그 자체에 대한 상업적 홍보 목적으로도 사용할 수 있으며, 대중적인 이미지를 표현함에 있어 콜라주 기법은 염색 기법을 사용하지 않고서도 작가가 원하는 표현 효과를 낼 수 있다는 측면을 발견할 수 있었다. 즉 사용된 대중적 상표 이미지는 주인에서 흔히 볼 수 있는 현대 도시의 인공적 환경들로, 의상을 독특하고 개성 있게 표현할 수 있는 모티브의 역할을 하면서 또한 그 예가 무한하여 다양한 디자인 창출의 가능성을 갖고 있으며, 의상을 통해 예술과 대중을 융합시켰다는 예술의 대중화, 민주화라는 중요한 역할을 하였다. 전시회나 패션쇼에서 만 볼 수 있는 예술적 성격을 띠는 아방가르드 작품의 대중 확산 방법으로 제시될 수 있는 이상적인 방법으로는 예술성이 짙은 도저히 입을 수 없다고 생각되어지는 아방가르드한 의상을 일반 대중 브랜드들이 단순한 모방이 아닌 새로운 패러디 작업으로 일반화시켜 상업성을 띤 의상으로 재조정되어 여성들의 몸에 걸치게 하는 것이다. 이와 같은 순환으로써, 조형예술 작품은 의상 디자인 참작에 영향, 영감을 주면서 여러 번의 형태 변화를 거치는 패러디를 통해 각 계층의 누구나가 좋아하고 접할 수 있는 또 다른 창조를 맞아 대중의 손까지 갈 수 있는 것이다.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.339-352
• /
• 2009

There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.

• Journal of Intelligence and Information Systems
• /
• v.14 no.1
• /
• pp.35-45
• /
• 2008

In order to constructan ubiquitous computing environment, it is necessary to develop a technology that can recognize users and circumstances. In this regard, the question of recognizing and expressing user Context regardless of computer and language types has emerged as an important task under the heterogeneous distributed processing system. As a means to solve this task of representing user Context in the ubiquitous environment, this paper proposes to describe user Context as the most similar form of human thinking by using semantic web and fuzzy concept independentof language and computer types. Because the conventional method of representing Context using an usual collection has some limitations in expressing the environment of the real world, this paper has chosen to use Fuzzy OWL language, a fusion of fuzzy concept and standard web ontology language OWL. Accordingly, this paper suggests the following method. First we represent user contacted environmental information with a numerical value and states, and describe it with OWL. After that we transform the converted OWL Context into Fuzzy OWL. As a last step, we prove whether the automatic circumstances are possible in this procedure when we use fuzzy inference engine FiRE. With use the suggested method in this paper, we can describe Context which can be used in the ubiquitous computing environment. This method is more effective in expressing degree and status of the Context due to using fuzzy concept. Moreover, on the basis of the stated Context we can also infer the user contacted status of the environment. It is also possible to enable this system to function automatically in compliance with the inferred state.

• Journal of KIISE:Software and Applications
• /
• v.28 no.3
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• The Journal of the Korea Contents Association
• /
• v.19 no.8
• /
• pp.641-652
• /
• 2019

The current study was conducted to examine the dual mediating effect of dysfunctional belief and ambivalence over emotional expressiveness in the relationship between the parents' psychological control scale perceived by university students and interpersonal problems. For that purpose, 305 4-year university students in G Metropolitan City and J Province were surveyed to rate the parents' psychological control scale, dysfunctional belief, ambivalence over emotional expressiveness, and interpersonal problems. The data were analyzed using SPSS 22.0 and SPSS Macro. As a result, it was found that dysfunctional belief and ambivalence over emotional expressiveness had a mediating effect in the relationship between the parents' psychological control scale and interpersonal problems. Also, dysfunctional belief and ambivalence over emotional expressiveness had a dual mediating effect on the relationship between psychological control scale and interpersonal problems. As a result of testing the significance of the mediating effect through Bootstrapping, dysfunctional belief and ambivalence over emotional expressiveness had a significant dual mediating effect. The purpose of the current study was to establish a useful theoretical foundation for counseling strategies to efficiently help through counseling the university students who are having difficulties with interpersonal relations due to parental control.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.3
• /
• pp.400-406
• /
• 2019

This study will explore the reenactment of visual special effects used in TV dramas. The subjects of the study are images that are reproduced in visual special effects through and . Accordingly, we looked at the changes in the way TV dramas were produced according to the times, and looked at the changes in the market. Also, we looked at cases of visual special effects of Korean dramas, and looked at expressions according to the degree of completion of visual special effects. For the purpose of the analysis of the research targets, the images of reproducibility and the flow through reality were analyzed. In the case of , the period setting is realistic, but visual special effects were used to maximize the actor's safety and expression, and in the case of , the visual effects were used to maximize the aesthetic of the period background. In addition, it can be seen that the visual special effects were used for the effect of PPL on the export of images. This shows that the emphasis of reality and image montage techniques are being used to pursue hyperrealism. It is now possible to actively express and use the beauty of TV dramas rather than technical limitations. In addition, the pursuit of realism can actively express the changing times of digital age. This is an active representation of the camera's angle, lighting, and perspective that coincides with the background. The environment of video production is crucial for realistic expressions. The study examined various visual directions and applications. In TV images, we looked at reproduction, which can make a natural period of time by combining. As a follow-up study, we are going to study the changes in the new quadratic image based on the present image representation.