• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 추계학술대회 논문집
• /
• pp.1988-1998
• /
• 2008

Performed was a survey to find the level of interest on passenger services using IT and smart sensor technology in connection with High Speed Train development in Korea. The survey respondents were sampled from the KTX passengers, KTX crews, Korail employees, IT or sensor experts, and rolling stock experts. The results of the survey were categorized as importance, urgency/necessity, importance vs urgency/necessity, improvement measure, preferable activities based on the trip length, and inconveniencies. By analyzing the results, service items that can be implemented to the High Speed Train were recognized. The results showed that a passenger tends to expect to have his/her comfort and convenience, an attendant safety and serviceability, a Korail employee information provision and serviceability, an IT/sensor expert technological implementation done, and a rolling stock expert implementation done in practical level.

• 한국군사과학기술학회지
• /
• 제20권5호
• /
• pp.688-699
• /
• 2017

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

• 한국시뮬레이션학회논문지
• /
• 제20권1호
• /
• pp.61-67
• /
• 2011

스마트 TV 시스템은 차세대 핵심 네트워크 서비스 중의 하나로서 통신과 미디어 산업에 급격한 변화를 가져올 것이다. 하지만, 스마트 TV 시스템은 동시접속자가 증가하면 서비스 품질이 급격하게 저하되는 문제가 발생하고 있다. 콘텐츠를 수많은 사용자에게 동시에 전송하는 것은 서버와 네트워크에 큰 부담으로 작용하기 때문이다. 서버의 수용능력의 한계는 서버 클러스터를 구성함으로써 어느 정도 해결할 수 있지만 네트워크의 수용능력의 한계는 부하와 혼잡의 발생 위치를 파악하고 추가적인 자원을 설치하여 해결하는데 어려움이 있다. 이를 해결하기 위해 현재까지 많은 기법들이 제안되었지만 기존의 연구들의 성능분석은 대부분 왕복시간(round-trip time), 다운로드 시간, 패킷 손실 비율과 같은 사용자 중심의 성능척도에만 초점이 맞춰져 있고 스마트 TV 서비스 품질에 중요한 영향을 미치는 동시접속과 전체 네트워크의 부하와 혼잡을 무시하는 경향이 있다. 본 논문에서는 실제 인터넷 테스트베드인 PlanetLab을 이용하여 스마트 TV 서비스 폼질에 중요한 영향을 미치는 사용자 그룹핑 알고리즘을 네트워크의 혼잡도와 부하중심으로 성능분석을 한다.

• 정보처리학회논문지D
• /
• 제8D권6호
• /
• pp.761-770
• /
• 2001

소프트웨어 산업이 급속하게 발전해감에 따라 정보 기술 업체간 경쟁이 더욱 심화되어 소프트웨어 재사용성, 적시성, 유지 보수성 등이 업체의 생명력으로 대두되면서 소프트웨어 컴포넌트 기술이 점차 각광을 받고 있다. 현재 몇몇 컴포넌트 생성 지원 도구들이 제공되고 있지만 컴포넌트의 식별, 모델링, 상세 설계, 코드 생성, 전개, 시험 등 컴포넌트 생성 전 과정을 밀접히 연계하여 지원하는 도구가 드물다. 또한, 특정 플랫폼에 의존적인 소규모 컴포넌트 생성에 중점을 두고 있어 사용자 관점의 다양한 규모의 컴포넌트 생성에는 제약이 따른다. 이 논문에서는 컴포넌트 생성에 연관된 모든 과정을 지원하는 컴포넌트 모델링 및 생성 지원 도구의 설계와 프로토타입 구현에 대해 기술한다. 컴포넌트 모델링은 영역 고유의 비즈니스 로직의 재사용 측면에서 컴포넌트 플랫폼 아키텍쳐에 관계없이 개념적인 컴포넌트의 식별 및 모델링을 지원한다. 상세설계 및 코드 생성 부분은 일차적으로 J2EE 플랫폼 아키텍쳐에 의존적으로 지원되며 설계 모델과 소스 코드의 일관성을 동적으로 유지시키는 Round-trip Engineering 기능을 지원한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권2호
• /
• pp.108-118
• /
• 2005

