• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2010년도 추계학술대회 논문집
• /
• pp.425-426
• /
• 2010

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1995년도 하계학술대회 논문집 C
• /
• pp.1278-1280
• /
• 1995

A probe type fiber-optic sensing techique for electric current measurement is applied in this paper. The technique is based on the Faraday effect which meaning is that polarization state of light is rotated by magnetic field. In experiment, test wire is located at inside and outside of the probe to be measured. The experimental results prove not only linear property, but also polarization rotation property according to the distance from outside of probe.

• 호남수학학술지
• /
• 제37권2호
• /
• pp.221-233
• /
• 2015

The notion of a mighty (vague) filter in a BE-algebra is introduced, and the relation between a (vague) filter and a mighty (vague) filter are given. We investigate an equivalent condition for a (vague) filter to be mighty, and state an extension property for mighty filter. Also we define the notion of an n-fold mighty filter which is an extended notion of a mighty filter in a BE-algebra. Characterizations of an n-fold mighty filter are given. Extension property for an n-fold mighty filter are provided.

• Journal of the Korean Data and Information Science Society
• /
• 제8권2호
• /
• pp.119-125
• /
• 1997

We handle the stochastic processes of independent and identically distributed random variables. But random variables are usually dependent among themselves in actual life. So in this paper, we find out a new process not satisfying Markov property. We investigate the probability mass functions and study on the probability of the first-passage time. Also we find out the average frequency of continuous successes in from 0 to n time.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 춘계학술대회
• /
• pp.1667-1671
• /
• 2003

A computer program to calculate properties of nitrogen is developed. Procedures for the calculation is briefly discussed. The program calculates unknown thermodynamic properties fixing the state with two independent input properties. If input value by user is inappropriate, it displays an error message and replaces the input value with an appropriate one. In addition user can change units with easy. The program developed in this work can be utilized to calculate parameters required for the simulation and design of an equipment using nitrogen.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 추계학술대회
• /
• pp.256-260
• /
• 2003

A computer program to calculate thermodynamic properties of oxygen is developed. Procedures for the calculation is briefly discussed. The program calculates unknown thermodynamic properties fixing the state with two independent input properties. If input value by user is inappropriate, it displays an error message. In addition user can change units with easy. The program developed in this work can be utilized to calculate parameters required for the simulation and design of an equipment using oxygen.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2008년도 제35회 하계학술대회 초록집
• /
• pp.163-163
• /
• 2008

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제2권1호
• /
• pp.45-56
• /
• 2010

Polymer composite materials offer high strength and stiffness to weight ratio, corrosion resistance, and total life cost reductions that appeal to the marine industry. The advantages of composite construction have led to their incorporation in U.S. yacht hull structures over 46 meters (150 feet) in length. In order to construct even larger hull structures, higher quality composites with lower cost production techniques need to be developed. In this study, the effect of composite hull fabrication processes on mechanical properties of glass fiber reinforced plastic (GFRP) composites is presented. Fabrication techniques investigated during this study are hand lay-up (HL), vacuum infusion (VI), and hybrid (HL+VI) processes. Mechanical property testing includes: tensile, compressive, and ignition loss sample analysis. Results demonstrate that the vacuum pressure implemented dining composite fabrication has an effect on mechanical properties. The VI processed GFRP yields improved mechanical properties in tension/compression strengths and tensile modulus. The hybrid GFRP composites, however, failed in a sequential manor, due to dissimilar failure modes in the HL and VI processed sides. Fractography analysis was conducted to validate the mechanical property testing results.

• 한국강구조학회 논문집
• /
• 제9권4호통권33호
• /
• pp.523-533
• /
• 1997

현존하는 매립형 합성기둥의 한계상태설계법은 합성재로서의 단면과 재료의 성능을 정의하는 설계식에 비논리적이며 모호한 부분을 내포하고 있다. 본 연구는 기존의 설계식을 제정하는데 사용한 과거의 연구자료를 조사하며 비논리적이며 모호한 점들을 분석하였다. 즉, 합성단면으로서의 항복강도와 탄성계수의 환산, 좌굴강도를 산정하는데 영향을 주는 설계식에서 단면2차모멘트 대신에 단면적의 사용. 강재 단면과 콘크리트 단면의 단면2차반경 중에서 큰 값의 적용등을 분석하였다. 본 연구는 기존의 설계식을 개선하며 두 가지 방법의 설계식을 제안하였으며 이 방법들은 실무 설계에 곧바로 적용될 수가 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.212-218
• /
• 2003

상태 불변식은 도달 가능한 모든 상태에서 만족되는 속성이다. 불변식은 복잡한 소프트웨어 시스템의 분석과 이해에 사용될 뿐만 아니라 안전성, 궁극성, 일관성 등과 같은 시스템 검증에도 사용된다. 이와 같은 이유로 인해서, 유한 상태 기계 모델로부터 상태 불변식을 추출하는 연구가 활발히 진행되고 있다. 상태 불변식을 생성하는 기존 연구에서는 도달 가능한 상태가 모두 고려됐다. 따라서 생성된 상태 불변식은 길고 복잡해서, 사용자가 이해하기 어려웠다. 본 논문에서는 '어떻게 상태 불변식을 단순화 할 것인가\ulcorner` 란 질문에 대한 답을 보인다. 상태 불변식의 복잡성은 고려되어진 상태의 크기에 강하게 좌우된다. 고려된 상태들이 작으면 작을수록, 상태 불변식의 길이는 짧다. 단순한 상태 불변식을 생성하기 위해서는, 전체 상태 공간보다는 관심 있는 특정 부분(즉 범위)에 집중해야 한다. 관심 있는 범위를 표현하기 위하여 본 논문에서는 CTL 논리를 사용한다. CTL로 범위가 표현되면, 혼합 도달성 분석을 이용하여 범위 내에 속하는 상태들을 찾는다. 명백히, 이 방법으로 계산된 상태 집합은 도달 가능한 모든 상태의 부분 집합이다. 따라서, 더 약하지만 더 이해력 있는 상태 불변식을 얻는다.