• Title/Summary/Keyword: formal analysis

Search Result 1,112, Processing Time 0.028 seconds

Comparative analysis on uniform designs of female flight attendant among low cost carriers in South Korea and Asian region (한국과 아시아 지역 저가 항공사 여승무원의 유니폼 디자인 비교 분석)

  • Kim, Sun Young
    • The Research Journal of the Costume Culture
    • /
    • v.23 no.2
    • /
    • pp.176-192
    • /
    • 2015
  • This work aims at analyzing the comparative feature about female flight attendant uniform designs of Korean and Asian region low cost carriers and providing some basic materials for development of these airline companies. As a research method, examinations were carried out on attendant's uniform both theoretically and empirically. Comparison of uniforms was made among the five Korean carriers and ten typical Asian carriers for empirical research. Results showed the followings. First, all Korean low cost carriers were characterized as formal style except Jin Air. Unlike this, Asian low cost carriers appeared as diverse including formal, semi formal, and casual styles with a uniquely differentiated image. Second, all carriers applied their own symbolic color to their uniform. Third, logo or symbol was adopted as a pattern on scarf in the two Korean companies but it didn't take effect practically. For those Asian carriers, embroidery was used on jacket, jumper and collar. They utilized even a merchandising character to put emphasis on airline image. Fourth, diverse petty items with a decorative effect were used in the case of Korean low cost carriers. In the changing period of uniform, nothing much was changed and remained almost the same as before. Those in the Asian region were characterized with the smallest number of items and the preclusion of decorative add-ons on uniform.

Fit Satisfaction of Formal Jackets in Apparel Product Websites - Focus on Plus-sized Women in Their 20s' and 30' -

  • Ha, Hee-Jung
    • The International Journal of Costume Culture
    • /
    • v.12 no.1
    • /
    • pp.71-84
    • /
    • 2009
  • For fit satisfaction evaluation, the subjects were asked to put on the jackets from the seven manufacturers in random order, view how the jackets fit in a full-body mirror and answer questions regarding fitting in 22 specific areas, including the neck, shoulders, waist, hips and arms, as well as eight questions related to maneuverability. The surveys and evaluations were conducted between October 2007 and November 2008, and the compiled data were analyzed using the SPSS 14.0 statistics program. The One-way analysis of variance was performed to comparatively analyze the differences among the products from the seven manufacturers. Post-hoc tests were performed based on Duncan's test for the criteria that displayed significant differences. The results were summarized as follows. Fit evaluations were performed for the size 88 formal jackets from the seven manufacturers. All items, except the center front line, displayed significant differences at p<0.05 or higher among the manufacturers. The age group 20-39 felt that the main problems were in the shoulder, armscye, upper arm, waist, abdomen and hip areas. Modifying the shoulder area, armscye depth and hip areas severely compromises the jacket's balance, and attention to these areas must be given developed pattern design.

  • PDF

Analysis of Developing Methodology on the Security Software by Comparing Function for Security Protocol Code Generation Tools (정형명세 기법을 이용한 보안 프로토콜 코드 생성 도구의 보안 소프트웨어 개발 분석)

  • Jang Seung-Ju;Ryu Dae-hyun;Lee Chul-Sool;Park Il-Hwan
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.14 no.6
    • /
    • pp.47-56
    • /
    • 2004
  • Automatic code generating function for security protocol of SPEAR II and IFAD VDM-SL Toolbox supporting formal specification is presented in this paper. Among the functions of these tools we compare and analyze the aspects of functions, users, operation and code generation. And we suggest direction to the developing of safe security S/W. The automatic code generating function for security protocol gives the direction for developing of the safe secure software in formal specification method.

Formal Methodology for Safety Analysis of Security Protocols (보안 프로토콜의 안전성 분석을 위한 정형적 방법론)

  • Kim Il-Gon;Jeon Chul-Wuk;Kim Hyun-Seok;Choi Jin-Young;Kang In-Hye
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.15 no.1
    • /
    • pp.17-27
    • /
    • 2005
  • With the development of wire and wireless based networks, a various security protocols have been proposed to protect important resources and user information against attackers. However, many security protocols have found oかy to be later vulnerable to attacks. In this Paper, we introduce the formal methodology to verify the safety of security protocols in the design phase, and we take advantage of the formal methodology which uses Casper/CSP and FDR tools by introducing the verification example of EKE protocol and BCY protocol. Lastly, we propose a new BCY protocol after verifying it's safety.

