• 한국측량학회지
• /
• 제16권1호
• /
• pp.139-147
• /
• 1998

국토에 대한 공간정보의 기본도로서 다양한 사용자의 요구사항을 충족시킬 수 있는 수치지도를 효율적으로 제작 및 유지관리하기 위해서는 수치지도의 데이터 모델과 구조 등 수치지도 데이터 구축에 대한 연구가 중점적으로 이루어져야 한다. 본 연구에서는 단순 지도제작을 목적으로 구축된 기존 수치지도의 데이터 모델에 대한 문제점을 파악하여, 개선된 수치지도 데이터 모델의 개념적ㆍ논리적 모델을 제시하였다. 제시된 수치지도 데이터 모델은 기존에 제작된 수치지도 데이터의 사용을 전제로 설계되었으며, 다양한 사용자의 요구사항을 반영하기 위해서 데이터 모델의 유연성에 중점을 두었고, 필요에 따라서 수정이 용이하도록 단계별 접근방법에 의해 설계되었다. 또한 제시된 수치지도 데이터 모델은 향후 객체 지향형 모델로 나아가기 위한 중간 단계의 데이터 모델이다.

• 전자공학회논문지B
• /
• 제32B권1호
• /
• pp.1-10
• /
• 1995

A graphic user interface for effectively browsing object-oriented databases in complex applications is designed and implemented. The rationale behind our design lies in enabling the users of various levels and needs to investigate the database according to their respective interests and desired depths. A novel idea in our design is the introduction of zooming techniques from a logical view, which vidualize the backbone abstraction concepts of the object-oriented data model. These objectives are verified by evaluating the results of its implementation.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2004년도 가을 학술발표회 논문집
• /
• pp.126-132
• /
• 2004

The database design for the management of bridge measurement information is presented in this paper. To express the associated data generated during the whole process of ambient measurement efficiently, requirements analysis for database construction is performed. And to define objects and organize schema conceptual and logical design are performed, which convert data model into logical schema. Finally, physical design is performed using DDL(data defined language). This database is based on the object-relational data modeling approach that has rich expressive power and good reusability in comparison with the traditional entity-relational modeling.

• 한국인터넷방송통신학회논문지
• /
• 제11권5호
• /
• pp.11-17
• /
• 2011

본 논문은 개체 관계 모델을 기반으로 하는 논리적 데이터베이스 설계도구인 ER_Modeler 개발에 관한 연구이다. ER_Modeler는 윈도우 상에서 개체 관계 다이어그램(Entity-Relationship Diagram: ERD)을 작성할 수 있는 그래픽 편집도구 기능과 생성된 ERD 정보로부터 논리적 데이터베이스 테이블을 정의하기 위해 데이터 정의어(Data Definition Language: DDL)를 자동 생성하는 기능을 제공한다. 또한 상업적으로 가장 많이 사용되고 있는 Erwin 제품과의 호환성을 제공하기 위해 XML을 이용하여 ERwin과의 Export/Import 기능도 제공해준다.

• Journal of Information Technology Applications and Management
• /
• 제16권2호
• /
• pp.135-150
• /
• 2009

Corporate databases are usually denormalized, due to the data modelers' impetuous belief that denormalization could improve system performance. By providing a logical insight into denormalization, this paper attempts to prevent every database modeler from falling into the denormalization pit. We indicate loopholes in the denormalization advocates' assertions, and then present four criteria to analyze the usefulness and validity of denormalization; 1) the level of concurrency among transactions, 2) the database independence of the application program, 3) the independence between the logical design and the physical one, and 4) the overhead cost to maintain database integrity under various query patterns. This paper also includes experimental results to evaluate performance of denormalized and fully normalized structures under various workloads.

• 대한수학교육학회지:수학교육학연구
• /
• 제9권1호
• /
• pp.111-119
• /
• 1999

This paper discusses jLogic, a mathematical logic education software developed by the author. jLogic is basically a MS-Windows based software that can construct first-order models, formulas and thet their satisfiablity. Logical formulas are easily input by a "keyboard" maintained by jLogic. A special finite model, called the "Toy World" can be visually cinstructed and modified. The user is supposed to answer the following 3 questions about the selected logical expression: 1. Is it a grammatically correct logical formula? 2. Is it a sentence that has a definite truth value? 3. Is th sentence true or false? When the user inputs his answer in the "Inspector window" and then presses the OK button, jLogic instantly tests the validity of the answer and tells the user the result. jLogic is freely downloaded from http://gauss.kyungpook.ac.kr/~jlogic/

