• 전기의세계
• /
• v.30 no.2
• /
• pp.101-111
• /
• 1981

This paper describes two methods which generate all the prime implicants (PI's) quickly by using the directions of adjacency tavle (DA-table) that gives the knowledge of adjacency relations among the given minterms. One is a graphical method that enables us to generate PI's by hand, the other is a checking method that determines the existance of PI's quickly when it is programmed on a digital computer. And a fast minimization algorithm will be shown in this paper that can be implemented with reduced computational effort by selecting essential prime implicants (EPI's) first of all and using the concept of the integration of the PI identification and selection procedure. The procedure, proposed in this paper, has all the advantage of Karnaugh mapping, so the procedure is simple and easy.

• IE interfaces
• /
• v.17 no.1
• /
• pp.13-21
• /
• 2004

In this study, the prototype of a system for checking risk-factor of NC machine is proposed. The proposed system can get the risk-related information by monitoring the status of real-time processes of NC machines. Using the information, the accidents can be prevented by the background process of an expert system tool. This paper consists of 2 parts: (1) the method for gathering data and definition of the risk-related factors of NC machines and (2) the procedure for finding the proper actions by using the forward chaining of a rule-base. Proposed system is implemented with C++ language under MS-windows.

• Journal of KIISE:Databases
• /
• v.27 no.2
• /
• pp.216-226
• /
• 2000

This paper suggests a new access path, hashed B-tree which is an efficient access method for integrity checking. Hashed B-tree is based on the observation that most query patterns in enforcing integrity constraints are point queries. Hashed B-tree compresses the key by hashing procedure, which reduces the height of tree and results in fast node search. This method has the advantages such as it can be implemented easily and use the B-tree concurrency control and recovery algorithm with minor modifications.

• Korean Journal of Computational Design and Engineering
• /
• v.11 no.3
• /
• pp.211-222
• /
• 2006

In collaborative environment, it is necessary that the participants in collaboration should share the same understanding about the semantics of terms. For example, they should know that 'COMPONENT' and 'ITEM' are different word-expressions for the same meaning. In order to handle such problems in information sharing, an information system needs to automatically recognize that the terms have the same semantics. So we develop an algorithm mapping two terms based on their ontological definitions and their similarities. The proposed algorithm consists of four steps: the character matching, the inferencing, the definition comparing and the similarity checking. In the similarity checking step, we consider relation similarity and hierarchical similarity. The algorithm is very primitive, but it shows the possibility of semi-automatic mapping using ontology. In addition, we design a mapping procedure for a mapping system, called SOM (semantic ontology mapper).

• Journal of Korea Multimedia Society
• /
• v.5 no.2
• /
• pp.206-214
• /
• 2002

In this paper, it is designed and verified the baseband system that performs various protocol functions of specification of the Bluetooth system. In order to verify the developed circuits, various baseband functions are tested by using the ModelSim simulator. The developed circuits operate at 4MHz main clock. Test suite includes hap selection function, generation of the sync word, error correction(1/3 rate FEC, 2/3 rate FEC), HEC generation/checking, CRC generation/checking, data whitening/dewhitening and packet trans/reception procedure. etc. As a result of the simulation, it is verified that the developed baseband system conform to the specification of the Bluetooth system.

• International Journal of Reliability and Applications
• /
• v.9 no.1
• /
• pp.7-15
• /
• 2008

The dimensional measurement equipment, such as Coordinate Measurement Machine (CMM), Optical Coordinate Measurement Machine (OCMM), and Checking Fixture (CF), take multiple dimensional measurements for each part in an automobile industry. Measurements are also recorded under different measurement systems to see if the responses differ significantly over these systems. Each measurement system (CMM, OCMM, and CF) will be considered as different treatments. This set-up provides massive amounts of process data which are multivariate in nature. Therefore, the multivariate statistical analysis is required to analyze data that are dependent on each other. This research provides step by step methodology for the evaluation procedure of the compatibility of measurement systems and clarify a systematic analyzation among the different measurement system's compatibility followed by number of case studies for each methodologies provided.

• Proceedings of the Korean Fiber Society Conference
• /
• 2003.10a
• /
• pp.53-54
• /
• 2003

Fukusuke applied for beginning "Civil affairs reproduction procedure" on June 21, 2003. It′s bankrupt. After obtaining the data of "Commodity Attribute, Sales, Sates Cost, Stock, Ordinary Profit, And Special Loss" based on the financial statement at the time of the bankruptcy, the influence of the production method improves checking. They are compared with a similar apparel company. The production method is close with the distribution circumstances. As a result, it searches for the limit of "Mass-Sail system" in fiber ＆ fashion product by "Make To Stock(MTS) Production Method".

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.37-39
• /
• 2003

본 연구에서는 만족성 검사기를 이용하여 두 유한 상태 기계의 행위가 동치인지를 검사한다. 기존의 동치 검사는 대부분 BDD를 기반으로 했었기 때문에 변수 순서 배열 및 내부 BDD노드 폭발 문제에 시달렸었다. 하지만 여기서는 BDD대신 명제 논리를 이용하기 때문에 위와 같은 문제점을 피할 수 있다. 하지만 논리식을 만족성 검사기의 입력 형태인 논리곱 정규형으로 변환하는 과정에서 절의 3기는 식의 크기에 지수적으로 증가하였다.

• Journal of Internet Computing and Services
• /
• v.3 no.1
• /
• pp.51-59
• /
• 2002

The conventional procedure to verify rule bases are corresponding to the propositional logic-level knowledge representation. Building knowledge bases, in real applications, we utilize the predicate logic-level rules. In this paper, we present a verification algorithm of rule bases using Pr/T nets which represent the predicate logic-level rules naturally.

• International conference on construction engineering and project management
• /
• 2009.05a
• /
• pp.593-600
• /
• 2009

In Korea, the government has developed SEUMTER, an administration system for building related public service, to facilitate and promote the electronic submission and permission activities. SEUMTER is progressing legality system based on 2D drawing for building administration permission service. However, there are a lot of problems related to legality system owing to complexity of Korea regulation relation and structure, inefficiency of legality system based on 2D drawing, duplication examination of document (soliciting forms for civil affairs) and drawing. Therefore, the purpose of this study is to develop legality system for building administration permission service based on BIM in Korea. To achieve this purpose, the authors have investigated permission procedure and regulation structure that is used in current building administration permission and suggested permission procedure and regulation structure for legality system based on BIM. In addition, the authors have investigated element technologies (for examples, method of structured regulation, BIM model checker, Viewer, etc) for legality system based on BIM. Finally, the authors have suggested strategy and hereafter direction for application of legality system based on BIM.