• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제10권6호
• /
• pp.163-172
• /
• 2021

프로그래밍 언어의 형식적인 의미를 적절하게 표현하면 언어를 표준화하고 최적화하여 번역하는 과정에서 중요한 역할을 수행한다. 파이썬은 주목받는 강력한 언어이고, 파이썬에 대한 형식적인 의미 구조를 정의하고 표현하는 것은 향후 유사한 언어를 설계할 때 참고할 수 있고 표준화하는 과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 파이썬에 대한 의미 구조를 표현하기 위해 기존의 작용식을 수정하고 업그레이드해서 파이썬의 정적이고 동적인 의미 구조를 표현하는 작용식 2.0을 새롭게 제시한다. 작용식 2.0에 명세된 의미구조를 자바로 구현해 파이썬 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 2.0이 구현 가능한 실제적인 의미 구조임을 입증하고, 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식 2.0을 기존의 대표적인 의미 표현법과 비교하여 본 작용식 2.0의 우월성을 확인하고자 한다.

• 한국식품과학회지
• /
• 제34권4호
• /
• pp.719-724
• /
• 2002

신선한 왕대(Phyllostachys bambuoides bambuoides sieb. et zucc.)를 기계식 탄화로와 재래식 토요를 이용하여 탄화시켜 기계식 죽초액과 재래식 죽초액을 얻고 기계식 죽초액을 증류·정제하여 정제 죽초액을 얻은 다음 각각의 죽초액의 아질산염 소거와 전자공여 효과 및 이들의 페놀성 화합물의 함량을 조사하였다. 죽초액을 $1{\sim}6%$까지 6단계로 희석하여 각 농도에서의 아질산염 소거효과를 비교하였을 때 동일한 pH 하에서 농도가 증가할수록 활성이 증가하였다. 각각의 죽초액이 pH 1.2와 pH 3.0에서 뚜렷한 소거활성을 보였으나 pH가 증가할수록 점차적으로 낮아져 pH가 6.0일 때에는 미미한 상태였다. 각각의 죽초액이 일정한 농도와 pH에서 아질산염 소거효과는 유의적인 차이(p<0.05)를 나타내었으며 기계식 죽초액, 기계식 정제 죽초액, 재래식 죽초액의 순 이었다. 기계식 죽초액, 기계식 정제 죽초액, 재래식 죽초액의 총 페놀성 화합물의 함량은 유의적인 차이(p<0.05)를 보였고 각각 663.4, 571.62, 485.16 ppm이었으며 증류·정제과정에서 함량이 감소되었다. 각각의 죽초액을 $0.2{\sim}1.2%$까지 6단계로 희석하여 각 농도별 반응시간에 따르는 전자공여 작용 효과를 비교하였다. 농도가 증가할수록, 반응시간이 길어질수록 각각의 죽초액의 전자공여 작용 효과가 뚜렷하였고 일정시간 내에서 각 농도에서의 전자공여 작용 효과는 죽초액간에 유의적인 차이를 보였으며 기계식 죽초액이 가장 컸고 다음으로 기계식 정제 죽초액, 재래식 죽초액의 순 이었다. 이와 같은 결과는 재래식 죽초액이나 기계식 정제 죽초액보다 기계식 죽초액에 페놀성 화합물이 더 많이 함유되어서 나타난 것으로 생각된다.

• 한국해양공학회지
• /
• 제1권2호
• /
• pp.52-59
• /
• 1987

극 지역용 중력식 해양구조물의 설계시 고려되어야 할 문제중의 하나가 구조물의 유빙(ice)과 충돌시 야기되는 foundation붕괴 현상인데, 본 논문에서는 정적 해석을 위해 sliding 및 bearing failure 현상에 대하여만 연구하였고, 또한 동적 해석을 위하여 soil과ice의 특성으로부터 structure-ice-soil의 상호 작용 운동 방정식을 설정하여 구조물과 ice의변위, 속도, 가속도와 ice force와 soil force의 history를 시간영역 해법으로 풀었다. 한 예제로 Beaufort Sea의 37 feet수심과 granular soil 상태에서 구조물의 최대변위는 0.4 feet이고 가속도는 약 0.3kg이며 이때 구조물이 sliding에 대하여 안전하다는 것이 입증되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (B)
• /
• pp.104-107
• /
• 2007

