• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.211-214
• /
• 2000

자바 클래스 파일은 각 플랫폼에 독립적인 중간 코드 형태의 바이트코드와 자료 구조로 구성됨으로서 네트워크를 통하여 플랫폼에 독립적으로 인터프리티브 컴파일링 시스템에서 실행된다. 그러나 클래스 파일을 생성하는 자바 컴파일러는 각 플랫폼에 독립적인 바이트코드 표현에 제약을 받기 때문에 효율적인 코드를 생성하는데 한계가 있다. 또한 자바 가상 기계에서 동적 링킹을 지원하기 위하여 고안된 상수 풀(constant pool)의 크기가 상대적으로 큰 특징을 갖는다. 따라서 자바 클래스 파일이 네트워크와 같은 실행 환경에서 효과적으로 실행되기 위해서는 작은 크기와 효율적인 코드에 대한 변환이 요구된다. 본 논문에서는 자바 클래스 파일이 인터넷 및 분산환경 시스템에서 효율적으로 실행되기 위해서 클래스 파일의 크기를 줄이는 방법과 자바 컴파일러가 생성한 바이트코드에 대해 최적화를 수행하는 최적화 방법론을 제시하고, 코드 최적화기를 설계 및 구현한다. 최적화된 클래스 파일은 코드 크기를 줄이고, 효율적인 코드를 생성함으로서 네트워크 상의 전송 속도뿐만 아니라 가상 기계에서 좀 더 빠르게 실행할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.56-58
• /
• 2000

자바 클래스 파일은 각 플랫폼에 독립적인 중간 코드 형태의 바이트코드와 자료 구조로 구성됨으로서 네트워크를 통하여 플랫폼에 독립적으로 인터프리티브 컴파일링 시스템에서 실행된다. 그러나 클래스 파일을 생성하는 자바 컴파일러는 각 플랫폼에 독립적인 바이트코드 표현에 제약을 받기 때문에 효율적인 코드를 생성하는데 한계가 있다. 또한, 자바 가상 기계에서 동적 링킹을 지원하기 위하여 고안된 상수 풀(constant pool)의 크기가 상대적으로 큰 특징을 갖는다. 따라서 자바 클래스 파일이 네트워크와 같은 실행 환경에서 효과적으로 실행되기 위해서는 작은 크기와 효율적인 코드에 대한 변환이 요구된다. 본 논문에서는 자바 클래스 파일이 인터넷 및 분산환경 시스템에서 효율적으로 실행되기 위해서 클래스 파일의 크기를 줄이는 방법과 자바 컴파일러가 생성한 바이트코드에 대해 최적화를 수행하는 최적화 방법론을 제시하고, 코드 최적화기를 설계한다. 최적화된 클래스 파일은 코드 크기를 줄이고, 효율적인 코드를 생성함으로서 네트워크상의 전송 속도뿐만 아니라 가상 기계에서 좀 더 빠르게 실행할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.88-90
• /
• 2005

최근 인터넷의 급속한 성장은 이미지와 같은 멀티미디어 정보의 급격한 증가를 가져왔다. 따라서 사용자로 하여금 원하는 이미지를 검색하는데 있어서 좀 더 효율적이고 정확한 검색 방법의 필요성이 대두되어 왔다. 일반적으로 이미지 검색 방법에는 키워드 기반 방식과 내용 기반 방식이 존재한다. 그러나 위 두 방법은 지금의 대용량 이미지 데이터베이스 검색에 있어서 여러 문제점들을 가지고 있다. 특히, 키워드 기반 방식을 보완하기 위해서 제안되어진 내용 기반 방식의 경우, 사람이 인식할 수 있는 의미 정보가 아닌 시각 정보만을 이용하기 때문에 시맨틱 갭(semantic gap) 문제가 발생하게 된다. 본 논문에서는 이미지 객체의 시각 정보들에 대한 중간 의미값으로 구성된 시각 정보 온톨로지와 동물에 대한 분류 정보를 표현하고 있는 동물 온톨로지를 구축하고, 이를 이용하여 이미지로부터 .고수준의 의미 정보를 완전 자동으로 추출하는 효율적인 방법을 제안한다.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.34 no.4
• /
• pp.53-61
• /
• 1997

