• 제목/요약/키워드: Discrete Support

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

DEVS 형식론 기반의 선박 항해 모델링 및 시뮬레이션 (I) : 항해 시뮬레이션 아키텍처 설계와 선박 핵심 장비 및 에이전트 모델링 (Vessel and Navigation Modeling and Simulation based on DEVS Formalism : Design for Navigation Simulation Architecture with Modeling for Critical Systems and Agents of Vessel)

  • 우상민;이장세;황훈규
    • 한국정보통신학회논문지
    • /
    • 제23권9호
    • /
    • pp.1038-1048
    • /
    • 2019
  • 최근, 선박의 항해 안전을 지원하기 위한 다양한 시스템이 개발되고 있다. 이러한 시스템의 유용성을 검증하기 위해서는 실제 선박에 탑재하여 운용해보는 것이 가장 이상적이나 현실적으로는 많은 어려움이 존재한다. 그 대안으로 모델링 및 시뮬레이션(M&S) 기법을 적용한 유용성 검증 방법이 요구된다. 현실과 가장 가까운 선박 조종 시뮬레이터(FMSS)는 구축비용이 수억에서 수십억에 달하는 등 매우 고가이고, 운용을 위한 전문 인력이 필요하다는 한계가 존재한다. 이러한 이유로, 본 논문에서는 이산사건 시스템 명세(DEVS) 형식론 기반의 선박 항해 모델링 및 시뮬레이션을 통한 항해 안전 지원 시스템을 검증하기 위한 방법을 제안한다. 그 첫 단계로 SES/MB 프레임워크를 기반으로 항해 시뮬레이션 아키텍처를 설계하고, DEVS 형식론을 기반으로 선박 핵심 장비 및 항해사 에이전트를 모델링하는 것에 관한 내용을 기술한다. 이러한 내용을 바탕으로 선박 항해 시뮬레이션 시스템을 구현하고, 다양한 시나리오를 통해 충돌회피 시뮬레이션 등과 같은 항해 안전 지원 요소의 효과도 평가가 가능할 것으로 판단된다.

SVM을 이용한 웨이블릿 기반 프로파일 분류에 관한 연구 (A Wavelet-based Profile Classification using Support Vector Machine)

  • 김성준
    • 한국지능시스템학회논문지
    • /
    • 제18권5호
    • /
    • pp.718-723
    • /
    • 2008
  • 베어링은 각종 설비에서 활용되는 중요한 기계요소 중 하나이다. 설비고장의 상당수는 베어링의 결함이나 파손에 기인하고 있다. 따라서 베어링에 대한 온라인모니터링기술은 설비의 정지를 예방하고 손실을 줄이는 데 필수적이다. 본 논문은 진동 신호를 이용하여 베어링의 상태를 예측하기 위한 온라인모니터링에 대해 연구한다. 프로파일로 주어지는 진동신호는 이산 웨이블릿 변환을 통해 분석되고, 분해수준별 웨이블릿 계수로부터 얻은 통계적 특징 중 유의한 것을 선별하고자 분산분석 (ANOVA)을 이용한다. 선별된 특징벡터는 Support Vector Machine (SVM)의 입력이 되는 데, 본 논문에서는 다중클래스 분류문제를 다루기 위한 계층적 SVM 트리를 제안한다. 수치실험 결과, 제안된 방법은 베어링의 결함을 분류하는 데 우수한 성능을 갖는 것으로 나타났다.

Modelling of Differentiated Bandwidth Requests in IEEE 802.16m Systems

  • Yoon, Kang Jin;Kim, Ronny Yongho;Kim, Young Yong
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제7권4호
    • /
    • pp.726-747
    • /
    • 2013
  • In order to support a large number of mobile stations (MSs) with statistical multiplexing in cellular networks, a random access scheme is widely used for uplink (UL) bandwidth request (BR). In the design of a random access based BR scheme, there are two important requirements: short connection delay and diverse Quality of Services (QoSs) support. Such requirements are crucial for IMT-Advanced systems like IEEE 802.16m to provide various types of fourth generation (4G) data services. IEEE 802.16m provides advanced UL BR schemes for non-real time polling service (nrtPS) and best-effort (BE) service to meet the requirements of short connection time and multiple QoS level support. In order to provide short connection time and multiple QoS support, three-step and differentiated BR procedures are adopted. In this paper, a novel modelling of IEEE 802.16m contention based BR scheme is proposed that uses a 2-dimensional discrete time Markov chain. Both the short access delay three-step BR procedures and normal five-step BR procedure are considered in the model. Our proposed model also incorporates the IEEE 802.16m differentiated BR procedure. With the proposed model, we extensively evaluate the performance of IEEE 802.16m BR for two different service classes by changing QoS parameters, such as backoff window size and BR timer. Computer simulations are performed to corroborate the accuracy of the proposed model for various operation scenarios. With the proposed model, accurate QoS parameter values can be derived for the IEEE 802.16m contention-based BR scheme.

