• Title/Summary/Keyword: Constraints Theory

Search Result 483, Processing Time 0.023 seconds

Hardware-Software Cosynthesis of Multitask Multicore SoC with Real-Time Constraints (실시간 제약조건을 갖는 다중태스크 다중코어 SoC의 하드웨어-소프트웨어 통합합성)

  • Lee Choon-Seung;Ha Soon-Hoi
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.33 no.9
    • /
    • pp.592-607
    • /
    • 2006
  • This paper proposes a technique to select processors and hardware IPs and to map the tasks into the selected processing elements, aming to achieve high performance with minimal system cost when multitask applications with real-time constraints are run on a multicore SoC. Such technique is called to 'Hardware-Software Cosynthesis Technique'. A cosynthesis technique was already presented in our early work [1] where we divide the complex cosynthesis problem into three subproblems and conquer each subproblem separately: selection of appropriate processing components, mapping and scheduling of function blocks to the selected processing component, and schedulability analysis. Despite good features, our previous technique has a serious limitation that a task monopolizes the entire system resource to get the minimum schedule length. But in general we may obtain higher performance in multitask multicore system if independent multiple tasks are running concurrently on different processor cores. In this paper, we present two mapping techniques, task mapping avoidance technique(TMA) and task mapping pinning technique(TMP), which are applicable for general cases with diverse operating policies in a multicore environment. We could obtain significant performance improvement for a multimedia real-time application, multi-channel Digital Video Recorder system and for randomly generated multitask graphs obtained from the related works.

An Overrun Control Method and its Synthesis Method for Real-Time Systems with Probabilistic Timing Constraints (확률적인 시간 제약 조건을 갖는 실시간 시스템을 위한 과실행 제어 및 합성 기법)

  • Kim, Kang-Hee;Hwang, Ho-Young
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.32 no.5
    • /
    • pp.243-254
    • /
    • 2005
  • Soft real-time applications such as multimedia feature highly variable processor requirements and probabilistic guarantees on deadline misses, meaning that each task in the application meets its deadline with a given probability. Thus, for such soft real-time applications, a system designer may want to improve the system utilization by allocating to each task a processor time less than its worst-case requirement, as long as the imposed probabilistic timing constraint is met. In this case, however, we have to address how to schedule jobs of a task that require more than (or, overrun) the allocated processor time to the task. In this paper, to address the overrun problem, we propose an overrun control method, which probabilistically controls the execution of overrunning jobs. The proposed overrun control method probabilistically allows overrunning jobs to complete for better system utilization, and also probabilistically prevents the overrunning jobs from completing so that the required probabilistic timing constraint for each task can be met. In the paper, we show that the proposed method outperforms previous methods proposed in the literature in terms of the overall deadline miss ratio, and that it is possible to synthesize the scheduling parameters of our method so that all tasks can meet the given probabilistic timing constraints.

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.

Construction of Revolved-Surface Design Tools Using Implicit Algebraic Functions (음대수 함수를 이용한 회전체를 위한 곡면 설계 도구의 구현)

  • Park, Sanghun;Ihm, Insung
    • Journal of the Korea Computer Graphics Society
    • /
    • v.2 no.1
    • /
    • pp.31-38
    • /
    • 1996
  • Many efforts for finding smooth curves and surfaces satisfying given constraints have been made, and interpolation and approximation theories with the help of computers have played an important role in this endeavour. Most research in curve and surface modeling has been largely dominated by the theory of parametric representations. While they have been successfully used in representing physical objects, parametric surfaces are confronted with some problems when objects are represented and manipulated in geometric modeling systems. In recent year, increasing attention has been paid to implicit algebraic surfaces since they are often more effective than parametric surfaces are. In this paper, we summarize the geometric properties and computational processes of objects represented using implicit algebraic functions and explain of the implementation of design tools which can design curves and surfaces of revolution. These surfaces of revolution are played an importance role in effective areas such as CAD and CAM.

  • PDF