1. 가시적인 PM(Product Model)의 구조와 자료구조의 미존재로 PM의 실체가 아직 개념적 수준에 머무르고 있다. 2. Physical통합 PM보다 Logical 통합 PM이 요구된다. 3. 광의의 PM 보다 협의의 PM개념에 의한 시스템 개발이 요구된다. :Step by Step 4. PM이 반드시 문제해결의 만병통치약은 아니다. 5. 설계.생산.관리의 각 부문별 고유특성을 살리고 무리한 단일 PM개발보다 Interface 가능을 갖는 중간자의 개발(경우에 따라서 직접 Access 할 수도 있음.) 을 통해 각 부문별 정보의 PM으로의 표현을 용이하게 하여야 한다. 6. 기존의 시스템, 개발중인 시스템, 개발예정 시스템등을 무리없이 순조롭게 통합하기 위해서는 현실적인 정보통합수단으로서의 PM 설계가 요구된다. 7. 생산현장의 각 공정별 자동화 설비 및 운용 소프트웨어, 이것으로부터 생성되는 각종 정보등을 관리할 수 있는 공정 별 생산정보시스템은 필수적으로 요구되는 시스템이다. 8. 자동화된 생산시스템에서의 PM과 생산현장의 POP(Point of Porduction)시스템과의 연계는 필수적이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1753-1756
• /
• 2003

소프트웨어 생산성과 품질을 개선하기 위한 방안으로 컴포넌트 기반의 소프트웨어 개발이 전개되고 있다. 소프트웨어 컴포넌트 라이브러리를 재사용하기 위해서는 재사용 가능한 컴포넌트를 효율적으로 수집하여 분류, 저장, 검색하여야한다. 기존의 요구사항 정형화 기법들은 요구사항들 간의 의미적 관계를 표현하는 데 초점을 맞추고 있어 컴포넌트 검색에는 적합하지 않으므로 본 연구에서는 개발하려는 유즈케이스 다이어그램을 구문분석을 거쳐 명세하여 질의 정보를 추출하였다. 기존의 자연어를 기반으로 하는 컴포넌트의 비정형적인 명세를 컴포넌트 검색과 조립에 필요한 정보를 효율적으로 얻을 수 있도록 구문분석과 추상화 단계를 거쳐 정형화된 중간형태의 명세로 전환하고 제안한 유사도를 사용하여 컴포넌트를 검색하고자 한다. 또한 개괄명세와 상세명세를 통해 컴포넌트 검색에 필요한 정보를 추출할 뿐만 아니라 컴포넌트의 aspect을 이용하여 컴포넌트 조림에 필요한 정보도 얻을 수 있다. 2차 질의를 통해 컴포넌트 검색의 정확도를 향상시키고 명세를 추상화시켜 검색의 재현율을 향상시킨다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.12
• /
• pp.3539-3547
• /
• 1999

Korean linguistic information for the generation modulo of KANT(Knowledge-based Accurate Natural language Translation) system was constructed. As KANT has a language-independent generation engine, the construction of Korean linguistic information means the development of the Korean generation module. Constructed information includes concept-based mapping rules, category-based mapping rules, syntactic lexicon, template rules, grammar rules based on the unification grammar, lexical rules and rewriting rules for Korean. With these information in sentences were successfully and completely generated from the interlingua functional structures among the 118 test set prepared by the developers of KANT system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06c
• /
• pp.545-549
• /
• 2010

LLVM(Low-level Virtual machine)은 최적화된 컴파일 코드 생성을 위한 컴파일러 프레임워크를 목적으로 제작되었다. LLVM은 C언어로 작성된 코드를 효과적으로 머신에 비종속적인 중간코드로 표현하여 사용하므로 이를 잘 활용한다면 C언어를 위한 머신 비종속적인 '가상머신'으로 사용할 수 있다. 하지만 LLVM은 효과적인 컴파일러라는 원래의 설계목적 때문에 전반적으로 동적 수행에 대해 큰 고민 없이 디자인되었다. 이러한 디자인상의 한계는 가상 머신으로서의 성능에는 좋지 않은 영향을 끼치므로 이에 대한 보안이 필요하다. 우리는 LLVM의 명령어 셋에 추가명령어를 제안하여 LLVM 해석기의 성능향상을 얻어낼 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.13-14
• /
• 2009

Intermediate Representation(IR)은 컴파일러가 Target code 를 생성하기까지의 중간 단계에서 프로그램을 표현하는 수단이다. 본 논문에서는 컴파일러의 IR을 직접 Simulation 해서 각종 profiling information을 수집하여 프로그램의 성능 향상에 도움을 줄 수 있는 IR Simulator를 제안하고자 한다. 더 나아가 IR Simulator를 위한 Data structure와 Interface는 Target Simulation에도 재사용이 가능하도록 고안되었기 때문에 재겨냥성 컴파일러의 Target Simulator를 자동으로 생성하는 연구를 진행하고 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.213-215
• /
• 2011

