• The KIPS Transactions:PartA
• /
• v.12A no.7 s.97
• /
• pp.563-570
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Cod sign Environment) allows to express both data flow and control flow. To formally verify an fFSM specification which expresses control flow in PeaCE, the step semantics of the model was defined. In this paper, we introduce the automatic verification tool developed by formal semantics of previous work. This tool uses the SMV as inner model checker md, through our tool, users can formally verify some important bugs such as race condition, ambiguous transition, and circulartransition without directly writing logical formulae.

• Journal of the Society of Naval Architects of Korea
• /
• v.36 no.1
• /
• pp.1-14
• /
• 1999

The simulation results of a small racing boat racing in steady wind and encountering waves are investigated by Nakato & Ha. The simulation of the race running is realized by referring the measured data of boats and the motions are described by a set of equations of motion in six degree of freedom as generals used in the aerodynamics. In this report, Nakato & Ha's motion equations are modified by equipping the flaps to generate the lift. The flaps of the racing boat could restrain considerably the boat from capsizing caused by superposed external disturbances, wind and encountering waves.

• Journal of the Korean Home Economics Association
• /
• v.42 no.5
• /
• pp.27-37
• /
• 2004

This study was initiated for the purpose of improving the visual effect of lingerie design, and it focused on the image factors and their characteristics of the lingerie design. Images of 105 lingerie design were evaluated by 3-5 images/participant with each image being evaluated 15 times through the SD method 5-scale questionnaire. The lingerie design elements were also analyzed by a committee. For data analysis, SPSS 10.0 program was used, and the principal component analysis, Ward-cluster, K-mean cluster analysis, ANOVA, duncan-test were conducted. The results are as follows: 1) The three major characteristics of the visual images in the lingerie design were aesthetics, dignity, and youth, which were supported 76.78% by the responses. 2) The visual image types can be categorized into four clusters; a dignified style, a sprightly style, a practical style, and a sexual style. 3) The design elements that allowed different design characteristics among the image types were style(one-piece/two-piece), total length, waist fit, matching color, silky lustrous, see-through on waist, hip, race percentages. 4) The ABC(apparel-body-construct) observed that a practical style was perceived as flat and whole rather than a dignified style or a sprightly style, while a sexual style was seen as round and partial.

• Journal of Preventive Medicine and Public Health
• /
• v.48 no.2
• /
• pp.111-117
• /
• 2015

Objectives: While epidemiologic research indicates that the prevalence of risk-taking behaviors including cigarette smoking among young people with asthma is substantial, the longitudinal patterns of cigarette smoking in this vulnerable population have received little attention. The aim of this study was to evaluate differences in the longitudinal trajectories of cigarette use behaviors from adolescence to adulthood between young people with and without asthma. Methods: Data from the National Longitudinal Study of Adolescent to Adult Health (Add Health) during the years 1994 to 1995 (Wave I, adolescence), 2001 to 2002 (Wave III, young adulthood), and 2007 to 2008 (Wave IV, adulthood) were analyzed (n=12 244). Latent growth curve models were used to examine the longitudinal trajectories of cigarette use behaviors during the transition to adulthood according to asthma status. Results: Regardless of asthma status, the trajectory means of cigarette use behaviors were found to increase, and then slightly decrease from adolescence to adulthood. In total participants, there were no statistically significant differences in initial levels and changes in cigarette use behaviors according to asthma status. However, in select sex and race subgroups (i.e., females and non-whites), former asthmatics showed greater escalation in cigarette use behaviors than did non-asthmatics or current asthmatics. Conclusions: This study indicated that the changing patterns of cigarette use behaviors during the transition to adulthood among young people with asthma are comparable to or even more drastic than those among young people without asthma.

• Journal of Preventive Medicine and Public Health
• /
• v.41 no.3
• /
• pp.200-207
• /
• 2008

Objectives : This study examined whether serious psychological distress (SPD) is associated with occupational injury among US employees. Methods : The employed population aged 18-64 years was examined (n=101,855) using data from the National Health Interview Survey (NHIS) 2000-2003. SPD was measured using the Kessler 6-item Psychological Distress Scale (K-6), a screening scale designed to identify persons with serious mental illness. The predicted marginal prevalence of psychological distress and occupational injury with the adjusted odds ratio were estimated using multiple logistic regression analyses. Results : The age-adjusted 3-month prevalence of occupational injury was $0.80{\pm}0.12%$ in workers with SPD, which was 37% greater than in workers without SPD ($0.58{\pm}0.03%$). The odds of occupational injury in workers with SPD were higher compared to workers without SPD (OR=1.34, 95% CI=0.93-1.92), after controlling for sex, age, race, education, occupation, and activity limitation by at least one medical condition. Male, service and blue collar occupation, and activity limiation by co-morbidity showed significantly higher odds of occupational injury for workers with SPD. Conclusions : The findings suggest that SPD accounts for an increased likelihood of occupational injury among US employees. A further longitudinal study is needed to differentiate the mechanism or causal pathways linking individual injury risk at the workplace, SPD, and socioeconomic factors.

• Molecules and Cells
• /
• v.22 no.1
• /
• pp.58-64
• /
• 2006

