• Title/Summary/Keyword: Formal Analysis

Search Result 1,112, Processing Time 0.028 seconds

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

  • Park, Eun-Jung;Ha, Byung-Hyun
    • The Journal of Society for e-Business Studies
    • /
    • v.18 no.2
    • /
    • pp.191-203
    • /
    • 2013
  • Today, information technologies have been applied to operations in container terminals, and it is possible to collect operational log data due to development of equipment and operations technology. Terminal operators are collecting event log data and try to figure out the way of resolving operations problems. Operators want to analyze event logs to determine the causes of the operation problems, but it can hardly be done manually. In this paper, we suggest a formal framework to evaluate performance measures using the collected log data of operations in container terminals. The proposed formal framework supports different container terminal layout, operational processes, and equipment. Our formal framework is composed of specification of terminal layout, log data, workflow, statistics, and report, based on the concept of container handling objects. For validation of our framework, we have implemented a terminal performance analysis system based on the proposed framework.

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

  • Kim, Chil-Soon;Lee, Shin-A
    • Journal of the Korean Society of Clothing and Textiles
    • /
    • v.33 no.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 (공간 프로세스 대수를 이용한 정형 명세와 분석에서의 시간속성의 시각화)

  • On, Jin-Ho;Choi, Jung-Rhan;Lee, Moon-Kun
    • 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.

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

  • 안경은;민찬송
    • Proceedings of the Korean Institute of Interior Design Conference
    • /
    • 1999.04a
    • /
    • 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 (신체 인식도 및 만족도에 따른 패션소재 선호도에 관한 연구)

  • 김증자;조지현
    • Journal of the Korea Fashion and Costume Design Association
    • /
    • v.1 no.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
    • English Language & Literature Teaching
    • /
    • v.17 no.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

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

  • Lee, Jong-Man
    • Journal of Internet Computing and Services
    • /
    • v.11 no.2
    • /
    • pp.155-164
    • /
    • 2010
  • The purpose of this paper is to propose critical success factors for effectively managing information systems(IS) outsourcing. The survey method was used for this paper, and data from a total 106 companies that were listed greater than $10 million were used for the analysis. To analyze the data, structural equation model was used. The results of this empirical study is summarized as follows. First, both formal control based on contract and informal control based on trust have a positive effect on control level which is a determinant indicator of IS outsourcing performance. Second, management capability such as preparedness capability and relationship capability have a positive effect on formal and informal control mechanism. The findings have important implications for the role of trust and management capability in formal management control.

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

  • Kahng HeWon;Lee Joo Hyeon
    • Journal of the Korean Society of Clothing and Textiles
    • /
    • v.14 no.1 s.33
    • /
    • 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

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

  • Kim Hyun-Seok;Kim Il-Gon;Oh Jung-Hyun;Choi Jin-Young
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11a
    • /
    • pp.91-93
    • /
    • 2005
  • 무선주파수 식별자(RFID: Radio Frequency Identification)의 연구에 있어 보안에 관한 부분은 학계 및 개발자들에게 중요한 부분이다. 특히 기술적인 이슈인 개체인중을 통한 데이터의 보안은 아직도 신뢰성을 얻지 못하고 있다. 본 논문에서는 RFID 기반 네트워크 시스템의 취약성을 분석하고 정형적 방법론의 적용사례를 통해 적용가능성을 타진해 보고자 한다.

  • PDF

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

  • 박은주;이은영
    • Journal of the Korean Society of Clothing and Textiles
    • /
    • v.19 no.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