• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2008년도 제30회 춘계학술대회논문집
• /
• pp.25-30
• /
• 2008

본 연구에서는 Visual C++프로그램을 이용하여 램젯엔진시뮬레이션을 위한 코드를 생성하였다. 연구에 사용되어진 램젯엔진은 이상적인모델로 가정하였다. 우선, Visual C++에의해 만들어진 GUI프로그램을 이해하기위해 기초이론을 설명하였다. 주변에서 흔히 구할수 있고, 사용이 용이하며, 빠른계산이 가능한 Visual C++프로그램은 특히 GUI프로그램을 DOS Mode에서도 사용할 수 있게 해준다. GUI프로그램은 엔진흡입구의 초기입력값만 넣어주면, 나머지 스테이션의 초기입력값은 이 프로그램에 의하여 자동으로 계산되어진다. 이 프로그램의 결과는 널리사용되어지고 있는 상형툴인 GASTURB9의 결과와 비교하여 타당성을 검증하였다.

• 한국콘텐츠학회논문지
• /
• 제8권1호
• /
• pp.246-258
• /
• 2008

소프트웨어 산업은 21세기 정보화 사회의 발전에 있어서도 중요한 역할을 하고 있다. 소프트웨어 소스 코드의 소유권 분쟁이 발생 시 소유권을 증명하기 위해서는 원본의 소프트웨어 소스코드를 판별해야만 하는 문제점을 갖고 있다. 본 논문에서는 소프트웨어 소스코드의 원본 판별을 지원하기 위한 소프트웨어 소스코드의 디지털 라이센스는 소스코드의 예약어를 파싱하여 계층구조를 갖는 XML 파일로 표현하며, 복잡한 소스코드 대신에 소프트웨어 소스코드의 노드 패턴과 아키텍처 패턴인 트리 구조 형태로 표현할 수 있다. 그리고 디지털 라이센스에 의한 소스코드의 분류 가능성에 대한 시뮬레이션과 크립텍스 모델을 제안한다.

• 한국통신학회논문지
• /
• 제33권2C호
• /
• pp.167-172
• /
• 2008

2차원 바코드는 많은 정보와 데이터를 빠르게 검색할 수 있기 때문에 여러 산업분야에서 유용한 도구로써 인식되고 널리 사용되어지고 있다. 하지만 의 저장 용량은 아직도 제한적이다. 현재 사용되고 있는 바코드 중에서 최대의 용량을 저장 할 수 있는 인 Analog-Digital (AD)코드가 최근 개발되었다. 바코드의 데이터 저장 용량의 한계점을 극복하게 됨에 따라 바코드의 응용 범위를 더욱 확대할 수 있게 되었다. 본 논문에서는 AD코드와 Text To Speech (TTS)엔진을 이용하여 바코드에 저장된 정보를 음성으로 들려주는 임베디드 시스템을 구현하였다. 이 시스템은 시각장애인 뿐만 아니라 고령자들이 책 또는 신문의 정보를 손쉽게 획득하는 것을 가능하게 해준다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2008년 영문 학술대회
• /
• pp.499-502
• /
• 2008

This paper presents on research findings of how Visual C++ program can be used to generate codes capable of performing ramjet engine simulation To understand the diversity and applicability of this tool an arbitrary ramjet model will be considered for which generated output values will be compared with those from a commercial program GASTURB 9 iterated under the same input parameters. Several governing thermodynamic equations will first be discussed in order that we understand the fundamental idea behind values printed out on the GUI. C++ compiler was chosen as a tool of use due to its availability, ease of use, ability to compute functions faster and uniquely possible to make a stand alone GUI executable in DOS mode. The program is developed in such a way that given the ambient flight conditions, burner exit temperature and several geometry areas the program generates its own input values used in the succeeding stations. A close resemblance of output values that define performance and thermodynamic state of the engine was realized between GASTURB 9 and using this code made from C++ compiler.

• 한국시뮬레이션학회논문지
• /
• 제15권1호
• /
• pp.11-17
• /
• 2006

본 논문에서는 원전 계측제어시스템 구축을 위해 개발된 원전용 PLC 시뮬레이터의 설계 사항에 관해 소개한다. 원전용 계측제어시스템은 원전이라는 특수한 환경과 제약으로 말미암아, 일반적인 시뮬레이터 개발보다 엄격한 요건을 만족해야 한다. 이러한 요건으로는 다양한 테스팅을 통하여 제어 프로그램의 안정성을 보장할 수 있어야 하며, 다수의 계측제어 프로그램들을 고속으로 동시에 실행할 수 있어야 한다. 본 논문에서는 이러한 문제점들을 극복하고자 PLC 제어 프로그램의 컴파일러를 제작하여 C 코드 변환을 하게 된다. 제안한 방법에서는 검증용 상용 도구를 변환된 코드에 적용해 제어 프로그램의 안정성 평가를 할 수 있으며, Compiled-Code 시뮬레이션 기법을 이용하여 고속으로 실행 가능한 시뮬레이터를 자동으로 생성할 수 있다는 장점이 있다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2015년도 추계학술대회
• /
• pp.573-575
• /
• 2015

