• 제목/요약/키워드: 작용식 3.0

검색결과 418건 처리시간 0.026초

자바 람다식에 대한 형식 의미론 (Formal Semantics for Lambda Expression of Java)

  • 한정란
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제12권5호
    • /
    • pp.157-164
    • /
    • 2023
  • 자바의 최신 기능인 함수 인터페이스와 람다식에 대한 의미구조를 명세하는 것은 향후 유사한 기능을 설계할 때 참고할 수 있고 표준화하는 과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 자바의 함수 인터페이스와 람다식에 대한 의미구조를 표현하기 위해 기존의 작용식을 수정하고 업그레이드해서 함수 인터페이스와 람다식의 정적·동적 의미구조를 표현하는 작용식 3.0을 새롭게 제시한다. 작용식 3.0에 명세된 의미구조를 자바로 구현해 자바 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 3.0이 구현가능한 실제적인 의미구조 명세법인 것을 입증한다. 판독성(Readability) 측면, 모듈성(Modularity) 측면, 확장성(Extensibility) 측면, 융통성(Flexibility) 측면에서 대표적인 의미구조 표현법과 작용식 3.0을 비교하여 작용식 3.0의 우월성을 확인하고자 한다.

기계식 및 재래식 죽초액의 아질산염 소거 및 전자공여 작용 (The Nitrite Scavenging and Electron Donating Ability of Bamboo Smoke Distillates made by steel kiln and earth kiln)

  • 이범수;최상호;은종방
    • 한국식품과학회지
    • /
    • 제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단계로 희석하여 각 농도별 반응시간에 따르는 전자공여 작용 효과를 비교하였다. 농도가 증가할수록, 반응시간이 길어질수록 각각의 죽초액의 전자공여 작용 효과가 뚜렷하였고 일정시간 내에서 각 농도에서의 전자공여 작용 효과는 죽초액간에 유의적인 차이를 보였으며 기계식 죽초액이 가장 컸고 다음으로 기계식 정제 죽초액, 재래식 죽초액의 순 이었다. 이와 같은 결과는 재래식 죽초액이나 기계식 정제 죽초액보다 기계식 죽초액에 페놀성 화합물이 더 많이 함유되어서 나타난 것으로 생각된다.

극지용 중력식 해양구조물의 유빙충격 해석 (Ice impact on arctic gravity caisson)

  • ;유병건
    • 한국해양공학회지
    • /
    • 제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에 대하여 안전하다는 것이 입증되었다.

  • PDF

일체식 교대의 장기토압 거동 (Long-term Behavior of Earth Pressure on Integral Abutments)

  • 남문석;박영호
    • 한국지반공학회논문집
    • /
    • 제23권4호
    • /
    • pp.47-58
    • /
    • 2007
  • 교량의 건설과 유지 비용을 줄이고 내진에도 강한 일체식 교대 교량은 전세계 뿐만아니라 우리나라에서도 그 사용량이 증가하고 있다. 하지만 일체식 교대와 뒷채움 지반의 상호작용인 토압거동에 대한 연구는 미진한 상태이다. 따라서 본 연구에서는 PSC빔 거더를 이용한 90m 3경간 연속교 형식인 일체식 교대교량을 국내 처음으로 시험시공하여 공용중에 있는 교량에 대하여 계절적인 온도변화에 따라 발생하는 교대배면 토압을 장기계측하였다. 그 결과에 의하면, 일체식 교대높이(H)에 대한 최대 평균 신장량의 비는 0.0024으로 여름철에, 그리고 일체식 교대높이에 대한 최대 평균 수축량의 비는 0.0011으로 겨울철에 발생하였다. 실측한 최대 수동토압계수과 주동토압계수의 크기는 각각 4.8과 0.7이었고, 그 위치와 형상은 교대저면으로부터 0.82H에서 작용하는 제형의 분포를 보였다. 마지막으로 본 교대의 수동과 주동 토압분포의 작도법을 제안하였다.

Ir 전극 계면에서 위상이동 방법 및 상관계수를 이용한 수소의 흡착동온식 결정 (Determination of Adsorption Isotherms of Hydrogen at an Ir Electrode Interface Using the Phase-Shift Method and Correlation Constants)

  • 전상규
    • 전기화학회지
    • /
    • 제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$)를 결정하기 위한 정확하고 확실한 기술 및 방법이다.

