• Journal of the Korea Society of Computer and Information
• /
• v.14 no.12
• /
• pp.33-40
• /
• 2009

We study Interpreted Systems, ATL, and ATEL to capture the notion of time, knowledge, and strategy which are important in the analysis of multi-agent systems and propose strategic constraints based on subgame perfect Nash equilibrium of game theory as one of the solutions for the issues of ATEL which an agent can access the current state of the whole system when making up his strategy even when he should be uncertain about the state, and no explicit representation of actions in ATEL models makes some natural situations harder to model. Also, we present strategic constraints-based Interpreted Systems for model checking of multi-agent systems.

• Journal of Korea Society of Industrial Information Systems
• /
• v.7 no.3
• /
• pp.95-106
• /
• 2002

As the information technology including Internet not only opened the cyber world but also has evolved as a platform that enables a new generation of businesses and remolds the shape of thinking and the rules of supply chain management (SCM). By using the Theory of Constraints, which seems simple but robust to review the traditional SCM context, the paper proposes a conceptual framework to handle the SCM issues. From the strategic perspective, this paper focuses on three policy constraints: supplier-manufacturer oriented constraints, manufacturer-distributor oriented constraints, and supply chain oriented constraints. To optimize the throughput and sustain the competitiveness of supply chain members in the dynamic business environment, the companies should utilize the potential competency of information technology and consistently perform the activities of removing and/or reinforcing the constraints.

• Journal of Preventive Medicine and Public Health
• /
• v.20 no.1 s.21
• /
• pp.40-48
• /
• 1987

In this paper strategic planning is applied for effective management to improve hospital income. Though community hospital has been set up for improving the health status of community, it must be trying to increase income for continuing with referral hospital in the community. The most useful tool of management to do this purpose is thought of strategic planning. Therefore this paper developed strategic planning a typical community hospital, which for it presenting the strategic planning process and developing the simulation model for evaluation of strategic alternatives. In the result it is represented that admission rate is the most sensitive to hospital operating income among the important variables in the model. And simulation by changing the parameter could estimate the yearly hospital income in the response of alternatives. This strategic planning simulation model has had constraints as number of date but also significance such as evaluating the alternatives by quantitative model and at first applying the hospital in our country.

• International Journal of Quality Innovation
• /
• v.10 no.2
• /
• pp.29-42
• /
• 2009

The issue of capacity constraint resources (CCR) or bottlenecks wandering in product mix decision by applying Theory of Constraints (TOC) management philosophy has been mentioned and demonstrated in several papers. In this study, the effect for prolonging the planning period (PPP) so as to stabilize the CCR is investigated. The results show that the effect for PPP alternative will be positive or negative which is depending on the environment condition. However, a majority cases which have positive effect for PPP alternative can be recognized prior knowing the marketing demand, which is significant in the real application.

• Journal of the Society of Naval Architects of Korea
• /
• v.46 no.3
• /
• pp.362-371
• /
• 2009

Shipbuilding is a typical 'build to order' industry. It has a business model that generates revenues from building various ships and offshore products in accordance with owner's requirements at each production stage. Under uncertainty in shipping market, it is very essential for the shipbuilder to prepare the fast and competitive decision for product portfolio strategy in order to maximize contribution margin by exploiting production facilities and constraints. In this study, we introduce the unique decision supporting methodology for the optimal product portfolio sets based on Theory of Constraints(TOC). This methodology is established by adopting the concept of Drum Buffer Rope(DBR) in constraints planning and Throughput Accounting (TA) in management accounting of TOC. In addition, Decision Supporting System(DSS) is implemented. This DSS system provides a throughput estimator with reflecting the cost structure of shipbuilding industry and a resource simulator built on heuristic algorithms to operate major constraint-resources in shipyard such as dock, quay and pre-erection area etc. Several examples are presented to show that the proposed methodology and system can effectively support the strategic decision-making process of a global shipbuilding company.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.51 no.4
• /
• pp.196-201
• /
• 2002

