• 대한수학회논문집
• /
• 제18권3호
• /
• pp.393-427
• /
• 2003

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

• 전자통신동향분석
• /
• 제9권4호
• /
• pp.83-98
• /
• 1994

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

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
• /
• pp.38-42
• /
• 1998

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

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2015년도 추계학술대회 논문집
• /
• 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 기구에 인계될 예정이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.352-354
• /
• 2004

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

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2019년도 춘계종합학술대회
• /
• pp.387-388
• /
• 2019

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

• 고문화
• /
• 66호
• /
• pp.5-35
• /
• 2005

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

• 정보관리학회지
• /
• 제16권4호
• /
• pp.53-74
• /
• 1999

본 논문에서는 효율적인 암묵적 지식을 표현하기위한 도구로써 개념매핑기법에 대해 기술을 하고 있다. 개념매핑기법은 비형식적인 것에서부터 형식적인기법까지 다양하다. 형식적개념매핑은 사용이 용이하지만 컴퓨터 처리능력이 없다. 반면에 비형식적 개념매핑은 추론능력은 있으나 사용이 어렵다는 단점이 있다. 따라서 미래의 지식매핑시스템은 형식적ㆍ비형식적 개념기법의 장점을 모두 고려해야 할 것으로 보인다.

• 한국엔터테인먼트산업학회논문지
• /
• 제15권7호
• /
• pp.33-43
• /
• 2021

본 연구는 뮤지컬 노래에 사용된 음악 형식인 Verse-Chorus 형식의 변용과 특징을 고찰하기 위함이다. 뮤지컬 노래의 음악 형식은 인물의 극적 상황을 관객에게 효과적으로 전달하기 위한 구조적 표현 기제이다. 연구를 위해 Verse-Chorus 형식과 변용을 탐구할 수 있는 대표적인 형식을 4개의 유형으로 나누고 각각의 특징을 살펴보았다. 첫째, 뮤지컬 초기의 단순한 상황과 인물을 설명하는 반복 형식인 Verse-Chorus 형식, 둘째, 단순한 인물을 설명하면서도 Bridge의 약간의 변형을 통해 분위기를 환기시키고 지루함을 탈피하기 위해 사용된 Verse-Bridge-Verse 형식, 셋째, Chorus 직전에 위치하여 Verse와 Chorus를 연결하고 드라마와 화성적 진행을 매끄럽게 하여 인물의 정서적 상승을 도모하는 Verse-Prechorus-Chorus 형식(Verse-Prechorus-Chorus Form), 마지막으로 인물의 복잡한 심경에 대한 갈등과 그에 대한 결정이 공존하는 상황을 나타내기 위해 사용된 확장된 Verse-BG대사-Chorus 형식에 대해 고찰하였다. 이처럼 뮤지컬 노래는 다양한 형태의 Verse-Chorus 형식이 사용되고 있다. Verse-Chorus의 형식성과 변용은 음악과 드라마 전개가 불균형의 상태가 되지 않는 음악의 논리와 극의 논리가 균형 상태를 이루게 한다. 본 연구를 토대로 뮤지컬 노래 형식 변용에서 나아가 음악 형식과 극 구조의 상관성에 대한 발전적인 연구가 이어지길 기대한다.

• 한국정보처리학회논문지
• /
• 제7권12호
• /
• pp.3840-3847
• /
• 2000

미국의 전자산업협회(Electronic Industries Association)에서는 1991년부터 CASE 도구간의 정보교환을 용이하게 하기 위하여 CDIF (CASE Data Interchange Format) 이라는 표준 형식을 제정해 오고 있다. 각 CASE 도구에서 사용된 데이터를 CDIF 형식으로 변환만 해주면 다른 CASE 도구에서 이를 자신에 맞는 형식으로 변환하여 사용할 수 있다. 이때 각 CASE 도구 공급자는 CDIF 형식으로 변환 혹은 CDIF 형식을 자신에 적합한 형식으로 변환하는 프로그램을 작성하여야 한다. 본 논문에서는 이러한 불편을 해소하기 위해서 CASE 도구 공급자가 각 CASE 도구에서 사용된 자료의 저장형식을 지정하여 주면 CDIF 형식을 지원하는 변환기의 소스코드를 자동으로 생성하는 생성기를 개발하였다. 이 자동 생성기는 CASE 도구에서 사용된 자료의 저장형식, 저장형식에 대한 메타정보, CDIF 메타정보를 입력받아서 CDIF 문장을 생성한다. 본 연구에서 개발한 자동 생성기는 정보저장소에 관계없이 단일화된 인터페이스를 제공하는 JDBC 및 Oracle과 Sun O/S 환경하에서 구현하였다.