• 한국정보관리학회:학술대회논문집
• /
• 한국정보관리학회 1999년도 제6회 학술대회 논문집
• /
• pp.123-128
• /
• 1999

최근 급속히 발달한 인터넷을 통해 단순한 전자우편뿐만 아니라 학술 논문, 저작물 및 보고서, 계약서 등 실제 물리적인 문서를 표현하는 전자문서의 교환이 빈번하게 이루어지고 있다. 본 연구에서는 현재 사용되고 있는 전자문서 형식들인 가지고 있는 특성과 장단점을 비교 연구하였다. 우선 문서교환을 목적으로 하는 전자문서 형식이 가져야 할 특성으로 범용성, 신속성, 장치 독립성, 간결성, 확장성 등을 제시하고 이를 기준으로 현재 사용되거나 제안되고 있는 전자문서 형식들을 평가하였다. 특히 DVI, HTML, XML, SGML. PDF, Postscript 등의 문서 형식들을 대상으로 조사하고 평가하였다. 그 결과 연군개발정보센터에서 사용 중인 DVI 문서 형식이 한글 문서를 인터넷 상에 구현하는 가장 효율적인 방법 가운데 하나임이 증명되었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.391-394
• /
• 2010

기존의 M&S 프레임워크는 컴포넌트 간에 송수신되는 메시지의 구조가 유연하지 못한 문제점을 가지고 있다. 플러그인 기반 아키텍처는 소프트웨어를 구성하는 컴포넌트들을 플러그인 형태로 구현하여 컴포넌트간의 결합도를 낮추고 유연성 및 재사용성을 강화할 수 있는 구조를 가지고 있다. 이러한 아키텍처를 구성하는 각 컴포넌트는 메시지 지향 미들웨어 기반의 메시지 통신을 수행하게 되는데, 플러그인 간에 종속성이 생기지 않는 형태로 설계되고 구현되어야 한다. XML기반의 객체모델은 이러한 메시지 통신에 사용되는 메시지 객체의 구조를 정의한다. 이 객체모델은 사용자 정의 형식을 지원하며 이러한 형식을 조합하여 새로운 복합 형식을 정의하여 메시지 구조를 표현할 수 있도록 한다. 객체 모델에서는 각 사용자 정의 형식과 각 형식에서 사용하는 기본형(Primitive Type)의 클래스를 추상화하여 정의함으로써 객체 모델의 유연성을 높일 수 있는 구조를 가지고 있다.

• 한국항공우주학회지
• /
• 제45권7호
• /
• pp.566-573
• /
• 2017

항공기의 설계 안전성을 보장하기 위하여 형식증명을 받아야 한다. 형식증명을 받은 항공기의 설계가 중대하게 변경되는 경우, 형식증명을 새로 받거나 개정형식증명 또는 부가형식증명을 신청하여야 한다. 국제민간항공기구, 미국 및 유럽의 인증 규정에서 부가형식증명 대상이 되는 설계변경에 대하여 매우 추상적으로 정의하고 있으므로, 본 논문에서는 설계변경에 관한 세계 각국의 인증절차와 인증사례를 분석하여 부가형식증명 대상이 되는 "광범위하지 않은 중급 설계변경"을 판단하는 기준을 제시하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
• /
• pp.38-42
• /
• 1998

본 논문에서는 DEVS 형식론과 High Level Architecture에 기반을 둔 이 기종 시뮬레이션 환경의 구축에 대해 기술한다. DEVS 형식론은 여러 가지 방법으로 기술된 모델들을 동일한 형식론으로 간주하기 위해 사용되었다. 즉, 이산사건 모델링을 위한 세가지 세계관(world view)으로 기술된 시뮬레이션 모델들을 DEVS 형식론으로의 변환을 통해 전체적으로는 DEVS 형식론만을 사용한 것과 동일한 형태로 표현되도록 하였다. High Level Architecture는 시뮬레이션 수행시의 상호 연동성을 보장하기 위해 사용되었다. 이때, DEVS 형식론과 High Level Architecture에서의 시뮬레이션 시간 진행 방법이 다르기 때문에 이의 해결을 Synchronizer, EOS 방법을 제안하였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1995년도 제7회 한글 및 한국어 정보처리 학술대회
• /
• pp.258-263
• /
• 1995

마음과 기계의 관계에 대한 $G{\ddot{o}}del's$의 선언결론(disjunctive conclusion)은 마음과 정보처리형식체계의 논리적 동치성을 함의하고 있다. 그리고 $G{\ddot{o}}del's$의 불완전성 정리(Incompleteness Theorems)에 따르면 마음과 정보처리형식체계의 논리적 동치성은 무모순이며, 동치성 반증의 이론은 그 모델을 가질 수 없다.

• 한국콘텐츠학회논문지
• /
• 제21권3호
• /
• pp.10-22
• /
• 2021

모바일 뉴스 소비가 증가하고 있지만 지상파 방송사 뉴스 앱의 이용률은 낮다. 이 연구는 지상파 방송사 뉴스 앱의 개선에 필요한 요소를 찾기 위해 20대 이용자를 대상으로 사용성 평가를 수행했다. 모바일 뉴스 앱에서 제공되는 모바일 뉴스 콘텐츠 형식(기존 뉴스 형식, 재가공 형식, 뉴미디어 전용 형식)별로 효율성, 유효성, 만족도를 통해 문제점을 평가했고, 뉴스 주제(경성 뉴스, 연성 뉴스)와 방송사(MBC, SBS)의 차이를 포함해 분석했다. 실험 결과 모바일 뉴스 콘텐츠 형식에 따른 사용성에서는 유사한 문제점이 공통적으로 발견되었고 모바일 뉴스 콘텐츠 형식의 차이는 차별화된 사용성을 제공하지 않는 것으로 나타났다. 그러나 뉴스 주제 차원에서는 경성 뉴스와 연성 뉴스 여부에 따라 각 항목별로 다른 사용성이 드러났다. 이에 따라 이 연구는 뉴스 제작자들이 모바일 뉴스 콘텐츠를 제작할 때 뉴스 콘텐츠 형식보다는 내용 차원의 개선을 할 필요가 있다는 실무적인 함의를 제공한다.

