• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.610-612
• /
• 2001

디지틀 중심의 원자로 제어시스템 설계에서 소프트웨어 안전성이 중요한 현안으로 부각되고 있다. 컴퓨터기반의 디지틀시스템으로 설계되는 일체형원자로 MMIS에 적용하기 위한 소프트웨어 개발 계획은 이러한 현안을 만족하기 위해 개발할 필요가 있다. 본 논문은 소프트웨어 개발 계획을 소프트웨어 수명주기 설정, 정형화 기법 적용, 위해서도 분석 수행, 소프트웨어 시험 방법을 제시하였다. 본 논문에서 제시된 소프트웨어 개발 계획은 고품질의 소프트웨어 생산을 보장하며, 원자력 규제기관에서 요구하는 소프트웨어 안전성 보장 계획에 대한 규제사항을 만족한다. 본 논문의 소프트웨어 개발 계획을 바탕으로 추후 구체적인 수행방법, 지침, 절아, 문서화 등의 점차적으로 개발되어 일체형원자로 MMIS 소프트웨어 개발시 적용할 예정이다.

• Journal of Digital Contents Society
• /
• v.12 no.4
• /
• pp.501-510
• /
• 2011

Most of electronic medical record systems which have been built in Korean hospitals are based on source oriented medical record approach. These systems hardly satisfy diverse objectives owing to the innate imperfections in system architecture and development methodology. Thus, the hybrid of source oriented and problem oriented approach is highly desirable. The purpose of this study is to present an architecture and methodology required to construct hybrid electronic medical record system and to develop a prototype based on them. Analyzing the clinical processes and data requirements of problem oriented medical record approach we developed a software process model as weel as an architecture model which consists of legacy system, clinical data repository, problem list database, prospective plan database, user interface, and synchronization procedures.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.5
• /
• pp.1204-1215
• /
• 1998

In this paper, we propose a scenario representing method, a specification language, and a verification technique for OARTS(Object based Approach for Real-Time Systems). As well as the general modeling method(event trace diagram), this study includes a specification language and a verification technique because there was no study about methodological level technique for scenario development as yet. Centering around the synchronization problem of transition of external modules which are the communication interfaces based on the objects, we lay stress on the representation of sequence of external events and internal action transitions. From the results of practical experiences, it has been ascertained that the proposed method reflect well the requirements in the analysis step, and its validity of the representation has been identified by a conceptual verifier. We support that it can serve as an analyzing tool for representing a general real-time scenarios also.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.10a
• /
• pp.181-184
• /
• 2009

Authoring AR(augmented-reality) contents not only takes too much time and cost, but also needs the help of professionals in the areas of computer science, VR(virtual reality), AR, 3D computer graphics, computer vision, etc. This paper proposes an authoring tool to allow non-programmers as content creators to author AR contents easily and quickly. An ideal AR authoring tool, which is the goal of our research, faces four major challenges from a technical point of view: (1) easy and quick authoring, (2) strong power of expression, (3) ease of verification and validation, (4) interactive authoring and debugging. To tackle with the challenges, we employ the interactive framework approach using formal and visual specification techniques.

• Journal of the Korean Society for information Management
• /
• v.19 no.4
• /
• pp.96-111
• /
• 2002

A lot of accumulated data of many quantity exist within a institution or an organization, but most data is remained in form of standardization as each institution or organization. There are difficulty in exchange and share of information. New concept of knowledge information resource management to overcome this disadvantage was introduced, and the digitization of knowledge information resources to share and manage accumulated data is been doing. Specially, in science technic or education scholarship it, the tendency that importing XML to process necessary data to exchange and share of knowledge information resources structurally, and limitation of back for search and indexing or reusability is happened according as expression of great many mathematics used inside electron document of these sphere is processed to nonstructural data of image or text and so on. There is interest converged in processing of mathematics that use MathML to overcome this, and we require the solution to be able to process MathML easily and efficiently on structural document. In this paper, designed and implemented of XML document editing system which easy structural process of electronic document for knowledge information resources, and create and express MathML easily on structural document without expert knowledge about MathML.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.9
• /
• pp.191-203
• /
• 2022

