• 제목/요약/키워드: Nondeterministic Model

검색결과 10건 처리시간 0.021초

비결정 모델에 대한 비동기 순차 회로의 교정 제어 II: 제어기 설계 (Corrective Control of Asynchronous Sequential Machines for Nondeterministic Model II: Controller Design)

  • 양정민
    • 전자공학회논문지SC
    • /
    • 제45권4호
    • /
    • pp.11-19
    • /
    • 2008
  • 본 논문에서는 비동기 순차 머신의 교정 제어 문제를 다룬다. 교정 제어는 머신의 동작을 주어진 모델의 동작과 일치시키도록 하는 모델 매칭을 실현하는 제어를 말한다. 본 논문의 주요 목적은 비동기 순차 머신이 추종해야 하는 모델의 형태가 비결정적일 때, 즉 여러 개의 결정적 모델의 합으로 주어질 때 교정 제어기를 설계하는 일이다. 본 논문에서는 이전 논문에서 정의된 비결정 모델의 표현 방법 및 비결정 모델에 대한 모델 매칭 문제 정의를 요약한다. 도달가능성 행렬을 이용하여 교정 제어기가 존재할 필요충분조건을 제시하고 제어기가 존재할 경우 그 설계 과정을 기술한다. 또 예제를 통해서 제어기 설계의 적용 가능성을 검증한다.

비결정 모델에 대한 비동기 순차 회로의 교정 제어 I: 도달가능성 분석 (Corrective Control of Asynchronous Sequential Machines for Nondeterministic Model I: Reachability Analysis)

  • 양정민
    • 전자공학회논문지SC
    • /
    • 제45권4호
    • /
    • pp.1-10
    • /
    • 2008
  • 본 논문에서는 비동기 순차 머신의 교정 제어 문제를 다룬다. 교정 제어는 머신의 동작을 주어진 모델의 동작과 일치시키도록 하는 모델 매칭을 실현하는 제어를 말한다. 본 논문의 주요 목적은 비동기 순차 머신이 추종해야 하는 모델의 형태가 비결정적일 때, 즉 여러 개의 결정적 모델의 합으로 주어질 때 교정 제어기를 설계하는 일이다. 본 논문에서는 먼저 비동기 순차 머신을 위한 교정 제어 시스템의 형태와 동작 원리를 설명하고 비결정 모델의 표현 방법을 제안한다 또한 교정 제어기 존재 조건을 표현하기 위해서 비동기 순차 머신과 비결정적 모델에 대한 도달가능성을 분석하고 예제를 통해서 분석 방법을 검증한다.

Dynamic analysis of buildings considering the effect of masonry infills in the global structural stiffness

  • de Souza Bastos, Leonardo;Guerrero, Carolina Andrea Sanchez;Barile, Alan;da Silva, Jose Guilherme Santos
    • Coupled systems mechanics
    • /
    • 제8권2호
    • /
    • pp.169-184
    • /
    • 2019
  • This research work presents a study that aims to assess the dynamic structural behaviour and also investigate the human comfort levels of a reinforced concrete building, when subjected to nondeterministic wind dynamic loadings, considering the effect of masonry infills on the global stiffness of the structural model. In general, the masonry fills most of the empty areas within the structural frames of the buildings. Although these masonry infills present structural stiffness, the common practice of engineers is to adopt them as static loads, disregarding the effect of the masonry infills on the global stiffness of the structural system. This way, in this study a numerical model based on sixteen-storey reinforced concrete building with 48 m high and dimensions of $14.20m{\times}15m$ was analysed. This way, static, modal and dynamic analyses were carried out in order to simulate the structural model based on two different strategies: no masonry infills and masonry infills simulated by shell finite elements. In this investigation, the wind action is considered as a nondeterministic process with unstable properties and also random characteristics. The fluctuating parcel of the wind is decomposed into a finite number of harmonic functions proportional to the structure resonant frequency with phase angles randomly determined. The nondeterministic dynamic analysis clearly demonstrates the relevance of a more realistic numerical modelling of the masonry infills, due to the modifications on the global structural stiffness of the building. The maximum displacements and peak accelerations values were reduced when the effect of the masonry infills (structural stiffness) were considered in the dynamic analysis. Finally, it can be concluded that the human comfort evaluation of the sixteen-storey reinforced concrete building can be altered in a favourable way to design.

