• Journal of Information Technology Applications and Management
• /
• 제10권1호
• /
• pp.111-125
• /
• 2003

This paper proposes a product data model that can express and enforce integrity constraints on product structure during engineering changes (ECs). The model adopts and extends an active object-oriented database model in order to Integrate IC data and their integrity constraints. Tightly integrated with product structure, It will enable designers to maintain and exchange consistent EC data throughout the product life cycle. In order to properly support operations for ECs, the model provides the data, operations, and Event-Condition-Action rules for nested ECs and simultaneous EC applications to multiple options. in addition, the EC objects proposed In the model integrate the data and Integrity constraints into a unified repository. This repository enables designers to access all EC data and integrity constraints through the product structure and relationships between EC objects. This paper also describes a prototype product data management system based on the proposed model In order to demonstrate its effectiveness.

• 한국조경학회지
• /
• 제32권5호
• /
• pp.1-10
• /
• 2004

This study applied the leisure constraints and negotiation concept to the travel context, especially for traveling in national parks. More specifically, it tries to identify how constraints and negotiation impact a person's travel behavior. The population of this study is the people who intend to visit the national parks for their summer vacations. The data was collected through the panel study, which surveyed the same set of people before and after their trip. Among 527 samples, 39.7％ traveled what they planned without any changes. 24.7％ did not travel or postponed their trip, and 35.7％ enjoyed their vacation but with changes of destination, time or travel periods. These results support that people may use negotiation strategies to overcome their constraints in a travel context. However, there were no statistically significant differences in the impact of constraints on travel behavior among the three groups. The results also confirm that people have to overcome intra-, inter-, and structural constraints for visiting the national parks. Thus, the findings of the study suggest that the concepts of leisure constraints and negotiation is applicable to the travel contexts. Because of its exploratory characteristics, several limitations and cautions were raised.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2004년도 e-Biz World Conference
• /
• pp.318-326
• /
• 2004

