• Title/Summary/Keyword: Theory of Constraint

Search Result 259, Processing Time 0.027 seconds

Performance Reengineering of Embedded Real-Time Systems (내장형 실시간 시스템의 성능 개선을 위한 리엔지니어링 기법)

  • 홍성수
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.30 no.5_6
    • /
    • pp.299-306
    • /
    • 2003
  • This paper formulates a problem of embedded real-time system re-engineering, and presents its solution approach. Embedded system re-engineering is defined as a development task of meeting performance requirements newly imposed on a system after its hardware and software have been fully implemented. The performance requirements nay include a real-time throughput and an input-to-output latency. The proposed solution approach is based on a bottleneck analysis and nonlinear optimization. The inputs to the approach include a system design specified with a process network and a set of task graphs, task allocation and scheduling, and a new real-time throughput requirement specified as a system's period constraint. The solution approach works in two steps. In the first step, it determines bottleneck precesses in the process network via estimation of process latencies. In the second step, it derives a system of constraints with performance scaling factors of processing elements being variables. It then solves the constraints for the performance staling factors with an objective of minimizing the total hardware cost of the resultant system. These scaling factors suggest the minimal cost hardware upgrade to meet the new performance requirement. Since this approach does not modify carefully designed software structures, it helps reduce the re-engineering cycle.

ADMM algorithms in statistics and machine learning (통계적 기계학습에서의 ADMM 알고리즘의 활용)

  • Choi, Hosik;Choi, Hyunjip;Park, Sangun
    • Journal of the Korean Data and Information Science Society
    • /
    • v.28 no.6
    • /
    • pp.1229-1244
    • /
    • 2017
  • In recent years, as demand for data-based analytical methodologies increases in various fields, optimization methods have been developed to handle them. In particular, various constraints required for problems in statistics and machine learning can be solved by convex optimization. Alternating direction method of multipliers (ADMM) can effectively deal with linear constraints, and it can be effectively used as a parallel optimization algorithm. ADMM is an approximation algorithm that solves complex original problems by dividing and combining the partial problems that are easier to optimize than original problems. It is useful for optimizing non-smooth or composite objective functions. It is widely used in statistical and machine learning because it can systematically construct algorithms based on dual theory and proximal operator. In this paper, we will examine applications of ADMM algorithm in various fields related to statistics, and focus on two major points: (1) splitting strategy of objective function, and (2) role of the proximal operator in explaining the Lagrangian method and its dual problem. In this case, we introduce methodologies that utilize regularization. Simulation results are presented to demonstrate effectiveness of the lasso.

Digital Reproduction of Mobiles (모빌의 디지털 재현)

  • Lee, Dong-Chun;Lee, Nam-Kyeong;Jung, Dae-Hyun;Kim, Chang-Tae;Lee, Dong-Kyu;Bae, Hee-Jung;Baek, Nakhoon;Lee, Jong-Won;Ryu, Kwan-Woo
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.28 no.9
    • /
    • pp.415-423
    • /
    • 2001
  • Recently, there are many attempts to reproduce real world fine art pieces in digital forms. The digital representations are convenient to store and/or transmit. In contrast, mobiles, or moving sculptures, such as those designed by Alexander Calder cannot to reproduced realistically by usual reproduction techniques. Since mobiles are originally designed to generate motions in response to external forces applied to it, people could not fully enjoy them through photographs or static images. We present a virtual mobile system where use can easily control the mobile and can feel the impressions that the artist originally intended to provide. A real-world mobile is reconstructed in a three-dimensional physically-based model. and then virtual wind is generated to give motions to it. The motions of the mobile are generated by constraint dynamics and impulse dynamics techniques, which are modified to fully utilize the characteristics of the mobile, and finally give interactive displays on the PC platforms. The techniques presented can easily be extended to simulate other interactive dynamics systems.

  • PDF

