• Journal of the Korean Operations Research and Management Science Society
• /
• v.26 no.4
• /
• pp.133-141
• /
• 2001

Rapid development in computer and network technology these days has created in environment in which decisions for manufacturing companies can be made in a much broader perspective. Especially, better decisions on production and distribution planning(PDP) problems can be made laking advantage of real time information from all the parties concerned. However, since the PDP problem-a core part of the supply chain management- is known to be the so-called NP-hard problem, so heuristic methods are dominantly used to find out solutions in a reasonable time. As one of those heuristic techniques, many previous studios considered genetic a1gorithms. A standard genetic a1gorithm applies rules of reproduction, gene crossover, and mutation to the pseudo-organisms so the organisms can pass along beneficial and survival-enhancing trails to a new generation. When it comes to representing a chromosome on the problem, it is hard to guarantee an evolution of solutions through classic a1gorithm operations alone, for there exists a strong epitasis among genes. To resolve this problem, we propose a hybrid genetic a1gorithm based on Silver-Meal heuristic. Using IMS-TB(Intelligent Manufacturing System Test-bed) problem sets. the good performance of the proposed a1gorithm is demonstrated.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.2
• /
• pp.149-158
• /
• 2002

This paper deals with design and verification of an arithmetic logic unit(ALU) to be used for development of optical computers. The ALU is based on optical switching device, $LiNbO_3$, which is easy to interface with electronic technology and most common in the market. It consists of an arithmetic/logic circuit performing logic operations, memory devices storing operands and the results of operations, and supplementary circuits to select instruction codes, and operates in bit-serial manner. In addition, a simulator is developed for verification of the design, and a set of basic instructions are executed in sequence and step-by-step changes in the accumulator and the memory are examined through simulations, to show that various operations are performed correctly.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.634-636
• /
• 2000

The importance of EDI has been so emphasized that we need exchange/maintain electronic documents effectively, and convert then to other formats. The traditional EDI, however, is facing on the limitation of growth because of it's high expense, and the closenees of sharing information. The EDls of next generation, like open EDI, object-oriented EDI, and Internet EDI, have appeared to solve these problems. Finally, XML/EDl, which is very effective to solve these kinds of problems, is now replacing the traditional EDI and the HTML in Internet and is influencing on e-Business. So, we are going to suggest a solution which uses XML/EDl as a substitute for the traditional one. First, we analyzed the problems of the traditional EDI system and organized the structure of XML/EDl system. Next, we have developed the prototype of Internet bookstore to show the effectiveness and strength of XML/EDl over the traditional EDI.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.334-341
• /
• 2002

As the interest in internet business increases, effective web site evaluation is in order. While web site evaluation is supposed to be based on feasible applicability and trust-worthy criteria. many researches on web site evaluation fails to rover the various business models and consider corporate-activity-related features. Besides, dealing with the limited aspects such as design and cognitive science is something to be desired on the previous researches. Therefore, This paper presents internet web site evaluation framework not only based on existing researches and analysis but also reflecting corporate strategies. The framework includes web sites contents, design, operation and management-related factors, and it is applied to companies to validate its applicability.

• Spatial Information Research
• /
• v.11 no.3
• /
• pp.213-226
• /
• 2003

With the increasing demand of processing massive geographic data, conventional GISs based on the single processor architecture appear to be problematic. Especially, performing complex GIS operations on the massive geographic data is very time consuming and even impossible. This is due to the processor speed development does not keep up with the data volume to be processed. In the field of GIS, this PC clustering is one of the emerging technology for handling massive geographic data effectively. In this study, a MPI(Message Passing Interface)-based parallel processing approach was conducted to implement the existing raster GIS operations that typically requires massive geographic data sets in order to improve the processing capabilities and performance. Specially for this research, four types of raster CIS operations that Tomlin(1990) has introduced for systematic analysis of raster GIS operation. A data decomposition method was designed and implemented for selected raster GIS operations.

