• 한국멀티미디어학회논문지
• /
• 제12권5호
• /
• pp.767-776
• /
• 2009

본 논문에서는 자연어 처리의 어려움을 해결하기 위해 키워드와 불리언 연산을 이용한 프로그래밍 언어 자동 채점 시스템을 설계하고 구현하여 실험한다. 프로그래밍 언어는 정확한 문법 체제와 키워드가 존재한다. 이러한 특징을 이용하여 본 논문은 키워드와 불리언 연산을 이용한 프로그래밍 언어 자동 채점 시스템을 설계하고 구현하여 실험한다 프로그래밍 언어를 정답 유형별로 7가지로 나누고 키워드 입력 시 접속사를 특수문자를 이용해 입력하게 하여 논리식을 바로 만들어 내어 쉽게 연산이 가능하게 한다. 제안된 자동 채점시스템의 주관식 채점이 객관적으로 잘 처리됨을 보이기 위해 컴퓨터공학 전공 학생 10명을 대상으로 같은 시험을 시험지와 웹에 동일하게 응시하게 한 후, 3명의 담당 교수에게 채점을 의뢰하고 개발한 시스템으로 채점하여 결과를 비교 분석한다. 주관식 채점에서 활용되는 방대한 자연어 처리를 배제할 수 있도록 키워드와 불리언 연산을 이용한 방식을 제안하므로 구현의 효율성을 높이고 채점을 웹으로 이관함으로써 채점자의 주관적 개입을 배제하고 결과를 빠르게 피드백 해주어 객관성과 신속성을 높이는데 목적이 있다.

• 한국컴퓨터그래픽스학회논문지
• /
• 제4권1호
• /
• pp.11-19
• /
• 1998

오일러 연산과 집합 연산과 같은 비다양체 위상 연산은 모델링의 다양한 환경을 제공한다. 이들 연산들은 주어진 모델의 위상 정보를 적합하게 유지하도록 하기 위하여 기하학적인 문제를 발생시킨다. 꼭지점, 모서리와 면과 같은 요소들이 서로 접촉할 때 이들 연산의 내부에서 수행되는 접합 연산은 비다양체 모델의 위상을 수정하는 기본적인 방법이다. 비다양체 모델을 접합할 때는 위상 관계를 추론하여야 한다. 위상 관계의 추론 방법은 위상학적인 방법과 기하학적인 방법의 2 가지 경우로 분류할 수 있다. 위상학적인 방법은 저장되어 있는 위상 정보만을 이용하여 위상 관계를 추론한다. 반면에, 기하학적인 방법은 접합이 일어나는 부분적인 영역에서 기하학적인 형상을 고려하여 위상의 관계를 찾아내는 방법이다. 본 연구에서는 이들 중에서 기하학적인 방법에 관하여 기술한다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2007년도 춘계학술대회A
• /
• pp.1338-1343
• /
• 2007

High-efficient machining, which means cutting a part in the least amount of time, is the most effective tool to improve productivity. In this study, a new feed optimization method based on the cutting power regulation was proposed to realize the high-efficient machining in turning process. The cutting area was evaluated by using the Boolean intersection operation between the cutting tool and workpiece. And the cutting force and power were predicted from the cutting parameters such as feed, depth of cut, spindle speed, specific cutting force, and so on. Especially, the reliability of the proposed optimization method was validated by comparing the predicted and measured cutting forces. The simulation results showed that the proposed optimization method could effectively enhance the productivity in turning process.

• 대한기계학회논문집A
• /
• 제31권9호
• /
• pp.960-966
• /
• 2007

High-efficient machining, which means to machine a part in the least amount of time, is the most effective tool to improve productivity. In this study, a new feed optimization method based on virtual manufacturing was proposed to realize the high-efficient machining in turning process through the cutting power regulation. The cutting area was evaluated by using the Boolean intersection operation between the cutting tool and workpiece. And the cutting force and power were predicted from the cutting parameters such as feed, depth of cut, spindle speed, specific cutting force, and so on. Especially, the reliability of the proposed optimization method was validated by comparing the predicted and measured cutting forces. The simulation results showed that the proposed optimization method could effectively enhance the productivity in turning process.

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

