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

이동 에이전트 시스템(Mobile Agent System)의 상호운용성을 위한 표준화 작업의 결과로 OMG(Object Management Group)로부터 MAF(Mobile Agent Facility) 명세가 제안되었다. MAF 명세는 이동 에이전트 시스템간의 상호운용성은 지원하지만, 시스템의 견고성을 위하여 필요한 에이전트 시스템의 영속성과 에이전트 실행 시 발생하는 예외 상황에 대하여는 규정하지 않고 있다. SMART 에이전트 시스템은 MAF 명세의 표준 인터페이스를 구현하여 개발된 이동 에이전트 시스템으로서, 본 논문에서는 SMART 시스템의 영속성과 예외 처리 지원에 대하여 기술한다. SMART 시스템은 영속성을 위하여 시스템의 정보(실행중인 플레이스, 에이전트 등)를 저장하고 복원하며, 예외 상황을 지원 접근 등급에 따라 처리하였다. 시스템의 영속성과 예외 처리는 객체의 영속성을 체계적으로 지원하는 JavaSpace 기술을 이용하여 구현되었다.

• 정보처리학회논문지A
• /
• 제17A권4호
• /
• pp.173-180
• /
• 2010

프로그래밍언어에 대한 형식 의미를 적절하게 표현하면 설계와 표준화, 최적화 및 번역 과정에 중요한 역할을 수행한다. 기존의 자바에 대한 형식 의미 연구는 번역을 위해 정확하고 실제적인 의미 구조를 표현하는데 미흡한 점이 있다. 자바 번역 과정의 효율성을 향상시키기 위해 정적이고 동적인 의미 구조를 정확하게 표현하는 의미 표현법에 관한 연구가 필요하다. 본 논문에서는 기존의 작용식(Action Equations)을 사용해 명세한 연구를 확장하여 자바 언어에 대한 형식 의미를 명세하는 개선된 작용식(Action Equations)을 제시한다. 객체를 다루는 기능은 물론 예외를 처리하는 형식 의미론을 보다 실제적이고 정확하게 명세하게 된다. 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식을 기존의 의미 표현법과 비교하여 본 작용식의 우수성을 확인하고자 한다.

• 정보처리학회논문지C
• /
• 제8C권2호
• /
• pp.221-233
• /
• 2001

오늘날 이동 에이전트 기술은 네트워크 트래픽을 효과적으로 줄이고, 서버의 인터페이스를 바꾸지 않고 클라이언트의 다양한 요청을 융통성 있게 서비스할 수 있는 기술로 여겨지고 있다. 그러나 대부분의 이동 에이전트 시스템들은 그들 자신의 구조를 적용하고 다른 방법으로 구현되어, 특정 이동 에이전트 시스템에서 생성된 이동 에이전트는 다른 에이전트 시스템에서는 사용될 수 없다. 이러한 문제를 해결하기 위하여 OMG(Object Management Group)는 이질적인 에이전트 시스템간의 상호운용선(interoperability)을 증진시킬 목적으로 이동 에이전트와 에이전트 시스템간의 공통된 개념적인 모델에 대하여 기술한 MAF(Mobile Agent Facilities) 명세를 제안하였다. 본 논문에서는 OMG MAF 명세를 만족하는 자바 기반의 SMART 시스템에 관하여 기술한다. SMART 시스템은 MAF 명세에 따른 이동 에이전트간의 상호운용성을 지원하고, MAF 명세에서 권장하는 보안 모델을 기반으로 한 독자적인 보안 기능을 제공한다. 또한 보다 안정된 에이전트 시스템의 운영을 위하여 자체적인 에이전트 및 에이전트 시스템의 영속성(persistence)과 예외처리를 지원한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.558-560
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)에 대해서 기술한다. ATM 은 임무 위급 시스템과 같은 실시간 시스템을 명세, 분석 및 검증할 수 있는 정형 기법이다. ATM 은 모드(mode), 전이(transition), 포트(port)로 구성된다. 모드는 머신의 압축된 상태를 의미하고 전이는 모드와 모드 사이의 변화를 말한다. 포트는 ATM 들 사이의 상호작용을 위한 진입을 나타내기 위한 것이다. ATM 은 소프트웨어 순환 공학을 위해 디자인 되었다. ATM은 재/역공학적 측면에서 계산 이론과 더불어 기존의 실시간 시스템의 소스코드에 대한 디지안 및 환경 정보를 나타낸다. 본 논문은 병렬성, 병렬적으로 동작하는 엔터티들 사이의 제어 정보이 흐름, ATM 타입과 클래스로부터의 인스턴스, 비/동기적 이벤트, 포트와 이벤트 타입, 포트의 타입, 통신, 입/출력, 예외처리, 시간에 관한 요구사항, 다수를 대상으로 하는 통신 주기적 작업등과 같은 ATM의 여러 개념을 기술하고 이러한 속성들을 Producer-Buffer-Consumer 예제로 살펴본다.

• 한국공간정보시스템학회:학술대회논문집
• /
• 한국공간정보시스템학회 2000년도 학술회의 논문집 3권2호
• /
• pp.181-186
• /
• 2000

