• 한국컴퓨터정보학회논문지
• /
• 제12권1호
• /
• pp.1-8
• /
• 2007

자바 바이트코드는 다양한 장점을 갖지만. 실행속도가 느리고 분석이 어렵다는 단점이 존재한다. 따라서 네트워크와 같은 실행환경에서 효과적으로 실행되기 위해서는 최적화된 코드로 변환이 요구된다. 최적화된 코드로 변환하기 위해 CTOC가 구현되었다. CTOC는 기존의 바이트코드를 이용해서 CFG를 생성한 후 분석과 최적화를 위해 SSA Form을 생성하였다. 하지만 SSA Form으로 변환하는 과정에서 ${\phi}$-함수의 삽입으로 인해 노드의 개수가 늘어나는 현상이 발생하였다. 노드의 개수를 줄이기 위한 한 가지 방법으로 SSA Form에서 적용 가능한 최적화인 복사 전파를 수행하였다. 복사 전파란 하나의 변수 값이 다른 변수의 값으로 복사하는 과정이다. 복사 전파에 의한 변환은 변환 자체로는 큰 효과를 나타내지 못하는 경우가 존재하지만 이후 최적화 과정에서 변수가 사용되지 않는 경우 해당 변수에 대한 복사식을 제거할 수 있는 가능성을 제공하기 때문에 중요한 과정이다. 본 논문은 SSA Form에서 좀 더 최적화된 코드를 얻기 위한 복사 전파 수행을 보인다.

• 대한조선학회논문집
• /
• 제41권3호
• /
• pp.60-71
• /
• 2004

Nowadays, We have had a growing interest in high-speed vessels' because it is very important to save time and cost in marine transportation. The development of hull form for high-speed vessels is high priority to secure the competitive power for the transportation of cargos. Therefore, the demand of the high-speed vessels is gradually increased, but the conventional hull forms are limited by rapidly increasing resistance upon the increase of ship speed in high-speed region. Therefore, new concepts for the hull form of high-speed vessels have been requested. One of the derived hull forms for that demand is the hull form of trimaran type. Trimaran has a very slender main hull as compared with conventional single hull so that is reduced in wave resistance. The slender main hull has the undesirable characteristics of stability, but two side hulls make up for the week points in the stability. That is, trimaran is able to have desirable performances for the resistance and stability. In this paper, for the design of 200TEU class container vessel with trimaran type, which will be cruised in Yellow-Sea region, firstly a preliminary hull is designed, and the model test is carried out with the variation of side hull position. From the experience of the preliminary hull form design, an improved hull form for the 200TEU container are designed, and the model tests are carried out. Also, a numerical computation technique is adopted for the simulation of flow phenomena around the designed hull forms. The final hull form is compared with existing ships for the resistance performance from the computation with computer and ship model tests.

• 한국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.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2003년도 추계학술대회 논문집
• /
• pp.177-181
• /
• 2003

Despite various forms have been developed and applied to ship hull forms, the superiority of hard chine type over other forms of fishing boat has been recognized so far. As one of the ways of forms for new concept fishing boat, this paper presents the result of a performance evaluation for newly developed forms of hull, appendage and deck house, which features that have esthetic forms.

• International Journal of Automotive Technology
• /
• 제6권4호
• /
• pp.375-381
• /
• 2005

This paper presents linear algebraic equations in the form of recursive formula to compute elastokinematic characteristics of a suspension system. Conventional methods of elastokinematic analysis are based on nonlinear kinematic constrant equations and force equilibrium equations for constrained mechanical systems, which require complicated and time-consuming implicit computing methods to obtain the solution. The proposed linearized elastokinematic equations in the form of recursive formula are derived based on the assumption that the displacements of elastokinematic behavior of a constrained mechanical system under external forces are very small. The equations can be easily computerized in codes, and have the advantage of sharing the input data of existing general multi body dynamic analysis codes. The equations can be applied to any form of suspension once the type of kinematic joints and elastic components are identified. The validity of the method has been proved through the comparison of the results from established elastokinematic analysis software. Error estimation and analysis due to piecewise linear assumption are also discussed.

