• 한국기록관리학회지
• /
• 제18권4호
• /
• pp.231-257
• /
• 2018

본 연구는 이산가족 찾기 기록 검색을 위한 패싯 기반 온톨로지 모델을 제안하였다. 온톨로지 모델링을 위한 패싯 분석은 상향식 방법으로 KBS 아카이브 이산가족 찾기 기록과 국가기록원 기록의 원문 내용과 기술요소를 분석하고, 하향식 방법을 통해 이산가족 찾기 기록의 특성인 방송 기록과 사건 중심 기록의 특성을 분석하여 패싯을 도출하였다. 패싯은 KBS 이산가족기록, 출처, 인물, 원본기록, 사건의 5개 상위클래스와 18개의 하위클래스로 구성되었다. 설계된 이산가족 찾기 기록 온톨로지 모델은 실제 이용자에 의해 평가가 수행되었으며, 대체로 이산가족 찾기 기록 검색과 이용 측면에서 접근점, 기록의 맥락 정보 제공, 기술요소 제공에 있어서 충분하고 적절하다고 평가되었다.

• 한국산학기술학회논문지
• /
• 제20권11호
• /
• pp.294-304
• /
• 2019

지금의 농업부문을 포함한 에너지 분야의 온실가스 배출량 산정방법은 하향식(top-down) 방식으로 간주할 수 있으며, 이러한 하향식 온실가스 산정 방법은 제한된 배출계수와 활동자료를 바탕으로 온실가스 인벤토리를 효과적으로 작성할 수 있는 방법이다. 그러나 에너지분야 농림업부문 온실가스 저감 정책 설계를 위해서는 보다 정교한 에너지분야 농림업부문 온실가스 배출량 정보 구축이 필요하다. 이를 위해 현재 온실가스 배출량 산정방식에 대해 살펴본 후, 에너지 분야 농림업부문 온실가스 배출량 산정과 관련한 개선방안에 대해 논의한다. 먼저 에너지분야 농림업부문 배출현황에 대한 엄밀한 파악과 구체적 정책 설계를 위해 2006 IPCC 가이드라인, 해외 국가온실가스인벤토리 보고서, 국내 통계, 관련 문헌 등을 고려하여 세분화된 국가고유 배출계수의 개발과 관련 활동자료 구축 방안을 제안하였다. 구체적으로 다음으로 2006 IPCC 가이드라인을 바탕으로 농업부문 CO₂ 배출량의 불확도(uncertainty)를 계측하고 불확도 개선을 위한 방안을 제시하였으며, 이를 통해 CO₂ 배출량 불확도를 약 1.5%p 감소시킬 수 있음을 보였다. 끝으로 온실 난방 등에 사용되는 농업부문 신재생에너지 사용으로 인한 온실가스 배출량을 반영할 수 있는 활동자료 개선 방안을 제안하였다.

• 한국전자통신학회논문지
• /
• 제5권5호
• /
• pp.449-458
• /
• 2010

최근 소프트웨어 아키텍처 설계 시 소프트웨어의 재사용성 및 유지보수 비용의 효율성을 고려한 객체지향 디자인 패턴의 관심이 증가하고 있다. 따라서 본 논문은 객체지향 디자인 패턴 기반의 도메인 객체 인터페이스를 활용하여 특정 도메인에 해당하는 논문 투고 관리 시스템을 설계하고, 아울러 자바와 XML을 이용하여 구현한 시스템을 제안한다. 제안하는 시스템은 GoF 디자인 패턴을 적용하여 하향식과 상향식을 적절히 조합한 시스템 전체 아키텍처를 설계한 후에 상향식으로 각각의 시스템 객체들을 조립하여 구현하는 방식을 적용한다. 또한 본 시스템은 시스템의 데이터 자체에 대해서는 XML을 통해 각종 퍼시스턴스 객체(Persistent Object)의 형태로 변환되도록 하며, 도메인 객체를 클래스로 자동 생성하는 방식을 채택하지 않음으로써 시스템의 복잡성을 최소화한다. 마지막으로 시스템의 구현은 일반 클라이언트/서버 환경에서도 사용 가능하지만, 사용자의 편의성 및 일관성을 고려해 일반 웹브라우저에 내장된 XSLT를 통해 시스템 사용자 GUI를 구현한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권5_6호
• /
• pp.503-514
• /
• 2003