• 전자통신동향분석
• /
• 제9권2호
• /
• pp.67-75
• /
• 1994

통신사업이 경쟁화되고 통신시장이 개방화 됨에 따라 각종 통신망에 접속되는 전기통신단말기기에 대한 신뢰성, 안전성 등을 확인하는 형식승인의 중요성이 높아지고 있으며, 일부 국가에서는 이러한 형식승인제도를 자국의 시장보호수단으로 활용하고 있는 실정이다. 따라서 우리도 국제동향을 신속히 파악하여 능동적으로 대처해야 할 것이다. 본 고에서는 OECD국가들을 중심으로 형식승인제도의 운영실태, 문제점 등을 분석하고 향후 개선 및 발전방향을 기술하였다.

• 지질공학
• /
• 제5권2호
• /
• pp.167-179
• /
• 1995

서울 지하철 8호선 설계시는 지보형식 설정을 위한 정량적 기준으로 RQD,N치 및 탄성계수의 3가지 요소들만이 사용되었다. 이러한 요소들로 얻어진 지보형식은 지질이나 불연속면의 방향성, 불연속면의 특성을 정량화 하지 못하였기 때문에 지보형식의 결정 및 안정성에 문제가 있었다. 따라서 보다 많은 정량적인 요소들을 포함시키고 경제적인 지보형식을 결정하기 위해 8호선 성남구간을 선택하여 총 1745개소에서 RMR에 의한 암반분류와 374개소에서 Q-system에 의한 암반분류를 실시 하였으며, 이들에 의해 구해진 지보형식과 8호선 설계시의 표준지보형식을 비교검토하였으며, 또한 지질, 지질구조 및 지형에 따른 암반평점과의 관계를 검토하였다. 지보형식을 비교 검토한 결과 PD-4혹은 PS-4로 설계된 표준지보형식은 4-6개의 지보형식으로 세분되어져야 하며 암반평점은 단층 및 절리와 같은 지질구조가 발달된 곳과 계곡부가 대체로 암반평점이 낮고 굴착심도가 깊은 산악지역은 높으며 상록구간은 이들의 중간정도의 양상을 보인다.

• 항공우주기술
• /
• 제11권2호
• /
• pp.216-224
• /
• 2012

본 연구는 국내에서 개발되는 KAS 23급 민간항공기에 대해 형식증명을 취득하기 위한 절차와 방법에 대해 기술하였다. 인증기준을 수립하고 형식증명 계획서에 따라 시험평가를 통해 적합성을 입증하는 절차와 적합성 입증 방안을 제시함으로써 정해진 기간 내 형식증명을 취득하는 것이 가장 중요하다고 하겠다. 본 절차는 미 FAA Order 8110.4C, 'Type Certification'과 국내규정을 참고하였으며 적합성 입증방법(MOC)을 정의하여 적합성 점검표(CCL) 작성 사례를 보여주고 있다. 또한 적합성 입증방법에 따라 시험평가 항목을 분류 하였고 그 방안을 제시하였다.

• 한국산학기술학회논문지
• /
• 제16권1호
• /
• pp.62-69
• /
• 2015

본 연구의 목적은 문화콘텐츠가 가진 서사성이 이와 연관된 다른 형태의 문화콘텐츠에 대한 선호도에 미치는 영향을 살펴보는 것이다. 이를 위해 본 연구는 먼저 문화콘텐츠의 형식을 시각적 정보의 양에 따라 소설, 만화, TV 프로그램으로, 문화콘텐츠의 장르를 스토리 연속성의 중요성에 따라 멜로/드라마, 코미디, 액션으로 분류하였다. 선행연구에 의하면 각 형식과 장르 중 소설 형식과 멜로/드라마 장르가 가장 서사성이 높은 형태의 문화콘텐츠로 설명되는데, 본 연구에서는 이러한 서사성의 영향을 영화 산업을 중심으로 한 설문 조사를 통해 검증하였다. 본 연구의 결과는 다음과 같다. 첫째, 서사성이 높은 형식으로 분류되는 소설 형식을 선호하는 사람은 본인이 선호하는 장르와 동일 장르의 영화도 선호하는 것으로 나타났는데, 이러한 현상은 서사성이 낮은 형식인 TV 프로그램에 있어서는 나타나지 않았다. 둘째, 소설에 대한 이러한 현상은 특히 서사성이 높은 장르인 멜로/드라마 작품을 원작으로 하는 영화에 대해 더 강하게 나타난 반면 서사성이 낮은 장르인 코미디나 액션 장르에서는 나타나지 않았다. 이상의 결과를 통하여 본 연구는 일반 관객의 문화콘텐츠 선호도에 있어서 일반적으로 서사성이 중요한 역할을 한다는 것을 발견했으며 특히 영화 원작이 높은 서사성을 가진 경우에는 영화의 선호도가 더욱 크게 상승한다는 것을 발견하였다.