• 한국디자인학회:학술대회논문집
• /
• 한국디자인학회 2005년도 추계 학술발표대회 논문집
• /
• pp.184-185
• /
• 2005

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 II
• /
• pp.939-942
• /
• 2003

Design verification problem is emerging as an important issue to detect any design errors at the early stage of the design. Conventionally, design verifications have been done using a simulation technique. However, this technique has been proved not to cover all potential design errors. Therefore, formal technique is often used to verify digital circuits as an alternative. In this paper we adopted formal verification technique and verified some important properties derived from our pipelined digital systems, using SMV (Symbolic Model Verifier). Our example shows that model checking method (one of formal verification techniques) can be effectively performed in verifying the large digital systems.

• Structural Engineering and Mechanics
• /
• 제64권5호
• /
• pp.567-577
• /
• 2017

The traditional design procedure of a prestressed concrete (PC) cable-stayed bridge is complex and time-consuming. The designers have to repeatedly modify the configuration of the large number of design parameters to obtain a feasible design scheme which maybe not an economical design. In order to efficiently achieve an optimum design for PC cable-stayed bridges, a multi-parameter optimization technique is proposed. In this optimization technique, the number of prestressing tendons in girder is firstly set as one of design variables, as well as cable forces, cable areas and cross-section sizes of the girders and the towers. The stress and displacement constraints are simultaneously utilized to ensure the safety and serviceability of the structure. The target is to obtain the minimum cost design for a PC cable-stayed bridge. Finally, this optimization technique is carried out by a developed PC cable-stayed bridge optimization program involving the interaction of the parameterized automatically modeling program, the finite element structural analysis program and the optimization algorithm. A low-pylon PC cable-stayed bridge is selected as the example to test the proposed optimization technique. The optimum result verifies the capability and efficiency of the optimization technique, and the significance to optimize the number of prestressing tendons in the girder. The optimum design scheme obtained by the application can achieve a 24.03% reduction in cost, compared with the initial design.

• 한국의상디자인학회지
• /
• 제14권3호
• /
• pp.37-49
• /
• 2012

The purpose of this study is to provide basic data of dress design by researching three-dimensional decorative techniques representing flowers, a popular motif in dress design. This study analyzed 44 dresses that were presented in Valentino collection. The result of this study is as follows: First, the detailing expression method can show various patterns and colors through embroidery technique, sub-materials, and bonding techniques in embroidery, beads flower, and ribbon flowers. Second, the fabric flower technique expressed flower image in three-dimension in more various images than do either the ribbon or beads flower technique. Fabric flowers are mostly made from the same material as dresses. The expression technique of fabric flower is classified into the following three classifications: 1) A technique underlying a flower image with one, two and three large flowers, 2) a technique decorating a large area with a number of an identical motif, and 3) a technique highlighting a part of the body or design line by attracting eyes to one point, creating a corsage decorated where a designer wants to emphasize. Third, a silhouette technique realizes a flower image with a silhouette of a dress like sculpted structure and it is thus used less than a detailing expression technique. A flower image is expressed by making use of body lines or emphasizing the face. Finally, flower images on a dress were realized as a full blossomed flower, through visually streamlined shapes and curved lines.

• 복식문화연구
• /
• 제14권4호
• /
• pp.670-683
• /
• 2006

Such trend offers new fashion designs as a formative art with creative spontaneity. The purpose of this study is to seek to work out fashion design methods whereby fashions can be developed into an art form embracing handicraft premium textures, geometric formativeness and traditional beauty so as to satisfy the individualist expression desires of modern people who pursue practicality, originality, and beauty of simplicity. This art form also allows new images to be expressed. The corresponding methods studied include the space and technique of patchwork that can create artistry and aesthetic functionality into differentiated levels of images, and geometric ion from Mondrian' works. Fashion designs based on patchwork technique and the characteristics of Mondrian's works reveal that the patchwork technique using diverse materials is an artistic technique with high handicraft value. This technique provides new value to traditional aesthetic materials of clothing, and that Mondrian's unique designs are very effective in developing new fashion designs because they provide artistry and unique effects to modern fashion expression.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2000년도 전력전자학술대회 논문집
• /
• pp.480-484
• /
• 2000