원자력 발전소의 디지털 제어 시스템은 안전성이 중요시되는 safety-critical 소프트웨어로서 충분한 수준의 안전성을 보장하기 위해서 여러 기법들이 적용되고 있다. 특히, 정형명세 기법은 개발의 초기 단계에서 소프트웨어 요구 사항들을 명확하고 완전하게 명세하도록 유도함으로써 안전성을 크게 향상시킬 수 있는 기법으로 인정받고 있다. 본 논문에서는 정형명세 기법인 NuSCR을 이용해서 작성된 요구사항 명세로부터, 설계 단계의 내용으로 사용될 수 있는 PLC 기반의FBD 프로그램을 체계적으로 생성하는 기법을 제안하고 있다. 제안된 기법은 기존의 수동 명세 작업에서 발생할 수 있는 오류들을 크게 줄일 수 있으며, 소프트웨어의 개발 비용과 기간을 줄일 수 있다. 또한, 제안된 기법의 유용성을 증명하기 위해서, 현재 KNICS에서 개발 중인 DPPS RPS의 BP를 구성하는 트립 논리 중의 하나인 고정 설정치 상승 트립을 예제로 설명하고 있다.

• 한국정보처리학회논문지
• /
• 제5권8호
• /
• pp.1997-2012
• /
• 1998

병렬 시스템에서 순차 자바 프로그램을 재 사용할 수 있기 위해서는 자바 프로그램 내에 존재하는 병렬성을 찾아내는 것이 중요하다. 자바 프로그램을 병렬 시스템에서 실행할 경우 루프는 전체 수행 시간 중 많은 부분을 차지하므로 병렬성 검출의 기본이 되지만 데이터 종속으로 인하여 완전한 병렬 수행을 쉽게 이룰 수 없다. 따라서, 본 논문은 기존의 중첩 루프 구조를 갖는 자바 프로그래밍에서 데이터 종속성 분석에 의한 종속 그래프를 구성하여 묵시적 병렬성을 검출하는 방법을 제안한다. 또한 재구성 컴파일러에 의하여 자바 원시 프로그램을 자바 프로그래밍 언어 자체에서 지원하는 다중스레드 기법으로 변환하여 병렬 시스템에서 실행하는 방법을 제안한다. 스레드 문장으로 변환된 프로그램에 대해 루프의 반복계수와 스레드 수를 매개변수로 하여 성능 분석을 하였다. 재구성 컴파일러에 의한 장점은 사용자의 병렬성 검출에 대한 오버해드를 줄이고, 순차 자바 프로그램에 대한 효과적인 병렬성 검출을 가능하게 하여 병렬 시스템에서 실행 시간을 단축할 수 있다.

• 한국가스학회지
• /
• 제22권4호
• /
• pp.63-73
• /
• 2018

잉여전력 등을 활용한 에너지저장시스템 분야에 기술에 관심이 집중되고 혁신적인 기술진보가 이루어지고 있다. 다양한 에너지저장시스템 분야 중 가스액화 방식을 활용한 액화공기에너지저장 시스템은 상당히 성숙된 기술로 알려져 있고, 높은 단위 에너지 밀도와 설치에 따른 지형적 제약이 거의 없으며 수명이 긴 저장 시스템이라는 많은 장점에도 불구하고, 단일공정 (공기액화-재기화 사이클)의 낮은 사이클 효율로 인해 상업화에 한계가 있었다. 본 연구에서는 낮은 사이클 효율을 개선하고자 2종류의 냉매(R-600a 와 메탄올)을 이용한 냉매사이클을 공기 액화 공정에 활용하여 사이클 효율을 향상시키고, 공기 압축시 발생하는 압축열을 열매체유 순환 사이클에 이용하여 이를 액화공기 재기화 공정의 터빈 입구 온도를 높이는데 활용하여 전력생산량을 추가적으로 증가시킴으로써 사이클 효율을 획기적으로 향상시킬 수 있는 가능성을 Aspen HYSYS 공정 모사 프로그램을 활용하여 확인하였다.

