• 제목/요약/키워드: QuickCheck

검색결과 53건 처리시간 0.028초

신속한 평가결과를 제공하는 웹기반 프로그래밍 교육시스템 (Web-based programming education system for providing rapid grading result)

  • 류혜정;박소영;심동욱
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2009년도 춘계학술대회
    • /
    • pp.511-514
    • /
    • 2009
  • 최근 웹은 교육 분야에서 이전보다 더 많이 활용되고 있다. 기존 웹기반 프로그래밍 교육 시스템은 학습자가 언제 어디서나 프로그래밍 과제를 제출한 후 컴파일 오류와 실행오류를 확인할 수 있도록 도와준다. 그러나 기존 시스템에서는 정답과의 일치 여부, 표절검사, 제한시간 내의 제출 여부 등에 관한 세부적인 평가결과를 제공하지 않는다. 본 논문에서는 신속한 평가결과를 제공하는 웹기반 프로그래밍 교육시스템을 제안한다. 이 시스템에서 표절검사는 이전의 학습자가 업로드한 파일만을 대상으로 비교하여 검사하므로, 피드백을 바로 제공할 수 있다. 제안하는 웹기반 프로그래밍 교육 시스템은 실제 약 40명의 학생들을 대상으로 하는 C 프로그래밍 언어 수업에 적용하였다. 제안하는 시스템은 신속한 피드백을 통해 학생들의 참여도를 개선하였다.

  • PDF

Design and Development of Big Data Platform based on IoT-based Children's Play Pattern Analysis

  • Jung, Seon-Jin
    • International Journal of Internet, Broadcasting and Communication
    • /
    • 제12권4호
    • /
    • pp.218-225
    • /
    • 2020
  • The purpose of this paper is to establish an IoT-based big data platform that can check the space and form analysis in various play cultures of children. Therefore, to this end, in order to understand the healthy play culture of children, we are going to build a big data platform that allows IoT and smart devices to work together to collect data. Therefore, the goal of this study is to develop a big data platform linked to IoT first in order to collect data related to observation of children's mobile movements. Using the developed big data platform, children's play culture can be checked anywhere through observation and intuitive UI design, quick information can be automatically collected and real-time feedback, data collected through repeaters can be aggregated and analyzed, and systematic database can be utilized in the form of big data.

분산전원 전력품질 모니터링 시스템을 위한 임베디드 하드웨어 테스트 (Embedded Hardware Tests for a Distributed Power Quality Monitoring System)

  • 신명준;김성종;손영익
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2006년 학술대회 논문집 정보 및 제어부문
    • /
    • pp.151-153
    • /
    • 2006
  • When distributed powers are interconnected to the grid, lack of source stability may cause some events that should be measured and stored as soon as they occur. This paper presents a real-time hardware system that has been developed for quick and reliable monitoring of the distributed powers quality. The system is composed of a digital signal processor (MPC7410, Motorola) and a 16 bits A/D board (VMIVME3122, GE). To guarantee the real time operation, it is based on a real time OS (VxWorks). Hardware tests of the embedded system have been made to check the performances of the proposed system. Test signals of several events are generated by using a LabView (hardware) system. The tests show that the system complies with the desired IEEE standard for power quality monitoring.

  • PDF

Calibration of $^{192}Ir$ HDR Brachytherapy Source in Air and in a Cylindrical Phantom

  • Djarwani S. Soejoko;I, Arief-Riva'
    • 한국의학물리학회:학술대회논문집
    • /
    • 한국의학물리학회 2002년도 Proceedings
    • /
    • pp.23-27
    • /
    • 2002
  • Two $^{192}$ Ir HDR brachytherapy sources were calibrated with a Farmer ionization chamber in air method and in a PMMA cylindrical phantom. The calibration air method used ionization chamber with buildup cap, and 8 variation distances for center-to-center of the source to chamber. In the optimum distance the measured activity, especially for the high activity source, deviation was 0.3% from the activity provided by manufacturer. Calibration with a PMMA cylindrical phantom was less sensitive, and suitable for quick check method with accuracy less than 10%.

  • PDF

Development of the Smart Belt System for Preventing Loss of Items using Beacon

  • Kim, MyeongSeon;Joo, JinHyeon;Park, GeunDuk
    • 한국컴퓨터정보학회논문지
    • /
    • 제22권8호
    • /
    • pp.9-14
    • /
    • 2017
  • In this paper, we propose the smart belt system for preventing loss of items using Beacon. The proposed system monitors the distances of the registered items via the belt that is always worn. The belt determines the loss of the items by measuring the relative distance via RSSI (Received Signal Strength Indicator) value of the signals received from the BLE (Bluetoothl Low Energy) sensor, which is attached on the items such as bags and wallets. If the registered item is determined to be lost, the belt rings to remind the user of the loss. The missing status could be known to users through the smartphone application connected to the belt. The smartphone application communicates with the belt using Beacon, and provides users with a quick and easy way to check the status of their items.

