• 대한수학회보
• /
• 제59권2호
• /
• pp.419-429
• /
• 2022

An integral domain R is an RTP domain (or has the radical trace property) (resp. an LTP domain) if I(R : I) is a radical ideal for each nonzero noninvertible ideal I (resp. I(R : I)R_P = PR_P for each minimal prime P of I(R : I)). Clearly each RTP domain is an LTP domain, but whether the two are equivalent is open except in certain special cases. In this paper, we study the descent of these notions from particular overrings of R to R itself.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권1호
• /
• pp.305-325
• /
• 2014

In cloud computing infrastructure, current virtual machine trust measurement methods have many shortcomings in dynamism, security and concurrency. In this paper, we present a new method to measure the trust of virtual machine. Firstly, we propose "behavior trace" to describe the state of virtual machine. Behavior trace is a sequence of behaviors. The measurement of behavior trace is conducted on the basis of anticipated trusted behavior, which not only ensures security of the virtual machine during runtime stage but also reduces complexity of the trust measurement. Based on the behavior trace, we present a Dynamic Tree Style Trust Measurement Model (DTSTM). In this model, the measurement of system domain and user domain is separated, which enhances the extensibility, security and concurrency of the measurement. Finally, based on System Call Interceptor (SCI) and Virtual Machine Introspection (VMI) technology, we implement a DTSTM prototype system for virtual machine trust measurement. Experimental results demonstrate that the system can effectively verify the trust of virtual machine and requires a relatively low performance overhead.

• 한국통신학회논문지
• /
• 제24권10B호
• /
• pp.1953-1962
• /
• 1999

영상을 획득하는 과정에 있어서 영상획득 장치 또는 피사체의 흔들림은 영상에 손상을 가져온다. 이러한 손상은 움직임 열화(motion blur)라 불리며, 영상의 선명도를 크게 떨어뜨리는 주된 원인이 된다. 본 논문에서는 움직임 열화의 각도와 길이를 알아내기 위한 새로운 함수가 정의되며, 이 함수의 영역(domian)인 극점자취(Peak-Trace) 영역으로 가는 과정에서는 노이즈의 분산을 산출해 내기 위한 노이즈 지배영역과, 움직임 열화의 각도와 길이를 추정해내기 위한 신호 지배영역이 설정된다. 신호지배 영역에서의 극점의 자취는 움직임 열화의 방향을, 노이즈에 강하면서도 빠르게 파악할 수 있도록 해주며, 가변가중치(weight)를 적용한 최소자승법(Least Mean Square)은 더욱 정밀한 극점의 자취추정을 가능하게 한다. 움직임 열화의 방향이 얻어지면, 1차원 셉스트럼(Cepstrum)방법을 사용하여 고속으로 움직임 열화의 길이를 구할 수 있게 된다. 이러한 방법으로 얻어진 정보들을 이용하여, 실제 실험에 적용된 손상되어진 영상을 효과적으로 복원할 수 있었다.

• 한국컴퓨터정보학회논문지
• /
• 제25권12호
• /
• pp.127-134
• /
• 2020

음란 동영상, 마약, 개인정보, 해킹 도구 유포사이트 등을 포함하는 유해 사이트는 최근 사회적으로 심각한 문제를 초래하고 있다. 하지만 누구나 자유롭게 사용할 수 있는 인터넷환경의 특성상 접속자를 효과적으로 통제하기 어렵고, 사이트 운영자는 차단을 우회하기 위해 도메인을 변경하면서 운영한다. 따라서, 한번 확인된 사이트라 하더라도 그 지속성은 낮다. 본 논문에서는 이와 같은 유해 사이트의 변화를 추적하여 동일 또는 유사한 콘텐츠를 포함한 유해 사이트의 도메인 주소가 변경되는 것을 효과적으로 추적할 수 있는 기술인 다채널 도메인 추적기술을 제안한다. 제안하는 기술은 OSINT 기술을 이용하여 도메인의 정보를 지속적으로 추적할 수 있는 기술이다. 우리는 실험을 통해 90.4%의 추적률(실험대상 73개의 도메인 중 66개의 변경을 감지)로 제안한 기술이 도메인추적에 효과가 있음을 검증하였다.

• ETRI Journal
• /
• 제44권3호
• /
• pp.512-523
• /
• 2022

Random delay countermeasures introduce random delays into the execution flow to break the synchronization and increase the complexity of the side channel attack. A novel method for attacking devices with random delay countermeasures has been proposed by using a maximal overlap discrete wavelet transform (MODWT)-based power trace alignment algorithm. Firstly, the random delay in the power traces is sensitized using MODWT to the captured power traces. Secondly, it is detected using the proposed random delay detection algorithm. Thirdly, random delays are removed by circular shifting in the wavelet domain, and finally, the power analysis attack is successfully mounted in the wavelet domain. Experimental validation of the proposed method with the National Institute of Standards and Technology certified Advanced Encryption Standard-128 cryptographic algorithm and the SAKURA-G platform showed a 7.5× reduction in measurements to disclosure and a 3.14× improvement in maximum correlation value when compared with similar works in the literature.

• 한국지하수토양환경학회:학술대회논문집
• /
• 한국지하수토양환경학회 2002년도 추계학술발표회
• /
• pp.161-166
• /
• 2002

