• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1989년도 한국자동제어학술회의논문집; Seoul, Korea; 27-28 Oct. 1989
• /
• pp.583-588
• /
• 1989

In this paper, a modelling methodology for a robotic workcell is proposed and compared with the conventional Petri nets model. Also, a method for managing the cell operation is described through the knowledge base. The knowledge bases for state transition and assembly job information are obtained from the state transition map(STM) and the assembly job tree(AJT), respectively. Using the knowledge base, the system structure is discussed in both managing the cell operation and evaluating the various performance. Finally, a simulation algorithm is presented with the simulation results to show the effectiveness of the proposed modelling approach.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2005년도 공동추계학술대회
• /
• pp.258-263
• /
• 2005

Haplotype-based analysis using high-density SNP markers have gained a great attention in evaluating genes in gene analysis and various clinical situations. However, there has been no research on disease diagnostic modeling based on SNPs analysis to our knowledge. The purpose of this study is to explore how knowledge discovery techniques are applied in medical informatics area and proposes a Case Based Reasoning (CBR) technique for diagnosis of gastric caner using Single Nucleotide Polymorphism(SNP).

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권8호
• /
• pp.2417-2430
• /
• 2024

The need for secure user authentication in blockchain-based applications has been growing with the increased adoption of Decentralized Identity (DID) credentials in blockchain. Zokrates, a tool designed to protect user privacy within smart contracts, had a limitation in that it could not accept authenticated user information such as credentials, only allowing the use of manually inputted data. In this paper, we propose a smart contract system that securely validates DID credentials to overcome the limitations of traditional centralized authentication systems. This system ensures the safe identification of users within blockchain-based applications by authenticating their identities in a trusted manner within the blockchain. As the demand for user authentication in blockchain rises, this paper emphasizes the significance of a blockchain-based identity verification system that guarantees both privacy and security. Leveraging the Zero-Knowledge Proof method and utilizing the Zokrates tool, this innovative approach aims to provide solutions for the digital identity verification process, thereby expanding the scope of blockchain technology applications. Moreover, we also provide a CLI for each entity. We help anyone who wants to authenticate their identity using the tool to safely verify it on-chain.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2004년도 Proceedings of ISRS 2004
• /
• pp.249-252
• /
• 2004

The automatic determination of vehicle operation status as well as continuous tracking of vehicle location with intelligent management is one of major elements to achieve the goals. Especially, vehicle operation status can only be analyzed in terms of expert experiences with real-time location data with scheduling information. However the scheduling information of individual vehicle is very difficult to be interpreted immediately because there are hundreds of thousand vehicles are run at the same time in the national wide range workplace. In this paper, we propose the location-based knowledge management system(LKMs) using the active trajectory analysis method with routing and scheduling information to cope with the problems. This system uses an inference technology with dispatching and geographic information to generate the logistics knowledge that can be furnished to the manager in the central vehicle monitoring and controlling center.

• International Journal of Safety
• /
• 제6권2호
• /
• pp.27-32
• /
• 2007

For last several decades with the achievement of fast economic development, the electrical fires occupies over 30 percent of total fire incidents almost every year in Korea and not decreased in spite of much times and efforts. Electrical fire cause diagnostics are to confirm a cause for the fire by examination of fire scene. Cause diagnosis methods haven't been systematized yet, because of limits for available information, investigator's biased knowledge, etc. Therefore, in order to assist the investigators and to find out the exact causes of electrical fires, required is research for an electrical fire cause diagnosis system using DB, computer programming and some mathematical tools. The electrical fire cause diagnosis system has two functions of DB and electrical fire cause diagnosis. The cause diagnosis is conducted by a case-based reasoning on a case base and rule-based reasoning on a rule base. For the diagnosis with high reliability, a mixed reasoning approach of a case-based reasoning and fuzzy rule-based reasoning has been adopted. The electrical fire cause diagnosis system proposes the electrical fire causes inferred from the diagnosis processes, and possibility of the causes as well.

• Genomics & Informatics
• /
• 제7권1호
• /
• pp.38-40
• /
• 2009