• 한국가구학회지
• /
• 제22권1호
• /
• pp.1-12
• /
• 2011

Recently, the studio which is urban housing form is rapidly growing up by new residential space according to increasing 1~2 person households form because of Modern members who have changing patterns of life and diversification of social values. The resident of the studio who lives or uses the space for a work such as students, office worker and soho-jok has various characters by a society nature changes and a regional peculiarity. The studio form and function is getting change according to variety trend changes and their life styles. The role and use of residential space also have variety such as the resident who lives in the studio. This study is to find the space utilization for them and reasonable housing solution in that structure, furniture and Wall Storage System of existing studio which is based on the common life patterns. The study's purpose is to propose the furniture design of changeable Wall Storage System according to the analysis.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2004년도 춘계 학술발표회 제16권1호
• /
• pp.148-151
• /
• 2004

The hardening of concrete after setting is accompanied with nonlinear temperature distribution caused by development of hydration heat of cement. Especially at early ages, this nonlinear distribution has a large influence on the tensile cracking. As a result, in order to predict the exact temperature distribution in concrete structures it is required to examine thermal properties of concrete. In this study, the coefficient of air convection for concrete mix of nuclear power plant, which presents thermal transfer between surface of concrete and air, was experimentally investigated with variables such as velocity of wind and types of form. The coefficient of air convection obtained from experiment increases with velocity of wind, and its dependance on wind velocity is varied with types of form. This tendency is due to a combined heat transfer system of conduction through form and convection to air. The coefficient of air convection for concrete mix of nuclear power plant obtained from this study was well agreed with the existing models.

• 소음진동
• /
• 제7권3호
• /
• pp.449-455
• /
• 1997

A theoretical study is presented for the prediction of the scattering of obliquely incident plane acoustic wave by transversely isotropic cylindrical shells immersed in water. In dorder to illustrate the vailidity of the theory backscattering form functions are compared with the existing results for degenerated problems: the catterings by isotropic shell and transversely isotropic solid cylinder. The unidirectional fiber reinforced boron-aluminum composites are selected as a model of transversely isotropic materials having potential applications in practice. From the resonant scattering analysis of the partial backscattering form functions, the dispersion curves for fluid-borne Stoneley wave, guided wave along the shell, and the lowest three Lamb type waves can be found. The Lamb type dispersions are compared with those of the flat plate. The variation of anisotropy significantly affects the properties of circumferential waves. From these results, it can be possible to identify parametrically the material properties of anisotropic cylindrical targets.

• 한국통신학회논문지
• /
• 제19권6호
• /
• pp.1075-1084
• /
• 1994

본 논문에서는 순시 페이딩과 장구간 페이딩의 혼합인 Suzuki 페이딩 채널에서 다이버시티 수신을 사용할 경우 MPSK 변조 방식의 비트 오류 확률에 대한 closed-form의 근사식을 유도한다. 제안된 근사식은 기존의 적분 형태의 식에 비해 계산량 면에서 효율적이며 채널의 파라미터들이 시스템의 성능을 얼마나 열화시키는가를 정량적으로 파악할 수 있음을 보였다. 또한 근사식의 고찰을 통하혀 적절한 송신 전력제어에 의해 시스템의 성능을 향상 시킬 수 있음을 보였다.

• 건축역사연구
• /
• 제7권4호
• /
• pp.9-27
• /
• 1998

The urban form of Korean cities significantly changed in the late Chosun dynasty. The influence of commercial development was the main cause of these changes. Commerce became a important function of existing cities, and the new type of commercial towns emerged at the important spots of traffic routes. In both cases streets became dominant element of urban form. Mainly commercial buildings aggregated along the streets, and to obtain higher land use intensity shape of lots became narrow and deep. Koyang(高陽) shows the most significant example of this new type of lot and lot pattern. Approximately 30 narrow and deep type of lots lined on each side of street forming about 390 meters long linear commercial town. Similar examples were found at the outside of south gate of Suwon(水原), Nuwon(樓院), and Pangyo(板橋).