• Title/Summary/Keyword: 식의 표기

Search Result 80, Processing Time 0.029 seconds

A Study on Representation Element Notation of Modeling for Game Design (게임 기획을 위한 모델링의 표현요소 표기법에 관한 연구)

  • Kim, Yong-Sic;Lee, Nam-Yong;Rhew, Sung-Yul
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2005.05a
    • /
    • pp.309-312
    • /
    • 2005
  • 게임 산업이 고도의 성장을 이루고 있는 현재 게임시장에서 대두되고 있는 문제점은 개발업무에 대한 능력과 자질이다. 대부분의 게임 개발 업무의 방식이 주먹구구식의 개발을 통해 게임을 제작하고 있다. 하지만 이러한 점은 게임제작에서 중요한 요소인 개념유지와 의사소통에 대한 문제점들로 나타난다. 이러한 문제점을 해결하기 위해 본 논문에서는 게임의 개념 단계에서 기획자의 아이디어를 제시하는 모델링을 위해 표현되는 요소를 연구하여 게임의 개념을 유지하고 개발자와의 원활한 의사소통을 통해 작업효율을 증대 시킬 수 있다.

  • PDF

Design The CBD based Test process for Weapon System Embedded SW (무기체계 임베디드 SW의 CBD 기반 테스트 프로세스 설계)

  • Kim, Jae-Hwan;Yoon, Hee-Byung
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2006.11a
    • /
    • pp.471-474
    • /
    • 2006
  • 본 연구에서는 CBD기반 무기체계 임베디드 SW의 테스트 프로세스를 설계한다. 설계는 두 가지 방법으로 수행되며, 하향식 접근방법으로 프로세스 개발과정을 분석하고 상향식 접근방법으로 산출물을 분석한다. 이를 위해 정보체계 개발방법론으로 국방부의 '국방 CBD 방법론'과 한국전자통신연구원의 '마르마III'를 분석하고, 무기체계/임베디드 개발 방법론으로는 미국 국방성의 'MIL-STD-498'과 유럽의 임베디드 개발방법론인 'DESS'방법론을 분석한다. 분석 자료를 토대로 무기체계 임베디드 SW 테스트를 위한 구성요소를 도출하고, IDEF0 표기법을 활용하여 테스트 프로세스를 설계한다. 또한 제안한 테스트 프로세스를 TPI 모델을 통하여 평가한다.

  • PDF

Defining and Extending Language Modules: An Action Semantics Approach (액션의미방식에 의한 언어모듈의 정의와 확장)

  • Doh, Kyung-Goo
    • Journal of KIISE:Software and Applications
    • /
    • v.27 no.8
    • /
    • pp.902-911
    • /
    • 2000
  • A language module is the collection of language constructs whose concepts and operations are closely related. This paper demonstrates how to use action semantics to define and extend language modules. We first define a language module for an expression language core, and then language modules for bindings, block structures, parameters, and higher-order expressions. Finally, we show that the language modules can be combined, if there is no violation of uniformity and orthogonality, to become a more complex language module.

  • PDF

Species Diversity of Plecoptera(Insecta) in the Korean Peninsula (한반도 강도래목(곤충강)의 종다양성)

  • Ham, Soon-Ah
    • Korean Journal of Environmental Biology
    • /
    • v.27 no.1
    • /
    • pp.100-109
    • /
    • 2009
  • Korean Plecopteran research was started in 1921, and it has advanced greatly during last 20 years. Among families the family Nemouridae and Chloroperlidae are composed of plentiful species. Since North Korean Plecopteran research was begun in 1938, it made good progress by foreigners not North Korean in the 1970's. Subsequently a few species has been added up recently, and among families the family Perlidae and Nemouridae contain most abundant species. Totally Korean Plecoptera consists of 43 species in 25 genera in 10 families, and North Korean 37 species in 26 genera in 10 families. Among them 13 species are common in both. And Korean names of Plecopteran species were mixed in Hangeul-type and Chinese-type, on the other hand in North Korean names there were some cases of Hangeul-type, but most of species have no Korean names. In Korea, particularly Ministry of Environment designated and controlled domestic biological resources as Korean Species that Require Approval when shipping abroad and Korean endemic species, which include 9 species and 11 species in Plecoptera respectively. Finally two genera and four species gained new Korean names as follows: genus Megaleuctra (Keun-Kkoma-Gang-Do-Rae-Sok), genus Haploperla (Han-Nok-Saek-Gang-Do-Rae-Sok), Nemoura brevicercia (Min-Gang-Do-Rae), Nemoura espera (Kkot-Min-Gang-Do-Rae), Amphinemura baei (Je-Ju-A-Ga-Mi-Min-GangDo-Rae) and Amphinemura rai (A-Ga-Mi-Min-Gang-Do-Rae).

