• 대한공업교육학회지
• /
• v.33 no.2
• /
• pp.232-247
• /
• 2008

Timely collaboration among businesses is required these days such as in B2B E-Commerce. That is, emergency requests or urgent information among businesses should be processed in an immediate mode. In this paper we investigate the semantics on timing constraints of timely collaboration among businesses in terms of event, data, and action and present ECA rule construction related to the timing constraints and its violation. The prototype is implemented using web-based active functionality component.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.21-23
• /
• 2000

공간 데이터베이스 시스템에서 객체간의 인접성을 유지해야하는 공간 객체의 갱신 연산 수행시, 이와 인접한 공간 객체들은 의미적 무결성을 상실하게 된다. 이러한 의미적 무결성을 만족하기 위해서는 수작업으로 무결성을 유지하는 수동적 무결성 유지 방법보다 사용자 편의성을 위해 자동 보정 연산의 지원이 필요하다. 본 논문에서는 공간 객체의 갱신 연산 수행시 인접한 공간 객체간의 의미적 무결성을 지원하기 위한 능동적인 공간 연산 트리거를 제안한다. 제안한 기법은 무결성 제약조건 검증 단계에서 인접한 공간 객체에 대한 자동 보정 연산을 수행하여 객체간의 의미적 무결성을 유지한다. 제안한 기법의 지원을 위해 무결성 제약조건은 레이어, 공간 객체의 순서로 기술하며, 무결성 검증 단계는 공간 객체, 레이어 순으로 제약조건 검사를 수행한다. 능동적 공간 연산 트리거는 레이어 제약조건 검증 단계에서 갱신연산에 대해 공간 위상 추출연산을 포함한 확장된 SQL을 사용하여 무결성을 유지하도록 한다. 능동적 공간 연산 트리거는 레이어 제약조건 검사와 공간 객체에 대한 자동 보정 연산의 수행을 통하여 인접성을 유지해야 하는 공간 객체들의 의미적 무결성과 사용자 편의성을 제공한다.

• Journal of the Korea Society for Simulation
• /
• v.22 no.2
• /
• pp.21-31
• /
• 2013

There is a high demand for the diagnostic medical blood analyzer in the global medical device market. The domestic market is in infant stage, but expected to grow very fast. In this study, we attempt to provide several ways for production improvement in order to secure price competitiveness of domestic medical blood analyzer. For this purpose we identify the problems of current production process using ARENA simulation and suggest several alternatives for productivity improvement.. Five steps of TOC (Theory of Constraints) and ARENA simulation are employed to predict productivity of each alternative and to suggest further improvement.

• Environmental and Resource Economics Review
• /
• v.19 no.3
• /
• pp.633-658
• /
• 2010

In this paper, we estimate the Translog cost function in Korean manufacturing, using capital (K), labor (L), material (M), electricity (E), fuel (F) data over the period from 1970 to 2005. Especially, this paper investigates the impact of imposing concavity in the estimation of a Translog cost function. Although the value of log-likelihood is somewhat reduced in a concavity imposed function rather than a function which is not, a concavity imposed function satisfies regularity conditions (monotonicity, positivity, concavity) at all data points. We also calculate price elasticities using a concavity imposed Translog cost function. Electricity complements capital so electricity demand increases as capital demand increases. Meanwhile, electricity substitutes labor, fuel, and material. These results show that Korean manufacturing experienced a structural change of increase in electricity demand.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2015.10a
• /
• pp.198-201
• /
• 2015

Using Arduino with a pressure sensor to create an interest in modern health care program is aimed. Currently, Korea is estimated that there are 4.2 million people in total incontinence. Through the convergence of Bio Technology and InformationTechnology these patients it is easy and simple to induce urinary incontinence, erectile dysfunction treatment, etc., and to prevent the most effective pelvic floor muscle exercises (Kegel exercises below). The Kegel medical equipments which are currently sold in the market make users exercise by giving electrical stimulations compulsively. Users need to take off their bottoms and take the Femcon therapy in a closed room. This causes various restrictions of time, space and hygiene. This thesis designs a Kegel medical equipment which combines BT and IT, free form restraint in regard to space and hygiene, without the need to take off bottoms.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.358-360
• /
• 2004

