• Journal of KIISE
• /
• v.43 no.2
• /
• pp.237-245
• /
• 2016

In this paper we introduce a novel database research area called science of databases (SoDB) and carry out a comprehensive analysis of its case studies. SoDB aims to better understand interesting phenomena observed across multiple database management systems (DBMSes). While mathematical and engineering work in the database field has been dominant, less attention has been given to scientific approaches through which DBMSes can be better understood. Scientific investigations can lead to better engineered designs through deeper understanding of query optimizers and transaction processing. The SoDB research has investigated several interesting phenomena observed across different DBMSes and provided several engineering implications based on our uncovered results. In this paper we introduce a novel scientific, empirical methodology and describe the research infrastructure to enable the methodology. We then review each of a selected group of phenomena studied and present an identified structural causal model associated with each phenomenon. We also conduct a comprehensive analysis on the case studies. Finally, we suggest future directions to expand the SoDB research.

• Journal of the Korea Safety Management & Science
• /
• v.7 no.5
• /
• pp.135-153
• /
• 2005

자가통제평가(CSA : Control Self Assessment)는 핵심사업 목적을 달성하는데 개입되는 위험 그리고 그러한 사업위험을 관리하기 위하여 설계된 내부통제를 공식적이고 문서화된 협력적 프로세스에 의하여 검토하기 위하여 사용되는 방법론이다. 현재 많은 기업에서 효과적인 조직통제와 비즈니스 프로세스 개선을 위하여 전문 감사인과 경영인들이 기업지배구조 조직의 강력한 위험관리 도구로서 자가통제평가의 필요성을 강조하고 있다. 자가통제평가는 해당 조직의 담당부서나 팀에서 내부통제평가를 통하여 내부통제상의 재무보고, 준법, 사업 및 운영상의 효율성 등을 확보하기 위해서 설치되며, 효과적인 모니터 장치로서 기업지배구조상의 업무 프로세스를 정비하고 업무에서 발생하는 제반 정보의 흐름을 원활하게 해서 조직에게 손해가 발생할 수 있는 여러 가지 위험으로부터 회사를 사전에 차단하는 기능을 한다. 이러한 부분에서 효과적인 자가통제평가 시스템을 구축하는 것이 중요할 것이다. 본 연구에서는 e-Business 관련 기업지배구조의 안전성을 확보하기 위한 자가통제평가 모델에 대한 개발 필요성과 관련 자가통제평가 세가지 기본 모델들을 통하여 장단점을 제시하고, 자가통제평가 모델의 필요성을 논의하였다.

• Tribology and Lubricants
• /
• v.12 no.2
• /
• pp.1-7
• /
• 1996

최근까지 개발되어진 대체냉매는 매우 다양한데, 실제 적용되고 있고 또한 적용이 고려되고 있는 대체냉매는 주로 기존의 냉매와 열역학적인 특성이 유사하여 기존의 냉동시스템의 구조변경 없이 사용될 수 있는 것들이 주류를 이루고 있으며, 현재 오존층 파괴 효과가 없는 HFC(Hydrofuorocarbon)계통의 냉매가 많이 개발되고 있다. 대체냉매의 적용에는 냉매의 열역학적인 성질 뿐만 아니라 ㅎ 화학적 안정성, 윤활유와의 혼합성, 연소성 등 많은 문제를 고려해야 한다. 본 해설에서는 대체냉매를 적용한 공조시스템의 개발 동향 및 문제점에 관해서 간단히 서술하였으며, 비록 제한적이기는 하나 주로 삼성전자에서 생산되고 있는 냉장고와 에어콘을 모델로 하여 설명하였다.

• The Journal of the Convergence on Culture Technology
• /
• v.6 no.2
• /
• pp.231-238
• /
• 2020

The main purpose of this current study was to identify the structural relationships between the variables of team attachment, location-based service, and future fan behaviors by utilizing Technology Acceptance Model (TAM). Among the 10 KBO franchises, SK Wyverns and KT Wiz were qualified to have their own smart applications programs and the relevant infrastructure at their home venues. Thus, a total of 500 surveys were collected from SK Wyverns and KT Wiz games during September of 2019 and a total of 448 were used for data analysis after deleting 52 surveys due to the missing data. According to the results of a structural equation modeling, 12 positive (+) causality out of 14 hypotheses were confirmed that there must be causal relationships among the variables of location-based service at the smart stadium, TAM, fan attachment, and future fan behavior. It is hoped that this study can be contributing to the foundational developments of marketing strategies by adopting the new technological advancement in the Korean sport industry in the future.

• Journal of KIISE:Information Networking
• /
• v.37 no.1
• /
• pp.8-15
• /
• 2010

In this study, we present an extended complex event model by considering both of the complex event and the aspect-oriented programming. We propose an advanced scheme for the event specification suited for the event correlation based network management systems by merging these two models. Specifically, we extend the model to support hierarchical event structures and let the model recognize point-cuts of aspect-oriented programming as events. We provide the event operators designed to specify the events on instances and handle temporal relations of the instances. Lastly, we compare the proposed model with other event models and present the benefits of it.

• Korean Journal of Crystallography
• /
• v.10 no.2
• /
• pp.125-129
• /
• 1999

