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

소프트웨어 버스마크는 프로그램을 식별하는데 사용될 수 있는 프로그램의 고유한 특징을 말한다. 본 논문에서는 자바의 연산자 스택 정보에 기반한 자바 프로그램 버스마킹 기법을 제안한다. 자바의 연산은 스택을 중심으로 이루어지기 때문에 스택 정보로부터 프로그램의 고유한 특징을 얻어 낼 수 있다. 본 논문에서 제안한 버스마킹 기법을 평가하기 위해서 서로 다른 프로그램을 구별할 수 있는 신뢰도와 프로그램 최적화나 난독화에 견딜 수 있는 강인도에 대한 실험을 하였다. 실험 결과로부터 본 논문에서 제안하는 버스마크가 강인도를 유지하면서 프로그램의 특성을 표현하고 있음을 확인할 수 있다.

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

소프트웨어 버스마크는 프로그램을 식별하는데 사용될 수 있는 프로그램의 고유한 특징을 말한다. 본 논문에서는 자바 메소드의 정적 트레이스 정보에 기반한 자바 버스마킹 기법을 제안한다. 정적 트레이스는 런타임 실행 절차를 반영한다는 점에서 동적 버스마크의 장점이 있고, 정적 분석으로 추출하기 때문에 라이브러리나 함수 단위에 적용가능하다는 정적 버스마크의 장점도 있다. 본 논문에서 제안한 버스마킹 기법을 평가하기 위해서 서로 다른 프로그램을 구별할 수 있는 신뢰도와 프로그램 최적화나 난독화에 견딜 수 있는 강인도에 대한 실험을 하였다. 실험 결과로부터 본 논문에서 제안하는 버스마크가 신뢰도를 유지하면서 기존 방법보다 강인한 버스마크임을 확인할 수 있다.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 1999년도 추계 학술대회논문집
• /
• pp.201-206
• /
• 1999

현재 전세계적으로 과한 기술 연산용 리눅스 클러스터에 대한 연구와 개발이 진행되고 있는 추세이다. 본 논문에서는 펜티엄 프로세서와 알파 프로세서 및 고속 이더넷을 이용한 리눅스 클러스터를 구현하고 이를 전산유체역학 분야에 적용하기 위한 선행연구로서 NAS의 병렬 벤치마크 프로그램인 NPB를 사용하여 리눅스 클러스터들의 성능을 비교 분석하였다. NPB 프로그램은 전산유체역학 분야의 해석프로그램에서 널리 이용되는 알고리즘들로 구성된 벤치마크의 프로그램으로 이를 이용한 성능 평가의 결과는 향후 리눅스 클러스터에서 실제 전산유체역학 코드들의 성능을 나타내는 중요한 지표가 될 수 있다. NPB 벤치마크 결과 리눅스 클러스터는 고가의 슈퍼컴퓨터에 비해 전산유체역학 분야에서 높은 가격 대 성능비를 보임을 알 수 있으며 이를 통하여 저비용 슈퍼컴퓨팅의 가능성을 제시하고자 한다.

• 문화기술의 융합
• /
• 제5권1호
• /
• pp.67-75
• /
• 2019

본 연구는 교과기반 프로그램학습성과 평가를 위한 전산시스템 개발 및 적용 사례를 제시하여 프로그램학습성과 평가의 실효성을 높이기 위한 목적으로 실행되었다. 본 연구는 교과기반 프로그램학습성과 평가를 위한 전산시스템을 개발하고 개발된 전산시스템 적용사례를 제시하는 방법론적 연구이다. 본 연구의 목적을 달성하기 위해 먼저, 시스템 개발 생명주기에 따라 요구도 조사를 실시한 후 그 결과를 전산시스템 개발에 반영 하였다. 다음으로 개발된 전산시스템을 직접 적용해 본 교수들을 대상으로 평가를 실시하였다. 전산시스템 개발을 통해 졸업시점에 이른 학생들의 개인별, 성과별 프로그램학습성과가 달성되었는지에 대한 모니터 및 CQI 수행이 용이하게 되었으며, 미달성 프로그램학습성과 및 학생에 대한 원인분석과 개선방안을 모색하는 것이 가능하게 되었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 춘계학술발표대회
• /
• pp.424-427
• /
• 2009

