• Title/Summary/Keyword: State language

Search Result 660, Processing Time 0.025 seconds

Requirement Verification to Improve Reliability of the Requirement Specification in Object-Oriented Software Development (객체 지향 소프트웨어 개발에서 요구 사양의 신뢰성을 향상시키기 위한 요구 검증)

  • 정안나;염근현
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1998.10b
    • /
    • pp.579-581
    • /
    • 1998
  • 소프트웨어 개발에서 나타나는 많은 오류는 요구 사항에 대한 정확한 이해의 부족에서 기인된다. 따라서 분석 단계에서 요구사항을 정확하게 나타내는 활동은 전체 소프트웨어의 신뢰성에 큰 영향을 미치게 된다. 요구 검증은 요구 분석 활동에서 산출되는 정보가 요구 문서의 정보를 바르게 나타내는가를 검증하는 활동이다. 본 연구에서는 객체 지향 소프트웨어의 개발에서 요구 검증을 수행하기 위해 OFL(Object-oriented Formal Language)과 질의 추출을 적용하였다. OFL은 객체 지향 형식 상태변이사항(Formal state transition specification)으로 형식 언어가 기자고 있는 명확성을 유지하며 분석 활동의 결과를 체계적으로 제시한다. 이러한 결과와 요구 문서와의 비교를 위하여 질의 추출이 수행된다. 이는 질의를 통하여 요구 문서에서는 나타나는 정보를 체계적으로 정리하여 개발 의뢰자가 제시한 요구 사항과 개발자가 제시하는 요구 사양간에 일치성과 완전성이 존재함을 검증한다. 이러한 요구 검증은 요구 사양의 신뢰성뿐만 아니라 개발되는 소프트웨어의 신뢰성을 향상시킨다.

A Study on Converting Rules for Generating Ontology from RDB (관계형 데이터베이스로부터 온톨로지 생성을 위한 변환 규칙에 관한 연구)

  • Ni, Xu;Jeong, H.K.;Bae, W.J.;An, D.U.;Lee, Y.S.
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2007.06c
    • /
    • pp.159-162
    • /
    • 2007
  • Semantic Structuralization of data, not Semantic Web base on Ontology but software engineering on many points, can be applied to trace of state or requirements usefully. But it is required much effort that a man converts RDB(Relational DataBase) into Ontology. Hence this study propose rules to convert RDB into Ontology description language OWL automatically.

  • PDF

Development of an Object-Oriented Finite Element Analysis Program Using J$Java^TM$ ($Java^TM$ 언어를 이용한 객체 지향 유한 요소 해석 프로그램의 개발)

  • 이정재;이호재
    • Magazine of the Korean Society of Agricultural Engineers
    • /
    • v.40 no.2
    • /
    • pp.130-139
    • /
    • 1998
  • The finite element analysis program should be prepared to deal with many of newly arising engineering problems. The sequential structured programming technique does not make a finite element method so flexible. So far, the object oriented programming technique was studied as an alternative programming paradigm. However, most of the research were in the state of the evaluation of the possibility and the applicability of the object oriented method for a finite element program. In this study, a practical object oriented finite element analysis program, OOFE_ JAVA was developed and the result of the analysis on a rectangular clamped plate was shown. The objects which compose the OOFE_JAVA were applied to several engineering problem without any modification and it was concluded that the object oriented technique was appropriate for the development of a complex and large engineering system. And a virtual machine which Java language is using can be loaded on any kinds of computer which has java interpreter regardless of the platform on which the OOFE_JAVA was developed.

  • PDF

Object Detection from Mongolian Nomadic Environmental Images

  • Perenleilkhundev, Gantuya;Batdemberel, Mungunshagai;Battulga, Batnyam;Batsuuri, Suvdaa
    • Journal of Multimedia Information System
    • /
    • v.6 no.4
    • /
    • pp.173-178
    • /
    • 2019
  • Mongolian historical and cultural monuments on settlement areas of stone inscriptions, stone images, rock-drawings, remains of cities, architecture are still telling us their stories. These monuments depict the understanding of the word, philosophical and artistic outlook, beliefs, religion, national art, language, culture and traditions of Mongols [1]. Nowadays computer science, especially computer vision is applying in the other science fields. The main problem is how to apply and which algorithm can detect and classify the objects correctly. In this paper, we propose a method to detect object from Mongolian nomadic environment images. This work proposes a method for object detection that is the combination of the binary operations in the edge detection results. We found out the best method and parameters of state-of-the-art machine learning algorithms. In experimental result, we evaluate our results with 10-fold cross validation and split 66% strategies.

A Study on the Testing Method of Signalling Link Function of the No.7 Common Channel Signalling System (No.7 공통선 신호방식의 신호 링크기능 테스트에 관한 연구)

  • Kim, Duck-Jin;Park, Seok-Cheon;Cho, Hyson-Jun
    • Proceedings of the KIEE Conference
    • /
    • 1987.07b
    • /
    • pp.943-946
    • /
    • 1987
  • This paper describes the test techniques that are used for the implementation test of signalling link function in the signalling system No.7 recommended by 0703 in CCITT red book. The test scenarios are produced by means of the state transition diagrams which are based on the specification of CCITT recommendation 0703. This test scenarios consist of five independent tasks written in MC68000 assembly language and are scheduled to be executed in multitasking kernel. This test scenarios can also be used to test signalling link function implemented in the different environment.

  • PDF