The EST Knowledge Integrated System, EKIS (http://ekis.kribb.re.kr), was established as a part of Korea's Ministry of Education, Science and Technology initiative for genome sequencing and application research of the biological model organisms (GEAR) project. The goals of the EKIS are to collect EST information from GEAR projects and make an integrated database to provide transcriptomic and metabolomic information for biological scientists. The EKIS constitutes five independent categories and several retrieval systems in each category for incorporating massive EST data from high-throughput sequencing of 65 different species. Through the EKIS database, scientists can freely access information including BLAST functional annotation as well as Genechip and pathway information for KEGG. By integrating complex data into a framework of existing EST knowledge information, the EKIS provides new insights into specialized metabolic pathway information for an applied industrial material.

• 한국정보처리학회논문지
• /
• 제2권5호
• /
• pp.634-644
• /
• 1995

본 논문에서는 세 가지 종류의 지식을 적절하게 표현하여 데이타베이스 시스템에 저장하고 이를 사용하여 질의를 의미적으로 등가이며 보다 처리 효율이 뛰어난 질의로 변환하는 기법을 제시하였다. 또한 제안된 지식을 사용하여 필수적인 성분이나 연산이 부분적으로 생략된 단순화된 질의를 완전한 질의로 변환할 수 있는 기법을 제시하여 사용자로 하여금 보다 단순화된 질의를 사용할 수 있는 환경을 제공하였다. 단순화된 질의로부터 변환과 최적화를 위해 다루는 지식은 크게 세 가지로 대별되는데, 의미적 무결성 규정과 도메인 무결성 규정을 포함하는 의미적 지식과 관계형 데이타베이스 에서의 릴레이션간의 물리적 관계를 표현하는 구조적 지식 그리고 속성의 도메인 정보 를 유지하는 도메인 정의이다. 제안된 시스템에서는 이들 지식을 사용하여 질의어의 조건 절에 있는 불필요하거나 중복적인 제한연산(restrictions)이나 조인연산(join) 을 제거하거나 다른 효율적인 연산으로의 대체, 혹은 보다 나은 효율을 위해 부가적인 제한연산이나 조인연산을 추가하여 질의 최적화를 이루게 된다.

• 한국지리정보학회지
• /
• 제11권1호
• /
• pp.178-189
• /
• 2008

이 연구는 중등교육과정의 지리정보교육에서 경위도 좌표계에 대한 교육 강화의 필요성을 살펴본 것이다. 오늘날 GPS 기반의 위치정보 서비스는 경위도 좌표계의 활용을 크게 증가시키고 있다. 미국과 일본을 비롯한 선진국들은 이미 그들의 중등교육과정에 경위도 좌표와 관련된 내용을 명시하고 있으나 한국의 중등교육과정에서는 경위도 좌표에 대하여 구체적인 교육이 이루어지지 않고 있다. 경위도 좌표의 활용 현황을 알아보기 위해 주요 신문의 기사를 분석한 결과 2000년을 전후하여 경위도 좌표에 관한 내용이 포함된 기사가 꾸준히 증가하고 있음을 확인할 수 있었다. 그리고 상당수의 기사는 위치정보를 경위도 좌표 형식으로 제공하여 독자가 이를 활용할 수 있도록 하고 있다. 교육현장에서 경위도 좌표를 기반으로 공간정보를 활용하기 위한 하드웨어적 환경은 충분히 구축되어 있다. 세계화 시대를 살아갈 학생들이 공간정보를 올바르게 이해하고 활용할 수 있도록 하기 위해서 경위도 좌표계에 대한 구체적인 교육이 필요하다.

• 한국멀티미디어학회논문지
• /
• 제20권2호
• /
• pp.279-288
• /
• 2017

Nowadays, nations cyber security capabilities play an important role in a nation's defense. Security-critical infrastructures such as national defenses, public services, and financial services are now exposed to Advanced Persistent Threats (APT) and their resistance to such attacks effects the nations stability. Currently Cyber Threat Intelligence (CTI) is widely used by organizations to mitigate and deter APT for its ability to proactively protect their assets by using evidence-based knowledge. The evidence-based knowledge information can be exchanged among organizations and used by the receiving party to strengthen their cyber security management. This paper will discuss on the business process reengineering of the CTI information exchange management for a nationwide scaled control and governance by the government to better protect their national information security assets.

• 한국정보기술응용학회:학술대회논문집
• /
• 한국정보기술응용학회 2005년도 6th 2005 International Conference on Computers, Communications and System
• /
• pp.325-329
• /
• 2005

Vast amount of information is generated and shared in this active digital As the digital informatization is vividly going on now, most of documents are in digitalized forms, and this kind of information is on the increase. It is no exaggeration to say that this kind of newly created information and knowledge would affect the competitiveness and the future of our nation. In addition to that, a lot of investment is being made in information and knowledge based industries at national level and in reality, a lot of efforts are intensively made for research and development of human resources. It becomes easier in digital era to create and share the information as there are various tools that have been developed to create documents along with the internet, and as a result, the share of dual information is increasing day in and day out. At present, a lot of information that is provided online is actually being plagiarized or illegally copied. Specifically, it is very tricky to identify some plagiarism from tremendous amount of information because the original sentences can be simply restructured or replaced with similar words, which would make them look different from original sentences. This means that managing and protecting the knowledge start to be regarded as important, though it is important to create the knowledge through the investment and efforts. This dissertation tries to suggest new method and theory that would be instrumental in effectively detecting any infringement on and plagiarism of intellectual property of others. DICOM(Dynamic Incremental Comparison Method), a method which was developed by this research to detect plagiarism of document, focuses on realizing a system that can detect plagiarized documents and parts efficiently, accurately and immediately by creating positive and various detectors.