• Solar Energy
• /
• v.9 no.3
• /
• pp.73-80
• /
• 1989

This paper presents as assessment based on steady-state thermodynamic analysis and computer modeling of a double effect generation absorption heating cycle for solar air-conditioning to find operating temperature ranges. The influences of component temperatures on the heating coefficients of performance and mass flow ratio have been investigated to obtain optimum operating conditions for the proposed air conditioning system. And the single and double effect absorption cycles are compared with each other over the same range of temperatures.

• Magazine of the Korea Concrete Institute
• /
• v.1 no.1
• /
• pp.115-124
• /
• 1989

반복하중하에서 휨과 전단거동을 구분할 수 있는 철근콘크리트의 비선형해석 보델이 개발되었다. 개발된 모델은 부재를 single component부재로 이상화시켰으며, 휨과 전단거동을 각각 표현할 수 있는 hysteretic ruless의 결합형태로 이루어졌다. 개발된 모델을 이용한 반복하중을 받는 캔딜레버 보의 해석결과는 실험결과와 비교되었고, 그 결과는 만족스러운 값을 얻었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.181-183
• /
• 2004

Mission-Critical한 실시간 반응형 내장 시스템들의 설계과정에 있어 high-level abstraction과 formal(software 기반) modeling은 없어서는 안될 중요한 부분이다. 실시간 반응형 내장 system의 OS는 정형 명세 기법을 이용하여 시스템의 주요 component들을 설계하고 OS의 Formal model들을 모든 가능한 input들 아래 OS의 behavior를 엄격하게 검증함으로써 error가 없는 완벽한 OS를 개발할 수 있다. 본 논문에서는 uC/OS-11의 OS Scheduling 부분을 반응형 시스템 언어인 Esterel의 SyncCharts로 명세, 명세한 시스템의 요구조건을 정형기법을 이용친서 검증해보고자 한다.

• Communications for Statistical Applications and Methods
• /
• v.17 no.4
• /
• pp.551-560
• /
• 2010

This paper considers a Bayesian approach to modeling a flexible regression function under structural measurement error model. The regression function is modeled based on semiparametric regression with penalized splines. Model fitting and parameter estimation are carried out in a hierarchical Bayesian framework using Markov chain Monte Carlo methodology. Their performances are compared with those of the estimators under structural measurement error model without a semiparametric component.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.286-288
• /
• 2003

현재의 소프트웨에 아키텍처에 관한 연구는 컴포넌트 집합과 같은 소프트웨어를 구성하는 객체 또는 컴포넌트의 상호동작 및 관련성을 보다 효과적으로 연결할 수 있는 다양한 기법이 제시되고 있다. 본 논문에서는 JavaBeans에 기반을 둔 분산 시스템 환경에서 객체와 객체간에 관련성을 모델링하기 위해 컴포넌트, 연결자(connector) 및 컴포넌트 스키마로 구성된 구조화된 모델을 제시한다

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8S
• /
• pp.2729-2734
• /
• 2000

본 논문에서는 기존의 논문들이 이상적인 소자들을 가정한 데 비해 WDM 망에서 사용되는 광소자들의 손실특성을 분석하여 수식화하고 이를 이용하여 광경로 설정을 하였다. 비어있는 파장이 있을 경우, 이들 후보 경로중에서 일정 기준 SNR을 만족하면서 최적인 경로를 선택하였다. 그 결과, 파장변환기의 입출력 파장간격에 따라 호거절확률에 변화가 있음을 확인했으며 보다 실제적인 망설계의 방법을 제시하였다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2000.11a
• /
• pp.303-306
• /
• 2000

This paper describes a research on the development of the 3D design automation system for progressive die. Based on knowledge base of expert, this system can carry out design tasks, such as feature recognition of product data, layout design, dre set component design. Easy system user mterface and 3-dlmensional solid modeling could result in time and cost saving.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2006.10a
• /
• pp.459-460
• /
• 2006

• Proceedings of the IEEK Conference
• /
• 1999.11a
• /
• pp.1127-1130
• /
• 1999

In this paper, using one method of Additive Synthesis, Analysis-by-synthesis/Overlap-Add (ABS/OLA) method, analysis and synthesis of musical tones is processed. But peak detection of frequency domain is processed by proposed method considering the view of acoustics. It is that that harmonics frequency is times of main frequency. Using this fact, peak detection of frequency domain is useful for detection of tonal component identified musical note. It is possible to realize high-quality lour bit rate audio.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.189-190
• /
• 2008

본 논문에서는 한국형 통합 에너지 관리시스템(K-EMS)의 급전원 훈련 시뮬레이터(DTS)에 적용될 전력계통 시뮬레이터(PSM)의 주요 구성요소의 기능 및 주요 입출력 데이터를 정의하고 실제 프로그램 개발을 위해 필요한 DB 설계 방안에 대하여 소개하도록 한다.