폭포수 모형을 기반으로 하는 구조적 개발 방법론에서는 요구 분석 단계에서 요구 사항들이 일단 명세화되고 나면, 이들은 단지 후속의 개발 단계를 위한 중간 산출물로만 사용되고 더 이상 요구 사항 자체를 관리 대상으로 취급하지 않기 때문에 설계 단계 이후에 발생하는 요구 사항의 변경을 관리할 수 있는 절차가 미흡하다. 그러나 현실적으로는 정보 기술의 발전, 시장 환경이나 적용 환경의 변화 등으로 인하여 개발 기간 중 요구 사항은 끊임없이 변화하게 된다. 따라서 이러한 요구 사항의 지속적인 변경을 지원하기 위해서는 전체 개발 생명 주기에 걸쳐 요구 사항을 관리하고 특히 설계 단계 이후의 요구 사항 변경을 지원할 수 있는 요구 사항 변경 관리 프로세스가 필요하다. 이 논문에서는 하향식(top-down)의 구조적 개발 방법론에 적용할 수 있는 요구 사항 변경 관리 프로세스 모델을 제안하여 설계 단계 이후에 발생하는 요구 사항의 변경을 체계적으로 관리하고 요구 사항 자체를 모든 개발 생명 주기에서 활용하기 위한 방안을 제시한다. 제안 프로세스는 마르미 방법론의 개발 프로세스와 산출물 측면의 적용 검토를 통하여 개발 방법론의 요구 사항 변경 및 관리에 대한 개선 효과를 평가한다.

• 한국통신학회논문지
• /
• 제29권4A호
• /
• pp.447-457
• /
• 2004

본 논문에서는 RSA 암호화 알고리즘을 지원하기 위한 암호화 프로세서의 구조를 제안한다. 본 논문의 RSA 암호화 프로세서는 빅 몽고메리 알고리즘(FIOS)을 기반으로 제안되였으며, 다양한 비트 길이(128∼2048 비트)를 지원한다. RSA 암호화 프로세서의 구조는 RSA 제어 신호 발생기, 빅 몽고메리 프로세서(가산기, 승산기)의 모듈로 구성된다. 빅 몽고메리 프로세서의 가산기와 승산기는 다양한 알고리즘을 이용하여 구현하였다. 내장형 시스템에 적합하게 설계하기 위하여 여러 가지 연산기를 합성한 결과 중에서 ARM 코프로세서와 연동할 수 있는 동작주파수를 갖는 연산기 중에서 가장 작은 연산기를 선택하였다. RSA 암호화 프로세서는 Verilog-HDL을 이용하여 하향식 설계 방법으로 구현되었으며, C언어와 Cadence의 Verilog-XL을 이용하여 검증하였다. 검증된 모델은 하이닉스 0.25$\mu\textrm{m}$ CMOS standard cell 라이브러리를 이용하여 합성되었으며, 2.3V, 10$0^{\circ}C$ 최악 조건에서 동작한다. 본 논문에서 제안한 RSA 암호화 프로세서는 약 51MHz의 주파수에서 동작하며, 게이트 수는 nand2 게이트 기준으로 36,639 gates의 면적을 가진다.

• 한국전자거래학회지
• /
• 제9권4호
• /
• pp.53-64
• /
• 2004

최근의 기업들은 B2B전자상거래 개념하에 상품과서비스를 전자적으로 거래하기 위하여 자신의 기업 영역을 넘어서는 프로세스를 수행하고 있다. 이러한 환경에서, 조직간의 비즈니스 프로세스는 필요하며 파트너간의 공개 프로세스 뿐만 아니라 기업 내의 자체 프로세스도 잘 정의되어야 한다. 이러한 목적을 위해 이 논문은 조직간 비즈니스 프로세스를 나타내는 방법을 제시한다. 우선, B2B 전자상거래를 위한 조직간 워크플로우를 위한 모델링 방법을 제시한다. 이 방법은 1:1 및 1:N 협업시 공통 프로세스를 공유할 수 있도록 ebXML의 BPSS를 기반으로 제시되었다. 여기서 조직간 워크플로우의 설계 절차를 편리하게 하기 위해 메시지 플로우와 통제 플로우를 분리하였다. 둘째, 구조화된(well-structured) 조직간 워크플로우 프로세스를 설계하기 위하여 구조화된 프로세스 모델링 알고리즘이 제시된다. 이 알고리즘에서는 프로세스가 페트리넷 기반의 프로세스로 변환된다. 이 알고리즘은 하향식 방식으로 구조화된 프로세스 모델을 설계할 수 있도록 기능화된 (well-behaved) 모델링 블록, 기능화된 제어 구조, 비즈니스 트랜젝션을 이용한다.

• 한국건설관리학회논문집
• /
• 제19권4호
• /
• pp.93-101
• /
• 2018