위성을 이용한 측위 장치인 GPS는 위치를 구하는 용도 뿐 아니라 항법, 시간 정보 획득 등 다양한 분야에 활용되며, 특히 미사일 등 정밀 유도무기의 정밀도를 향상시키는데 중요한 역할을 하고 있다. 그러나 민간에 공개된 상용 코드(C/A 코드)를 사용하는 GPS는 대전자전 기능이 없다. 그러므로, 다양한 재밍 기법에 취약하고, 암호화된 군용 코드(P 코드)의 경우에도 인접한 곳에서 잡음 재밍 공격을 가할 경우 취약할 수 있다. 본 논문에서는 GPS의 재밍 기법과 과거 북한의 GPS 재밍 사례에 대해 조사하고, 항재밍 GPS에 적용되는 기술에 대해 설명하였다.

• 정보처리학회논문지A
• /
• 제18A권3호
• /
• pp.109-114
• /
• 2011

IR(Intermediate Representation) 최적화 과정은 컴파일러 back-end의 중요한 부분으로서 sub-expression elimination, dead code elimination 등 최적화 기법들을 사용한다. 하지만 IR 최적화 단계에서 생기는 에러들을 검출하고 디버깅하는데 많은 어려움이 있다. 그 첫 번째 이유로는 컴파일 된 어셈블리 코드를 해독하여 에러를 체크하기 어렵고 두 번째로는 IR 최적화 단계에서 에러가 생겼는지 결정 짓기 어렵기 때문이다. 이런 이유들로 인하여, 우리는 C 레벨에서 IR 코드변환 무결점 여부를 체크하기 위한 기법들에 관한 연구를 진행하여 왔다. 우리는 MeCC(Memory Comparison-based Clone) 탐색기를 기반으로 하여, 최적화하기 전 IR코드와 최적화 한 후의 IR코드를 각각 C코드로 다시 변환한 뒤, 이 두 개의 C코드를 MeCC의 입력으로 주고, 결과의 일치 여부를 확인하는 방법을 사용한다. 하지만 MeCC가 완벽한 결과를 알려주지 않기 때문에, 우리는 각 IR 최적화 기법마다의 특징에 대한 정보를 사전에 처리해서 그 결과의 정확도를 높였다. 이 논문에서는 dead code elimination, instruction scheduling 및 common sub-expression elimination 등 최적화 기법들을 이용한 변환 코드들을 예시로 실험하여 최종적으로 MeCC에서의 C 레벨 코드의 정확한 에러 체크 동작여부를 보여준다.

• Steel and Composite Structures
• /
• 제5권5호
• /
• pp.395-405
• /
• 2005

This work introduces to the international scientific community the Chinese Code on fire safety design of steel building structures. The aim of the Code is to prevent the structure of a steel building subjected to fire from collapsing, ensure safe evacuation of building occupants, and reduce the cost for repairing the damages of the structure caused by fire. The main contents of the Code is presented in this paper, including the fire duration requirements of structural components, fundamental requirements on fire safety design of steel components, temperature increasing of atmosphere and components in fire, loading effect and capacity of various components in fire, and procedure for fire-resistant design of steel components. The analytical approach is employed in the Code and the effectiveness of the Code is validated through experiments.

• 정보보호학회논문지
• /
• 제28권3호
• /
• pp.605-615
• /
• 2018

사물 인터넷 시장 규모의 급격한 성장에 따라 임베디드 시스템에서 가장 많이 쓰이는 언어인 C/C++ 언어의 사용도 증가하고 있다. C/C++ 언어의 코드 품질을 향상시키고 개발 비용을 절감시키기 위해 소프트웨어 개발 전반부에서 수행 가능한 소프트웨어 검증기법인 정적 분석을 사용하는 것이 좋다. 많은 프로그램들이 정적 분석을 사용하여 소프트웨어의 안전성을 검증하고 있으며 많은 정적 분석 도구들이 사용 및 연구되고 있다. 본 논문에서는 Clang 정적 분석도구를 사용하여 검증된 시험 코드에 대한 보안 약점 검출 성능을 확인한다. 또한 소스 코드 난독화 기법인 구획 난독화, 데이터 난독화, 제어 흐름 난독화 기법이 각각 적용된 시험 코드에 대한 정적 분석 결과와 원본 시험 코드에 대한 정적 분석 결과를 비교하여 소스 코드 난독화 기법에 따른 Clang 정적 분석 도구의 성능 영향을 분석한다.

• 전자공학회논문지B
• /
• 제32B권6호
• /
• pp.821-827
• /
• 1995

This paper presents a process control language for constructing multiloop control system. which include advanced control algorithms. In order to make controller, this language uses function blocks that do specific operations. Then, the total control algorithm is a set of function blocks, of which each block is represented as a function code. The function code is a line of simple ASCII codes denoting function, input, output, parameters. It is possible to use variables as input/output port of any block. Compared with other language using function block concept, the proposed one enables to use advanced control algorithms undefinitely, such as fuzzy, neural network, predictive controller, etc., because vector and matrix variables as input/output can be used freely in this language. To raise flexibility, we put an intermediate level, which is C-language code, between function code and target-dependent operation code.