• 한국정보처리학회논문지
• /
• 제5권11호
• /
• pp.2874-2883
• /
• 1998

프로그램 조각화 기법은 프로그램을 이해하기 쉬운 조각 단위로 분해하여 소프트웨어 개발자나 유지보수다사 프로그램을 쉽게 이해할 수 있도록 지원한는 방법이다. 본 논문ㅇ세는 변수-변수 관련성을 이용하여 정확하고 수행 가능한 프로그램 조각을 추출하는 동적 프로그램 조각 추축 알고리즘을 제안한다. 각 문장에서 변경되는 변수와 참조되는 변수로 나누어서 변수 집합을 계산하고, 선언부에 있는 문장에 대해 변수-변수 관련성을 계산한다. 변수-변수 관련성을 계산할 때는 선언부의 변수가 다른 문장에서 변경되는 변수로 사용된 경우와 참조되는 변수로 사용된 경우를 별도로 조사하여 변경되는 변수 집합은 무조건 관련 집합에 포함시키고, 문장에서 참조되는 변수들은 문장들을 다시 비교하여 기준 변수와 관련된 문장만을 추출하여 관련 집합에 포함시킨다. 제안한 알고리즘은 C 언어를 대상으로 실험한 결과 정확하고 수행 가능한 동적 조각을 추출하였고, 기존의 방법들보다 관련 문자을 찾기 위한 문장의 비교횟수를 평균 42%까지 감소시켰다. 기준 변수가 많을수록 기준 변수와 관련이 없는 변수가 많을수록 문장의 비교 횟수가 현저하게 감소하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1605-1608
• /
• 2003

조직이 가지고 있는 정보를 공개하거나 조직 내부의 업무 공유를 위해, 데이터베이스로 관리하고 있는 정보를 동적으로 구성하여 보여주는 동적 웹 페이지 작성이 필요하다. 동적 웹 페이지 작성은 스크립트 언어를 사용하여 프로그램하는 것이 보편화 되어 있으며, 이로 인해 개발자의 성향에 따라 스크립트 소스가 작성됨으로써 어플리케이션 프로그램의 비 정형화 및 비 표준화를 야기하고 결과적으로 프로그램 개발 생산성, 유지보수성, 그리고 재사용성을 저하시킨다. 본 연구에서는 데이터베이스 관련 웹 페이지 패턴을 분석하여 정형화된 스크립트 모델을 작성하고, 동적 웹 페이지 자동 생성 프로그램을 개발하여 웹 페이지 개발 생산성 항상, 유지 보수성 향상, 그리고 프로그램 재사용성 향상을 가져오도록 구현하였다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1997년도 추계학술대회발표논문집; 홍익대학교, 서울; 1 Nov. 1997
• /
• pp.29-32
• /
• 1997

오늘날 비지니스 환경은 전역적인 경쟁으로 인해 비지니스 수행 비용의 감축, 새로운 서비스와 제품의 빠른 개발을 강조하고 있다. 이러한 환경하에서 워크플로우 시스템이 솔루션으로 주목받고 있으며, 최근에는 워크플로우에 관련된 표준기술의 정립과 분산객체기술의 발전으로, 이질적인(heterogeneous) 분산환경으로 적용 범위가 넓어지고 있다. 그러나 비즈니스 프로세스의 동적인 특성이 워크플로우 시스템의 실제 응용에서 어려움으로 대두되고 있다. 본 논문은 동적인 환경에 적응성을 가지는 워크플로우 관리기의 요구사항을 파악하고 이를 바탕으로 새로운 시스템 구조를 제안하고자 한다. 제안된 구조는 워크플로우 엔진을 최소화하여 처리 개체들의 자치성을 보장하고, 이를 통해 프로세스 실행시에 발생하는 동적인 상황에 적응성을 제공한다.

• 에너지공학
• /
• 제8권2호
• /
• pp.213-223
• /
• 1999

최근 원자력발전소의 안전계통 소프트웨어는 신뢰성을 향상시키기 위해 ANSI/IEEE-ANS-7-4.3.2-1982 기준에 따라 확인 및 검증이 이루어지고 있다. 이 규정은 안전관련 소프트웨어가 정적 및 동적 환경에서 시험되어야 한다고 요구하고 있다. 부적절노심냉각감시계통의 경우에 정적시험 절차 및 관련기술들은 개발되었으나 동적시험 절차 및 관련기술들은 개발되지 않았다. 따라서, 본 논문에서는 미개발된 기술들을 논의하고, 동적시험 절차와 시험 입력자료 생성 프로그램을 제안한다. 이 프로그램의 성능은 울진 3,4호기 최종 안전성 분석 보고서의 사고해석 결과를 사용하여 확인하였다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1992년도 정기총회및학술발표회
• /
• pp.257-266
• /
• 1992

지금까지는 데이터의 무결성 보장을 위해 데이터베이스의 개념적 설계단계에서 트랜잭션 모델링은 데이터의 무결성 성질만을 언급하였고 보안 성질은 표현하지 못하였다. 또한, 데이터 모델에서 데이터의 동적 성질을 모델링하는 트랜잭션은 데이터의 무결성을 완전히 보장하기 어려웠다. 응용영역의 효과적인 분석과 설계를 위해서는 데이터 모델링에서 객체, 속성, 관련성 등과 같은 정적 성질 반만 아니라 데이터의 무결성과 보안성을 보장하는 동적 성질의 모텔링이 필요하다. 본 논문은 데이터의 무결성과 보안성 정보를 표현하는 보안 객체 관련성 Secure Object-Relationship Model: SOREM)에서 보안성이 첨가되어 자동으로 생성되는 기본 연산을 바탕으로 응용 트랜잭션을 모델링 하는 방법을 제시한다. 또한, 보안 트랜잭션 모델링 과정을 정확하고 용이하게 수행하기 위한 보안 트랜잭션 정의언어(Secure Transaction Definition Language : STDL)를 사용하여 보안 트랜잭션 모델링 자동화 도구를 X 윈도우 환경에서 설계 및 구현하였다.

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

