• 논리연구
• /
• 제12권2호
• /
• pp.31-58
• /
• 2009

이 글은 직설법 조건문에 대한 스톨네이커의 의미론을 제시하고 옹호한다. 직설법적 조건문에 대한 스톨네이커의 가능세계의 의미론은 표준적인 가능세계와 조건문에 대한 선택함수 의미론, 그리고 직설법적 조건문에만 적용되도록 선택함수를 제한하는 화용론적 원리로 구성된다. 그의 의미론에 따르면, 직설법적 조건문은 강한 진리조건을 갖기 때문에 논란없는 원리는 받아들이지만, 이행원리가 보편적으로 성립한다는 것은 거부한다. 그럼에도 이행원리가 성립하는 경우가 있을 수 있는데 그것이 어떻게 가능한지를 설명함으로써 직설법적 조건문에 대해서 우리가 갖는 일반적인 직관을 잘 설명하는 이론임을 보인다. 또한 이 글은 스톨네이커의 이론에 대하여 제기되는 아담스주의적 비판과 기바드 현상의 문제에 대해서 답하고, 스톨네이커의 의미론은 지나치게 맥락의존적이라는 비판에 답함으로써 직설법적 조건문에 대한 가장 받아들일 만한 이론임을 주장한다.

• Journal of Electrical Engineering and Technology
• /
• 제3권4호
• /
• pp.509-513
• /
• 2008

In this paper, we investigate how generators' ramp-rate constraints may influence their equilibrium strategy formulation. In the market model proposed in this study, the generators' ramp-rate constraints are explicitly represented. In order to fully characterize the inter-temporal nature of the ramp-rate constraints, a dynamic game model is presented. The subgame perfect Nash equilibrium is adopted as the solution of the game and the backward induction procedure for the solution of the game is designed in this paper. The inter-temporal nature of the ramp-rate constraints results in the Markov property of the game, and we have found that the Markov property of the game significantly simplifies the subgame perfect Nash equilibrium characterization. Finally, a simple electricity market numerical illustration is presented for the successful application of the approach proposed.

• 음성과학
• /
• 제8권1호
• /
• pp.53-66
• /
• 2001

This paper aims to investigate the acoustic characteristics of the vowels attested in Korean and French and to seek a way of understanding them from a phonological point of view. We first compare the two vowel systems by measuring the actual frequencies of the formants using CSL. It is shown that the first and second formants vary in wider range in French compared to Korean. In order to understand the two vowel systems from a phonological point of view, we apply the theory of Licensing Constraints, proposed and developed by Kaye (1994), and Charette and Kaye (1994). We propose the licensing constraints placed upon the vowels both in Korean and French. For Korean, we propose the licensing constraints such that both elements I and U must be heads. For French, we claim the following licensing constraints: U in a headed expression must be head, A cannot be head, and Nothing can only license an expression A in it.

• International Journal of Advanced Culture Technology
• /
• 제10권4호
• /
• pp.576-582
• /
• 2022

In this paper, we discuss the relative positioning of Wh-related English prepositions in a Wh-interrogative construction within the Optimality Theory [1-2]. By employing the two key constraints such as ^*Prep-Str and Align which are developed for the positioning of Wh-related prepositions from Romance languages such as French and Italian [3] and for the positioning of Wh-related prepositions from the middle English prose from 1500 to 1900 [4-6], and by slightly modifying the constraint hierarchy of ^*Prep-STR >>Align into ^**PrepSTR <<>>Align, Choi argues that his new theory can properly explain the unique behaviors of English Whrelated prepositions being able to take two 'optional' operations such as pied-piping and stranding to find legitimate landing sites in a Wh-interrogative construction [7]. However, this new analysis again reveals the following critical problems: (1) Unlike the 'light' English Wh-related prepositions which can two optional operations for legitimate landing sites in a Wh-interrogative construction, 'heavy' Wh-related English prepositions are not allowed to have such two options: they take just one option of pied-piping only. Thus, (2) his argumentation based on the existing constraints and the modified constraint hierarchy is neither general enough nor proper to explain the issue of the relative positioning for all English Wh-related preposition cases. To include such exceptional syntactic property of the 'heavy' preposition cases within the Optimality Theory, we suggest a new constraint of ^*HPrep-STR ranked at the highest position of the constraint hierarchy to disallow a 'heavy' or multi-syllabic Wh-related English preposition to stay alone at the end of a sentence. The new final hierarchy of constraints we suggest to explain the exceptional positioning of 'heavy' Wh-related prepositions together with the other 'light' Wh-related prepositions in English Wh-interrogative construction will be as follows: ^*HPrep-STR>>Align<<>>^*Prep-STR.

