• 전기의세계
• /
• 제30권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.

• 산업공학
• /
• 제17권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.

• 한국정보과학회논문지:데이타베이스
• /
• 제27권2호
• /
• pp.216-226
• /
• 2000

본 논문에서는 무결성 제약을 효율적으로 유지하기 위한 접근 경로인 Hashed B-트리를 제안하고, 기존의 B-트라와 성능을 비교한다. 무결성 제약을 만족시키기 위해 필요한 질의 패턴들이 종점 질의로 구성되어 있다는 점에 착안하여, Hashed B-트리는 키를 해슁을 통해 압축하여 저장한다. 따라서 트리의 높이가 줄어들게 되고 트리의 탐색이 빠르다. 이 기법은 기존의 B-트리와 유사하게 작동하기 때문에 기존 시스템에 많은 수정을 요하지 않고 병행성 제어나 회복 기법을 그대로 사용할 수 있는 장점이 있다.

• 한국CDE학회논문집
• /
• 제11권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).

• 한국멀티미디어학회논문지
• /
• 제5권2호
• /
• pp.206-214
• /
• 2002

본 논문에서는 블루투스 표준 1.0b를 기반으로 이동전화, 노트북, PDA 등 각종 이동 가능한 장치들을 무선으로 연결시켜주는 근거리 무선통신용 블루투스의 기저 대역 시스템을 설계하였다. 즉, 기저 대역 시스템의 각 기능블록인 패킷생성 블록, HEC와 CRC 기능블록, Whitening/Dewhitening 기능블록, FEC 기능블록, 입출력 블록(TX, RX 루틴), 클럭 생성 기능블록, 주파수 선별 기능블록, 그리고, 패킷 제어 블록 및 전체 데이터 처리절차를 Verilog HDL 코드로 설계하였으며, Model Sim 툴을 이용하여 기능을 검증하였다.

• International Journal of Reliability and Applications
• /
• 제9권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.

• 한국섬유공학회:학술대회논문집
• /
• 한국섬유공학회 2003년도 The Korea-Japan Joint Symposium
• /
• 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".

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.37-39
• /
• 2003

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

• 인터넷정보학회논문지
• /
• 제3권1호
• /
• pp.51-59
• /
• 2002

기존의 규칙베이스 검증 알고리즘은 명제논리 수준에 대응하는 지식표현에 대한 것들이었다. 실 세계어서 규칙베이스를 구성할 때는 술어논리 수준에 대응하는 규칙을 사용하여 규칙베이스를 구성한다. 그러므로 본 논문에서는 규칙을 술어논리 수준에서 자연스럽게 표현할 수 있는 Pr/T 네트를 이용한 규칙베이스의 검증 알고리즘을 제안한다.

• 국제학술발표논문집
• /
• The 3th International Conference on Construction Engineering and Project Management
• /
• 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.