• Journal of Korean Library and Information Science Society
• /
• v.30 no.4
• /
• pp.207-228
• /
• 1999

This study is to evaluate the economies of scale of the public libraries in metropolitan cities. The results of the regression analysis confirm that for all samples of libraries there is diseconomies of scale in library operations (${\Sigma}b_{n}$≒6.14∼10.91). Therefore, all the types of public libraries should be improve productivity by user-based collection development, increasing circulation turnover rate, activation of in-library use, strengthening mobile library services, rational planning of services area, development of reading programs connected with the curriculum, a new branch library plans, etc.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.609-612
• /
• 2000

Job-shop scheduling problem(JSSP) is one of the best-known machine scheduling problems and essentially an ordering problem. A new encoding scheme which always give a feasible schedule is presented, by which a schedule directly corresponds to an assigned-operation ordering string. It is initialized with G&T algorithm and improved using the developed genetic operator; APMX or BPMX crossover operator and mutation operator. and the problem of infeasibility in genetic generation is naturally overcome. Within the framework of the newly designed genetic algorithm, the NP-hard classical job-shop scheduling problem can be efficiently solved with high quality. Moreover the optimal solutions of the famous benchmarks, the Fisher and Thompson's 10${\times}$10 and 20${\times}$5 problems, are found.

• Journal of the military operations research society of Korea
• /
• v.17 no.1
• /
• pp.25-42
• /
• 1991

Participation of ROK navy in the Rim of the Pacific(RIMPAC) in likely to stimulate rethinking of Korea's defense role in Northeast Asia. Although the RIMPAC exercise was originally maneuvers to improve combat techniques in ASW, anti-aircraft combat. ocean supply support. surface combat. and electronics warfare. it will be finally be directed to ward securing the SLOC connecting the US, Canada. Australia and the Far East. Based on this concept, my conclusion is that two future arrangements are possible for the security of the Korean peninsula and protecting the SLOC in the combined defense of the Pacific. One is the naval cooperation between ROK and Japan. the other is the Standing Naval Force Pacific(STANAVFORPAC) The concepts of the Naval Cooperation between ROK and Japan and the STANAVFORPAC is whose time has come. The leaders, policymakers, and planners of the countries concerned need to consider such a move seriously.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.972-975
• /
• 2003

The purpose of this study is to integrate Decision Theory Approach(DTA) and OR Theory Approach(OTA) systemically. and to develop Combination Theory Approach to build an optimal R&D project portfolio by strategies. To Integrate two approaches. Utility theory is introduced. Evaluation Results aye converted into utility values by the utility functions and the values are optimized by 0-1 programming. Scoring method and Integer programming is used to evaluation a correspondence with a goal and to allocation the limiting resources. And utility function is used to reflect the preference of decision makers on the project evaluation.

• Journal of Internet Computing and Services
• /
• v.22 no.6
• /
• pp.115-127
• /
• 2021

With the development of science and technology around the world, the realm of cyberspace, following land, sea, air, and space, is also recognized as a battlefield area. Accordingly, it is necessary to design and establish various elements such as definitions, systems, procedures, and plans for not only physical operations in land, sea, air, and space but also cyber operations in cyberspace. In this research, the importance of cyber targets that can be considered when prioritizing the list of cyber targets selected through intermediate target development in the target development and prioritization stage of targeting processing of cyber operations was selected as a factor to be considered. We propose a method to calculate the score for the cyber target and use it as a part of the cyber target prioritization score. Accordingly, in the cyber target prioritization process, the cyber target importance category is set, and the cyber target importance concept and reference item are derived. We propose a TIR (Target Importance Rank) algorithm that synthesizes parameters such as Event Prioritization Framework based on PageRank algorithm for score calculation and synthesis for each derived standard item. And, by constructing the Stuxnet case-based network topology and scenario data, a cyber target importance score is derived with the proposed algorithm, and the cyber target is prioritized to verify the proposed algorithm.