• 정보처리학회논문지D
• /
• 제11D권4호
• /
• pp.855-864
• /
• 2004

정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을 수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 이 논문에서는 정형적 명세를 이용하여 테스트 데이터를 추출하는 방법을 제안한다. 복잡하고 구성요소가 다양한 웹 어플리케이션의 기능을 Object-Z 정형 명세언어를 이용하여 핵심적으로 나타낸다. 정형 명세에서부터 상태모델을 구성하고 최상위 레벨의 STD에서 세부적으로 STD를 추가하여 테스트 시나리오를 추출하였다. 실험 대상은 보안과 정확성을 요하는 웹 뱅킹 시스템으로 정하고 계좌이체 과정의 테스트 데이터를 추출하였다. 제안한 방법은 사용기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요한 요소가 될 것이다.

• 의료ㆍ복지 건축 : 한국의료복지건축학회 논문집
• /
• 제27권3호
• /
• pp.7-16
• /
• 2021

Purpose: This study identified the planning trends for formal and informal learning spaces in the college of medicine through literature reviews. And then, by the analysis of the actual condition of existing domestic facilities, It was organized the architectural planning baseline data and future directions for the formal and informal learning spaces in the college of medicine. Methods: This study was conducted using literature reviews on the existing medical education method and learning space planning. Subsequently on-site surveys and questionnaires were conducted at existing facilities. Results: In the past, learning space of the college of medicine was considered only a formal learning space such lecture rooms, labs. But lately it has been turned into a total learning concept that embraces shared learning spaces such as libraries, student spaces, amenities and common spaces such as lobbies and hallways. ① Formal learning spaces are composed of teaching and practice areas. Since It is the basic functions that comprise the college of medicine, this paper conducted a functional analysis based on the current operating system of the College of Medicine and provided baseline data on architectural planning such as function, layout, zoning, and detailed planning. ② The informal learning sharing space was divided into a library area and a student well-being and convenience area to analyze the real conditions of domestic medical college. In addition, by comparing the trends and differences in foreign medical colleges identified by literature analysis, this paper summarizes the need to revitalize informal learning spaces and their integration into formal learning spaces, architectural planning considerations, etc. Implications: the evolution of the learning method and the flexibility of the learning space bring about changes in the learning space.

• 한국전문물리치료학회지
• /
• 제28권3호
• /
• pp.186-193
• /
• 2021

Background: While the formal test has been used to provide a quantitative measurement of core stability, studies have reported inconsistent results regarding its test-retest and intraobserver reliabilities. Furthermore, the validity of the formal test has never been established. Objects: This study aimed to establish the concurrent validity and test-retest reliability of the formal test. Methods: Twenty-two young adults with and without core instability (23.1 ± 2.0 years) were recruited. Concurrent validity was determined by comparing the muscle thickness changes of the external oblique, internal oblique, and transverse abdominal muscle to changes in core stability pressure during the formal test using ultrasound (US) imaging and pressure biofeedback, respectively. For the test-retest reliability, muscle thickness and pressure changes were repeatedly measured approximately 24 hours apart. Electromyography (EMG) was used to monitor trunk muscle activity during the formal test. Results: The Pearson's correlation analysis showed an excellent correlation between transverse abdominal thickness and pressure biofeedback unit (PBU) pressure as well as internal oblique thickness and PBU pressure, ranging from r = 0.856-0.980, p < 0.05. The test-retest reliability was good, intraclass correlation coefficient (ICC1,2) = 0.876 for the core stability pressure measure and ICC1,2 = 0.939 to 0.989 for the abdominal muscle thickness measure. Conclusion: Our results provide clinical evidence that the formal test is valid and reliable, when concurrently incorporated into EMG and US measurements.

• 한국초등수학교육학회지
• /
• 제10권2호
• /
• pp.221-242
• /
• 2006

