• Communications of the Korean Mathematical Society
• /
• v.18 no.3
• /
• pp.393-427
• /
• 2003

마쓰 형식을 일반화하는 마쓰-야코비 형식의 개념을 소개하고 이 형식의 성질을 연구한다. 그리고 마쓰-야코비 형식의 연구와 관련된 중요한 문제들을 제시한다.

• Electronics and Telecommunications Trends
• /
• v.9 no.4
• /
• pp.83-98
• /
• 1994

통신 장비 및 서비스 시장의 개방화에 따른 국가간 경쟁 체제 속에서 통신 정책 입안자의 관심이 단말 장치에 대한 형식 승인 제도의 세부 규정과 절차의 명확성을 위한 각종 제도 장비, 그리고 단말 장치 기술 기준의 효율적 운용 방안 등에 모아지고 있다. 이를 반영하여 호주는 1991년 전기 통신법의 개정, 형식 승인 기관인 AUSTEL의 기능 강화, 국가 및 지역간의 형식 승인 조화를 위한 AUSTEL의 국제적인 각종 활동 등을 통하여 대내 외적으로 형식 승인제도와 형식승인 기술 기준의 미비점을 보완해왔으며, 현재 세계 각국과의 형식승인 상호인정을 위한 효율적인 활동체계를 구축하고 있다. 본 고는 단말 장치 형식 승인 제도 운영 등에 활발한 움직임을 보여주고 있는 호주의 형식 승인 지침(Technical Approvals Guide No.3)과 전화망 접속 기술 기준(TS-002)의 적용 동향을 파악하여, 최근 호주와 형식 승인 상호 인정을 계획하고 있는 우리나라의 통신 협상 대응 방안 설정시 활용하고자 한다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.03a
• /
• pp.38-42
• /
• 1998

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

• Proceedings of the KIPE Conference
• /
• 2015.11a
• /
• pp.227-228
• /
• 2015

우리나라가 조달하는 ITER(국제핵융합시험로) 초전도자석 전원장치용 변압기는 CCU/L(Correction Coil Upper/Lower) 컨버터 형식용 6대, CCS(Correction Coil Side) 컨버터 형식용 3대, VS1(Vertical Stabilization 1) 컨버터 형식용 2대, CS(Central Solenoid) 컨버터 형식용 6대 그리고 TF(Toroidal Field) 컨버터 형식용 1대로 구성되어 있다. ITER한국사업단은 (주)효성과 컨버터 변압기의 공급계약을 2011년에 체결하고 예비 설계를 시작하여 2014년에 최종설계를 마친 후 동년 후반부터 CCU/L, CCS 및 VS1 컨버터 형식용 각 1대씩의 초도품 변압기 제작에 착수하였다. 각 변압기는 제작이 완료되어 CCU/L 및 CCS 형식은 FAT(Factory Acceptance Test)를 완료하였고 VS1 형식은 공장 자체시험을 완료하고 현재 전기연구원에서 실시할 단락시험을 준비하고 있다. 이어 CS 형식의 초도품과 1대만 조달하는 TF 형식의 제작을 착수할 예정이고, 각 형식별 초도품 1대씩은 단락시험을 포함하는 형식시험(Type Test)을 실시하여 형식별 적합성을 검증하고, 나머지 물량은 정기시험(Routine Test)을 실시한 후 2017년까지 두 번으로 나누어 프랑스 남부에 위치한 ITER 현장에 운송 및 설치할 예정이다. 설치를 마친 변압기들은 각각의 컨버터 짝과 통합시험을 포함하는 SAT(Site Acceptance Teat)를 거친 후 ITER 기구에 인계될 예정이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.352-354
• /
• 2004

현재의 모델 체커는 모델이 속성을 만족하지 않을 경우 반례를 사용자에게 보여주어서 디버깅을 돕는다. 모델 체커에서 반례는 중요한 장점 중에 하나이지만 대부분의 모델 체커에서 반례로서 하나의 경로만을 보여주게 된다. 하지만 사용자가 원하는 것은 그 이상의 정보를 원할 수 있다. 따라서 반례에서 좀더 많은 정보를 보여줄 필요가 있다. 이런 종류의 연구로서 트리 형식의 반례 생성과 증명 형식의 반례생성이 있었다. 하지만 이 연구들은 시스템이 가질 수 있는 모든 경로를 알아낼 수는 없고 또한 증명 형식의 반례 생성의 경우 상태공간을 다른 형식으로 변경을 해야 한다. 본 논문에서는 반례로서 도달 가능한 모든 경로를 그래프 형식으로 보여줄 수 있는 그래프 형식의 반례를 정의하고 생성방법에 대해서 알아본다

• Proceedings of the Korea Contents Association Conference
• /
• 2019.05a
• /
• pp.387-388
• /
• 2019

