• The KIPS Transactions:PartA
• /
• v.8A no.1
• /
• pp.48-55
• /
• 2001

Using BDD, we can represent Boolean functions uniquely and compactly, Hence, BDD have become widely used for CAD applications, such as logic synthesis, formal verification, and etc. The size of the BDD representation for a function is very sensitive to the choice of orderings on the input variables. Therefore, it is very important to find a good variable ordering which minimize the size of the BDD. Since finding an optimal ordering is NP-complete, several heuristic algorithms have been proposed to find good variable orderings. In this paper, we propose a variable ordering algorithm based on the $\mu$O(microcanonical optimization). $\mu$O consists of two distinct procedures that are alternately applied : Initialization and Sampling. The initialization phase is to executes a fast local search, the sampling phase leaves the local optimum obtained in the previous initialization while remaining close to that area of search space. The proposed algorithm has been experimented on well known benchmark circuits and shows superior performance compared to a algorithm based on simulated annealing.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.36C no.5
• /
• pp.1-12
• /
• 1999

A new algorithm of constructing binary decision diagram(BDD) for design verification of switch-level circuits is proposed in this paper. In the switch-level circuit, functions are characterized by serial and parallel connections of switches and the final logic values may have high-impedance and unstable states in addition to the logic values of 0 and 1. We extend the BDD to represent functions of switch-level circuits as acyclic graphs so called switch-level binary decision diagram (SLBDD). The function representation of the graph is in the worst case, exponential to the number of inputs. Thus, the ordering of decision variables plays a major role in graph sizes. Under the existence of pass-transistors and domino-logic of precharging circuitry, we also propose an input ordering algorithm for the efficiency in graph sizes. We conducted several experiments on various benchmark circuits and the results show that our algorithm is efficient enough to apply to functional simulation, power estimation, and fault-simulation of switch-level design.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.10a
• /
• pp.63-65
• /
• 1993

전통적 의사결정 이론에 입각한 기존의 다기준 의사결정 모형은 명확하게 정의된 문제에 대해서 실함수로 표현된 사전의 선호정보에 의하여 모호함이 없이 확실한 선호의 판별을 산출하는 true-criterion 모형이다. 그러나 현실적인 의사결정 환경하에서 선호정보가 사전에 명확하게 하나의 실함수로 얻어지기는 매우 어렵다. 이는 곧 선호의 불확실성(fuzziness)이나 선호판별을 할 수 없는 비교불가능성(incomparability)등이 있을 수 있음을 의미한다. 1980년대 이후의 다기준의사결정 이론에 대한 연구는 불명확한 문제의 정형화나 선호의 불확실성을 인정하고, 이를 fuzzy 이론을 이용하여 모형의 설정에 반영하고 있다. 심지어는 선호관계의 비추이성(intransitivity)이나 비교불가능성까지도 인정하는 등 모형의 강건성(robustness)을 고려하는 연구가 활발하게 이루어지고 있다.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.19 no.1
• /
• pp.41-52
• /
• 1994

Imprecision of evaluation or lack of prior information about preference can be an obstacle for decision maker in representing his strict preference. Therefore, fuzziness of preference can take place, and in addition, intransitivity or incomparability of preference becomes the critical difficulty in making complete preorder of alternatives. In order to get better solution and to improve practical usufulness, MCDM should be established as a pseudo-criterion model that include fuzzy preference. In this paper, we suggest a pseudo-criterion model that can make complete preorder of alternatives by metric distance measure.

• Proceedings of the KIEE Conference
• /
• 2015.07a
• /
• pp.292-293
• /
• 2015

전력수요의 증가 및 대규모 발전단지의 확장, 송 배전설비 확충의 어려움으로 계통이 복잡해지고 광역 정전 발생의 가능성이 증가하고 있다. 광역 정전 발생 시, 이로 인해 발생할 경제적 손실, 사회전반에 파급될 결과와 영향은 심각한 수준이므로 신속하고 안전한 복구방안의 수립이 중요하다. 또한 신속한 계통복구를 위해 정전 시 복구가능시간을 산정하고, 계통복구절차 방안을 제시하는 것이 중요하다. 우리 나라 계통복구절차를 보면 최초정전상태평가, 발전기상태평가, 계통복구방법 선택, 부하복구를 통한 정전복구 단계로 나눠볼 수 있다. 발전기상태 평가 단계에서 발전기들의 상태를 파악한 후, 기동순서를 결정한다. 본 논문에서는 광역정전 시 발전기 특성을 고려한 전력계통 복구를 위한 수학적 정식화를 하고 향후 연구 방향을 살펴보았다.

