• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.469-474
• /
• 1998

이상 유동 지배 방정식에 두 상의 경계면 두께 개념을 도입하여 액체 내부에서의 기포 거동에 대한 동적 안정성을 이론적으로 해석하였다. 현재까지 기포의 안정성은 실험과 거시적인 물리적 이론에 의하여만 정적으로 연구되어 왔으나, 상간의 압력 불연속성을 표면장력 모델링을 이용하여 해석적으로 해결 함으로서 기포 안정성에 대한 정량적인 분석을 가능하게 하였다. 그 결과 기포의 안정성은 기존의 무차윈 Weber수 이외에 Reynolds수 그리고 유체의 점성력과 Capillary파와 관련된 무차원 수에 의해서도 영향을 받는 것으로 밝혀졌다.

• The Journal of the Korea Contents Association
• /
• v.5 no.3
• /
• pp.73-81
• /
• 2005

CTOC(Classes To Optimized Classes) is a Java bytecode framework for optimization and analysis. Although Java bytecode has a significant amount of type information embedded in it, there are no explicit types for local variables. However, knowing types for local variables is very useful for both program optimization and analysis. This paper is a first part of CTOC framework. In this paper, we present methods for inferring static types for local variables in a 3-address, stackless, representation of Java bytecode. We use SSA Form(Single Static Assignment Form) for spliting local variables. Splited local variables will use to prepare for static type inference.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.4 s.42
• /
• pp.87-96
• /
• 2006

Although bytecode has many good features, it has slow execution speed and it is not an ideal representation for program analysis or optimization. For analysises and optimizations. bytecode must be translated to a Static Single Assignment Form(SSA Form) But when bytecode is translated a SSA Form it has lost type informations of son variables. For resolving these problem in this paper, we create extended control flow graph on bytecode. Also we convert the control flow graph to SSA Form for static analysis. Calculation about many informations such as dominator, immediate dominator. dominance frontier. ${\phi}$-Function. renaming are required to convert to SSA Form. To obtain appropriate type for generated SSA Form, we proceed the followings. First. we construct call graph and derivation graph of classes. And the we collect information associated with each node. After finding equivalence nodes and constructing Strongly Connected Component based on the collected informations. we assign type to each node.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.103-105
• /
• 2002

802.11과 같은 무선 네트워크에서는 전송오류에 의한 패킷손실이 많이 발생한다. 802.11 MAC 프로토콜에서는 에러 복구를 위해 ARQ방식을 통한 재전송을 통하여 에러를 정정하나 채널 에러 율이 증가하면 재전송 방식의 효율은 급격히 저하된다. 또한 재전송을하는데 있어서 다시 RTS와 CTS를 전송하여 데이터를 보낼 수 있는 채널을 확보해야 하므로 상당한 전송부하가 발생한다. 이에 재전송 없이 효율적인 에러 복구를 위해서는 FEC방식이 필요하다. 그러나 정적인 FEC방식은 연속적으로 변화하는 무선 채널의 전송 오류율에알맞은 정정 코드를 채택하지 못해 과도한 대역폭 낭비로 인하여 효율이 떨어지는 문제가 있다. 이러한 문제를 개선하기 위해서는 채널의 상태에 따라 정정 코드를 동적으로 변경하는 것이 필요하다. 본 논문은 FEC방식을 802.11 MAC 프로토콜에 적용할 수 있는 방안에 대해서 기술하고 채널 에러 변화에 따라 능동적으로 정정 코드 양을 조절하여 재 전송하는적응적 FEC 알고리즘을 제안한다. 본 논문에서 제안한 적응적 FEC 알고리즘을 802.11 MAC 프로토콜에 적용하여 성능을 측정한 결과 최대 80%정도 성능이 향상된 것을 확인할 수 있었다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2009.10a
• /
• pp.571-572
• /
• 2009

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.2
• /
• pp.176-184
• /
• 1995

