• Journal of the Korean Operations Research and Management Science Society
• /
• v.31 no.1
• /
• pp.83-90
• /
• 2006

By defining the partial busy period of the M/M/c/K queueing system as the time interval during which at least one server is in service, we derive the first two moments of both the partial busy period and the number of customers served during it. All expressions are given in explicit forms.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.32B no.3
• /
• pp.66-76
• /
• 1995

In this research, a mesh connected VLSI structure is proposed for the real time computation of the generalized Hough transform(GHT). The purpose of the research is to design a generalized Hough transformer that can be realized as a single chip processor. The GHT has been modified to yield a highly parallel structure consisting of simple processing elements(PEs) and communication networks. In the proposed structure, the GHT can be computed by first assigning an image pixel to a PE and performing shift and add operations. The result of the CAD circuit simulation shows that it can be computed in the time proportional to the number of pixels in the pattern. In addition to the Hough transformer, the peak detector has been designed to reduce 1)the number of the I/O operations between the transformer and the host computer and 2) the host computer's burden for peak detection by transmitting only the local peaks detected from the transformed accumulator. It is expected that the proposed single chip Hough transformer with peak detector makes a fast and inexpensive edge based object recognition systems possible for many industrial and military applications.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.34C no.8
• /
• pp.22-38
• /
• 1997

This paper proposes a new VLSI architecture for morphological filters and presents its chip design and implementation. The proposed architecture can significantly reduce hardware costs compared with existing architecture by using a feedback loop path to reuse partial results and a decoder/encoder pair to detect maximum/minimum values. In addition, the proposed architecture requires one common architecture for both diltion and erosion and fewer number of operations. Moreover, it can be easily extended for larger size morphologica operations. We developed VHDL (VHSIC hardware description language) models, performed logic synthesis using the SYNOPSYS CAD tool. We used the SOG (sea-of-gate) cell library and implemented the actual chip. The total number of gates is only 2,667 and the clock frequency is 30 MHz that meets real-time image processing requirements.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.41 no.1
• /
• pp.41-53
• /
• 2016

Static repositioning is a well-known and commonly used strategy to maximize customer satisfaction in public bike-sharing systems. Repositioning is performed by trucks at night when no customers are in the system. In models that represent the static repositioning problem, the decision variables are truck routes and the number of bikes to pick up and deliver at each rental station. To simplify the problem, the decision on the number of bikes to pick up and deliver is implicitly included in the truck routes. Two relocation-based local search algorithms (1-relocate and 2-relocate) with the best-accept strategy are incorporated into a variable neighborhood search (VNS) to obtain high-quality solutions for the problem. The performances of the VNS algorithm with the effect of local search algorithms and shaking strength are evaluated with data on Tashu public bike-sharing system operating in Daejeon, Korea. Experiments show that VNS based on the sequential execution of two local search algorithms generates good, reliable solutions.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1987.10a
• /
• pp.35-35
• /
• 1987

Consider a job shop that is modelled as an open queueing network of the Jackson(l957) type. All work stations in the shop have the same number of parallel servers. Two problems are studied : the loading of stations and the assignment of servers, which are represented by loading and assingment vectors, respectively. Ma jorization and arrangement orderings are established to order, respectively, the loading and the assignment vectors. It is shown that reducing the loading vector under ma jorizat ion or increasing the assignment vector under arrangement ordering will reduce the congestion in the shop in terms of reducing the total number of jobs(in the sense of likelihood ratio ordering), the maximum queue length(in the sense of stochastic ordering), and the queue-length vector( in the sense of stochastic majorization). The results can be used to supprot production planning in certain job shops, and to aid the desing of storage capacity. (OPEN QUEUEING NETWORK; WJORIZATION; ARRANGEMENT ORDERINC; LIKELIHOOD RATIO ORDERINC; STOCHASTIC ORDERING)

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.660-663
• /
• 2004

The vehicle routing problem with time-varying speed(VRPTVS) is difficult to handle with regular problem solving approaches. An approach by partitioning the service zone into three sub-zones to reduce computing time and vehicle traveling distance is suggested in this paper. To develop a partitioning algorithm for VRPTVS, all customer locations are divided into two sections such as morning zone and evening zone, excluding daytime zone. And then each service zone is calculated to find a possible number of delivery points and chosen by time window having more number of possible delivery points by considering customer location and varying speeds. A temporary complete route that can serve all target points is developed by this procedure and a pairwise exchange method is applied to reduce the traveling time.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.23 no.2
• /
• pp.83-101
• /
• 1998

Assembly U-lines are increasingly accepted in industry, especially just-in-time production systems, for the efficient utilization of workforce. In this paper, we present an integer programming formulation and a branch-and-bound method for balancing the U-line with the objective of minimizing the number of workstations with a fixed cycle time. In the mathematical model, we provide the method that can reduce the number of variables and constraints. The proposed branch-and-bound method searches the optimal solution based on a depth-first-search. To efficiently search for the optimal solutions to the problems, an assignment rule is used in the method. Bounding strategies and dominance rules are also utilized. Some problems require a large amount of computation time to find the optimal solutions. For this reason. some heuristic fathoming rules are also proposed. Extensive experiments with test-bed problems in the literature are carried out to show the performance of the proposed method. The computational results show that our method is promising in solution quality.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.32 no.2
• /
• pp.1-15
• /
• 2007

This paper proposes a method for determining the number of storage rooms and designing the storage layout in warehouses for pyramid type stacks whose example are slacks for steel coils, paper rolls, and drums for oils. Formulas are derived for estimating the expected values and the variances of various handling times by cranes. From the derived formulas, the expected queuing time of road trucks is estimated. Base on the derived formulas, this study derives the cost function for determining the optimal numbers of rows, bays, and tiers of stacks and sizing cranes under the condition that the requirement for storage space is satisfied. Results of numerical analysis are provided.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.29 no.4
• /
• pp.61-72
• /
• 2004

In this paper, we design sampling inspections and service capacities simultaneously for multi-products. Particularly, we extend Kim(2003) by introducing the fixed cost of providing services. We show that, due to the fixed cost considered, the cost function of a product is no longer linear or convex in terms of the level of service provision, and the total inspection is prefered to the small level of service capacity which results in high burden of the fixed cost. And we develop a simple framework to deal with this joint design problem for a product. Also we consider the problem of allocating the given number of the total service capacities among products. A dynamic programming algorithm is developed to determine the optimal allocation which minimizes the overall total cost of the system and the optimal allocation can be obtained with the considerably smaller computations than the total number of possible allocations. The results can be used to support planning decisions and to aid the joint design of inspections and service capacities for products.

• Korean Journal of Child Studies
• /
• v.27 no.1
• /
• pp.139-151
• /
• 2006

This study was conducted to examine the effects of mathematical activities with online mathematical contents on children's arithmetic development and attitudes toward mathematical activities. Pre- and post-tests were administered to 62 5-year-old children. Differences of children's arithmetic development level and attitudes toward mathematical activities were found between the experimental group using online mathematical contents and the control group using offline mathematical contents. All findings proved that online mathematical contents were effective and had positive influences on children's arithmetic development and attitudes toward mathematical activities. This supports the proposition that online mathematical contents can provide an important means to the improvement of children's mathematical development and attitudes toward mathematical activities.