In this paper, we developed a system that intelligently identifies skin image data from big data collected from social media Instagram and extracts standardized skin sample data for skin condition diagnosis and management. The system proposed in this paper consists of big data collection and analysis stage, skin image analysis stage, training data preparation stage, artificial neural network training stage, and skin image identification stage. In the big data collection and analysis stage, big data is collected from Instagram and image information for skin condition diagnosis and management is stored as an analysis result. In the skin image analysis stage, the evaluation and analysis results of the skin image are obtained using a traditional image processing technique. In the training data preparation stage, the training data were prepared by extracting the skin sample data from the skin image analysis result. And in the artificial neural network training stage, an artificial neural network AnnSampleSkin that intelligently predicts the skin image type using this training data was built up, and the model was completed through training. In the skin image identification step, skin samples are extracted from images collected from social media, and the image type prediction results of the trained artificial neural network AnnSampleSkin are integrated to intelligently identify the final skin image type. The skin image identification method proposed in this paper shows explain high skin image identification accuracy of about 92% or more, and can provide standardized skin sample image big data. The extracted skin sample set is expected to be used as standardized skin image data that is very efficient and useful for diagnosing and managing skin conditions.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.20 no.1
• /
• pp.66-75
• /
• 2010

With the advances in ubiquitous service infrastructure, healthcare services have drawn attention as one of promising application domains. In ubiquitous healthcare services, patients or care-givers as well as medical personnel are asked to play their roles and, in addition, the information system is supposed to have active roles. In medicine, clinical protocols have been developed and put into practice in order to reduce treatment variances and assure the service quality. In the same token, clinical protocols on ubiquitous service practices are need to be developed which takes into account both the clinical details and the ubiquitous service functionality. This paper introduces a clinical protocol modeling methodology which pays attention to participants and their tasks including contextual information. The proposed method has been successfully applied to a real application domain, OAB(overactive bladder) syndrome patient care to see how it builds a clinical protocol.

• Proceedings of the Korea Database Society Conference
• /
• 2010.06a
• /
• pp.21-31
• /
• 2010

중소기업은 변화하는 경쟁 환경에 능동적으로 대처하고 경쟁력확보와 생산성 향상을 위하여 IT를 기반으로 하는 다양한 생산정보시스템을 도입, 운영하고 있다. 이에 따라 효율적인 중소기업 생산정보화를 위하여 시스템 개발 과정을 정형화하는 생산정보시스템의 표준화가 요구된다. 특히 중소기업, IT업체, 감리업체 등 참여 기업 간의 의사소통, 그리고 구축된 생산정보화의 유지보수를 포함한 운영지원 등의 체계적이고 효율적인 운영을 위해서는 생산정보시스템의 개발 방법론 (PDSM)이 필요하다. 이에 따라 중소기업기술정보화진흥원에서 생산정보화시스템개발방법론(PSDM)을 개발하여 보급하고 있다. 본 연구에서는 정부가 지원하는 중소기업 생산정보화지원사업에 참여한 기업을 대상으로 생산정보화시스템개발방법론(PDSM)을 적용한 IT 업체의 적용사례를 통해 방법론의 활용에 따른 생산성 향상 및 작용 시 고려사항에 대해 살펴본다. PSDM은 효과적인 중소기업 생산정보를 위하여 시스템 과정을 표준화 하고 단계별 주요 활동에 대한 연구와 함께 프로젝트 범위, 일정, 비용, 인적자원 관리를 위한 WBS(Work Blockdown Structure)작성, 시스템의 신뢰성 품질, 생산성 향상을 위한 관리 항목 등의 내용을 포함하고 있다.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.1015-1025
• /
• 2016

Currently, software testing is becoming increasingly important in the industrial field and a large body of research supports the improvement of efficient software testing. Model-based testing is generally used to formalize user requirement data for test design. Complex system that includes loop and concurrency has a high probability of path explosion problem. Specially, as threads are added to concurrency, test scenarios have also increased exponentially. However, it is difficult to solve this problem using existing techniques. In this paper, we propose novel path-search technique that focuses on behavioral features of concurrency path in order to avoid path explosion problem. A system that contains concurrent paths is represented by activity diagram in case study section. Efficiency of our study is shown through comparison with several generated test scenarios of other studies. The result indicate that our approach is efficient for finding faults in loop and concurrency with fewer test scenario.

• International Journal of Highway Engineering
• /
• v.12 no.2
• /
• pp.33-41
• /
• 2010

It is stated in the highway geometric design guide that expressway interchange types should be selected considering a set of input variables including travel demand, topography, construction cost and interchange spacing. However, this selection method has a problem of providing different interchange types even for the same input variables depending upon different applications of engineers discretion. A procedure that produces consistent results is necessary and this paper presents the development of an efficient and reliable procedure based on the quantification of road user costs and construction costs on interchanges. To develop this procedure, a survey of existing expressway interchange types in South Korea was made and 10 basic interchange types and 52 supplementary interchange types were identified. To relate road user costs and construction costs to these interchange types, this research uses two method. First, interchange types were expressed by a set of ramp configurations. Second, road user benefits and construction costs associated with these different interchange types were formulated based on the current national guide of the expressway economical analysis. As a result, it was proved that an interchange type to provide minimum costs could be selected consistently and this research result should be useful for future expressway geometric designs.