• 제목/요약/키워드: Computer model

검색결과 14,749건 처리시간 0.037초

An Adaptive Goal-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV

  • Kim, Yongho;Jung, Jin-Woo;Gallagher, John C.;Matson, Eric T.
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제16권2호
    • /
    • pp.95-103
    • /
    • 2016
  • In a dynamic environment autonomous robots often encounter unexpected situations that the robots have to deal with in order to continue proceeding their mission. We propose an adaptive goal-based model that allows cyber-physical systems (CPS) to update their environmental model and helps them analyze for attainment of their goals from current state using the updated environmental model and its capabilities. Information exchange approach utilizes Human-Agent-Robot-Machine-Sensor (HARMS) model to exchange messages between CPS. Model validation method uses NuSMV, which is one of Model Checking tools, to check whether the system can continue its mission toward the goal in the given environment. We explain a practical set up of the model in a situation in which homogeneous robots that has the same capability work in the same environment.

아트리움 공간의 수직공기온도분포 계산을 위한 수학모형의 작성 (Mathematical Modeling for Calculating the Vertical Air Temperature Distribution in an Atrium Space)

  • 박종수;안병욱
    • 설비공학논문집
    • /
    • 제15권6호
    • /
    • pp.533-542
    • /
    • 2003
  • This study aims to propose a simplified mathematical model for calculating vertical air temperature distribution in a four-sided atrium. In the first stage of the mathematical modeling, the computer model combined zonal model and solar radiation model using Monte Carlo method and Ray tracing technique went through a computer simulation with architectural variables applied to a four-sided atrium in summer. In the next stage, Curve Expert, a computer program that gets the most suitable solution ac-cording to the least squares method, is used to analyze the results of the computer simulation and to derive the mathematical model. The accuracy of the mathematical model was evaluated through a comparison of calculation results from a mathematical model and computer simulation. In this validation step using the least square method, the R2 value of the Zones 1, 2 and 3 showed higher than 0.945. Zone 4 has an R2 value of 0.911, lower than the previous three zones. However the relative error was below 0.5%, which is considered very small.

Saturation Prediction for Crowdsensing Based Smart Parking System

  • Kim, Mihui;Yun, Junhyeok
    • Journal of Information Processing Systems
    • /
    • 제15권6호
    • /
    • pp.1335-1349
    • /
    • 2019
  • Crowdsensing technologies can improve the efficiency of smart parking system in comparison with present sensor based smart parking system because of low install price and no restriction caused by sensor installation. A lot of sensing data is necessary to predict parking lot saturation in real-time. However in real world, it is hard to reach the required number of sensing data. In this paper, we model a saturation predication combining a time-based prediction model and a sensing data-based prediction model. The time-based model predicts saturation in aspects of parking lot location and time. The sensing data-based model predicts the degree of saturation of the parking lot with high accuracy based on the degree of saturation predicted from the first model, the saturation information in the sensing data, and the number of parking spaces in the sensing data. We perform prediction model learning with real sensing data gathered from a specific parking lot. We also evaluate the performance of the predictive model and show its efficiency and feasibility.

Evaluating AI Techniques for Blind Students Using Voice-Activated Personal Assistants

  • Almurayziq, Tariq S;Alshammari, Gharbi Khamis;Alshammari, Abdullah;Alsaffar, Mohammad;Aljaloud, Saud
    • International Journal of Computer Science & Network Security
    • /
    • 제22권1호
    • /
    • pp.61-68
    • /
    • 2022
  • The present study was based on developing an AI based model to facilitate the academic registration needs of blind students. The model was developed to enable blind students to submit academic service requests and tasks with ease. The findings from previous studies formed the basis of the study where functionality gaps from the literary research identified by blind students were utilized when the system was devised. Primary simulation data were composed based on several thousand cases. As such, the current study develops a model based on archival insight. Given that the model is theoretical, it was partially applied to help determine how efficient the associated AI tools are and determine how effective they are in real-world settings by incorporating them into the portal that institutions currently use. In this paper, we argue that voice-activated personal assistant (VAPA), text mining, bag of words, and case-based reasoning (CBR) perform better together, compared with other classifiers for analyzing and classifying the text in academic request submission through the VAPA.

A Proposed Model for Supply Chain using Blockchain Framework

  • Zenab AlSadeq;Haya Alubaidan;Alanoud Aldweesh;Atta-ur-Rahman ;Tahir Iqbal
    • International Journal of Computer Science & Network Security
    • /
    • 제23권6호
    • /
    • pp.91-98
    • /
    • 2023
  • The rapid increase in the use of new technology known as 'blockchain technologies' has addressed many challenges in different areas and provided benefits to users, in this paper we discuss the field of supply chains, improve confidence and transparency between participants and stakeholders significantly also in this paper we Compare between different blockchain frameworks focusing on most popular frameworks. Moreover, we proposed a model in the supply chain using a blockchain framework, the proposed supply chain model included many different resources that help to exchange information over the network. The proposed model also includes smart contracts that maintain all rules for transactions. using blockchain technology information such as transaction details, time and money are recorded and stored within the system from the beginning of the transaction entry.