Generalization of error decision rules in a grammar checker using Korean WordNet, KorLex (명사 어휘의미망을 활용한 문법 검사기의 문맥 오류 결정 규칙 일반화)

  • So, Gil-Ja;Lee, Seung-Hee;Kwon, Hyuk-Chul
    • The KIPS Transactions:PartB
    • /
    • v.18B no.6
    • /
    • pp.405-414
    • /
    • 2011
  • Korean grammar checkers typically detect context-dependent errors by employing heuristic rules that are manually formulated by a language expert. These rules are appended each time a new error pattern is detected. However, such grammar checkers are not consistent. In order to resolve this shortcoming, we propose new method for generalizing error decision rules to detect the above errors. For this purpose, we use an existing thesaurus KorLex, which is the Korean version of Princeton WordNet. KorLex has hierarchical word senses for nouns, but does not contain any information about the relationships between cases in a sentence. Through the Tree Cut Model and the MDL(minimum description length) model based on information theory, we extract noun classes from KorLex and generalize error decision rules from these noun classes. In order to verify the accuracy of the new method in an experiment, we extracted nouns used as an object of the four predicates usually confused from a large corpus, and subsequently extracted noun classes from these nouns. We found that the number of error decision rules generalized from these noun classes has decreased to about 64.8%. In conclusion, the precision of our grammar checker exceeds that of conventional ones by 6.2%.

A Study of Business Model Based on Intelligent Agents for Optimal Contract (최적의 매매계약을 위한 지능형 에이전트 기반의 비즈니스 모형에 관한 연구)

  • 정종진
    • Journal of the Korea Computer Industry Society
    • /
    • v.5 no.1
    • /
    • pp.131-146
    • /
    • 2004
  • As Electronic Commerce(EC) has been emerged and has developed, many researchers have tried to establish EC framework for automated contract and negotiation using agent technologies. Traditional researches, however, often had limitations. They often enforced the user's participations during the automated contract process of agents. They also could only consider a few of the user's requirements for a specific goods and did not have supported the procedures and methodologies for making the best contract. In this paper, we propose business model on EC based on multiagents to overcome the defects of the previous researches. We apply CSP techniques to brokerage process to satisfy various preferential requirements from the user. We also propose efficient negotiation mechanism using negotiation model of game theory. The contract candidates automatically negotiate and mediate in terms of their benefits through the proposed negotiation mechanism. For the optimal brokerage and automated negotiation, the agents process activities for contract on three layers, which are called competition layer, constraint satisfaction layer and negotiation layer in the proposed model. We also design the message driven communication protocol to support the automated contract among the agents. Finally, we have implemented prototype systems applying the proposed model and have shown the various experimental results for efficiency of the proposed model.

  • PDF

Topology Design Optimization of Plate Buckling Problems Considering Buckling Performance (좌굴성능을 고려한 평판 좌굴문제의 위상설계최적화)

  • Lee, Seung-Wook;Ahn, Seung-Ho;Cho, Seonho
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.28 no.5
    • /
    • pp.441-449
    • /
    • 2015
  • In this paper we perform a linearized buckling analysis using the Kirchhoff plate theory and the von Karman nonlinear strain-displacement relation. Design sensitivity analysis(DSA) expressions for plane elasticity and buckling problems are derived with respect to Young's modulus and thickness. Using the design sensitivity, we can formulate the topology optimization method for minimizing the compliance and maximizing eigenvalues. We develop a topology optimization method applicable to plate buckling problems using the prestress for buckling analysis. Since the prestress is needed to assemble the stress matrix for buckling problem using the von Karman nonlinear strain, we introduced out-of-plane motion. The design variables are parameterized into normalized bulk material densities. The objective functions are the minimum compliance and the maximum eigenvalues and the constraint is the allowable volume. Through several numerical examples, the developed DSA method is verified to yield very accurate sensitivity results compared with the finite difference ones and the topology optimization yields physically meaningful results.

