• The KIPS Transactions:PartA
• /
• v.13A no.6 s.103
• /
• pp.481-488
• /
• 2006

FRP(Functional Reactive Programming) is a kind of embedded language in Haskell, it declaratively program reactive system based on two essential high-order types named behavior and events. This Paper design and implementation RT-FRP(Real-time Functional Reactive Programming) translator for using FRP in embedded systems with many constraints. The RT-FRP translator generates a C Program from an RT-FRP program according to the operational semantics of the RT-FRP language. To show the effectiveness of the RT-FRP translator, we loaded and executed the test program generated by the translator onto a real embedded system, LEGO Mindstorm. According to the experimental result, the reactive system software can be programmed more concisely using RT-FRP than using an imperative counter part although the size of the binary code is rather increased.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.214-214
• /
• 2023

네트워크로 구성된 시스템은 물질, 에너지, 신호 등의 입력(input)이 주어졌을 때, 경로 추적, 즉 라우팅(routing)을 통해 출력(output)으로 연결되고, 이를 반응함수로 나타낼 수 있다. 같은 입력값이라도 네트워크에 따른 연결 구조와 라우팅 과정에서 소요되는 시간차에 따라 출력값이 달라질 수 있다. 좋은 예로 강우에 따른 유출반응함수를 나타내는 자연 하천망을 들 수 있다. 이론적으로 순간의 입력이 주어졌을 때 (입력의 지속시간이 0), 출력은 순간반응함수로 표현된다. 자연 하천망에 대한 선행연구에서는 강우강도에 따라 순간반응함수가 변화한다는 비선형성이 알려졌다. 하지만, 비선형성을 가져오는 물리적 과정에 대해서는 많은 연구가 필요하다. 이 연구는 격자 형태로 주어진 임의의 네트워크에서 각 격자에 대해 순간반응함수를 구하는 분포형 모형을 제시한다. 입력자료와 라우팅 방법에 따른 연결 구조 및 순간반응함수의 변화를 격자 별로 확인하고, 이를 통해 시스템의 비선형성을 고려할 수 있는지 고찰하였다.

• 한국신재생에너지학회:학술대회논문집
• /
• 2010.11a
• /
• pp.113.1-113.1
• /
• 2010

본 연구에서는 중 소형 SOFC에 적용할 수 있는 연료 변환 시스템으로 자체 기동 및 독립운전이 가능한 천연가스 자열개질(ATR) 반응기를 $10Nm^3/hr$급으로 개발하고자한다. 설계된 천연가스 자열개질기는 자열개질 촉매를 코팅한 금속 모노리스형 촉매체를 반응기 내에 장착함으로써 반응열을 신속하게 제거 또는 공급할 수 있는 시스템으로 구성되었다. 이는 금속 모노리스의 뛰어난 열전도 능력에 의해 반응기 내의 촉매층 전체 온도 분포를 균일하게 유지할 수 있는 저에너지형 자열개질 반응기이다. 또한 빠른 기동 특성을 실현하기 위하여 전기 발열식 촉매체(EHC ; Electically Heated Catalyst)를 장착한 start-up 시스템을 적용하여 천연가스 자열개질 반응기의 신속한 기동과 장치 간편화를 실현하였으며, 합성 syngas의 배열 회수를 위한 최적 열교환 시스템을 설계/적용함으로써 에너지 효율 향상을 도모하였다. 이와 같은 촉매 및 구조 시스템을 가지는 천연가스 자열개질 반응용 소형 연료변환 시스템을 원통형의 이중관 구조로 구성하고, 독립운전 모드로 개발함으로써 소형 SOFC의 연료 변환장치의 적용에 용이하게 하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.250-252
• /
• 2012

안전, 보안 필수 시스템들과 같이 정확성(Correctness)와 고 무결성(High-Integrity)이 필수인 시스템 개발을 위해 오류의 근원인 결점들을 초기에 제거하고 예방하는 Correctness by Construction 개발방법론이 제시되었다. 하지만 Correctness by Construction 방법론에서 제어정보를 표현하는 액티비티가 존재 하지 않아 반응형 시스템과 같이 제어부분이 중요한 시스템에 적용하기가 쉽지 않다. 본 논문에서는 Correctness by Construction프로세스에 제어 정보을 명세, 개발하는 프로세스를 추가한 Correctness by Construction 프로세스를 제안한다. 또한 철도제어 시스템 중 거리제어모듈 개발에 적용을 하여 사례 연구를 수행한다.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2013.08a
• /
• pp.322-322
• /
• 2013

