• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.568-570
• /
• 2013

본 논문에서는 PHR과 만성질환 및 공간정보에 대하여 분석하고, 식당, 커피숍 등과 같은 실내공간에서 PHR 정보를 활용하여 자가 건강관리에 필요한 맞춤형 공간정보를 제공 받을 수 있는 PHR 기반 만성질환자 맞춤형 공간정보 서비스 시스템을 설계하였다. 서비스 공간정보 관리 기능과 사용자 정보 관리 기능 및 맞춤형 공간정보 매칭 기능을 포함하는 시스템의 동작절차를 설계하였다.

• 지능정보연구
• /
• 제5권1호
• /
• pp.65-80
• /
• 1999

선박설계는 그 과정이 매우 복잡하고 많은 양의 데이터를 다루고 있는 작업으로서 그 환경이 분산화, 이질화 됨에따라 최근들어 CSCW(Computer Supported Collaborative Work)의 요구가 증대되고 있다. 본 논문에서는 분산된 선박설계 환경에서의 협동작업을 지원하기 위한 에이전트 기반 선박설계 시스템을 개발하였다. 특히 여기서는 설계 에이전트간의 정보교환 및 지식공유를 통한 선박설계의 의사결정 과정에서 발생하는 의사충돌 문제를 해결하기 위하여 사례기반 추론 기법을 이용하여 이의 해결을 시도하였다. 설계 에이전트, 이들을 중재하는 퍼실리테이터, 충돌 처리기, 그리고 사례기반 시스템의 유기적인 도움을 받아 설계자는 설계과정에서 발생하는 설계 시스템간의 의사충돌 문제에 대한 의사결정을 과거의 유사한 문제해결 사례로부터 효과적으로 처리할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.551-553
• /
• 1999

최근에는 기하학적인 www의 성장과 더불어 인터넷 서비스를 통한 정보 획득과 고유, 교환 및 원격 시스템 접속을 통한 인터넷 응용 처리 서비스에 대한 연구가 많이 이루어지고 있다. 그리고 이를 기반으로 소프트웨어 생산성과 품질 향상을 위한 재사용을 이루기 위해 명확한 해결책으로 설계 패턴 재사용이 제시되었다. 그러므로 이들 설계 패턴을 웹을 기반으로 다수의 사용자가 융통성 있는 시스템 구축시 필요로 하는 패턴을 공유할 수 있는 적절한 설계 패턴 라이브러리 시스템이 요구되어졌다. 이는 웹 상에서 설계 패턴의 효율적인 검색과 의도된 패턴의 생성을 재사용 가능하도록 패턴 구조를 다운로드하고 보다 도메인 한정적인 응용 생산을 지원하고자 한다. 따라서 본 논문에서는 웹 상에서 설계 패턴 라이브러리를 ASP(Active Server Page)를 이용하여 구현하였다. 본 시스템을 통해 설계 패턴 재사용자들은 패턴을 등록, 수정, 삭제하고 또한 패턴을 대화적으로 검색하고 이해하며, 구조를 다운 받을 수 있다. 따라서 애플리케이션 시스템 구축에서 설계 패턴 사용자의 효율적인 방법을 제공한다.

• 정보관리학회지
• /
• 제28권3호
• /
• pp.355-376
• /
• 2011

이 연구는 연구정보시스템의 이용성을 높이기 위해 필요한 이용자 인터페이스 설계 원칙이 무엇인지 확인하고, 연구정보시스템의 개발 및 유지, 보수에 지속적으로 이용할 수 있는 휴리스틱의 개발을 목적으로 수행되었다. 이를 위하여 문헌조사와 이용자 인터페이스 분야의 전문가와 연구정보시스템의 이용자를 대상으로 심층인터뷰와 참여 관찰을 실시하여, 연구정보시스템의 이용자 인터페이스 설계 원칙과 그러한 원칙을 시스템에 적용하기 위해 필요한 인터페이스 요소가 무엇인지 분석하였다. 분석 결과를 토대로 연구정보시스템의 설계 및 평가에 활용될 수 있는 7차원의 86가지 항목으로 구성된 휴리스틱을 제시하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.577-580
• /
• 2007

