• 전자공학회논문지
• /
• 제52권9호
• /
• pp.28-35
• /
• 2015

본 논문은 클럭 게이팅 구동신호를 이용한 전력 모델링 방법에서 회로에서 나타나지 않는 잉여 전력 상태를 확인함으로써 전력 상태 수를 줄이는 방법을 제안한다. 회로에 나타나지 않는 전력 상태를 확인하기 위해 함수적 종속성과 구조적 종속성을 확인한다. 본 논문에서는 2개의 클럭 게이팅 구동신호 간에 나타나는 함수적 종속성 중 동치 관계, 역관계, 포함 관계만을 다룬다. 구조적 종속성은 클럭 게이팅 셀의 위치적 특성에 의한 종속성을 의미한다. 두 종속성으로 발견한 관계를 이용해 전력상태의 수를 줄였으며, 감소 후 남은 전력 상태수를 세기위해 이진결정다이어그램을 사용하였다. 함수적 종속성과 구조적 종속성을 이용해 전력 상태 수를 알고리즘 적용 전 대비 평균 59%까지 감소시켰다.

• 한국안전학회지
• /
• 제31권5호
• /
• pp.187-194
• /
• 2016

A single fire event within a fire area can cause multiple initiating events considered in internal events probabilistic safety assessment (PSA). For an example, a fire event in turbine building fire area can cause a loss of the main feed-water and loss of off-site power initiating events. This fire initiating event could result in special plant responses beyond the scope of the internal events PSA model. One approach to address a fire initiating event is to develop a specific fire event tree. However, the development of a specific fire event tree is difficult since the number of fire event trees may be several hundreds or more. Thus, internal fire events PSA model has been generally constructed by modifications of the pre-developed internal events PSA model. New accident sequence logics not covered in the internal events PSA model are separately developed to incorporate them into the fire PSA model. Recently, many fire PSA models have fire induced initiating event fault trees not shown in an internal event PSA model. Up to now, there has been no analytical comparative study on the constructions of fire events PSA model using internal events PSA model with and without fault trees of initiating events. In this study, the changing process of internal events PSA model to fire events PSA model is analytically presented and discussed.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.709-711
• /
• 2005

이 논문에서는 CATIA, PRO-E 등의 CAD에서 3D 모델을 생성할 때 사용하는 파라메트릭 솔리드 모델링 기법에서 일반적으로 사용하는 방법보다 모델링 데이터의 용량을 크게 줄일 수 있는 방법에 대하여 고찰한다. 3D 파라메트릭 솔리드 모델링 기법은 기본적인 상세 솔리드들을 생성하여 부울(Boolean) 연산으로 이들을 조합하여 복잡한 형상(geometric object)을 만드는데 이 과정에서 많은 부울 연산이 수행된다. 그런데 각각의 상세 솔리드들의 크기가 필요 이상으로 크게 만들어 짐으로써 생성된 모델의 데이터 용량이 방대하게 되고 생성시간에도 영향을 미친다. 여기에서는 실무 경험을 바탕으로 처음에 생성된 상세 솔리드의 불필요한 부분을 제거하여 부울 연산에 알맞은 크기로 변경하여 모델링 데이터의 용량을 줄이는 방법을 제안한다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2002년도 Language, Information, and Computation Proceedings of The 16th Pacific Asia Conference
• /
• pp.447-454
• /
• 2002

This paper proposes that the argument structures be stated in a way that uses probabilities derived from a corpus to replace a Boolean-value system of subcategorization. To do this, we make a cognitive model from a situation to an utterance to explain the phenomena of arguments'ellipsis, though the traditional term ellipsis is not suitable under our new concepts. We claim that the binary distinction is neither rational nor suitable for a real syntactic analysis. To solve this problem, we propose two new concepts argumentness and probabilistic Case structures by adapting the prototype theory. We believe that these concepts are effective in the syntactic analysis of NLP.

• 제어로봇시스템학회논문지
• /
• 제7권11호
• /
• pp.939-943
• /
• 2001

PLC(programmable Logic Controller)s essential components of modern automation systems encompassing almost every industry. Ladder Diagrams (LD) have been widely used in the design of such PLC since the LD is suitable for the modeling of the sequential control system. However, the synthesis of LD itself mainly depends on the experience of the industrial engineer, which may results in unstructured or inflexible design. Hence, in this paper, we propose a ladder diagram conversion algorithm which systematically produces LDs for PLCs based on discrete event models to enhance the structured and flexible design mechanism.

