• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2007년도 Proceedings of ISRS 2007
• /
• pp.175-178
• /
• 2007

COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2007년도 Proceedings of ISRS 2007
• /
• pp.460-463
• /
• 2007

COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.

• 한국감성과학회:학술대회논문집
• /
• 한국감성과학회 1997년도 한국감성과학회 연차학술대회논문집
• /
• pp.123-128
• /
• 1997

가상현실(Virtual Reality)의 응용분야는 지금까지의 연구성과로 인하여 연구와 활용분야가 다양해지고 있을 뿐만 아니라 지금도 많은 연구가 활발히 진행 중에 있다. 그러나 통신의 발달로 인해 네트워크 사용이 생활화됨으로써 더이상 VRML(Virtual Reality Modeling Language) 이 Netscape Navigator Microsoft Internet Explorer같은 웹 브라우져상에서 단순한 3차원 오브젝트만을 보여주는 시기는 지났다. 사용자들은 3차원 오브젝트를 사용해서 공간적, 지역적으로 멀리 떨어져있는 상대방과의 실시간 대화는 물론 상대방의 행위를 보고 그에 대한 자신의 행위를 보여중으로써 현실감을 느끼고 싶어한다. 더욱이 가까운 미래에 수많은 사용자들은 3D를 기반으로 자신을 분신인 아바타를 사용하여 하나의 가상세계를 공유하고 가상 이벤트를 사용하여 하나의 가상세계를 공유하고 가상 이벤트에 참석을 하게 될 것이다. 이러한 종류의 어플리케이션을 제공하기 위해서는 3D그래픽스처리와 사용자 인터페이스 및 네트워크 환경을 제공해야만 한다. 이에 본 논문에서는 기존의 다중사용자용 VRML브라우저중의 하나인 OZ Virtual의 여러가지 비능에 대해서 살펴보고, VRML이 어떻게 대화식, 분산, 다중사용자 가상 세계에 적합하게 확장될 수 있는지를 두중사용자용 VRML시스템의 구조를 통해서 증명해 본다.

• 한국문헌정보학회지
• /
• 제6권
• /
• pp.53-70
• /
• 1979

This is to report the objectives, planning and the process of the establishment of an on-line information retrieval system in Korea. The model is the case of the Library of the Korea Institute of Science and Technology (KIST) which is the multi-disciplinary contract research organization in science and technology. The report explains the objectives and the step by step process such as input materials, analysis of the materials, structure of the data base files, indexes, command language, and the process, technique and logic of information retrieval. A brief comparison is made with other systems such as OCLC and BALLOTS and the authors gave various illustrations and samples to clarify the processes. The authors regrets that they could not give any detailed information on the budget or the cost accrued so far.

• 인터넷정보학회논문지
• /
• 제2권4호
• /
• pp.11-24
• /
• 2001

인터넷상에서 데이터를 표현하고 교환하는 새로운 표준으로 등장하는 XML 문서는 정해진 스키마를 가지고 있지 않다. XML 문서를 기존의 관계형 데이터베이스나 객체 지향 데이터베이스 질의어에 바로 적용하기에는 부적합하여 이러한 XML 문서에 대해 스키마를 추출하는 방법과 질의어에 대한 연구가 활발히 진행되고 있다. 본 논문에서는 XML문서의 레이블 경로발생 빈도 수에 따른 여러 단계의 스키마를 추출하는 방법을 제시하고, 이를 실험하여 그 효율성을 보인다.

• Nuclear Engineering and Technology
• /
• 제43권1호
• /
• pp.45-62
• /
• 2011

The Korean nuclear industry is developing a thermal-hydraulic analysis code for safety analysis of pressurized water reactors (PWRs). The new code is called the Safety and Performance Analysis Code for Nuclear Power Plants (SPACE). The SPACE code adopts advanced physical modeling of two-phase flows, mainly two-fluid three-field models which comprise gas, continuous liquid, and droplet fields and has the capability to simulate 3D effects by the use of structured and/or nonstructured meshes. The programming language for the SPACE code is C++ for object-oriented code architecture. The SPACE code will replace outdated vendor supplied codes and will be used for the safety analysis of operating PWRs and the design of advanced reactors. This paper describes the overall features of the SPACE code and shows the code assessment results for several conceptual and separate effect test problems.

• 동력기계공학회지
• /
• 제4권4호
• /
• pp.92-98
• /
• 2000

Modern manufacturing systems should cope with the frequent changes in a product model and disturbances in manufacturing process. The control system of such systems must cover a constant adaptation and high flexibility. Holonic Flexible Manufacturing Cell(HFMC) is introduced to handle these issues more successfully. It is based on the concept of autonomous co-operating agent, called 'Holon', which is a building block of a manufacturing system for transforming, transporting, storing and/or validating information and physical objects. In this paper the basic structure of the HFMC is represented by using Unified Modeling Language and Open architecture cell controller is developed for effective integration components of a manufacturing system. Also a new control model, called MuLOM(Multi-Layered Operation Model), is suggested to represent the control behaviour for a holonic flexible manufacturing cell control system.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 춘계학술발표대회
• /
• pp.148-150
• /
• 2016

본 논문은 강의 시 외국인에게 번역된 강의 내용을 보다 효율 적으로 전달하기 위한 자막 전송 강의 시스템에 대하여 기술한다. 기존 자막 서비스는 화면 하단에 자막을 두는 방법으로 사용되고 있다. 하지만 이러한 방법을 사용할 경우 다국어 자막 안내는 불가능하다. 또한 자막이 필요 없는 청중에게는 불필요한 서비스가 된다. 따라서 본 논문에서는 블루투스 Low Energy 비콘을 사용하여 효율적인 실시간 자막 전송 방식을 제안한다. 여러 언어로 실시간 번역된 자막을 비콘을 통하여 브로드 캐스팅 하여 번역 서비스가 필요한 청중은 스마트폰을 이용하여 원하는 언어의 자막만 수신 할 수 있다.

• Acta Via Serica
• /
• 제4권2호
• /
• pp.97-118
• /
• 2019

This study presents a new conceptualization of the history of Islamic astronomy. Islamic history is an embedded global cultural phenomenon and will be analyzed at different levels: a) the history of institutional aspects (observatories, including buildings), b) instruments, c) manuscripts, and d) scholars. This phenomenon will be analyzed as a multi-lingual phenomenon with Arabic as the language of sciences as a starting point. Although this is not a study of a geographical region in a narrow sense, it is a historical note on the entanglement of research written in Arabic, Persian and other languages and contextualized in a framework reaching geographically far beyond the confines of the Islamic world and being part of global history.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 1994년도 추계학술대회 논문집
• /
• pp.141-148
• /
• 1994

In order to improve the productivity of cold forging at low production cost, an integrated system's approach is necessary in handling the material preparation and the optimum process design, considering the forming machines, tooling, and operation including quality control. As the first step toward this approach, an expert system for multi-stage cold forging process design for fasteners with various head geometries is developed using Prolog language on IBM 486 PC. For effective representation of the complex part geometries, the system uses the multiple element input, and the forward inference scheme in determination of the initial billet size and intermediate forging steps. In order to determine intermediate steps, the basic empirical rules for extrusion, heading, and trimming were applied. The required forming loads and global strain distributions at each forging step were calculated and displayed on the PC monitor. The designed process sequence drawing can be obtained by AutoCAD. The developed system will be useful in reducing trial and error of design engineers in determining the diameter and height of the initial cylindrical billet from the final product geometry and the intermediate necessary sequences.