• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권12호
• /
• pp.4604-4623
• /
• 2014

Authentication mechanisms coupled with strong encryption techniques are used for network security purposes; however, given sufficient time, well-equipped intruders are successful for compromising system security. The authentication protocols often fail when they are analysed critically. Formal approaches have emerged to analyse protocol failures. In this study, Communicating Sequential Processes (CSP) which is an abstract language designed especially for the description of communication patterns is employed. Rank functions are also used for verification and analysis which are helpful to establish that some critical information is not available to the intruder. In order to establish this, by assigning a value or rank to each critical information, it is shown that all the critical information that can be generated within the network have a particular characterizing property. This paper presents an application of rank functions approach to an authentication protocol that combines delaying the decryption process with timed authentication while keys are dynamically renewed under pseudo-secure situations. The analysis and verification of authentication properties and results are presented and discussed.

• 대한의용생체공학회:의공학회지
• /
• 제24권2호
• /
• pp.61-68
• /
• 2003

본 논문에서는 의학적 진단 및 처치 방법의 결정에 중요한 역할을 하는 뇌경색 환자의 각 시기별 특징을 정량화하기 위해 3 가지 MRI 촬영기법을 이용하여 획득한 영상의 특징과 그들의 상관관계들을 객체중심 계층적계획기법을 이용하여 분석하였다. 3 가지 영상의 비교를 위하여 다항워핑 알고리즘과 어파인 변환기법을 수행하여 영상을 정합하였으며, 정합된 영상을 기반으로 뇌경색 시기별 정량화를 수행하였다. 그리고 각 시기별로 색을 설정하여 수 작업으로 얻어진 데이터를 바탕으로 의사 컬러로 나타내었다. 본 연구에서 구한 뇌경색 시기별 정량화 자료를 바탕으로 구분된 결과와 전문의가 판단한 결과를 비교하였다.

• 한국환경과학회지
• /
• 제26권6호
• /
• pp.719-728
• /
• 2017

In order to investigate the adsorption characteristics for Sr ion using the Na-X zeolite synthesized from coal fly ash, batch tests and response surface analyses were carried out. The adsorption kinetic data for Sr ions, using Na-X zeolite, fitted well with the pseudo-second-order model. The uptake of Sr ions followed the Langmuir isotherm model, with a maximum adsorption capacity of 196.46 mg/g. Thermodynamic studies were conducted at different reaction temperatures, with the results indicating that Sr ion adsorption by Na-X zeolite was an endothermic (${\Delta}H^o$>0) and spontaneous (${\Delta}G^o$<0) process. Using the response surface methodology of the Box-Behnken method, initial Sr ion concentration ($X_1$), initial temperature ($X_2$), and initial pH ($X_3$) were selected as the independent variables, while the adsorption of Sr ions by Na-X zeolite was selected as the dependent variable. The experimental data fitted well with a second-order polynomial equation by multiple regression analysis. The value of the determination coefficient ($R^2=0.9937$) and the adjusted determination coefficient (adjusted $R^2=0.9823$) was close to 1, indicating high significance of the model. Statistical results showed the order of Sr removal based on experimental factors to be initial pH > initial concentration > temperature.

• 대한기계학회논문집B
• /
• 제40권6호
• /
• pp.347-355
• /
• 2016

본 연구에서는 격자볼츠만 방법을 기반으로 유체-입자 상호작용에 대한 수치계산을 수행하였다. 유체 유동은 격자볼츠만 방법을 이용하였으며, 유동장 내에서의 고체입자 운동은 계산점(node) 기반의 가상영역으로 간주하여 해석하였다. 유체-입자의 상호작용은 격자볼츠만 방법의 지배방정식에 국부적으로 운동량 교환량을 추가하여 해석하며, 가상영역 내에 위치한 고체입자의 병진 및 회전 운동은 뉴턴 운동 방정식과 오일러(Euler) 방정식을 이용한다. 구성된 상호작용 모델의 유효성을 검증하기 위하여 중립상태에서의 부유 입자운동 및 단 입자의 침강에 대한 수치계산을 수행하였으며, 기존 연구들과의 비교를 통하여 본 연구의 유체-입자 상호작용 모델이 갖는 신뢰성과 효용성을 평가하였다.

• 한국재료학회지
• /
• 제32권2호
• /
• pp.66-71
• /
• 2022

In this article, Pb₂Ba_1.7Sr_0.3Ca₂Cu₃O_10+δ superconductor material was synthesized using conventional solid-state reaction method. X-ray diffraction (XRD) analysis demonstrated one dominant phase 2223 and some impurities in the product powder. The strongest peaks in the XRD pattern were successfully indexed assuming a pseudo-tetragonal cell with lattice constants of a = 3.732, b = 3.733 and c = 14.75 Å for a Pb-Based compound. The crystallite size and lattice strain between the layers of the studied compound were estimated using several methods, namely the Scherrer, Williamson-Hall (W.H), size-strain plot (SSP) and Halder Wagner (H.W) approach. The values of crystallite size, calculated by Scherrer, W.H, SSP and H.W methods, were 89.4540774, 86.658638, 87.7555823 and 85.470086 Å, respectively. Moreover, the lattice strain values obtained by W.H, SSP and H.W methods were 0.0063240, 0.006325 and 0.006, respectively. It was noted that all crystallite size results are consistent; however, the best method is the size-strain plot because it gave a value of R² approaching one. Furthermore, degree of crystallites was calculated and found to be 59.003321%. Resistivity analysis suggests zero-resistance, which is typical of superconducting materials at critical temperature. Four-probe technique was utilized to measure the critical temperature at onset T_c(onset), zero resistivity T_{c(off set)}, and transition (width ΔT), corresponding to temperatures of 128 K, 116 K, and 12 K, respectively.

• Korean Chemical Engineering Research
• /
• 제55권5호
• /
• pp.723-730
• /
• 2017

폐감귤박으로 제조한 활성탄(WCAC)에 의한 2,4-디클로로페놀(2,4-DCP) 흡착에서 온도, 초기농도, 접촉시간 및 흡착제 투여량과 같은 운전변수의 영향을 조사하기 위해 회분식 실험 및 반응표면분석법(Response Surface Methodology: RSM)을 적용하였다. 2,4-DCP 흡착부터 도출된 회귀식은 반응변수의 함수로 나타낼 수 있었다. 이 모델의 적합성은 응답에 대한 실험값과 예측값 간의 상관관계에 의해 평가되었다. $R^2$ 값은 0.9921로서 높은 상관성을 가지며, 회귀 모델에 의해 대부분의 데이터 변동을 설명할 수 있었다. 독립변수 및 그 상호작용의 유의성은 분산분석(ANOVA)과 t-검정 통계 기법으로 평가하였다. 이들 결과는 사용된 모델이 응답변수를 유의미하게 잘 부합되며, 응답과 독립 변수 간의 관계를 적합하게 잘 설명한다는 것을 보여 주었다. 흡착 속도 및 등온 실험결과는 각각 유사 2차 속도식 및 Langmuir 등온 모델에 의해 잘 설명될 수 있었다. Langmuir 등온 모델로부터 계산된 WCAC에 의한 2,4-DCP의 최대 흡착량은 345.49 mg/g이었다. 흡착과정에서 막확산과 입자내부확산이 동시에 일어나는 것을 흡착 메커니즘 연구로부터 확인하였다. 열역학적 파라미터는 WCAC에서 2,4-DCP의 흡착 반응이 흡열반응이고 자발적인 과정임을 나타내었다.