Various Possibilities of Dispositif Film (디스포지티프 영화의 다양한 가능성)

  • KIM, Chaehee
    • Trans-
    • /
    • v.3
    • /
    • pp.55-86
    • /
    • 2017
  • This study begins with the necessity of the concept of reincarnation of film media and the inclusion of specific tendencies of contemporary films as post - cinema comes. Variable movements around recent films Challenging and experimental films show aesthetics that are difficult to approach with the analysis of classical mise en scene and montage. In this way, I review the dispositif proposed by Martin in films that are puzzling to criticize with the classical conceptual framework. This is because the concept of dispositive is a conceptual pile that extends more than a mise en scene and a montage. Dispositif films tend to be non-reproducible and non-narrative, but not all non-narrativef tendencies are dispositif films. Only the dispositif film is included in the flow. Dispositif movement has increased dramatically in the modern environment on which digital technology is based, but it is not a tendency to be found in any particular age. The movement has been detected in classical films, and the dispositif tendency has continued to exist in avant-garde films in the 1920s and some modernist films. First, for clear conceptualization of cinematic dispositif, this study examines the sources of dispositif debates that are being introduced into film theory today. In this process, the theory of Jean Louis Baudry, Michel Foucault, Agamben, Flusser, and Deleuze will help. The concept of dispositif was discussed by several scholars, including Baudry and Foucault, and today the notion of dispositif is defined across all these definitions. However, these various discussions are distinctly different from the cinematic dispositif or dispositif films that Martin advocates. Martin's proposed concept reminds us of the fundamentals of cinematic aesthetics that have distinguished between the mise-en-scene and the montage. And it will be able to reconsider those concepts and make it possible to view a thing a new light or create new films. The basic implications of dispositif are apparatus as devices, disposition and arrangement, the combination of heterogeneity. Thus, if you define a dispositif film in a word, it is a new 'constraint' consisting of rearrangement and arrangement of the heterogeneous elements that make up the conditions of the classical film. In order for something to become a new design, changes must be made in the arrangement and arrangement of the elements, forces, and forces that make up it. Naturally, the elements encompass both internal and external factors. These dispositif films have a variety of possibilities, such as reflection on the archival possibilities and the role of supervision, the reestablishment of active and creative audience, the reason for the film medium, and the ideological reflection. films can also 'network' quickly and easily with other media faster than any medium and create a new 'devised' aesthetic style. And the dispositif film that makes use of this will be a key keyword in reading the films that present the new trend of modern film. Because dispositif are so comprehensive and have a broad implication, there are certainly areas that are difficult to sophisticate. However this will have a positive effect on the future activation of dispositif studies end for end. Dispositif is difficult to elaborate the concept clearly, so it can be accessed from a wide range of dimensions and has theoretically infinite extensibility. At the beginning and end of the 21st century film, the concept of cinematic dispositif will become a decisive factor to dismantle old film aesthetics.

  • PDF

Effect of Capital Market Return On Insurance Coverage : A Financial Economic Approach (투자수익(投資收益)이 보험수요(保險需要)에 미치는 영향(影響)에 관한 이론적(理論的) 고찰(考察))

  • Hong, Soon-Koo
    • The Korean Journal of Financial Management
    • /
    • v.10 no.1
    • /
    • pp.249-280
    • /
    • 1993
  • Recent financial theory views insurance policies as financial instruments that are traded in markets and whose prices reflect the forces of supply and demand. This article analyzes individual's insurance purchasing behavior along with capital market investment activities, which will provide a more realistic look at the tradeoff between insurance and investment in the individual's budget constraint. It is shown that the financial economic concept of insurance cost should reflect the opportunity cost of insurance premium. The author demonstrates the importance of riskless and risky financial assets in reaching an equilibrium insurance premium. In addition, the paper also investigates how the investment income could affect the four established theorems on traditional insurance literature. At the present time in Korea, the price deregulation is being debated as the most important current issue in insurance industry. In view of the results of this paper, insurance companies should recognize investment income in pricing their coverage if insurance prices are deregulated. Otherwise. price competition may force insurance companies to restrict coverage or to leave the market.

  • PDF

