• KIPS Transactions on Computer and Communication Systems
• /
• v.12 no.5
• /
• pp.157-164
• /
• 2023

Specifying the semantic structure for functional interfaces and lambda expressions, which are the latest features of Java, can be referenced when designing similar functions in the future, and is also required in the process of standardizing or implementing an optimized translator. In this study, action equation 3.0 is newly proposed to express the static and dynamic semantic structure of functional interfaces and lambda expressions by modifying and upgrading the existing expressions to express the semantic structures of java functional interfaces and lambda expressions. Measure the execution time of java programs by implementing the semantic structure specified in action equation 3.0 in java, and prove that action equation 3.0 is a real semantic structure that can be implemented through simulation. The superiority of this action equation 3.0 is to be confirmed by comparing the action equation 3.0 specified in the four areas of readability, modularity, extensibility and flexibility with the existing representative semantic expression methods.

• KIPS Transactions on Computer and Communication Systems
• /
• v.10 no.6
• /
• pp.163-172
• /
• 2021

To specify a formal semantics for a programming language is to do a significant part for design, standardization and translation of it. The Python is popular and powerful, it is necessary to do research for a formal semantics to specify a static and dynamic semantics for Python clearly in order to design a similar language and do an efficient translation. This paper presents the Action Equation 2.0 that specifies a formal semantics for Python to change and update Action Equation. To measure the execution time for Python programs, we implemented the semantic structure specified in Action Equation 2.0 in Java, and prove through simulation that Action Equation 2.0 is a real semantic structure that can be implemented. The specified Action Equation 2.0 is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation 2.0 is superior to other formal semantics.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.1831-1833
• /
• 2010

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

• Bulletin of Food Technology
• /
• v.15 no.3
• /
• pp.84-91
• /
• 2002

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

• The KIPS Transactions:PartA
• /
• v.17A no.4
• /
• pp.173-180
• /
• 2010

To specify a formal semantics is to do a significant part for design, standardization and translation of programming languages. The existing studies of a formal semantics for Java have a weak point to describe a clear and practical semantics for an efficient translation. It is necessary to do research for a formal semantics to specify a static and dynamic semantics clearly in order to do an efficient translation. This paper presents the improved Action Equation that specifies a formal semantics for Java to extend the research using Action Equation. The Action Equation is a practical and accurate specification that describes object-oriented programming features and handles exceptions. The specified Action Equation is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation is superior to other formal semantics.

• Proceedings of the KAIS Fall Conference
• /
• 2003.06a
• /
• pp.322-324
• /
• 2003

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

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.32 no.1C
• /
• pp.27-35
• /
• 2012

The relieving platform has the advantage of decreasing the total lateral earth pressure on the retaining wall and increasing the overall stability of the structure. Several modeling tests were performed to determine the earth pressure distribution on the retaining wall with a relieving platform and to compare it with that of the cantilever retaining wall. Different types of soil and angle of cutting surface were used to determine the effect of the soil characteristics and the backfill conditions on these earth pressure distributions. From the modeling tests, comparisons between the retaining wall with a relieving platform and the cantilever retaining wall show that the reduction of the lateral earth pressure and deformation of wall was indicated clearly on the retaining wall with a relieving platform. And the overall stability was increased by the relieving platform.

• The Korean Journal of Zoology
• /
• v.36 no.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의 모습등에서는 차이점을 보여 주었다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.586-591
• /
• 2009

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

• Journal of Convergence for Information Technology
• /
• v.9 no.7
• /
• pp.145-152
• /
• 2019

The aim of this study was to evaluation the effect of Interactive Metronome(IM) training on executive function for stroke patients. Twenty patients with stroke were randomly assigned to experimental group(n=10) or control group(n=10). The patients in the experimental group received IM training with basic rehabilitation and those in the control group received traditional rehabilitation with basic rehabilitation. The patients were assessed before and after intervention using Kims frontal-executive function neuropsychology test II to evaluate executive function. The result of the present study was experimental group demonstrated more increased than control group in stroop interference, word fluency, delayed recall, executive function quotient(EFQ). Therefore, IM training was effective in improving the executive function. It is deemed that IM training can be usefully applied to improve executive function.