The software reuse is a prospective way to improve software productivity and quality but not applied very well in practice, because there is no quantitative metric for software quality. In this paper we proposed the quantification of the reuse of software that we can measure the possibility of the reuse by applying the reuse assessment metric to the module after the extraction of a module from existing software. For measuring the module that can be reused, we divided the factors of quality by the generality, simplicity, maintainability and modularity, and identified and measured the module by the factors and finally decided the possibility of the software reuse. The advantage of the proposed metric is that we can find the inappropriate reuse of module exactly at the beginning by measuring quantitatively the module to be reused.

• The Korean Journal of Nuclear Medicine
• /
• v.35 no.1
• /
• pp.43-51
• /
• 2001

Purpose: In this study, we compared the quantitative characteristics of dynamic salivary gland scintigraphy with static scintigraphy in patients with clinical sicca syndrome using Tc-99m pertechnetate. Materials and Methods: Fifty-two parotid glands and 52 submandibular glands out of 26 patients with clinical sicca syndrome were studied by dynamic and static salivary gland scintigraphy. Ten normal volunteers were also studied as a control group for comparison of scintigraphic parameters. Ten minutes after injection of 370 MBq Tc-99m pertechnetate, we obtained pre-stimulus static images for a few minutes. Then dynamic salivary gland scintigraphy with lemon juice stimulation was performed for 20 minutes. Finally we obtained post-stimulus static images after dynamic images. On dynamic study, functional parameters such as uptake rate, secretion rate and re-uptake rate were calculated. The results of dynamic study and static images were compared. Results: On dynamic study, we could obtain functional parameters of salivary glands successfully. On dynamic study, 22 parotid glands and 22 submandibular glands out of each of 52 glands are abnormal. The static images demonstrated somewhat different results, of which reasons we could assume via dynamic study. Conclusion: Dynamic salivary gland scintigraphy using Tc-99m perechnetate were more functional than static images and might be useful in the assessment of the functional change of the salivary gland in patients with clinical sicca syndrome.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.41 no.1
• /
• pp.17-24
• /
• 2013

In this paper, a micro-mechanical failure prediction program is developed based on SIFT (Strain Invariant Failure Theory) by using the multi-scale modeling method for fiber-reinforced composite materials. And the failure analysis are performed for open-hole composite laminate specimen in order to verify the developed program. First of all, the critical strain invariants are obtained through the tensile tests for three types of specimens. Also, the matrices of strain amplification factors are determined through the finite element analysis for micro-mechanical model, RVE (Representative Volume Element). Finally, the microscopic failure analysis is performed for the open-hole composite laminate specimen model by applying a failure load obtained from tensile test, and the predicted failure indices are evaluated for verification of the developed program.

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.728-740
• /
• 2004

The increasing complexity and shorter life cycle of software have made it necessary to reuse software. Object-oriented development had not provided extensive reuse and computing infrastructures are evolving from mainframe to distributed environments. However, components provide more advanced means of structuring, describing and developing system, because they are more coarse-grained and have more domain-specific aspects than objects. And they are also suited for distributed environment due to their reusability and granularity. In this paper, we present a process including the static metrics and guidelines that can be applied to transform object-oriented systems into component-based systems. Our process consists of two parts: First, basic components are created based upon composition and inheritance relationships between classes. Second, intermediate system is refined into component-based system with the static metrics and guidelines we propose.

• Aerospace Engineering and Technology
• /
• v.8 no.1
• /
• pp.42-48
• /
• 2009

There are a number of factors affecting the continued airworthiness of composite structure. Unlike metal structure, damages made in manufacturing processes or maintenance repair procedures need to be considered. The different levels of degradation and damage, which may occur, must be considered for structural substantiation of static strength, stiffness, flutter, and damage tolerance. This can start with an evaluation of environmental effects for the particular composite material. Matrix-dominated composite properties, such as compressive strength, are most sensitive to moisture absorption and temperatures. Static strength substantiation includes the smaller damages that will not be detected in production or maintenance inspection while damage tolerance addresses larger damages that need to be repaired once discovered. In this paper, we intend to list the airworthiness regulations and advisory circular that are deemed closely related to the certification of composite airplanes.