• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.456-459
• /
• 2007

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.281-284
• /
• 2008

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

• 한국전산유체공학회:학술대회논문집
• /
• 1999.11a
• /
• pp.201-206
• /
• 1999

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

• The Journal of the Convergence on Culture Technology
• /
• v.5 no.1
• /
• pp.67-75
• /
• 2019

The purpose of this study is to improve the effectiveness of Course Embedded Assessment(CEA) program through the development and application of the Program Outcomes Assessment System. This is a methodological study which is developing the Program Outcomes Assessment System based on Web-based CEA and applying it to assess the achievements of students by professors teaching them The Web-based CEA system has been developed by implementing a software development life cycle. First, a demanded survey was conducted for the system development, and the results were applied for developing the Web-based CEA. The CEA was used for assessing the achievement of students by professors charging them. Finally, another survey was performed to evaluate the effectiveness of the CEA in professors who experimented it. By implementing the Program Outcomes Assessment System, it is possible to monitor the achievement of the program outcomes and CQI of individual students at the time of graduation. Also It makes it possible to check the unaccomplished achievements of students, analyze the causes regarding uncompleted works, and find ways to enhance students to improve their ability.

• The Journal of Korean Institute for Practical Engineering Education
• /
• v.3 no.2
• /
• pp.83-92
• /
• 2011

The computer program for analysis of mechanical vibration has been developed using visual C++. This program is organized in a format similar to most standard texts on the mechanical vibration. This program consists of a number of menus to perform various calculations as well as a set of dedicated graphical user interfaces. Solutions to problems are given in both graphical and numerical forms. Numerical examples show the effectiveness and applicability of the program. This program can be utilized to analyze the vibration behavior of mechanical systems.

• Korean Management Science Review
• /
• v.2
• /
• pp.59-71
• /
• 1985

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.424-427
• /
• 2009

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

• Computational Structural Engineering
• /
• v.3 no.2
• /
• pp.13-29
• /
• 1990

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

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05b
• /
• pp.488-493
• /
• 1998

전도, 복사 및 대류 열전달을 모두 고려하여 VSC-24 핵연료 저장용기 각부위의 온도분포 및 Vent내의 유동을 해석할 수 있는 열전달해석 프로그램을 작성하였다. 기존의 저장용기 해석에서 여러 전산프로그램을 이용하여 온도분포를 구한 것과는 달리 핵연료집합체 내부의 복사 및 대류 열전달을 포함하였으며 MSB와 VCC를 분리하지 않고 PHOENICS 전산코드만을 이용하여 저장용기 전체에 대한 해석을 실시하였다 프로그램 검증은 저장용기에 대한 기존의 결과 및 법적규제치와 비교하였으며 만족할 만한 결과를 보여 주었다. 이를 토대로 몇가지 경우의 조건에 대한 열전달해석을 실시하였다.

• Computational Structural Engineering
• /
• v.19 no.3 s.73
• /
• pp.17-22
• /
• 2006