CINXE.COM
Search results for: discrete event simulation
<!DOCTYPE html> <html lang="en" dir="ltr"> <head> <!-- Google tag (gtag.js) --> <script async src="https://www.googletagmanager.com/gtag/js?id=G-P63WKM1TM1"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'G-P63WKM1TM1'); </script> <!-- Yandex.Metrika counter --> <script type="text/javascript" > (function(m,e,t,r,i,k,a){m[i]=m[i]||function(){(m[i].a=m[i].a||[]).push(arguments)}; m[i].l=1*new Date(); for (var j = 0; j < document.scripts.length; j++) {if (document.scripts[j].src === r) { return; }} k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(55165297, "init", { clickmap:false, trackLinks:true, accurateTrackBounce:true, webvisor:false }); </script> <noscript><div><img src="https://mc.yandex.ru/watch/55165297" style="position:absolute; left:-9999px;" alt="" /></div></noscript> <!-- /Yandex.Metrika counter --> <!-- Matomo --> <!-- End Matomo Code --> <title>Search results for: discrete event simulation</title> <meta name="description" content="Search results for: discrete event simulation"> <meta name="keywords" content="discrete event simulation"> <meta name="viewport" content="width=device-width, initial-scale=1, minimum-scale=1, maximum-scale=1, user-scalable=no"> <meta charset="utf-8"> <link href="https://cdn.waset.org/favicon.ico" type="image/x-icon" rel="shortcut icon"> <link href="https://cdn.waset.org/static/plugins/bootstrap-4.2.1/css/bootstrap.min.css" rel="stylesheet"> <link href="https://cdn.waset.org/static/plugins/fontawesome/css/all.min.css" rel="stylesheet"> <link href="https://cdn.waset.org/static/css/site.css?v=150220211555" rel="stylesheet"> </head> <body> <header> <div class="container"> <nav class="navbar navbar-expand-lg navbar-light"> <a class="navbar-brand" href="https://waset.org"> <img src="https://cdn.waset.org/static/images/wasetc.png" alt="Open Science Research Excellence" title="Open Science Research Excellence" /> </a> <button class="d-block d-lg-none navbar-toggler ml-auto" type="button" data-toggle="collapse" data-target="#navbarMenu" aria-controls="navbarMenu" aria-expanded="false" aria-label="Toggle navigation"> <span class="navbar-toggler-icon"></span> </button> <div class="w-100"> <div class="d-none d-lg-flex flex-row-reverse"> <form method="get" action="https://waset.org/search" class="form-inline my-2 my-lg-0"> <input class="form-control mr-sm-2" type="search" placeholder="Search Conferences" value="discrete event simulation" name="q" aria-label="Search"> <button class="btn btn-light my-2 my-sm-0" type="submit"><i class="fas fa-search"></i></button> </form> </div> <div class="collapse navbar-collapse mt-1" id="navbarMenu"> <ul class="navbar-nav ml-auto align-items-center" id="mainNavMenu"> <li class="nav-item"> <a class="nav-link" href="https://waset.org/conferences" title="Conferences in 2024/2025/2026">Conferences</a> </li> <li class="nav-item"> <a class="nav-link" href="https://waset.org/disciplines" title="Disciplines">Disciplines</a> </li> <li class="nav-item"> <a class="nav-link" href="https://waset.org/committees" rel="nofollow">Committees</a> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownPublications" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false"> Publications </a> <div class="dropdown-menu" aria-labelledby="navbarDropdownPublications"> <a class="dropdown-item" href="https://publications.waset.org/abstracts">Abstracts</a> <a class="dropdown-item" href="https://publications.waset.org">Periodicals</a> <a class="dropdown-item" href="https://publications.waset.org/archive">Archive</a> </div> </li> <li class="nav-item"> <a class="nav-link" href="https://waset.org/page/support" title="Support">Support</a> </li> </ul> </div> </div> </nav> </div> </header> <main> <div class="container mt-4"> <div class="row"> <div class="col-md-9 mx-auto"> <form method="get" action="https://publications.waset.org/abstracts/search"> <div id="custom-search-input"> <div class="input-group"> <i class="fas fa-search"></i> <input type="text" class="search-query" name="q" placeholder="Author, Title, Abstract, Keywords" value="discrete event simulation"> <input type="submit" class="btn_search" value="Search"> </div> </div> </form> </div> </div> <div class="row mt-3"> <div class="col-sm-3"> <div class="card"> <div class="card-body"><strong>Commenced</strong> in January 2007</div> </div> </div> <div class="col-sm-3"> <div class="card"> <div class="card-body"><strong>Frequency:</strong> Monthly</div> </div> </div> <div class="col-sm-3"> <div class="card"> <div class="card-body"><strong>Edition:</strong> International</div> </div> </div> <div class="col-sm-3"> <div class="card"> <div class="card-body"><strong>Paper Count:</strong> 6587</div> </div> </div> </div> <h1 class="mt-3 mb-3 text-center" style="font-size:1.6rem;">Search results for: discrete event simulation</h1> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6527</span> Stator Short-Circuits Fault Diagnosis in Induction Motors</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=K.%20Yahia">K. Yahia</a>, <a href="https://publications.waset.org/abstracts/search?q=M.%20Sahraoui"> M. Sahraoui</a>, <a href="https://publications.waset.org/abstracts/search?q=A.%20Guettaf"> A. Guettaf </a> </p> <p class="card-text"><strong>Abstract:</strong></p> This paper deals with the problem of stator faults diagnosis in induction motors. Using the discrete wavelet transform (DWT) for the current Park’s vector modulus (CPVM) analysis, the inter-turn short-circuit faults diagnosis can be achieved. This method is based on the decomposition of the CPVM signal, where wavelet approximation and detail coefficients of this signal have been extracted. The energy evaluation of a known bandwidth detail permits to define a fault severity factor (FSF). This method has been tested through the simulation of an induction motor using a mathematical model based on the winding-function approach. Simulation, as well as experimental results, show the effectiveness of the used method. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=induction%20motors%20%28IMs%29" title="induction motors (IMs)">induction motors (IMs)</a>, <a href="https://publications.waset.org/abstracts/search?q=inter-turn%20short-circuits%20diagnosis" title=" inter-turn short-circuits diagnosis"> inter-turn short-circuits diagnosis</a>, <a href="https://publications.waset.org/abstracts/search?q=discrete%20wavelet%20transform%20%28DWT%29" title=" discrete wavelet transform (DWT)"> discrete wavelet transform (DWT)</a>, <a href="https://publications.waset.org/abstracts/search?q=Current%20Park%E2%80%99s%20Vector%20Modulus%20%28CPVM%29" title=" Current Park’s Vector Modulus (CPVM)"> Current Park’s Vector Modulus (CPVM)</a> </p> <a href="https://publications.waset.org/abstracts/82115/stator-short-circuits-fault-diagnosis-in-induction-motors" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/82115.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">457</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6526</span> Optimal Linear Quadratic Digital Tracker for the Discrete-Time Proper System with an Unknown Disturbance</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Jason%20Sheng-Hong%20Tsai">Jason Sheng-Hong Tsai</a>, <a href="https://publications.waset.org/abstracts/search?q=Faezeh%20Ebrahimzadeh"> Faezeh Ebrahimzadeh</a>, <a href="https://publications.waset.org/abstracts/search?q=Min-Ching%20Chung"> Min-Ching Chung</a>, <a href="https://publications.waset.org/abstracts/search?q=Shu-Mei%20Guo"> Shu-Mei Guo</a>, <a href="https://publications.waset.org/abstracts/search?q=Leang-San%20Shieh"> Leang-San Shieh</a>, <a href="https://publications.waset.org/abstracts/search?q=Tzong-Jiy%20Tsai"> Tzong-Jiy Tsai</a>, <a href="https://publications.waset.org/abstracts/search?q=Li%20Wang"> Li Wang</a> </p> <p class="card-text"><strong>Abstract:</strong></p> In this paper, we first construct a new state and disturbance estimator using discrete-time proportional plus integral observer to estimate the system state and the unknown external disturbance for the discrete-time system with an input-to-output direct-feedthrough term. Then, the generalized optimal linear quadratic digital tracker design is applied to construct a proportional plus integral observer-based tracker for the system with an unknown external disturbance to have a desired tracking performance. Finally, a numerical simulation is given to demonstrate the effectiveness of the new application of our proposed approach. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=non-minimum%20phase%20system" title="non-minimum phase system">non-minimum phase system</a>, <a href="https://publications.waset.org/abstracts/search?q=optimal%20linear%20quadratic%20tracker" title=" optimal linear quadratic tracker"> optimal linear quadratic tracker</a>, <a href="https://publications.waset.org/abstracts/search?q=proportional%20plus%20integral%20observer" title=" proportional plus integral observer"> proportional plus integral observer</a>, <a href="https://publications.waset.org/abstracts/search?q=state%20and%20disturbance%20estimator" title=" state and disturbance estimator"> state and disturbance estimator</a> </p> <a href="https://publications.waset.org/abstracts/41630/optimal-linear-quadratic-digital-tracker-for-the-discrete-time-proper-system-with-an-unknown-disturbance" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/41630.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">502</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6525</span> A Look at the Quantum Theory of Atoms in Molecules from the Discrete Morse Theory</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Dairo%20Jose%20Hernandez%20Paez">Dairo Jose Hernandez Paez</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The quantum theory of atoms in molecules (QTAIM) allows us to obtain topological information on electronic density in quantum mechanical systems. The QTAIM starts by considering the electron density as a continuous mathematical object. On the other hand, the discretization of electron density is also a mathematical object, which, from discrete mathematics, would allow a new approach to its topological study. From this point of view, it is necessary to develop a series of steps that provide the theoretical support that guarantees its application. Some of the steps that we consider most important are mentioned below: (1) obtain good representations of the electron density through computational calculations, (2) design a methodology for the discretization of electron density, and construct the simplicial complex. (3) Make an analysis of the discrete vector field associating the simplicial complex. (4) Finally, in this research, we propose to use the discrete Morse theory as a mathematical tool to carry out studies of electron density topology. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=discrete%20mathematics" title="discrete mathematics">discrete mathematics</a>, <a href="https://publications.waset.org/abstracts/search?q=Discrete%20Morse%20theory" title=" Discrete Morse theory"> Discrete Morse theory</a>, <a href="https://publications.waset.org/abstracts/search?q=electronic%20density" title=" electronic density"> electronic density</a>, <a href="https://publications.waset.org/abstracts/search?q=computational%20calculations" title=" computational calculations"> computational calculations</a> </p> <a href="https://publications.waset.org/abstracts/163354/a-look-at-the-quantum-theory-of-atoms-in-molecules-from-the-discrete-morse-theory" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/163354.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">103</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6524</span> Analyzing Large Scale Recurrent Event Data with a Divide-And-Conquer Approach</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Jerry%20Q.%20Cheng">Jerry Q. Cheng</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Currently, in analyzing large-scale recurrent event data, there are many challenges such as memory limitations, unscalable computing time, etc. In this research, a divide-and-conquer method is proposed using parametric frailty models. Specifically, the data is randomly divided into many subsets, and the maximum likelihood estimator from each individual data set is obtained. Then a weighted method is proposed to combine these individual estimators as the final estimator. It is shown that this divide-and-conquer estimator is asymptotically equivalent to the estimator based on the full data. Simulation studies are conducted to demonstrate the performance of this proposed method. This approach is applied to a large real dataset of repeated heart failure hospitalizations. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=big%20data%20analytics" title="big data analytics">big data analytics</a>, <a href="https://publications.waset.org/abstracts/search?q=divide-and-conquer" title=" divide-and-conquer"> divide-and-conquer</a>, <a href="https://publications.waset.org/abstracts/search?q=recurrent%20event%20data" title=" recurrent event data"> recurrent event data</a>, <a href="https://publications.waset.org/abstracts/search?q=statistical%20computing" title=" statistical computing"> statistical computing</a> </p> <a href="https://publications.waset.org/abstracts/100777/analyzing-large-scale-recurrent-event-data-with-a-divide-and-conquer-approach" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/100777.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">165</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6523</span> CFD Simulation for Thermo-Hydraulic Performance V-Shaped Discrete Ribs on the Absorber Plate of Solar Air Heater</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=J.%20L.%20Bhagoria">J. L. Bhagoria</a>, <a href="https://publications.waset.org/abstracts/search?q=Ajeet%20Kumar%20Giri"> Ajeet Kumar Giri</a> </p> <p class="card-text"><strong>Abstract:</strong></p> A computational investigation of various flow characteristics with artificial roughness in the form of V-types discrete ribs, heated wall of rectangular duct for turbulent flow with Reynolds number range (3800-15000) and p/e (5 to 12) has been carried out with k-e turbulence model is selected by comparing the predictions of different turbulence models with experimental results available in literature. The current study evaluates thermal performance behavior, heat transfer and fluid flow behavior in a v shaped duct with discrete roughened ribs mounted on one of the principal wall (solar plate) by computational fluid dynamics software (Fluent 6.3.26 Solver). In this study, CFD has been carried out through designing 3-demensional model of experimental solar air heater model analysis has been used to perform a numerical simulation to enhance turbulent heat transfer and Reynolds-Averaged Navier–Stokes analysis is used as a numerical technique and the k-epsilon model with near-wall treatment as a turbulent model. The thermal efficiency enhancement because of selected roughness is found to be 16-24%. The result predicts a significant enhancement of heat transfer as compared to that of for a smooth surface with different P’ and various range of Reynolds number. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=CFD" title="CFD">CFD</a>, <a href="https://publications.waset.org/abstracts/search?q=solar%20collector" title=" solar collector"> solar collector</a>, <a href="https://publications.waset.org/abstracts/search?q=airheater" title=" airheater"> airheater</a>, <a href="https://publications.waset.org/abstracts/search?q=thermal%20efficiency" title=" thermal efficiency"> thermal efficiency</a> </p> <a href="https://publications.waset.org/abstracts/47346/cfd-simulation-for-thermo-hydraulic-performance-v-shaped-discrete-ribs-on-the-absorber-plate-of-solar-air-heater" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/47346.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">290</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6522</span> Business Continuity Risk Review for a Large Petrochemical Complex</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Michel%20A.%20Thomet">Michel A. Thomet</a> </p> <p class="card-text"><strong>Abstract:</strong></p> A discrete-event simulation model was used to perform a Reliability-Availability-Maintainability (RAM) study of a large petrochemical complex which included sixteen process units, and seven feeds and intermediate streams. All the feeds and intermediate streams have associated storage tanks, so that if a processing unit fails and shuts down, the downstream units can keep producing their outputs. This also helps the upstream units which do not have to reduce their outputs, but can store their excess production until the failed unit restart. Each process unit and each pipe section carrying the feeds and intermediate streams has a probability of failure with an associated distribution and a Mean Time Between Failure (MTBF), as well as a distribution of the time to restore and a Mean Time To Restore (MTTR). The utilities supporting the process units can also fail and have their own distributions with specific MTBF and MTTR. The model runs are for ten years or more and the runs are repeated several times to obtain statistically relevant results. One of the main results is the On-Stream factor (OSF) of each process unit (percent of hours in a year when the unit is running in nominal conditions). One of the objectives of the study was to investigate if the storage capacity of each of the feeds and the intermediate stream was adequate. This was done by increasing the storage capacities in several steps and through running the simulation to see if the OSF were improved and by how much. Other objectives were to see if the failure of the utilities were an important factor in the overall OSF, and what could be done to reduce their failure rates through redundant equipment. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=business%20continuity" title="business continuity">business continuity</a>, <a href="https://publications.waset.org/abstracts/search?q=on-stream%20factor" title=" on-stream factor"> on-stream factor</a>, <a href="https://publications.waset.org/abstracts/search?q=petrochemical" title=" petrochemical"> petrochemical</a>, <a href="https://publications.waset.org/abstracts/search?q=RAM%20study" title=" RAM study"> RAM study</a>, <a href="https://publications.waset.org/abstracts/search?q=simulation" title=" simulation"> simulation</a>, <a href="https://publications.waset.org/abstracts/search?q=MTBF" title=" MTBF"> MTBF</a> </p> <a href="https://publications.waset.org/abstracts/32190/business-continuity-risk-review-for-a-large-petrochemical-complex" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/32190.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">219</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6521</span> Inventory Control for Purchased Part under Long Lead Time and Uncertain Demand: MRP vs Demand-Driven MRP Approach</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=M.%20J.%20Shofa">M. J. Shofa</a>, <a href="https://publications.waset.org/abstracts/search?q=A.%20Hidayatno"> A. Hidayatno</a>, <a href="https://publications.waset.org/abstracts/search?q=O.%20M.%20Armand"> O. M. Armand</a> </p> <p class="card-text"><strong>Abstract:</strong></p> MRP as a production control system is appropriate for the deterministic environment. Unfortunately, most production systems such as customer demands are stochastic. Demand-Driven MRP (DDMRP) is a new approach for inventory control system, and it deals with demand uncertainty. The objective of this paper is to compare the MRP and DDMRP work for a long lead time and uncertain demand in terms of on-hand inventory levels. The evaluation is conducted through a discrete event simulation using purchased part data from an automotive company. The result is MRP gives 50,759 pcs / day while DDMRP gives 34,835 pcs / day (reduce 32%), it means DDMRP is more effective inventory control than MRP in terms of on-hand inventory levels. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=Demand-Driven%20MRP" title="Demand-Driven MRP">Demand-Driven MRP</a>, <a href="https://publications.waset.org/abstracts/search?q=long%20lead%20time" title=" long lead time"> long lead time</a>, <a href="https://publications.waset.org/abstracts/search?q=MRP" title=" MRP"> MRP</a>, <a href="https://publications.waset.org/abstracts/search?q=uncertain%20demand" title=" uncertain demand"> uncertain demand</a> </p> <a href="https://publications.waset.org/abstracts/71415/inventory-control-for-purchased-part-under-long-lead-time-and-uncertain-demand-mrp-vs-demand-driven-mrp-approach" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/71415.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">301</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6520</span> Modeling and Analyzing the WAP Class 2 Wireless Transaction Protocol Using Event-B </h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Rajaa%20Filali">Rajaa Filali</a>, <a href="https://publications.waset.org/abstracts/search?q=Mohamed%20Bouhdadi"> Mohamed Bouhdadi</a> </p> <p class="card-text"><strong>Abstract:</strong></p> This paper presents an incremental formal development of the Wireless Transaction Protocol (WTP) in Event-B. WTP is part of the Wireless Application Protocol (WAP) architectures and provides a reliable request-response service. To model and verify the protocol, we use the formal technique Event-B which provides an accessible and rigorous development method. This interaction between modelling and proving reduces the complexity and helps to eliminate misunderstandings, inconsistencies, and specification gaps. As result, verification of WTP allows us to find some deficiencies in the current specification. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=event-B" title="event-B">event-B</a>, <a href="https://publications.waset.org/abstracts/search?q=wireless%20transaction%20protocol" title=" wireless transaction protocol"> wireless transaction protocol</a>, <a href="https://publications.waset.org/abstracts/search?q=proof%20obligation" title=" proof obligation"> proof obligation</a>, <a href="https://publications.waset.org/abstracts/search?q=refinement" title=" refinement"> refinement</a>, <a href="https://publications.waset.org/abstracts/search?q=Rodin" title=" Rodin"> Rodin</a>, <a href="https://publications.waset.org/abstracts/search?q=ProB" title=" ProB"> ProB</a> </p> <a href="https://publications.waset.org/abstracts/73221/modeling-and-analyzing-the-wap-class-2-wireless-transaction-protocol-using-event-b" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/73221.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">317</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6519</span> Analytical Solution of Non–Autonomous Discrete Non-Linear Schrodinger Equation With Saturable Non-Linearity</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Mishu%20Gupta">Mishu Gupta</a>, <a href="https://publications.waset.org/abstracts/search?q=Rama%20Gupta"> Rama Gupta</a> </p> <p class="card-text"><strong>Abstract:</strong></p> It has been elucidated here that non- autonomous discrete non-linear Schrödinger equation is associated with saturable non-linearity through photo-refractive media. We have investigated the localized solution of non-autonomous saturable discrete non-linear Schrödinger equations. The similarity transformation has been involved in converting non-autonomous saturable discrete non-linear Schrödinger equation to constant-coefficient saturable discrete non-linear Schrödinger equation (SDNLSE), whose exact solution is already known. By back substitution, the solution of the non-autonomous version has been obtained. We have analysed our solution for the hyperbolic and periodic form of gain/loss term, and interesting results have been obtained. The most important characteristic role is that it helps us to analyse the propagation of electromagnetic waves in glass fibres and other optical wave mediums. Also, the usage of SDNLSE has been seen in tight binding for Bose-Einstein condensates in optical mediums. Even the solutions are interrelated, and its properties are prominently used in various physical aspects like optical waveguides, Bose-Einstein (B-E) condensates in optical mediums, Non-linear optics in photonic crystals, and non-linear kerr–type non-linearity effect and photo refracting medium. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=B-E-Bose-Einstein" title="B-E-Bose-Einstein">B-E-Bose-Einstein</a>, <a href="https://publications.waset.org/abstracts/search?q=DNLSE-Discrete%20non%20linear%20schrodinger%20equation" title=" DNLSE-Discrete non linear schrodinger equation"> DNLSE-Discrete non linear schrodinger equation</a>, <a href="https://publications.waset.org/abstracts/search?q=NLSE-non%20linear%20schrodinger%20equation" title=" NLSE-non linear schrodinger equation"> NLSE-non linear schrodinger equation</a>, <a href="https://publications.waset.org/abstracts/search?q=SDNLSE%20-%20saturable%20discrete%20non%20linear%20Schrodinger%20equation" title=" SDNLSE - saturable discrete non linear Schrodinger equation"> SDNLSE - saturable discrete non linear Schrodinger equation</a> </p> <a href="https://publications.waset.org/abstracts/121074/analytical-solution-of-non-autonomous-discrete-non-linear-schrodinger-equation-with-saturable-non-linearity" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/121074.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">155</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6518</span> Effect of Particle Shape on Monotonic and Cyclic Biaxial Behaviour of Sand Using Discrete Element Method</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Raj%20Banerjee">Raj Banerjee</a>, <a href="https://publications.waset.org/abstracts/search?q=Y.%20M.%20Parulekar"> Y. M. Parulekar</a>, <a href="https://publications.waset.org/abstracts/search?q=Aniruddha%20Sengupta"> Aniruddha Sengupta</a>, <a href="https://publications.waset.org/abstracts/search?q=J.%20Chattopadhyay"> J. Chattopadhyay</a> </p> <p class="card-text"><strong>Abstract:</strong></p> This study proposes a Discrete Element Method (DEM) simulation using a commercial software PFC 2D (2019) for quantitatively simulating the monotonic and cyclic behaviour of sand using irregular shapes of sand grains. A preliminary analysis of the number of particles for optimal Representative Element Volume (REV) simulation of dimension 35mm x 35mm x 70mm using the scaled Grain Size Distribution (GSD) of sand is carried out. Subsequently, the effect of particle shape on the performance of sand during monotonic and cyclic bi-axial tests is assessed using numerical simulation. The validation of the numerical simulation for one case is carried out using the test results from the literature. Further numerical studies are performed in which the particles in REV are simulated by mixing round discs with irregular clumps (100% round disc, 75% round disc 25% irregular clump, 50% round disc 50% irregular clump, 25% round disc 75% irregular clump, 100% irregular clump) in different proportions using Dry Deposition (DD) method. The macro response for monotonic loading shows that irregular sand has a higher strength than round particles and that the Mohr-Coulomb failure envelope depends on the shape of the grains. During cyclic loading, it is observed that the liquefaction resistance curve (Cyclic Stress Ratio (CSR)-Number of cycles (N)) of sand is dependent on the combination of particle shapes with different proportions. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=biaxial%20test" title="biaxial test">biaxial test</a>, <a href="https://publications.waset.org/abstracts/search?q=particle%20shape" title=" particle shape"> particle shape</a>, <a href="https://publications.waset.org/abstracts/search?q=monotonic" title=" monotonic"> monotonic</a>, <a href="https://publications.waset.org/abstracts/search?q=cyclic" title=" cyclic"> cyclic</a> </p> <a href="https://publications.waset.org/abstracts/166777/effect-of-particle-shape-on-monotonic-and-cyclic-biaxial-behaviour-of-sand-using-discrete-element-method" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/166777.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">71</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6517</span> A Discrete Element Method-Based Simulation of Toppling Failure Considering Block Interaction</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Hooman%20Dabirmanesh">Hooman Dabirmanesh</a>, <a href="https://publications.waset.org/abstracts/search?q=Attila%20M.%20Zsaki"> Attila M. Zsaki</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The toppling failure mode in a rock mass is considerably different from the most common sliding failure type along an existing or an induced slip plane. Block toppling is observed in a rock mass which consists of both a widely-spaced basal cross-joint set and a closely-spaced discontinuity set dipping into the slope. For this case, failure occurs when the structure cannot bear the tensile portion of bending stress, and the columns or blocks overturn by their own weight. This paper presents a particle-based discrete element model of rock blocks subjected to a toppling failure where geometric conditions and interaction among blocks are investigated. A series of parametric studies have been conducted on particles’ size, arrangement and bond contact among of particles which are made the blocks. Firstly, a numerical investigation on a one-block system was verified. Afterward, a slope consisting of multi-blocks was developed to study toppling failure and interaction forces between blocks. The results show that the formation of blocks, especially between the block and basal plane surface, can change the process of failure. The results also demonstrate that the initial configuration of particles used to form the blocks has a significant role in achieving accurate simulation results. The size of particles and bond contacts have a considerable influence to change the progress of toppling failure. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=block%20toppling%20failure" title="block toppling failure">block toppling failure</a>, <a href="https://publications.waset.org/abstracts/search?q=contact%20interaction" title=" contact interaction"> contact interaction</a>, <a href="https://publications.waset.org/abstracts/search?q=discrete%20element" title=" discrete element"> discrete element</a>, <a href="https://publications.waset.org/abstracts/search?q=particle%20size" title=" particle size"> particle size</a>, <a href="https://publications.waset.org/abstracts/search?q=random%20generation" title=" random generation"> random generation</a> </p> <a href="https://publications.waset.org/abstracts/92612/a-discrete-element-method-based-simulation-of-toppling-failure-considering-block-interaction" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/92612.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">201</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6516</span> Two-Phase Flow Study of Airborne Transmission Control in Dental Practices</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Mojtaba%20Zabihi">Mojtaba Zabihi</a>, <a href="https://publications.waset.org/abstracts/search?q=Stephen%20Munro"> Stephen Munro</a>, <a href="https://publications.waset.org/abstracts/search?q=Jonathan%20Little"> Jonathan Little</a>, <a href="https://publications.waset.org/abstracts/search?q=Ri%20Li"> Ri Li</a>, <a href="https://publications.waset.org/abstracts/search?q=Joshua%20Brinkerhoff"> Joshua Brinkerhoff</a>, <a href="https://publications.waset.org/abstracts/search?q=Sina%20Kheirkhah"> Sina Kheirkhah</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Occupational Safety and Health Administration (OSHA) identified dental workers at the highest risk of contracting COVID-19. This is because aerosol-generating procedures (AGP) during dental practices generate aerosols ( < 5µm) and droplets. These particles travel at varying speeds, in varying directions, and for varying durations. If these particles bear infectious viruses, their spreading causes airborne transmission of the virus in the dental room, exposing dentists, hygienists, dental assistants, and even other dental clinic clients to the infection risk. Computational fluid dynamics (CFD) simulation of two-phase flows based on a discrete phase model (DPM) is carried out to study the spreading of aerosol and droplets in a dental room. The simulation includes momentum, heat, and mass transfers between the particles and the airflow. Two simulations are conducted and compared. One simulation focuses on the effects of room ventilation in winter and summer on the particles' travel. The other simulation focuses on the control of aerosol and droplets' spreading. A suction collector is added near the source of aerosol and droplets, creating a flow sink in order to remove the particles. The effects of the suction flow on the aerosol and droplet travel are studied. The suction flow can remove aerosols and also reduce the spreading of droplets. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=aerosols" title="aerosols">aerosols</a>, <a href="https://publications.waset.org/abstracts/search?q=computational%20fluid%20dynamics" title=" computational fluid dynamics"> computational fluid dynamics</a>, <a href="https://publications.waset.org/abstracts/search?q=COVID-19" title=" COVID-19"> COVID-19</a>, <a href="https://publications.waset.org/abstracts/search?q=dental" title=" dental"> dental</a>, <a href="https://publications.waset.org/abstracts/search?q=discrete%20phase%20model" title=" discrete phase model"> discrete phase model</a>, <a href="https://publications.waset.org/abstracts/search?q=droplets" title=" droplets"> droplets</a>, <a href="https://publications.waset.org/abstracts/search?q=two-phase%20flow" title=" two-phase flow"> two-phase flow</a> </p> <a href="https://publications.waset.org/abstracts/130160/two-phase-flow-study-of-airborne-transmission-control-in-dental-practices" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/130160.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">265</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6515</span> Bridging Stress Modeling of Composite Materials Reinforced by Fiber Using Discrete Element Method</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Chong%20Wang">Chong Wang</a>, <a href="https://publications.waset.org/abstracts/search?q=Kellem%20M.%20Soares"> Kellem M. Soares</a>, <a href="https://publications.waset.org/abstracts/search?q=Luis%20E.%20Kosteski"> Luis E. Kosteski</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The problem of toughening in brittle materials reinforced by fibers is complex, involving all the mechanical properties of fibers, matrix, the fiber/matrix interface, as well as the geometry of the fiber. An appropriate method applicable to the simulation and analysis of toughening is essential. In this work, we performed simulations and analysis of toughening in brittle matrix reinforced by randomly distributed fibers by means of the discrete elements method. At first, we put forward a mechanical model of the contribution of random fibers to the toughening of composite. Then with numerical programming, we investigated the stress, damage and bridging force in the composite material when a crack appeared in the brittle matrix. From the results obtained, we conclude that: (i) fibers with high strength and low elasticity modulus benefit toughening; (ii) fibers with relatively high elastic modulus compared to the matrix may result in considerable matrix damage (spalling effect); (iii) employment of high-strength synthetic fiber is a good option. The present work makes it possible to optimize the parameters in order to produce advanced ceramic with desired performance. We believe combination of the discrete element method (DEM) with the finite element method (FEM) can increase the versatility and efficiency of the software developed. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=bridging%20stress" title="bridging stress">bridging stress</a>, <a href="https://publications.waset.org/abstracts/search?q=discrete%20element%20method" title=" discrete element method"> discrete element method</a>, <a href="https://publications.waset.org/abstracts/search?q=fiber%20reinforced%20composites" title=" fiber reinforced composites"> fiber reinforced composites</a>, <a href="https://publications.waset.org/abstracts/search?q=toughening" title=" toughening"> toughening</a> </p> <a href="https://publications.waset.org/abstracts/15719/bridging-stress-modeling-of-composite-materials-reinforced-by-fiber-using-discrete-element-method" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/15719.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">445</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6514</span> Virtual Approach to Simulating Geotechnical Problems under Both Static and Dynamic Conditions</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Varvara%20Roubtsova">Varvara Roubtsova</a>, <a href="https://publications.waset.org/abstracts/search?q=Mohamed%20Chekired"> Mohamed Chekired </a> </p> <p class="card-text"><strong>Abstract:</strong></p> Recent studies on the numerical simulation of geotechnical problems show the importance of considering the soil micro-structure. At this scale, soil is a discrete particle medium where the particles can interact with each other and with water flow under external forces, structure loads or natural events. This paper presents research conducted in a virtual laboratory named SiGran, developed at IREQ (Institut de recherche d’Hydro-Quebec) for the purpose of investigating a broad range of problems encountered in geotechnics. Using Discrete Element Method (DEM), SiGran simulated granular materials directly by applying Newton’s laws to each particle. The water flow was simulated by using Marker and Cell method (MAC) to solve the full form of Navier-Stokes’s equation for non-compressible viscous liquid. In this paper, examples of numerical simulation and their comparisons with real experiments have been selected to show the complexity of geotechnical research at the micro level. These examples describe transient flows into a porous medium, interaction of particles in a viscous flow, compacting of saturated and unsaturated soils and the phenomenon of liquefaction under seismic load. They also provide an opportunity to present SiGran’s capacity to compute the distribution and evolution of energy by type (particle kinetic energy, particle internal elastic energy, energy dissipated by friction or as a result of viscous interaction into flow, and so on). This work also includes the first attempts to apply micro discrete results on a macro continuum level where the Smoothed Particle Hydrodynamics (SPH) method was used to resolve the system of governing equations. The material behavior equation is based on the results of simulations carried out at a micro level. The possibility of combining three methods (DEM, MAC and SPH) is discussed. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=discrete%20element%20method" title="discrete element method">discrete element method</a>, <a href="https://publications.waset.org/abstracts/search?q=marker%20and%20cell%20method" title=" marker and cell method"> marker and cell method</a>, <a href="https://publications.waset.org/abstracts/search?q=numerical%20simulation" title=" numerical simulation"> numerical simulation</a>, <a href="https://publications.waset.org/abstracts/search?q=multi-scale%20simulations" title=" multi-scale simulations"> multi-scale simulations</a>, <a href="https://publications.waset.org/abstracts/search?q=smoothed%20particle%20hydrodynamics" title=" smoothed particle hydrodynamics "> smoothed particle hydrodynamics </a> </p> <a href="https://publications.waset.org/abstracts/75617/virtual-approach-to-simulating-geotechnical-problems-under-both-static-and-dynamic-conditions" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/75617.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">302</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6513</span> Distributed Control Strategy for Dispersed Energy Storage Units in the DC Microgrid Based on Discrete Consensus</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Hanqing%20Yang">Hanqing Yang</a>, <a href="https://publications.waset.org/abstracts/search?q=Xiang%20Meng"> Xiang Meng</a>, <a href="https://publications.waset.org/abstracts/search?q=Qi%20Li"> Qi Li</a>, <a href="https://publications.waset.org/abstracts/search?q=Weirong%20Chen"> Weirong Chen</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The SOC (state of charge) based droop control has limitations on the load power sharing among different energy storage units, due to the line impedance. In this paper, a distributed control strategy for dispersed energy storage units in the DC microgrid based on discrete consensus is proposed. Firstly, a sparse information communication network is built. Thus, local controllers can communicate with its neighbors using voltage, current and SOC information. An average voltage of grid can be evaluated to compensate voltage offset by droop control, and an objective virtual resistance fulfilling above requirement can be dynamically calculated to distribute load power according to the SOC of the energy storage units. Then, the stability of the whole system and influence of communication delay are analyzed. It can be concluded that this control strategy can improve the robustness and flexibility, because of having no center controller. Finally, a model of DC microgrid with dispersed energy storage units and loads is built, the discrete distributed algorithm is established and communication protocol is developed. The co-simulation between Matlab/Simulink and JADE (Java agent development framework) has verified the effectiveness of proposed control strategy. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=dispersed%20energy%20storage%20units" title="dispersed energy storage units">dispersed energy storage units</a>, <a href="https://publications.waset.org/abstracts/search?q=discrete%20consensus%20algorithm" title=" discrete consensus algorithm"> discrete consensus algorithm</a>, <a href="https://publications.waset.org/abstracts/search?q=state%20of%20charge" title=" state of charge"> state of charge</a>, <a href="https://publications.waset.org/abstracts/search?q=communication%20delay" title=" communication delay"> communication delay</a> </p> <a href="https://publications.waset.org/abstracts/66150/distributed-control-strategy-for-dispersed-energy-storage-units-in-the-dc-microgrid-based-on-discrete-consensus" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/66150.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">280</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6512</span> An Incremental Refinement Approach to a Development of Dynamic Host Configuration Protocol (DHCP) Using Event-B</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Rajaa%20Filali">Rajaa Filali</a>, <a href="https://publications.waset.org/abstracts/search?q=Mohamed%20Bouhdadi"> Mohamed Bouhdadi</a> </p> <p class="card-text"><strong>Abstract:</strong></p> This paper presents an incremental development of the Dynamic Host Configuration Protocol (DHCP) in Event-B. DHCP is widely used communication protocol, which provides a standard mechanism to obtain configuration parameters. The specification is performed in a stepwise manner and verified through a series of refinements. The Event-B formal method uses the Rodin platform to modeling and verifying some properties of the protocol such as safety, liveness and deadlock freedom. To model and verify the protocol, we use the formal technique Event-B which provides an accessible and rigorous development method. This interaction between modelling and proving reduces the complexity and helps to eliminate misunderstandings, inconsistencies, and specification gaps. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=DHCP%20protocol" title="DHCP protocol">DHCP protocol</a>, <a href="https://publications.waset.org/abstracts/search?q=Event-B" title=" Event-B"> Event-B</a>, <a href="https://publications.waset.org/abstracts/search?q=refinement" title=" refinement"> refinement</a>, <a href="https://publications.waset.org/abstracts/search?q=proof%20obligation" title=" proof obligation"> proof obligation</a>, <a href="https://publications.waset.org/abstracts/search?q=Rodin" title=" Rodin"> Rodin</a> </p> <a href="https://publications.waset.org/abstracts/75956/an-incremental-refinement-approach-to-a-development-of-dynamic-host-configuration-protocol-dhcp-using-event-b" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/75956.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">227</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6511</span> A Refinement Strategy Coupling Event-B and Planning Domain Definition Language (PDDL) for Planning Problems</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Sabrine%20Ammar">Sabrine Ammar</a>, <a href="https://publications.waset.org/abstracts/search?q=Mohamed%20Tahar%20Bhiri"> Mohamed Tahar Bhiri</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Automatic planning has a de facto standard language called Planning Domain Definition Language (PDDL) for describing planning problems. It aims to formalize the planning problems described by the concept of state space. PDDL-related dynamic analysis tools, namely planners and validators, are insufficient for verifying and validating PDDL descriptions. Indeed, these tools made it possible to detect errors a posteriori by means of test activity. In this paper, we recommend a formal approach coupling the two languages Event-B and PDDL, for automatic planning. Event-B is used for formal modeling by stepwise refinement with mathematical proofs of planning problems. Thus, this paper proposes a refinement strategy allowing to obtain reliable PDDL descriptions from an ultimate Event-B model correct by construction. The ultimate Event-B model, correct by construction which is supposed to be translatable into PDDL, is automatically translated into PDDL using our MDE Event-B2PDDL tool. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=code%20generation" title="code generation">code generation</a>, <a href="https://publications.waset.org/abstracts/search?q=event-b" title=" event-b"> event-b</a>, <a href="https://publications.waset.org/abstracts/search?q=PDDL" title=" PDDL"> PDDL</a>, <a href="https://publications.waset.org/abstracts/search?q=refinement%20strategy" title=" refinement strategy"> refinement strategy</a>, <a href="https://publications.waset.org/abstracts/search?q=translation%20rules" title=" translation rules"> translation rules</a> </p> <a href="https://publications.waset.org/abstracts/135577/a-refinement-strategy-coupling-event-b-and-planning-domain-definition-language-pddl-for-planning-problems" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/135577.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">196</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6510</span> Topic-to-Essay Generation with Event Element Constraints</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Yufen%20Qin">Yufen Qin</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Topic-to-Essay generation is a challenging task in Natural language processing, which aims to generate novel, diverse, and topic-related text based on user input. Previous research has overlooked the generation of articles under the constraints of event elements, resulting in issues such as incomplete event elements and logical inconsistencies in the generated results. To fill this gap, this paper proposes an event-constrained approach for a topic-to-essay generation that enforces the completeness of event elements during the generation process. Additionally, a language model is employed to verify the logical consistency of the generated results. Experimental results demonstrate that the proposed model achieves a better BLEU-2 score and performs better than the baseline in terms of subjective evaluation on a real dataset, indicating its capability to generate higher-quality topic-related text. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=event%20element" title="event element">event element</a>, <a href="https://publications.waset.org/abstracts/search?q=language%20model" title=" language model"> language model</a>, <a href="https://publications.waset.org/abstracts/search?q=natural%20language%20processing" title=" natural language processing"> natural language processing</a>, <a href="https://publications.waset.org/abstracts/search?q=topic-to-essay%20generation." title=" topic-to-essay generation."> topic-to-essay generation.</a> </p> <a href="https://publications.waset.org/abstracts/168393/topic-to-essay-generation-with-event-element-constraints" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/168393.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">236</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6509</span> Modeling and Simulation of Flow Shop Scheduling Problem through Petri Net Tools</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Joselito%20Medina%20Marin">Joselito Medina Marin</a>, <a href="https://publications.waset.org/abstracts/search?q=Norberto%20Hern%C3%A1ndez%20Romero"> Norberto Hernández Romero</a>, <a href="https://publications.waset.org/abstracts/search?q=Juan%20Carlos%20Seck%20Tuoh%20Mora"> Juan Carlos Seck Tuoh Mora</a>, <a href="https://publications.waset.org/abstracts/search?q=Erick%20S.%20Martinez%20Gomez"> Erick S. Martinez Gomez</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The Flow Shop Scheduling Problem (FSSP) is a typical problem that is faced by production planning managers in Flexible Manufacturing Systems (FMS). This problem consists in finding the optimal scheduling to carry out a set of jobs, which are processed in a set of machines or shared resources. Moreover, all the jobs are processed in the same machine sequence. As in all the scheduling problems, the makespan can be obtained by drawing the Gantt chart according to the operations order, among other alternatives. On this way, an FMS presenting the FSSP can be modeled by Petri nets (PNs), which are a powerful tool that has been used to model and analyze discrete event systems. Then, the makespan can be obtained by simulating the PN through the token game animation and incidence matrix. In this work, we present an adaptive PN to obtain the makespan of FSSP by applying PN analytical tools. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=flow-shop%20scheduling%20problem" title="flow-shop scheduling problem">flow-shop scheduling problem</a>, <a href="https://publications.waset.org/abstracts/search?q=makespan" title=" makespan"> makespan</a>, <a href="https://publications.waset.org/abstracts/search?q=Petri%20nets" title=" Petri nets"> Petri nets</a>, <a href="https://publications.waset.org/abstracts/search?q=state%20equation" title=" state equation"> state equation</a> </p> <a href="https://publications.waset.org/abstracts/48746/modeling-and-simulation-of-flow-shop-scheduling-problem-through-petri-net-tools" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/48746.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">298</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6508</span> Numerical Investigation of the Effect of Blast Pressure on Discrete Model in Shock Tube</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Aldin%20Justin%20Sundararaj">Aldin Justin Sundararaj</a>, <a href="https://publications.waset.org/abstracts/search?q=Austin%20Lord%20Tennyson"> Austin Lord Tennyson</a>, <a href="https://publications.waset.org/abstracts/search?q=Divya%20Jose"> Divya Jose</a>, <a href="https://publications.waset.org/abstracts/search?q=A.%20N.%20Subash"> A. N. Subash</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Blast waves are generated due to the explosions of high energy materials. An explosion yielding a blast wave has the potential to cause severe damage to buildings and its personnel. In order to understand the physics of effects of blast pressure on buildings, studies in the shock tube on generic configurations are carried out at various pressures on discrete models. The strength of shock wave is systematically varied by using different driver gases and diaphragm thickness. The basic material of the diaphragm is Aluminum. To simulate the effect of shock waves on discrete models a shock tube was used. Generic models selected for this study are suitably scaled cylinder, cone and cubical blocks. The experiments were carried out with 2mm diaphragm with burst pressure ranging from 28 to 31 bar. Numerical analysis was carried out over these discrete models. A 3D model of shock-tube with different discrete models inside the tube was used for CFD computation. It was found that cone has dissipated most of the shock pressure compared to cylinder and cubical block. The robustness and the accuracy of the numerical model were validation with the analytical and experimental data. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=shock%20wave" title="shock wave">shock wave</a>, <a href="https://publications.waset.org/abstracts/search?q=blast%20wave" title=" blast wave"> blast wave</a>, <a href="https://publications.waset.org/abstracts/search?q=discrete%20models" title=" discrete models"> discrete models</a>, <a href="https://publications.waset.org/abstracts/search?q=shock%20tube" title=" shock tube"> shock tube</a> </p> <a href="https://publications.waset.org/abstracts/58116/numerical-investigation-of-the-effect-of-blast-pressure-on-discrete-model-in-shock-tube" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/58116.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">330</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6507</span> Investigating the Shear Behaviour of Fouled Ballast Using Discrete Element Modelling</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Ngoc%20Trung%20Ngo">Ngoc Trung Ngo</a>, <a href="https://publications.waset.org/abstracts/search?q=Buddhima%20Indraratna"> Buddhima Indraratna</a>, <a href="https://publications.waset.org/abstracts/search?q=Cholachat%20Rujikiathmakjornr"> Cholachat Rujikiathmakjornr</a> </p> <p class="card-text"><strong>Abstract:</strong></p> For several hundred years, the design of railway tracks has practically remained unchanged. Traditionally, rail tracks are placed on a ballast layer due to several reasons, including economy, rapid drainage, and high load bearing capacity. The primary function of ballast is to distributing dynamic track loads to sub-ballast and subgrade layers, while also providing lateral resistance and allowing for rapid drainage. Upon repeated trainloads, the ballast becomes fouled due to ballast degradation and the intrusion of fines which adversely affects the strength and deformation behaviour of ballast. This paper presents the use of three-dimensional discrete element method (DEM) in studying the shear behaviour of the fouled ballast subjected to direct shear loading. Irregularly shaped particles of ballast were modelled by grouping many spherical balls together in appropriate sizes to simulate representative ballast aggregates. Fouled ballast was modelled by injecting a specified number of miniature spherical particles into the void spaces. The DEM simulation highlights that the peak shear stress of the ballast assembly decreases and the dilation of fouled ballast increases with an increase level of fouling. Additionally, the distributions of contact force chain and particle displacement vectors were captured during shearing progress, explaining the formation of shear band and the evolutions of volumetric change of fouled ballast. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=railway%20ballast" title="railway ballast">railway ballast</a>, <a href="https://publications.waset.org/abstracts/search?q=coal%20fouling" title=" coal fouling"> coal fouling</a>, <a href="https://publications.waset.org/abstracts/search?q=discrete%20element%20modelling" title=" discrete element modelling"> discrete element modelling</a>, <a href="https://publications.waset.org/abstracts/search?q=discrete%20element%20method" title=" discrete element method"> discrete element method</a> </p> <a href="https://publications.waset.org/abstracts/34239/investigating-the-shear-behaviour-of-fouled-ballast-using-discrete-element-modelling" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/34239.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">451</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6506</span> Event-Led Strategy for Cultural Tourism Development: The Case of Liverpool as the 2008 European Capital of Culture</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Yi-De%20Liu">Yi-De Liu</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Cultural tourism is one of the largest and fastest growing global tourism markets and the cultures are increasingly being used to promote cities and to increase their competitiveness and attractiveness. One of the major forms of cultural tourism development undertaken throughout Europe has been the staging of a growing number of cultural events. The event of European Capitals of Culture (ECOC) is probably the best example of the new trends of cultural tourism in Europe, which is therefore used in this article to demonstrate some of the key issues surrounding the event-led strategy for cultural tourism development. Based on the experience of the 2008 ECOC Liverpool, UK, the study’s findings point to a number of ways in which the ECOC constitutes a boost for the development of cultural tourism in terms of realising experience economy, enhancing city image, facilitating urban regeneration, promoting cultural production and consumption, as well as establishing partnerships. This study is concluded by drawing some critical factors that event and tourism organisers should consider. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=cultural%20tourism" title="cultural tourism">cultural tourism</a>, <a href="https://publications.waset.org/abstracts/search?q=event%20tourism" title=" event tourism"> event tourism</a>, <a href="https://publications.waset.org/abstracts/search?q=cultural%20event" title=" cultural event"> cultural event</a>, <a href="https://publications.waset.org/abstracts/search?q=European%20capital%20of%20culture" title=" European capital of culture"> European capital of culture</a>, <a href="https://publications.waset.org/abstracts/search?q=Liverpool" title=" Liverpool "> Liverpool </a> </p> <a href="https://publications.waset.org/abstracts/12342/event-led-strategy-for-cultural-tourism-development-the-case-of-liverpool-as-the-2008-european-capital-of-culture" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/12342.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">705</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6505</span> A Generalization of Option Pricing with Discrete Dividends to Markets with Daily Price Limits</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Jiahau%20Guo">Jiahau Guo</a>, <a href="https://publications.waset.org/abstracts/search?q=Yihe%20Zhang"> Yihe Zhang</a> </p> <p class="card-text"><strong>Abstract:</strong></p> This paper proposes solutions for pricing options on stocks paying discrete dividends in markets with daily price limits. We first extend the intraday density function of Guo and Chang (2020) to a multi-day one and use the framework of Haug et al. (2003) to value European options on stocks paying discrete dividends. Next, we adopt the fast Fourier transform (FFT) to derive accurate and efficient formulae for American options and further employ the three-point Richardson extrapolation to accelerate the computation. Finally, the accuracy of our proposed methods is verified by simulations. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=daily%20price%20limit" title="daily price limit">daily price limit</a>, <a href="https://publications.waset.org/abstracts/search?q=discrete%20dividend" title=" discrete dividend"> discrete dividend</a>, <a href="https://publications.waset.org/abstracts/search?q=early%20exercise" title=" early exercise"> early exercise</a>, <a href="https://publications.waset.org/abstracts/search?q=fast%20Fourier%20transform" title=" fast Fourier transform"> fast Fourier transform</a>, <a href="https://publications.waset.org/abstracts/search?q=multi-day%20density%20function" title=" multi-day density function"> multi-day density function</a>, <a href="https://publications.waset.org/abstracts/search?q=Richardson%20extrapolation" title=" Richardson extrapolation"> Richardson extrapolation</a> </p> <a href="https://publications.waset.org/abstracts/129710/a-generalization-of-option-pricing-with-discrete-dividends-to-markets-with-daily-price-limits" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/129710.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">164</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6504</span> Anomaly: A Case of Babri Masjid Dispute</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Karitikeya%20Sonker">Karitikeya Sonker</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Religion as a discrete system through its lawful internal working produces an output in the form of realised spatial order with its social logic and a social order with its spatial logic. Thus, it appears to exhibit its duality of spatial and trans-spatial. The components of this system share a relevance forming a collective. This shared relevance creates meaning forming a group where all collectives share one identity. This group with its new social order and its spatial logic revive the already existing spatial order. These religious groups do so having a tendency to expand resulting in the production of space in a situation of encounter where they have found relevance. But an encounter without a lawful internal working of a discrete system results in anomaly because groups do not find relevance due to the absence of collective identity. Events happen all around. One of the main reasons we could say that something became an event is because of conflict. Conflict not in its definitive sense but any occurrence that happens because of an intervention that creates an event worth remembering. The unfolding of such events creates Cities and Urban spaces which exhibit their duality of spatial and trans-spatial by behaving as a discrete system. This system through its lawful internal working produces an output in the form of realized spatial order with its social logic and a social order with spatial logic. The components of this system form a collective through a shared a relevance. This shared relevance creates meaning forming a group where all collectives share one identity. This group with its new social order and its spatial logic revives the already existing spatial order. These groups do so having a tendency to expand resulting in the production of space in a situation of encounter where they have found relevance. But an encounter without a lawful internal working of the discrete system results in anomaly because groups do not find relevance due to the absence of collective identity. This paper makes an effort to explore one such even in the case of Babri Mosque and Ramjanmabhumi, Ayodhya to explain the anomaly as transposition of social and spatial. The paper through the case studies makes an attempt to generate an equation explaining the two different situations of religious encounters, former reviving the social and spatial order and the other resulting in anomaly. Through the case study, it makes an attempt to generate an equation explaining the two different situations of religious encounters, former reviving the social and spatial order and the other resulting in anomaly. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=Babri%20Masjid" title="Babri Masjid">Babri Masjid</a>, <a href="https://publications.waset.org/abstracts/search?q=Ayodhya" title=" Ayodhya"> Ayodhya</a>, <a href="https://publications.waset.org/abstracts/search?q=conflict" title=" conflict"> conflict</a>, <a href="https://publications.waset.org/abstracts/search?q=religion" title=" religion"> religion</a> </p> <a href="https://publications.waset.org/abstracts/64247/anomaly-a-case-of-babri-masjid-dispute" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/64247.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">275</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6503</span> Discrete Sliding Modes Regulator with Exponential Holder for Non-Linear Systems</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=G.%20Obregon-Pulido">G. Obregon-Pulido </a>, <a href="https://publications.waset.org/abstracts/search?q=G.%20C.%20Solis-Perales"> G. C. Solis-Perales</a>, <a href="https://publications.waset.org/abstracts/search?q=J.%20A.%20Meda-Campa%C3%B1a"> J. A. Meda-Campaña</a> </p> <p class="card-text"><strong>Abstract:</strong></p> In this paper, we present a sliding mode controller in discrete time. The design of the controller is based on the theory of regulation for nonlinear systems. In the problem of disturbance rejection and/or output tracking, it is known that in discrete time, a controller that uses the zero-order holder only guarantees tracking at the sampling instances but not between instances. It is shown that using the so-called exponential holder, it is possible to guarantee asymptotic zero output tracking error, also between the sampling instant. For stabilizing the problem of close loop system we introduce the sliding mode approach relaxing the requirements of the existence of a linear stabilizing control law. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=regulation%20theory" title="regulation theory">regulation theory</a>, <a href="https://publications.waset.org/abstracts/search?q=sliding%20modes" title=" sliding modes"> sliding modes</a>, <a href="https://publications.waset.org/abstracts/search?q=discrete%20controller" title=" discrete controller"> discrete controller</a>, <a href="https://publications.waset.org/abstracts/search?q=ripple-free%20tracking" title=" ripple-free tracking"> ripple-free tracking</a> </p> <a href="https://publications.waset.org/abstracts/178771/discrete-sliding-modes-regulator-with-exponential-holder-for-non-linear-systems" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/178771.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">54</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6502</span> Number of Parametrization of Discrete-Time Systems without Unit-Delay Element: Single-Input Single-Output Case</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Kazuyoshi%20Mori">Kazuyoshi Mori</a> </p> <p class="card-text"><strong>Abstract:</strong></p> In this paper, we consider the parametrization of the discrete-time systems without the unit-delay element within the framework of the factorization approach. In the parametrization, we investigate the number of required parameters. We consider single-input single-output systems in this paper. By the investigation, we find, on the discrete-time systems without the unit-delay element, three cases that are (1) there exist plants which require only one parameter and (2) two parameters, and (3) the number of parameters is at most three. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=factorization%20approach" title="factorization approach">factorization approach</a>, <a href="https://publications.waset.org/abstracts/search?q=discrete-time%20system" title=" discrete-time system"> discrete-time system</a>, <a href="https://publications.waset.org/abstracts/search?q=parameterization%20of%20stabilizing%20controllers" title=" parameterization of stabilizing controllers"> parameterization of stabilizing controllers</a>, <a href="https://publications.waset.org/abstracts/search?q=system%20without%20unit-delay" title=" system without unit-delay"> system without unit-delay</a> </p> <a href="https://publications.waset.org/abstracts/74319/number-of-parametrization-of-discrete-time-systems-without-unit-delay-element-single-input-single-output-case" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/74319.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">240</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6501</span> Discrete-Time Bulk Queue with Service Capacity Depending on Previous Service Time</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Yutae%20Lee">Yutae Lee</a> </p> <p class="card-text"><strong>Abstract:</strong></p> This paper considers a discrete-time bulk-arrival bulkservice queueing system, where service capacity varies depending on the previous service time. By using the generating function technique and the supplementary variable method, we compute the distributions of the queue length at an arbitrary slot boundary and a departure time. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=discrete-time%20queue" title="discrete-time queue">discrete-time queue</a>, <a href="https://publications.waset.org/abstracts/search?q=bulk%20queue" title=" bulk queue"> bulk queue</a>, <a href="https://publications.waset.org/abstracts/search?q=variable%20service%20capacity" title=" variable service capacity"> variable service capacity</a>, <a href="https://publications.waset.org/abstracts/search?q=queue%20length%20distribution" title=" queue length distribution"> queue length distribution</a> </p> <a href="https://publications.waset.org/abstracts/4113/discrete-time-bulk-queue-with-service-capacity-depending-on-previous-service-time" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/4113.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">476</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6500</span> Simulation of an Active Controlled Vibration Isolation System for Astronaut’s Exercise Platform </h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Shield%20B.%20Lin">Shield B. Lin</a>, <a href="https://publications.waset.org/abstracts/search?q=Sameer%20Abdali"> Sameer Abdali</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Computer simulations were performed using MATLAB/Simulink for a vibration isolation system for astronaut’s exercise platform. Simulation parameters initially were based on an on-going experiment in a laboratory at NASA Johnson Space Center. The authors expanded later simulations to include other parameters. A discrete proportional-integral-derivative controller with a low-pass filter commanding a linear actuator served as the active control unit to push and pull a counterweight in balancing the disturbance forces. A spring-damper device is used as an optional passive control unit. Simulation results indicated such design could achieve near complete vibration isolation with small displacements of the exercise platform. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=control" title="control">control</a>, <a href="https://publications.waset.org/abstracts/search?q=counterweight" title=" counterweight"> counterweight</a>, <a href="https://publications.waset.org/abstracts/search?q=isolation" title=" isolation"> isolation</a>, <a href="https://publications.waset.org/abstracts/search?q=vibration" title=" vibration"> vibration</a> </p> <a href="https://publications.waset.org/abstracts/127938/simulation-of-an-active-controlled-vibration-isolation-system-for-astronauts-exercise-platform" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/127938.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">149</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6499</span> The Impact of Reshuffle in Indonesian Working Cabinet Volume II to Abnormal Return and Abnormal Trading Activity of Companies Listed in the Jakarta Islamic Index</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Fatin%20Fadhilah%20Hasib">Fatin Fadhilah Hasib</a>, <a href="https://publications.waset.org/abstracts/search?q=Dewi%20Nuraini"> Dewi Nuraini</a>, <a href="https://publications.waset.org/abstracts/search?q=Nisful%20Laila"> Nisful Laila</a>, <a href="https://publications.waset.org/abstracts/search?q=Muhammad%20Madyan"> Muhammad Madyan </a> </p> <p class="card-text"><strong>Abstract:</strong></p> A big political event such as Cabinet reshuffle mostly can affect the stock price positively or negatively, depend on the perception of each investor and potential investor. This study aims to analyze the movement of the market and trading activities which respect to an event using event study method. This method is used to measure the movement of the stock exchange in which abnormal return can be obtained by investor related to the event. This study examines the differences of reaction on abnormal return and trading volume activity from the companies listed in the Jakarta Islamic Index (JII), before and after the announcement of the Cabinet Work Volume II on 27 July 2016. The study was conducted in observation of 21 days in total which consists of 10 days before the event and 10 days after the event. The method used in this study is event study with market adjusted model method that observes market reaction to the information of an announcement or publicity events. The Results from the study showed that there is no significant negative nor positive reaction at the abnormal return and abnormal trading before and after the announcement of the cabinet reshuffle. It is indicated by the results of statistical tests whose value not exceeds the level of significance. Stock exchange of the JII just reflects from the previous stock prices without reflecting the information regarding to the Cabinet reshuffle event. It can be concluded that the capital market is efficient with a weak form. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=abnormal%20return" title="abnormal return">abnormal return</a>, <a href="https://publications.waset.org/abstracts/search?q=abnormal%20trading%20volume%20activity" title=" abnormal trading volume activity"> abnormal trading volume activity</a>, <a href="https://publications.waset.org/abstracts/search?q=event%20study" title=" event study"> event study</a>, <a href="https://publications.waset.org/abstracts/search?q=political%20event" title=" political event"> political event</a> </p> <a href="https://publications.waset.org/abstracts/72979/the-impact-of-reshuffle-in-indonesian-working-cabinet-volume-ii-to-abnormal-return-and-abnormal-trading-activity-of-companies-listed-in-the-jakarta-islamic-index" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/72979.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">293</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">6498</span> Discrete Element Method Simulation of Crushable Pumice Sand</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Sayed%20Hessam%20Bahmani">Sayed Hessam Bahmani</a>, <a href="https://publications.waset.org/abstracts/search?q=Rolsndo%20P.%20Orense"> Rolsndo P. Orense</a> </p> <p class="card-text"><strong>Abstract:</strong></p> From an engineering point of view, pumice particles are problematic because of their crushability and compressibility due to their vesicular nature. Currently, information on the geotechnical characteristics of pumice sands is limited. While extensive empirical and laboratory tests can be implemented to characterize their behavior, these are generally time-consuming and expensive. These drawbacks have motivated attempts to study the effects of particle breakage of pumice sand through the Discrete Element Method (DEM). This method provides insights into the behavior of crushable granular material at both the micro and macro-level. In this paper, the results of single-particle crushing tests conducted in the laboratory are simulated using DEM through the open-source code YADE. This is done to better understand the parameters necessary to represent the pumice microstructure that governs its crushing features, and to examine how the resulting microstructure evolution affects a particle’s properties. The DEM particle model is then used to simulate the behavior of pumice sand during consolidated drained triaxial tests. The results indicate the importance of incorporating particle porosity and unique surface textures in the material characterization and show that interlocking between the crushed particles significantly influences the drained behavior of the pumice specimen. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=pumice%20sand" title="pumice sand">pumice sand</a>, <a href="https://publications.waset.org/abstracts/search?q=triaxial%20compression" title=" triaxial compression"> triaxial compression</a>, <a href="https://publications.waset.org/abstracts/search?q=simulation" title=" simulation"> simulation</a>, <a href="https://publications.waset.org/abstracts/search?q=particle%20breakage" title=" particle breakage"> particle breakage</a> </p> <a href="https://publications.waset.org/abstracts/137361/discrete-element-method-simulation-of-crushable-pumice-sand" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/137361.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">245</span> </span> </div> </div> <ul class="pagination"> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=discrete%20event%20simulation&page=2" rel="prev">‹</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=discrete%20event%20simulation&page=1">1</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=discrete%20event%20simulation&page=2">2</a></li> <li class="page-item active"><span class="page-link">3</span></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=discrete%20event%20simulation&page=4">4</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=discrete%20event%20simulation&page=5">5</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=discrete%20event%20simulation&page=6">6</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=discrete%20event%20simulation&page=7">7</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=discrete%20event%20simulation&page=8">8</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=discrete%20event%20simulation&page=9">9</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=discrete%20event%20simulation&page=10">10</a></li> <li class="page-item disabled"><span class="page-link">...</span></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=discrete%20event%20simulation&page=219">219</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=discrete%20event%20simulation&page=220">220</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=discrete%20event%20simulation&page=4" rel="next">›</a></li> </ul> </div> </main> <footer> <div id="infolinks" class="pt-3 pb-2"> <div class="container"> <div style="background-color:#f5f5f5;" class="p-3"> <div class="row"> <div class="col-md-2"> <ul class="list-unstyled"> About <li><a href="https://waset.org/page/support">About Us</a></li> <li><a href="https://waset.org/page/support#legal-information">Legal</a></li> <li><a target="_blank" rel="nofollow" href="https://publications.waset.org/static/files/WASET-16th-foundational-anniversary.pdf">WASET celebrates its 16th foundational anniversary</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Account <li><a href="https://waset.org/profile">My Account</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Explore <li><a href="https://waset.org/disciplines">Disciplines</a></li> <li><a href="https://waset.org/conferences">Conferences</a></li> <li><a href="https://waset.org/conference-programs">Conference Program</a></li> <li><a href="https://waset.org/committees">Committees</a></li> <li><a href="https://publications.waset.org">Publications</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Research <li><a href="https://publications.waset.org/abstracts">Abstracts</a></li> <li><a href="https://publications.waset.org">Periodicals</a></li> <li><a href="https://publications.waset.org/archive">Archive</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Open Science <li><a target="_blank" rel="nofollow" href="https://publications.waset.org/static/files/Open-Science-Philosophy.pdf">Open Science Philosophy</a></li> <li><a target="_blank" rel="nofollow" href="https://publications.waset.org/static/files/Open-Science-Award.pdf">Open Science Award</a></li> <li><a target="_blank" rel="nofollow" href="https://publications.waset.org/static/files/Open-Society-Open-Science-and-Open-Innovation.pdf">Open Innovation</a></li> <li><a target="_blank" rel="nofollow" href="https://publications.waset.org/static/files/Postdoctoral-Fellowship-Award.pdf">Postdoctoral Fellowship Award</a></li> <li><a target="_blank" rel="nofollow" href="https://publications.waset.org/static/files/Scholarly-Research-Review.pdf">Scholarly Research Review</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Support <li><a href="https://waset.org/page/support">Support</a></li> <li><a href="https://waset.org/profile/messages/create">Contact Us</a></li> <li><a href="https://waset.org/profile/messages/create">Report Abuse</a></li> </ul> </div> </div> </div> </div> </div> <div class="container text-center"> <hr style="margin-top:0;margin-bottom:.3rem;"> <a href="https://creativecommons.org/licenses/by/4.0/" target="_blank" class="text-muted small">Creative Commons Attribution 4.0 International License</a> <div id="copy" class="mt-2">© 2024 World Academy of Science, Engineering and Technology</div> </div> </footer> <a href="javascript:" id="return-to-top"><i class="fas fa-arrow-up"></i></a> <div class="modal" id="modal-template"> <div class="modal-dialog"> <div class="modal-content"> <div class="row m-0 mt-1"> <div class="col-md-12"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> </div> </div> <div class="modal-body"></div> </div> </div> </div> <script src="https://cdn.waset.org/static/plugins/jquery-3.3.1.min.js"></script> <script src="https://cdn.waset.org/static/plugins/bootstrap-4.2.1/js/bootstrap.bundle.min.js"></script> <script src="https://cdn.waset.org/static/js/site.js?v=150220211556"></script> <script> jQuery(document).ready(function() { /*jQuery.get("https://publications.waset.org/xhr/user-menu", function (response) { jQuery('#mainNavMenu').append(response); });*/ jQuery.get({ url: "https://publications.waset.org/xhr/user-menu", cache: false }).then(function(response){ jQuery('#mainNavMenu').append(response); }); }); </script> </body> </html>