$CO_2$를 $CH_4$와 열 및 전기화학적인 반응을 통해 고농도의 CO 및 $H_2$로 구성된 합성가스로 효율적으로 전환시키기 위해, 반응가스 주입용 간극형 노즐을 가진 비이송식 직류 열플라즈마 토치 시스템을 설계, 제작하고 다양한 조건에서 이 두 가스의 개질 실험을 수행하였다. 설계 제작된 간극형 노즐과 리액터 내 고온 반응 영역을 활용한 $CO_2$ 및 $CH_4$ 반응가스의 효율적인 처리를 통하여, 최고 70% 이상의 $CO_2$ 및 $CH_4$의 전환율과 최고 80% 이상의 CO 및 $H_2$선택도를 달성할 수 있음을 확인하였다. 또한, 상기 조건의 경우, 플라즈마 입력 전력 10.6 kW 대비 49 lpm 의 반응가스 처리량을 통하여 얻은 것으로 최고 2.5 mmol/kJ 이상의 Specific Energy Requirement (SER) 조건도 만족할 수 있음을 보였다. 특히, 제안된 막대 음극-반응 가스 주입구를 가진 양극 노즐 플라즈마 토치의 경우, $CH_4$ 반응가스를 음극에 직접 닿지 않도록 간극을 통해 주입하게 함으로써, 반응 가스 분해에 의한 음극 등 전극 부식을 최소화하면서도 고에너지 전자가 풍부한 아크 컬럼에 의해 $CO_2$ 및 $CH_4$의 전환 반응을 효율적으로 일으킬 수 있어 효율적인 $CO_2$ 및 $CH_4$ 개질을 위한 열플라즈마 토치 시스템의 개발이 기대된다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2023.05a
• /
• pp.292-294
• /
• 2023

본 연구는 가상 항로표지 정보 서비스의 구현과 그 시스템 통합 방안에 대하여 기술한다. 제안하는 가상 항로표지 정보 서비스는 웹 표준을 준수하여 반응형 웹(Responsive Web) 기반 정보 서비스로 구현되었다. 따라서 사용자가 웹 브라우저 환경에 상관없이 가상·합성항로표지를 통합적으로 관리 및 운영하는 것이 가능하다. 향후 해양 디지털 항로표지 정보협력시스템과 연계 및 통합하기 위해, 백엔드 구성 등 시스템 통합 방안을 제시하였다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.4
• /
• pp.431-438
• /
• 2003

In this study, we have developed a web-based adaptive testing system using item response theory´s computerized adaptive testing to diagnose underachievers, and to check the evaluation results immediately. Adaptive testing system simple is not the fact that it presents a question to students. It calculates information of a question and presents the question to students. It controls the response of the students under extraction conditions of the next question. It extracts the question which is the most suitable it presents. In this adaptive testing system, you can extract questions according to the level of the students, and adjust the length and the level of the difficulty according to the response of the students.

• The Magazine of the Society of Air-Conditioning and Refrigerating Engineers of Korea
• /
• v.32 no.11
• /
• pp.26-31
• /
• 2003

가스터빈/연료전지 혼합형 발전시스템은 고온형 연료전지 발전시스템의 산화제(공기) 공급부가 마이크로터빈으로 대체되어 고온고압의 공기가 연료전지로 공급되고 연료전지의 반응가스가 터빈을 구동하여 두 시스템이 동시에 서로 다른 방식으로 전력을 생산하는 시스템을 의미한다.

• Proceedings of the Korea Contents Association Conference
• /
• 2018.05a
• /
• pp.183-184
• /
• 2018

본 연구는 늘 접속되어 있는 디지털 고객들을 우선으로 한 모바일 우선주의 관점의 반응형 웹 디자인 패턴에 관한 연구이다. 현황파악 및 분석을 위해 WEB AWARD KOREA 모바일 부분 대상 수상작을 중심으로 반응형 웹 디자인 패턴 및 웹 그리드 시스템을 조사, 분석했다. 이를 통해 모바일에서부터 최적화된 반응형 웹 디자인 패턴을 적용한 디자인 모델을 제안하였고, 향후에는 실제 사이트에 적용하여 사용성을 검증하고 궁극적으로는 지속적으로 늘어나는 디지털 고객을 위한 반응형 웹 디자인 표준화 작업을 위한 기초가 될 것이다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.10
• /
• pp.793-799
• /
• 2009

Esterel is an imperative synchronous language that is well-adopted to specify reactive systems. Programmers sometimes want simple validations that can be applied while the system is under development. Since a reactive system reacts to environment changes, a test data is a sequence of input events. Generating proper test data by hand is complex and error-prone. Although several test data generators exist, they are hard to learn and use. Mostly, system designers need test data to reach a specific status of a target program. In this paper, we develop a test data generator to generate test input sequences for debugging Esterel programs. Our tool is focused on easy usage; users can describe test data properties with simple specifications. We show a case study in which the test data generator is used for a practical development process.