측방유동을 받는 연약지반의 변형거동에 관한 연구 (A Study on the Behavior of Deformation in Soft Soils Subjected to Lateral Flow)

  • 안종필;홍원표
    • 한국지반공학회지:지반
    • /
    • 제10권2호
    • /
    • pp.25-40
    • /
    • 1994
  • 연약지반상에 편재하중이 작용할 경우에 지반의 소성화에 의한 측방유동과 그에 따른 안정관리에 대한 거동을 규명하기 위하여 기존의 이론적인 배경을 조사하고,모형실험에 의한 실측결과와 서로 비교 분석하여 보았다. 모형실험은 모형재하장치를 제작하고 토조안에 연약지반의 재성형시료를 채워 일정한 시간간 격으로 하중단계를 증가시켜 가면서 변형의 거동상태를 관측하였다. 실험결과 한계하중 및 극한하중은 각각 Jaky와 Meyerhof의 제안값에 접근하는 경향을 가졌 으며,측방유동압은 최대값을 z/H=0.26+1.71cu에서 산정한 깊이에 작용시키고 지표면에 최대 값의 113을 작용시킨 사변형분포에 근접하였으며, 최대값으로는 홍의 제안식이나 Tschebotarioff의 제안식의 유동압계수 ($\alpha=0.4$)를 ($\alpha=K_0$)로 대체한 간편식에서 산정할 수 있다. 또한 [(q/$y_m$)-q] 및 [$S_y-(y_m/S_y)$] 의 관계에서 구한 파괴하중은 극한하중보다 작게 나타 났으며, 특히 [$S_y(y_m/S_y)$] 관리도의 파괴기준선은 다음식에서 산정할 수 있다. $S_y.=3.15exp[-0.58(y_m/S_y)$

  • PDF

Sucrose-NaCl- 물의 3성분 혼합액체의 점도에 관한 연구 (Viscosities of Ternary Mixtures of Sucrose-Sodium Chloride-Water)

  • 오명숙
    • 한국식품과학회지
    • /
    • 제22권1호
    • /
    • pp.66-70
    • /
    • 1990
  • sucrose-Nacl-물의 3성분 혼합액체의 점도를 예측하기 위한 모델을 결정하기 위하여 온도 $10{\sim}40^{\circ}C$, NaCl농도 $1.0064{\sim}5.7037mol$, sucrose농도 $0.3436{\sim}2.5966mol$의 범위에서 점도 실험을 행한 결과 다음의 결과를 얻었다. NaCl용액의 점도는 식 (8)로, sucrose용액의 점도는 식 (5)로 나타낼 수 있었다. 또한 식 (8)과 (5)의 계수들은 강한 온도의존성을 가지고 있었고 식 (7)로 표현되었다. NaCl-sucrose-물의 3성분 혼합액체의 점도는 5개의 계수를 가진 다항식인 식 (9)로 상당히 정확하게 표현할 수 있었고, NaCl용액과 sucrose용액 사이에는 상호작용은 거의 없는 것으로 생각되었다.

  • PDF

접힘홈이 형성된 띠형 섬유보강재를 사용한 패널식 보강토옹벽의 현장계측 연구 (Field Monitoring of Panel-type Reinforced Earth Walls Using Geosynthetic Strip Reinforcement with Folding Grooves)

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

부유식방파제의 수리특성 및 와 상호작용에 관한 실험적 연구 (Experimental Study on Hydraulic Characteristics and Vorticity Interactions of Floating Breakwaters)

  • 윤재선;조용식
    • 한국방재학회:학술대회논문집
    • /
    • 한국방재학회 2011년도 정기 학술발표대회
    • /
    • pp.55-55
    • /
    • 2011
  • 연안 및 해안공학의 발달과 더불어 부유식방파제의 기능적 효율성이 중요시 되고 있다. 흔히 사용되어오던 착저식방파제는 설치에 많은 시간과 경비가 소요되고 환경 및 생태계에 많은 변화를 줄 수 있으며, 설치 예정지의 수리학적 특성 등의 여건에 많은 제약을 받는 단점이 있다. 부유식방파제는 일본 등의 선진국을 중심으로 활용이 잦아지고 있는 방파제로서 수면 위에 설치되기 때문에 수중 생태계에 미치는 영향이 적은 친환경방파제이다. 또한 기존에 시공된 중력식방파제와는 달리 수심에 제한을 덜 받고, 공사기간이 짧기 때문에 경제적이다. 실제 시공사례로는 2007년 마산 원전항에 완공된 부유식방파제가 대표적이며, 지금까지도 부유식방파제에 대한 여러 연구자들의 관심이 증가하고 있는 추세이다. 방파제뿐만 아니라 우리나라처럼 국토의 면적이 작은 지역에서 증가하는 해상물동량을 소화하기 위해서 부유식방파제 등을 이용한 항만의 시공이 필요한 실정이다. 이러한 부유식방파제의 분석적인 측면에 있어서 수치해석은 파랑과 구조물의 상호작용을 해석하는 데 한계가 있으며, 부유식방파제 단면형상을 정확하게 재현할 수 없으므로, 수리모형실험을 통한 부유식방파제의 연구가 필요할 것으로 판단된다. 최근 기술의 발달로 인한 유동장 해명이 가능해 졌으며, PIV(Particle image velocimetry) 및 LDV시스템은 다양한 분야에서 응용되고 있다. 특히, LDV시스템은 측정하려는 한 지점에 대하여 레이저 빔을 단면(Cross-section)으로 만들고 입자의 산란광을 후방산란(Back scatter)으로 받아서 도플러 효과를 이용, 속도에 대한 주파수를 획득하며, 유속을 측정하는 장비로 매우 높은 정확도와 비접촉식 이라는 장점을 가지고 있다. 또한, PIV 시스템에 비하여 측정시간이 오래 걸리는 반면 데이터를 가공하지 않고 활용할 만큼 높은 정확성을 가지고 있다. 본 연구에서는 수리모형실험을 통하여 단독형, 2열형 및 3열형 부유식방파제의 형상, 흘수 및 거리를 변화시키며 유동장을 수집하였으며, 방파성능에 따른 와의 생성 및 소멸시점에서의 파랑변형과의 관계를 분석하였다. 방파제의 형상과 흘수를 달리하여 수리모형실험을 수행하였으며, 와류의 상관관계를 분석하였다. 또한, 연직 2차원 Navier-Stokes 방정식 모형을 이용하여 수치모형실험을 수행하였으며, 수치모형실험 결과와 수리모형실험 결과를 비교 분석하였다. 후방방파제에서 발생되는 파랑은 입사파의 주기가 길어질수록 상대적으로 커지는 현상을 보였으며, 흘수심이 깊어질수록 전방방파제 입사 면에서 자유 수면이 높게 관측되는 결과를 보였다. 또한, 비교적 장주기파랑에 해당하는 입사파랑의 경우 전달파고비 산정에 있어서 설계기준인 0.5를 대다수 초과하는 반면, 3열형 구조에서는 대부분이 0.5이하로 상당히 높은 방파성능 결과를 나타내었다.

  • PDF

단삼 추출물의 어류 질병 세균에 대한 항균 작용 및 사료 적용 시험 (Antibacterial Effect of fish Diet Soaked in Salvia miltiorriza Extract)

  • 목종수;송기철;최낙중
    • 한국양식학회지
    • /
    • 제14권3호
    • /
    • pp.157-163
    • /
    • 2001
  • 단삼으로부터 항균성 물질을 추출하여 어류질병에 대한 천연 항균약제로서의 이용 가능성을 타진하기 위하여 어류질병세균에 대한 항균효과, 최소증식억제농도, 최소살균농도 및 어류사료에 적용 시험 등을 실시하였다. 단삼 추출물은 그람양성균에 대하여 강한 항균활성을 나타내었으나, 그람음성균에 대하여는 항균활성이 약하였다. 단삼 추출물의 그람양성균에 대한 최소증식억제농도는 13.4 ~40.3 $\mu\textrm{g}$/ml이었으며, 67.2~403.0 $\mu\textrm{g}$/ml의 농도에서는 살균작용을 보였다. 그러나 그람음성균인 Edwardsiella tarta에 대하여는 403.0 $\mu\textrm{g}$/ml를 첨가하여도 살균작용은 물론 균 증식을 억제하지도 못하였다. 사료를 단삼 추출액에 침지시 적정 침지시간은 10분이었고, 단삼 추출물에 침지시킨 사료는 사용된 모든 어류질병세균의 증식을 억제하여 10.5~14.5 mm의 저해환을 형성하였으며, 특히 Streptococcus 속 및 Vibrio anguillarum에 대하여 강한 항균활성을 나타내었다. 또한, 사료 중량에 따른 추출물 흡수량은 식 Y=2.4953X+3.3276 ($R^2$=0.9999)으로 아주 밀접한 상관관계를 나타내었으며, 단삼추출물에 침지시킨 사료의 항균활성은 저장온도 10~35$^{\circ}C$에서 28일까지 안정하였다.

  • PDF