scholarly journals Modelagem e análise do sistema de filas: estudo de caso em um supermercado / Modeling and analysis of the queue system: case study in a supermarket

2021 ◽  
Vol 7 (11) ◽  
pp. 101724-101745
Author(s):  
Adriano Matos De Oliveira ◽  
Wagner Monteiro ◽  
Fernanda Raquel Roberto Pereira ◽  
Jeffson Veríssimo De Oliveira ◽  
Juliane Vasconcelos Da Silva ◽  
...  
Keyword(s):  
Modeling And Analysis ◽  
Queue System

Hierarchical Bayesian Parameter Estimation for Modeling and Analysis of User Affective Influence

2013 ◽  
Author(s):  
Feng Zhou ◽  
Jianxin (Roger) Jiao
Keyword(s):  
Decision Making ◽  
Interior Design ◽  
Computational Models ◽  
Human Perception ◽  
Model Parameters ◽  
Hierarchical Bayesian ◽  
Affective States ◽  
Modeling And Analysis ◽  
Human Decision

Traditional user experience (UX) models are mostly qualitative in terms of its measurement and structure. This paper proposes a quantitative UX model based on cumulative prospect theory. It takes a decision making perspective between two alternative design profiles. However, affective elements are well-known to have influence on human decision making, the prevailing computational models for analyzing and simulating human perception on UX are mainly cognition-based models. In order to incorporate both affective and cognitive factors in the decision making process, we manipulate the parameters involved in the cumulative prospect model to show the affective influence. Specifically, three different affective states are induced to shape the model parameters. A hierarchical Bayesian model with a technique called Markov chain Monte Carlo is used to estimate the parameters. A case study of aircraft cabin interior design is illustrated to show the proposed methodology.

A Value-Driven Modeling Approach for Crossover Services

2020 ◽  
Vol 17 (3) ◽  
pp. 20-38
Author(s):  
Zhengli Liu ◽  
Bing Li ◽  
Jian Wang ◽  
Yu Qiao
Keyword(s):  
Service Industry ◽  
Requirements Analysis ◽  
Model Framework ◽  
Modeling And Analysis ◽  
Meta Model ◽  
Value Network ◽  
Analysis And Design ◽  
Requirements Modeling ◽  
A Value

In recent years, crossover services have attracted wide attention as an emerging service mode in the modern service industry. Crossover services can offer values that cannot be provided by single-domain services, and they usually need to cross the boundaries of domains, organizations, and processes, which puts forward more challenges for requirements modeling and analysis under the crossover scenarios. Given the characteristics of crossover services, the authors propose a value-driven meta-model framework from multiple viewpoints to support the requirements analysis of crossover services, which consists of three parts: a value network, a goal network, and a service network. Based on the proposed meta-model framework, a value-driven crossover service modeling tool is developed to help requirements analysts in requirements analysis and design, and a case study is presented to illustrate the usage of the proposed approach. Finally, we evaluate our methods and tools using a controlled experiment, and the experimental results show the effectiveness of the approach.

scholarly journals Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols

2014 ◽  
Vol 2014 ◽  
pp. 1-10
Author(s):  
Chengwei Zhang ◽  
Xiaohong Li ◽  
Jing Hu ◽  
Zhiyong Feng ◽  
Jiaojiao Song
Keyword(s):  
Formal Modeling ◽  
Sufficient Condition ◽  
Formal Approach ◽  
Common Assumption ◽  
Modeling And Analysis ◽  
Verification Method ◽  
Space Model ◽  
The Past

In the past, fairness verification of exchanges between the traders in E-commerce was based on a common assumption, so-called nonrepudiation property, which says that if the parties involved can deny that they have received or sent some information, then the exchanging protocol is unfair. So, the nonrepudiation property is not a sufficient condition. In this paper, we formulate a new notion of fairness verification based on the strand space model and propose a method for fairness verification, which can potentially determine whether evidences have been forged in transactions. We first present an innovative formal approach not to depend on nonrepudiation, and then establish a relative trader model and extend the strand space model in accordance with traders’ behaviors of E-commerce. We present a case study to demonstrate the effectiveness of our verification method.

scholarly journals Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants

2019 ◽  
Vol 25 (1) ◽  
Author(s):  
Diego Sierra ◽  
Leonardo Montecchi ◽  
Ivan Mura
Keyword(s):  
Stochastic Modeling ◽  
Operating Conditions ◽  
Chemical Plants ◽  
Domino Effect ◽  
Modeling And Analysis ◽  
Modeling Methodology ◽  
Vapor Cloud ◽  
Maintenance Activities ◽  
Support Decision Making

