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

실세계의 복잡하고 다양한 데이터에 내포된 유용한 정보들을 추출하여 활용하기 위해 다양한 데이터 마이닝 기법들이 제안되고 있다. 최근 각광받기 시작한 개념분석기법(Formal Concept Analysis)은, 주어진 데이터로부터 개념들을 추출하고 그들 사이의 관계를 파악하여 개념계층구조를 구축하기 위한 정형화된 데이터분석 기법이다. 본 논문에서는 개념분석기법을 기반으로 다종다양한 데이터를 분석할 수 있는 기법들(FFCA, RFCA)에 대해서 소개하고, 본 연구에서 개발하고 있는 지원도구와 그 도구를 이용한 실험 결과를 보고한다.

• 한국해양공학회지
• /
• 제27권2호
• /
• pp.47-52
• /
• 2013

A subsea chemical injection system treats blockage problems in a subsea production system. It is important to treat problems quickly, because production delays cause fatal profit losses in a subsea production system. Therefore, the subsea industry requires a relatively higher reliability level for a production system compared to other industries. In this study, a subsea chemical injection system (linked to a control system) to inject chemicals into a subsea X-mas tree was analyzed. By using FSA (Formal Safety Assessment), the risk factors were defined and a quantitative risk analysis utilizing FTA (Fault Tree Analysis) and ETA (Event Tree Analysis) was performed. As a result, the effectiveness of a risk reduction option was evaluated.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1999년도 추계학술발표회요약집
• /
• pp.113.1-113
• /
• 1999

• International Journal of Aeronautical and Space Sciences
• /
• 제12권2호
• /
• pp.200-209
• /
• 2011

An analytical solution for rectangular laminated composite plates was obtained via a formal asymptotic method. From threedimensional static equilibrium equations, the microscopic one-dimensional and macroscopic two-dimensional equations were systematically derived by scaling of the thickness coordinate with respect to the characteristic length of the plate. The onedimensional through-the-thickness analysis was performed by applying a standard finite element method. The derived twodimensional plate equations, which take the form of recursive equations, were solved under sinusoidal loading with simplysupported boundary conditions. To demonstrate the validity and accuracy of the present method, various types of composite plates were studied, such as cross-ply, anti-symmetric angle-ply and sandwich plates. The results obtained were compared to those of the classical laminated plate theory, the first-order shear deformation theory and the three-dimensional elasticity. In the present analysis, the characteristic length of each composite was dependent upon the layup configurations, which affected the convergence rate of the method. The results shown herein are promising that it can serve as an efficient tool for the analysis and design of laminated composite plates.

• 한국컴퓨터정보학회논문지
• /
• 제21권4호
• /
• pp.123-129
• /
• 2016

This study had a purpose to find the correlation between academic achievement and entrance examination score using FCA and framing a concept of university academic achievement and entrance examination score and then, building concept lattice. The subject for this analysis was admission materials of freshmen in computer engineering department at A university located in Chungcheong area in 2010. Also 56 students in total were subjects for the score analysis of their first semester from 2010 to 2014. The major findings of this study were as follows. We organized and extracted many-valued context, concept lattice, associated rules using FCA. And we analyzed the correlation between University academic achievement and entrance examination score using FCA. The conclusions were as follows. We could get meaningful analyzed results using FCA. University academic achievement had lower relativeness with entrance examination score and female students had higher university academic achievement than male students. The improvement points are summarized below. It is necessary to improve the ratio and application method of the university admission factors and to increase the regular admission for a university. And programs for completing College-preparatory programming for male students in low university academic achievement are necessary.

• 한국항공우주학회지
• /
• 제42권5호
• /
• pp.398-405
• /
• 2014

내장형 소프트웨어 기술이 항공 및 방위산업과 같은 안전-필수 시스템에 적용됨에 따라 보다 높은 소프트웨어의 신뢰성이 요구되고 있다. 그 중에서 소프트웨어의 무결성은 주로 정적 분석 도구를 이용해 검증이 이뤄지고 있으며 최근에 개발된 정적 분석 도구는 수학적인 분석 방법을 통해 코드의 무결성을 평가하고 있다. 본 연구에서는 정형 검증 도구인 Polyspace를 이용해 자동코드의 결함을 검출하고, 코딩규칙의 준수 여부를 검증하였다. 검증된 결과를 바탕으로 결함을 가진 제어법칙 모델을 수정하여 코드 생성 이전의 원천적인 결함을 제거 가능함을 확인하였고 FBW 헬리콥터 제어법칙 자동생성코드의 무결성을 확보 할 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권12호
• /
• pp.926-939
• /
• 2002

