• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.442-444
• /
• 2000

이 논문에서는 산업계의 표준으로 널리 사용되고 있는 객체 지향 시스템의 명세 언어인 UML의 sequence diagram을 이용하여 객체 지향 시스템을 검증하는 방법과 이 방법을 테스팅 오라클을 생성하는데 사용할 수 있는 프레임웍을 제시하였다. 우리는 sequence diagram을 테스팅 결과의 검증에 사용하기 위하여 정형적으로 재정의 하였다. 그리고 시제 논리의 강력한 검증 능력을 사용하기 위해서 Half-Order Dynamic Temporal Logic(HDTL)이라 불리는 새로운 시제 논리를 정의하였고 sequence diagram을 HDTL 논리식으로 변화시키는 의미 함수(semantic function)를 정의하였다. HDTL에서 오토마톤을 생성하기 위해서 Tableau 방법을 변형하여 적용시켰다. 이 결과 생성된 오토마톤은 이상 상태(anomaly), 즉 sequence diagram에 표현되지 않은 사건(evevt)의 발생을 검색하는 오라클로 사용할 수 있다. 테스팅의 결과를 수작업으로 검증하는 것은 매우 어렵고 오류가 발생하기 쉬운 작업이므로 제안한 방법은 유용하게 사용될 수 있다.

• 한국콘텐츠학회논문지
• /
• 제2권3호
• /
• pp.16-21
• /
• 2002

정보통신기술의 발달로 병원 및 의원에서의 진료방법이 변화를 가져오게 되었다. 본 논문에서는 상호참여형 멀티미디어 프레임웍인 두레와 의료정보전송을 위한 PACS와의 연동을 통한 이상적인 원격진료시스템제안과 이에 따른 기능 및 프로토콜을(HIS/RIS/PACS) 인터페이스 함으로써 기존시스템과의 효율성과 차별성을 제시하고 있으며, 특히, 퍼스널 컴퓨터기 반 멀티미디어환경에서의 원격진료시스템을 구현함으로서, 기존시스템과 차별성을 두었다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2006년도 춘계학술대회 논문집
• /
• pp.615-616
• /
• 2006

Many manufacturing companies manage their production-related data for quality management and production management. Nevertheless, production related-data should be closely related to each other Stored data is mainly used to monitor their process and products' error. In this paper, we provide an enterprise-wide production data model for decision support system and product automation. Process data, quality-related data, and test data are integrated to identify the process inter or intra dependency, the yield forecasting, and the trend of process status. In addition, it helps the manufacturing decision support system to decide critical manufacturing problems.

• 디지털융복합연구
• /
• 제5권2호
• /
• pp.37-45
• /
• 2007

A lot of organizations have been recognized innovative activities as the required process for organizational effectiveness and efficiency in those. Especially, the perceptual scope of innovation indisputability has been extended to the central and local government, and the public organization, which ultimately have the goal of public benefits. This study is to investigate the feasibility of the assessment elements consisting of framework for making a diagnosis of the level of administration innovation of local government. The elements of framework are such seven elements as innovative leadership, innovation vision and strategies, systematic infrastructure, innovative problems, innovation management, education and learning of innovation, and the perceptual level of members. The research results can provide the implications to not only local governments but also the public policy organizations who wish to extract the innovative problems and diagnose the innovation level of themselves.

• Asia pacific journal of information systems
• /
• 제8권1호
• /
• pp.87-102
• /
• 1998

Typical multi-tier client/server architecture includes various and complex objects scattered around the network. Those objects must be clearly identified and designed. Then, their interface must be well-defined so that the integration can be done without major difficulties. This paper presents an application framework to increase reuse and to accomplish architectural simplicity in information systems development. Each component of the architecture is identified and designed. The proposed architecture of the application framework provides the fundamental structure for developing individual functions of an information system. Resulting architectural simplicity achieves effective and efficient maintenance throughout the lifecycle of the information systems. Although the framework aims at the reuse within a project, the productivity of information systems development across projects will be greatly improved eventually. Cases are discussed to evaluate the practicality of the architecture presented.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
• /
• pp.549-551
• /
• 2000

CORBA는 이종의 분산 컴퓨팅 환경에서 재사용성, 이식성, 상호 운용성을 유지하며 통합할 수 있는 환경을 제공한다. 그러나 표준 CORBA는 객체 복제를 이용하여 지원할 수 있는 결함 감내와 고 가용성을 지원하지 못한다. 지금까지의 CORBA 기반 그룹 통신에 관한 연구들은 CORBA 애플리케이션 프로그래머가 그룹 통신 프로토콜을 직접 이용할 수 있는 방법이 없었다. 또한 CORBA 또는 OS의 수정이 요구되거나, 기존의 다양한 그룹 통신 프로토콜을 적용할 수 없었다. 본 연구에서는 상호 운용성, 기존 그룹 통신 프로토콜의 재사용, ORB와 OS에 대한 독립성을 유지하고, 유연성 있는 하부 프로토콜 적용을 가능하게 하는 OCI를 확장함으로써, 표준 CORBA의 수정 없이 다양한 그룹 통신 프로토콜을 적용할 수 있는 그룹 통신 프레임웍을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (3)
• /
• pp.178-180
• /
• 2003