A Node Scheduling Control Scheme with Time Delay Requirement in Wireless Sensor Actuator Networks (무선 센서 엑츄에이터 네트워크에서의 시간지연을 고려한 노드 스케줄링 제어 기법)

  • Byun, Heejung
    • Journal of Internet Computing and Services
    • /
    • v.17 no.5
    • /
    • pp.17-23
    • /
    • 2016
  • Wireless sensor-actuator networks (WSANs) enhance the existing wireless sensor networks (WSNs) by equipping sensor nodes with an actuator. The actuators work with the sensor nodes and perform application-specific operations. The WSAN systems have several applications such as disaster relief, intelligent building, military surveillance, health monitoring, and infrastructure security. These applications require capability of reliable data transfer to act responsively and accurately. Biologically inspired modeling techniques have received considerable attention for achieving robustness, scalability, and adaptability, while retaining individual simplicity. In this paper, an epidemic-inspired algorithm for data dissemination with delay constraints while minimizing energy consumption in WSAN is proposed. The steady states and system stability are analyzed using control theory. Also, simulation results indicate that the proposed scheme provides desirable dissemination delay and energy saving.

An Exploratory Study on the Introduction of Loyalty to Segmentation of Theme Park Users (주제공원 이용자의 시장세분화를 위한 충성도의 사용가능성 검토)

    • Journal of the Korean Institute of Landscape Architecture
    • /
    • v.26 no.1
    • /
    • pp.1-11
    • /
    • 1998
  • The purpose of this paper is twofold : to identify loyalty applicable to segmentation of theme park users and to find characteristics of the segments. Thetheme park was regarded as a product and Lotte World was regarded as a brand. One hundred thirty five college students were selected by nonprobability sampling for two waves thirty of data collection. Both behavioral and attitudinal dimension of loyalty were measured in the first wave by the proportion of visit of the Lotte World to 3 major theme parks for one year, including the Lotte World, and by calculating the mean score of selected 7 attitudinal items, respectively. After 14 weeks, the same respondents were asked the number of actual visits of the Lotte World. Medians of two dimensions and cluster analyses were utilized to classify the respondents into 4 categories : high, spurious, latent, and low loyalty. Then ANOVA and $$\chi$^2$ test of independence were conducted to find the difference in intention to visit the Lotte World and actual visitation of it among groups. Only intention was significantly different by the group and the mean score of intention was highest in the high loyalty group. Although no statistical difference was found in actual visitation among groups, the theory of planned behavior provided a theoretical support to conclude that the loyalty is a useful variable for segmentation of theme park users because intention is an antecedent variable to the behavior. Discriminant analyses showed that characteristics of each loyalty group can be differentiated by motivations and constraints. When median was a group classification criterion, 73.2 percent of high loyalty group was correctly classified. A few comments were suggested on data collection, and inclusion of new discriminant variables was discussed for the future research.

  • PDF

Prosodic Boundary Effects on the V-to-V Lingual Movement in Korean

  • Cho, Tae-Hong;Yoon, Yeo-Min;Kim, Sa-Hyang
    • Phonetics and Speech Sciences
    • /
    • v.2 no.3
    • /
    • pp.101-113
    • /
    • 2010
  • The present study investigated how the kinematics of the /a/-to-/i/ tongue movement in Korean would be influenced by prosodic boundary. The /a/-to-/i/ sequence was used as 'transboundary' test materials which occurred across a prosodic boundary as in /ilnjəʃ$^h$a/ # / minsakwae/ ('일년차#민사과에' 'the first year worker' # 'dept. of civil affairs'). It also tested whether the V-to-V tongue movement would be further influenced by its syllable structure with /m/ which was placed either in the coda condition (/am#i/) or in the onset condition (/a#mi). Results of an EMA (Electromagnetic Articulagraphy) study showed that kinematical parameters such as the movement distance (displacement), the movement duration, and the movement velocity (speed) all varied as a function of the boundary strength, showing an articulatory strengthening pattern of a "larger, longer and faster" movement. Interestingly, however, the larger, longer and faster pattern associated with boundary marking in Korean has often been observed with stress (prominence) marking in English. It was proposed that language-specific prosodic systems induce different ways in which phonetics and prosody interact: Korean, as a language without lexical stress and pitch accent, has more degree of freedom to express prosodic strengthening, while languages such as English have constraints, so that some strengthening patterns are reserved for lexical stress. The V-to-V tongue movement was also found to be influenced by the intervening consonant /m/'s syllable affiliation, showing a more preboundary lengthening of the tongue movement when /m/ was part of the preboundary syllable (/am#i/). The results, together, show that the fine-grained phonetic details do not simply arise as low-level physical phenomena, but reflect higher-level linguistic structures, such as syllable and prosodic structures. It was also discussed how the boundary-induced kinematic patterns could be accounted for in terms of the task dynamic model and the theory of the prosodic gesture ($\pi$-gesture).

  • PDF