프로그램에 대한 검증을 수행하기 위해서는 자료흐름을 알아야 하고, 입력된 프로그램에 대응하는 제어흐름그래프(control flow graph)가 필요하다. 이에 더하여 제어흐름 그래프를 시각화한다면 사용자 입장에서는 더 편한 프로그램이 될 것이다. 본 논문에서는 자바 프로그램의 검증도구에 사용하는 중간 표현 언어 중 하나인 BIRS(Bytecode Intermediate Representation with Specification)에 의해 생성되는 제어흐름그래프를 시각화하는 방법에 대해 제안한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.09a
• /
• pp.233-248
• /
• 1995

조직변혁(OT:Organizational Tranformation)은 Macro(거시적), Micro(미시 적), Meso(중간적) 관점과 사회적, 기술적 관점을 혼합하여 전체적으로 6가 지의 가능성을 갖는 영역을 생성할 수 있다. 최근 조직 설계와 관련된 많은 연구들은 급변하는 환경에 대한 조직의 반응으로써 기능 중심의 조직설계 대신 Meso관점의 프로세스 중심의 조직 설계를 통한 조직 변혁을 제안해 왔다. 프로세스 재설계 혹은 리엔지니어링과 같은 용어로 등장하는 이 관점 은 서로 다른 연구분야 사이의 상호 연계적 적용을 증가시키고 적절한 자원 할당 및 혼합을 가능하게 함으로써 고객요구와 경쟁력 같은 외부요구사항과 내부적 생산성등을 연계시키고자 한다. 프로세스 모델링은 프로세스 중심의 조직 설계를 통한 조직 변혁의 중요한 도구로 사용될 수 있다. 조직 변혁의 6개 영역과 프로세스의 구성요소 중 일부에만 관심을 갖는 기존의 프로세스 모델링 관점들-기능적 업무(task) 중심의 '기능 관점', 행위적 논리(logic) 중 심의 '행위 관점', 조직적 역할 (roles) 중심의 '조직 관점'-을 반영한 프로세 스 모델은 프로세스 수행목적의 표현과 프로세스 재설계의 기회 발견에 한 계가 있다. 본 연구에서는 프로세스 모델링 기법에 의해 표현되어야 하는 프 로세스 구성요소들을 5W1H를 기준으로 분류하고, 기존 모델링 관점들이 가 지는 한계점의 해결을 위해 두 가지의 새로운 프로세스 모델링 관점-프로세 스 목적과 가치를 표현하는 '정보 관점', 프로세스의 측정에 대한 계량적 정 보를 표현하는 '측정 관점'-을 제시하고, 조직 변혁이 여러 관점들의 통합을 지원하는 프로세스 모델링을 위한 개념적 틀(MPPM)과 프로세스 모델에서 표현되어야 하는 프로세스 구성요소들을 제시하였다.용자 만족도가 보다 높은 것으 로 나타났다. 할 수 있는 효율적인 distributed system를 개발하는 것을 제시하였다. 본 논문은 데이타베이스론의 입장에서 아직 정립되어 있지 않은 분산 환경하에서의 관계형 데이타베이스의 데이타관리의 분류체계를 나름대로 정립하였다는데 그 의의가 있다. 또한 이것의 응용은 현재 분산데이타베이스 구축에 있어 나타나는 기술적인 문제점들을 어느정도 보완할 수 있다는 점에서 그 중요성이 있다.ence of a small(IxEpc),hot(Tex> SOK) core which contains two tempegatlue peaks at -15" east and north of MDS. The column density of HCaN is (1-3):n1014cm-2. Column density at distant position from MD5 is larger than that in the (:entral region. We have deduced that this hot-core has a mass of 10sR1 which i:s about an order of magnitude larger those obtained by previous studies.previous studies.업순서들의 상관관계를 고려하여 보다 개선된 해를 구하기 위한 연구가 요구된다. 또한, 준비작업비용을 발생시키는 작업장의 작업순서결정에 대해서도 연구를 행하여, 보완작업비용과 준비비용을 고려한 GMMAL 작업순서문제를 해결하기 위한 연구가 수행되어야 할 것이다.로 이루어 져야 할 것이다.태를 보다 효율적으로 증진시킬 수 있는 대안이 마련되어져야 한다고 사료된다.$\ulcorner$순응$\lrcorner$의 범위를 벗어나지 않는다. 그렇기