시스템이 실행 중 다양한 환경 요인에 의해 발생할 수 있는 불확실성을 명세하기 위해 확률의 개념을 적용한 명세 방범이 요구되고 있다. 본 논문에서는 실행에 영향을 주는 많은 환경 요인들을 고려하여, 변화하는 실행 환경에서 시스템의 행위를 예측, 분석하기 위한 확률 정형 기법인 확률 추상 시간 기계(PATM:Probabilistic Abstract Timed Machine)를 제안한다. PATM에서는 확률에 영향을 주는 환경요인을 실행 도중 변경이 가능한 가변 확률 요인과 변경이 불가능한 고정 확률 요인으로 분류하고 있다. 시스템의 행위에 대한 분석은 PATM의 동적 실행모델인 확률 도달성 그래프를 통해서 이루어진다. 분석결과를 토대로 시스템의 동작 실패 가능성을 예측하고, 이에 영향을 미치는 가변 환경 요인을 변경하여 궁극적으로 시스템의 신뢰도를 향상할 수 있도록 한다.

• 한국의류학회지
• /
• 제18권5호
• /
• pp.716-726
• /
• 1994

The present study was conducted to analyze the type of appeal and constituent unit's expression of apparel advertising appeared in women's magazine through content analysis. The research questions raised for this study were: (1) Are there any differences in the type of appeal between outwear and uderwear, men's and women's outwear, and formal wear and casual wear advertising ? (2) Are there any differences in the type of appeal and constituent unit's expression of apparel advertising between the late of 1980's and the begining of 1990's ? "Women Sense", founded on August 1988, was used as research materials for the study. And the period of analysis was from September 1988 to March 1993. In order to reduce biases of monthly issues in magazine, the apparel advertisements for analysis were selected from March, June, September and December issues. A total of 348 apparel advertisements were analyzed. The data gethered were analyzed using the frequency table, percentage and chi-square test. The results were as follows: 1. The emotional appeal was used more often for apparel advertisements. 2. There was no difference in types of appeal between men's and women's outwear. Both of them frequently used emotional appeal type 3. Rational appeal and sex appeal type were used more frequently in underwear advertising than in outwear advertisements. 4. It was emotional appeal type that usually used in both formal and casual wear advertising, and sex appeal was employed more often in casual wear advertising than in formal wear advertising. 5. Romantic appeal was employed more aften in the late of 1980's than in the begining of 1990's. Sex appeal and rational appeal were used more often in the beginning of 1990's than in the late of 1980's. 6. Emotional (28.7%) and Assertion Propose Headlines (21.6%) were popular in the late of 1980's. 7. Brand Name Headline was shown most often in the begining of 1990's. 8. Emotional, Factual and Mixed Copies were generally used at all types of bodycopy. while there was no difference in types of bodycopy between the periods. 9. Direct Approach, that a model introduced advertising goods to consumer, was mainly used in illustration. There was no difference in different types of illustration between the periods.

• 한국콘텐츠학회논문지
• /
• 제10권10호
• /
• pp.479-493
• /
• 2010

지식기반 환경의 변화와 더불어 이-러닝은 매우 보편화된 교수.학습 방법의 하나가 되었으며, 이와 관련한 여러 연구들이 진행되고 있다. 이-러닝의 주요 연구 분야 중의 하나는 학습자의 다양한 상황들을 반영하여 학습자 개개인의 특징에 맞게 학습내용을 지원하기 위한 적응형 학습 시스템에 관한 연구이다. 이와 관련하여 최근에는 적응적 학습내용을 보다 효과적으로 지원하기 위하여 온톨로지를 기반으로 한 적응형 학습 시스템에 대한 연구들이 활발히 진행되고 있다. 본 논문에서는 FCA의 개념 망을 기반으로 온톨로지의 접근 방법과 목적은 같이하지만, 특정 영역의 학습에 적합한 사용자가 보다 자유롭고 쉽게 자신의 적응형 학습 시스템을 구축하여 사용할 수 있는 적응형 학습 시스템을 설계하여 제안한다. 제안된 시스템은 학습영역에 존재하는 학습객체와 학습개념들 사이의 연관 관계에 따라 이들을 개념 망 구조 안에 자동으로 계층화한다. 또한 학습자의 지식수준, 학습선호도, 학습스타일 및 학습개념의 학습상태에 따라 개념 망 학습구조를 적응적으로 구성하여 제시한다.

• 컴퓨터교육학회논문지
• /
• 제16권5호
• /
• pp.39-47
• /
• 2013

자기 통제력이 약한 청소년의 경우, 감각 추구 성향 및 현실탈출의 대안으로 인터넷을 사용하다 인터넷중독에 빠지는 경우가 많다. 이러한 인터넷중독 문제점을 해결하기 위해, 인터넷중독 척도 기준에 따른 인터넷 자가진단 기법이 개발되어 사용되고 있다. 하지만 기존의 방식들은 중복적인 척도기준과 설문지 형식의 진단방식을 이용하고 있어, 체계적으로 중독의 상관성 및 환경의 영향성을 평가하고 있지 못하고 있다. 따라서 본 논문에서는 보다 체계적인 인터넷중독 자가진단을 위하여 새로운 형식개념분석 기법을 활용한 인터넷중독 자가진단 기법을 제안하고 자가진단 시스템으로 구현하고자 한다. 또한 가정환경, 가족과의 관계, 교우관계, 학교생활 등 다양한 관점 기반의 분석을 통해 측정된 데이터의 상관성을 분석하고자 한다.