소프트웨어 버스마크는 프로그램을 식별하는데 사용될 수 있는 프로그램의 고유한 특징을 말한다. 본 논문에서는 자바 메소드의 제어 흐름 그래프 유사도에 기반한 자바 버스마크를 제안한다. 제어 흐름 그래프 유사도는 노드의 유사도와 에지의 유사도로 나누어 계산하였다. 노드의 유사도는 인접 노드의 유사도를 함께 고려했으며, 에지 유사도는 이미 매칭된 노드들 사이의 거리를 측정하는 방법을 사용했다. 본 논문에서 제안한 버스마크를 평가하기 위해서 서로 다른 프로그램을 구별할 수 있는 신뢰도와 프로그램 최적화나 난독화에 견딜 수 있는 강인도에 대한 실험을 하였다. 실험 결과로부터 본 논문에서 제안하는 버스마크가 기존의 정적 버스마크보다 신뢰도가 높으면서도 난독화나 컴파일러 변경에 강인하다는 것을 확인하였다.

• 전산구조공학
• /
• 제3권2호
• /
• pp.13-29
• /
• 1990

구조해석 및 설계분야에서의 컴퓨터 이용은 이미 일반화 되어 수많은 프로그램들이 개발되어 사용되고 있다. 70년대 초에 SAP, NASTRAN 같은 범용 해석프로그램이 개발되어 보급되면서, 구조해석 및 설계업무에서의 컴퓨터의 이용은 확산되었다. 이제는 국내의 소규모의 용역회사나 설계사무소에서도 컴퓨터를 이용하여 구조해석 및 설계를 하는 것이 상당히 보편화되었다고 할 수 있다. 구조해석 및 설계에 사용되는 컴퓨터프로그램은 SAP, STRUDUL 같은 대형 범용 프로그램에서부터 특수한 구조물을 해석 또는 설계하기 위하여 개발된 전용 프로그램까지 매우 다양하다. 또한 수많은 프로그램들이 개발되었기 때문에, 자기에게 당면해 있는 문제를 해결하기 위하여 기존의 프로그램 중 어떤 것을 선택하는 것이 가장 효율적인 것인가, 또는 새로운 프로그램을 개발해양 하는 것인가를 결정하기 어려운 경우가 많다. 이러한 관점에서 국내에서 현재 사용 또는 판매되고 있는 구조해석 및 설계용 프로그램의 현황을 조사하여, 그 결과를 정리하였다.

• 전산구조공학
• /
• 제19권3호
• /
• pp.17-22
• /
• 2006

• 경영과학
• /
• 제2권
• /
• pp.59-71
• /
• 1985

선형계획법은 경영과학 (Operations Research)에 있어서 가장 널리 활용되고 있는 모형중에 하나이다. 그래서 선형 계획법과 같이 깊이 연구된 모형도 없을 것이며 이 모형과 같이 다양한 전산프로그램이 있는 모형도 없을 것이다. 전산기 제조회사는 거의 모두 자체 선형계획법용 프로그램을 제공하고 있으며 예를 들면 IBM MPSX/370, CDC APEX III, UNIVAC MPS, HONEYWELL ALPS, FACOM LIPS 등이 있으며 전산기 제조회사가 아니더라도 독자적으로 선형계획법 프로그램을 개발하여 제공하는 곳도 있다.(중략)

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 춘계학술발표대회
• /
• pp.942-945
• /
• 2009

유한차분시간영역 방법은 전자기파 관련 분야의 전산모사에 많이 사용되는 수치해석기법이다. 이 방법을 이용하여 구현한 전산모사 프로그램은 많은 계산 자원 필요로 하기 때문에 병렬 계산 환경을 이용하게 되는 경우가 많다. 병렬 계산 환경에서 전산모사를 수행할 경우, 병렬로 수행되는 각 프로세스 간의 통신 속도와 네트워크의 지연 시간은 계산의 병목 현상을 초래하여 전체적인 성능을 저하시키는 원인이 된다. 따라서, 본 논문에서는 MPI의 지속 통신 메커니즘을 이용하여 병렬 프로세스 간 동기화 속도를 증가시킴으로써 유한차분시간영역 전산모사 프로그램에서의 MPI 통신 성능의 향상을 꾀하고, 그 결과를 그래프로 도시하였다. 또한 기존의 양방향 통신과 단방향 통신 메커니즘을 사용했을 때의 성능과 비교/분석하여, 병렬 유한차분시간영역 전산모사 프로그램에 있어서 지속 통신 메커니즘의 장/단점을 제시하고, 그 효용성에 관해 논의한다.

• 전산구조공학
• /
• 제6권3호
• /
• pp.45-48
• /
• 1993

일반적으로 구조설계 실무자들은 컴퓨터 프로그램을 통한 구조물 해석시, 구조물의 안정성 여부로 인하여 한두번쯤은 고민을 하였을 것이라 생각된다. 본문은 해석프로그램이 언제 "구조물이 불안정하다"는 메시지를 출력하게 되는지, 왜 이런 문제가 발생하게 되는지와 함께 어떻게 이러한 문제에 대처해야 하는지에 대하여 설명하는 것을 목적으로 하고 있다.