Mobilizing Informal Economic Sector to Uphold Urban Institutional Resilience: A Case Study of Rawalpindi, Pakistan

  • RIAZ, Tayyaba;WAHEED, Abdul;ALVI, Shahzad
    • The Journal of Asian Finance, Economics and Business
    • /
    • v.9 no.5
    • /
    • pp.397-407
    • /
    • 2022
  • The informal economy is a large part of the urban economy. The informal economy accounts for about half of Pakistan's GDP. This research examined nine different areas of Rawalpindi's Central Business District's business sector (CBD). A survey of 404 respondents from 16 CBD marketplaces enables a comprehensive examination of who works in the informal and formal economic sectors, how much they earn, their goals, perception of their job, and their degree of similarity to the rest of the working population. Furthermore, the statistics illustrate the pro-cyclical connections between the informal economic sector and the formal economy. The Multinomial Logistic Regression (MLR) technique is used for the analysis. The MLR results indicated the informal economic sector holds positive relation with earning members in a family, business expertise, average business sale, and negative relation with education level, satisfaction with government tax policies, household expense, and average investment in the business. From a resilience standpoint, governance is considered an intentional collective action to preserve a stable system condition. Hence, the current study recommends tax reforms and government institution reorganization to mobilize the informal sector and make effective institutional governance.

A Study on Teaching Competence and Attitudes of School Nurses for Health Education (학교보건수업에 대한 양호교사의 태도 및 교수능력의 인식도에 관한 조사연구 -서울시 중학교 양호교사를 중심으로-)

  • Kim, Jae Hee
    • Journal of the Korean Society of School Health
    • /
    • v.10 no.1
    • /
    • pp.41-50
    • /
    • 1997
  • The purpose of this study is to provide fundamental data supporting facilitation of a formal health education performed by school nurses as health educators. To evaluate the teacher expertise of school nurses as health educators, this study analyzed the present status of health education and the recognition of self-confidence in teaching ability of school nurses. Self addressing questionnaire were mailed out to 340 secondary school nurses in Seoul and out of them 244 nurses (71.8%) responded to the survey. Analysis of the data was made using t-test and ANOVA in SAS program. The major results are as follows : 1. The total health instruction performance rate was 84.6% (204). Regular health instruction was carried out by 66 nurses and the rest of the 155 subjects gave irregular instruction on health education. 2. Regular health education classes was offered as a part of physical education class hour by 89.4% of the respondents whereas only 10.6% of them had formal health education classes. The survey showed that irregular health education classes were mainly held in physical education class hours (70.3%) and 14.8% had opportunities for additional classes on health education. 3. The average class for regular health education was 5 hours per week but for irregular health education classes were only one hour per semester (32.9%). 4. Among the 11 categories of health education, education on drug abuse and body structure and function and physical development occupied 95.6%, 69.6% respectably while physical training, family health, social health occupied 10.8%, 12.7%. 5. Health education was given much more at public schools (88.2%) than at private schools. 6. 232 (95.0%) school nurses agreed with the necessity of formalizing health education classes and 227 (93.1%) wanted to change their status from school nurses to formal health teachers. 7. There is a tendency to change the status from school nurse to formal health teacher, and the necessity of having a formal curriculum on health education while less recognized by the older and longer-careered nurses was more recognized by those nurses with higher education. 8. The lack of administrative support (79.5%), work burden (77.9%), and lack of teaching competency (22.1%) were the greatest problems. 9. Education on drug abuse was stressed the most whereas physical training was most neglected. 10. There is a tendency that older and longer-careered school nurses thought less positively of their status, and then 98 (81.1%) school nurses acknowledged themselves as professional teachers. 11. 176 (72.5%) school nurses agreed with the necessity of continuing education : health knowledge and teaching skills for formal health teachers. 12. 179 (73.8%) school nurses had a positive attitude and undergraduate preparation and the practice of professional health teachers. 13. The school nurses had self-confidence in their teaching competence, teaching strategies and knowledge in all 11 health education areas.

  • PDF

Assessment of the uncertainty in the SWAT parameters based on formal and informal likelihood measure (정형·비정형 우도에 의한 SWAT 매개변수의 불확실성 평가)

  • Seong, Yeon Jeong;Lee, Sang Hyup;Jung, Younghun
    • Journal of Korea Water Resources Association
    • /
    • v.52 no.11
    • /
    • pp.931-940
    • /
    • 2019
  • In hydrologic models, parameters are mainly used to reflect hydrologic elements or to supplement the simplified models. In this process, the proper selection of the parameters in the model can reduce the uncertainty. Accordingly, this study attempted to quantify the uncertainty of SWAT parameters using the General Likelihood Uncertainty Estimation (GLUE). Uncertainty analysis on SWAT parameters was conducted by using the formal and informal likelihood measures. The Lognormal function and Nash-Sutcliffe Efficiency (NSE) were used for formal and informal likelihood, respectively. Subjective factors are included in the selection of the likelihood function and the threshold, but the behavioral models were created by selecting top 30% lognormal for formal likelihood and NSE above 0.5 for informal likelihood. Despite the subjectivity in the selection of the likelihood and the threshold, there was a small difference between the formal and informal likelihoods. In addition, among the SWAT parameters, ALPHA_BF which reflects baseflow characteristics is the most sensitive. Based on this study, if the range of SWAT model parameters satisfying a certain threshold for each watershed is classified, it is expected that users will have more practical or academic access to the SWAT model.