• Journal of the Korean Society for Railway
• /
• v.20 no.1
• /
• pp.142-155
• /
• 2017

It is anticipated that, in cases in which different train operators share railway network, conflicts may occur among train operators with regard to train operation rate, train priorities, and arrival and departure time; besides this, during times when there is high demand for trains, operators will request train operations intensively, steadily increasing train conflict phenomena. In the present study, train operation sequence, minimum headway, arrival and departure time, train priorities, etc., were analyzed, and while using train departure times as decision variables in variably given train schedules, by adjusting train time requested by train operators, and finally rejecting the train times in cases in which conflict resolution is impossible, so that various constraints can be satisfied, a train slot allocation model was suggested to find the objective function, that is, the maximum number of train slots that can be practically applicable to railway operation.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.9
• /
• pp.89-95
• /
• 2015

In this paper, we propose a real-time two-dimensional bar code detection system even at long range using a vision technique. We first perform short-range detection, and then long-range detection if the short-range detection is not successful. First, edge map generation, image binarization, and connect component labeling (CCL) are performed in order to select a region of interest (ROI). After interpolating the selected ROI using bilinear interpolation, a location symbol pattern is detected as the same as for short-range detection. Finally, the symbol pattern is arranged by applying inverse perspective transformation to localize bar codes. Experimental results demonstrate that the proposed system successfully detects bar codes at two or three times longer distance than existing ones even at indoor environment.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.6
• /
• pp.937-946
• /
• 1995

We proposed and efficient block segmentation and classification method for the document analysis using SGLDM(spatial gray level dependence matrix) and BP (back Propagation) neural network. Seven texture features are extracted directly from the SGLDM of each gray-level block image, and by using the nonlinear classifier of neural network BP, we can classify document blocks into 9 categories. The proposed method classifies the equation block, the table block and the flow chart block, which are mostly composed of the characters, out of the blocks that are conventionally classified as non-character blocks. By applying Sobel operator on the gray-level document image beforebinarization, we can reduce the effect of the background noises, and by using the additional horizontal-vertical smoothing as well as the vertical-horizontal smoothing of images, we can obtain an effective block segmentation that does not lead to the segmentation into small pieces. The result of experiment shows that a document can be segmented and classified into the character blocks of large fonts, small fonts, the character recognigible candidates of tables, flow charts, equations, and the non-character blocks of photos, figures, and graphs.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.37 no.2
• /
• pp.265-270
• /
• 2013

Strength design for a lightweight bicycle frame made of carbon/epoxy composite laminates was studied using Tsai-Wu's failure criterion. For the design of bicycle frames, reducing the weight of the frame is of great importance. Furthermore, the frame should satisfy the required strength under specific loading cases. In accordance with the European EN 14764 standard for bicycle frames, three loading cases-pedaling, vertical, and level loadings-were investigated in this study. Because of the anisotropic characteristics of composite materials, it is important to decide the appropriate stacking sequence and the number of layers to be used in the composite bicycle frame. From finite element analysis results, the most suitable stacking sequence of the fiber orientation and the number of layers were determined. The stacking sequences of $[0]_{8n}$, $[90]_{8n}$, $[0/90]_{2ns}$, $[{\pm}45]_{2ns}$, $[0/{\pm}45/90]_{ns}$ (n = 1, 2, 3, 4) were used in the analysis. The results indicated that the $[0/{\pm}45/90]_{3s}$ lay-up model was suitable for a composite bicycle frame. Furthermore, the weakest point and layer were investigated.

• Journal of Korea Water Resources Association
• /
• v.41 no.11
• /
• pp.1123-1133
• /
• 2008

It needs to conceptualize watershed with triangular or rectangular elements and to analyze the changes in hydrological components of each element for distributed modeling of rainfall-runoff process. This study is the network analysis of watershed grid for flow routing occurred in each element when analyzing rainfall-runoff process by one-dimensional kinematic wave equation. Single flow direction from D8-method(deterministic eight-neighbors method) is used, and the information of flow direction and flow accumulation are used to determine the computation order of each element. The application theory of finite volume method is suggested for each flow direction pattern between elements, and it is applied it to calculate the flow of each grid. Network analysis method from this study is applied to GRM(Grid based Rainfall-runoff Model) which is physically based distributed rainfall-runoff model, and the results from simplified hypothetical watersheds are compared with $Vflo^{TM}$ to examine the reasonability of the method. It is applied to Jungrangcheon watershed in Han river for verification, and examination of the applicability to real site. The results from Jungrangcheon watershed show good agreement with measured hydrographs, and the application of the network analysis method to real site is proper.