• 제목/요약/키워드: case checking

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

문화콘텐츠 산업의 지역경제적 효과분석 -제주지역 문화산업 사례분석을 통하여- (Effect Analysis Focused on Region Economic in Culture Content Industry -Case Analysis of Culture Industry in Jeju Region-)

  • 노규성;김민철;김인환
    • 디지털융복합연구
    • /
    • 제2권1호
    • /
    • pp.9-23
    • /
    • 2004
  • The purpose of this paper is to analyze quantitative and qualitative effects through input-output analysis and AHP(Analytic Hierarchy Process) method for checking the effects inducing high value to Jeju region economy by culture industry. In analysis results, Investment to culture industry has a positive effect on Income effect, employment effect, linking the other industry on Jeju region economy. And so, for activation of the Jeju region economy, Culture Industry based on Knowledge should be cultivated.

  • PDF

시각 장애인을 위한 비디오 기반 보행거리 측정 (Video-based Walking Distance Measurement for the Visually Impaired)

  • 박수우;송병섭;도용태
    • 제어로봇시스템학회논문지
    • /
    • 제15권2호
    • /
    • pp.139-147
    • /
    • 2009
  • When the visually impaired walks inside a building like corridor, a GPS cannot be useful for the walker in estimating his or her position unlike the case of outdoor space. This paper presents two novel methods to measure the walking distance using a low cost camera worn on the chest of the visually impaired. In the first method we analyze the periodic variation of image focusing values. Walking steps are counted by checking the period for the rough measure of the walking distance. The second method counts the step number by monitoring fixtures on the ceiling, which have a certain interval. Lamps on the ceiling appeared on the video are monitored in this paper. The T-S fuzzy theory is used to detect lamps, and the walking steps are estimated by the positional variation of the lamp due to the gait of the walker. The two methods are tested in real experiment, and the results are compared.

A Comparative Study of Formal Methods for Safety Critical Software in Nuclear Power Plant

  • Sedo Sohn;Seong, Poong-Hyun
    • Nuclear Engineering and Technology
    • /
    • 제32권6호
    • /
    • pp.537-548
    • /
    • 2000
  • The requirement of ultra high reliability of the safety critical software can not be demonstrated by testing alone. The specification based on formal method is recommended for safety system software. But there exist various kinds of formal methods, and this variety of formal method is recognized as an obstacle to the wide use of formal method. In this paper six different formal method have been applied to the same part of the functional requirements that is calculation algorithm intensive. The specification results were compared against the criteria that is derived from the characteristics that good software requirements specifications should have and regulatory body recommends to have. The application experience shows that the critical characteristics should be defined first, then appropriate method has to be selected. In our case, the Software Cost Reduction method was recommended for internal condition or calculation algorithm checking, and statechart method is recommended for the external behavioral description.

  • PDF

Development and Evaluation of PDF Report Annotation Tool GABA Facilitating Comment Reuse

  • Kakeshita, Tetsuro;Motoyama, Shoichi
    • International Journal of Contents
    • /
    • 제9권2호
    • /
    • pp.22-26
    • /
    • 2013
  • Comparing online and paper-based environment for report submission and correction, the former supersedes to the latter, since (1) the turn-around time becomes shorter, (2) teaching opportunity increases, and (3) as a consequence, the student's achievement level becomes higher in the online environment. In this paper, we propose an annotation tool GABA for PDF document in order to reduce correction time by the teachers and to facilitate instruction to students. In a usual class, the same or similar assignments are given to the students. Then it is often the case that many students make similar mistakes. A teacher can register and classify common correction comments to GABA. Report correction time becomes significantly shorter by reusing the registered comments. GABA also provides various support functions in order to assist efficient checking of numerous report files such as (1) sorting of frequently-used comments, (2) similarity-based file sorting, and (3) cross tabulation of comments using category and weight.

신용카드 부정사용 거래 예방을 위한 대처 방안 연구 (Research of method prevent to illegal use of Credit Card)

  • 부창희;전문석
    • 디지털산업정보학회논문지
    • /
    • 제8권3호
    • /
    • pp.147-156
    • /
    • 2012
  • Most people in our society use credit card instead of cash or check, so credit card is very important economic method. Credit card supposed to be safe, but hackers hack credit card for illegal deal. Also hackers make fake credit card and issue fake credit card to other people. In this thesis it will study and analyze damage case for safe credit card deal. It will use safe credit card system to insert variety of information and data of using pattern in artificial intelligence network, so print out the possibility of risk and monitor the risk of credit card user's deal pattern, so if one of user's pattern is different than normal pattern, it will pop up message in consultant's screen. This thesis will study and suggest way of prevent from illegal deal and user friendly credit card checking system.