Abstract Because of the substances they process and the conditions of operation, chemical plants are systems prone to the occurrence of undesirable and potentially dangerous events. Major accidents may occur when a triggering event produces a cascading accident that propagates to other units, a scenario known as domino effect. Assessing the probability of experiencing a domino effect and estimating the magnitude of its consequences is a complex task, as it depends on the nature of the substances being processed, the operating conditions, the failure proneness of equipment units, the execution of preventive maintenance activities, and of course the plant layout. In this work, we propose a stochastic modeling methodology to perform a probabilistic analysis of the likelihood of domino effects caused by propagating vapor cloud explosions. Our methodology combines mathematical models of the physical characteristics of the explosion, with stochastic state-based models representing the actual propagation among equipment units and the effect of maintenance activities. Altogether, the models allow predicting the likelihood of major events occurrence and the associated costs. A case study is analyzed, where various layouts of atmospheric gasoline tanks are assessed in terms of the predicted consequences of domino effects occurrence. The results of the analyses show that our approach can provide precious insights to support decision-making for safety and cost management.

A Tool for Modeling and Analysis of BTF Toolholder-Spindle System

2013 ◽  
Vol 278-280 ◽  
pp. 178-183
Author(s):  
Jian Hua Wang ◽  
Hang Zhang ◽  
Yong Sheng Zhao ◽  
Xiao Lei Song
Keyword(s):  
Parametric Design ◽  
Design Method ◽  
Ansys Software ◽  
Spindle System ◽  
Modeling And Analysis ◽  
Proposed Model ◽  
Damping Model

This paper introduces the development of a tool for modeling and analysis of BTF toolholder-spindle system, based on ANSYS software. The tool is developed in parametric design method. Most parameters are defined automatically except a few parameters requiring users to input, which improves the modeling efficiency greatly. The interface joint of the BTF toolholder-spindle is established by adopting spring-damping model and defined by custom element unit Matrix27. The proposed model reflects the characters of the joint on the properties of BTF toolholder-spindle effectively. A case study is given to verify the efficiency and accuracy of the developed tool.

scholarly journals Analysis of Expansion Joint - A Case Study

2021 ◽  
Vol 9 (10) ◽  
pp. 45-51
Author(s):  
Prof. P R Subramaniam
Keyword(s):  
Variable Pressure ◽  
Pressure Loading ◽  
Ansys Software ◽  
Element Analysis ◽  
Modeling And Analysis ◽  
Pressure Load ◽  
Different Types ◽  
Comprehensive Modeling ◽  
Metallic Bellow

Abstract: Automotive, Aerospace, Pipeline industries widely use Bellows. Different types of bellows are used in these industries. The bellows are used for contraction or expansion applications. Repeated variable pressure loading and displacement on Metallic bellows joints results in bellows failure. This paper is a comprehensive modeling and analysis of an axial type exhaust metallic bellow due to varying pressure load and circumferential and radial displacement. All analysis completed using ANSYS software considering variable pressure load and cylindrical displacement as a boundary condition and perused the consequences. Stress distribution in the conditions of Case (i) variable pressure load and Case (ii) displacement are obtained. Keywords: ANSYS, FE Bellows, Finite Element Analysis, Bellow Failures

scholarly journals A Hierarchical Modeling and Analysis Framework for Availability and Security Quantification of IoT Infrastructures

Electronics ◽  
2020 ◽  
Vol 9 (1) ◽  
pp. 155 ◽  
Author(s):  
Tuan Anh Nguyen ◽  
Dugki Min ◽  
Eunmi Choi
Keyword(s):  
Virtual Machine ◽  
Hierarchical Model ◽  
Hierarchical Modeling ◽  
Smart Factory ◽  
Analysis Framework ◽  
Security Measures ◽  
Modeling Framework ◽  
System Architectures ◽  
Modeling And Analysis

Modeling a complete Internet of Things (IoT) infrastructure is crucial to assess its availability and security characteristics. However, modern IoT infrastructures often consist of a complex and heterogeneous architecture and thus taking into account both architecture and operative details of the IoT infrastructure in a monolithic model is a challenge for system practitioners and developers. In that regard, we propose a hierarchical modeling framework for the availability and security quantification of IoT infrastructures in this paper. The modeling methodology is based on a hierarchical model of three levels including (i) reliability block diagram (RBD) at the top level to capture the overall architecture of the IoT infrastructure, (ii) fault tree (FT) at the middle level to elaborate system architectures of the member systems in the IoT infrastructure, and (iii) continuous time Markov chain (CTMC) at the bottom level to capture detailed operative states and transitions of the bottom subsystems in the IoT infrastructure. We consider a specific case-study of IoT smart factory infrastructure to demonstrate the feasibility of the modeling framework. The IoT smart factory infrastructure is composed of integrated cloud, fog, and edge computing paradigms. A complete hierarchical model of RBD, FT, and CTMC is developed. A variety of availability and security measures are computed and analyzed. The investigation of the case-study’s analysis results shows that more frequent failures in cloud cause more severe decreases of overall availability, while faster recovery of edge enhances the availability of the IoT smart factory infrastructure. On the other hand, the analysis results of the case-study also reveal that cloud servers’ virtual machine monitor (VMM) and virtual machine (VM), and fog server’s operating system (OS) are the most vulnerable components to cyber-security attack intensity. The proposed modeling and analysis framework coupled with further investigation on the analysis results in this study help develop and operate the IoT infrastructure in order to gain the highest values of availability and security measures and to provide development guidelines in decision-making processes in practice.

Sign in / Sign up

Export Citation Format

Share Document