The pole placement technique for control design of the current mode controlled DC-DC switchmode power converter is proposed. It is compared with conventional transfer function analysis. Using the pole placement technique control design automation algorithm, by computer-based tool is presented. Control design example with large signal simulation is shown.

• Structural Engineering and Mechanics
• /
• 제42권5호
• /
• pp.645-675
• /
• 2012

An effective design technique for symmetrical coupled shear walls is presented. Proposed formulation including assumptions and steps with mathematical formulation has been elaborated to make the design technique. An example has been considered to validate the technique with the DRAIN-3DX (1993) and SAP V 10.0.5 (2000) nonlinear programs. Parametric study has also been considered to find out the limitations along with remedial action of this technique. On the other hand, nonlinear static analysis is considered to determine the response reduction factor of coupled shear walls. Finally, it has been concluded in this paper that the proposed design technique can be considered to design the coupled shear walls under seismic motion.

• 한국실내디자인학회논문집
• /
• 제13권1호
• /
• pp.3-10
• /
• 2004

The subject on presentation technique is the class which helps to develop the capability of sensual and creative acts to the students who major in interior design. It helps to understand plasticity and space through the theory of the light and the object, and to develop the capability which realizes one's idea to the actual and visual formations. It also enable the students to explain their designs to the customers by studying the technique which transfers 2D diagram to 3D presentation. Because of these objectives of the class, the departments which major in interior design in Korea consider the class on presentation technique as one of the mun subjects in basic curriculum. However, most of the textbooks related to the presentation technique published in Korea are in the lack of original characteristics for the field of domestic interior design since they refer to or employ the contents of architectural field by directly translating foreign articles. In addition, most of the classes on the presentation technique are taught not by professors but by lecturers so that the class objectives may be varied by their standards for the class. Therefore, it is not easy for each department to set up the one's own characteristics in the field of presentation technique. This study is to analyze the problems in the subjects of presentation technique by investigating the current situations for the subjects on presentation technique in domestic colleges and by surveying the personnels engaged in the field of domestic interior design. Also, the study has the objective to propose the development plan of educational program for the presentation technique in order to enable the student to effectively work in real business.

• International Journal of Aeronautical and Space Sciences
• /
• 제18권4호
• /
• pp.780-787
• /
• 2017

The propellant grain configuration is a design variable that determines the shape and performance of a solid rocket motor. Grain configuration variables have complicated effects on the motor performance; so the global optimization problem has to be solved in order to design the configuration variables. The grain performance has been analyzed by means of the grain burn-back and internal ballistic analysis, and the optimization technique searches for the configuration variables that satisfy the requirements. The deterministic and stochastic optimization techniques have been applied for the grain optimization, but the results are imperfect. In this study, the optimization design of the configuration variables has been performed using the hybrid optimization technique, which combines those two techniques. As a result, the hybrid optimization technique has proved to be efficient for the grain optimization design.

• 한국의상디자인학회지
• /
• 제12권4호
• /
• pp.61-73
• /
• 2010

The purpose of this study is to create unique formative beauty with free expressive method and to suggest accessory design with individuality through this, by using hand-knitting technique in design of necklace and bangle, which belong to personal ornament among fashion accessories. It analyzed on theoretical background of knit technique and accessory through documentary research, examined the accessory design tendency and the research tendency through collection materials, and then suggested 9 works in accessory ornament design of using hand-knitting technique, based on this. The results are as follows. First, even in overseas collection, accessories in diverse materials and shapes were being show cased. Volume in necklace or bangle was indicated to be big. There were many cases of covering several items together. Second, the hand-knitting technique in originative accessory design could be confirmed to be possibly used broadly in the range of pattern and shape available for making by using yarn in diverse thicknesses with proper technique, and by transforming basic tissue according to knitting technique. Third, through the results of making ornaments in 7 necklaces and 2 bangles, the hand-knitting technique was confirmed to possibly expanding the application range of knitting technique in the accessory field, and has significance in having suggested individual accessory.