자연수의 나눗셈에 관해 초등학생이 가진 비형식적 지식을 조사하고 그 결과를 학교에서 지도하는 형식적 지식과 연계하여 의미 있는 시사점을 찾고자 하였다. 이러한 목적을 달성하기 위해 자연수의 나눗셈과 관련하여 형식적 지식을 배우지 않은 학생이 가진 비형식적 지식은 무엇이고, 문제를 해결하는 과정에서 형식적 지식을 학습한 학생과 형식적 지식을 학습하지 쟈은 학생의 사고 전략의 차이를 분석하였다. 이를 위해 1, 2, 3학년 학생을 대상으로 질적 연구를 하여 다음과 같은 결론을 얻었다. 첫째, 자연수의 나눗셈에 관한 초등학생의 비형식적 지식은 구체물에 의한 전략에서부터 사칙연산에 이르기까지 다양하다. 둘째, 형식적 지식을 학습한 학생은 형식적 지식에 문제 해결방법이 한정되어 있어 다양한 전략을 사용하지 못한다. 셋째, 나눗셈 지도가 전혀 이루어지지 않은 1, 2학년 학생이 스스로 비형식적 지식을 사용하여 문제를 해결할 수 있다는 것은 알고리즘의 습득이 문제 해결의 전제조건이 아니라는 것을 보여 준다. 넷째, 수학적 지식을 가르칠 때. 비형식적 지식과 연계하여 형식적 지식을 가르칠 필요가 있다. 다섯째, 수학과의 연산 영역에서도 알고리즘에 치중한 지도가 아닌, 다양한 전략의 지도가 필요하다.

• 한국의류학회지
• /
• 제34권10호
• /
• pp.1581-1595
• /
• 2010

This paper investigates the regional characteristics of street fashion in China. Yanji, Beijing, Shanghai were chosen as three different cities in terms of location, weather, population, and industrial structure. A total of 592 pictures were collected through an internet and fashion magazine search for street fashion in Beijing and Shanghai in addition photos were taken for those in Yanji. Pictures of each city were classified into groups based on overall images covering top, bottom, and accessories to identify the characteristics of style in each group. The classification process included 2 stages. In the first stage, it produced 2 groups: formal and casual. The second stage divided formal into business formal and retro formal; casual was divided into II sub-groups that were easy, sporty, feminine, sexy, ethnic, girlish, nippon, trendy, bulky, military, and mixed. Easy casual showed the highest frequency for 3 cities and military style showed the lowest. Shanghai showed higher frequency in sporty, trendy, and military style than other cities. Each style exposed the similarities and differences in the cities that reflected different regional characteristics.

• 한국의류학회지
• /
• 제26권6호
• /
• pp.843-852
• /
• 2002

The purpose of this study was to propose a computer-based grading method for men's formal wear according to the sizing systems based on the size and dimension whereby manufactured men's formal wear can be classified. The following procedures were as follows : 1) We surveyed the sizing systems and the computer-grading methods that have been used and presently practiced by the domestic garment industry of the ready-made men's wear. 2) Using the survey data of the domestic men's ready-made clothing industry and that of the National Anthropometric Survey of Korea in 1997, we proposed the new sizing and grading systems of men's formal wear within the framework of the Korean Garment Industry's directions and the data of the domestic men's ready-made clothing industry. 3) The suitability of the new grading systems to the domestic garment industry were put to a wearing teat. The findings were as follows : 1) Survey of the domestic ready-made garment industry showed that each company classified its own manufactured goods according to its own sizing and grading systems. 2) The superiority of the grading system was been demonstrated by a high approval rate of the subjects who participated in the testing.

• 한국가구학회지
• /
• 제21권2호
• /
• pp.144-156
• /
• 2010

Since late 1960s, we have had the discourse about the way of succession of korean traditional architectural heritage. Through 60s and 70s, the formal mimesis and transformation was pretty much dominated in domestic design currents. After 80s, we could see a kind of different ways of design to deal with traditions in architectural practices. These methodology can be summarized as spatiality, abstraction and diversity. These discourses acted as bases for aesthetic and formal stream which might be needed to present the formal possibilities for various commercial needs. Especially, the interior design field utilized those ideas in order to show korean identity for the commercial needs such as korean restaurant, korean bar, or korean costume shop. Interior designers positively adapted the ideas from architectural discourse and created their own vocabulary after 90s. Before 90s, interior designers did very representational mimesis to express korean identity designing commercial facilities. However from mid 90s they could establish new tendencies in expressing korean traditional moods. These tendencies are a focus on spatial relationship, abstraction and materiality, utilization of traditional objects and lighting method.