A Fully Distributed Secure Approach using Nondeterministic Encryption for Database Security in Cloud

  • Srinu Banothu;A. Govardhan;Karnam Madhavi
    • International Journal of Computer Science & Network Security
    • /
    • 제24권1호
    • /
    • pp.140-150
    • /
    • 2024
  • Database-as-a-Service is one of the prime services provided by Cloud Computing. It provides data storage and management services to individuals, enterprises and organizations on pay and uses basis. In which any enterprise or organization can outsource its databases to the Cloud Service Provider (CSP) and query the data whenever and wherever required through any devices connected to the internet. The advantage of this service is that enterprises or organizations can reduce the cost of establishing and maintaining infrastructure locally. However, there exist some database security, privacychallenges and query performance issues to access data, to overcome these issues, in our recent research, developed a database security model using a deterministic encryption scheme, which improved query execution performance and database security level.As this model is implemented using a deterministic encryption scheme, it may suffer from chosen plain text attack, to overcome this issue. In this paper, we proposed a new model for cloud database security using nondeterministic encryption, order preserving encryption, homomorphic encryptionand database distribution schemes, andour proposed model supports execution of queries with equality check, range condition and aggregate operations on encrypted cloud database without decryption. This model is more secure with optimal query execution performance.

Quantitative Assessment of Variation in Poroelastic Properties of Composite Materials Using Micromechanical RVE Models

  • Han, Su Yeon;Kim, Sung Jun;Shin, Eui Sup
    • International Journal of Aeronautical and Space Sciences
    • /
    • 제17권2호
    • /
    • pp.175-183
    • /
    • 2016
  • A poroelastic composite material, containing different material phases and filled with fluids, serves as a model to formulate the overall ablative behaviors of such materials. This article deals with the assessment of variation in nondeterministic poroelastic properties of two-phase composite materials using micromechanical representative volume element (RVE) models. Considering the configuration and arrangement of pores in a matrix phase, various RVEs are modeled and analyzed according to their porosity. In order to quantitatively investigate the effects of microstructure, changes in effective elastic moduli and poroelastic parameters are measured via finite element (FE) analysis. The poroelastic parameters are calculated from the effective elastic moduli and the pore-pressure-induced strains. The reliability of the numerical results is verified through image-based FE models with the actual shape of pores in carbon-phenolic ablative materials. Additionally, the variation of strain energy density is measured, which can possibly be used to evaluate microstress concentrations.

A Genetic Approach for Joint Link Scheduling and Power Control in SIC-enable Wireless Networks

  • Wang, Xiaodong;Shen, Hu;Lv, Shaohe;Zhou, Xingming
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제10권4호
    • /
    • pp.1679-1691
    • /
    • 2016
  • Successive interference cancellation (SIC) is an effective means of multi-packet reception to combat interference at the physical layer. We investigate the joint optimization issue of channel access and power control for capacity maximization in SIC-enabled wireless networks. We propose a new interference model to characterize the sequential detection nature of SIC. Afterward, we formulize the joint optimization problem, prove it to be a nondeterministic polynomial-time-hard problem, and propose a novel approximation approach based on the genetic algorithm (GA). Finally, we discuss the design and parameter setting of the GA approach and validate its performance through extensive simulations.

An Efficient Complex Event Processing Algorithm based on INFA-HTS for Out-of-order RFID Event Streams

  • Wang, Jianhua;Wang, Tao;Cheng, Lianglun;Lu, Shilei
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제10권9호
    • /
    • pp.4307-4325
    • /
    • 2016
  • With the aim of solving the problems of long processing times, high memory consumption and low event throughput in the current processing approaches in out-of-order RFID event streams, an efficient complex event processing method based on INFA-HTS (Improved Nondeterministic Finite Automaton-Hash Table Structure) is presented in this paper. The contribution of this paper lies in the fact that we use INFA and HTS to successfully realize the detection of complex events for out-of-order RFID event streams. Specifically, in our scheme, to detect the disorder of out-of-order event streams, we expand the traditional NFA model into a new INFA model to capture the related RFID primitive events from the out-of-order event stream. To high-efficiently manage the large intermediate capturing results, we use the HTS to store and process them. As a result, these problems in the existing methods can be effectively solved by our scheme. The simulation results of our experiments show that our proposed method in this paper outperforms some of the current general processing approaches used to process out-of-order RFID event streams.