• 대한기계학회논문집
• /
• 제18권1호
• /
• pp.53-64
• /
• 1994

Rouge cutting process takes the major portion of machining operation using NC milling machine. Especially, most of the machining time is spent in this process when molds are machined. Therefore, an efficient algorithm for generating the tool path for rough cutting is suggested in this paper. The first step of the procedure is getting the volume to be machined by applying the Boolean operation on the finished model and the workpiece which have been modeling system. Basic principle of determining machining procedure is that a large tool should be used at the portion of the simple shape while a small tool should be used at the complex portion. This principle is realized by representing the volume to be machined by an octree, which is basically a set of hexahedrons, and matching the proper tools with the given octants. When the tools are matched with the octants, the tool path can be derived at the same time.

• 한국컴퓨터그래픽스학회논문지
• /
• 제3권2호
• /
• pp.77-84
• /
• 1997

3차원 물체를 표현하는 솔리드 모델링 기법으로 Constructive Solid Geometry(CSG)와 경계표현 (Boundary Representation: BRep)이 널리 쓰이고 있다. 현대의 솔리드 모델링 시스템들은 대개 이 두 기법을 모두 지원하고 있으며, CSG와 BRep간 상호 변환은 매우 중요한 문제이다. 하지만, BRep에서 CSG로의 변환은 아직 완전히 해결되지 않은 과제이다. 이 논문은 BRep을 CSG의 특수한 형태인 Destructive Solid Geometry(DSG)로 변환하는 3차원 기하 추론 알고리즘을 소개한다. BRep에서 DSG를 만들어내는 알고리즘은 CAD와 CAM을 통합시키는 특정 형상 인식 분야에 직접 응용될 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.349-351
• /
• 2005

마이크로소프트의 SLAM 프로젝트는 C 코드를 입력 받아서 프로그램이 주어진 속성을 만족하는지를 자동으로 검사한다. 그 결과, 실제 윈도우 2000에 탑재된 디바이스 드라이버의 버그를 찾아낼 수 있었다. 그러나 SLAM에서 검사할 수 있는 속성은 안전성 속성에만 국한되었다. 사용자가 검사하기를 원하는 속성은 안전성뿐만이 아니라 궁극성도 있지만, SLAM에서는 긍극성을 검사하지 못한다. 본 논문에서는 주어진 프로그램을 이진 프로그램으로 추상화 한 후에, 이진 프로그램에 대해서 CTL 모델 체킹을 수행하는 방법을 제안하였다. 그 결과 SLAM 보다도 더 많은 속성을 검사할 수 있다.

• 보존과학회지
• /
• 제37권1호
• /
• pp.25-33
• /
• 2021

To extend the application of digital technology to the replication of artifacts, meticulous details of the process and the diversity of three-dimensional (3D) printing output materials need to be supplemented. Thus, in this study, a bronze mirror with Hwangbichangcheon inscription was digitalized by 3D scanning, converted into a voxel model, and virtual conservation treatment was performed using a haptic device. Furthermore, the digital mold of the bronze mirror completed by Boolean modeling was printed using a 3D sand-printer. Such contactless replication based on digital technology reflects the stability, precision, expressivity, collectivity, durability, and economic feasibility of artifacts. Its application can be further extended to cultural products as well as such areas as education, exhibition, and research. It is expected to be in high demand for metal artifacts that require casting. If empirical studies through experimental research on casting are supplemented in the future, it could extend the application of digital technology-based contactless replication methods.

• Nuclear Engineering and Technology
• /
• 제54권11호
• /
• pp.4244-4252
• /
• 2022

The accuracy of Monte Carlo (MC) simulations in estimating the computed tomography radiation dose is highly dependent on the accuracy of CT scanner model. A system was developed to observe the 3D model intuitively and to calculate the X-ray energy spectrum and the bowtie (BT) filter model more accurately in Monte Carlo N-particle (MCNP). Labview's built-in Open Graphics Library (OpenGL) was used to display basic surfaces, and constructive solid geometry (CSG) method was used to realize Boolean operations. The energy spectrum was calculated by simulating the process of electronic shooting and the BT filter model was accurately modeled based on the calculated shape curve. Physical data from a study was used as an example to illustrate the accuracy of the constructed model. RMSE between the simulation and the measurement results were 0.97% and 0.74% for two filters of different shapes. It can be seen from the comparison results that to obtain an accurate CT scanner model, physical measurements should be taken as the standard. The energy spectrum library should be established based on Monte Carlo simulations with modifiable input files. It is necessary to use the three-segment splicing modeling method to construct the bowtie filter model.