• 정보처리학회논문지A
• /
• 제13A권6호
• /
• pp.481-488
• /
• 2006

함수형 반응적 프로그래밍(FRP: Functional Reactive Programming)은 하스켈(Haskell)에 내장된 언어로서 두 핵심 고차 타입인 행위(Behavior)와 이벤트(Event)를 기반으로 반응적 시스템을 선언적으로 프로그래밍 한다. 이 논문은 다양한 제약사항을 가진 임비디드 시스템에 FRP를 이용하기 위해 실시간 함수형 반응적 프로그래밍(RT-FRP: Real-time Functional Reactive Programming) 변환기를 설계하고 구현한다. RT-FRP 변환기는 RT-FRP 언어의 기능적 의미론을 기반으로 RT-FRP 프로그램에서 C 프로그램을 생성한다. RT-FRP 변환기의 효과적인 변환을 입증하기 위해, 변환기에서 생성된 테스트 프로그램을 실제 임베디드 시스템, 레고 마인드스톰(LEGO Mindstorm)에 탑재하고 수행하였다. 실험 결과, RT-FRP를 이용할 경우 목적파일의 크기가 조금 증가하였으나 명령형 언어를 이용한 프로그램 보다 간결하게 반응적 시스템 소프트웨어를 프로그래밍 할 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권5호
• /
• pp.370-377
• /
• 2010

지능 로봇은 복잡하고 동적인 환경 내에서 상황의 변화에 적절히 적응하여 사용자에게 다양한 서비스를 제공하는 지능 시스템이다. 따라서 로봇은 행위를 수행하는 동안 지속적으로 상황의 변화를 감지하여 변화에 적절히 반응해야 하며 주어진 상황에 대해 최선의 행위를 결정하여 수행할 수 있어야 한다. 또한 때때로 임의의 행동을 결정하여 보다 지능적인 행위를 수행할 수 있어야 한다. 본 논문에서는 이러한 지능 로봇의 복잡한 행위를 효과적으로 정의하고 구현하기 위해 Structured Circuit Semantics(SCS)에 기초를 둔 프로그래밍 언어(Structured Programming for Reactive Intelligent Tasks, SPRIT)와 SPRIT으로 작성된 프로그램을 다양한 로봇 환경에서 실행하고 검증하기 위한 작업 실행기(Task Executor)를 제시한다.

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

프로그램 검증은 가능한 모든 경우에 대하여 안정성을 확인하는 작업이다. reactive 프로그램을 외부환경에 대한 정보 없이 검증하면 실제로 가능하지 않은 경우를 오류로 찾을 수도 있다. 본 논문에서는 observer를 이용한 기존의 ESTEREL 프로그램 검증 기법에 외부환경에 대한 가정을 추가하는 방법을 소개하고. 사례연구를 통해 외부환경을 고려하여 검증하는 과정을 보인다.

• Steel and Composite Structures
• /
• 제25권2호
• /
• pp.209-216
• /
• 2017

In this paper, the analysis of the behavior of surface cracks in finite-thickness plates repaired with a Boron/Epoxy composite patch is investigated using three-dimensional finite element methods. The stress intensity factor at the crack-front was used as the fracture criteria. Using the Ansys Parametric Design Language (APDL), the stress intensities at the internal and external positions of repaired surface crack were compared. The effects of the mechanical and geometrical properties of the adhesive layer and the composite patch on the variation of the stress intensity factor at the crack-front were examined.

• KIEE International Transactions on Power Engineering
• /
• 제12A권1호
• /
• pp.15-19
• /
• 2002

The power transfer capability is determined by the thermal, dynamic stability and voltage limits of the generation and transmission systems. The voltage stability depends on the reactive power limit and it affects the power transfer capability to a great extent. Then, in most load flow analysis, the reactive power limit is assumed as fixed, relatively different from the actual case. This paper proposes a method for determining the power transfer capability from a static voltage stability point of view using the IPLAN which is a high level language used with PSS/E program. The f-V curve for determining the power transfer capability is determined using Repeated Power Flow method. It Is assumed that the loads are constant and the generation powers change according to the merit order. The maximum reactive power limits are considered as varying similarly with the actual case and the effects of the varied maximum reactive power limits to the maximum power transfer capability are analyzed using a 5-bus power system and a 19-bus practical power system.

• Journal of the Korean Academy of Child and Adolescent Psychiatry
• /
• 제8권2호
• /
• pp.207-216
• /
• 1997

본 연구는 반응성 애착장애(reactive attachment disorder：향후 RAD라 칭함)집단과 발달성 언어장애(developmental language disorder：향후 DLD라 칭함)집단을 대상으로 외관상 유사한 사회성 문제를 지니고 있으나, 타인과의 사회적 접촉의 시도라는 좀 더 근본적인 의사소통의 의도에서는 집단간에 어떤 차이를 보이는지 알아보기 위해 생활 연령과 언어 연령으로 두 집단을 짝지어 의사소통 의도의 빈도와 주로 사용하는 의사소통 의도의 유형 및 발달 단계를 비교하였다. 그 결과는 DLD아동의 의도 표현 방법이 RAD아동보다 세련되고 정교화 되었음을 보여 주었으며, DLD아동이 RAD아동보다 의사소통하려는 의도를 더 많이 가지고 있음을 나타냈다. 그리고 두집단이 사용하는 의사소통 의도의 내용을 살펴보았더니, DLD아동은 사회적 상호작용>공유적 주의>행동 통제의 순으로, RAD아동은 행동 통제>사회적 상호작용>공유적 주의의 순으로 의사소통하려는 의도를 나타냄으로써, 주로 사용하는 의도의 내용 범주간에도 두 집단간에 차이를 보였다. 또한, 사용한 의사소통 의도의 다양성 비교에서도 총 12가지의 의사소통 의도에서 DLD아동이 RAD아동보다 더 다양한 수의 의사소통 의도를 나타냈다. 이들 결과를 종합해 볼 때, DLD아동보다는 RAD아동에게서 의사소통의도로 잰 사회적 결함의 심각성이 더 드러났음을 알 수 있다.