• 산업공학
• /
• 제14권4호
• /
• pp.356-364
• /
• 2001

Production Improvement Method in TOC consists of five steps, but it is very difficult for most firms to implement it because it lacks the detailed methods at each step. This paper suggests some of detailed methods to implement the TOC. In the first step, computer simulation is used to identify the constraints in production lines. Subsequently, ASP, AUT, and CM calculation are defined for the second step, which are helpful to exploit the company's constraints. We also suggest the OEE method to effectively exploit the constraints of production lines in the factory. Finally the TOC/OEE procedure is suggested to optimize the investment in the fourth step. As an illustrative example, we introduce a case of a wafer manufacturer to adopt the suggested methods. The benefits of implementating the suggested methods are addressed in the framework of the balanced scorecard.

• Industrial Engineering and Management Systems
• /
• 제15권1호
• /
• pp.63-76
• /
• 2016

Multiperiod portfolio selection problem attracts more and more attentions because it is in accordance with the practical investment decision-making problem. However, the existing literature on this field is almost undertaken by regarding security returns as random variables in the framework of probability theory. Different from these works, we assume that security returns are uncertain variables which may be given by the experts, and take absolute deviation as a risk measure in the framework of uncertainty theory. In this paper, a new multiperiod mean absolute deviation uncertain portfolio selection models is presented by taking transaction costs, borrowing constraints and threshold constraints into account, which an optimal investment policy can be generated to help investors not only achieve an optimal return, but also have a good risk control. Threshold constraints limit the amount of capital to be invested in each stock and prevent very small investments in any stock. Based on uncertain theories, the model is converted to a dynamic optimization problem. Because of the transaction costs, the model is a dynamic optimization problem with path dependence. To solve the new model in general cases, the forward dynamic programming method is presented. In addition, a numerical example is also presented to illustrate the modeling idea and the effectiveness of the designed algorithm.

• International Journal of Advanced Culture Technology
• /
• 제7권2호
• /
• pp.137-143
• /
• 2019

This paper focuses on the analysis of the Chinese transliterations of English place names in the Optimality Theory (OT) [1]. Three groups of monosyllabic, disyllabic and multisyllabic English place names are analyzed to represent the hierarchical ranking of both Markedness and Faithfulness constraints in terms of sound epenthesis, which is one of the most important repair strategies named the Preservation Principle [2] devised to "preserve" every source segment (or sound) of the target place names. By doing so, this paper tries to answer the question of why sound epenthesis takes place in transliterating words between languages. With the help of the established ranking of the relevant constraints, this paper explains the process of sound epenthesis formally.

• Journal of applied mathematics & informatics
• /
• 제20권1_2호
• /
• pp.209-224
• /
• 2006

This paper presents an optimization model with performance constraints for two kinds of graph elements layout problem. The layout problem is partitioned into finite subproblems by using graph theory and group theory, such that each subproblem overcomes its on-off nature about optimal variable. Furthermore each subproblem is relaxed and the continuity about optimal variable doesn't change. We construct a min-max problem which is locally equivalent to the relaxed subproblem and develop the first order necessary and sufficient conditions for the relaxed subproblem by virtue of the min-max problem and the theories of convex analysis and nonsmooth optimization. The global optimal solution can be obtained through the first order optimality conditions.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1988년도 전기.전자공학 학술대회 논문집
• /
• pp.937-940
• /
• 1988

The problem of minimization of energy, consumed by the robot manipulator, is important, notably for larger manipulators, higher working speeds, and loads. Obviously, the stated problem requires the application of optimal control theory, which is being successfully applied for linear system and certain classes of nonlinear systems. However, the application of optimal control theory(in energy or time optimization) leads to substantial practical difficulties, so that significant simplifications are usually performed, either in model complexity or by neglecting the existing constraints. In this paper the problem of obtaining such an optimization method. which would take into account the complete system dynamics and all the constraints is considered. The only method found to be suitable for such a complex optimization should be based on dynamic programming.

• 대한안전경영과학회지
• /
• 제19권4호
• /
• pp.291-299
• /
• 2017

Recently, many business and government organizations have benefitted by executing projects using TOC-CCPM(Theory of Constraints-Critical Chain Project Management). In parallel, Earned Value Management(EVM) metrics have also become popular. Many organizations like US government requires that all large projects measure and report project progress status using EVM. Thus, project management in business fields such as plant construction, IT development, ship building need to integrate TOC-CCPM and EVM in oder to keep and reduce the delivery date of projects for improvement of customer satisfaction and enlargement of business opportunity. This paper proposes the scheme and case of developing the Synchro-EVM system which TOC-CCPM and EVM are connected.