• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 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.

• 대한음성학회지:말소리
• /
• 제25_26호
• /
• pp.65-92
• /
• 1993

Not all linguistic units are of equal importance in the functioning of language. The present study aims to examine He functional load of phonemes in standard Korean, To achieve this goal, B analysed continuous texts selected from the textbooks of elementary school on a personal computer. The total number of syllables studied in this thesis is 101,637. The characteristics of the Korean syllable structures are as follows. 1) In a syllable head, /n/ occurs most frequently. 2) The frequencies of syllables with an onset are much higher than those with no onset ( 85% : 15% ), 3) In a syllable head, obstruents are preferred because their consonantal strength are great, (57%) 4) In a syllable nucleus, /a/ occurs most frequently. 5) The rate of occurrence of the monophthongs is 90.2%, and that of the diphthongs is 9.8%. Especially the three basic vowels(/i,a,u/) occur at the rate of 46.6%. 6) In a syllable coda, /n/ occurs most frequently. 7) The open syllables are favored (open syllable 68.7%, closed syllable 31.3%).

• 한국경영과학회지
• /
• 제28권2호
• /
• pp.91-103
• /
• 2003

Use case modeling on UML (Unified Modeling Language) is getting widely used in OOAD and CBD and it is considered a useful technique in dealing with the complexity of the requirements analysis. However, some of the problems with use case modeling are that it is not structured, difficult to handle non-functional requirements, and to analyze impacts among use cases. To alleviate these problems, we propose a scenario-based goal-oriented approach for use case modeling. The proposed approach is to apply a goal-oriented analysis method to use case modeling. Since goal-oriented analysis method is not systematic and many heuristics are involved, we have adopted scenarios as the basis for goal extraction. The proposed method is applied to CBIS (City Bus Information Subsystem) in ITS (Intelligent Transportation System) domain. The proposed approach helps software engineers to analyze the impact among use cases and represent non-functional requirements.

• Journal of Medicine and Life Science
• /
• 제15권2호
• /
• pp.51-55
• /
• 2018

Acceptance and Commitment Therapy (ACT) is a functional contextual intervention approach based on the behavioral theory on human language, which views human suffering as originating in psychological inflexibility fostered by cognitive fusion and experiential avoidance. Thus, the goal of ACT is to enhance psychological flexibility using six core processes including acceptance, cognitive defusion, self-as-context, contact with present moment, values clarification, and committed action. Recent clinical trials have suggested the efficacy for ACT in the treatment of various mental illness and psychological distress. The aim of this review is to offer more knowledge and better understanding of ACT by presenting its underlying principle and an overview of the research field.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 하계종합학술대회 논문집(2)
• /
• pp.165-168
• /
• 2000

A hardware architecture to implement the SEED block cipher algorithm into one chip is described. Each functional unit is designed with VHDL hardware description language and synthesis tools. The designed hardware receives a 128-bit block of plain text input and a 128-bit key, and generates a 128-bit cipher block after 16-round operations after 8 clocks. The encryption time is within 20 nsec.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 추계종합학술대회 논문집(2)
• /
• pp.128-131
• /
• 2000

In this paper, the animated simulation system (Anisim) is proposed in order to develope an efficient functional system verification tool. It displays the simulation results of the designed system using graphic animation with various models lot the target system. With simple interface definitions given by the user, Anisim generates interface codes automatically. Users can describe and model the target system with the generated interface codes. Since the simulation engine is implemented in C-language, modeling is very simple and simulation can be performed in real time.

• 한국정밀공학회지
• /
• 제13권4호
• /
• pp.34-42
• /
• 1996

Robot programming has been discussed in detail during the recent years. Numerous studies in particular presented relevance, solution concepts and implementation of off-line programming. In this paper a new user-friendly robot programming method is introduced, which permits the implicit description and programming of assembly process. On the functional level of programming, the assembly processes are described in terms of their operational functions. On the language level, the individual functions are then translated into commands for the robots.

• 대한자기공명의과학회:학술대회논문집
• /
• 대한자기공명의과학회 2000년도 제5차 추계학술대회
• /
• pp.40-41
• /
• 2000

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.275-275
• /
• 2000

This paper designs a digital correlator for the integrated GPS/GLONASS receiver consisting of DCO, carrier cycle counter, code generator, code phase counter, mixer, epoch counter, accumulator. It is designed using Verilog-HDL(Verilog-Hardware Description Language) and synthesized using EDA(Electronic Design Automation) tools. The performance of the designed digital correlator is verified by the functional simulation and real satellite tracking experiments.

• Spatial Information Research
• /
• 제5권2호
• /
• pp.147-160
• /
• 1997

지리정보시스템의 이론적 틀로 인식되고 있는 지도대수(Map Algebra)는 공간자료의 처리단위인 지도레이어를 피연산자로, 여러 처리소프트웨어를 연산자로 모델링하는 대수체계이다. 본 논문에서는 지도대수와 관련된 대표적 선행연구를 검토하여 그 제한점을 밝혀내어 보완하였다. 첫째 지도 레이어를 함수로 모형화하여 함수 프로그래밍의 메타 함수기능의 적용을 가능하도록 하였다. 이것은 지도대수언어에 메타연산자를 포함시켜 지리정보시스템의 사용자언어에 필요한 프로그래밍 기능을 제공하게된다 . 둘째 기존 지도대수언의 어의적.문법적 한계를 분석하고 이를 확장하여 지도 데이터 모델과 지도대수언어를 정형화한 후 지도대수 처리기으 원형을 설계하고 구현하였다. 지도대수언어 구문해석기는 기존의 지리정보시스템이 갖고 있는 이질적인 고유 명령어를 공통언어로 재구성하는 역할을 수행한다. 본 연구를 통해 구현된 맵시(MspSee)는 웹에 기반한 지도대수 처리기로써 본 논문에서 제시된 다양한 지도대수의 개념을 검증할 수 있었다. 지도대수언어를 통한 지리정보시스템의 사용자 인터페이스는 제트워크상에 분산되어 있는 지리정보와 그 처리모듈을 웹 클라이언트라는 간단하지만 강력한 인터페이스로 접근을 가?케 함으로써 인터넷 지리정보시스템의 중요 하부구조로 자리잡을 것으로 전망된다.