• 정보교육학회논문지
• /
• 제24권4호
• /
• pp.379-390
• /
• 2020

최근 코로나19 상황으로 인한 비대면 교육의 확산으로 온라인 교수·학습 및 평가 도구에 대한 관심이 높아지고 있다. 도구의 효과적인 활용을 위해서는 학습자의 정의적, 인지적 변인 간의 구조적 영향력과 인과 관계에 대한 규명이 필요하다. 본 연구는 '온라인 저지'를 활용하는 프로그래밍 교육에서 도구의 활용 횟수, 자기효능감, 몰입, 컴퓨팅 사고력, 논리적 사고력으로 구성된 연구 모형과 경쟁 모형을 설정하고, 모형의 적합도와 경로 분석을 실시하였다. 분석 결과, '도구의 활용 횟수 → 자기효능감 → 몰입 → 논리적 사고력 → 컴퓨팅 사고력'에 이르는 인과 관계를 규명하였고, 도구의 활용 횟수가 학습 동기를 거쳐 사고력에 영향을 미치는 경로 상에 '자기효능감 → 몰입'의 이중 매개 효과, 또는 '몰입'의 단독 매개 효과를 확인하는 동시에 '몰입 → 자기효능감'의 이중 매개 변인으로는 도구의 활용 횟수가 사고력으로 발현되지 않음을 확인하였다. 한편, 동일한 경로 상에 '논리적 사고력 → 컴퓨팅 사고력'의 경로는 규명되었으나, '컴퓨팅 사고력 → 논리적 사고력'의 경로는 규명되지 않았다.

• 전기전자학회논문지
• /
• 제14권3호
• /
• pp.210-218
• /
• 2010

TTCN-3(Testing & Test Control Notation Version 3)은 2001년 ETSI에서 표준화한 국제 표준 테스트 언어이다. TTCN-3은 프로토콜 적합성 시험에 일반적으로 사용하고, 특정 부분의 모듈이나, CORBA 기반의 플랫폼 및 API 시험 등에 적용이 가능하다. 또한 적합성 시험뿐만 아니라 연동 시험, 반복 시험, 플랫폼 시험 등의 다양한 시험에 적용이 가능하다. IEC61850 은 SCADA(Supervisory Control And Data Acquisition) 시스템에서 SAS(Substation Automation System)를 위해 제안된 프로토콜이다. 본 논문에서는 TTCN-3 적합성 시험 언어를 이용하여 IEC 61850 상호 연동성 시험기를 Windows 환경에서 구현하였다. SUT(System Under Test)로는 리눅스 운영체제 기반의 IEC61850 Server Simulator를 사용하였다. 본 논문에서 시험한 적합성 시험 항목은 "IEC61850 - Part10" 문서의 테스트 항목들 중 "Server, Logical device, Logical node, and data model"의 Positive test case_Srv5 항목을 시험하였다.

• 한국전자통신학회논문지
• /
• 제3권4호
• /
• pp.304-312
• /
• 2008

본 연구에서는 KIX의 성과분석을 위해, 민간기업과 정부기관 구분하여 분석하였다. 민간기업의 적용되는 BSC 성과분석 4개 관점간의 논리적 연계성(Logical Linkage)이 모든 기업에는 동일하게 적용가능하나, 정부기관에서는 4개의 관점간 논리적 연계성 확보가 곤란하다. 이러한 논리적 연계성 상실은 정부기관의 KIX 사업에 BSC 적용의 제약요인으로 작용한다. 이러한 내부와 외부 고찰 관점과 연계하여 KIX의 BSC 관점은 품질(운영)관점, 이용자(고객) 만족도 관점, 경제적 비용효과(재무)관점으로만 구분해 KIX의 BSC 성과분석의 내외부적 관점에 관한 연계모형과 BSC의 내외부적 관점을 근간으로 KIX의 성과분석 모형을 만들어 KIX 전체 사업에 대한 성과결과를 분석하였다.

• 한국시뮬레이션학회논문지
• /
• 제21권4호
• /
• pp.35-46
• /
• 2012

실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다.