• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권8호
• /
• pp.647-652
• /
• 2010

Esterel이라는 절차형(imperative) 동기(synchronous) 언어로부터 회로를 합성(synthesis)할 때, 하나의 동기장치(synchronizer)가 한 클럭에 중복사용되는 문제(schizophrenic parallel synchronizer)가 발생할 수 있다. 기존 컴파일러는 동기장치가 중복사용될 경우 동기장치를 복제하여 이 문제를 해결하고 있다. 본 논문은 동기장치가 중복사용되더라도 회로상/기능상 문제가 없는 조건을 제시하고, 이를 기반으로 소스코드를 분석하여 복제해야만 하는 동기장치를 찾아주는 알고리즘을 제안한다. 이 알고리즘은 컴파일러가 중복사용되는 동기장치들 중에서 꼭 복제해야만 하는 것을 알 수 있게 해 주어, Esterel 프로그램을 좀 더 작은 회로로 합성할 수 있도록 한다.

• 한국추진공학회지
• /
• 제11권4호
• /
• pp.26-37
• /
• 2007

통합 가상 엔진의 "Numerical Test Cell" 시험은 다분야 연계 해석을 통하여 하드웨어의 개발에 필요한 시간과 비용을 줄일 수 있다. 본 논문에서는 미국과 유럽에서의 전체 엔진 시뮬레이션 프로그램의 개발 활동과 NPSS를 바탕으로 관련 기술(공학 모델, 시뮬레이션 환경, 고성능 컴퓨팅)을 소개한다. 미국의 NASA Glenn 연구소는 기존의 코드들을 결합하고 기능을 개선하여 NPSS 개발 연구를 이끌고 있으며, 유럽에서는 대학, 연구소, 기업체로 구성된 VIVACE 컨소시움이 각 기관의 프로그램을 통합하여 PROOSIS를 개발하고 있다. 아울러 현재의 상황에 대한 고찰을 통하여 국내 개발의 가능성을 살펴보았다.

• KIEE International Transactions on Power Engineering
• /
• 제5A권4호
• /
• pp.416-424
• /
• 2005

At present, the Korean electricity industry is undergoing restructuring and the Cost Based-generation Pool (CBP) market is being operated in preparation of a Two Way Bidding Pool (TWBP) market. In deregulated electricity industries, an integrated power market simulator is one of the tools that can be used by market participants and market operators analyzing market behaviors and studying market structures and market codes. In this regard, it is very important to develop an electricity market simulator that reflects market code providing a market operation mechanism. This paper presents the development of an integrated market simulator, called the Power Exchange Simulator (PEXSIM), which is designed to imitate the Korean electricity market considering the various features of the market operating mechanism such as uniform price and constrained on/off payment. The PEXSIM is developed in VB.NET and composed of five modules whose titles are M-SIM, P-SIM, O-SIM, T-SIM and G-SIM interfacing the Access database program. To verify the features and the performance of the PEXSIM, a small Two Way bidding market with a 12-bus system and a One Way bidding market for generator competition will be presented for the electricity market simulations using PEXSIM.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제49권6호
• /
• pp.287-298
• /
• 2000

The UCA is a standard-based approach to utility communications which provides for wide scale integration of functional areas including customer interface, distribution, transmission, power plant, control center, and corporate information systems. Field devices in the power facilities require real-time communications, and they must be interconnected into fieldbus. This study introduces a method of implementing gateway that interfaces UCA and fieldbus. In this study, PROFIBUS and FOUNDATION Fieldbus are selected as candidate fieldbus protocols. Protocol interface in the gateway can be accomplished by mapping objects and services of UCA and fieldbus. MOst of the UCAs CASM objects and services are directly mapped into those of the application and user layers of fieldbus. However, some CASM services are not supported in the application and user layers of fieldbus. This study presents the method of implementing those services. In order to show that the implementation of interface is possible, this study presents pseudo-codes of interface program that maps the objects and services of UCA and fieldbus.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권11호
• /
• pp.661-670
• /
• 2008

만족가능성 처리기는 모델 검증 및 임베디드 프로그램 검증과 같이 소프트웨어 공학의 여러 분야에서 활용되고 있다. 만족가능성 처리기를 활용하기 위해서는 주어진 문제를 처리기의 입력인 CNF 형식으로 변환해야 한다. 그러나 이 형식은 소스코드나 소프트웨어 모델보다 표현력이 낮기 때문에 최적화된 변환이 요구된다. 본 논문에서는 "n개에서 인접된 $k{\leq}n$개 선택" 문제를 CNF형식으로 변환하는 최적화된 기법을 제시한다. 제안된 방법을 다양한 일본 퍼즐에 적용한 결과 우수한 성능이 입증되었다. 우리가 알고 있는 한, 인접성에 대한 최적화된 CNF 변환 연구는 거의 없다.

• 한국컴퓨터정보학회논문지
• /
• 제7권4호
• /
• pp.108-114
• /
• 2002

