• 제목/요약/키워드: formal analysis

검색결과 1,111건 처리시간 0.032초

컨테이너 터미널 운영 분석을 위한 형식 프레임워크 (A Formal Framework for Analyzing Performance of Container Terminal Operations)

  • 박은정;하병현
    • 한국전자거래학회지
    • /
    • 제18권2호
    • /
    • pp.191-203
    • /
    • 2013
  • 정보 기술이 적용된 장비 및 운영 시스템의 발달로 실시간 운영 데이터를 수집할 수 있게 되었으며, 현재 많은 터미널이 생산성 분석을 위해 상세한 작업이력을 추적하고 있다. 터미널 운영자는 수집된 작업이력 데이터를 통해 운영 중 발생하는 문제점들을 해결할 수 있는 방안을 도출하기 원하지만, 방대한 양의 자료를 수작업으로 분석하기는 쉽지 않다. 본 연구에서는 터미널 운영 중 획득된 작업이력을 바탕으로 터미널 운영자가 원하는 컨테이너 터미널의 성능지표를 손쉽게 도출하기 위한 방안을 제시한다. 이를 위해 다양한 컨테이너 터미널의 환경과 운영 방식, 운영 장비 등을 지원하기 위해 범용적으로 사용될 수 있는 형식 프레임워크(formal framework)를 고안하였다. 본 연구에서 제안하는 프레임워크는 컨테이너 처리 객체라는 개념을 기반으로 터미널 형태, 로그 데이터, 장비의 워크플로우, 통계 처리 및 보고서를 각각 정의하는 사용자 명세 부분으로 구성된다. 그리고 제안된 프레임워크를 기반으로 터미널 성능 분석 시스템을 개발하여 그 유효성을 검증하였다.

