• 한국수학교육학회지시리즈A:수학교육
• /
• 제46권1호
• /
• pp.97-122
• /
• 2007

This article provides how to implement the use of Realistic Mathematics Education (RME) in a teaching a function at a school to improve students' mathematization for their mathematical thinking using technology, This study was planed to get research results using the mixed methodology with quantitative and qualitative methodologies. 120 middle school students participated in the study to bring us data about their mathematical achievement and disposition. Through the data analysis used ANCOVA, the students with the experiment of the mathematization and technology excelled the other groups of students who were not provided with technology or both of them. In analysis of the questions of the achievement test, the problems for vertical mathematization were presented harder for the students than the other problems for horizontal and applicative mathematization. The technology environment might have helped students manipulate the application of real-life problems easier. This means that teachers can put more careful assignment on vertical mathematization using technology. We also explored that learning and teaching under RME using technology encouraged students to refine and develop their informal functional concept and pursue higher thinking of formalization. The study results in a lot of resources for teachers to use into their teaching mathematics for improving students' mathematical thinking.

• 대한방사선기술학회지:방사선기술과학
• /
• 제1권1호
• /
• pp.25-29
• /
• 1978

This study was done for the purpose of graphing rather improved technique through reviewing conventional technigue of the thoracic vertebrae lateral projection. The roentgenographic images which were taken at Korea University Hospital from January, 1976 to December, 1977 were observed for this study. The results were as belows: 1. The quality of diagnostic radiograph turned out that good is 21.4%, intermediate is 40.7% and poor is 37.9%. 2. The poor quality of images the caused by overlapping shadows(59.6%), incorrect position of patients(15.0%), motion of patients(7.5%), over-exposure(8.3%), under-exposure(6.7%) and processing faults(2.9%). The images were taken by following four methods of experiments were campared and researched in order to improve the problems of conventional technigues which were came out on the poor radiographes. 1. (Method 1) Low mA-long time exposure during normal respiration 2. (Method 2) Short time exposure during normal respiration 3. (Method 3) After deep inspiration, short time exposure during expiration 4. (Method 4) After full expiration, short time exposure during inspiration. In a result of the above experiments, it was found that the improved image could be got from the method 3.

• 정보처리학회논문지D
• /
• 제16D권6호
• /
• pp.911-920
• /
• 2009

항공 소프트웨어가 FAA(미국연방항공청)에 승인받기 위해서는 DO-178B 표준에 따라야 한다. DO-178B에서는 안전 필수 소프트웨어의 단위 테스트가 MC/DC 기준을 만족하기를 요구하고 있다. MC/DC에 따른 테스트는 안전성과 관련된 오류를 효과적으로 찾을 수 있는 수단으로 알려져 있지만 MC/DC를 만족하는 테스트 케이스를 생성하는 작업이 용이하지 않는 것도 사실이다. 이 논문에서는 MD-SAT이라고 명명한 SAT(SATisfiability) 기술을 사용하여 MC/DC를 만족하는 테스트 케이스를 자동으로 생성하는 도구에 대해 소개한다. 이 도구는 결정표 기반 테스트, 인과 그래핑 및 상태 전이 테스트 방법을 구현한 도구에서 보다 다양한 테스트 케이스 생성을 위해 사용될 수 있다.

• Nuclear Engineering and Technology
• /
• 제54권2호
• /
• pp.770-780
• /
• 2022

In 1993 the University of Extremadura initiated the design, construction and management of the Radiological Alert Network of Extremadura (RAREx). The goal was to acquire reliable near-real-time information on the environmental radiological status in the surroundings of the Almaraz Nuclear Power Plant by measuring, mainly, the ambient dose equivalent. However, the phased development of this network has been carried out from two points of view. Firstly, there has been an increase in the number of stations comprising the network. Secondly, there has been an increase in the number of monitored parameters. As a consequence of the growth of RAREx network, large data volumes are daily generated. To face this big data paradigm, software applications have been developed and implemented in order to maintain the indispensable real-time and efficient performance of the alert network. In this paper, the description of the current status of RAREx network after 30 years of design and performance is showed. Also, the performance of the graphing software for daily assessment of the registered parameters and the automatic on real time warning notification system, which aid with the decision making process and analysis of values of possible radiological and non-radiological alterations, is briefly described in this paper.

• 문화기술의 융합
• /
• 제10권1호
• /
• pp.551-557
• /
• 2024