국어의 로마자 표기법 기본원칙을 모르더라도 웹 상에서 한글단어, 문장, 문서를 문자열(String)로 입력받아 국어의 로마자 표기 자동변환이 가능하게 설계 및 구현하였다. 특히, 표음 중심의 전사(Transcription) 표기법의 기계적 변환을 위해 알고리즘(algorithm)화된 음운법칙을 적용하여 소리글자로 자동 변환 후 정부 표준안인 국어 로마자 표기법 테이블에서 대응 글자를 참조하여 기계화 코드 변환이 가능토록 자동변환 알고리즘 설계하였으며, 유니코드(Unicode)와 아스키(ASCII)테이블에서 잘 쓰이지 않는 코드를 반달표(ˇ)와 어깻점(')등 특수부호로 할당하여 글꼴을 제작하였다. 또한 예외어 사전관리를 통한 예외 처리 문제에 대한 해결 방안을 제시하였으며, UML표기와 C++ 언어를 이용하여 사용자 편리성과 구현에 대한 모델을 제안하였다.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제13권4호
• /
• pp.241-252
• /
• 2013

Because of financial and safety concerns, there are needs for more accurate prediction of bridge behavior. Underestimation of the bridge load carrying capacity can have serious economic consequences, as deficient bridges must be repaired or rehabilitated. Therefore, the knowledge of the actual bridge behavior under live load may lead to a more realistic calculation of the load carrying capacity and eventually this may allow for more bridges to remain in service with or without minor repairs. The presented research is focused on the reliability evaluation of the actual load carrying capacity of existing bridges based on the field testing. Seventeen existing bridges were tested under truck load to confirm their adequacy of reliability. The actual response of existing bridge structures under live load is measured. Reliability analysis is performed on the selected representative bridges designed in accordance with AASHTO codes for bridge component (girder). Bridges are first evaluated based on the code specified values and design resistance. However, after the field testing program, it is possible to apply the experimental results into the bridge reliability evaluation procedures. Therefore, the actual response of bridge structures, including unintentional composite action, partial fixity of supports, and contribution of nonstructural members are considered in the bridge reliability evaluation. The girder distribution factors obtained from the tests are also applied in the reliability calculation. The results indicate that the reliability indices of selected bridges can be significantly increased by reducing uncertainties without sacrificing the safety of structures, by including the result of field measurement data into calculation.

• 한국지진공학회논문집
• /
• 제18권6호
• /
• pp.301-308
• /
• 2014

A suspension bridge is a type of bridge in which the beam is suspended by load-bearing cables. There are two classifications: the self-anchored suspension bridge has the main cable anchored to the bridge girders, and the earth-anchored suspension bridge has the main cable anchored to a large anchorage. Although a suspension bridge is structurally safe, it is prone to be damaged by various actions such as hurricanes, tsunamis and terrorist incidents because its cables are exposed. If damage to a cable eventually leads to the cable rupture, the bridge may collapse. To avoid these accidents, studies on the dynamic behavior of cable bridges due to the cable rupture have been carried out. Design codes specify that the calculated DAF (dynamic amplification factor) should not exceed a certain value. However, it has been difficult to determine DAFs effectively from dynamic analysis, and thus no systematic approach has been suggested. The current study provides a guideline to determine DAFs reliably from the dynamic analysis results and summarizes the results by applying the method to an earth-anchored suspension bridge. In the study, DAFs were calculated at the location of four structural parts, girders, pylons, main cable and hangers, with variations in the rupture time.

• 컴퓨터교육학회논문지
• /
• 제18권4호
• /
• pp.63-70
• /
• 2015

프로그램 소스코드는 텍스트를 기반으로 하는 정보이며 동시에 논리 구조를 포함하고 있는 복잡한 구문의 집합체이다. 특히 소스코드의 규모가 수만 라인에 이르는 경우 구조적, 논리적인 복잡함으로 인해 기존의 빅데이터 시각화 기법이 잘 적용되기 힘들다는 문제가 발생한다. 본 논문은 소스코드가 갖는 구조적인 특징을 시각화하는데 있어 필요한 절차를 제안한다. 이를 위해 본 논문은 파싱 과정을 거쳐 생성된 추상구문트리를 대상으로 프로그램의 구조특징을 표현하기 위한 자료형의 정의, 함수간 호출관계를 표현한다. 이들 정보를 바탕으로 제어 정보를 네트워크 형태로 시각화함으로써 모듈의 구조적인 특징을 개괄적으로 살펴볼 수 있는 방법을 제시한다. 본 연구의 결과는 대규모 소프트웨어의 구조적 특징을 이해하거나 변경을 관리하는 효과적인 수단으로 활용할 수 있다.

• 한국융합학회논문지
• /
• 제8권5호
• /
• pp.37-43
• /
• 2017

윈도우 운영체제(Operating System)에서 OS와 어플리케이션 프로그램 운영에 필요한 정보를 저장하기 위해 개발된 계층형 DB인 registry는 부팅에서 사용자 로그인, 응용 서비스 실행, 어플리케이션 프로그램 실행, 사용자 행위 등 모든 활동에 관여하기 때문에, registry를 분석을 통한 디지털증거획득이 많이 사용되고 있다. 최근 사용자가 인식하지 못하는 방법으로 악성코드가 시스템에 침투하여 귀중한 기술정보를 유출하거나 도용하여 금전적 피해가 많이 발생하고 있다. 따라서 본 연구에서는 고가의 디지털포렌식 프로그램 사용 없이 셰어웨어 어플리케이션을 이용하여 악성코드를 탐지하는 방법을 제시하여 해킹의 피해를 분석하고 동일한 피해를 예방하기 위해 본 연구를 진행하였으며, 악성코드를 탐지하고 분석하기 위해 고가의 상용프로그램을 사용하지 않고도 정확히 분석할 수 있기 때문에 학문적 기여도는 클 것으로 기대한다.