The ebXML (Electronic Business using eXtensible Markup Language) Specification Schema is to provide nominal set of specification elements necessary to specify a collaboration between business partners based on XML. As a part of ebXML Specification Schema, BPSS (Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification is insufficient to specify formal semantic constraints of modeling elements completely. In this study, we propose a classification schema for the BPSS semantic constraints and describe how to represent those semantic constraints formally using OCL (Object Constraint Language). As a way to verify a Business Process Specification (BPS) with the formal semantic constraint modeling, we suggest a rule-based approach to represent the formal constraints and to use the rule-based constraints specification to verify BPSs in a CLIPS prototype implementation.

• 한국정보과학회논문지:데이타베이스
• /
• 제34권6호
• /
• pp.493-502
• /
• 2007

지식을 효과적으로 표현하고 검색하는 방법에 대한 관심이 증가함에 따라, 토픽맵을 비롯한 지식 표현 기법들이 점점 중요해지고 있다. 토픽맵은 지식을 구조화하여 표현하게 되는데 지식은 매우 복잡한 의미적 관계를 포함하고 있기 때문에 이를 의미적으로 일관성 있게 유지, 관리하는 것은 매우 중요한 문제가 된다. 현재 토픽맵 무결성 검사를 위하여 TMCL을 비롯한 여러 토픽맵 제약 조건 언어와 시스템들이 제안되었다. 그러나 이들은 단순한 의미적 제약들에 대해 지원하고 있지만, 의존성과 같은 복잡한 제약들에 대한 것들은 다루고 있지 못하다. 또한, 단순히 응용 레벨에서 제약들을 검사함으로써 좋지 않은 성능을 보인다. 이에 본 논문에서는 기존의 정보 시스템 분야 및 관련 분야에서 제공하고 있는 제약 언어들의 특성을 기반으로 TMCL을 확장하였다. 또한 이를 효율적으로 지원하기 위한 관계형 데이타베이스기반의 토픽맵 무결성 검사 기법을 제안하고 구현하였다. 구현한 시스템에서는 TMCL에서 제공하고 있는 기본적인 토픽맵 제약 조건들뿐만 아니라 의존성과 같은 복잡한 형태의 제약도 다루고 있다. 그리고 각각의 제약 조건을 검사할 때 템플릿을 이용하여 질의를 생성시켜 효율적인 무결성 검사가 가능하게 함으로써 기존 시스템들의 검사 방식에 비해 높은 성능을 보임을 확인하였다.

• 한국CDE학회논문집
• /
• 제10권1호
• /
• pp.61-69
• /
• 2005

In the global ship structure and vibration analysis, the FE(finite element) analysis model is required in the early design stage before the 3D CAD model is defined. And the analysis model generation process is a time-consuming job and takes much more time than the engineering work itself. In particular, ship structure has too many associated structural members such as stringers, stiffness and girders etc. These structural members should be satisfied as the constraints in analysis modeling. Therefore it is necessary to support generation of analysis model with satisfying these constraints as an automatic manner. For the effective support of the global ship analysis modeling, a method to generate analysis model using initial design information within ship design process, that hull form offset data and compartment data, is developed. In order to easily handle initial design information and FE model information, flexible data structure is proposed. An automatic quadrilateral mesh generation algorithm using initial design information to satisfy the constraints imposed on the ship structure is also proposed. The proposed data structure and mesh generation algorithm are applied for the various type of vessels for the usability test. Through this test, we have verified the stability and usefulness of this system including mesh generation algorithm.

• Industrial Engineering and Management Systems
• /
• 제7권1호
• /
• pp.57-65
• /
• 2008

Available-to-promise (ATP) exhibiting availability of manufacturing resources can be used to support customer order promising. Recently, one advanced function called Capable-to-promise (CTP) is provided by several modern APS (advanced planning system) that checks available capacity for placing new production orders or increasing already scheduled production orders. At the customer enquiry stage while considering the order delivery date and quantity to quote, both ATP and CTP are allocated to support order promising. In particular, current trends of mass customization and multi-side production chain derive several new constraints that should be considered when ATP/CTP allocation planning for order promising - such as customer's preference plants or material vendors, material compatibility, etc. Moreover, ATP/CTP allocation planning would be executed over a rolling time horizon. To utilize capacity and material manufacturing resource flexibly and fulfill more customer orders, ATP/CTP rolling planning should possess resource reallocation mechanism under the constraints of order quantities and delivery dates for all previous order promising. Therefore, to enhance order promising with reliability and flexibility to reallocate manufacturing resource, the ATP/CTP reallocation planning mechanism is needed in order to reallocate material and capacity resource for fulfilling all previous promised and new customer orders beneficially with considering new derived material and capacity constraints.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.536-539
• /
• 1997

This paper presents a three dimensional modeling and a trajectory generation for minimized impact walking of the biped robot. Inverse dynamic analysis and forward dynamic analysis are performed considering impact force between the foot and ground for determining the actuator capacity and for simulating the proposed biped walking robot. Double support phase walking is considered for close to human's with adding the kinematic constraints on the one of the single support phase.

• Structural Engineering and Mechanics
• /
• 제52권6호
• /
• pp.1121-1134
• /
• 2014

Structural design is usually an optimization process. Numerous parameters such as the member shapes and sizes, the elasticity modulus of material, the locations of nodes and the support constraints can be selected as design variables. These variables are progressively revised in order to obtain a satisfactory structure. Each modification requires a fresh analysis for the displacements and stresses, and reanalysis can be employed to reduce the computational cost. This paper is focused on static reanalysis problem with modification of deleting some supports. An efficient reanalysis method is proposed. The method makes full use of the initial information and preserves the ease of implementation. Numerical examples show that the calculated results of the proposed method are the identical as those of the direct analysis, while the computational time is remarkably reduced.

• Structural Engineering and Mechanics
• /
• 제43권3호
• /
• pp.273-285
• /
• 2012

Structural reanalysis is frequently used to reduce the computational cost during the process of design or optimization. The supports can be regarded as the design variables in various types of structural optimization problems. The location, number, and type of supports may be varied in order to yield a more effective design. The paper is focused on structural static reanalysis problem with added supports where some node displacements along axes of the global coordinate system are specified. A new approach is proposed and exact solutions can be provided by the approach. Thus, it belongs to the direct reanalysis methods. The information from the initial analysis has been fully exploited. Numerical examples show that the exact results can be achieved and the computational time can be significantly reduced by the proposed method.

• 한국IT서비스학회지
• /
• 제10권3호
• /
• pp.49-59
• /
• 2011

A ship scheduling model is presented for the raw material transportation problem with yard storage constraints in a steel mill. The problem is formulated as 0, 1 mixed integer programming considering such constraints as loading port conditions, ship size and hold capacity, unloading conditions, and yard storage space. In addition, inventory related constraints including safety stock are taken into consideration to support the continuous operations of steel making process. The proposed model has been implemented and applied successfully to a real world problem, and its results show the improvement of performance compared to the traditional method. For example, the arrival dates of ships are determined satisfying the constraints. The total inventory level is minimized at the stock yard as a result. Also, the safety inventory level is always kept at the planning stage, and the standard deviation of total inventory level is reduced significantly. Further research is expected to develop efficient heuristics to have a better response time for even larger scale problems.