A Linear Analysis of the Relationship between Rainfall and Base Flow for Physical Characteristics (물리적(物理的) 특성(特性)들을 위한 강우(降雨)와 기저유출(基底流出)의 선형해석(線形解析))

  • Kim, Jae Han
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.3 no.4
    • /
    • pp.47-57
    • /
    • 1983
  • The parameter of impulse response of groundwater proposed by Kraijenhoff, that is, the reservoir coefficient j is determined on the basis of the least squares criteria. The degree (${\alpha}$) which expresses how much each sequential storm contributes to groundwater flow through the saturated soil is obtained by the optimization techniques which minimize deviations between observed and derived runoff hydrograph, and the convolution summation for the linear theory is used. A numerical example for this study is carried out for a storm event of Goose Creek basin near Leesburg, Virginia. As the results, the groundwater unit hydrograph and baseflow were able to be obtained. The used optimization technique is suited to the purpose of this study in case of the constraints. It is judged that the results allow the determination of baseflow.

  • PDF

Development of finite element analysis program and simplified formulas of bellows and shape optimization (벨로우즈에 대한 유한요소해석 프로그램 및 간편식의 개발과 형상최적설계)

  • Koh, Byung-Kab;Park, Gyung-Jin
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.21 no.8
    • /
    • pp.1195-1208
    • /
    • 1997
  • Bellows is a component in piping systems which absorbs mechanical deformation with flexibility. Its geometry is an axial symmetric shell which consists of two toroidal shells and one annular plate or conical shell. In order to analyze bellows, this study presents the finite element analysis using a conical frustum shell element. A finite element analysis is developed to analyze various bellows. The validity of the developed program is verified by the experimental results for axial and lateral stiffness. The formula for calculating the natural frequency of bellows is made by the simple beam theory. The formula for fatigue life is also derived by experiments. The shape optimal design problem is formulated using multiple objective optimization. The multiple objective functions are transformed to a scalar function by weighting factors. The stiffness, strength and specified stiffness are considered as the multiple objective function. The formulation has inequality constraints imposed on the fatigue limit, the natural frequencies, and the manufacturing conditions. Geometric parameters of bellows are the design variables. The recursive quadratic programming algorithm is selected to solve the problem. The results are compared to existing bellows, and the characteristics of bellows is investigated through optimal design process. The optimized shape of bellows is expected to give quite a good guideline to practical design.

A Study on Creative Design Practice Using TRIZ Software 'CREAX' (TRIZ 소프트웨어 CREAX를 활용한 창의적 실습에 관한 연구)

  • Hong, Sung-Do;Huh, Yong-Jung
    • The Journal of Korean Institute for Practical Engineering Education
    • /
    • v.3 no.2
    • /
    • pp.114-120
    • /
    • 2011
  • This paper proposed a model of Creative Problem Solving education, using CREAX software based on TRIZ. Learners can get the motivation about development of creative thinking through the theory of TRIZ. Furthermore, they can have good command of creative problem-solving process from the software practice course. As a result of the study, the learners could realize the importance of the creativity and adaptability which are demanded from the knowledge-based society. We planned a three major course for development about adaptability of creative problem solving process and we proposed a guideline about each step of the software utilized CREAX. So, we established the courses about leaners can get the creative problem-solving skill more efficiently.

  • PDF