• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권9호
• /
• pp.604-609
• /
• 2015

하드웨어가 많이 발전하면서 안전성 확보가 필요한 실시간 임베디드 시스템에도 가상화 기술이 적용되고 있는 추세다. 그러나 가상화 기술 적용 시, 스케줄러가 여럿 존재하게 되고, 이 스케줄러들 사이에 계층이 존재하게 되어 스케줄링 중 오류가 발생할 수 있는 단점이 있다. 임베디드 시스템의 제어 소프트웨어 같은 경우, 작은 문제로도 인명적, 재산적 피해가 클 수 있어 반드시 안전성 확보 여부를 검증해야 한다. 실시간 임베디드 시스템에 스케줄러가 계층적으로 존재하는 경우, 안전성 확보를 위해 반드시 스케줄링 가능성을 확인해야 한다. 본 논문은 여러 수준의 계층적 스케줄링 시스템을 정형기법(formal methods)을 사용하여 스케줄링 가능성을 확인할 수 있는 프레임워크를 소개한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권12호
• /
• pp.4849-4865
• /
• 2020

The traditional roles of leaders are to influence members and motivate them to achieve shared goals in organizations. However, leaders such as top managers and chief executive officers, in practice, do not always directly meet or influence other company members. In fact, they tend to have the greatest impact on their members through formal speeches, company procedures, and the like. As such, official speech is directly related to the motivation of company employees. In an official speech, not only the contents of the speech, but also the voice characteristics of the speaker have an important influence on listeners, as the different vocal characteristics of a person can have different effects on the listener. Therefore, according to the voice characteristics of a leader, the cognition of the members may change, and, the degree to which the members are influenced and motivated will be different. This study identifies how members may perceive a speech differently according to the different voice characteristics of leaders in formal speeches. Further, different perceptions about voices will influence members' cognition of the leader, for example, in how trustworthy they appear. The study analyzed recorded speeches of leaders, and extracted features of their speaking style through digital speech signal analysis. Then, parameters were extracted and analyzed by the time domain, frequency domain, and spectrogram domain methods. We also analyzed the parameters for use in Natural Language Processing. We investigated which leader's voice characteristics had more influence on members or were more effective on them. A person's voice characteristics can be changed. Therefore, leaders who seek to influence members in formal speeches should have effective voice characteristics to motivate followers.

• 건축역사연구
• /
• 제15권2호
• /
• pp.7-22
• /
• 2006

The Industrial Revolution brought a variety of new forms of structure, and as a group they are usually called 'industrial architecture'. Steam engines contributed greatly to architecture with a unique structure called 'water tower' to provide water for steam engines, especially the adoption of it. This study is to examine the changes of the building materials and architectural features of the water towers of railway stations built in the early twentieth century in South Korea. This study also attempts to describe the modern features of the industrial architecture, which did not get a chance to be noticed. Through this examination on water tower, which is a part of industrial architecture with sheer integration of function and pure geometric form, we would like to find the meaning of modern architecture in Korea. As we can see in the Korean oldest railway station water tower constructed in masonry at Yeonsan Station in 1911, early water towers were divided into the masonry machine room and the steel water tank. However, the masonry structure was soon turned into concrete structure with its formal features maintained as it was. The steel water tank was also replaced with concrete structure. As a result, while its basic structure remained, concrete structure had substituted for the every components of water tower. Concrete-built water towers were the high-tech architecture of that time and the most perfect structures built in concrete. Nevertheless, the perfection of the water tower form and the technology it attained were not transferred to other modern and contemporary architecture in South Korea. Since the subject to railway station water towers was the Japanese government, and steam engines were replaced with diesels in the midst of a complicated domestic situation after the independence, the need for water towers in railway stations disappeared and therefore, it became ignored and was difficult to look over the architectural features and values of early railway station water towers.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제60권2호
• /
• pp.209-228
• /
• 2021

본 연구의 목적은 수학과 교육과정에 기반한 평가 문항을 출제할 때 핵심적으로 고려되는 수학 역량 및 표현 형식 특성을 규명하고, 수학과 평가 문항에서 수학 역량 및 표현 형식 특성이 나타나는 양상을 밝히는 것이다. 선행 연구 분석 및 2차에 걸친 타당성 조사를 통해, 수학과 교육과정에 기반한 평가 문항의 특성으로 수학 역량 범주는 12가지, 표현 형식 범주는 8가지를 추출하고, 이 특성들로 구성된 문항 특성 분석틀을 개발하였다. 또한 문항 특성 분석틀을 활용하여 2019년 국가수준 학업성취도 평가 문항을 분석한 결과, 중 고등학교의 수학 역량 및 표현 형식 특성에 대한 출제 경향에 차이가 있음을 밝혔다.

• 복식
• /
• 제55권7호
• /
• pp.76-88
• /
• 2005