Web2.0 의 비동기식 웹 페이지 전환기술이 주목을 받으면서 기존의 웹사이트들이 동적인 웹 사이트로 바뀌어 가고 있다. 그러나 웹 애플리케이션 개발에 적용 가능한 설계모델인 UML2.0은 정적인 웹 페이지 설계 모델로 국한되어 있다. 따라서 본 논문에서는 UWE의 항해모델에서 뷰 관점 항해모델과, 데이터 전송 항해 모델을 State Machine, Communication Diagram을 이용하여 비동기식 웹 페이지 항해 모델 개선과 기존의 동기식 웹 페이지 모델과의 호환성 방안을 제안한다.

• 유기물자원화
• /
• 제15권4호
• /
• pp.131-137
• /
• 2007

황산염 환원조건에서의 리그노셀룰로오스의 분해에 대하여 고찰하였다. 특히, 리그닌에 대한 셀룰로오스의 비(C/L 비)를 각각 42.15, 4.59, 2.51, 1.14, 0.7로 하여 리그닌과 셀룰로오스의 상호작용에 대하여 고찰하였다. 셀룰로오스의 분해율은 1차 반응식에 의해 계산되어져, C/L 비가 감소할수록 반응상수는 감소하여 셀룰로오스의 분해에 대한 리그닌의 저해작용을 보여 주였다. 1차 반응식에 의한 반응상수와 리그닌의 함량의 증가에 대한 셀룰로오스의 분해율은 0.97의 $R^2$ 값을 가지며 로그힘수에 의해 표현할 수 있었다. 리그노셀룰로오스의 분해율 또한 C/L 비와 로그함수의 관계를 가지며 리그닌의 함량이 많을수록 감소하였다. 리그닌의 분해율은 C/L 비가 2.51 및 1.14인 조건에서 4.59 및 0.7의 조건보다 높게 나타나, 공동기질로서의 과도한 탄소원은 리그닌분해에 장애가 됨을 보여 주였다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2002년도 가을 학술발표회 논문집
• /
• pp.549-556
• /
• 2002

주변이 Kinney의 정의에 따른 부분 고정도를 가지고 지지된 직4각형 평판이 부분 분포하중을 받고 있을 때의 안정해석을 유한 요소법으로 수행하였다. 수치해석에서 고려한 변수는 평판의 변장비 (=λ)와 부분 분포하중 작용폭 (=γ) 및 부분 고정도 (=f) 값이다. 여기서 특히 f=0.0 은 주변이 단순지지를 표시하고 f=1.0은 고정지지를 뜻하는데 수치해석에서는 f=0.0, 0.2, …, 1.0으로 변화시켰다. 유한 요소법으로 산정한 판의 좌굴계수 변화는 각각의 변장비에 대하여 나머지 두 개의 매개변수를 변랑으로 하는 대수 함수식으로 표시하였다. 제안한 대수식으로 추정한 임계하중치와 유한 요소법으로 산정한 임계하중치 간의 상관계수는 모든 변장비에 대하여 거의 단위치 (ρ=1.0)에 가까웁다. 따라서 제안한 대수 함수식은 구조 설계자들의 판 설계 및 안정 검토시에 유익한 자료로 이용될 수 있다.

• 한국지반공학회논문집
• /
• 제28권8호
• /
• pp.79-88
• /
• 2012

본 연구에서는 Terzaghi 수정표, Terzaghi 이론식과 본 논문에서 제안하고자 하는 지반-라이닝 상호 작용(Groundining Interaction) 모델을 적용하여 다양한 암반등급, 토피고 및 측압계수($K_0$)의 변화에 따라 콘크리트 라이닝에 작용하는 이완하중의 영향을 비교분석 하였다. 본 연구 결과, Terzaghi 수정표는 토피고와 측압계수의 영향을 반영할 수 없었으며 Terzaghi 이론식은 토피고와 측압계수의 영향은 적으며 연암 및 토사지반에서만 적용이 가능하였다. 지반-라이닝 상호작용(G.L.I) 모델은 다양한 암반등급에서 적용 가능할 수 있었으며 토피고와 측압계수의 영향까지도 고려할 수 있었다. 특히, G.L.I 모델은 Terzaghi 방법에 비해 풍화토 지반에서 최대 약 30% 정도의 이완하중 감소효과가 있었으며, 특히 40m이하 저토피와 측압계수 1.0이상일 경우 효과가 높았다.

• 한국지반신소재학회논문집
• /
• 제17권4호
• /
• pp.179-188
• /
• 2018