• 대한토목학회논문집
• /
• 제33권4호
• /
• pp.1559-1569
• /
• 2013

본 연구는 지역적 범위에 따른 화물자동차의 통행발생 특성을 비교 분석함으로써 지역간 및 대도시 화물수요모형 추정의 차이점을 도출하고 지역적 범위에 적합한 화물수요모형 개발의 필요성을 제시하고자 하였다. 지역간 및 대도시 화물자동차의 통행발생 특성을 분석하기 위하여 화물자동차 속성, 출발지 특성, 도착지 특성, 적재품목을 고려한 서열로짓모형을 구축하였으며, 이를 통하여 다양한 특성이 화물자동차의 통행발생에 미치는 영향을 정량적으로 분석하였다. 분석결과, 지역간 화물자동차와 대도시 화물자동차의 통행발생 특성은 화물자동차 속성, 출발지 특성, 도착지 특성, 적재품목에서 모두 서로 상이한 것으로 나타났다. 특히 지역간 화물자동차는 대도시와 달리 출발지 및 도착지 유형이 제조업이고, 출발지 및 도착지의 산업단지 생산액이 클수록 통행수가 많은 것으로 나타났다.

• 한국콘텐츠학회논문지
• /
• 제12권7호
• /
• pp.437-444
• /
• 2012

본 논문에서는 호남선과 같은 간선철도노선의 열차이용객을 합리적으로 추정하기 위하여, 호남선측의 10개 도시의 인구지표 및 경제지표, 지리적지표등 사회경제지표를 분석하였다. 기존의 연구결과는 통상적으로 인구, 두 지역간의 거리, 자동차대수라는 외생변수를 이용하여 간선철도 열차이용객의 수치를 추정하였으나, 도시면적이 커질수록 철도역으로 접근성이 불리해지기 때문에 철도수송수요예측의 외생변수로써 도시면적을 포함시키는 것이 바람직하며 본 연구에서 수행된 주성분분석결과 인구, 두 지역간의 거리, 도시면적을 고려한 결과가 실제 이용객 수치와 잘 부합하는 것으로 나타났다. 향후 호남고속철도가 개통되면 일반철도와 고속철도가 병행하여 운행되므로 두지역의 역간거리보다는 역간소요시간과 철도역까지의 도착시간이 더욱 중요한 변수로 고려되어야 할 것으로 판단된다.

• 조명전기설비학회논문지
• /
• 제22권9호
• /
• pp.111-119
• /
• 2008

본 논문에서는 최근 분산전원 확대보급에 따라 계량오차 발생, 변전소 CB 또는 Recloser, 수전설비 VCB의 OCGR 오동작, 배전자동화 시스템 거짓FI 정보발생 등 한전 배전계통에서 발생되는 오동작 현상에 대해서 원인분석을 수행하였고 그 원인은 변압기 결선에 의한 역 조류현상임을 규명하였다. 이러한 역 조류현상의 영향으로 배전계통의 3상 기본파 전류가 N상에서 동상이 되어 3배의 전류로 합산되었으며, 이 현상을 근거로 새로운 계통해석 방법을 제시하였다. 새로운 계통해석 방법을 적용하여 구간별 고장전류를 해석하였고, 역 조류현상 규명을 위해 변압기 결선형태 별로 역 조류 발생여부를 실험하였다. 또한 PSCAD/EMTDC로 실제 계통을 모의함으로써 역 조류에 의한 오동작 현상을 줄이기 위한 방법으로 중성선의 영상임피던스를 조절하는 방법을 제시하였다.