• Journal of Information Processing Systems
• /
• v.15 no.3
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• Korean Institute of Interior Design Journal
• /
• v.27 no.2
• /
• pp.118-127
• /
• 2018

To complete the appropriate pattern language as a planning tool for suburban houses in Korea, this study reviews the characteristics in applying the pattern language to suburban houses in Korea by creating the pattern application examination chart regarding 110 patterns in architecture and evaluating and analyzing 24 examples in terms of the applicability of the patterns, the results of which are as set forth below. Firstly, when grouping the upper 31 patterns by similar characteristics, it was distinguished by the characteristics relating to (i) securing of lighting and viewing; (ii) placing of buildings and space and adjustment of inside and outside privacy through such placing; (iii) placing of proper motion line and functions of adjacent space according to such motion line; and (iv) determining of important space such as personal room, area for couple or children, staircase, entrance, hallway, etc. Secondly, when analyzing the reasons that the lower 41 patterns have not been applied, it was characterized by (i) the work space not suitable for suburban houses or the patterns suitable for commercial space; (ii) the patterns not suitable in Korea due to cultural differences; and (iii) the patterns whose applicability cannot be confirmed due to the limitation of examples and materials used in this study. Thirdly, the analysis of each pattern group (A through M) revealed that the pattern groups D and G are rarely related to suburban houses and J and M are patterns whose applicability cannot be determined in this study. Another characteristics is that the pattern groups B, E, F, I and L which obtain high scores in applicability are importantly reflected in planning for suburban houses in Korea. Fourthly, this study renders the average score of applicability, and the applicability rate, of the examples and confirms the number of the patterns applied in confirmity, patterns partially or potentially applied and patterns not applied at all.

• The Journal of the Korea Contents Association
• /
• v.18 no.10
• /
• pp.618-630
• /
• 2018

The contemporary shoes have been progressively trying a variety of designs using patterns as well as the formative change. However, for making those patterns secure the continuing values as the design having global competitiveness without being a temporal trend, it is required to develop the patterns which reflect the unique identity of Korea. Such development can be realized through the analysis on the traditional patterns of Korea. The patterns are the symbol of collective values. The traditional patterns implicitly express the philosophical thinking of members in a society as having been inherited up to now. Thus, this paper analyzed the gilt bronze shoes in Three Kingdoms Era using the patterns as unique design elements among traditional shoes of Korea. The symbolism of those patterns was expressed as transcendence of time and space, harmony of spirit and materials, and convergence of a region and religion. On the aspect that our ancestors interpreted and overcame the bounds of nature around human beings, pursued the ideal beyond reality and accepted a variety of thoughts, it is considered that the patterns used in gilt bronze shoes expressed anthropocentricism, idealism and inclusivism.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.20 no.5
• /
• pp.753-768
• /
• 1996

The purpose of this study is to find out the effect of suit color, necktie color and necktie patterns on the men's suit image formation. The experimental materials developed for this study were a set of stimuli and response scales. The stimuli were 28 color pictures manipulated with suit color, necktie color and necktie patterns by computer drawing. The experimental design consists of 3 factorial design; 1) suit color (navy blue, beige), 2) necktie color (analogous, complimentary color), 3) necktie patterns (plain, dot, stripe, check, paisley, floral, abstract) The 7-point semantic differential response scale designed for visual evaluation of men's suit image on suit color, necktie color and necktie patterns were composed of 34 bipolar adjectives. The subject are 150 female undergraduate students in Chin-ju city. They responded twice to 14 stimuli at random order The result of this study are as follows; 1. By analyzing the responses of the subjects, 4 factors emerged in the dimensional structure of the men's suit image formed by suit color, necktie color and necktie patterns. The 4 factors are charm, potency, uniqueness and tenderness. Among these, charming and potential factors proved to be more important. 2. necktie color, suit color and neckite patterns had the significant effect on the formation of men's suit image. In the charm image, only necktie patterns were proved to be the most dominant variable. The most dominant variable in the potencial and unique image was necktie color and second to it suit color was important. But suit color was most significant in the image of tenderness. 3. In the effects of interactions between each variables, the combination of suit color and necktie color wins more significant than that of suit color and necktie patterns and that of necktie color and necktie patterns, but in the image of tenderness, only the combination of suit color and necktie color was more significant. In the interaction of suit color, necktie color and necktie patterns, the potential factor didn't have the significant effect.

• The Research Journal of the Costume Culture
• /
• v.20 no.1
• /
• pp.49-61
• /
• 2012

This study focuses on looking at the influence of silhouette in the 1930s on fabric pattern design by comprehending how differently flower-pattern design were found according to clothing silhouette. The period scope of research was limited to 1930s, and the research object was set as the flower patterns seen in the designer's high-fashion and the women's daily apparel as well as the clothes for sports and leisure activities. Based on the above research scope, the researcher investigated the clothing silhouette and the textile patterns in 1930s by reviewing the literature about domestic and foreign books, research papers, domestic and foreign fashion magazines, information on the Internet. A glance at the women's clothing in the 1930s reveals that they emphasized something inactive, elegant, feminine and that great popularity was given to feminine silhouette that closely fitted the body and long and slim, as skirts became longer and longer. Like this, silhouette refused traditional methods in the technique of expressing flower patterns that were on-trend in that period, pursued the freedom of line and form, used shadowing technique by means of free pens and brushes and the effect of watercolors. It also arranged in a semitransparent way and painted contours alone, too. Flower patterns fell into two categories: amorphous abstract patterns and standardized abstract patterns. The patterns expressed themselves, divided into small-scale irregular patterns and abstract geometric patterns that filled the entire textile.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.753-760
• /
• 2001