Incremental Interpreter based on Action Equations (작용 식 기반 점진 해석기)

  • Han, Jeong-Ran;Lee, Gi-Ho
    • Journal of KIISE:Software and Applications
    • /
    • v.26 no.8
    • /
    • pp.1018-1027
    • /
    • 1999
  • 속성 문법은 언어의 정적인 의미구조를 표현하는 형식적인 표기법으로 동적인 의미구조를 표현하기는 부적절하다. 동적 의미구조를 잘 명세하고 명세된 언어를 구현하기 위해서 기존의 속성 문법을 확장하여 언어 구현에 필요한 동적인 작용들(actions)을 잘 표현해야 한다. 본 논문에서는 속성 문법을 확장하여 정적이고 동적인 의미구조를 잘 표현할 수 있는 새로운 작용 식(action equation)을 제시한다. 제시된 작용 식(action equation)의 동적인 의미 구조로 부터 SIMP 언어의 점진 해석기(incremental interpreter)를 설계하고 구현한다. 점진 해석기는 언어 기반의 프로그래밍 환경에서 수정된 부분만을 번역하여 프로그램의 전체 실행 결과를 얻는 해석기를 의미한다. 본 해석기는 SUN 1000에서 Lex와 Yacc을 사용해서 C 언어로 설계하고 구현하였다. 예제 프로그램을 실행시켰을 때 배정 문이나 IF문의 경우는 매우 효율적이었고 Loop의 경우는 재실행될 필요가 있는 영향받는 명령문들이 적을수록 점진 해석이 더 효율적으로 수행된다.Abstract Attribute grammars are a formal notation which expresses the static semantics of programming languages, but they are not suitable for expressing dynamic semantics. To describe dynamic semantics and implement a specified language, we extend attribute grammars and present new action equations which describe static and dynamic semantics. The incremental interpreter of a SIMP language is designed and implemented from the dynamic semantics of presented action equations. The incremental interpreter is to translate only modified part in the language-based programming environments and have results of whole program.Our interpreter is implemented in C with Lex and Yacc on SUN 1000. When we execute example programs, the incremental evaluation of any assignment and IF statements executes efficiently. But in the case of loop, we execute efficiently when the effected statements to be reexecuted in the loop are of small number.

Building of Integrated Increment Interpretation System Based on Action Equations (작용 식 기반 통합 점진 해석 시스템 구축)

  • Han, Jung-Ran;Choi, Sung
    • The KIPS Transactions:PartA
    • /
    • v.11A no.3
    • /
    • pp.149-156
    • /
    • 2004
  • As software is large and sophisticate, in order to increase the productivity and efficiency of programs in programming development environments, it is necessary to support the integrated system that offers user interface integrated editing, compiling, debugging, and running steps. The key tool in such environments is an incremental translation. In this paper, in order to increase the productivity and reusability of software, the goal is to construct the integrated incremental interpretation system that supports friendly user interface with editor, debugger, and incremental interpreter. We define the new object-oriented language, IMPLO(IMPerative Language with Object) using EBNF notation, and construct the integrated incremental interpretation system using incremental interpreter of the language. To do so, we extend attribute grammars for specifying static semantics and present new action equations to describe the dynamic semantics. We executed the incremental interpretation by using analyzing the dynamic semantics and then implemented integrated incremental interpretation system with editor and debugger in C, Lex and Yacc using X windows on SUN. We obtain about 50% speedups in case of incremental execution time for example programs.

A Study on the Improvement of Automatic Text Recognition of Road Signs Using Location-based Similarity Verification (위치기반 유사도 검증을 이용한 도로표지 안내지명 자동인식 개선방안 연구)

  • Chong, Kyusoo
    • The Journal of The Korea Institute of Intelligent Transport Systems
    • /
    • v.18 no.6
    • /
    • pp.241-250
    • /
    • 2019
  • Road signs are guide facilities for road users, and the Ministry of Land, Infrastructure and Transport has established and operated a system to enhance the convenience of managing these road signs. The role of road signs will decrease in the future autonomous driving, but they will continue to be needed. For the accurate mechanical recognition of texts on road signs, automatic road sign recognition equipment has been developed and it has applied image-based text recognition technology. Yet there are many cases of misrecognition due to irregular specifications and external environmental factors such as manual manufacturing, illumination, light reflection, and rainfall. The purpose of this study is to derive location-based destination names for finding misrecognition errors that cannot be overcome by image analysis, and to improve the automatic recognition of road signs destination names by using Levenshtein similarity verification method based on phoneme separation.