Object-Oriented Modeling for Implementing Voltage Stability Analysis Program (전압 안정도 해석 프로그램 개발을 위한 객체지향 모델링)

  • Gil, H.S.;Kim, J.H.;Shin, M.C.;Cho, I.S.;Kweon, M.H.;Lee, C.M.
    • Proceedings of the KIEE Conference
    • /
    • 2000.07a
    • /
    • pp.322-324
    • /
    • 2000
  • This paper introduces the concepts of UML(Unified Modeling Language) and the applying this technique for implementing voltage stability analysis program. Conventional function-oriented software development methodologies are inadequate to support further maintenance and enhancement. To overcome drawbacks of these methodologies, this paper proposes applying object-oriented technology for voltage stability evaluation software development. In this paper, a modal analysis approach, a steady-state voltage stability evaluation method, is used and UML is applied to the analysis and design for software development.

  • PDF

Applying document routing mode of information access in nursing diagnosis process (문서 라우팅 기법을 이용한 간호진단 과정에서의 정보접근)

  • Paik Woo-Jin
    • Proceedings of the Korean Society for Information Management Conference
    • /
    • 2006.08a
    • /
    • pp.163-168
    • /
    • 2006
  • Nursing diagnosis process is described as nurses assessing the patients' conditions by applying reasoning and looking for patterns, which fit the defining characteristics of one or more diagnoses. This process is similar to using a typical document retrieval system if we consider the patients' conditions as queries, nursing diagnoses as documents, and the defining characteristics as index terms of the documents. However, there is a small fixed number of nursing diagnoses and infinite number of patients' conditions in a typical hospital setting. This state is more suitable to applying document routing mode of information access, which is defined as a number of archived profiles, compared to individual documents. In this paper, we describe a ROUting-based Nursing Diagnosis (ROUND) system and its Natural Language Processing-based query processing component, which converts the defining characteristics of nursing diagnoses into query representations.

  • PDF

Deep Learning Model Parallelism (딥러닝 모델 병렬 처리)

  • Park, Y.M.;Ahn, S.Y.;Lim, E.J.;Choi, Y.S.;Woo, Y.C.;Choi, W.
    • Electronics and Telecommunications Trends
    • /
    • v.33 no.4
    • /
    • pp.1-13
    • /
    • 2018
  • Deep learning (DL) models have been widely applied to AI applications such image recognition and language translation with big data. Recently, DL models have becomes larger and more complicated, and have merged together. For the accelerated training of a large-scale deep learning model, model parallelism that partitions the model parameters for non-shared parallel access and updates across multiple machines was provided by a few distributed deep learning frameworks. Model parallelism as a training acceleration method, however, is not as commonly used as data parallelism owing to the difficulty of efficient model parallelism. This paper provides a comprehensive survey of the state of the art in model parallelism by comparing the implementation technologies in several deep learning frameworks that support model parallelism, and suggests a future research directions for improving model parallelism technology.

Incremental User Adaptation in Korean Sign Language Recognition Using Motion Similarity and Prediction from Adaptation History (동작 유사도와 적응 추이를 이용한 한국 수화 인식에서의 사용자에 대한 적응)

  • Jung, Seong-Hoon;Park, Kwang-Hyun;Bien, Zeung-Nam
    • 한국HCI학회:학술대회논문집
    • /
    • 2007.02a
    • /
    • pp.386-392
    • /
    • 2007
  • 최근 들어 손 제스처를 인간-기계 인터페이스에 활용하는 연구가 많아지고 있다. 그 중에서 수화 인식은 청각장애인과 일반인 사이의 원활한 의사 소통을 하게 해 주는 인터페이스로서 중요성이 날로 더해가고 있다. 하지만 기존의 수화 인식 연구는 사용자 개개인의 수화 동작의 차이를 고려하지 않고 다수 사용자를 위한 모델을 사용하기 때문에 사용자에 따라 인식률이 낮아지게 된다. 이러한 점을 보완하기 위해 본 논문에서는 개개인의 수화 동작 특성을 반영하여 시스템이 사용자에게 적응해 가는 과정을 다루고자 한다. 특히 점진적인 사용자 적응에 있어서 가장 문제가 되는 것은 어떻게 비관측된 상태(unobserved state)의 파라미터를 수정할 것인가 하는 것이다. 이를 위해서 본 논문에서는 동작 유사도와 적응 추이에 의한 추정을 통해 비관측된 상태의 모델 파라미터를 수정한다. 실제 청각 장애인들로부터 획득한 데이터베이스를 사용하여 제안한 방법이 기존 방법에 비해 더욱 빠르게 사용자의 특성을 시스템에 반영하고 인식률을 향상시킨다는 것을 실험을 통해 보인다.

  • PDF

VIRTUAL REALITY SHIP SIMULATOR

  • Yim, Jeong-Bin
    • Proceedings of the Korean Institute of Navigation and Port Research Conference
    • /
    • 2000.06a
    • /
    • pp.93-105
    • /
    • 2000
  • This paper describes prototype Virtual Reality Ship Simulator (VRSS) that we have recently developed next-generation training equipment based on the virtual reality (VR) technology. The inherent defects of conventional ship simulators are enormous costs and difficult system upgrade due to the system construction, such as large mock-up bridge system, wide visual presentations, In this paper, to cope with those problems, we explored VR technology that can give realistic environments in a virtual world. Then we constructed prototype VRSS system, which is, consists of PC-based human sensors, and Databases set having 3D object models and coefficients of Head Related Transfer Functions (HRTFs). 3D-WEBMASTER authoring tool was used as Virtual Reality Modeling Language (VRML). Using the VRSS system, we constructed Port an Passage Simulator for the harbor of INCHON in Korea, and Ship and Sea State Simulator for an arbitrary given sea environmental states by user. Through many simulation tests, we testified the efficiency of developed prototype VRSS by subject assessment with five participants. Then, we present results on the simulation experiments and conclude with discussion of evaluation results.

  • PDF