This paper describes a processing verification technique for developing about end-milling cutters. Developed software is processing verification module for manufacturing. By using cutting simulation method, we can obtain center points of finding wheel via Boolean operation between a grinding wheel and a cylindrical workpiece. The obtained CL data can be used for calculating NC data. After then, we can simulate by using designed grinding machine and NC data. This research has been implemented on a commercial CAD system by using the API function programming. The operator can evaluate the cutting simulation process and reduce the time of design and manufacturing.

• Journal of Ship and Ocean Technology
• /
• 제9권1호
• /
• pp.47-63
• /
• 2005

In the present study, we suggest a new method for designing complex ship hull forms with multiple domain B-spline surfaces accounting for their topological arrangement, where all subdomains are fully defined in terms of form parameters, e.g., positional, differential and integral descriptors. For the construction of complex hull forms, free-form elementary models such as forebody, afterbody and bulbs are united by Boolean operation and blending surfaces in compliance with the sectional area curve (SAC) of the whole ship. This new design process in this paper is called Sectional Area Curve-Balanced Parametric Design (SAC-BPD).

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제8권4호
• /
• pp.181-192
• /
• 2008

In this paper, we proposed effective algorithm that do Availability of communication network account using total probability formula. Use path tracing method about PSTN linked with MSC in WCDMA considering occasion that do not consider mobility of terminal and Availability did account. First, express minimum path series gathering by structure function after network that do modeling by stochastic graph for communication network saves all minimal path sets between particular two abutments and we gain Availability value in angular variable after express structure function by Boolean operation form and Availability between two abutments did account.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1009-1012
• /
• 2012

프록시 재암호화 기법이란 위임하는 사람의 공개키로 암호화된 암호문을 신뢰기관의 도움 없이 위임 받는 사람의 개인키로 복호화할 수 있도록 변환하는 기법이다. 이후 특정 조건을 만족하는 사용자만 복호화할 수 있도록 하기 위해 조건부 프록시 재암호화 기법이 제안되었다. 2009 년 Weng 등에 의해 조건부 프록시 재암호화 기법이 제안된 이래 조건에 대해 Boolean 연산자를 모두 지원하는 방법은 아직까지 Open Problem 으로 남아있다. 현재 AND 연산에 대해서는 기존의 기법을 확장하여 지원할 수 있으나 OR, NOT 등에 대해서는 아직 제안되지 않았다. 본 논문에서는 기존의 기법을 확장하여 AND 연산과 함께 OR 연산도 지원할 수 있는 조건부 프록시 재암호화 기법을 제안한다

• 대한전자공학회논문지
• /
• 제23권2호
• /
• pp.197-205
• /
• 1986

In this paper, we present an efficient test algorithm for data processing function of MC68000 \ulcorner. The test vector for functional testing is determined by stuck-at, coupling and transition fault for data storage and transfer. But for data manipulation it is determined by a boolean function of micro-operation. This test algorithm is composed of 3 parts, choosing optimum test instructions for maximizing fault coverage and minimizing test process time, deciding the test order for minimizing test ambiguity, and processing the actual test.

• 대한전자공학회논문지
• /
• 제5권4호
• /
• pp.1-8
• /
• 1968

TANT회로라함은 진입력만을 NAND게이트만으로 구성되는 3단회로를 말한다. 본논문에서는 임의의 Boole함수에 대한 최소수게이트의 TANT회로를 발견하는 방법을 제시한 것이다. 합성절차의 첫 단계는 Quine-McCluskey의 절차 또는 기타방법에 의하여 essential prime implicants(EPI)를 정하고 채　두년산법을 적용하여 EPI와 동일한 두부를 갖는 prime implicants(PI)를 유도하는 것이다. 두째 단계로 동일한 두부를 갖는 EPI 및 PI를 통합하고 유용한 미부요소를 발생시키는 것이다. 그 다음에 이들 미부요소중에서 공통요소를 선정하는데 이 단계는 C-C표를 이용하는 것과 상통한 점이 있다. 마지막 단계로 용장한 PI를 삭제함으로써 입력수를 줄이는 것이다. 이 방법에 의하면 입력수가 5 및 6의 경우에는 수동적으로 용이하게 해를 얻을 수 있다.