• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제11권3호
• /
• pp.177-184
• /
• 2007

The purpose of this paper is to introduce the development of a new Lesson Video-Case Lab (LVCL) program in Suzhou, China. This program involves the creation of several series of hypermedia video-cases on teaching and learning designed to facilitate mathematics teachers' professional development. Each of these video-cases consists of lesson clips, case questions, interviews with experts, comments by peers, responses by students and other related resources. The study has implications pertaining to the use of technology in teacher development, the production of hypermedia video-cases, as well as research on case-based pedagogy and pedagogy in general.

• 한국정보시스템학회지:정보시스템연구
• /
• 제17권3호
• /
• pp.111-134
• /
• 2008

As students can purchase textbooks online or from local bookstores, we proposed a model to study the predictors of textbook purchasing from online bookstores based on the theory of reasoned action (TRA) and technology acceptance model (TAM). The survey instrument consisted of 51 items to assess 10 constructs of the proposed model, where the items used to measure the constructs were adapted from previous literature. Pre-testing and pilot testing of the measures were conducted by selected users of online bookstores. Data were collected from 220 university students who have purchased and intend to purchase their textbooks from online bookstores. The findings of this research are summarized as follows. First, navigation, previous experience, and innovation have a significant impact on the buyer's perception of ease of use. Second, price and delivery services have a significant impact on the buyer's perception of usefulness. Third, the perception of ease of use also has a significant impact on the buyer's perception of usefulness. Fourth, the perception of ease of use, perception of usefulness, and subjective norms all significantly support the purchasing intention in the case of online bookstores.

• 정보화정책
• /
• 제22권3호
• /
• pp.36-46
• /
• 2015

본 연구는 청소년의 스마트폰의 중독적 사용을 설명하기 위해 이론적 모형을 제안하고 검증하였다. 연구의 목적을 위해 한국정보화진흥원의 2013년 인터넷중독 실태조사 데이터 중 중학교와 고등학교 학생 679명의 자료를 사용하였다. 본 연구에서는 제안모형과 대안모형의 비교를 위해 구조방정식 모형 검증을 활용하였다. 최종 모형 결과에 따르면, 가족관계 만족도가 높을수록 스마트폰의 중독적 사용과 청소년의 정서적 문제는 감소하였고, 스마트폰의 중독적 사용이 강할수록 청소년의 정서적 문제는 증가하였다. 또한, 가족관계는 스마트폰의 중독적 사용을 매개하여 정서적 문제에 영향을 미쳤다. 반면, 대안 모형에서 스마트폰 사용 양이 스마트폰의 중독적 사용으로 가는 경로는 유의하지 않았다. 본 연구의 결과는 가족관계가 청소년의 스마트폰의 중독적 사용과 정서적 문제를 설명하는 선행요인이 될 수 있고, 청소년의 정신건강에 있어 스마트폰의 중독적 사용을 조절하는 것이 중요함을 시사한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2006년도 춘계종합학술대회
• /
• pp.569-572
• /
• 2006

본 논문에서는 RSS 포맷으로 제공되는 문서를 사용자가 수집하고 구독할 수 있는 RSS 리더기를 설계하기 위한 요구사항 추출과 기록을 위한 분석 모델을 제시하고자 한다. 분석모델로서는 유스 케이스 모델을 채택하여 요구사항 분석과 문서화를 수행하며, 요구사항의 분석의 수단으로서는 책임주도 설계방식에 기초한다. 특정한 리더기를 전제하지 않은 분석 모델은 비즈니스 모델로 이용될 수 있다.

• 한국항해항만학회지
• /
• 제27권3호
• /
• pp.267-272
• /
• 2003

This paper describes design method of Passive-type Radar Reflector (PRR) which is to provide the requirement of newly revised 2000 SOLAS regulations on the Radar Reflector. The main target of this work is to find the optimum shape of a radar target having large Radar Cross Section (RCS). Through the RCS analysis based on the theoretical approach, two kinds of PRR models, RRR-F model for use in fisheries and PRR-S model for use in small sized ship, are designed and discussed their RCS performance. RCS measurement tests for the various sized samples are carried out in an anechoic chamber. As evaluation results it was clearly shown that the conventional sphere-type shows optimum shape in case of PRR-S, while the cylinder-type which consists of large sized corner clusters or zig-zag flat plats gives best performance in case of PRR-F.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2004년도 추계 학술발표회 제16권2호
• /
• pp.285-288
• /
• 2004

