• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제12권5호
• /
• pp.157-164
• /
• 2023

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

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

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.1831-1833
• /
• 2010

프로그램을 실행하는 동안 다양한 오류가 발생할 수 있고 이러한 예외사항은 체계적으로 검사하고 처리해야한다. 예외사항의 의미구조를 잘 표현하면 프로그래밍언어의 신뢰성을 증진할 수 있고, 설계와 표준화, 최적화 및 번역 과정에 중요한 역할을 수행한다. 본 연구에서는 기존에 제시된 작용식을 사용하여 예외사항을 처리하는 방법을 자바 프로그램의 예제를 통하여 제시한다. 다른 의미구조들과 제시된 작용식을 판독성(Readability), 지능성(Intelligibility), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 다섯 영역에서 비교하여 본 작용식의 우수성을 확인하고자 한다.

• 식품기술
• /
• 제15권3호
• /
• pp.84-91
• /
• 2002

식이 섬유질에는 여러 종류가 있고 그 종류에 따라 short chain fatty acid(SCFA)의 생산 등 생리작용도 크게 다르다. 식이 섬유질 중 수용성은 장내세균의 발효를 받아 butyrate, acetate, propionate 등의 SCFA를 생산한다. 수용성 식이 섬유질을 섭취함으로서 SCFA의 생산을 증가시키고 대장점막증식, 물.전해질 흡수 촉진, 혈류량을 증가시키는 작용 외에 면역조절 작용을 가지고 있다. 식이 섬유는 장관계 질환 중의 하나인 염증성 장질환 특히 궤양성 대장염의 치료법으로서 기대되고 있으며, 암세포 연구에서는 butyrate 가 apoptosis 유도작용과 발암유전자의 억제효과가 확인되고 있으나 역학 연구에서는 식이 섬유질에 의한 대장암 예방효과는 아직 불확실하다. 모든 유형의 식이 섬유질은 건강 식품으로서 사용되고 있으며, prebiotic으로서도 주목받고 있다. 또한 경장 영양제에도 각종의 식이 섬유질이 첨가되어 있다. 그러나 충분한 양의 비타민과 무기질을 함유한 고섬유질식과, 건강 식품으로서의 식이 섬유질을 같은 의미로 해석하기에는 여러 가지 문제가 남아 있다.

• 정보처리학회논문지A
• /
• 제17A권4호
• /
• pp.173-180
• /
• 2010

프로그래밍언어에 대한 형식 의미를 적절하게 표현하면 설계와 표준화, 최적화 및 번역 과정에 중요한 역할을 수행한다. 기존의 자바에 대한 형식 의미 연구는 번역을 위해 정확하고 실제적인 의미 구조를 표현하는데 미흡한 점이 있다. 자바 번역 과정의 효율성을 향상시키기 위해 정적이고 동적인 의미 구조를 정확하게 표현하는 의미 표현법에 관한 연구가 필요하다. 본 논문에서는 기존의 작용식(Action Equations)을 사용해 명세한 연구를 확장하여 자바 언어에 대한 형식 의미를 명세하는 개선된 작용식(Action Equations)을 제시한다. 객체를 다루는 기능은 물론 예외를 처리하는 형식 의미론을 보다 실제적이고 정확하게 명세하게 된다. 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식을 기존의 의미 표현법과 비교하여 본 작용식의 우수성을 확인하고자 한다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2003년도 춘계학술발표논문집
• /
• pp.322-324
• /
• 2003

이온교환은 액체상에 존재하는 이온과 고체상에 존재하는 이온이 당량적으로 치환되는 것으로 정의하며, 치환되는 정도는 일반적으로 전하의 크기와 이온이 수화반경에 따라 달라진다. 지금까지의 이온교환 반응에 대한 모델링 연구는 실험식, 질량작용식, 열역학식, 전기이중층이론, 표면착화모델 등을 이용하여 2 성분에 대하여 다양한 시도를 하였다. 본 연구에서는 2, 3, 4성분에 대해 질량작용법칙과 전기이중층이론을 조합한 표면착화모델과 질량작용법칙을 이용한 모델을 수행하였다. 그 결과 표면착화모델이 질량작용법칙을 이용한 것보다 실험치와 일치함을 알 수 있었다.

• 대한토목학회논문집
• /
• 제32권1C호
• /
• pp.27-35
• /
• 2012