• 한국실내디자인학회:학술대회논문집
• /
• 한국실내디자인학회 2007년도 춘계학술대회 논문집
• /
• pp.222-226
• /
• 2007

Buildings form interior space when part of an external environment is limited by a physical surface. And, the interior space forms an appearance of building when space-defining elements, such as floor, wall, and roof. An appearance or a form of building has a lot of meanings depending on the physical and psychological conditions, as well as symbolism. Especially, the prevailing meaning of form in the modern age was, "Form follows function," was quite different from the meaning of form in the architectural era of Louis I. Kahn, who asserted "Form always supercedes function," when functional modernism was still existed even after some 50 years later. Existing studies on Louis I. Kahn usually analyzed his architectural terminology and philosophical concepts of Centrality, Light, Order, Form, and Design; or they were focused on an overall plane and the principle of composition. The purposes of this study are: (1) to investigate how the formal composition characteristics of building are expressed on skylights; and (2) to demonstrate that the formal composition characteristics of skylights plays an important role in constructing a whole structure of building in relation with other architectural elements.

• 한국실내디자인학회논문집
• /
• 제13권5호
• /
• pp.74-81
• /
• 2004

The three basic elements of human life -clothing, food and shelter- had been evolved through different periods and cultural realms, as their spatial applications show distinct characteristics that are manifested through sensibilities only inherent to its specific culture. Especially in the interior spaces, possibilities to approach them in three-dimensional aspects allow formal characteristics to be expressed that are distinct to the country. Formal sensibilities embedded in interior space In Korea also follows such pattern, developed through various contemporary interpretations of Korean traditional formal sensibilities, including harmony with nature, simplicity, lightness, real and fake, and principle of harmony are being redefined by spatially expressed in contemporary language. That is, traditional formal sensibilitiesare filtered through various application methods such as composition, negotiation and modification, accommodating spatial manifestations to be not simply preserved nor replicated, but rather reconstructed through metaphor, symbol, abstraction and contrast. From this perspective, the Korean traditional formal sensibilitiesis not a notion fixed in the past, but a distinct perspectives evolving throughout periods of time that are constantly reconsidered and reinterpreted in our interior space. By examining Korean sensibilities manifested in interior space in the both diachronic aspects of tradition vs. contemporary, as well as synchronic aspects among various disciplines simultaneously, we would be able to generate a linkage to the dichotomous categories of tradition and contemporary.

• 혜화의학회지
• /
• 제19권1호
• /
• pp.75-86
• /
• 2010

These days, traditional and complementary/alternative medicine (TM/CAM) becomes more upsurging topics of increasing importance and the use and popularity of TM/CAM is rapidly expanding, Since the tradition and situation on TM/CAM of each country is quite different, the concept and system of TM/CAM expressed by different countries shows the variety of range. Some countries recognize TM/CAM as one part of two branches of medical science and have integrated into national health care system. In these countries, education systems for TM/CAM are also well organized formal education systems, such as the Republic of Korea, DPR Korea, China (including Hong Kong and Macao), and Viet Nam. However, other countries in Asia and the Pacific. still do not have formal and/or informal education system and do not recognize TM/CAM as a kind of health care systems. This paper reviews the current situation of education and training on TM/CAM in the Asia and the Pacific. As a result, fifteen countries (31.3%) of 48 member countries in Asia and the Pacific have formal education systems for TM/CAM, twelve countries (25.0%) do not have formal education system and twenty one countries (43.7%) do not have available information. At least six countries are allocating the curriculum of medical school to the education of both allopathic and traditional medicine. For the proper use and development of TM/CAM, the development of formal education system as well as the integration into the national health care system are needed.