• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• 한국CDE학회논문집
• /
• 제1권1호
• /
• pp.65-75
• /
• 1996

This paper describes an automatic finite element(FE) mesh generation for three-dimensional structures consisting of free-form surfaces. This mesh generation process consists of three subprocesses: (a) definition of geometric model, i.e. analysis model, (b) generation of nodes, and (c) generation of elements. One of commercial solid modelers is employed for three-dimensional solid and shell structures. Node is generated if its distance from existing node points is similar to the node spacing function at the point. The node spacing function is well controlled by the fuzzy knowledge processing. The Delaunay method is introduced as a basic tool for element generation. Automatic generation of FE meshes for three-dimensional solid and shell structures holds great benefits for analyses. Practical performances of the present system are demonstrated through several mesh generations for three-dimensional complex geometry.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2009년도 춘계학술대회 논문집
• /
• pp.57-60
• /
• 2009

The conductive coating method was used for a various industrial fields. For example, Sputtering process is using to a coat of ITO layer in LCD or OLED panel manufacture process and fabricate a base layer of substrate of an electric printing device. However, conventional coating process (beam sputtering, spin coating etc.) has a problems in the industrial manufacturing process. These processes have a very high cost and critical manufacturing environment as a vacuum process. Recently, many researchers were proposed a various printing process instead of conventional coating process. In this paper, we propose an ESD printing process in ITO coating layer and apply to fabricate a conductive coating film. Ours transparent electrode had a surface resistance of about $66{\Omega}/{\square}$ and transparent of 74% in the wavelength of 500nm. This transparent electrode manufacturing process will be applied to Roll-to-Roll process. In addition, we developed roll printing process system for the next generation flexible solar cell.

• 감성과학
• /
• 제5권1호
• /
• pp.49-60
• /
• 2002

The aims of the study are first, in other to meet the demand for a new product design process, to review the prototype theory and to find out the conceptual structure of product aesthetics, which is another properly thought to be as important as the typical pattern in an effort to patch up the theory second to help designers overcome the limits of idea generation and create consumer oriented designs with a high success rate by setting up a new product design process that is established through the application of the aesthetically influential factor 'proportion'based on the preceeding studies that tested product aesthetics measuring devices. In other words, this study tries to find out product categories, making use of the prototype theory to introduce an ideal proportion for product design, recognizing the importance of proportion by conducting product pattern analysis: to create a differentiated method that can product consumer oriented designs, even if it only manipulate proportion and to establish a new design process that can systematically explain the methodology for various form generation that applies proportion. This study reviews the theoretical aspects of concepts pertaining to the above … and, based on them, empirically tests them by patting to use the programs, for proportion manipulation. This study was conducted in the following way: To begin with, this study takes out proportion out of some aesthetically influential factors that has a great impact on the way consumers prefer certain product designs and tries to see how proportion affects the consumer preference when consumers select a product. In addition, we could analyze the difference between the ideal proportion that consumers prefer and the traditional golden proportion produced through theoretical studies. The correlations between preferred proportion and ideal proportion, and preferred proportion and golden proportion could be shown. In order that we may create form variations through more detailed proportion manipulation on the basis of the ideal proportion verified as preferable, we again applied the proportion factor to the process utilizing PDS(proportion Distortion System). In the way the restraint of form generation could be pursued. All in all, this study makes an attempt to set up a design process to create new product forms through the application of Proportion.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2004년도 추계학술대회
• /
• pp.1184-1189
• /
• 2004

Coking process is the thermal decomposition of bituminous coal with final temperature of about $900^{\circ}C$ Because coke plays important roles in ironmaking process in a blast furnace it's essential for developing modeling of coke oven. In this study, An unsteady 2-dimesional model is proposed to simulate coking process in a coke oven. In this model, gas and solid phase are assumed homogeneous continnum and solid bed is assumed as porous media . The model contains governing equations for the solid phase and the gas phase. Complicated phenomena such as swelling, softening, resolidification and shrinkage are neglected and mass loss by drying and devolatilization is reflected by generation of internal pores. Drying, devolatilization, heat transfer and generation of internal pores are also reflected in source terms. Calulated results are compared with experimental data

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2005년도 제17회 워크샵 및 추계학술대회
• /
• pp.665-665
• /
• 2005

The existing DSP for utility interactive photovoltaic generation system control generally uses floating point process type. Because it is easy to use for number crunching, however, it is too late and too expensive. Fixed point process DSP TMS320F2812, has high control speed and is rather inexpensive. A very complicated real system can be simulated using hardware-in-the-loop (HIL) system in a virtual environment Therefore, HIL system can speed up research and development process with a little effort. Also current DSP for utility interactive photovoltaic generation system adopts floating point process type, which is easy to use for number crunching. However, fixed point process DSF, TMS320F2812, has high control speed and is rather inexpensive. This paper presents more efficient method for MPPT control using TMS320F2812 along with HIL System.

• 한국공작기계학회논문집
• /
• 제14권5호
• /
• pp.1-6
• /
• 2005

Machining is a one of the broadly used manufacturing process to produce the parts, products and various molds and dies. The environmental impact due to aerosol generation via atomization process is a major concern associated with environmental consciousness. This paper presents the experimental results to analyze the characteristics of cutting fluid aerosol generation in grinding process. Experimental results show that the generated fine aerosol which particle size less than 10micron appears near worker's breath zone under given operational conditions. The aerosol concentration is much higher enough to affect human health risk with its generated aerosol quantities. This quantitative analysis can be provided the basic knowledge f3r further research for environmentally conscious machining technology developments.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2015년도 춘계 학술논문 발표대회
• /
• pp.17-18
• /
• 2015

In manufacturing industry, image scanning technique has made enormous progress in past decades. 3D models have been also very important to continuously monitor the related spatial information for freeform buildings. The process of shape making of 3D scanning is as follows: mesh surface segmentation, NURBS surface generation, and parametric solid model generation. We will review the process and applying process. Especially in the construction industry, 3D data collection by laser scanning has become an high quality 3D models. Therefore, in this research, we have an effort to review construction of reverse design process for freeform envelope using 3D scanning. The technology enables many 3D shape engineering and design parameterization of reverse engineering in the construction site.

• 한국기계가공학회지
• /
• 제10권6호
• /
• pp.152-158
• /
• 2011

An electric upsetting process by the rigid-thermoviscoplastic finite element method was simulated in this study. Several engineering assumptions were made to calculate the heat generation due to the electric resistance. The skin effect of the bar was taken into account for the heat generation. The approach was applied to simulate an artifical electric upsetting process for the exhaust valve of the ship engine.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 2005년도 춘계학술대회 논문집
• /
• pp.282-287
• /
• 2005

This paper presents the experimental results to analyze the characteristics of cutting fluid aerosol generation in grinding process. Machining is a one of the broad manufacturing process to produce the parts, products and various molds and dies. The environmental impact due to aerosol generation via atomization process is a major concern associated with environmental consciousness. Experimental results show that the generated fine aerosol which particle size less than 10 micron appears near worker's breath zone under given operational conditions. The aerosol concentration is much higher enough to affect human health risk with its generated aerosol quantities. This qualitative analysis can be provided the basic knowledge for further research for environmentally conscious machining technology developments.