선반식 옹벽에서 선반은 옹벽에 작용하는 전체 수평토압의 크기를 줄여주며, 이로 인해 구조물의 전체적인 안정성이 향상된다. 이 연구에서는 아직 국내에서는 연구가 진행된 바 없는 선반식 옹벽에 작용하는 토압분포를 파악하고 캔틸레버식 옹벽에 작용하는 토압분포와 비교하기 위하여 모형시험을 실시하였다. 또한 흙 종류와 옹벽 배면의 굴착각도를 달리하여, 흙종류와 되메움 조건이 캔틸레버식 옹벽과 선반식 옹벽에 작용하는 토압의 변화에 미치는 영향을 파악하였다. 모형시험결과 선반의 설치로 인하여 발생하는 선반식 옹벽의 토압감소는 캔틸레버식 옹벽과 비교할 경우에 뚜렷하게 발생하였고, 옹벽에 발생하는 수평변위도 선반식 옹벽이 캔틸레버식 옹벽에 비해서 작게 발생하는 것으로 나타났다. 또한 캔틸레버식 옹벽에 비해서 선반식 옹벽의 전도파괴에 대한 안정성이 상대적으로 높은 것으로 나타났다.

• 한국동물학회지
• /
• 제36권2호
• /
• pp.200-208
• /
• 1993

연두금파리 종령유충의 복강내에 이물질로서 protein-A gold 용액(20 nm 크기) colloidal gold 용액(15 nm 크기), 그리고 이들의 혼합액을 주입하여 혈구가 이들을 처리하는 양상을 전자현미경을 이용하여 관찰하였다. Gold 입자에 대한 혈구의 세포성 면역작용 방식은 식세포작용이었고 이러한 식세포 작용은 연두금파리에서 확인한 prohemocyte, plasmatocyte. granulocyte type I, II, III, 그리고 oneocvtoid 등의 6가지 혈구 중 type 11 granulocyte에 의해서 수행되었다. Gold 입자는 주로 판상의 원형질 돌기를 통하여 혈구 속으로 들어갔으며 coated-pit로 보이는 구조에 의해서도 받아들이는 것으로 나타났다. 식세포 작용은 gold 용액 주입후 10분 이내에 빠른 속도로 일어났으며 시간이 경과함에 따라 gold 입자를 함유한 phagosome은 리소소음과 융합하여 phagolysosome을 형성하면서 세포질내에 축적되어 있었다. Gold 용액을 주입한 후 type II granulocyte에서는 세포질 돌기와 전자 밀도가 높은 과립, 그리고 세포 소기관이 소실되는 등의 변화가 일어났다. protein A-gold 및 colloidal gold 용액에 대한 기본적인 식세포 과정은 별다른 차이점이 없었으나 gold 입자 섭취 초기 과정과 양, 그리고 multivesicular body의 모습등에서는 차이점을 보여 주었다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2009년도 학술발표회 초록집
• /
• pp.586-591
• /
• 2009

권 등(2008)은 수면보다 높은 정방형 다열기둥의 수리실험을 수행하여 바닥마찰과 구조물에 의한 흐름저항을 포함하고 항력상호작용계수가 적용된 Manning계수 형태의 상당저항계수 이론식을 제안하였으나 저항체의 횡방향 간격에 대해서는 충분한 연구가 수행되지 못하였다. 따라서 본 연구에서는 오리피스의 에너지 손실계수를 적용하여 횡방향 간격에 따른 항력상호작용계수식을 제안하였다. 또한 정방형 다열기둥의 다양한 횡방향 간격에 따른 흐름양상을 FLOW-3D를 이용한 수치실험을 수행하여 상당저항계수 n을 측정하였으며 수치실험 결과를 본 연구에서 제안한 횡방향 항력상호작용계수식이 적용된 이론식과 비교하였다. 이론식과 수치실험 결과는 잘 일치하였으며 이 결과로부터 본 논문에서 제안한 횡방향 항력상호작용계수식이 유효함을 확인하였다.

• 융합정보논문지
• /
• 제9권7호
• /
• pp.145-152
• /
• 2019

본 연구는 뇌졸중 환자를 대상으로 상호작용식 메트로놈 훈련이 관리기능에 미치는 효과에 대해서 알아보고자 실시하였다. 뇌졸중 환자 20명을 대상으로 실험군 10명, 대조군 10명으로 무작위 배분하였다. 실험군은 기본적인 재활치료와 상호작용식 메트로놈을 적용하였고, 대조군은 기본적 재활치료와 전통적 인지재활을 실시하였다. 훈련 전 후 관리기능을 검사하기 위하여 Kims 전두엽 관리기능 신경심리검사 II를 실시하였다. 연구 결과 실험군이 대조군에 비해 스트룹 간섭시행, 단어유창성, 지연회상, 관리기능지수에서 유의한 향상을 나타냈다. 따라서 상호작용식 메트로놈 훈련이 관리기능 향상에 효과적으로 것으로 나타났으며, 상호작용식 메트로놈 훈련이 관리기능 향상을 위한 중재방법으로 유용할 것으로 기대한다.