• 대한인간공학회:학술대회논문집
• /
• 대한인간공학회 1995년도 추계학술대회논문집
• /
• pp.172-181
• /
• 1995

A control panel layout system was developed to generate an ergrnomically sound panel design. A constraint satisfaction concept was introduced as a framework of incorporating diverse ergonomic design guidelines into the panel layout. An efficient search algorithm which can find a constraint satisfaction solution within a reasonable time was developed based on preprocess and look ahead procedures with the backjumping technique. The proto- type panel layaout system was developed on a SPARC workstation. The constraint satisfaction algorithm was programmed in C language with Motif as a GUI tool under the X-windows environment. The effectiveness of the prototype paned layout system was examined by a case study.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.309-314
• /
• 1992

Many dynamic mechanical systems, such as parts-feeders, walking machines, and percussive power tools, are described by equations of motion which are discontinuous. The discontinuities result from kinematic constraint changes which are difficult to foresee, especially in presence of impact. A simulation algorithm for these types of systems must be able to algorithmically predict and detect the kinematic constraint changes without any prior knowledge of the system's motion. This paper presents a rule-based approach to the prediction and detection of kinematic constraint changes between bodies with arc and line boundaries. The developed algorithm's ability to accurately and automatically detect the unpredicted changes of kinematic constraints is demonstrated with a numerical example.

• 산업기술연구
• /
• 제19권
• /
• pp.91-99
• /
• 1999

The dock is the most important resource in shipbuilding yard. Among the shipbuilding schedules, the ship erection schedule in a dock is preferentially built. As results of it, the other schedules(machining in plants, block assembly, pre-painting, pre-rigging, painting and etc) are made. In this study, ship erection scheduling is formulated using ILOG Scheduler. This study is to develop a new problem solving method for ship erection to make an effective schedule based on Constraint Satisfaction Technique(CST).

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.534-534
• /
• 2000

This paper proposes a dynamic compensation scheme for input-constrained feedback linearizable nonlinear systems to cope with the windup phenomenon. Given a feedback linearizing controller for such a nonlinear system designed without considering its input constraint, an additional dynamic compensator is proposed to account for the constraint. This dynamic anti-windup is based on the minimization of a reasonable performance index, and some stability properties of the resulting closed-loop are presented.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.530-535
• /
• 2004

This paper considers a state set estimation (SSE) based model predictive control (MPC) for linear parameter- varying (LPV) systems with input constraint. We estimate, at each time instant, a feasible set of all states which are consistent with system model, measurements and a priori information, rather than the state itself. By combining a state-feedback MPC and an SSE, we design an SSE-based MPC algorithm that stabilizes the closed-loop system. The proposed algorithm is solved by semi-de�nite program involving linear matrix inequalities. A numerical example is included to illustrate the performance of the proposed algorithm.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1996년도 춘계공동학술대회논문집; 공군사관학교, 청주; 26-27 Apr. 1996
• /
• pp.709-712
• /
• 1996

Generating a project network of a specific construction project is very time consuming and difficult task in the field. To effectiviely automate and support the planning process, we design a case-based project planning expert system inspired by the fact a human expert project planner uses previous cases for planning a new project. A construction project case consist of its specific characteristics and the corresponding project network (i.e. project plan). Using frame based representation. we represent the project features affecting the progress network and the entities composing the project plan such as the buildings, construction methods, WBS (work breakdown structure), activities, and resources. The project planning process runs through most similar case retrieval, case adaptation, and user requirement satisfaction. We represent the construction domain knowledge for each procedure using constraints and rules. We develop the methodology for constraint-based case adaption. Case adaptation process mainly consist of activity generation/deletion and predecence constraint satisfaction, for which we develop the dynamic constraint generation method and connect user-level requirement representation the system-level network modification knowledge. The methodology is being applied to the prototype for apartment construction project planning.

• 한국언어정보학회지:언어와정보
• /
• 제14권1호
• /
• pp.49-65
• /
• 2010

It has been widely accepted that English object extraposition can be easily accounted for. However, recent research exhibits the fact that various cases of English object extraposition lead to many empirical and theoretical problems in generative grammar. To account for such cases, the previous lexical constraint-based analyses including Kim & Sag (2006, 2007) and Kim (2008) attempt to give an explanation on the phenomenon. They, however, seem to be unsuccessful in providing an appropriate analysis of object extraposition, mainly due to the mistaken data generalizations. Unlike the previous analyses, we claim that all verbs selecting CP objects allow object extraposition and propose a unified constraint-based analysis for the various cases of the construction. Further, it is shown that as a consequence, this analysis of object extraposition can be naturally extended to subject extraposition. Hence, this unified analysis enables us to further suggest that all verbs selecting CP allow subject and object extraposition in English.

• 한국언어정보학회지:언어와정보
• /
• 제2권1호
• /
• pp.116-156
• /
• 1998

This paper is an HPSG approach to agreement phenomena involving the Korean honorific expressions. it is shown that the theoretical devices developed by the constraint-based theory of HPSG can be fruitfully used to capture the interactions between syntactic constraints and semantic of pragmatic factors in Korean honorific agreement. The HPSG's semantic feature 'referential index' plays a key rele in discribing the multiple interaction. The constraint-based theory of agreement proves successful in accounting for the phenomenon that may be called 'inconsistent' honorific agreement as well as 'consistent' regular honorific usages. However, this paper acknowledges its limit. Recognizing an important distinction between basic and 'coercive' honorific expressions, it is argued that a systactic-semantic-pragmatic approach such as the present one can only be applied to basic honorific agreement. Being sociolinguistic in nature, coercive honorific agreement is perhaps not amenable to formal linguistic investigation.

• International Journal of Contents
• /
• 제6권2호
• /
• pp.59-68
• /
• 2010

This research looks close the effect of security agent's hierarchical leisure constraint on the leisure motivation and participation based on the Jackson's Model of the hierarchical leisure constraints. This research selected 420 people for sampling, designating security agents who work for security companies located in Seoul in 2009 at present as subjects by utilizing purposive sampling method, but the number of sampling used for ultimate analysis is 356. In this research, reliability analysis's and structural equation modeling's Maximum Likelihood method are used to prove the reliability and validity of questionnaire. By using these research method and procedures, the conclusion of this research is as following. First, intra-personal leisure constraint was affected by interpersonal, structural leisure constraint. Second, leisure motivation was affected negatively by leisure constraint. Third, leisure participation was affected positively by leisure motivation. Synthesizing all things referred above, leisure constraint was affected by inter-personal, structural leisure constraint, and in turn, leisure motivation and leisure participation were affected by its effects. It turned out that leisure motivation has a meaningful effect on leisure participation through leisure participation and adjusting process.

• 대기
• /
• 제17권1호
• /
• pp.1-15
• /
• 2007

A constraint based on climatology is introduced to the cost function of the three-dimensional variational assimilation (3dVar) to correct the error of the zonal mean wind structure in the global data assimilation system at Korea Meteorological Administration (KMA). The revised cost function compels the analysis fit to the chosen climatology while keeping the balance between the variables in the course of analysis. The constraint varies selectively with the vertical level and the horizontal scale of the motion. The zonally averaged wind field from European Centre for Medium-Range Weather Forecasts Re-Analysis 40 (ERA-40) is used as a climatology field in the constraint. The constraint controls only the zonally averaged stratospheric long waves with total wave number less than 20 to fix the error of the large scale wind field in the stratosphere. The constrained 3dVar successfully suppresses the erroneous westerly in the stratospheric analysis promptly, and has been applied on the operational global 3dVar system at KMA.