생명체와 같이 살아있는 도시는 성장과 소멸의 과정을 거치는 생태계와 같은 특징을 가지고 있다. 최근의 도시들은 자연발생되는 경우 보다는 설계자에 의해 설계되는 경우가 많은 데, 만약 도시가 최적화되어 설계되지 않으면, 이를 개선하는 것이 매우 어렵다. 이로 인하여, 많은 사람들은 잘못된 설계로 인한 불편을 감수하고, 그러한 도시에 적응하여 살아가게 된다. 그러므로 설계단계에서부터 오류없이 최적화된 도시설계가 이루어지는 것이 중요하다. 도시가 최적화 설계되지 못하는 이유들 중 하나는 복잡성인데, 과거의 도시 설계방법에서 도시의 복잡성 문제를 해결할 때에는 주로 경험과 지식에 의한 하향식 문제해결 방법이 적용되었다. 그런데 이는 도시의 생태적 특성을 반영하지 않는 설계방법으로, 생태계의 생성원리를 적용한 상향식 문제해결 방법이 적용되지 못하게 된다. 따라서 본 연구에서는 작은 단위문제 해결의 합이 큰 단위문제 해결이 되는 인공 생명의 일반원리를 도시설계방법에 적용하였다. 그 결과, 다양한 도시설계 대안들을 도출할 수 있었으며, 도출된 대안들은 제한된 모델링 임에도 불구하고 전문가가 설계 한 것과 차이가 없다는 점과 향후 개발의 가능성이 있다는 점을 확인할 수 있었다.

• 정보처리학회논문지A
• /
• 제11A권1호
• /
• pp.97-108
• /
• 2004

본 논문은 자바 프로그램에서 논리적인 오류를 발견하기 위해 알고리즈믹 디버깅 기술의 이용을 제안한다. 알고리즈믹 디버깅 기술은 원시프로그램으로부터 실행 트리를 생성하고, 실행 트리로부터 프로그램 내에 포함된 논리적인 오류를 하향식 방법으로 발견하는 반자동화 디버깅기술이다. 따라서 알고리즈믹 디버깅 기술은 다양한 프로그래밍 언어에 알맞은 실행 트리를 생성하는 것이 중요하다. 주 논문에서는 자바 프로그램으로부터 실행 트리를 생성하는 방법을 제안하고 예제론 통해서 자바 프로그램을 위한 알고리즈믹 디버깅 기술을 확인한다. 이 접근은 전통적인 순차적 디버깅 기술보다 사용자와 디버깅 시스템 사이에서 상호작용의 수를 줄일 수 있다.

• 한국해양공학회지
• /
• 제12권3호통권29호
• /
• pp.86-95
• /
• 1998

CAD/CAM program developers have made substantial progress in enabling engineers to design, analyze, visualize, visualize, and simulate the performance of structures and systems. Many researchers, however, agree that there is still a way to go before the existing commercial computer software can be used in ship structural analysis to their full potential as solvers which can identify opportunities to reduce man-hours and cut costs. CAD systems used for these works in ship yards are general-purposed and not custom-tailored for ship structures, which force end-users to do tiresome and routine works. The new preprocessor "MeshGen" announced in this study can load several ship types and user-friendly generate their FE meshes employing the object-oriented approach based on the parametric and top-down design. Also "MeshGen" reduces dramatically the time required to prepare CAD models under window-based environments on desktop personal computers and makes it much easier and faster for end-users to change topology and material properties.

• 한국정보처리학회논문지
• /
• 제6권8호
• /
• pp.2253-2261
• /
• 1999

ACK에서는 패턴 테이블 생성기와 핍홀 최적화기에서 스트링 패턴 매칭 기법을 이용하여 EM 중간 코드에 대한 최적화 코드를 생성한다. 하지만 이 스트링 패턴 매칭 방법은 패턴 결정 시에 반복적으로 많은 비교 동작이 이루어지므로 비효율적이다. 본 논문은 ACK의 중간 코드 최적화기를 개선하기 위해 EM 트리 생성기, 최적화 패턴 테이블 생성기, 트리 패턴 매칭기로 구성된 트리 패턴 매칭 알고리즘을 이용한 EM 중간 코드 최적화 시스템을 설계하고 구현하였다. 이러한 트리 패턴 매칭 알고리즘은 EM 트리를 하향식으로 순회하면서 트리 구조를 가진 패턴 테이블을 참조하여 루트 노드를 중심으로 패턴 매칭을 수행한다. 트리 패턴 매칭 동작은 궁극적으로 ACK의 스트링 패턴 매칭에 비해 최적화 패턴을 찾는데 걸리는 시간을 평균 10.8% 감소시킬 수 있는 효과를 보였다.