• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• 한국인터넷방송통신학회논문지
• /
• 제22권4호
• /
• pp.81-86
• /
• 2022

본 연구에서 csv포맷으로 구조화된 파일 데이터의 컬럼의 도메인을 자동 판별하는 방법을 제안한다. 데이터와 데이터 간 융합을 통해 새로운 데이터를 생성할 수 있고, 이들 새로운 데이터가 중요한 자원이 되기 위해서는 조인 되는 컬럼의 일관성이 유지되어야 한다. 데이터 품질을 측정하기 위한 방법 중의 하나가 도메인 기반 품질 진단 방법이다. 도멘인이란 각 컬럼의 성격을 규정하는 가장 광범위한 지표이므로 이를 자동으로 판별하는 방법이 필요하다. 기존의 연구에서는 관계형 데이터베이스의 도메인 자동 판별이 주로 연구 되었지만 본 연구는 파일데이터의 특성을 이용하여 도메인을 자동화 할 수 있는 모델을 개발하였다. 파일데이터의 도메인 판별을 특화하기 위하여 정규표현식을 이용하여 데이터를 단순화 하고 이를 패턴화 하였고, 컬럼명에 해당하는 데이터 헤더의 내용을 분석하여 사용된 접미사를 분석하여 파생변수로 사용하였다. 정규표현식과 접미사의 파생변수를 추가하였을 때 기존 방법인 87%의 정확도 보다 큰 95%의 정확도로 도메인을 자동 판별하는 결과를 도출하였다. 본 연구는 공공데이터 품질진단에 자동화 방법론을 제시하여 품질 측정 기간 및 인원을 줄일 수 있을 것으로 기대된다.

• 융합보안논문지
• /
• 제22권5호
• /
• pp.95-105
• /
• 2022

육·해·공군은 다영역작전에서 활용할 수 있도록 4차 산업혁명 기술을 접목한 무기체계 개발을 위해 다양한 노력을 하고 있다. 새로운 기술이 적용된 무기체계를 통해 통합 전투력을 효과적으로 발휘하기 위해서는 각각의 무기체계가 정보를 원활하게 송·수신할 수 있는 네트워크 환경의 구축이 필요하다. 이를 위해선 각 무기체계의 정보교환요구량(IER, Information Exchange Requirement)에 대한 분석이 필수적이나, 현재까지 진행된 많은 정보교환능력 분석 연구는 실제 네트워크의 다양한 고려 요소를 충분히 반영하지 못하고 있다. 따라서 본 연구는 기존의 정보교환 요구능력분석 연구들의 연구 방법과 결과를 면밀하게 분석하여 IER 분석시에는 메시지 자체의 크기와 네트워크 프로토콜 헤더의 크기, 전술네트워크의 송수신 구조, 정보 유통 과정, 메시지의 발생 빈도 등을 고려해야 할 필요성을 제기한다. 이어서 향후 IER 예측시에 활용이 가능하도록 푸아송 분포와 확률생성함수를 이용하여 정보교환요구량을 확률 분포로 계산하는 기법을 제시한다. 메시지 목록과 네트워크 토폴로지의 샘플을 이용하여 확률 분포의 계산 결과와 Network Simulator 2를 활용한 시뮬레이션 결과를 상호 비교하여 이 기법의 타당성을 입증한다.

• 터널과지하공간
• /
• 제34권3호
• /
• pp.185-195
• /
• 2024

인천도시철도 1호선 검단연장선 1공구 건설공사는 국내 최초로 로드헤더와 TBM 장비가 함께 적용되었다. 쉴드TBM 터널 구간은 1,057 m이며, 대부분 암반으로 구성 되어있으며 공항철도 및 경인아라뱃길 하부 터널 구간 공사를 포함하고 있다. 굴진을 위해 7.8 m 토압식 쉴드TBM 장비가 투입되었으며, 상·하선 구간의 평균 월굴진율은 239.1 m이고, 최대 월굴진율은 334.5 m이다. 본 기술기사에서는 인천도시철도 1호선 검단연장선 1공구 쉴드TBM 터널 굴진 실적을 중심으로 쉴드TBM의 생산성을 종합적으로 평가해 보았으며, 성공적인 쉴드TBM 터널 공사 수행에 있어서 유용한 자료를 제공하고자 한다.

• 트랜스-
• /
• 제7권
• /
• pp.103-121
• /
• 2019

다큐멘터리 영화에서 인터뷰가 전혀 없는 경우도 있지만 인터뷰가 있는 경우 연출자는 인터뷰를 활용하여 본인의 주장을 제시하고 관객들이 그것을 따르게끔 유도한다. 인터뷰는 인물 중심의 다큐멘터리에서 전반적인 내용을 이끌어나가는 경우가 많기 때문에 무엇보다 중요한 역할을 차지한다. 어떤 연출가는 일반 대화 형식의 인터뷰 스타일로서 연출자의 질문과 인터뷰이의 답변이 모두 드러나는 형식의 인터뷰를 선호한다. 반대로 연출자의 질문은 배재된 채 인터뷰이의 답변으로만 스토리를 전개시켜나가는 방식을 채택하는 연출자들도 있다. 그렇다면 우리는 두 가지 방법을 사용한 다큐멘터리 스타일을 파악하여 새로운 시각을 통한 관람이 필요할 것이다. 다큐멘터리 영화 제작에서는 윤리적 쟁점이 항상 중심이 되고 "사실"을 토대로 한다는 전재가 있기 때문에 다큐멘터리가 지니고 있는 영향력은 매우 크다. 그러나 이러한 '사실'이 과장되거나 조작될 수 있는 부분은 존재한다. 그렇기에 관객들은 다큐멘터리 제작자의 의도를 파악하는 것이 좋을 것이다. 또한 다큐멘터리에 관한 연구는 지금까지 끊임없이 논의되고 있지만 이러한 인터뷰가 다큐멘터리 영화에서 어떤 방식으로 사용되고 있는지에 대한 언급은 찾아보기 힘들다. 실제로 두 종류의 다큐멘터리는 인터뷰 연출방식에서부터 큰 차이를 보이기 때문에 이러한 차이점이 어떤 측면에서 두드러지게 나타나는지를 살펴보는 것이 다큐멘터리의 본질을 파악하고 이해하는데 우선적으로 필요할 것이다. 이 연구에서는 마이클 무어 감독의 <볼링 포 콜롬바인>(2002)과 <식코>(2007)를 바탕으로 인터뷰에서의 감독의 질문 형태를 분석하고 감독의 목소리가 개입이 될 경우 인터뷰의 흐름이 어떤 방식으로 바뀔 수 있는 지를 살펴본다. 반대로 감독의 목소리가 배제된 채 인터뷰이의 말로만 내용이 구성되어있는 김일란과 홍지유 감독의 <두개의 문>(2011)과 Jim Butterworth, Aeron Lubarsky, Lisa Sleeth 감독의 <서울기차>(2005), 그리고 팀 헤더링톤과 세바스찬 정거 감독의 <레스트레포>(2010)에서의 인터뷰를 바탕으로 디졸브, 크로스 커팅, 플래시백 등의 편집 기술이 감독의 주관적인 입장을 어떻게 대변하는지 연구해보고 그에 따른 표현 양식을 분석한다.