20-49세를 대상으로 성별에 따른 남성복 디자인에 관한 선호도 분석 (Analysis of Preference to Men's Apparel Design by Gender toward Consumers Aged 20-49)

  • 김칠순;이신아
    • 한국의류학회지
    • /
    • 제33권2호
    • /
    • pp.276-287
    • /
    • 2009
  • Apparel professionals need to understand the customer to effectively develop, select, and promote apparel products. Analysis of consumer preferences can help in the creative design process. Therefore the purpose of this study was to identify consumer preference by gender in two segmented group; $20{\sim}34$ aged group and $35{\sim}49$ aged group toward men's apparel consumers, considering target customers and female influences on men's wear purchasing. We used questionnaires that were distributed to 600 males and females aged in their 20s to 40s, using stratified sampling method. Only 547 reliable questionnaires were selected for statistical analysis. Chi-Square and t-test were used to analyze the data, using SPSS program. We obtained the following results: 1. We found that there was a significant association between segmented age group and the preference of men's jacket style. Specially $20{\sim}34$ aged group had a significant association with styles of formal jacket, casual t-shirts, casual pants, but $35{\sim}49$ aged group had formal pants style. Looking at the general percentage, semi-formal jacket, slim fit t shirt, straight casual pants were the most favored styles. 2. Age has an significant effect on the preferences of formal menswear fabric patterns and shirt patterns. The results of t-test showed that there found to be significant by gender in character and check pattern of shirts. 3. In design details, the number of button had not significance by gender, and 2 buttons was th most favored by both age groups. The number of gather at the waist had an significant association in $34{\sim}49$ age group. $20{\sim}34$ age group prefer high waist of pants, while $35{\sim}49$ age group prefer low waist of pants. 4. For on time outfit, formal wear and tie ensemble was the most favored with significant difference by age and gender. Formal wear and no tie ensemble favored by about one third of respondents, and more favored by the younger group. For off time outfit, casual jacket and casual pants ensemble was the most favored.

공간 프로세스 대수를 이용한 정형 명세와 분석에서의 시간속성의 시각화 (Visual Representation of Temporal Properties in Formal Specification and Analysis using a Spatial Process Algebra)

  • 온진호;최정란;이문근
    • 정보처리학회논문지D
    • /
    • 제16D권3호
    • /
    • pp.339-352
    • /
    • 2009
  • 유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.

전통주거공간 분석을 통한 한국형 아파트 개발에 관한 연구 (A Study on developing Korean Style Apartment House through Analysis of Traditional Residences)

  • 안경은;민찬송
    • 한국실내디자인학회:학술대회논문집
    • /
    • 한국실내디자인학회 1999년도 춘계학술발표대회 논문집
    • /
    • pp.126-132
    • /
    • 1999
  • The purpose of this study is to advance apartment houses in quality as a residence through revitalization of tradition and the procedures are as follows: The first procedure is theoretical contemplation. The second procedure is analysis of the traditional residential space that gives a starting point of introspection of it without cease at the stage of formal following or pattern application in revitalizing tradition in the apartment houses. And the third procedure is to select and suggest aspects applicable to developing Korean style apartment houses. The suggest is embodied by a plane figure of 55 pyong type apartment house after selecting the concrete development aspects with approaches such as arrangement and interior space analysis, behavior analysis and space division and design analysis. This study has its meaning in that it suggests a possibility of various approaches other than formal following or pattern application in revitalizing tradition in a new Korean type apartment house, that it gives another selection to diversifying consumers' patterns and that it helps recognize and develop our tradition in this age of cultural nationalism.

  • PDF

신체 인식도 및 만족도에 따른 패션소재 선호도에 관한 연구 (A Study on the Preference of Fashion Materials according to the Degree of Consciousness and Satisfaction of Body Cathexis)

  • 김증자;조지현
    • 한국의상디자인학회지
    • /
    • 제1권1호
    • /
    • pp.127-139
    • /
    • 1999
  • The purpose of this study was to understand the preference of fashion materials according to the degree of consciousness and satisfaction of body. A survey was conducted using the randomly selected 439 woman students in the twenties. The consciousness variable had three levels which were lean, medium, and obese shape for each whole, upper and lower body with self-consciousness. Also, satisfaction variable had three levels which were satisfying, average, and unsatisfying group. We analyzed the data using analysis of correlation, crosstabulation analysis, and analysis of variance including Duncan multiple test. The results were as follows: 1) There was the positive correlation between height, leg, and arm length, and each variable, and the negative correlation between back, hip, thigh, waist, lower leg, ankle, and upper arm, and each variable. Also, we could observe the pattern that the larger the head or the more the weight was, the lower the satisfaction of body was. 2) There were no strong correlation between breast and hand size and each variable. From the crossed classification, we could observe the trend that the smaller the breast was, the lower the satisfaction of body was. 3) There were the strong correlation between whole and upper body in consciousness degree and between whole and lower body in satisfaction. 4) The consciousness of the whole body was shown lean shape 23.4%. medium shape 49.2%, and obese shape 27.2%. For the satisfaction degree of the whole body, satisfaction was shown 6.8%, average 41.7% and unsatisfaction 51.4%, so the satisfaction group is very small. 5) From the analysis for the consciousness degree of the whole body, the preferred fashion materials were polyester and acetate in casual wear, linen, polyester, acryl, T/W, and polyurethan in formal wear, and cotton, nylon, TIC, and T/W in sports wear. There was significant difference in casual wear, formal wear, and sports wear, but, not in underwear and accessories among he consciousness groups. 6) From the analysis for the satisfaction degree of the whole body, the preferred fashion materials were linen, silk, and acetate in casual wear, cotton in underwear, polyurethane in formal wear, and nylon in sports wear. There was the significant difference in casual wear, underwear, formal wear and sports wear, but, not in accessories among the satisfaction groups.

  • PDF

Use of Reading Aloud Method in a Formal College-Level English Reading Classroom

  • Jeon, Jongmin
    • 영어어문교육
    • /
    • 제17권3호
    • /
    • pp.57-71
    • /
    • 2011
  • The purpose of this study is to investigate the possibility of the use of reading aloud as a way of teaching English reading in a formal college-level English reading classroom. The study tried to examine the effects of reading aloud on the development of English reading ability in terms of comprehension and speed and the students' perceptions of the use of reading aloud in an English reading classroom. The participants of the study were 36 third year students at a college. The results of the cloze test and reading speed test showed that reading aloud had a positive effect on the improvement of English reading ability. The students received higher scores in the cloze test after the course and read a text faster than before the course. The analysis of the course evaluation questionnaire indicated that the students in the study showed positive attitudes toward the use of reading aloud in an English reading classroom. Most of the students reported that reading aloud was an effective way of improving their English reading comprehension and speed. However, the students were not fully satisfied with the reading materials used in the study. The results of the present study indicated that reading aloud may be incorporated into a formal English reading classroom effectively.

  • PDF