최근 이동통신 기술의 발전에 따라 개인용 컴퓨터뿐만 아니라 다양한 유형의 모바일 단말기까지 포함하는 유무선 통합 인터넷 서비스 환경으로의 변화가 급격히 일어나고 있다. 유무선 통합의 인터넷 환경을 지원하는 모바일 응용 서버는 모바일 단말기의 제약 및 무선 통신과 관련된 제약 사항을 극복하면서, 휴대폰 및 PDA, PC 등 다양한 단말기를 타겟으로 한번 저작된 동일한 컨텐츠를 단말기 종류에 상관없이 서비스가 가능한 시스템으로 무선 환경에서의 효과적인 서비스를 제공할 수 있다. 이와 같은 모바일 응용 서버는 다수의 클라이언트로부터 전달된 대규모의 서비스 요청을 효율적으로 분산시켜 과부하를 방지하고 좀 더 원활한 서비스를 제공하기 위해 서비스 요청을 다수의 서버들에 분산시켜 모바일 응용 서버 시스템을 다중 서버 노드들로 구성 가능하도록 클러스터링 환경을 지원할 수 있어야 한다. 본 논문에서는 클러스터링 프레임웍을 사용한 모바일 응용 서버의 클러스터링 환경에 지원에 대한 설계 내용 및 구현 상황에 대해 논하겠다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (3)
• /
• pp.568-570
• /
• 2003

최근 초고속 인터넷의 확산과 댁내 가전기기들의 지능화에 따라, 홈 네트워크에 대한 기대가 커지고 있다. 이러한 홈 네트워크의 가장 중요한 특징은 다양한 기기를 네트워크로 구성할 수 있어야 하며, 사용자의 편의를 위하여 자동으로 정보 가전기기들을 인식하여 댁내 네트워크에 등록 할 수 있어야 한다. 또한 다양한 매체 접근기술의 연동이 가능해야 한다. 본 논문에서는 이러한 요구사항을 만족할 수 있도록 홈 네트워크를 설계하고, 지니(Jini)를 이용한 홈 네트워킹 서비스를 구현하였다. 홈 네트워킹 서비스로 미디어 접근을 위한 기술인 블루투스(bluetooth)와 무선 랜의 연동을 보일 수 있는 응용 프로그램을 구현하여 다가올 홈 네트워크의 한 모델을 제시하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2003년도 춘계학술대회논문집
• /
• pp.79-84
• /
• 2003

이 논문은 빠른 ASIP(application specific instruction processor) 평가를 위한 재적응성을 가진 컴파일러/시뮬레이터 환경에 대해 이야기한다. ASIP의 성능은 하드웨어 구조뿐만 아니라, 수행되는 응용 소프트웨어에 영향을 받기 때문에, 높은 성능의 ASIP 개발을 위해서는 컴파일러 및 시뮬레이터의 개발이 선행되어야 한다. 그러나 다양한 ASIP 구조에 따라 적합한 고성능의 컴파일러/시뮬레이터를 만드는 일은 매우 시간 소모적인 일이 될 뿐만 아니라, 오류가 발생하기도 쉽다. 본 논문에서는 HiXR2라는 ADL(architecture description language)을 이용하여 명령어 구조를 기술하고 이를 바탕으로 컴파일러와 시뮬레이터를 자동 생성하였다. HiXR2의 재적응성 및 생성된 컴파일러/시뮬레이터의 정확성을 검증하기 위하여 ARM9 프로세서와 CalmRISC32 프로세서 구조를 각각 기술하고, 각각에 대하여 응용프로그램 코드를 컴파일 및 시뮬레이션 하는 예제를 보였다.

• 한국CDE학회논문집
• /
• 제10권5호
• /
• pp.349-355
• /
• 2005

This paper concerns about how and why design frameworks for optimization should consider various software development environments such as MATLAB, VB, VBscript, Python, Tcl, PHP, Perl, and JAVA. The frameworks can be utilized by many engineers who have a basic concept about the optimization theory and/or basic knowledge about the computer programming languages. The framework will integrate a number of remote CAE tools, automatically execute them for design optimization, and have the capabilities of post-processing of data such as objective functions, state variables and design variables using a third-party spreadsheet program like Excel. The prototype framework developed in this study will be applied to various examples of optimization problems and show the validity of the proposed method of a framework implemenation.