The aim of this study is to define the concept of the matchless, and its social and cultural origins. I shall also define the different types of Matchless style, the respective characteristics of each style, and the distinguishing features of this style in domestic street fashion. In order to do this, 1 have referred to several published studies and a number of Web-sites of Korean fashion information companies for my research. The results of this study are the following; 1. The concept of matchless is a positive way of self-expression by coordination, created by consumers who attach great importance to their image and to developing their individual style. Also, this concept constitutes a new approach to code which reanalyzes existing styles with a new sensitivity. 2. The social & cultural origins of matchless are the expansion of fear of war and terror, and economic depression, the extension of the 5-day workweek, interest in 'Well-being', and the phenomena of cultural diversity. 3. The types of Matchless are Style Matchless, Theme Matchless, Texture Matchless, Season Matchless, and Complex-Layered Matchless. 4. The distinguishing features of Matchless in street fashion are the distinction of formal & Casual wear's Matchless, the creation of a new Look in Sports & Casual wear's Matchless, the development of a new coordinated, layered look, the immense popularity of Denim, the new fashionable versions of Military style, and the renaissance of the Romantic Feminine Look.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권12호
• /
• pp.4987-5014
• /
• 2015

The bilinear pairing, also known as Weil pairing or Tate pairing, is widely used in cryptography and its properties help to construct cryptographic schemes for different applications in which the security of the transmitted data is a major concern. In remote login authentication schemes, there are two major requirements: i) proving the identity of a user and the server for legitimacy without exposing their private keys and ii) freedom for a user to choose and change his password (private key) efficiently. Most of the existing methods based on the bilinear property have some security breaches due to the lack of features and the design issues. In this paper, we develop a new scheme using the bilinear property of an elliptic point and the biometric characteristics. Our method provides many features along with three major goals. a) Checking the correctness of the password before sending the authentication message, which prevents the wastage of communication cost; b) Efficient password change phase in which the user is asked to give a new password after checking the correctness of the current password without involving the server; c) User anonymity - enforcing the suitability of our scheme for applications in which a user does not want to disclose his identity. We use BAN logic to ensure the mutual authentication and session key agreement properties. The paper provides informal security analysis to illustrate that our scheme resists all the security attacks. Furthermore, we use the AVISPA tool for formal security verification of our scheme.

• 패션비즈니스
• /
• 제7권4호
• /
• pp.105-120
• /
• 2003

Culture and society exist in the present, but they came from the past. So did clothing. As dressing is deeply based on culture pattern of the times, it is affected by various culture patterns and still keeps developing in modern times. This study is intended to examine the features of retro fashion on culture and dressing of the 19th century. The features of retro fashion on Neoclassical and Romantic culture and dressing are objection to the existing pattern, recursion to the past, and creativity characteristic of pattern of those days. Neoclassicism arose as it rejected Baroque and Rococo style, and imitated culture and artistic pattern of Greece and Rome. Romanticism objected to formal and universal pattern of Neoclassicism, and imitated Gothic style while recognizing historical facts and studying medieval times. Dressing in Neoclassicism did not accept exaggerated and luxurious Rococo pattern, and imitated simple, soft and straight silhouette of Greece and Rome and created its unique Empire Style. Romanticism imitated luxurious style of Renaissance, the Middle Ages, Baroque, and Rococo, different from simple and straight neoclassical style during the Bourbon restoration, and created its unique style. Thus, it is shown that retro fashion on Neoclassical and Romantic culture and dressing reflect the style of those days.

• International Journal of Computer Science & Network Security
• /
• 제22권12호
• /
• pp.13-18
• /
• 2022

In the post-information era, most of technologies have a visual part, or at least some functions related to visualization. It is also one of the popular means of presenting materials in education area. However, despite its popularity, the impact of visualization on the effectiveness of learning still remains controversial. Even more controversial is its usefulness in developing creativity, which is one of the most important skills for today's employee. The authors considered the use of visualization as a tool for the development of children's creativity on the example of learning video games, in particular, ClassCraft to distinguish features that, from the point of view of psychology, may lead to developing creativity even being not useful for educational purposes. It is concluded that video games useful for learning may have features, that are inappropriate in formal educational context, but important to develop creative thinking.

• 영어어문교육
• /
• 제9권2호
• /
• pp.133-149
• /
• 2003

As the world becomes a global village, national conferences become more frequent, and the language of choice to mediate the exchange of information is English. Accordingly, the purpose of this research is to find several methods to prepare L2 students for English communication at conferences. Various studies about discourse markers can be found in this study. Discourse markers are indicators of fluency in spoken language, and indicators of improvement from features of spoken English to more typical forms of formal writing. In this study the presentation styles of native speakers and Asian non-native speakers are compared, and the difference between efficient and non-efficient speakers at conferences are discussed. As a study of conference English teaching and learning method, this research targets suggestion and application of discourse markers for L2 speakers. As a result, the fact that discourse markers are very important in effective writing and conference English is found and accordingly we can see that developing the ability to use discourse markers in writing and speaking are essential for L2 speakers.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제14권3호
• /
• pp.233-247
• /
• 2010

The article deals with the perceptions of Mathematics as a language of pre-service teachers of Mathematics in a College of Education in Israel. The formal language of studying in the College of Education is Hebrew. The goals of the study were to examine the perceptions of pre-service teachers on the following issues: the language components involved in learning Mathematics, the basic cognitive skills required for learning Mathematics, and the perception of Mathematics as a language (PML). Findings indicated that due to new attitudes in mathematical training, pre-service teachers of Mathematics perceived Mathematics as a language regarding all language components.