• 한국컴퓨터정보학회논문지
• /
• 제16권4호
• /
• pp.127-135
• /
• 2011

백트래킹을 이용한 깊이우선탐색에서 해를 빨리 찾기 위한 방법 중 하나는 결정변수의 순서를 효과적으로 배열하는 것이다. 이 때 문제의 동적 및 정적 특성을 고려한 변수 순서화 알고리즘 개발은 매우 중요한 문제이다. 그러나 문제에 적합한 최적의 변수 순서화 알고리즘을 개발하는 것은 어려운 문제이다. 본 논문에서는 변수의 속성에 기반을 두어 문제의 형태를 규정하는 문제분류규칙을 제안하고 이 규칙을 이용하여 문제에 적합한 변수 순서화 알고리즘의 형태를 예측할 수 있게 한다. 결정변수가 동적 및 정적 특성을 갖는 DS-type 문제로서 주파수 할당문제를 선택하여 최적의 변수 순서화 알고리즘을 예측한다. 또한 문제분류규칙에 의해 생성되지 않는 특별한 형태의 문제인 기지국 위치문제를 적용하여 제안하는 문제분류규칙의 효용성을 입증한다.

• 전자공학회논문지B
• /
• 제32B권6호
• /
• pp.868-875
• /
• 1995

This paper presents a method of constructing the multiple-valued combinational logic systems(MVCLS) by decision diagram. The switching function truth table of MVCLS is transformed into canonical normal form of sum-of-products(SOP) with literals at first. Next, the canonical normal form of SOP is transfered into multiple-valued logic decision diagram(MVLDD). The selecting of variable ordering is very important in this stage. The MVLDDs are quite different from each other according to the variable ordering. Sometimes the inadequate variable ordering produces a very large size of MVLDD means the large size of circuit implementation. An algorithm for generating the proper variable ordering produce minimal MVLDD and an example shows the verity of the algorithm. The circuits are realized with T-gate acceording to the minimal MVLDD.

• 대한전자공학회논문지SD
• /
• 제39권2호
• /
• pp.82-90
• /
• 2002

BDD는 부울 함수를 간결하고 유일하게 나타낼 수 있기 때문에 다양한 컴퓨터 지원 설계 분야에 널리 활용되고 있다. BDD 크기는 변수 순서에 따라 매우 민감하게 변하므로, BDD의 크기를 최소화할 수 있는 변수 순서를 구하는 것은 매우 중요한 문제이다. 그러나 최적의 변수 순서를 찾는 것은 NP-complete 문제이므로, 근사 최적 변수 순서(near--optimal variable ordering)를 결정하기 위한 여러 가지 휴리스틱 알고리즘이 제안되었다. 본 논문에서는 최근에 제안된 μ0 (Microcanonical Optimization) 알고리즘에 기반하여 BDD 최소화 문제에 더욱 적합하도록 보완한 Faster-μ0 알고리즘을 제안한다. Faster-μ0 알고리즘은 빠르고 더 나은 해를 찾기 위한 국부 탐색 방법으로 임의의 해를 반복적으로 생성하는 초기화 단계 대신에 시프팅 알고리즘을 실행하는 시프팅 단계로 대체한다. 제안된 알고리즘의 튜닝을 위하여 실험적으로 알고리즘 파라메타를 구하였으며 제안된 알고리즘은 많은 벤치마크 회로에 대하여 실험되었으며 기존의 μ0 알고리즘 보다 빠르고 좋은 성능을 보인다.

• 정보처리학회논문지A
• /
• 제8A권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.

• International Journal of Advanced Culture Technology
• /
• 제9권3호
• /
• pp.271-276
• /
• 2021

In this paper we analyze the effect of the credit period on inventory policy under trade credit with ordering cost including a fixed cost and freight cost, where the freight cost has a quantity discount. For marketing purposes, some supplier offers credit period to his buyer to stimulate the demand for the product he produces. The delay in payments during the credit period has the effect of reducing the buyer's capital opportunity cost. It is also assumed that the buyer pays the freight cost for the order and hence, the ordering cost consists of a fixed ordering cost and a variable freight cost which depends on the order quantity. As a result, the possibilities of trade credit and discounts on freight costs are expected to play an important role in the buyer's inventory policy. Based on the economic order quantity inventory model, we analyze how the buyer can determine the optimal inventory policy and we examine the effect of the length of credit period on the buyer's inventory policy.