웹 어플리케이션은 생명 주기가 짧고, 마르고 정확한 개발이 요구되므로 모델링 단계에서의 요소 분류 및 요소간의 제약조건을 정의할 필요가 있다. 이에 본 연구에서는 각 프레임과 페이지를 그 성격에 따라 집합 프레임과 구조 프레임, 내용 페이지와 구조 정보 페이지로 분류, 이를 바탕으로 요소간의 관계를 정의하였다. 웹 응용 모델링의 요소 분류를 통해 그에 따른 제약 조건을 서술할 수 있는데, 이를 통해 사소한 예측할 수 있는 오류를 피할 수 있고, 웹 응용의 기본적인 테스트 케이스로도 사용할 수 있다.

• Electronics and Telecommunications Trends
• /
• v.12 no.5 s.47
• /
• pp.73-83
• /
• 1997

최적화 컴파일러 및 병렬 컴파일러는 종속성 분석을 통하여 프로그램의 문장 사이, 동작들 간에 가해지는 실행 순서 상의 제약 조건을 추출한다. 이러한 제약 조건은 계산의 의미를 보존하기 위한 필요 조건들이며, 컴파일러의 성능을 향상시키기 위한 프로그램의 변환은 이 제약 조건을 만족하는 범위에서 수행되어야 한다. 본 고에서는 컴파일러에서 최적화 및 병렬화할 프로그램의 부분과 적용될 변형 기법 등을 결정하기 위해 필요한 종속성 분석에 대한 내용을 다룬다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2000.11a
• /
• pp.44-48
• /
• 2000

퍼지 집합은 경계가 애매한 집단, 어떤 제약에 대한 만족정도가 애매한 개체들의 모임, 또는 애매한 개념을 소속정도를 이용하여 표현한다. 퍼지 집합에서는 자신의 나타내는 개념이나 제약에 대해서 무관한 개체나 상반되는 개체에 대해서도 소속정도 값으로 0을 부여한다. 응용에 따라서는 집합이 나타내는 개념이나 제약에 대해서 무관한 것과 상반되는 것을 구별하여 표현하는 것이 유용한 경우도 있다. 이 논문에서는 퍼지 집합에서 소속정도값 0을 갖는 무관한 원소들과 상반되는 원소들을 구별하여 표현하기 위해 소속 정도값의 영역을 구간 [-1, 1]로 확장한 바이폴라 퍼지집합이라는 확장된 퍼지 집합을 소개한다. 한편, 바이폴라 퍼지 집합에 대한 집합연산, 퍼지정도 척도, 관계, 추론 등의 연산에 대해서도 소개한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.10a
• /
• pp.174-174
• /
• 1993

자원제약하의 롯트 사이즈 결정문제(capacitated lot sizing problem: CLSP)는 주어진 생산자원의 제약요건을 만족하면서 모든 계획기간의 수요를 충족시킬수 있는 가동준비와 재고유지비의 총합에 대한 최소화 문제다. CLSP는 NP-hard이기 때문에 그 해를 효율적으로 구하기 위한 휴리스틱 해법이 그동안 꾸준히 개발되어져 왔으며 그 대부분의 알고리즘은 Wagner-Whitin의 해도출원리를 이용한 것이다. 본 연구는 지금까지 개발된 CLSP의 알고리즘을 분석하여 그 특성을 파악한 후 본 연구에서 개발한 알고리즘과 이들 기존 알고리즘을 비교 실험함으로써 개발된 알고리즘이 어느 정도의 효율성을 가지는가를 검토하고자 한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2007.12a
• /
• pp.207-209
• /
• 2007

본 논문은 내륙 운송 체계 하에서 공 컨테이너의 효율적인 운송관리 문제에 대하여 다루었다. 내부적으론 pickup and delivery 제약조건을 적용하여 특정 pick up 시간을 가지는 화물과 터미널에서의 적 컨테이너을 만족하는 차량의 스케줄링 문제이다. 차량의 내부 운송에서 공 컨테이너의 이동이나 공차의 이동 같은 불필요한 이동을 최소화함으로 효율적 운송을 할 수 있다. 또 한 모든 화물과 수입된 적 컨테이너의 pick up time 의 시간 제약으로 인한 차량의 이동 제약를 만족해야 한다. 이 문제를 해결하기 위해서 휴리스틱과 메타 휴리스틱 방법을 이용하여 근사해를 도출한다.