수소는 청정, 무탄소, 고에너지등 다양한 특징을 가진 재생에너지원으로 국제적으로 '미래에너지'로 인정받고 있다. 수소에너지 산업의 급속한 발전과 더불어 수소 수요를 충족시키기 위하여 더 많은 수소 인프라가 필요한 실정이다. 그러나 수소 인프라 사고가 빈번한 발생함으로 인해, 수소산업 발전에 걸림돌이 되고 있다. 미국 Sandia National Laboratories에서 개발한 HyRAM+는 수소충전소를 포함한 다양한 저장 응용 분야에 대한 수소 안전 평가와 관련된 데이터와 방법을 통합하는 소프트웨어 툴킷이다. HyRAM+의 물리 모드는 수소충전소 컴포넌트에 따라 수소누출 결과를 모사하여 가스 플룸 분산, 제트 프레임 온도와 궤적 그리고 복사 열속 등을 그래프로 나타낸다. 본 논문에서는 강원도 삼척시에 있는 수소충전소를 대상으로하여 HyRAM+ 소프트웨어를 이용하여 수소 누출 데이터를 추출하였다. HyRAM+에서 추출한 데이터를 이용하여 수소 누출(Leakage) 발생 시뮬레이터를 개발하였다. 데이터베이스와 그라파나(Grafana)를 이용하여 시뮬레이터에서 발생한 데이터를 보여주는 대쉬보드(Dashboard)로 구현하였다.

• 한국학교수학회논문집
• /
• 제7권2호
• /
• pp.81-97
• /
• 2004

본 논문은 그래픽 계산기를 활용한 이산수학의 ‘행렬과 그래프’개념의 이해과정에 관한 연구이다. 본 연구의 목적을 위해 우리는 TI-92 계산기를 활용하여 ‘행렬과 그래프’ 개념을 학습해 가는 두 명의 중학생을 조사하였다. 이 과정에서 우리는 켐코더나 녹음기를 활용하여 질적자료를 수집하였으며 이 자료들을 테크놀로지에 관한 학생들의 태도, 용어의 의미 이해, 행렬 연산의 이해 과정, 수학적 의사소통 등으로 범주화하였다. 이로부터 우리는 다음과 같은 결론을 얻었다. 첫째, 학생들은 그래픽 계산기를 활용하여 행렬의 의미와 역할을 그들 스스로 탐구하였으며 계산기는 이 과정에서 훌륭한 학습동반자 역할을 수행하였다. 둘째, 탐구과정에서 학생들이 오류를 범했을 때 그래픽 계산기가 에러메시지를 곧바로 출력함으로써 학생들의 자기주도적 학습을 가능하게 하였다. 셋째, 계산기는 교사와 학생들간, 혹은 학생들 사이의 수학적 의사소통을 강화시키는 역할을 하였다.

• 한국과학예술포럼
• /
• 제25권
• /
• pp.103-118
• /
• 2016

ICT의 비약적인 발전으로 기업 비즈니스 모델이 빠르게 변화했으며 더불어 급진적인 IT기술의 성장으로 순차적 혹은 점진적인 생존이 어렵게 되었다. IT서비스와 같이 인터넷을 기반으로 둔 새로운 사업들은 기존에 존재하지 않는 융·복합적인 새로운 비즈니스 모델을 찾으며 더욱 경쟁력 있는 비즈니스 모델을 만들어 내고자 고민하고 있지만, 과거에 성공했던 비즈니스 모델은 그 경제적인 효율성에 소멸되고 있다. 그러나 인터넷을 통한 플랫폼의 경우 플랫폼의 가치가 급격히 높아지는 임계점 도달이 기존에 비해 빠른 속도로 일어나게 되었기 때문에 모든 비즈니스에 있어서 비즈니스의 급격한 팽창을 위한 플랫폼화가 매우 중요한 조건이 되었다. 본 연구에서는 IT서비스 기획에 있어서 플랫폼 비즈니스 모델 수립의 필요성을 분석하고, 플랫폼 비즈니스 모델 사례들을 분석함으로써 플랫폼 비즈니스 모델의 특징을 도출하였다. 연구결과, 도출된 특징들은 첫째, 충분한 구매자와 판매자를 확보해야하고 둘째, 고객들에게는 해당 플랫폼만의 차별적인 가치가 창출되어 제공되어야 하며 셋째, 플랫폼 주도 기업과 참여자, 또는 참여자 간 공동의 이익이 존재해야 한다. 그리고 넷째로, 참여자의 기반 확대와 업그레이드, 인접 분야 확장 등으로 지속적인 확장성을 가지고 있어야 하며, 진화가 지속되어야 한다는 것이다. 도출된 특징들은 플랫폼 비즈니스 모델 수립과 서비스기획의 도식화에 많은 영향력을 미칠 것을 기대하며, 본 연구를 시작으로 연구에 언급되지 않은 플랫폼 비즈니스 수익모델의 이론이 정립되어 플랫폼 기반 IT서비스 기획을 하는 기획자들이 기획 초안 다지기에 있어서 보다 더욱 시간을 줄이고 큰 그림을 그려갈 수 있는 길이 될 수 있길 기대해본다.