본 논문은 PDA를 이용한 불법주정차 단속시스템의 설계 및 구현에 대하여 논의한다. 향후, 유비쿼터스 환경에서의 무선 인터넷 서비스는 PDA 단말기를 이용하여 언제, 어디서나 업무처리가 가능하게 되고, 사용자들은 어느 장소에서나 최신의 정보 서비스를 제공받을 수 있는 편리한 시대를 실현시켜 줄 것이다. 특히, 이러한 서비스를 위한 미디어 타입도 텍스트뿐 아니라 카메라 이미지, 동영상과 같은 디지털 자료를 이용함으로써 업무 서비스의 획기적인 개선이 예상되고 있다. 본 논문은 현행의 주정차 단속에 대해서 분석하고 그 문제점을 토대로 이동 중의 교통행정 시스템을 설계하여 보았다. 현행 주정차 단속의 문제점의 보안을 위해 주정차 단속 정보를 DB로 구축하고 관리하는 시스템을 설계하는 것을 주된 연구의 내용으로 한다. 특히, 이동 중의 단속자를 위한 PDA 기반의 클라이언트 소프트웨어를 설계함과 아울러, 서버 측에서는 자바 플랫폼을 기반으로 한 소프트웨어를 이용하여 상호 이질적인 환경에서의 소프트웨어 설계를 시도하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2004년도 춘계학술발표대회논문집
• /
• pp.99-102
• /
• 2004

현재의 보안정보에 관리는 크게 공개키를 기반으로 공개키 쌍의 관리만이 표준화된 형식으로 사용되고 있을 뿐, 다양한 시스템들 및 사용자들이 필요한 대부분의 보안정보들은 시스템별 흑은 사용되는 보안 서비스들의 따라 달리 관리되고 있다. 본 논문에서는 여러 종류의 보안정보들을 통합 관리하는 보안 정보 통합 관리 시스템을 설계하였다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 2004년도 춘계학술대회
• /
• pp.46-57
• /
• 2004

본 연구에서는 현실 세계에서의 교육을 보완하는 수단으로서가 아닌 실질적으로 교육이 이루어지는 가상교육시스템을 XML기반으로 설계하고, 그 설계를 바탕으로 시스템을 구현 했다. 따라서 본 연구는 가상교육시스템의 요구사항을 분석하여, 강의자${\cdot}$학습자${\cdot}$관리자 하위 시스템을 XML기반으로 설계하였다. 또한 본 연구에서는 XML기반의 가상교육시스템의 프로토타입을 인터넷환경에서 구현하였다. 향후 이 프로토타입을 기반으로 실무에서 다양하게 활용될 수 있는 시스템이 개발될 수 있을 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.187-190
• /
• 2004

시스템 설계가 시스템 요구 사항을 만족하지 않으면 시스템 구현 후 처음부터 다시 설계 및 구현을 해야 함으로 시스템 설계 단계에서 설계한 시스템이 요구 사항을 만족하는지 검증하는 것이 매우 중요하다. 일반적 시스템 요구 사항 중에는 시스템이 항상 막힘없이 작동 (live)해야 한다는 것과 시스템 자원의 총합이 한계값을 넘지 말아야 한다 (bounded)는 것이 있다. 본 논문에서는 이동물체 데이터베이스 시스템이 구조적으로 live하고 bounded 한지 검증하는 페트리 넷 방법을 소개한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.164-166
• /
• 1999

본 연구에서는 객체지향적 CASE 툴인 ObjecTime을 이용하여 지능형 제조 운영 시스템을 설계/구현하였다. 객체지향적 프로그래밍 방법론과 ROOM(Real-time Object-Oriented Modeling) 방법론을 사용하여 지능형 제조 운영 시스템에서 필요한 객체를 설계하였으며, 이들 객체의 계층도와 관계를 정의하였다. 객체지향적 설계 방법론을 사용하여 설계한 시스템은 모델링 과정에서 실행화일을 얻는 과정까지 발생하는 오류를 최소화할 수 있다는 장점이 있다. 또한, 본 연구에서는 제조 시스템의 모니터링과 제조시스템 운영 소프트웨어의 자료 입력 및 수정을 위한 그래픽 사용자 인터페이스 툴을 제작하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.88-90
• /
• 2001

원자력 발전소 내장형 시스템은 안정성과 신뢰성이 절대적으로 요구되는 Safety-critical 시스템이다. 이러한 시스템의 설계는 모호성이 없는 정형명세 언어로 설계함으로 설계자와 구현자 사이의 모호성 없는 의사전달을 달성할 수 있다. 이러한 특히 원자력 발전소 내장형 시스템의 설계에 있어서 설계자는 그가 설계한 설계를 시험(Validation)하고 검증(Verification)하는 기법을 필요로 하게 된다. 특히 시스템이 복잡해질수록 설계도 내의 오류를 발견하지 못할 가능성이 커진다. 본 논문에서는 시스템이 가질 수 있는 모든 상태를 만들어내어 검사하는 형태의 검증 기법인 정형기법을 통하여 Safety-critical 한 내장형 시스템의 설계를 검증함으로 보다 완벽한 시스템을 설계하는 기법을 제안한다.