본 연구에서는 새로운 형태의 패널식 보강토옹벽에 대한 현장 적용성 및 구조 안정성을 평가하기 위하여 두 개소 현장에서 현장계측을 수행하였다. 새로운 형태의 패널식 보강토옹벽은 접힘홈이 형성된 띠형 섬유보강재를 패널식 전면벽체에 매립된 C형 삽입구를 통해 직접 연결함으로써 보다 일체화된 구조를 형성시킨 보강토옹벽이다. 현장계측에서는 보강토옹벽의 시공 중 및 완료 후에 발생하는 전면벽체의 수평변위와 띠형 섬유보강재의 인장변형, 전면벽체에 작용하는 수평토압 등을 측정하고 분석하였다. 분석 결과, 보강토옹벽 시공 완료 후에 전면벽체에 작용하는 최대 수평토압은 Rankine 토압의 2/3 이하 수준이고, 전면벽체에 발생된 최대 수평변위는 보강토옹벽 높이의 0.5% 이하 수준이며, 보강재에 유발된 최대 인장변형률은 1.0% 이하로 나타나 두 현장의 보강토옹벽이 모두 안정한 상태를 유지하고 있음을 알 수 있었다.

• 전기화학회지
• /
• 제10권2호
• /
• pp.132-140
• /
• 2007

백금족/수용액 계면에서 Langmuir, Frumkin, Temkin 흡착등온식(${\theta}\;vs.\;E$)을 결정하기 위해 최적중간주파수 일 때 위상이동($0^{\circ}{\leq}-{\varphi}{\leq}90^{\circ}$) 거동($-{\varphi}\;vs.\;E$)과 표면피복율($1{\geq}{\theta}{\geq}0$) 거동(${\theta}\;vs.\;E$) 사이의 선형 관계식 연구에 관한 위상이동 방법 및 상관계수를 제안하고 증명하였다. Ir/0.1 M KOH수용액 계면에서 음극 $H_2$ 발생 반응에 관한 수소의 Langmuir 및 Temkin 흡착등온식(${\theta}\;vs.\;E$), 평형상수(Langmuir 흡착등온식: $K=3.3{\times}10^{-4}mol^{-1}$, Temkin 흡착등온식: $K=3.3{\times}10^{-3}{\exp}(-4.6{\theta})\;mol^{-1}$), 상호작용 파라미터(Temkin 흡착등온식: g=4.6), 표준자유에너지($K=3.3{\times}10^{-4}mol^{-1}$ 일 때 ${\Delta}G_{ads}^0=19.9kJ\;mol^{-1},\;K=3.3{\times}10^{-3}{\exp}(-4.6{\theta})\;mol^{-1}$ 및 $0.2<{\theta}<0.8$일 때 $16.5<{\Delta}G_{\theta}^0<23.3kJ\;mol^{-1}$)를 결정한다. 수소 흡착부위의 비균일 및 측 방향 상호작용 효과는 무시할 수 있다. ${\theta}$의 중간값 즉, $0.2<{\theta}<0.8$일 때 Langmuir 또는 Frumkin 흡착등온식과 상관관계에 있는 Temkin 흡착등온식은 상관계수를 이용하여 쉽게 결정할 수 있다. 위상이동 방법 및 상관계수는 흡착동온식(${\theta}\;vs.\;E$) 및 연관된 전극속도론과 열역학 파라미터(K, g, ${\Delta}G_{ads}^0, {\Delta}G_{\theta}^0$)를 결정하기 위한 정확하고 확실한 기술 및 방법이다.

• 한국지반신소재학회논문집
• /
• 제14권2호
• /
• pp.23-33
• /
• 2015

개착식 터널공법으로 시공된 지하철 건설현장을 대상으로 각종 계측시스템을 적용하여 지하 박스구조물에 작용하는 토압을 측정하였다. 이를 토대로 기존 이론식으로 산정된 측방토압과 현장에서 계측된 실측토압을 비교 검토하고, 실제 지하구조물에 작용하는 토압분포를 조사하였다. 조사결과에 의하면 지하 박스구조물에 작용하는 연직토압은 주로 성토고에 큰 영향을 받고 있으며, 측방토압은 흙막이구조물(버팀보, 흙막이벽)의 존치여부에 큰 영향을 받는 것으로 나타났다. 현장에서 측정된 지하 박스구조물 상단에 작용하는 연직토압은 Bierbaumer의 이론토압에 가장 근사하게 나타나고 있으며, 측방토압은 정지토압보다 주동토압에 가깝게 작용하고 있다. 그리고, 토압계수는 토사층의 경우 평균 0.35정도로 나타났으며 연암층의 경우 평균 0.21정도로 토사층에서 크게 나타나고 있다. 따라서, 지하 박스구조물이 토사층에 설치되는 경우, 지하 박스구조물에 작용하는 측방토압은 정지토압보다는 주동토압과 정지토압의 평균치를, 암반층에 설치되는 경우에는 주동토압을 사용하는 것이 보다 합리적이라고 판단된다.