• 한국통신학회논문지
• /
• 제23권8호
• /
• pp.2113-2119
• /
• 1998

BOD의 최적화 문제는 논리합성과 형식검증 영역에서 필수적인 것으로 인식되고 있다. 변수 순서화 문제는 BOD의 크기와 형태에 직접적인 영향을 미치므로, 적절한 변수 순서를 구하는 문제는 매우 중요한 문제이다, 본 논문에서 는 점진적 시프팅이라 부르는 새로운 변수 순서화 알고리듬을 소개한다. 제안된 알고리듬은 기존의 시프팅 알고리듬에서의 탐색공간을 절반이하로 줄이며, 성능의 저하없이 계산시간을 크게 감소시킬 수 있다. 더욱이 점진적 시프팅 알고리듬은 시프팅 알고리듬을 비롯한 다른 변수 순서화 알고리듬에 비해 매우 단순하다. 제안된 알고리듬은 많은 벤치마크 회로를 이용한 실험에서 그 효율성이 입증되었다.

• International Journal of Advanced Culture Technology
• /
• 제8권1호
• /
• pp.62-70
• /
• 2020

As an effective means of price discrimination, some suppliers offer trade credit to the distributors in order to stimulate the demand for the product they produce. The availability of the delay in payments from the supplier enables discount of the distributor's selling price from a wider range of the price option in anticipation of increased customer's demand. Since the distributor's lot-size is affected by the demand for the customer, the distributor's lot-size and the selling price determination problem is interdependent and must be solved at the same time. Also, in many common business transactions, the distributor pays the shipping cost for the order and hence, the distributor's ordering cost consists of a fixed ordering cost and the shipping cost that depend on the order quantity. In this regard, we deal with the joint lot-size and price determination problem when the supplier allows delay in payments for an order of a product. The positive effects of credit transactions can be integrated into the EOQ (economic order quantity) model through the consideration of retailing situations, where the customer's demand is a function of the distributor's selling price. It is also assumed that the distributor's order cost consists of a fixed ordering cost and the variable shipping cost. We formulate the distributor's mathematical model from which the solution algorithm is derived based on properties of an optimal solution. A numerical example is presented to illustrate the algorithm developed.

• 응용통계연구
• /
• 제21권5호
• /
• pp.875-888
• /
• 2008

Hartigan과 Kleiner (1981, 1984)에 의해 제안된 모자이크 플롯은 범주형 자료의 탐색에 매우 유용한 시각화 도구이다. 모자이크 플롯은 범주 셀의 빈도를 사각형의 기에 비례하게 나타내므로 이해가 쉽고 데이터에 포함된 정보를 유지하지만 실제 모습은 변수 순서와 변수 내 범주의 순서에 따라 상당히 달라진다. 이에 우리는 본 연구에서 모자이크 플롯에서 크래머(Cramer)의 V 계수를 활용한 변수의 순서화 방법과 감마 계수를 활용한 범주의 순서화 방법을 제안하고 Titanic, Housing, PreSex 등 공개 자료에 적용한 결과를 제시한다.

• 한국경영과학회지
• /
• 제14권2호
• /
• pp.87-96
• /
• 1989

We develop an algorithm to determine the optimal loading policy, which minimizes the congestion in general queueing networks with variable stations. Under more specified condition, majorization and arrangement ordering are established to compare, respectivity, various loading and assignment policies. Implications of results are also discussed.

• 대한기계학회논문집B
• /
• 제25권11호
• /
• pp.1581-1593
• /
• 2001

An efficient variable-reordering method for finite element meshes is used and the effect of variable-reordering is investigated. For the element renumbering of unstructured meshes, Cuthill-McKee ordering is adopted. The newsy reordered global matrix has a much narrower bandwidth than the original one, making the ILU preconditioner perform bolter. The effect of variable reordering on the convergence behaviour of saddle point type matrix it studied, which results from P2/P1 element discretization of the Navier-Stokes equations. We also propose and test 'level(0) preconditioner'and 'level(2) ILU preconditioner', which are another versions of the existing 'level(1) ILU preconditioner', for the global matrix generated by P2/P1 finite element method of incompressible Navier-Stokes equations. We show that 'level(2) ILU preconditioner'performs much better than the others only with a little extra computations.