Design Patterns are design knowledge for solving issues related to extensibility and maintainability which are independent from problems concerned by application, but despite vast interest in design pattern, the specification and application of patterns is generally assumed to rely on manual implementation. As a result, we need to spend a lot of time to develop software program not only because of being difficult to analyze and apply to a consistent pattern, but also because of happening the frequent programing faults. In this paper, we propose a notation using XML for describing design pattern and a framework using design pattern. We will also suggest a source code generation support system, and show a example of the application through this notation and the application framework. We may construct more stable system and be generated a compact source code to a user based on the application of structured documentations with XML.

• Fashion & Textile Research Journal
• /
• v.14 no.1
• /
• pp.109-121
• /
• 2012

This study aims at developing ergonomics patterns for the sleeve of structural firefighting protective clothing through 3D motion analysis in order to ensure efficiency and safety of firefighters who are exposed to harmful environment at work. A new research pattern was developed by applying the total results of 3D motion analysis, changes of body surface length measurements, and 2D data on 3D body shape analysis on the size 3 patterns of the existing coat sleeve. For the sleeves, we used the body surface length of the range of shoulder's flexion and the joint angle of the range of wrist's ulnar deviation. And for the production of structural firefighting protective clothing using the research pattern, we recruited a recognized producer of structural firefighting protective clothing designated by KFI. Unlike everyday clothes, structural firefighting protective clothing should be able to fully protect the wearers from the harmful environment that threatens their lives and should not cause any restrictions on their movement. Therefore, the focus of research and development of such protective clothing should be placed on consistent development of new technologies and production methods that will provide protection and comfort for the wearer rather than production cost reduction or operational efficiency. This study is meaningful as it applied 3D motion analysis instead of the existing methods to develop the patterns. In particular, since 3D motion analysis enables the measurement of the range of motion, there should be continuous research on the development of ergonomics patterns that consider workers' range of motion.

• The Research Journal of the Costume Culture
• /
• v.25 no.4
• /
• pp.476-487
• /
• 2017

The purpose of this study was to suggest torso patterns that fit the three main body shapes of elderly obese women. To reduce time, costs, and also the trial and error needed to make patterns, the CLO program for 3D test wear was employed. Three virtual models for aged obese women were use, with the YUKA system used to produce torso patterns. 3D simulation of test wear and corrections was done to design optimal torso patterns. The results were as follows: First, for the three models of obese women's body shapes as realized by CLO 3D, Type 1 is lower-body obesity shapes, Type 2 is abdominal obesity shapes, and Type 3 is whole-body obesity shapes. Second, to design the study patterns, actual measurement values, back waist length and waist to hip length, were used. The armhole depth (B/4-1.5), front interscye (B/6+2.3), front neck width (B/12-0.5), front neck depth (B/12+0.5), front waist measurement (W/4+ 1.5+D), front hip measurement (H/4+2+0.5), and back hip measurement (H/4+3-0.5) were calculated using formulas. Third, according to the results of test-wearing the study patterns, reduced front neck width and depth improved the neck fit and reduced armhole depth bettered loose or plunging armhole girth and also reduced the sagging of bust c.. Also, tight sidesfrom aprotruded waist and abdomen improved with the increase of surpluses in the back waist and also back and front hip c. The exterior was enhanced by displacement of back and front darts, which distributed surpluses better.

• Journal of the Korea Fashion and Costume Design Association
• /
• v.23 no.4
• /
• pp.149-166
• /
• 2021

This study tried to suggest a drafting method to draft tight fit torso patterns suitable for adult males with a sway back somatotype and a bend forward somatotype by setting and distributing the ease through the completion of the somatic surface pattern using the 3D body surface segment method. It was intended to be presented as a drafting method. As for the research method, the suitability of the somatic surface patterns and the tight fit torso patterns were confirmed by the evaluation of virtual wear, and the patterns were modified and supplemented. The research results are as follows. In the first evaluation of the tight fit torso patterns, the average, for 55 evaluation items, was 3.92 points for the sway back somatotype and 3.89 points for the bend forward somatotype. In the second evaluation, the bend forward somatotype was 4.51 points and the sway back somatotype was 4.62 points. The chest circumference ease amount for the bend forward somatotype and the sway back somatotype are 6.5% (6.8 cm) and 7% (6.8 cm) of the chest circumference, respectively, and the distribution of the front and back ease is the same at 4:6 (2.72 cm:4.08 cm). The waist circumference ease amount is 6.5% (5.8cm) and 6.5% (5.6 cm) of the waist circumference dimensions, and the distribution of the front and backease are 5:5 (1.45 cm: 1.45 cm) and 4:6 (2.24 cm: 3.36 cm), respectively. The completed tight fit torso patterns were converted into institutional formulas and presented as a drafting method.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.30A no.1
• /
• pp.8-15
• /
• 1993

A concrete disign of memory circuit is presented aiming at the application of sliding diagonal test patterns. A modification of sliding diagonal test pattern includes the complexity reduction from O(n$^{32}$) to O(n) using parallel test memory concept. The control circuit design was based on delay-element, and verified via logic and circuit simulation. Area overhead was evaluated based on physical layout using a 0.7 micron design rule resulting in about 1% area increase for a typical 16Mbit DRAM.