서포트 벡터 머신을 이용한 볼 베어링의 결함 정도 진단 (Fault Severity Diagnosis of Ball Bearing by Support Vector Machine)

  • 김양석;이도환;김대웅
    • 대한기계학회논문집B
    • /
    • 제37권6호
    • /
    • pp.551-558
    • /
    • 2013
  • 서포트 벡터 머신(Support Vector Machine, SVM)은 학습용 데이터 집합이 확보되어 있을 경우, 매우 강력한 분류 알고리즘이다. 따라서 패턴인식은 물론 기계학습 분야에서 결함진단 도구의 하나로 이용되고 있다. 본 논문에서는 최적 특징과 SVM 을 이용하여 볼 베어링의 결함유형과 결함의 정도를 진단한 결과를 기술하였다. SVM 학습용 특징데이터에는 12 개의 시간영역 특징과 9 개의 주파수영역 특징들이 포함되어 있으며 이들 특징들은 다양한 베어링 결함조건에서 측정된 진동신호와 진동신호의 이산 웨이블렛 변환신호로부터 추출되었다.

절리형성 암반지층 굴착벽체에 작용하는 토압에 대한 절리군의 영향 (Effect of Joint Sets on the Earth Pressure against the Support System in a Jointed Rock Mass)

  • 손무락;아데도쿤 솔로몬
    • 한국지반공학회논문집
    • /
    • 제31권12호
    • /
    • pp.59-69
    • /
    • 2015
  • 본 연구는 절리형성 암반지층 굴착벽체에 작용하는 토압에 대한 암반종류 및 절리조건 (전단강도 및 절리경사각)뿐만아니라 절리군의 수에 대한 영향을 조사하였다. 모델실험 및 그에 대한 시뮬레이션결과를 토대로 다양한 수치해석적 매개변수연구가 수행되었다. 해석결과, 굴착벽체에 발생하는 토압은 절리군에 포함된 절리경사각에 큰 영향을 받았지만, 절리군의 수 자체만으로는 토압에 큰 영향을 주지는 않았다. 연구결과는 또한 토사지반에서의 토압인 Peck 토압과 상호 비교되었으며, 이를 통해 절리가 형성된 암반지층 굴착벽체에 발생하는 토압은 토사지반에서 발생하는 토압과 크게 다를 수 있다는 것을 파악하였다. 본 연구를 통해서 향후 암반지층에 설치되는 굴착벽체 설계시 적용하는 토압은 암반종류 및 절리조건과 더불어 절리군에 포함된 절리경사각을 고려하여 산정해야 할 것으로 판단된다.

콘크리트 슬래브 궤도 교량의 사용성 검토를 위한 레일 지지점에서의 작용력 해석 (Analysis of the Internal Forces of the Rail Supports for the Serviceability of Concrete Slab Track Bridge)

  • 최준혁
    • 대한토목학회논문집
    • /
    • 제33권4호
    • /
    • pp.1303-1313
    • /
    • 2013
  • 본 연구에서는 콘크리트 슬래브 궤도를 가지는 교량의 사용성 검토에 있어 단위 축하중, 단위 수직 단차, 단위 회전에 의해 발생되는 레일 지지점의 작용력에 대한 기준 값을 구하였다. 해석방법에 있어서는 레일이 탄성 스프링에 의해 연속적으로 지지되는 모델과 이산적으로 지지되는 모델이 이용되었다. 해석결과 얻어진 레일 지지점에서의 작용력은 콘크리트 궤도의 사용성 검토에서 참조되고 있는 DS 804 기준에 제시된 값과 비교되였으며, 그 결과는 잘 일치하였다. 또한, 레일 지지점의 간격과 체결장치의 강성이 레일 지지점에서의 작용력에 미치는 영향을 분석하였다.