• Toxicological Research
• /
• 제27권3호
• /
• pp.161-166
• /
• 2011

Carbon black, a particulate form of pure elemental carbon, is an industrial chemical with the high potential of occupational exposure. Although the relationship between exposure to particulate matters (PM) and cardiovascular diseases is well established, the cardiovascular risk of carbon black has not been characterized clearly. In this study, the cytotoxicity of carbon black to vascular smooth muscle and endothelial cells were examined to investigate the potential vascular toxicity of carbon black. Carbon black with distinct particle size, N330 (primary size, 28~36 nm) and N990 (250~350 nm) were treated to A-10, rat aortic smooth muscle cells and human umbilical vein endothelial cell line, ECV304, and cell viability was assessed by lactate dehydrogenase (LDH) leakage assay. Treatment of carbon black N990 resulted in the significant reduction of viability in A-10 cells at 100 ${\mu}g$/ml, the highest concentration tested, while N330 failed to cause cell death. Cytotoxicity to ECV304 cells was induced only by N330 at higher concentration, 200 ${\mu}g$/ml, suggesting that ECV304 cells were relatively resistant to carbon black. Treatment of 100 ${\mu}g$/ml N990 led to the elevation of reactive oxygen species (ROS) detected by dichlorodihydrofluorescein (DCF) in A-10 cells. Pretreatment of antioxidants, N-acetylcysteine (NAC) and sulforaphane restored decreased viability of N990-treated A-10 cells, and N-acetylcysteine, but not sulforaphane, attenuated N990-induced ROS generation in A-10 cells. Taken together, present study shows that carbon black is cytotoxic to vascular cells, and the generation of reactive oxygen contributes to the development of cytotoxicity. ROS scavenging antioxidant could be a potential strategy to attenuate the toxicity induced by carbon black exposure.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권10호
• /
• pp.793-799
• /
• 2009

에스테렐은 반응형 시스템 설계에 적합하도록 디자인 된 명령형 동기언어이다. 시스템 개발 시에는 디버깅을 위해 다양한 테스트가 필요하다. 반응형 시스템을 테스트 하려면 일련의 입력을 시간의 흐름에 따라 순서대로 나열하여야 한다. 하지만 원하는 목적에 적합한 테스트 데이터를 생성해 주려면 많은 노력이 필요하며, 이 과정에서 오류가 발생하기도 한다. 따라서 디버깅의 특성상 빠르면서 원하는 목적의 테스트 데이터를 쉽게 표현할 수 있는 도구가 필요하다. 본 연구에서는 디버깅에 도움을 줄 수 있는 테스트 데이터 자동 생성기를 개발하였다. 본 연구는 개발자가 원하는 테스트 데이터를 쉽게 표현할 수 있고, 빠르게 테스트 데이터를 만들어내는 것에 초점을 두었다. 또한 사례 연구를 통해 실제 시스템 개발에 우리의 테스트 데이터 생성기를 적용한 예를 보여준다.

• 정보처리학회논문지D
• /
• 제10D권1호
• /
• pp.33-44
• /
• 2003

XML은 웹 데이터의 표현과 정보교환을 위한 표준이다. XML의 급격한 사용증가로 인하여 XML 저장 관리 시스템 및 XML 문서의 변화에 자동으로 대응할 수 있는 규칙기반의 기술개발에 대한 연구가 활발히 진행되고 있다. 능동 규칙은 사건, 조건, 조치로 구성되며 데이터베이스의 상태 변화에 자동으로 대응할 수 있는 특성이 있으므로 이러한 요구를 충족시킨다. 따라서 이 논문에서는 XML 문서를 자동으로 관리하기 위한 XML 기반의 능동 규칙 언어를 제안하고 이 규칙언어로 정의되는 능동 규칙에 대한 종료 분석 방법을 제시한다. 아울러 XML 문서의 능동적 관리를 위한 규칙의 적용 사례를 제시하고 분석 방법의 효율성에 대해 검증한다.

• Advances in Computational Design
• /
• 제8권4호
• /
• pp.309-325
• /
• 2023

An innovative inertial reactive armor is being developed through a multi-discipline project. Unlike the well-known explosive or non-explosive reactive armour that uses high-energy explosives or bulging effect, the proposed inertial reactive armour uses active disc elements that is set to rotate rapidly upon impact to effectively deflect and disrupt shaped charges and kinetic energy penetrators. The effectiveness of the proposed armour highly depends on the tangential velocity of the impact point on the rotating disc. However,for a single layer armour with an array of high-speed rotating discs, the tangential velocity is relatively low near the center of the disc and is not available between the gap of the discs. Therefore, it is necessary to configure the armor with double layers to increase the tangential velocity at the point of impact. This paper explores a multi-objective geometry design optimization for the double-layered armor using Nelder-Mead optimization algorithm and integration tools of the python programming language. The optimization objectives include maximizing both average tangential velocity and high tangential velocity areas and minimizing low tangential velocity area. The design parameters include the relative position (translation and rotation) of the disc element between two armor layers. The optimized design results in a significant increase of the average tangential velocity (38%), increase of the high tangential velocity area (71.3%), and decrease of the low tangential velocity area (86.2%) as comparing to the single layer armor.