Petri Nets을 이용한 조선소 패널 블록 조립 라인의 모델링과 시뮬레이션 (Modeling and Simulation of Ship Panel-block Assembly Line Using Petri Nets)

  • 한상동;유철호;신종계;이종근
    • 한국CDE학회논문집
    • /
    • 제13권1호
    • /
    • pp.36-44
    • /
    • 2008
  • This paper proposes a modeling and simulation process of a panel production line (PPL) in a shipyard. The panel production line is an assembly process to produce a main panel of a flat block and a curved block. In this paper, its activity analysis is carried out using expression of IDEF0, and its process is qualitatively and quantitatively analyzed and modeled by Petri Nets. A commercial discrete event simulation tool, $QUEST^{TM}$, is used for virtual PPL and simulation. The modeling results by Petri Net are mapped to elements of the simulation tool. Finally, an integrated simulation environment of PPL is implemented in order to efficiently utilize the virtual PPL model. With the help of IDEF0 and Petri Nets, we could systematically analyze and describe the PPL process that are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. Also, the dynamic and concurrent activities of a PPL system were able to be simulated. A timing concept can be included into the Petri nets model to evaluate performance and dependability issues of the system.

신뢰성에 기초한 강상형 연속교의 단면 최적설계 (Reliability-Based Optimization of Continuous Steel Box Girder Bridges)

  • 조효남;이두화;정지승;민대홍
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 1997년도 가을 학술발표회 논문집
    • /
    • pp.145-154
    • /
    • 1997
  • The results of optimum design by the deterministic approach adopted in the current design codes depend upon the safety levels of the applied code. But, it is now generally recognized that structural problems are nondeterministic and, consequently, that engineering optimum design must cope with uncertainties. Therefore, it is not an overstatement to affirm that the combination of reliability-based design procedures and optimization techniques is the only means of providing a powerful tool to obtain a practical optimum design solution. In the paper, reliability based optimum design procedure as a rational approach to optimum structural design is presented. The design constraints are formulated based on the ASD, LRFD and reliability theories. The reliability analysis is based on an advanced first-order second moment approach. Uncertainties in the structural strength and loading due to inherent variability as well as modeling and prediction errors are included in failure due to combined bending and shear. For the realistic reliability-based optimization of continuous steel box girder bridges, interactive non-linear limit state model is formulated based on the von Mises's combined stress yield criterion. Comparative results are presented when the ASD criteria are used for the optimum design of a structure under reliability constraints. In addition, this study comparatively shows the results of the optimum design for various criteria of design codes.

  • PDF

스레드 동기화가 없는 OpenMP 디렉티브 프로그램을 위한 효율적인 경합검증 도구 (An Efficient Tool for Verifying Races in OpenMP Directive Programs without Interthread Synchronization)

  • 하옥균;강문혜;김영주;전용기
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제14권3호
    • /
    • pp.301-305
    • /
    • 2008
  • OpenMP 디렉티브 프로그램에서 경합은 의도하지 않은 비결정적인 수행결과를 초래하므로 디버깅을 위해서 반드시 탐지되어야 한다. 하지만 이러한 경합을 탐지하는 기존의 도구인 Intel Thread Checker는 경합의 존재를 검증하지 못하며 경합을 탐지하는 비용이 크므로 비실용적이다. 이러한 문제를 해결하기 위해서 본 연구팀은 프로그램의 특성 및 사용자 요구사항의 분석결과를 이용하여 경합을 검증하는 도구를 개발하였으나 스레드 동기화가 없는 모델에서는 최적화되지 못하였다. 본 논문에서는 이러한 선행연구의 결과를 확장하기 위해서 스레드 동기화가 없는 프로그램 모델을 위한 효율적 레이블링 기법과 경합탐지 프로토콜 기법을 적용한다. 합성프로그램을 이용하여 실험한 결과로는 스레드 동기화가 없는 프로그램 모델에서 경합검증 시간이 기존의 도구보다 평균 250배 이상 빠르고, 총 접근사건 수가 동일하면 최대병렬성이 증가하여도 경합검증 시간이 감소함을 보인다.