Finite element computational modeling of externally bonded CFRP composites flexural behavior in RC beams

  • Gamino, Andre Luis;Bittencourt, Tulio Nogueira;de Oliveira e Sousa, Jose Luiz Antunes
    • Computers and Concrete
    • /
    • 제6권3호
    • /
    • pp.187-202
    • /
    • 2009
  • This paper focuses on the flexural behavior of RC beams externally strengthened with Carbon Fiber Reinforced Polymers (CFRP) fabric. A non-linear finite element (FE) analysis strategy is proposed to support the beam flexural behavior experimental analysis. A development system (QUEBRA2D/FEMOOP programs) has been used to accomplish the numerical simulation. Appropriate constitutive models for concrete, rebars, CFRP and bond-slip interfaces have been implemented and adjusted to represent the composite system behavior. Interface and truss finite elements have been implemented (discrete and embedded approaches) for the numerical representation of rebars, interfaces and composites.

Petri Nets를 사용한 유연생산체제(FMS)에서의 의사결정지원체계(DSS)설계 (Modelling the Decision Support System in Flexible Manufacturing Systems Using Petri Nets)

  • 김진규
    • 품질경영학회지
    • /
    • 제18권2호
    • /
    • pp.54-68
    • /
    • 1990
  • Contingency response in a FMS system requires that the system be able to identify and evaluate a number of alternatives. This paper is outlined that DSS completes with a problem processor in corporating Timed Petri Nets model, and a data base system. DSS enables the FMS user to get the maximum benefit from a FMS. The structure of this DSS parallels the organizational activities involved in running the FMS. In designing a shop floor controller for FMS, interactions between the different real time, discrete event functions must be established. The specification of the machine tool and material handling system functions working as a concurrent and cooperative system is given in terms of Timed Petri Nets. In addition, the basic concepts and uses of Petri Nets are surveyed. The system to be studied is first modelled by a Timed Petri Nets and then procedure for evaluating the FMS system performance are presented. Numerical examples are studied to illustrate a session of the FMS used-DSS interaction.

  • PDF

A FIFTH ORDER NUMERICAL METHOD FOR SINGULAR PERTURBATION PROBLEMS

  • Chakravarthy, P. Pramod;Phaneendra, K.;Reddy, Y.N.
    • Journal of applied mathematics & informatics
    • /
    • 제26권3_4호
    • /
    • pp.689-706
    • /
    • 2008
  • In this paper, a fifth order numerical method is presented for solving singularly perturbed two point boundary value problems with a boundary layer at one end point. The two point boundary value problem is transformed into general first order ordinary differential equation system. A discrete approximation of a fifth order compact difference scheme is presented for the first order system. An asymptotically equivalent first order equation of the original singularly perturbed two point boundary value problem is obtained from the theory of singular perturbations. It is used in the fifth order compact difference scheme to get a two term recurrence relation and is solved. Several linear and non-linear singular perturbation problems have been solved and the numerical results are presented to support the theory. It is observed that the present method approximates the exact solution very well.

  • PDF

정량 추론과 정성 추론의 통합 메카니즘 : 주가예측의 적용 (A Mechanism for Combining Quantitative and Qualitative Reasoning)

  • 김명종
    • 지식경영연구
    • /
    • 제10권2호
    • /
    • pp.35-48
    • /
    • 2009
  • The paper proposes a quantitative causal ordering map (QCOM) to combine qualitative and quantitative methods in a framework. The procedures for developing QCOM consist of three phases. The first phase is to collect partially known causal dependencies from experts and to convert them into relations and causal nodes of a model graph. The second phase is to find the global causal structure by tracing causality among relation and causal nodes and to represent it in causal ordering graph with signed coefficient. Causal ordering graph is converted into QCOM by assigning regression coefficient estimated from path analysis in the third phase. Experiments with the prediction model of Korea stock price show results as following; First, the QCOM can support the design of qualitative and quantitative model by finding the global causal structure from partially known causal dependencies. Second, the QCOM can be used as an integration tool of qualitative and quantitative model to offerhigher explanatory capability and quantitative measurability. The QCOM with static and dynamic analysis is applied to investigate the changes in factors involved in the model at present as well discrete times in the future.

  • PDF