역전파 알고리즘을 이용한 상수도 일일 급수량 예측 (Forecasting of Urban Daily Water Demand by Using Backpropagation Algorithm Neural Network)

  • 이경훈;문병석;오창주
    • 상하수도학회지
    • /
    • 제12권4호
    • /
    • pp.43-52
    • /
    • 1998
  • The purpose of this study is to establish a method of estimating the daily urban water demend using Backpropagation algorithm is part of ANN(Artificial Neural Network). This method will be used for the development of the efficient management and operations of the water supply facilities. The data used were the daily urban water demend, the population and weather conditions such as treperarture, precipitation, relative humidity, etc. Kwangju city was selected for the case study area. We adjusted the weights of ANN that are iterated the training data patterns. We normalized the non-stationary time series data [-1,+1] to fast converge, and choose the input patterns by statistical methods. We separated the training and checking patterns form input date patterns. The performance of ANN is compared with multiple-regression method. We discussed the representation ability the model building process and the applicability of ANN approach for the daily water demand. ANN provided the reasonable results for time series forecasting.

  • PDF

Memory-based Pattern Completion in Database Semantics

  • Hausser Roland
    • 한국언어정보학회지:언어와정보
    • /
    • 제9권1호
    • /
    • pp.69-92
    • /
    • 2005
  • Pattern recognition in cognitive agents is based on (i) the uninterpreted input data (e.g. parameter values) provided by the agent's hardware devices and (ii) and interpreted patterns (e.g. templates) provided by the agent's memory. Computationally, the task consists in finding the memory data corresponding best to the input data, for any given input. Once the best fitting memory data have been found, the input is recognized by applying to it the interpretation which happens to be stored with the memorized pattern. This paper presents a fast converging procedure which starts from a few initially recognized items and then analyzes the remainder of the input by systematically checking for items shown by memory to have been related to the initial items in previous encounters. In this way, known patterns are tried first, and only when they have been exhausted, an elementary exploration of the input is commenced. Efficiency is improved further by choosing the candidate to be tested next according to frequency.

  • PDF

다물체 동역학해석을 이용한 DMT 화차의 주행특성 연구 (Multibody Dynamic Simulation and Running characteristics of DMT Freight)

  • 엄범규;현석;안천헌;이희성
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2008년도 추계학술대회 논문집
    • /
    • pp.1607-1613
    • /
    • 2008
  • The present investigate is a base investigate required in development of DMT wagon train. And it deduced that follows by developing trail analysis model about Modalohr wagon train and examining traveling movement specific using analysis model developed. Vibration acceleration of all direction was increased with addition of travel speed and first suspension. But in case of right and left vibration acceleration, that could influenced by nonlinear specific of first suspension. Therefore checking about those is needed. Frequency of $2{\sim}3\;Hz$ and $7{\sim}8\;Hz$ generated in Right and left, up, down vibration of vehicle. And right and left vibration of bogie generated $25{\sim}35\;Hz$ in low speed section and frequency of $40{\sim}50\;Hz$ in high speed section, $25{\sim}35\;Hz$ in low speed section, $10{\sim}15$ or $40{\sim}50\;Hz$ in high speed section.

  • PDF

국부 영상 활동도에 적응적인 칼만 필터를 이용한 HDR 세부 영상 레이어의 잡음 제거 (Noise Reduction of HDR Detail Layer Using a Kalman Filter Adapted to Local Image Activity)

  • 김태규;송인호;이성학
    • 한국멀티미디어학회논문지
    • /
    • 제22권1호
    • /
    • pp.10-17
    • /
    • 2019
  • In High Dynamic Range (HDR) image processing, tone mapping is the process to compress an input image into a Low Dynamic Range (LDR) image. In most cases, the reason that detail preservation is prior to take over tone mapping is that the dynamic range is significantly different between input and output images. In the case of iCAM06, details are separated by using a bilateral filter, however, it causes noise amplification at the dim surround region. Thus, we suggest that the detail signal, which is separated from the bilateral filter, is combined with the base signal after an adaptive Kalman filter is applied according to the local standard deviation. We confirmed that the proposed method enhances the HDR images quality by checking the noise reduction in a dim surround region.

File Signature's Automatic Calculation Algorithm Proposal for Digital Forensic

  • Jang, Eun-Jin;Shin, Seung-Jung
    • International Journal of Internet, Broadcasting and Communication
    • /
    • 제13권3호
    • /
    • pp.118-123
    • /
    • 2021
  • Recently, digital crime is becoming more intelligent, and efficient digital forensic techniques are required to collect evidence for this. In the case of important files related to crime, a specific person may intentionally delete the file. In such a situation, data recovery is a very important procedure that can prove criminal charges. Although there are various methods to recover deleted files, we focuses on the recovery technique using HxD editor. When recovering a deleted file using the HxD editor, check the file structure and access the file data area through calculation. However, there is a possibility that errors such as arithmetic errors may occur when a file approach through calculation is used. Therefore, in this paper, we propose an algorithm that automatically calculates the header and footer of a file after checking the file signature in the root directory for efficient file recovery. If the algorithm proposed in this paper is used, it is expected that the error rate of arithmetic errors in the file recovery process can be reduced.