해석해를 이용한 질량변화가 있는 위성 부품에 대한 발사시 열해석 (Launch Stage Thermal Analysis on a Mass Varying Satellite Box by Analytical Solutions)

  • 최준민;김희경;현범석
    • 대한기계학회:학술대회논문집
    • /
    • 대한기계학회 2003년도 추계학술대회
    • /
    • pp.163-168
    • /
    • 2003
  • Analytical approach is applied to predict temperature of satellite box under worst hot condition from fairing jettison to separation. The box is tried to solve analytically which is exposed to known environmental heating condition and has internal heating and irradiation to space. For a single thermal mass, governing equation for temperature is simplified to 1st order ordinary differential equation(ODE) by several assumptions. Two cases are considered. The one is for constant mass box and the other is for mass-varying box. Each case has three different analytical solution by sign of constant term in ODE. One analytical solution for constant mass is applied to physical launch stage condition. It is concluded that the present analytical method can be used to quick predict the temperature of a satellite box and check whether a satellite is safe against space environment during launch stage.

  • PDF

점도보정을 고려한 펌프선정 프로그램 개발 (Development of Pump Selection Computer Program with Pump Performance Viscosity Correction Function)

  • 김진권;전상규
    • 유체기계공업학회:학술대회논문집
    • /
    • 유체기계공업학회 2004년도 유체기계 연구개발 발표회 논문집
    • /
    • pp.189-192
    • /
    • 2004
  • Utilizing pump selection softwares is becoming a new general trend in pump industries, substituting the old fashioned pump catalogs. One of the most powerful pump selection softwares is developed, which features pump performance viscosity correction function as well as pump selection based on the exact pump performance curves, NPSH warning, automatic determination of impeller diameter cutting to meet the customer's performance specification, performance simulation for the rpm and diameter variation, standard motor recommendation according to the motor standards and enclosure types and automatic pump datasheet generation for sales submission, automatic pump drawings and dimension generation for installation check and part preparation. This software provides pump distributors and customers with a quick, easy and exact pump selection, various performance curves review (system curves, performance curve of series or parallel operation) of the selected pumps.

  • PDF

산업체에서 제품 개발을 위한 감각과학의 활용과 소비자 연구: 다류와 화장품 분야를 중심으로 (Application of sensory science for product development in tea and cosmetic industry)

  • 김영경
    • 식품과학과 산업
    • /
    • 제52권1호
    • /
    • pp.11-19
    • /
    • 2019
  • Various sensory technologies have been used at different stages of product development. In this paper, the examples of sensory studies in teas and cosmetics were shown, and these could help to increase the contribution of sensory sciences to the development of products in the industry. In classical approach, descriptive analysis with trained panel and consumer acceptability test are very important to identify the sensorycharacteristicsthatdriveconsumeracceptability of products. Recently, some quick and easy sensory evaluation methods were introduced such as CATA (check-all-that-apply), sorting, and $Napping^{(R)}$, etc. to gather information about consumers' perception of the sensory characteristics of products. Although there are many sensory methodologies available in the product development phase, the most important thing is that these have to be correctly selected and designed for target consumers, products, and research purposes in order to develop a successful product.

Shear behavior of a demountable bolted connector in steel-UHPC lightweight composite structures

  • Gu, Jin-Ben;Wang, Jun-Yan
    • Structural Engineering and Mechanics
    • /
    • 제81권5호
    • /
    • pp.551-563
    • /
    • 2022
  • Bolted connector could be an alternative to replace the conventional welded headed stud in steel-ultra high performance concrete (UHPC) lightweight composite structures. In this paper, a novel demountable bolted shear connector, consisting of a high-strength bolt (HSB) and a specially-designed nut which is pre-embedded in a thin UHPC slab, is proposed, which may result in the quick installation and disassembly, due to the mountable, demountable and reusable features. In order to study the shear behavior of the new type of bolted shear connector, static push-out tests were conducted on five groups of the novel demountable bolted shear connector specimens and one group of conventional welded headed stud specimen for comparison. The effect of the bolt shank diameter and aspect ratio of bolt on failure mode, shear stiffness, peak slip at the steel-UHPC interface, shear strength and ductility of novel bolted connectors is investigated. Additionally, design formula for the shear strength is proposed to check the suitability for assessment of the novel demountable bolted shear connectors.

새로운 急速 工具壽命 試驗法에 관한 硏究 II (A Study of New Quick Tool-Life Testing Method (II) - The Developement a New Testing Method of Step-Cutting -)

  • 오양균;정동윤
    • 대한기계학회논문집
    • /
    • 제11권1호
    • /
    • pp.154-159
    • /
    • 1987
  • 본 논문에서는 제1보의 결과를 이용하여 절삭속도가 서로 다른 경우의 공구마 멸량을 단일공구에 집적하여 측정할 수 있는지의 가능성 여부를 검토한 후, 절삭속도 를 단계별로 변화시키면서 단일공구로 측정한 각 절삭속도에서의 마멸량(단계절삭자료 라 한다)을 이용하여 측면마멸곡선의 일반모델상수를 결정할 수 있는 계단절삭공식을 유도하였다. 또한 결정된 일반모델상수를 이용하여 Taylor지수와 상수를 구할 수 있 는 수정 Taylor방정식을 제시하고, 공구수명곡선을 구하였다. 그리고 본 연구결과의 신뢰성을 검증하기 위하여 SM45C, P20, 0.3mm/rev., 1.5mm(절삭깊이)의 절삭조건에서 절삭시간과 속도를 변수로 한 기존 시험법의 결과와 비교하였다.