축차적 반응표면 분석을 통한 M&S 메타모형 구축에 관한 사례 연구 (A Case Study for Finding an Efficient M&S Meta Model through Sequential Response Surface Methodology)

  • 김상익;김용대;임용빈;최기헌;김정은
    • 품질경영학회지
    • /
    • 제40권1호
    • /
    • pp.49-59
    • /
    • 2012
  • In computer simulation models the output from the computer code is often deterministic, i.e., running the code twice with the same values for the input variables would give the same output. It is discussed why the response surface method with polynomial approximation for the true response function is a good approximation to the computer experiments model. A sequential strategy to find the proper reduced quadratic polynomial model is illustrated with a case study in the military war game computer simulation model.

Pneumonia Detection from Chest X-ray Images Based on Sequential Model

  • Alshehri, Asma;Alharbi, Bayan;Alharbi, Amirah
    • International Journal of Computer Science & Network Security
    • /
    • 제22권4호
    • /
    • pp.53-58
    • /
    • 2022
  • Pneumonia is a form of acute respiratory infection that affects the lungs. According to the World Health Organization, pneumonia is the leading cause of death for children worldwide. As a result, pneumonia was the top killer of children under the age of five years old in 2015, which is 15% of all deaths worldwide. In this paper, we used CNN model architectures to compare between the result of proposed a CNN method with VGG based model architecture. The model's performance in detecting pneumonia shows that the proposed model based on VGG can classify normal and abnormal X-rays effectively and more accurately than the proposed model used in this paper.

문제중심학습 기반 컴퓨터활용 수업 모형 개발 (Development of PBL-Based Computer Application Instruction Model)

  • 이경미
    • 컴퓨터교육학회논문지
    • /
    • 제16권2호
    • /
    • pp.29-37
    • /
    • 2013
  • 창의성이 강조되는 교육환경에서 사고의 범위를 넓힐 수 있는 그룹별 토론이나 창의성을 개발하기 위한 컴퓨터활용 수업 모형이 요구되고 있다. 따라서 본 논문에서는 그룹별 컴퓨터활용 교육에서 발생하는 문제점들을 사전 조사한 후 창의성을 고려한 웹 기반 수업 모형을 제안하였다. 수업 모형의 이론적 배경으로는 PBL을 기반으로 하였으며 웹 마인드 맵을 토론과 자료공유를 위한 도구로 활용하여 수업의 효율성과 함께 집단의 창의성도 함께 고려하였다. 제안한 수업 모형을 프레젠테이션 제작 과목을 신청한 학생들에게 적용한 결과 의사소통이나 자료공유, 역할분담, 기여도의 차이, 과다 시간 소요 등에 대한 불만이 줄어드는 확률적으로 유의미한 결과가 나타났다.

  • PDF

Analyze weeds classification with visual explanation based on Convolutional Neural Networks

  • Vo, Hoang-Trong;Yu, Gwang-Hyun;Nguyen, Huy-Toan;Lee, Ju-Hwan;Dang, Thanh-Vu;Kim, Jin-Young
    • 스마트미디어저널
    • /
    • 제8권3호
    • /
    • pp.31-40
    • /
    • 2019
  • To understand how a Convolutional Neural Network (CNN) model captures the features of a pattern to determine which class it belongs to, in this paper, we use Gradient-weighted Class Activation Mapping (Grad-CAM) to visualize and analyze how well a CNN model behave on the CNU weeds dataset. We apply this technique to Resnet model and figure out which features this model captures to determine a specific class, what makes the model get a correct/wrong classification, and how those wrong label images can cause a negative effect to a CNN model during the training process. In the experiment, Grad-CAM highlights the important regions of weeds, depending on the patterns learned by Resnet, such as the lobe and limb on 미국가막사리, or the entire leaf surface on 단풍잎돼지풀. Besides, Grad-CAM points out a CNN model can localize the object even though it is trained only for the classification problem.

Experimental Designs for Computer Experiments and for Industrial Experiments with Model Unknown

  • Fang, Kai-Tai
    • Journal of the Korean Statistical Society
    • /
    • 제31권3호
    • /
    • pp.277-299
    • /
    • 2002
  • Most statistical designs, such as orthogonal designs and optimal designs, are based on a specific statistical model. It is very often that the experimenter does not completely know the underlying model between the response and the factors. In computer experiments, the underlying model is known, but too complicated. In this case we can treat the model as a black box, or model to be unknown. Both cases need a space filling design. The uniform design is one of space filling designs and seeks experimental points to be uniformly scattered on the domain. The uniform design can be used for computer experiments and also for industrial experiments when the underlying model is unknown. In this paper we shall introduce the theory and method of the uniform design and related data analysis and modelling methods. Applications of the uniform design to industry and other areas are discussed.