Bioremediation of trace metals in groundwater may require the manipulation of redox conditions via the injection of a carbon source. To simulate the numerous biogeochemical processes that will occur during the bioremediation of trace-metal-contaminated aquifers, a reactive transport model has been developed. The model consists of a set of coupled mass balance equations, accounting for advection, hydrodynamic dispersion, and a kinetic formulation of the biological or chemical transformations affecting an organic substrate, electron acceptors, corresponding reduced species, and trace metal contaminants of interest, uranium in this study. The redox conditions of the domain are characterized by estimating the pE, based on the concentrations of the dominant terminal electron acceptor and its corresponding reduced specie. This pE and the concentrations of relevant species we then used by a modified version of MINTEQA2, which calculates the speciation/sorption and precipitation/dissolution of the species of interest under equilibrium conditions. Kinetics of precipitation/dissolution processes are described as being proportional to the difference between the actual and calculated equilibrium concentration.

• 한국정보통신학회논문지
• /
• 제12권5호
• /
• pp.879-886
• /
• 2008

본 논문에서는 저전압 차동 신호(Low-Voltage Differential Signaling, LVDS) 전송방식의 응용을 위한 차동 전송 접속 경로의 분석 및 설계 최적화 방법을 제안한다. 차동 전송 경로 및 저전압 스윙 방법의 발전으로 인해 LVDS 방식은 데이터 통신 분야, 고해상도 디스플레이 분야, 평판 디스플레이 분야에서 매우 적은 소비전력, 개선된 잡음 특성 및 고속 데이터 전송률을 제공한다. 본 논문은 차동 유연성 인쇄회로 보드(flexible printed circuit board, FPCB) 전송선에서 선폭, 선두께 및 선 간격과 같은 전송선 설계 변수들의 최적화 기법을 이용하여 직렬 접속된 전송선에서 발생하는 임피던스 부정합과 신호왜곡을 감소시키기 위해 개선 모델과 새로이 개발된 수식을 제안한다. 이러한 차동 FPCB 전송선의 고주파 특성을 평가하기 위해 주파수 영역에서 전파(full-wave) 전자기 시뮬레이션, 시간영역 시뮬레이션 및 S 파라미터 시뮬레이션을 각각 수행하였다. $17.5{\mu}m$과 $35{\mu}m$의 전송선의 경우, 전극 폭에서의 약 10% 변화가 차동 임피던스에서의 약 6%와 5.6%의 변화를 각각 보였으나, 전송선 간 간격은 차동 및 특성 임피던스에서의 영향을 주지 않음을 확인하였다. 또한 전송선 간격이 증가할수록 상호 인덕턴스 및 커패시턴스가 감소하기 때문에 누화 잡음을 감소시키기 위해 신호 전송선간의 간격을 $180{\mu}m$ 이상 유지 해야함을 확인하였다.

• 대한전자공학회논문지SD
• /
• 제46권10호
• /
• pp.70-78
• /
• 2009

본 논문에서는 고속 저전압 차동 신호(Low-Voltage Differential Signaling, LVDS) 전송방식의 응용을 위한 전송선 분석 및 설계 최적화 방법을 제안한다. 차동 전송 경로 및 저전압 스윙 방법의 발전으로 인해 저전압 차동 신호 전송방식은 데이터 통신 분야, 고 해상도 디스플레이 분야, 평판 디스플레이 분야에서 매우 적은 소비전력, 개선된 잡음 특성 및 고속 데이터 전송률을 제공한다. 본 논문은 차동 유연성 인쇄 회로 보드(flexible printed circuit board, FPCB) 전송선에서 선 폭, 선 두께 및 선간격과 같은 전송선 설계 변수들의 최적화 기법을 이용하여 직렬 접속된 전송선에서 발생하는 임피던스 부정합과 신호 왜곡을 감소시키기 위해 개선 모델과 개발된 수식을 제안한다. 이러한 차동 FPCB 전송선의 고주파 특성을 평가하기 위해 주파수 영역에서 전파(full-wave) 전자기 시뮬레이션 및 시간 영역 시뮬레이션을 각각 수행하였다. 본 논문에서 제안하는 방법은 저전압 차동 신호 방식의 응용을 위한 고속 차동 FPCB 전송선을 최적화하는데 매우 도움이 되리라 믿는다.

• Structural Engineering and Mechanics
• /
• 제46권2호
• /
• pp.179-196
• /
• 2013

An experimentally measured single footfall trace (SFT) from a walking subject needs to be extended into a continuous force curve, which can then be used as load for floor vibration serviceability assessment, or on which further analysis like discrete Fourier transform can be conducted. This paper investigates the accuracy, applicability and parametrical sensitivity of four extension methods, Methods I to IV, which extends the SFT into a continuous time history by the walking step rate, stride time, double support proportion and the double support time, respectively. Performance of the four methods was assessed by comparing their results with the experimentally obtained reference footfall traces in the time and frequency domain, and by comparing the vibrational response of a concrete slab subjected to the extended traces to that of reference traces. The effect of the extension parameter on each method was also explored through parametrical analysis. This study finds that, in general, Method I and II perform better than Method III and IV, and all of the four methods are sensitive to their extension parameter. When reliable information of walking rate or gait period is available in the test, Methods I or II is a better choice. Otherwise, Method III, with the suggested extension parameter of double support time proportion, is recommended.

• Journal of Information Technology Applications and Management
• /
• 제18권3호
• /
• pp.61-72
• /
• 2011

Trust for the data created, processed and transferred on e-Science environments can be estimated with provenance. The information to form provenance, which says how the data was created and reached its current state, increases as data evolves. It is a heavy burden to trace and verify the massive provenance in order to trust data. On the other hand, it is another issue how to trust the verification of data with provenance. This paper proposes a fast and exact verification of inter-domain data transfer and data origin for e-Science environment based on PKI. The verification, which is called two-way verification, cuts down the tracking overhead of the data along the causality presented on Open Provenance Model with the domain specialty of e-Science environment supported by Grid Security Infrastructure (GSI). The proposed scheme is easy-applicable without an extra infrastructure, scalable irrespective of the number of provenance records, transparent and secure with cryptography as well as low-overhead.