X-선 회절법을 이용하여 1-(3 Carbamoyl-3,3-diphenylpropyl)-1-methylhexahydro-1H-azepinium iodide[이하: DIP]의 분자 및 결정구조를 규명하였다. 이 결정의 분자식은 C23H31N2O·I, 결정계는 Monoclinic이며 공간군은 P21이다. 단위포 상수는 a =8.937(1) Å, b=19.522(2) Å, c=6.485(2) Å이며, β= 105.18(2)°, V=1091.9(6) Å3, T=293(2)K, Z=2, Dc=1.45 Mgm-3이다. 회절반점들의 세기는 Enarf-Nonius CAD-4 diffractometer로 얻었으며 Mo Katjs(λ=0.71073 Å)을 사용하였다. 분자구조는 직접법으로 개략적인 분자모델을 설정하고, Fo>4σ(Fo)인 4112개의 독립 회절 데이터에 대하여 최소자승법으로 정밀화하여 최종 신뢰도 값 R=5.23%인 최종적인 분자모형을 구하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.323-323
• /
• 2018

최근 기후변화에 대한 관심이 증대됨에 따라 미래 기후모델자료를 기반으로 연구가 다양하게 진행되고 있다. 기후변화가 적용된 자료는 미래 수자원관리, 방재를 위한 수공구조물의 설계 등 다양한 방식으로 실무에 적용되고 있다. 하지만 기후모델로부터 모의된 결과는 어느 정도 관측자료와 차이가 발생하게 되며, 이러한 계통적 오차는 모델 내부에서 해결하기가 쉽지 않다. 그렇기 때문에 기후모델로부터 모의된 결과를 보정하기 위해 편의보정 기법을 활용한다. 그리고 미래 기후모델자료는 불확실성을 내재하고 있기 때문에 다양한 편의보정 기법을 적용하여 불확실성의 범위를 확인해 보았다. 사용된 편의보정 기법으로는 Quantile Mapping(QM), Quantile Delta Mapping(QDM), Detrended Quantile Mapping(DQM), Delta Change Method(DCM)을 이용하였다. 편의보정에 적용한 확률분포형은 일반극치분포(GEV분포), Type-1 극치분포(Gumbel분포)를 사용하였다. GEV분포를 기본으로 하여 조건적으로 GEV분포를 사용할 수 없는 경우, Gumbel분포를 사용하였다. 본 연구에서는 독일의 전지구기후모델(Global Climate Model, GCM)인 MPI-ESM-LR에 RCP 8.5 사나리오를 강제장으로 하여 지역기후모델(Regional Climate Model, RCM)인 WRF를 이용하여 동역학적으로 다운스케일한 강우자료를 사용하였다. 강우자료 중에서 강릉, 인천, 부산, 목포지점에 해당하는 자료를 추출하여 연 최대 강우강도 시계열을 산정하고 4가지 편의보정 기법을 이용하여 편의보정을 하였다. 편의보정 수행된 연 최대 강우강도 시계열을 scale-invariance 기법으로 다운스케일하여 미래 IDF곡선을 유도한 뒤, 편의보정별로 유도한 IDF곡선의 비교를 통해 편의보정기법이 미래 IDF곡선에 미치는 영향을 분석하였다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1990.04a
• /
• pp.22-31
• /
• 1990

In this paper, we have studied modelling and simulation of computer communication protocols theoretically. After describing a definition and functions of communication protocols, we have classified models for protocol design. And, in those protocol models, by endowing Timed Petri Net (TPN) models with a time function .tau., we have proposed a structural definition of TPN models. Furthermore, in order to complement Petri Net Based models with some problems, we have introduced the Discrete EVent system Specification (DEVS) concept in system simulation field. As an important result of our study, we have presented a theorem, which says that a TPN model becomes a DEVS model, and proved it. According to the theorem, we can perform efficient simulation by using the DEVS model transformed from a TPN model when we intend the TPN model to be simulated, otherwise we design another simulation model for it.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.16 no.12
• /
• pp.2268-2278
• /
• 1992

The vibratory modal for the face milling operation is assumed as a multi degrees of freedom system. The parameters of the system are determined based on the cutting experiment. From the relative displacements of this system the dynamic cutting forces were derived and simulated by the double modulation principle. The simulated cutting forces and measured cutting forces have a good agreement in time and frequency domains.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2022.01a
• /
• pp.341-344
• /
• 2022

본 논문에서는 삼각형 메쉬 기반에서 변형률 기반 동역학(Strain-based dynamics, SBD)을 안정적으로 표현할 수 있는 굽힘 스프링 구조와 감쇠 기법에 대해 설명한다. SBD는 삼각형 메쉬의 에지 길이(Edge length) 기반의 에너지 대신 변형률(Strain)을 활용하여 에너지를 모델링한다. 하지만, 비정상적인 삼각형(Degenerate triangle)인 경우 변형률이 불안정하게 계산되어 잘못된 방향으로 늘어나는 문제가 발생한다. 본 논문에서는 이러한 문제를 효율적으로 처리할 수 있는 굽힘 스프링(Bending spring) 구조에 대해 소개한다. 결과적으로 본 논문에서 제안하는 기법은 안정적으로 SBD를 처리할 수 있기 때문에 다양한 재질의 옷감 시뮬레이션을 안정적으로 표현할 수 있도록 한다.