Generally, the autogenous shrinkage of high performance concrete is important in that it can lead the early cracks in concrete structures. In the previous study, The. autogenous shrinakge of HPC was found to decrease with incresing expansive additive and shrinakge reduction agent. In case of combined use, the autogenous shrinakge was more reduction than in case separate use. The purpose of this study is to derive a realistic equation to estimate the autogenous shrinakge model of high performance concrete with exapnsive agent and shrinakge reduction agent. investigated the durability of high performance concrete using expansive additive and shrinkage reducing agent. The proposed equation showed reasonably good correlation with test data on autogenous shrinakge of high performance concrete with material for shrinkage reduction.

• 한국도로학회논문집
• /
• 제18권6호
• /
• pp.153-160
• /
• 2016

OBJECTIVES : The objective of this study is to develop a traffic accident model of a roundabout based on the type of land use. METHODS : The traffic accident data from 2010 to 2014 were collected from the "traffic accident analysis system (TAAS)" data set of the Road Traffic Authority. A multiple linear regression model was utilized in this study to analyze the accidents based on the type of land use. Variables such as geometry and traffic volume were used to develop the accident models based on the type of land use. RESULTS : The main results are as follows. First, the null hypothesis that the type of land use does not affect the number of accidents is rejected. Second, four accident models based on the type of land use have been developed, which are statistically significant (high $R^2$ values). Finally, the total entering and circulating volumes, area of the central island, number of speed breakers, mean number of entry lanes, diameter of the inscribed circle, mean width of the entry lane, area of the roundabout, bus stops, and number of circulatory roadways are analyzed to see how they affect the accident for each type of land use. CONCLUSIONS : The development of the accident models based on the type of land use has revealed that the accident factors at a roundabout are different for each case. Thus, more speed breakers in commercial areas and an inscribed circle of proper diameter in commercial and residential areas are determined to be important for reducing the number of accidents. Additionally, expanding the width of the entry lanes, decreasing the area of the roundabouts in residential areas, and reducing the conflict factors such as bus stops in green spaces are determined to be important.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.211-223
• /
• 2001

본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

• 정보과학회 논문지
• /
• 제44권3호
• /
• pp.261-274
• /
• 2017

가변성 관리는 시스템이 어느 정도까지의 복잡성을 처리할 수 있는가를 정의하는 가장 중요한 기준이다. 대부분의 요구 공학 연구에서는 시스템이 동작하는 환경에 대해 많은 부분을 간과하거나 추측하는 수준에 그치고 있다. 그러나 실시간 시스템에서는 본질적으로 변화하는 컨텍스트를 관찰하고 조정하는 것은 중요한 요소이다. 본 연구에서는 i* 목표 모델, 문제 프레임, 유즈 케이스 맵, 라이브 시퀀스 차트를 활용하여 다양한 컨텍스트에 적합한 요구사항을 식별할 수 있는 프레임워크를 제안하며 스마트 그리드의 실시간 가격 정책 변화 시스템을 사례 연구로 활용하여 제안하는 프레임워크를 단계별로 자세하게 설명한다. 사례 연구를 통해 제안방법에서 유즈 케이스 맵과 라이브 시퀀스 차트를 활용한 시나리오 정교화 과정이 초기 컨텍스트 분석 및 검증에 도움을 주는 것을 보여주며 장애물 및 충돌 분석을 위한 요구사항을 정교화함으로써 요구공학 엔지니어들이 시스템의 건장성을 증가시키는 것을 도와줄 수 있음을 증명한다. 이처럼 제안하는 프레임워크는 이론적인 방법과 실증적인 사례를 통해 평가된다.

• 설비공학논문집
• /
• 제28권10호
• /
• pp.381-386
• /
• 2016

An optimization algorithm is developed based on a simulation case of a single family house model equipped with PV arrays. To increase the nationwide use of PV power generation facilities, a market-competitive electricity price needs to be introduced, which is determined based on the time of use. In this study, quadratic programming optimization was applied to minimize the electricity bill while maintaining the indoor temperature within allowable error bounds. For optimization, it is assumed that the weather and electricity demand are predicted. An EnergyPlus-based house model was approximated by using an equivalent RC circuit model for application as a linear constraint to the optimization. Based on the RC model, model predictive control was applied to the management of the cooling load and electricity for the first week of August. The result shows that more than 25% of electricity consumed for cooling can be saved by allowing excursions of temperature error within an affordable range. In addition, profit can be made by reselling electricity to the main grid energy supplier during peak hours.