WRKY family proteins are a class of plant-specific transcription factors involved in stress response signaling pathways. In this study a gene encoding a putative WRKY protein was isolated from a pepper EST database (http://genepool.kribb.re.kr). The cDNA, named Capsicum annuum WRKY2 (CaWRKY2), encodes a putative polypeptide of 548 amino acids, containing two WRKY domains with zinc finger motifs and two potential nuclear localization signals. Northern blot analyses showed that CaWRKY2 mRNA was preferentially induced during incompatible interactions of pepper plants with PMMoV, Pseudomonas syringae pv. syringae 61, and Xanthomonas axonopodis pv. vesicatoria race 3. Furthermore, CaWRKY2 transcripts were strongly induced by wounding and ethephon treatment, whereas only moderate expression was detected following treatment with salicylic acid and jasmonic acid. CaWRKY2 was translocated to the nucleus when a CaWRKY2-smGFP fusion construct was expressed in onion epidermal cells. CaWRKY2 also had transcriptional activation activity in yeast. Taken together our data suggest that CaWRKY2 is a pathogen-inducible transcription factor that may have a role in early defense responses to biotic and abiotic stresses.

• The Research Journal of the Costume Culture
• /
• v.26 no.3
• /
• pp.471-484
• /
• 2018

This study selected fashion brands claiming to advocate feminism to analyze their characteristics and female images. For the study's data, online foreign feminist fashion brands were sifted from March 2017 to January 2018 and 28 clothing brands were selected. The study's results show that feminist fashion brands aim at the demassification and individualization of fashion products to be more inclusive of individuals' physical characteristics and diversity. Additionally, feminist brands entice consumption through communication and participation in online communities and through the value of social coexistence. The essential female image produced by feminist fashion brands deconstructs a socially idealized female image and expresses a sense of self-body positivity. In turn, the concept of self-body positivity is communicated through natural images of independent women with distinct identities based on differences in race, culture, and sexual orientation. Moreover, feminist fashion brands produce social images featuring independent women using active wear to engage in social activities. Casual wear is also used to reflect active women, while mannish looks and power suits express women's social status and professional abilities. Ultimately, these offer functionally active and rational images, combined with female images featuring long hair and makeup. Yet another type of female image seeks to create a new vision of women as diverse due to their various cultures, countries of origin, races, and individual tastes. These new images express women's physical differences, distinct identities, and diversity while simultaneously deconstructing pre-existing forms of clothing.

• Journal of Fashion Business
• /
• v.18 no.5
• /
• pp.171-183
• /
• 2014

In general, the idea of fun is understood to be associated with interesting things, playfulnesses, joy, pleasure, etc. The "fun culture," which seeks enjoyment and pleasure through life, is a characteristic of elements observed in today's society and culture. This exerts a powerful impacts on the business operation, marketing, and product manufacturing. Moreover, it is accepted as one of remarkable phenomena representing the changing trends of fashion in the 21st century. The objectives of this study were to analyze and categorize the fun motifs observed in fashion designer Walter Van Beirendonck 's collections, to examine their formative characteristics, and to establish academic approaches and analytic framework in studying the fun phenomenon emerging in fashion. As to research methods, this study laid a theoretical ground by reviewing the related literature and previous studies, and conducted a positive case study using the data on Walter Van Beirendonck's collections and exhibitions. According to the results of this study, the fun motifs represented in Walter Van Beirendonck's collections are largely categorized into "deviation from rules," "humorous and obscene graphic images," "introduction and transformation of heterogeneous elements," "women with male gender' etc. On the other side of Walter Van Beirendonck's fashion are sex, sexual humors, sexuality, fetishism, love, form, body, language, social phenomena, harmony between nature and life, consumerism, race, shamanism, tribal rituals, nation, cultural collision, transcendent things, science fictions, cyber Space, dream, alien, future, fairytale, fantasy etc. which are expressed by using fun motifs. Moreover, these themes are led to masculinity and fantasy.

• Journal of the Korean Society of Food Culture
• /
• v.30 no.6
• /
• pp.736-749
• /
• 2015

The present study addresses the tea utensils and tea drinking methods seen in tomb mural paintings of Song, Liao, Jin, and Yuan, which were Koryo's foreign exchange countries. The paintings illustrate the pointing tea method, which was popular during dynasty times. Tea utensils observed in the paintings include a tea mill, mill stone, and tea pestle necessary for making cake tea into powder. The tea stove and boiling bottle are depicted as being required to boil water. Some mural works vividly depict how a tea drinker pours hot water from a boiling bottle into a cup with a stand, mixes it with a tea spoon, and whisks tea powder for foaming with a tea whisk. The tea drinking method of the Southern race Han is also similarly described in the tomb mural paintings of Liao, Jin, and Yuan from Northern nomads. The distribution of tea culture had an enormous influence on the development of tea utensil manufacturing methods. The significance of this study is that these findings can be used as basic data to provide food culture insights into Koryo celadon tea utensils.

• Journal of Information Science Theory and Practice
• /
• v.8 no.1
• /
• pp.68-78
• /
• 2020

This study attempted to uncover the characteristics of health information non-seekers among the United States foreign-born population and identify potential predictors of their non-seeking behavior. The trends of foreign-born health information nonseekers over the past twelve years were also examined. Statistical analysis was conducted with two sets of Health Information National Trends Survey (HINTS) data: HINTS 2 (2005) and HINTS 5 Cycle 1 (2017) datasets. It was found that foreign-born nonseekers differ from foreign-born seekers in terms of a variety of variables including education, income, English proficiency, the uses of Internet and social media, ownership of digital devices, ownership of health insurance, perceived health status, and level of trust in health information sources. Among them, education, Internet use, and trust in online health information were identified as predictors of the foreign-born population's non-seeking of health information. In addition, three variables - race/ethnicity, age, and place of accessing the Internet - which were significant factors in the 2005 dataset, were no longer significant in the 2017 dataset, implying the possible influence of smartphones that reduces Internet accessibility gaps among different racial/ethnic and age groups.