공식적, 비공식적 통제 결합이 정보시스템 아웃소싱 결과에 미치는 영향:IT 거버넌스 관점 (Effects of Formal and Informal Control Combination on Information Systems Outsourcing Consequence: Based on IT Governance Perspectives)

  • 이종만
    • 인터넷정보학회논문지
    • /
    • 제11권2호
    • /
    • pp.155-164
    • /
    • 2010
  • 본 논문의 목적은 정보시스템 아웃소싱을 효과적으로 관리하기 위해서 필요한 주요성공요인들을 제안하는 것이다. 이를 위하여 설문조사 방법을 이용하였고, 분석용 데이터는 연매출 100억이상 기업을 대상으로 수집한 총 106개의 설문지를 사용하였다. 분석결과, 첫째, 계약을 바탕으로 한 공식적 통제 메커니즘과 신뢰를 중심으로 한 비공식적 통제 메커니즘은 모두 정보시스템 아웃소싱 성과의 결정요인인 통제수준에 유의미한 영향을 미치는 것으로 나타났다. 둘째, 준비능력, 관계능력 등 관리능력은 공식적 비공식적 통제 메커니즘의 영향요인으로 나타났다. 본 연구의 결과는 공식적인 관리통제에 있어서 신뢰와 관리능력의 역할을 제시했다는 점에서 의미가 있다.

사회적 상호작용에서의 의복의 의미 ( I ) - 한복을 중심으로 - (Meaning of Clothing in Social Contexts: Emphasis on Korean Clothing, Study I)

  • 강혜원;이주현
    • 한국의류학회지
    • /
    • 제14권1호
    • /
    • pp.31-43
    • /
    • 1990
  • This research studied the first impression of a stranger in various styles of Korean or Western attire in several socially interacting contexts. The semantic differential scale was used to analyze the responses of IHO male and 180 female university students to line drawings of male and female figures in Korean or Western formal and informal attire in campus, office, and ambiguous contexts. The data were analyzed by factor analysis, one-way ANOVA, and Duncan's test. Six factors emerged to account for dimensions of first impressions. These were evaluation, potency, prestige and formality, conformity, likableness, and conspicuousness. Clothing styles had a larger effect on responses than context. Persons in traditional Korean styles were perceived as more prestigious, formal, individualistic, and less competent than those in Western styles. Conversely persons in both formal and informal Western styles were perceived as more attractive and more competent than those in traditional Korean styles. Persons in casual Western styles were considered least prestigious and least formal. A weak interaction effect was found between clothing style and social context.

  • PDF

RFID 네트워크 보안분석을 위한 정형적 방법론 (Formal Methodology for Analysis of the Network Security on REID)

  • 김현석;김일곤;오정현;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
    • /
    • pp.91-93
    • /
    • 2005
  • 무선주파수 식별자(RFID: Radio Frequency Identification)의 연구에 있어 보안에 관한 부분은 학계 및 개발자들에게 중요한 부분이다. 특히 기술적인 이슈인 개체인중을 통한 데이터의 보안은 아직도 신뢰성을 얻지 못하고 있다. 본 논문에서는 RFID 기반 네트워크 시스템의 취약성을 분석하고 정형적 방법론의 적용사례를 통해 적용가능성을 타진해 보고자 한다.

  • PDF

의복착용상황의 유형에 관한 연구 (A Typology of Apparel Usage Situations Among Female Consumers)

  • 박은주;이은영
    • 한국의류학회지
    • /
    • 제19권5호
    • /
    • pp.713-722
    • /
    • 1995
  • The purpose of the study is to investigate the types of apparel usage situations percieved by female consumers. Data (N=132) were collected via a questionnaire developed on the focused stoup interviews and previous studies. By multidimensional scaling (MDS) analysis, two dimensions of perceptual criteria on apparel usage situations are identified: formality, and normative aspects of apparel style. Results indicate that apparel usage situations perceived by female consumers can be classified into four major types: (1) Formal-Normative Situations, (2) Informal-Normative Situations, (3) Informal-Normless Situations, and (4) Formal-Normless Situations.

  • PDF