형식개념(Formal Concept)은 외연(extent)과 내포(intent)를 이용하여 어떤 대상에 대한 정의를 내리거나, 그 대상들을 분류하여 군집화하기 위한 논리적 도구로 사용되어왔다. 여기에서 외연이란 객체(Object)들의 집합이고, 내포는 그 객체들이 지니고 있는 속성(Attribute)들의 집합이다. 이러한 형식개념은 어떤 문제에 나타나는 다양한 데이터로부터 객체와 속성들을 추출하고 이로부터 개념(Concept)들의 계층구조(hierarchy)를 형성하여 데이터를 분석하는데 적용될 수 있다. 본 논문에서는 형식개념의 정의와 성질을 소개하고, 이를 일반화한 완비격자에서의 형식개념을 정의한다. 또한 이 형식개념에서의 외연과 내포격자에 대한 성질을 알아본다.

• KOMUNHWA
• /
• no.66
• /
• pp.5-35
• /
• 2005

본 고는 매우 복잡 다양하게 출토되고 있는 선사시대 토기 중 굽다리토기에 대한 연구이다. 특수한 기형의 이 토기는 분류조차 제대로 이루어지지 않은 채 의례용으로 인식되어져 왔으며, 그 명칭 또한 무분별하게 사용되어져 왔다. 따라서 충분히 객관적이고도 적절한 정립이 필요한 상황이다. 이 토기는 저부와 신부의 상대크기에 따라 대부형(Ⅰ형)과 대각형(Ⅱ)으로의 세부기종 설정이 가능하고 세부기종별 속성분석을 통하여 6형식의 형식분류가 이루어졌다. 무문토기시대 전기 주거지유적에서 공렬 및 각형토기와 공반하는 1·2·3·4형식의 토기(북한→강원영동→경기중부·충청서해안지역)는 점토대토기문화가 도래하면서 생활, 분묘, 생산, 폐기 그리고 의례관련유구에서 출토되는 5·6형식 토기(경기중부·충청서해안→호남·영남지역)로의 변화를 보이면서 전개된다. 즉 점토대토기문화가 도래하는 시점에서 굽다리토기의 형식도 변화·확대되고 있다. 또한 출토맥락, 형식조합, 제작기술 등의 관점에서 공렬 및 각형토기와 공반하는 1·2·3·4형식은 일상 생활용기로의 상정이 가능한 반면 점토대토기와 조합을 이루는 5·6형식 토기는 의례관련유구와 분묘유구에서 다량 출토되고 있어 기원이나 소원과 관련된 의례용기, 그리고 부장용으로의 기능분화가 관찰된다. 〔주제어〕: 굽다리토기, 공렬토기, 각형토기, 점토대토기문화, 기술유형, 시공적 전개, 기능분화

• Journal of the Korean Society for information Management
• /
• v.16 no.4
• /
• pp.53-74
• /
• 1999

This paper describes concept mapping techniques for eliciting and representing knowledge. Concept mapping techniques range from very informal to very formal. Informal concept mapping techniques are usually very easy to use and understand for humans, but not for computers. Formal concept mapping techniques are computational, but humans usually find them hard to understand and use. A knowledge acquisition and representation tools which handle both kinds, and the transition from informal to formal, would be very useful. It is proposed that concept maps be regarded as basic components of any knowledge-based system, complementing text and image with formal and informl active diagrams.

• Journal of Korea Entertainment Industry Association
• /
• v.15 no.7
• /
• pp.33-43
• /
• 2021

The purpose of this study is to examine the transformation and characteristics of the Verse-Chorus form. The musical form of a musical song is a structural mechanism for expression to effectively convey the dramatic situation of the characters to the audience. This study identified four types of representative forms that can be used to explore the transformation with the verse-chorus form and examined their characteristics. First is the Verse-Chorus form which repeats the description of simple situations and characters in the early stage of the musical. Second is the Verse-Bridge-Verse form which is used to evoke the atmosphere and escape boredom through a slight transformation of the bridge while explaining a simple character. Third is the Verse-Prechorus-Chorus form, which sits just before the chorus, connects the verse and the chorus, and promotes the emotional rise of the characters by smoothing the drama and the harmonic progression. Lastly, this study examined the expanded Verse-BG dialogue-Chorus form used to represent the situation in which conflicts about the complex feelings of the characters and the decisions about them coexist. As such, musical songs use various types of verse-chorus forms. Through the formality and transformation of the verse-chorus, the logic of the music and the logic of the drama are balanced so that the development of the music and the drama does not enter the state of imbalance. Based on this study, further progressive research can take place on the correlation between musical form and dramatic structure, beyond the transformation of musical song form.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.12
• /
• pp.3840-3847
• /
• 2000

Electronic Industries Association has set a standard format called CDIF(CASE Data Interchange Format) for exchanging information between CASE tools from 1991. If data used on a CASE tool is represented in CDIF format, then any other CASE tools can use the data by translating CDlF format into their own format. In order to do so, each CASE vendor must provide a translator program from CDIF to its own data format or from its own data to CDIF format. In this thesis, we have implemented a source code generator for translating CASE data format into CDIF format only if they provide how data is stored. This automatic program generator generates CDIF statements using data format used in CASE tools, meta information about stored data and CDIF meta information. In the thesis, the automatic program generator has been implemented with Java and Oracle DBMS with JOBC interface in Sun O/S environment.