An important aspect of the study of power system markets involves the assessment of strategic behavior of participants for maximizing their profits. In models for imperfect competition of a deregulated system, the key tack is to find the Nash equilibrium. When the constraints are not considered in the power market, the equilibrium has the form of a pure strategy. However, the constraints are considered, the equilibrium has the form of a mired strategy. In this paper the bimatrix game approach leer finding a mixed equilibrium is analyzed. The Nash equilibrium of a mixed strategy will be used adequately for the analysis of market power.

• Journal of Electrical Engineering and Technology
• /
• v.8 no.4
• /
• pp.675-685
• /
• 2013

Generation capacities and transmission line constraints in a competitive electricity market make it troublesome to compute Nash Equilibrium (NE) for analyzing participants' strategic generation quantities. The NE can cause a mixed strategy NE rather than a pure strategy NE resulting in a more complicated computation of NE, especially in a multiplayer game. A two-level hierarchical optimization problem is used to model competition among multiple participants. There are difficulties in using a mathematical programming approach to solve a mixed strategy NE. This paper presents heuristics applied to the mathematical programming method for dealing with the constraints on generation capacities and transmission line flows. A new formulation based on the heuristics is provided with a set of linear and nonlinear equations, and an algorithm is suggested for using the heuristics and the newly-formulated equations.

• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.114-129
• /
• 2006

Ontology mapping is the task of finding semantic correspondences between two ontologies. In order to improve the effectiveness of ontology mapping, we need to consider the characteristics and constraints of data models used for implementing ontologies. Earlier research on ontology mapping, however, has proven to be inefficient because the approach should transform input ontologies into graphs and take into account all the nodes and edges of the graphs, which ended up requiring a great amount of processing time. In this paper, we propose a multi-strategic mapping approach to find correspondences between ontologies based on the syntactic or semantic characteristics and constraints of the topic maps. Our multi-strategic mapping approach includes a topic name-based mapping, a topic property-based mapping, a hierarchy-based mapping, and an association-based mapping approach. And it also uses a hybrid method in which a combined similarity is derived from the results of individual mapping approaches. In addition, we don't need to generate a cross-pair of all topics from the ontologies because unmatched pairs of topics can be removed by characteristics and constraints of the topic maps. For our experiments, we used oriental philosophy ontologies, western philosophy ontologies, Yahoo western philosophy dictionary, and Yahoo german literature dictionary as input ontologies. Our experiments show that the automatically generated mapping results conform to the outputs generated manually by domain experts, which is very promising for further work.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.53 no.5
• /
• pp.302-307
• /
• 2004

As deregulation of power industry is becoming a reality, there has been an intense interest in the strategic bidding for suppliers to maximize their profits. The profit gained by a supplier is related not only to its energy-price bid curve but also to its submitted operational parameters such as generation capacity, etc. So suppliers are willing to use those strategic parameters that can be manipulated by themselves and are effective to their profit. This paper deals with the competition model with compound strategies: generation capacity and bidding curve. The parameter space is modeled by dividing into the two strategies, so the problem is made up of the four types of sub-game in a two player game. This paper analyzes the global Nash Equilibrium (NE) over the whole divisions by computing the sub-game NEs in some divisions and by deriving the best response curves which have discontinuities in other divisions. The global NE is shown to correspond to the Cournot NE where the quantity variable is realized by a constraints of a generation capacity.

• Industrial Engineering and Management Systems
• /
• v.10 no.1
• /
• pp.54-64
• /
• 2011

The purpose of this study is to optimally allocate the human resources to tasks while minimizing the total daily human resource costs and smoothing the human resource usage. The human resource allocation problem (hRAP) under consideration contains two kinds of special constraints, i.e. operational precedence and skill constraints in addition to the ordinary constraints. To deal with the multiple objectives and the special constraints, first we designed this hRAP as a network problem and then proposed a Pareto multistage decisionbased genetic algorithm (P-mdGA). During the evolutionary process of P-mdGA, a Pareto evaluation procedure called generalized Pareto-based scale-independent fitness function approach is used to evaluate the solutions. Additionally, in order to improve the performance of P-mdGA, we use fuzzy logic controller for fine-tuning of genetic parameters. Finally, in order to demonstrate the applicability and to evaluate the performance of the proposed approach, P-mdGA is applied to solve a case study in a hotel, where the managers usually need helpful automatic support for effectively allocating hotel staff to hotel tasks.