Simultaneous Determination of Vitamin $D_3\;and\;K_1$ in Infant Formula by Column-switching High Performance Liquid Chromatography with UV Detection (Column-switching HPLC를 이용한 성장기용 조제식 중 비타민 $D_3,\;K_1$의 동시분석)

  • Kwak, Byung-Man;Ahn, Jang-Hyuk;Chang, Chi-Hoon
    • Korean Journal of Food Science and Technology
    • /
    • v.37 no.6
    • /
    • pp.1024-1027
    • /
    • 2005
  • Rapid and simple method was developed for simultaneous determination of vitamins $D_3\;and\;K_1$ contents in infant formula. Contents of vitamins $D_3\;and\;K_1$, extracted by column-switching HPLC with reversed phase column using enzymatic hydrolysis and organic solvent, in CRM determined by developed method were within certified ranges of standard values.

Contactless Fingerprint Recognition Based on LDP (LDP 기반 비접촉식 지문 인식)

  • Kang, Byung-Jun;Park, Kang-Ryoung;Yoo, Jang-Hee;Moon, Ki-Young;Kim, Jeong-Nyeo;Shin, Jae-Ho
    • Journal of Korea Multimedia Society
    • /
    • v.13 no.9
    • /
    • pp.1337-1347
    • /
    • 2010
  • Fingerprint recognition is a biometric technology to identify individual by using fingerprint features such ridges and valleys. Most fingerprint systems perform the recognition based on minutiae points after acquiring a fingerprint image from contact type sensor. They have an advantage of acquiring a clear image of uniform size by touching finger on the sensor. However, they have the problems of the image quality can be reduced in case of severely dry or wet finger due to the variations of touching pressure and latent fingerprint on the sensor. To solve these problems, the contactless capturing devices for a fingerprint image was introduced in previous works. However, the accuracy of detecting minutiae points and recognition performance are reduced due to the degradation of image quality by the illumination variation. So, this paper proposes a new LDP-based fingerprint recognition method. It can effectively extract fingerprint patterns of iterative ridges and valleys. After producing histograms of the binary codes which are extracted by the LDP method, chi square distance between the enrolled and input feature histograms is calculated. The calculated chi square distance is used as the score of fingerprint recognition. As the experimental results, the EER of the proposed approach is reduced by 0.521% in comparison with that of the previous LBP-based fingerprint recognition approach.

Development of Estimation Equation for Minimum and Maximum DBH Using National Forest Inventory (국가산림자원조사 자료를 이용한 최저·최고 흉고직경 추정식 개발)

  • Kang, Jin-Taek;Yim, Jong-Su;Lee, Sun-Jeoung;Moon, Ga-Hyun;Ko, Chi-Ung
    • Journal of agriculture & life science
    • /
    • v.53 no.6
    • /
    • pp.23-33
    • /
    • 2019
  • In accordance with a change in the management information system containing the management record and planning for the entire national forest in South Korea by an amendment of the relevant law (The national forest management planning and methods, Korea Forest Service), in this study, average, the maximum, and the minimum values for DBH were presented while only average values were required before the amendment. In this regard, there is a need for an estimation algorithm by which all the existing values for DBH established before the revision can be converted to the highest and the lowest ones. The purpose of this study is to develop an estimation equation to automatically show the minimum and the maximum values for DBH for 12 main tree species from the data in the national forest management information system. In order to develop the estimation equation for the minimum and the maximum values for DBH, there was exploited the 6,858 fixed sample plots of the fifth and the sixth national forest inventory between in 2006 and 2015. Two estimation models were applied for DBH-tree age and DHB-tree height using such growth variables as DBH, tree age, and height, to draw the estimation equation for the maximum and the minimum values for DBH. The findings showed that the most suitable model to estimate the minimum and the maximum values for DBH was Dmin=a+bD+cH, Dmax=a+bD+cH with the variables of DBH and height. Based on these optimal models, the estimation equation was devised for the minimum and the maximum values for DBH for the 12 main tree species.