국가지리정보체계사업을 시작으로 여러 응용분야에서 지리정보시스템을 구축하고 있으며, 특히 지자체에서는 도시정보화 차원에서 UIS(Urban Information System;도시정보시스템)를 구축하고 있다. 지자체의 업무들은 지자체의 상황에 따라 조금씩 차이를 보이지만 업무 단위로 따져 볼 때 공통적으로 수행되는 업무들이 많으며, 지리정보 관련 업무 또한 예외가 아니다. 지금까지 각 지자체의 도시정보시스템은 공통업무에 대하여 중복개발이 불가피 하였으며, 재사용성을 기대하기 어려웠다. 이런 비효율을 극복하는 방안으로 컴포넌트 기술이 대두되었으며, 컴포넌트 기술을 이용하여 업무변화에 유연하고 재활용을 극대화할 수 있는 업무 컴포넌트 개발이 필요한 시점이다. 본 논문은 지자체의 지리정보 관련 업무의 하나인 하수도 업무 중 하수배출용량 산정을 위한 하수도 관망해석 컴포넌트 설계를 제시하였다. 하수도 관망해석 컴포넌트는 하수배출용량을 산정하고, 하수 배출용량을 토대로 통수능이 부족한 하수관거를 추출하며, 통수능 부족 관거에 대하여 적정한 교체 관경 결정을 지원할 수 있도록 설계하였다 컴포넌트 설계과정은 표준업무를 지원할 수 있도록 업무분석을 수행하였으며, 이의 결과물로 하수도 관망해석 알고리즘을 도출하였으며, 알고리즘을 기반으로 하수도 관망해석 업무를 수행하는 하수도 관망해석 컴포넌트를 설계하고 설계 내용을 UML(Unified Modeling Language)로써 명세화 하였다. 현재 설계에 따라 하수도 관망해석 컴포넌트가 개발되고 있으며, 개발된 컴포넌트를 이용한 하수도 관망해석 시스템을 구축할 예정이다. 추후에는 하수도 관망해석 컴포넌트와 하수도 업무 컴포넌트와의 통합부분에 대한 연구가 진행되어야 할 것이다.7.0로 하고 표준(標準) EDTA 용액(溶液)을 소량(少量)넣고 8N-KOH로 pH $12{\sim}13$으로 하고 N-N 희석분말(稀釋粉末)을 지시약(指示藥) 으로써 표준(標準) EDTA 용액(溶液)으로 적정(滴定)하여 Ca 치(値)를 얻었다. Ca와 Mg의 합계결정치(合計決定値)와 Ca 적정치(滴定値) 차(差)로 Mg 치(値)를 얻었다. 음(陰) ion 구분(區分)으로부터 상법(常法)에 의하여 $MgNH_4PO_4$의 침전(沈澱)을 만들어서 HCl에 녹키고 일정량(一定量)의 표준(標準) EDTA 용액(溶液)을 넣어 pH 7.0로 한다음 완충액(緩衝液)으로 pH 10으로 하고 BT 지시약(指示藥)을 써서 표준(標準) Mg $SO_4$용액(溶液)으로 적정(滴定)하여 P 치(値)를 얻었다. 본법(本法)으로 Na-phytate를 분석(分析)한 결과(結果) Na-phytate의 분자식(分子式)을 $C_6H_6O_{24}P_6Mg_4CaNa_2{\cdot}5H_2O$라고 하였을 때의 이론치(理論値)에 비(比)하여 P가 98.9% Cark 97.1%, Mg가 99.1%이고 통계처리(統計處理)한 결과분석치(結果分析値)와 이론치(理論値)는 잘 일치(一致)된다. 그러나 종래법(從來法)에 의(依)한 분석치(分析値)는 이론치(理論値)에 비(比)하여 P가 92.40%, Cark 86.80%, Mg가 93.80%로서 이론치(理論値)와 일치(一致)하지 않는다. 3) Na-phytate를 전분(澱粉)과 일정(一定)한 비(比)로 혼합(混合)하고 본법(本法)으로 P,Ca 및 Mc를 정량(定量)한 결과(結果) 이들의 회수율(回收率)은 거의 100%이었다. 4) 본분석법

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권12호
• /
• pp.1283-1291
• /
• 2005

Just-in-Time 컴파일러를 이용하여 자바의 성능을 향상시키려면 여러 문제들을 극복하여야 한다. 이 문제 중 중요한 부분을 차지하는 것이 배열경계 검사(Array bounds check) 명령어를 어떻게 최적화하느냐는 것이다 정적인 컴파일 환경의 경우에는 이미 많은 연구가 진행되어 매우 강력한 성능을 가지는 알고리즘이 알려져 있으나 컴파일 시간이 수행시간의 일부인 Just-in-Time 컴파일 환경에 이를 적용하기에는 컴파일에 시간을 너무 많이들이는 결과를 낳아 적절하지 않다. 현재 Just-in-Time 컴파일러들은 가볍고 단순한 반면에 중복된 배열 경계 검사를 찾아내는 능력이 다소 부족한 알고리즘을 사용하거나 아니면 강력하지만 정적 단일 배정(Static Single Assignment) 형태로 명령어 표현 방식을 변환해 주어야만 하는 알고리즘을 사용하고 있다. 정적 단일 배정 형태로의 변환 및 되돌림은 가볍고 빠른 컴파일러를 지향하는 Just-in-Time 컴파일러에 부합되지 않는다. 본 논문은 변수 간의 대소관계를 표현하는 그래프를 배열 경계 검사 알고리즘에 적용하는 것을 통해 충분한 성능을 내면서도 정적 단일 배정 형태로의 변환을 필요로 하지 않는 알고리즘을 제안한다. Java에서의 모든 최적화는 Java 언어 명세에서 강제하고 있는 정확한 예외 처리(precise exception) 규칙을 따라야 한다. 명령어의 위치를 바꿈으로써 성능 향상을 꾀하는 최적화의 경우 이것으로 인해 많은 제약을 받게 되는데, 배열 경계 검사 최적화(Array bounds check elimination optimization) 또한 이 규칙에 의해 많은 최적화 기회를 잃는다. 우리는 이 제약을 극복하여 배열 경계 검사최적화의 적용 범위를 넓힐 수 있는 새로운 방법도 아울러 제안하고자 한다.