본 논문에서는 동적 인스트러멘테이션을 적용한 동적 바이너리 분석 툴들에 대해 비교 분석을 수행하였다. 비교 분석은 각 툴들에서 공통의 항목에 맞는 특성 값들을 도출하여 비교함으로써 동일한 상황에서 툴들의 특장점을 확인할 수 있고, 각 특징에 따른 기술적인 배경을 뒷받침하여 더 나은 동적 분석 툴을 만들 수 있는 발판을 마련하였다. 이를 위해 DynamoRIO, DynInst, Pin, Valgrind의 4가지 동적 분석 툴을 지원 가능 플랫폼, 실행 메카니즘의 컨셉, 인스트러멘테이션 가능 범위, 성능, 라이선스와 관련된 입수 가능성의 5가지 주요 항목으로 비교 분석을 수행하였다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(1)
• /
• pp.309-314
• /
• 1996

가압 경수로형 원전 안전정지/ 안전 주입 변수와 관련된 계기는 관련 기술 기준에 따라 정기 보수시 교정이 이루어지면, 정지 신호를 모의 주입하여 물리량 검출기로 부터 원자로 정지집계 권선의 풀림시간까지의 총 응답 시간이 사고해석시 가정된 계통의 응답 지연시간이내에 들어 있는 지를 확인한다. 이 정지 신호에 응답하는 동적 보상기의 특성과 관련하여 설계과정에서 삽입된 근사화 오차에 대한 정략적인 평가가 이미 알려진 바 있고, 시간 응답 측정시 삽입되는 지연 요소로 인한 오차도 이에 포함시켜 분석한 바 있어 실제 교정시 정밀도 향상을 위하여 활용하고 있다. 이 논문을 통하여 원자로 정지계통의 응답시간 측정시 노 냉각수 평균 온도 변화율 동적 보상 미분-지연 카드에 모의입력으로 스텝신호를 주입할 경우, 이를 과도하게 큰 신호로 인식하여 매우 짧은 시간(1초 이내)에 응답되고, 스텝신호대신 1%P.U./초로 평균온도 변화율만을 주입할 경우, 보다 늦게 응답됨을 밝혔다. 따라서 모의 시험 방범에 있어서 입력 선택을 적합하게 하여야만 계통의 건전성을 응답시간으로 확인한 수 있는 데, 이에 적합한 모의 입력 방법을 제안하였다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(1)
• /
• pp.469-474
• /
• 1998

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (B)
• /
• pp.214-216
• /
• 2006

온라인 정보가 증가함에 따라 많은 양의 정보 중에서 사용자가 원하는 정보를 정확하고 신속하게 찾아 주는 문서 여과의 중요성 또한 증가하고 있는 추세이다. 본 논문은 문서 여과 문제를 이진 문서 분류 문제로 보고, 나이브 베이즈 분류기를 동적인 문서 여과 목적으로 사용하였다. 이때 사용자가 자신의 관심 분야에 해당하는 주제를 제대로 여과 받기 위해서 학습 대상으로 삼아야 할 학습문서의 범위와 관련성 있는 문서를 제대로 여과 받기 위해서 체크해야 하는 관련성 표기 비율에 따른 분류기의 성능에 대하여 실험을 하였다. 코사인 유사계수를 이용한 여과 방법과의 성능도 비교 실험하였다. 실험 결과 나이브 베이즈 이진 분류기는 문서집합의 크기가 일정한 정도일 때 관련성 있는 문서가 모두 표기되지 않더라도 여과에는 큰 영향을 미치지 않음을 볼 수 있었다.

• 재무관리연구
• /
• 제16권2호
• /
• pp.337-364
• /
• 1999

본 연구에서는 국내 주가지수선물시장과 현물시상간의 일중 가격 및 가격변동성의 선-후행관계를 실증적으로 분석함으로써 양 시장간의 동적관련성을 살펴보고자 하였다. 먼저, 상관관계분석의 결과는 KOSPI 200 주가지수선물수익률과 현물수익률, 그리고 주가지수선물수익률자승과 현물수익률 자승간에 유의한 교차상관관계가 존재하는 것으로 나타났다. 수익률의 선-후행관계를 살펴보기 위한 주가지수선물수익률의 시차변수들과 현물수익률간의 다중회귀분석의 결과는 주가지수선물수익률이 현물수익률을 약 15분 정도 선행하는 것으로 나타났으며, 이러한 현상은 현물수익률에 존재할 수 있는 비동시적 거래의 영향을 통제한 경우에도 비록 그 강도가 약하기는 하지만 여전하였다. 다음으로, 수익률 변동성의 선-후행관계를 살펴보기 위해 Grammatikos-Saunders (1986)가 제시한 무조건부 변동성의 추정치인 로그수익률자승을 사용하여 분석한 결과 주가지수선물수익률의 변동성이 현물수익률의 변동성을 약 10분 정도 선행하는 것으로 나타났으며, 이러한 결과는 비동시적 거래의 영향을 통제한 경우에도 동일하였다. 또한, Nelson(1991)의 EGARCH모형을 사용하여 수익률의 변동성을 추정한 후 이를 갖고 분석한 결과, 특히 비동시적 거래의 영향을 통제한 경우에는 주가지수선물시장과 현물시장의 수익률 변동성간에 선-후행관계가 존재한다는 것을 부정할 수 없었다.