Memory Organization for a Fuzzy Controller.

  • Jee, K.D.S.;Poluzzi, R.;Russo, B.
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 1993.06a
    • /
    • pp.1041-1043
    • /
    • 1993
  • Fuzzy logic based Control Theory has gained much interest in the industrial world, thanks to its ability to formalize and solve in a very natural way many problems that are very difficult to quantify at an analytical level. This paper shows a solution for treating membership function inside hardware circuits. The proposed hardware structure optimizes the memoried size by using particular form of the vectorial representation. The process of memorizing fuzzy sets, i.e. their membership function, has always been one of the more problematic issues for the hardware implementation, due to the quite large memory space that is needed. To simplify such an implementation, it is commonly [1,2,8,9,10,11] used to limit the membership functions either to those having triangular or trapezoidal shape, or pre-definite shape. These kinds of functions are able to cover a large spectrum of applications with a limited usage of memory, since they can be memorized by specifying very few parameters ( ight, base, critical points, etc.). This however results in a loss of computational power due to computation on the medium points. A solution to this problem is obtained by discretizing the universe of discourse U, i.e. by fixing a finite number of points and memorizing the value of the membership functions on such points [3,10,14,15]. Such a solution provides a satisfying computational speed, a very high precision of definitions and gives the users the opportunity to choose membership functions of any shape. However, a significant memory waste can as well be registered. It is indeed possible that for each of the given fuzzy sets many elements of the universe of discourse have a membership value equal to zero. It has also been noticed that almost in all cases common points among fuzzy sets, i.e. points with non null membership values are very few. More specifically, in many applications, for each element u of U, there exists at most three fuzzy sets for which the membership value is ot null [3,5,6,7,12,13]. Our proposal is based on such hypotheses. Moreover, we use a technique that even though it does not restrict the shapes of membership functions, it reduces strongly the computational time for the membership values and optimizes the function memorization. In figure 1 it is represented a term set whose characteristics are common for fuzzy controllers and to which we will refer in the following. The above term set has a universe of discourse with 128 elements (so to have a good resolution), 8 fuzzy sets that describe the term set, 32 levels of discretization for the membership values. Clearly, the number of bits necessary for the given specifications are 5 for 32 truth levels, 3 for 8 membership functions and 7 for 128 levels of resolution. The memory depth is given by the dimension of the universe of the discourse (128 in our case) and it will be represented by the memory rows. The length of a world of memory is defined by: Length = nem (dm(m)+dm(fm) Where: fm is the maximum number of non null values in every element of the universe of the discourse, dm(m) is the dimension of the values of the membership function m, dm(fm) is the dimension of the word to represent the index of the highest membership function. In our case then Length=24. The memory dimension is therefore 128*24 bits. If we had chosen to memorize all values of the membership functions we would have needed to memorize on each memory row the membership value of each element. Fuzzy sets word dimension is 8*5 bits. Therefore, the dimension of the memory would have been 128*40 bits. Coherently with our hypothesis, in fig. 1 each element of universe of the discourse has a non null membership value on at most three fuzzy sets. Focusing on the elements 32,64,96 of the universe of discourse, they will be memorized as follows: The computation of the rule weights is done by comparing those bits that represent the index of the membership function, with the word of the program memor . The output bus of the Program Memory (μCOD), is given as input a comparator (Combinatory Net). If the index is equal to the bus value then one of the non null weight derives from the rule and it is produced as output, otherwise the output is zero (fig. 2). It is clear, that the memory dimension of the antecedent is in this way reduced since only non null values are memorized. Moreover, the time performance of the system is equivalent to the performance of a system using vectorial memorization of all weights. The dimensioning of the word is influenced by some parameters of the input variable. The most important parameter is the maximum number membership functions (nfm) having a non null value in each element of the universe of discourse. From our study in the field of fuzzy system, we see that typically nfm 3 and there are at most 16 membership function. At any rate, such a value can be increased up to the physical dimensional limit of the antecedent memory. A less important role n the optimization process of the word dimension is played by the number of membership functions defined for each linguistic term. The table below shows the request word dimension as a function of such parameters and compares our proposed method with the method of vectorial memorization[10]. Summing up, the characteristics of our method are: Users are not restricted to membership functions with specific shapes. The number of the fuzzy sets and the resolution of the vertical axis have a very small influence in increasing memory space. Weight computations are done by combinatorial network and therefore the time performance of the system is equivalent to the one of the vectorial method. The number of non null membership values on any element of the universe of discourse is limited. Such a constraint is usually non very restrictive since many controllers obtain a good precision with only three non null weights. The method here briefly described has been adopted by our group in the design of an optimized version of the coprocessor described in [10].

  • PDF