The Name spectrum of domestic menswear brands (국내 남성복 브랜드의 네임스펙트럼)

  • Kwon, Hae-Sook
    • Journal of Fashion Business
    • /
    • v.15 no.1
    • /
    • pp.92-102
    • /
    • 2011
  • The purpose of this research is to study the types of name spectrum and their characteristics of domestic men's wear brands focusing on formal and casual wear and also examine the differences based on the type of brands' product and brand style. Total 184 of men's wear brands, which were consisted of 66 formal wear brands and 84 casual wear brands, were selected from '2009 Korea Fashion Yearbook'. For data analysis, quantitatively evaluated the frequency and qualitatively evaluated the image of brand product and the meaning of brand name. The result as follows; 1. The domestic fashion brands for men's wear appeared to have four types of name spectrum. The descriptive name was the most frequently showed, and followed by arbitrary, suggestive, and coined name. For formal wear brands, four types of name spectrum were appeared in the order of descriptive, suggestive, coined, and arbitrary name. In casual wear brands, three types of name spectrum were appeared in the order of descriptive, arbitrary, and suggestive name. 2. The characteristics of men's brand name according to their name spectrum was as follows.; In the descriptive brand names, person's name was used the most and some ascribed the characteristics, feature or geographic location of the product. The suggestive brand names contained images and symbols of the product and also implied the relevant benefit information in a particular product context. In the arbitrary brand name, they imply the various meanings according to the product and are made up of either coined or natural. For the coined name, some bear the ideology or symbolized the characteristics of product itself. 3. The descriptive name spectrum showed the most in domestic menswear brands, regardless of the brand type. Except this, there were differences in the type and the frequency of name spectrum depending on the brand type.

The Desired Self-Images and the Fashion Product Unities of Male College Students according to Situation (남자대학생의 의복 착용상황별 추구이미지와 패션상품통일체)

  • Bae Hye-Jin;Chung Ihn-Hee
    • Journal of the Korean Society of Clothing and Textiles
    • /
    • v.30 no.7 s.155
    • /
    • pp.1135-1145
    • /
    • 2006
  • The purpose of this study was to identify the desired seIf-images of male college students according to situations, and to construct fashion product unities bought by male college students for different situations. Empirical data were collected by self-administered questionnaires distributed to male students at 4 universities and 2 colleges in Daegu and Gyeongbuk area during June 2005, and 346 were analyzed, eliminating incomplete ones. Subjects were required to respond to 32 desired image words in 4 different situations respectively: school, meeting girlfriends, ceremonies, and exercises. As a result of factor analysis on desired self-image words, 5 factors were determined: refined image, sporty image, classic image, natural image and simple image. Based on the desired self-image factors, male college students were classified into 3 groups: selective image management group, passive image management group, and active Image management group. Fashion product unity of male college students for the school setting was consisted of round shirts, jeans, running shoes, bags and watches. Aloha shirts/knitted shirts/V-neck shirts, cotton pants/jeans/semi -formal pants, formal shoes/running shoes and watches were the fashion product unity for the setting of meeting girlfriends. For the setting of ceremonies, the fashion product unity included Y-shirts, formal dress, formal shoes, neckties and watches. And for the setting of exercises, the fashion product unity included cotton shirts, training suits, running shoes/jogging shoes/basketball shoes, armguard and caps.

A Proposal for Component Formal Specification Activities Using Z (Z를 이용한 컴포넌트 정형 명세 활동의 제안)

  • 장종표;이상준;김병기
    • The KIPS Transactions:PartD
    • /
    • v.8D no.1
    • /
    • pp.99-104
    • /
    • 2001
  • As a plan to counteract solving software crisis, the technology that is called Component Based Software Engineering (CBSE or Componentware) is introsuced. Component Based Software Developement (CBSD) Processes as one of the technique among CBSE have been proposed. Component specification activities among CBSD Processed are necessary and important for generating feusable component. However, the existing CBSD processed can't ensure the correctness in requirements are reflected. In this paper, we propose that formal activities wgich specify component using formal specification language Z which is verified with the ability of analysis and logicality. The proposed activities are composed of 5 tasks and 12 subtasks. By presenting specific 19 products, it is also proposed that component specification activities which are the base of CBSD for reusing. The proposed activities are able to improve qualities of component through correctness and verification of requirements specification of users in the early step of component-based software process.

  • PDF