Search results for: bottleneck model

Authors: Ahmad Forouzantabar, Mohammad Azadi, Alireza Alesaadi

Abstract:

This paper describes a sliding mode controller for autonomous underwater vehicles (AUVs). The dynamic of AUV model is highly nonlinear because of many factors, such as hydrodynamic drag, damping, and lift forces, Coriolis and centripetal forces, gravity and buoyancy forces, as well as forces from thruster. To address these difficulties, a nonlinear sliding mode controller is designed to approximate the nonlinear dynamics of AUV and improve trajectory tracking. Moreover, the proposed controller can profoundly attenuate the effects of uncertainties and external disturbances in the closed-loop system. Using the Lyapunov theory the boundedness of AUV tracking errors and the stability of the proposed control system are also guaranteed. Numerical simulation studies of an AUV are included to illustrate the effectiveness of the presented approach.

Keywords: lyapunov stability, autonomous underwater vehicle, sliding mode controller, electronics engineering

Procedia PDF Downloads 612

Authors: Dr. Luigi Iannacci

Abstract:

This research critically explores the current educational landscape with respect to special education and dominant deficit/medical model discourses that continue to forward unresponsive problematic approaches to teaching students with disabilities. Asset-oriented perspectives and social/critical models of disability are defined and explicated in order to offer alternatives to these dominant discourses. To that end, a framework that draws on Brian Camborne’s conditions of learning and applications of his work in relation to instruction conceptualize learning conditions and their significance to students with special needs. Methodologically, the research is designed as Critical Narrative Inquiry (CNI). Critical incidents, interviews, documents, artefacts etc. are drawn on and narratively constructed to explore how disability is presently configured in language, discourses, pedagogies and interactions with students deemed disabled. This data was collected using ethnographic methods and as such, through participant-observer field work that occurred directly in classrooms. This narrative approach aims to make sense of complex classroom interactions and ways of reconceptualizing approaches to students with special needs. CNI is situated in the critical paradigm and primarily concerned with culture, language and participation as issues of power in need of critique with the intent of change in the direction of social justice. Research findings highlight the ways in which Cambourne’s learning conditions, such as demonstration, approximation, engagement, responsibility, immersion, expectation, employment (transfer, use), provide a clear understanding of what is central to and constitutes a responsive and inclusive this instructional frame. Examples of what each of these conditions look like in practice are therefore offered in order to concretely demonstrate the ways in which various pedagogical choices and questions can enable classroom spaces to be responsive to the assets and challenges students with special needs have and experience. These particular approaches are also illustrated through an exploration of multiliteracies theory and pedagogy and what this research and approach allows educators to draw on, facilitate and foster in terms of the ways in which students with special needs can make sense of and demonstrate their understanding of skills, content and knowledge. The contextual information, theory, research and instructional frame focused on throughout this inquiry ultimately demonstrate what inclusive classroom spaces and practice can look like. These perspectives and conceptualizations are in stark contrast to dominant deficit driven approaches that ensure current pedagogically impoverished teaching focused on narrow, limited and limiting understandings of special needs learners and their ways of knowing and acquiring/demonstrating knowledge.

Keywords: asset-oriented approach, social/critical model of disability, conditions for learning and teaching, students with special needs

Procedia PDF Downloads 68

Authors: Seema Dhariwal, Kiran Maan, Ruchi Baghel, Apoorva Sharma, Poonam Rana

Abstract:

Introduction: Traumatic brain injury (TBI) is defined as the temporary or permanent alteration in brain function and pathology caused by an external mechanical force. It represents the leading cause of mortality and morbidity among children and youth individuals. Various models of TBI in rodents have been developed in the laboratory to mimic the scenario of injury. Blast overpressure injury is common among civilians and military personnel, followed by accidents or explosive devices. In addition to this, the lateral Controlled cortical impact (CCI) model mimics the blunt, penetrating injury. Method: In the present study, we have developed two different mild TBI models using blast and CCI injury. In the blast model, helium gas was used to create an overpressure of 130 kPa (±5) via a shock tube, and CCI injury was induced with an impact depth of 1.5mm to create diffusive and focal injury, respectively. C57BL/6J male mice (10-12 weeks) were divided into three groups: (1) control, (2) Blast treated, (3) CCI treated, and were exposed to different injury models. Serum was collected on Day1 and day7, followed by biphasic extraction using MTBE/Methanol/Water. Prepared samples were separated on Charged Surface Hybrid (CSH) C18 column and acquired on UHPLC-Q-TOF-MS using ESI probe with inhouse optimized parameters and method. MS peak list was generated using Markerview TM. Data were normalized, Pareto-scaled, and log-transformed, followed by multivariate and univariate analysis in metaboanalyst. Result and discussion: Untargeted profiling of lipids generated extensive data features, which were annotated through LIPID MAPS® based on their m/z and were further confirmed based on their fragment pattern by LipidBlast. There is the final annotation of 269 features in the positive and 182 features in the negative mode of ionization. PCA and PLS-DA score plots showed clear segregation of injury groups to controls. Among various lipids in mild blast and CCI, five lipids (Glycerophospholipids {PC 30:2, PE O-33:3, PG 28:3;O3 and PS 36:1 } and fatty acyl { FA 21:3;O2}) were significantly altered in both injury groups at Day 1 and Day 7, and also had VIP score >1. Pathway analysis by Biopan has also shown hampered synthesis of Glycerolipids and Glycerophospholipiods, which coincides with earlier reports. It could be a direct result of alteration in the Acetylcholine signaling pathway in response to TBI. Understanding the role of a specific class of lipid metabolism, regulation and transport could be beneficial to TBI research since it could provide new targets and determine the best therapeutic intervention. This study demonstrates the potential lipid biomarkers which can be used for injury severity diagnosis and identification irrespective of injury type (diffusive or focal).

Keywords: LipidBlast, lipidomic biomarker, LIPID MAPS®, TBI

Procedia PDF Downloads 113

Authors: Ya-Mei Chang

Abstract:

This research is intended to apply spatio-temporal point process methods to the dengue fever data in Tainan. The spatio-temporal intensity function of the dataset is assumed to be separable. The kernel estimation is a widely used approach to estimate intensity functions. The intensity function is very helpful to study the relation of the spatio-temporal point process and some covariates. The covariate effects might be nonlinear. An nonparametric smoothing estimator is used to detect the nonlinearity of the covariate effects. A fitted parametric model could describe the influence of the covariates to the dengue fever. The correlation between the data points is detected by the K-function. The result of this research could provide useful information to help the government or the stakeholders making decisions.

Keywords: dengue fever, spatial point process, kernel estimation, covariate effect

Procedia PDF Downloads 351

Authors: H. Katkhuda

Abstract:

A time domain approach is used in this paper to identify unknown dynamic forces applied on two dimensional frames using the measured dynamic structural responses for a sub-structure in the two dimensional frame. In this paper a sub-structure finite element model with short length of measurement from only three or four accelerometers is required, and an iterative least-square algorithm is used to identify the unknown dynamic force applied on the structure. Validity of the method is demonstrated with numerical examples using noise-free and noise-contaminated structural responses. Both harmonic and impulsive forces are studied. The results show that the proposed approach can identify unknown dynamic forces within very limited iterations with high accuracy and shows its robustness even noise- polluted dynamic response measurements are utilized.

Keywords: dynamic force identification, dynamic responses, sub-structure, time domain

Procedia PDF Downloads 361

Authors: M. Lloret-Climent, J. Nescolarde-Selva

Abstract:

The aim of this paper is to propose a mathematical model to determine invariant sets, set covering, orbits and, in particular, attractors in the set of tourism variables. Analysis was carried out based on a pre-designed algorithm and applying our interpretation of chaos theory developed in the context of General Systems Theory. This article sets out the causal relationships associated with tourist flows in order to enable the formulation of appropriate strategies. Our results can be applied to numerous cases. For example, in the analysis of tourist flows, these findings can be used to determine whether the behaviour of certain groups affects that of other groups and to analyse tourist behaviour in terms of the most relevant variables. Unlike statistical analyses that merely provide information on current data, our method uses orbit analysis to forecast, if attractors are found, the behaviour of tourist variables in the immediate future.

Keywords: attractor, invariant set, tourist flows, orbits, social responsibility, tourism, tourist variables

Procedia PDF Downloads 508

Authors: Pascal Mwenge, Jefrey Pilusa, Tumisang Seodigeng

Abstract:

The current study investigated the effect of catalyst ratio and methanol to oil ratio on biodiesel production by using central composite design. Biodiesel was produced by transesterification using sodium hydroxide as a homogeneous catalyst, a laboratory scale reactor consisting of flat bottom flask mounts with a reflux condenser, and a heating plate was used to produce biodiesel. Key parameters, including time, temperature, and mixing rate was kept constant at 60 minutes, 60 ^oC and 600 RPM, respectively. From the results obtained, it was observed that the biodiesel yield depends on catalyst ratio and methanol to oil ratio. The highest yield of 50.65% was obtained at catalyst ratio of 0.5 wt.% and methanol to oil mole ratio 10.5. The analysis of variances of biodiesel yield showed the R Squared value of 0.8387. A quadratic mathematical model was developed to predict the biodiesel yield in the specified parameters ranges.

Keywords: ANOVA, biodiesel, catalyst, transesterification, central composite design

Procedia PDF Downloads 152

Authors: Yael Fisher

Abstract:

Little is known about perceived self-efficacy of public preschool teachers, their perception of preschool excellence, or the relations between the two. There were three purposes for this research: defining the professional self-efficacy of preschool teachers (PTSE); defining preschool teachers' perception of preschool excellence (PTPPE); and investigating the relationship between the two. Scales for PTSE and PTPPE were developed especially for this study. Public preschool teachers (N = 202) participated during the 2013 school year. Structural Equation Modeling was performed to test the fit between the research model and the obtained data. PTPSE scale (α = 0.91) was comprised of three subscales: pedagogy (α=0.84), organization (α = 0.85) and staff (α = 0.72). The PTPPE scale (α = 0.92) is also composed of three subscales: organization and pedagogy (α = 0.88), staff (α = 0.84) and parents (α = 0.83). The goodness of fit measures were RMSEA = 0.045, CFI = 0.97, NFI = 0.89, df = 173, χ²=242.94, p= .000, showing GFI = 1.4 (< 3) as a good fit. Understanding self-efficacy of preschool teachers, preschool could and should lead to better professional development (in-service training) of preschool teachers.

Keywords: self-efficacy, public pre schools, preschool excellence, SEM

Procedia PDF Downloads 130

Authors: M. Ben Slimene, M.-S. Ouali

Abstract:

Asset management of urban infrastructures faces a multitude of challenges that need to be overcome to obtain a reliable measurement of performances. Predicting the performance of slowly aging systems is one of those challenges, which helps the asset manager to investigate specific failure modes and to undertake the appropriate maintenance and rehabilitation interventions to avoid catastrophic failures as well as to optimize the maintenance costs. This article presents a methodology for modeling the deterioration of slowly degrading assets based on an operating history. It consists of extracting degradation profiles by grouping together assets that exhibit similar degradation sequences using an unsupervised classification technique derived from artificial intelligence. The obtained clusters are used to build the performance prediction models. This methodology is applied to a sample of a stormwater drainage culvert dataset.

Keywords: artificial Intelligence, clustering, culvert, regression model, slow degradation

Procedia PDF Downloads 112

Authors: Rodrigo Costa, Thomas Mazzuchi, Shahram Sarkani

Abstract:

This study analyzes the evolution of Bitcoin Improvement Proposals (BIPs), the self-governing mechanism that enables updates to the Bitcoin protocol. By modeling BIP submission frequencies with a Negative Binomial distribution and detecting change points with the Pelt Rupture model, we identify three distinct intervals of proposal activity, suggesting shifts in development priorities over time. Long-term growth patterns, captured by Gompertz and Weibull models, indicate an S-shaped trend in cumulative BIP counts, pointing toward a maturation phase in Bitcoin’s protocol. Our findings suggest that Bitcoin may be entering a stable stage, with fewer fundamental changes and more incremental enhancements. This trend highlights the need for further research into BIP content and more studies into its dynamics to better understand decentralized protocol governance and maturation.

Keywords: bitcoin improvement proposals, innovation management, change point detection, systems modeling, simulation

Procedia PDF Downloads 7

Authors: Abdellah Boualouch, Ahmed Essadki, Tamou Nasser, Ali Boukhriss, Abdellatif Frigui

Abstract:

This paper presents a power control for a Doubly Fed Induction Generator (DFIG) using in Wind Energy Conversion System (WECS) connected to the grid. The proposed control strategy employs two nonlinear controllers, Backstipping (BSC) and sliding-mode controller (SMC) scheme to directly calculate the required rotor control voltage so as to eliminate the instantaneous errors of active and reactive powers. In this paper the advantages of BSC and SMC are presented, the performance and robustness of this two controller’s strategy are compared between them. First, we present a model of wind turbine and DFIG machine, then a synthesis of the controllers and their application in the DFIG power control. Simulation results on a 1.5MW grid-connected DFIG system are provided by MATLAB/Simulink.

Keywords: backstipping, DFIG, power control, sliding-mode, WESC

Procedia PDF Downloads 594

Authors: Sadia Ata, Anila Tabassum, Samina ghafoor, Ijaz ul Mohsin, Azam Muktar

Abstract:

Heavy metal ions such as Pb2+, Cd2+, Zn2+, Ni2+ and Hg2+, in wastewater are considered as the serious environmental problem. Among these heavy metals, Lead or Pb (II) is the most toxic heavy metal. Exposure to lead causes damage of nervous system, mental retardation, renal kidney disease, anemia and cancer in human beings. Adsorption is the most widely used method to remove metal ions based on the physical interaction between metal ions and sorbents. With the development of nanotechnology, nano-sized materials are proved to be effective sorbents for the removal of heavy metal ions from wastewater due to their unique structural properties. The present work mainly focuses on the synthesis of NiO and ZnO nanoparticles for the removal of Lead ions, their preparation, characterization by XRD, FTIR, SEM, and TEM, adsorption characteristics and mechanism, along with adsorption isotherm model and adsorption kinetics to understand the adsorption procedure.

Keywords: heavy metal, adsorption isotherms, nanoparticles, wastewater

Procedia PDF Downloads 590

Authors: Marianna Russo

Abstract:

Ageing population and youth unemployment are the major challenges that Western Countries – and Italy in particular – are facing in recent years. These phenomena have a significant impact not only on the labour market and the welfare system, but also on the organisational models of work. Therefore, in Italy, in the past few years, there have been some attempts to regulate the management of generational turn-over: intergenerational pacts, early retirement incentives, solidarity contracts, etc. In particular, this paper aims to focus on the expansive solidarity contracts, that were introduced in the Italian legal system for the first time in 1984. Indeed, they have been little used during the thirty years of their lives, so the Legislative Decree no. 148/2015, implementing the so-called Jobs Act, has given them another opportunity. The paper tries to analyse the rules and the empirical data, looking for a sustainable model of generational turn-over management.

Keywords: ageing population, generational turn-over, Italian jobs' act, solidarity contracts

Procedia PDF Downloads 256

Authors: Mahdi Bazarganigilani

Abstract:

Computer-aided diagnosis (CAD) systems can play crucial roles in diagnosing crucial diseases such as breast cancer at the earliest. In this paper, a CAD system for the diagnosis of breast cancer was introduced and evaluated. This CAD system was developed by using spatio-temporal analysis of data on a set of consecutive thermographic images by employing wavelet transformation. By using this analysis, a very accurate machine learning model using random forest was obtained. The final results showed a promising accuracy of 91% in terms of the F1 measure indicator among 200 patients' sample data. The CAD system was further extended to obtain a detailed analysis of the effect of smaller sub-areas of each breast on the occurrence of cancer.

Keywords: computer-aided diagnosis systems, thermographic analysis, spatio-temporal analysis, image processing, machine learning

Procedia PDF Downloads 210

Authors: Reeden Bicomong

Abstract:

Ecotourism activities, though geared towards conservation efforts, still put pressures against the natural state of the environment. Influx of visitors that goes beyond carrying capacity of the ecotourism site, the wastes generated, greenhouse gas emissions, are just few of the potential negative impacts of a not well-managed ecotourism activities. According to Girard and Nocca (2017) tourism produces many negative impacts because it is configured according to the model of linear economy, operating on a linear model of take, make and dispose (Ellen MacArthur Foundation 2015). With the influx of tourists in an ecotourism area, more wastes are generated, and if unregulated, natural state of the environment will be at risk. It is in this light that a study on waste analysis and classification study in five different ecotourism sites of Samal Island, Philippines was conducted. The major objective of the study was to analyze the amount and content of wastes generated from ecotourism sites in Samal Island, Philippines and make recommendations based on the circular economy perspective. Five ecotourism sites in Samal Island, Philippines was identified such as Hagimit Falls, Sanipaan Vanishing Shoal, Taklobo Giant Clams, Monfort Bat Cave, and Tagbaobo Community Based Ecotourism. Ocular inspection of each ecotourism site was conducted. Likewise, key informant interview of ecotourism operators and staff was done. Wastes generated from these ecotourism sites were analyzed and characterized to come up with recommendations that are based on the concept of circular economy. Wastes generated were classified into biodegradables, recyclables, residuals and special wastes. Regression analysis was conducted to determine if increase in number of visitors would equate to increase in the amount of wastes generated. Ocular inspection indicated that all of the five ecotourism sites have their own system of waste collection. All of the sites inspected were found to be conducting waste separation at source since there are different types of garbage bins for all of the four classification of wastes such as biodegradables, recyclables, residuals and special wastes. Furthermore, all five ecotourism sites practice composting of biodegradable wastes and recycling of recyclables. Therefore, only residuals are being collected by the municipal waste collectors. Key informant interview revealed that all five ecotourism sites offer mostly nature based activities such as swimming, diving, site seeing, bat watching, rice farming experiences and community living. Among the five ecotourism sites, Sanipaan Vanishing Shoal has the highest average number of visitors in a weekly basis. At the same time, in the wastes assessment study conducted, Sanipaan has the highest amount of wastes generated. Further results of wastes analysis revealed that biodegradables constitute majority of the wastes generated in all of the five selected ecotourism sites. Meanwhile, special wastes proved to be the least generated as there was no amount of this type was observed during the three consecutive weeks WACS was conducted.

Keywords: Circular economy, ecotourism, sustainable development, WACS

Procedia PDF Downloads 220

Authors: Isha Rathore, Peeyush Jain, Elangovan Rajasekar

Abstract:

The thermal capacity of the envelope impacts the cooling and heating demand of a building and modulates the peak electricity demand. This paper presents the thermal capacity tuning of a building envelope to minimize peak electricity demand for space cooling. We consider a 40 m² residential testbed located in Hyderabad, India (Composite Climate). An EnergyPlus model is validated using real-time data. A Parametric simulation framework for thermal capacity tuning is created using the Honeybee plugin. Diffusivity, Thickness, layer position, orientation and fenestration size of the exterior envelope are parametrized considering a five-layered wall system. A total of 1824 parametric runs are performed and the optimum wall configuration leading to minimum peak cooling demand is presented.

Keywords: thermal capacity, tuning, peak demand reduction, parametric analysis

Procedia PDF Downloads 184

Authors: Aqoul H. H. Alanezy, Ali M. Abdelsalam, Nouby M. Ghazaly

Abstract:

In recent years, progress has been made in increasing the renewable energy share in the power sector particularly in the wind. The experimental study conducted in this paper aims to investigate the effects of number of blades and inflow wind speed on vibration signals of a vertical axis Savonius type wind turbine. The operation of the model of Savonius type wind turbine is conducted to compare two, three and four blades wind turbines to show vibration amplitudes related with wind speed. It is found that the increase of the number of blades leads to decrease of the vibration magnitude. Furthermore, inflow wind speed has reduced effect on the vibration level for higher number of blades.

Keywords: Savonius type wind turbine, number of blades, renewable energy, vibration signals

Procedia PDF Downloads 155

Authors: Sello Mokwena, Monyepao Thabang

Abstract:

In this study, we propose a comprehensive approach to address the challenges in person re-identification models. By combining a centroid tracking algorithm with a Siamese convolutional neural network model, our method excels in detecting, tracking, and capturing robust person features across non-overlapping camera views. The algorithm efficiently identifies individuals in the camera network, while the neural network extracts fine-grained global features for precise cross-image comparisons. The approach's effectiveness is further accentuated by leveraging the camera network topology for guidance. Our empirical analysis on benchmark datasets highlights its competitive performance, particularly evident when background subtraction techniques are selectively applied, underscoring its potential in advancing person re-identification techniques.

Keywords: camera network, convolutional neural network topology, person tracking, person re-identification, siamese

Procedia PDF Downloads 72

Authors: Gianna Zou

Abstract:

Propensity score matching (PSM), introduced by Paul R. Rosenbaum and Donald Rubin in 1983, is a popular statistical matching technique which tries to estimate the treatment effects by taking into account covariates that could impact the efficacy of study medication in clinical trials. PSM can be used to reduce the bias due to confounding variables. However, PSM assumes that the response values are normally distributed. In some cases, this assumption may not be held. In this paper, a machine learning method - Bayesian Additive Regression Tree (BART), is used as a more robust method of matching. BART can work well when models are misspecified since it can be used to model heterogeneous treatment effects. Moreover, it has the capability to handle non-linear main effects and multiway interactions. In this research, a BART Matching Method (BMM) is proposed to provide a more reliable matching method over PSM. By comparing the analysis results from PSM and BMM, BMM can perform well and has better prediction capability when the response values are not normally distributed.

Keywords: BART, Bayesian, matching, regression

Procedia PDF Downloads 147

Authors: Ross Guest, Bjarne Jensen

Abstract:

This paper analyses a potentially new consumption dividend from lower fertility arising from imperfect labour substitution by age. A smaller proportion of young workers relative to older workers raises relative youth wages given imperfect labour substitution by age. Discounted lifetime labour income rises which provides a consumption dividend. Simulation results are reported for the four Scandinavian countries, adopting a simple overlapping generations model. Imperfect labour substitution is modelled using a CRESH functional form of an aggregate labour index. The magnitudes of this new consumption dividend from a Low fertility projection compared with a high fertility projection are found to be approximately 4 percent annually, on average over the Scandinavian countries in the very long run, but somewhat lower in the short term. There is some sensitivity to the interest rate and the degree of consumption smoothing.

Keywords: fertility, consumption, productivity, labour substitution

Procedia PDF Downloads 350

Authors: Pablo Kubo, Cassio Paiva, Adelino Ferreira

Abstract:

The main objective of this research study is to present the results of the influence of shock absorber condition, from a truck front suspension, on the vertical dynamic load applied on the pavement. For the measurements, it has been used a durability test track located in Brazil. The shock absorber conditions were new, used and failed with a constant load of 6 tons on the front suspension, the maximum allowed load for front axle according to Brazilian legislation. By applying relative damage concept, it is possible to conclude that the variation on the shock absorber conditions will significantly affect the load applied on the pavement. Although, it is recommended to repeat the same methodology in order to analyze the influence on the variation of the quarter car model variants.

Keywords: damage, shock absorber, vertical dynamic load, absorber

Procedia PDF Downloads 483

Authors: Mefoute Badiang Alphonse, Emile Saker Nkwei

Abstract:

This study examines the factors determining the adoption of online purchases among customers and the influence of cultural variables in an African context. The research is based on a combination of the technology acceptance model (IS/IT). The hypotheses are tested using the structural equation method (PLS) on a sample of 446 individuals. The findings show that: (1) rational perception variables are influential factors affecting users’ intentions to adopt online purchases; (2) it is established that cultural factors have an impact on online purchases in the context of the study. Customers who value physical interaction are more likely to make purchases online, although mostly for hedonic reasons. Additionally, the relationship between utilitarian expectations and purchase intention depends on the level of conformity to the group. Implications and limitations of the research are formulated.

Keywords: Africa, cultural variables, online purchases, rational perception

Procedia PDF Downloads 79

Authors: J. Fernandez, R. Fernandez de Canete, J. Perea-Paizal, J. C. Ramos-Diaz

Abstract:

The high prevalence of cardiovascular diseases has provoked a raising interest in the development of mathematical models in order to evaluate the cardiovascular function both under physiological and pathological conditions. In this paper, a physical model of the cardiovascular system with intrinsic regulation is presented and implemented by using the object-oriented Modelica simulation software tools.  For this task, a multi-compartmental system previously validated with physiological data has been built, based on the interconnection of cardiovascular elements such as resistances, capacitances and pumping among others, by following an electrohydraulic analogy. The results obtained under both physiological and pathological scenarios provide an easy interpretative key to analyze the hemodynamic behavior of the patient. The described approach represents a valuable tool in the teaching of physiology for graduate medical and nursing students among others.

Keywords: cardiovascular system, MODELICA simulation software, physical modelling, teaching tool

Procedia PDF Downloads 300

Authors: Zi Wang, Xinlei He, Jianghua Lv, Yuqing Lan

Abstract:

Kernel though widely used, is complicated. Errors caused by some bugs are often costly. Statically, more than half of the mistakes occur in the design phase. Thus, we introduce a modeling method, KMVM (Linux Kernel Modeling and verification Method), based on type theory for proper designation and correct exploitation of the Kernel. In the model, the Kernel is separated into six levels: subsystem, dentry, file, struct, func, and base. Each level is treated as a type. The types are specified in the structure and relationship. At the same time, we use a demanding path to express the function to be implemented. The correctness of the design is verified by recursively checking the type relationship and type existence. The method has been applied to verify the OPEN business of VFS (virtual file system) in Linux Kernel. Also, we have designed and developed a set of security communication mechanisms in the Kernel with verification.

Keywords: formal approach, type theory, Linux Kernel, software program

Procedia PDF Downloads 137

Authors: Riku Hayashida, Tomoaki Hashimoto

Abstract:

This paper provides a robust stabilization method for rotational motion of underwater robots against parameter uncertainties. Underwater robots are expected to be used for various work assignments. The large variety of applications of underwater robots motivates researchers to develop control systems and technologies for underwater robots. Several control methods have been proposed so far for the stabilization of nominal system model of underwater robots with no parameter uncertainty. Parameter uncertainties are considered to be obstacles in implementation of the such nominal control methods for underwater robots. The objective of this study is to establish a robust stabilization method for rotational motion of underwater robots against parameter uncertainties. The effectiveness of the proposed method is verified by numerical simulations.

Keywords: robust control, stabilization method, underwater robot, parameter uncertainty

Procedia PDF Downloads 160

Authors: Robert Christopher Hamilton

Abstract:

This research examined the effects of reflexive cosmopolitanism on the competition for sexual territoriality. By adopting Michel De Certeau’s (1984) spatial didactic model, the article maps out the key elements at play and the dynamics explaining how gays gay place in the backdrop of rapid modernization. It found that heterosexual space and heteronormative assumptions helped to create temporal and spatial opportunities that allow for sexual performativity of gay males. Moreover, using data collected from multiple semi-controlled one-on-one interviews over 13 months, this article illustrates how spatial competition culminates in non-zero sum game outcomes and particularly to compromise of sexual territoriality while further demonstrating the need to understand the sexual coping tactics used in cultures with similar backgrounds. The findings enable researchers to better understand how gay men gay space, and how space performatively embodies gay men.

Keywords: South Korea, coffee bean, sexual territoriality, reflexive cosmopolitanism

Procedia PDF Downloads 327

Authors: Saurabh Ahluwalia, Sul Kassicieh

Abstract:

The conventional wisdom has maintained that being in proximity to entrepreneurial ecosystems helps startups to raise financing, develop and grow. In this paper, we examine the effect of a major component of an entrepreneurial ecosystem- financial or venture capital clusters on the exit of a startup through mergers and acquisitions (M&A). We find that the presence of a venture capitalist in a venture capital (VC) cluster is a major success factor for M&A exits. The location of startups in the top VC clusters did not turn out to be significant for success. Our results are robust to different specifications of the model that use different time periods, types of success, the reputation of VC, industry and the quality of the startup company. Our results provide evidence for VCs, startups and policymakers who want to better understand the components of entrepreneurial ecosystems and their relation to the M&A exits of startups.

Keywords: financial institution, mergers and acquisitions, startup financing, venture capital

Procedia PDF Downloads 201

Authors: Sahil Imtiyaz

Abstract:

One of the biggest challenges has emerged from the ever-expanding, dynamic, and instantaneously changing space-Big Data; and to find a data point and inherit wisdom to this space is a hard task. In this paper, we reduce the space of big data in Hamiltonian formalism that is in concordance with Ising Model. For this formulation, we simulate the system using dye laser in FORTRAN and analyse the dynamics of the data point in energy well of rhodium atom. After mapping the photon intensity and pulse width with energy and potential we concluded that as we increase the energy there is also increase in probability of tunnelling up to some point and then it starts decreasing and then shows a randomizing behaviour. It is due to decoherence with the environment and hence there is a loss of ‘quantumness’. This interprets the efficiency parameter and the extent of quantum evolution. The results are strongly encouraging in favour of the use of ‘Topological Property’ as a source of information instead of the qubit.

Keywords: big data, optimization, quantum evolution, hamiltonian, dye laser, fermionic computations

Procedia PDF Downloads 194

Authors: Abdallah H. Ramini, Alwathiqbellah I. Ibrahim, Mohammad I. Younis

Abstract:

We investigate experimentally and theoretically the dynamics of a capacitive resonator under mixed frequency excitation of two AC harmonic signals. The resonator is composed of a proof mass suspended by two cantilever beams. Experimental measurements are conducted using a laser Doppler Vibrometer to reveal the interesting dynamics of the system when subjected to two-source excitation. A nonlinear single-degree-of-freedom model is used for the theoretical investigation. The results reveal combination resonances of additive and subtractive type, which are shown to be promising to increase the bandwidth of the resonator near primary resonance frequency. Our results also demonstrate the ability to shift the combination resonances to much lower or much higher frequency ranges. We also demonstrate the dynamic pull-in instability under mixed frequency excitation.

Keywords: electrostatically actuated resonator, multi-frequency excitation, nonlinear dynamics, AC harmonic signals

Procedia PDF Downloads 622

Authors: Nice Vasconcelos Coimbra, Fábio dos Santos Gonçalves, Marisa Nascimento, Ellen Cristine Giese

Abstract:

The development of chemical routes for the recovery and separation of rare earth elements (REE) is seen as a priority and strategic action by several countries demanding these elements. Among the possibilities of alternative routes, the biosorption process has been evaluated in our laboratory. In this theme, the present work attempts to assess and fit the solution equilibrium data in Langmuir, Freundlich and DKR isothermal models, based on the biosorption results of the lanthanum and samarium elements by Bacillus subtilis immobilized on calcium alginate gel. It was observed that the preference of adsorption of REE by the immobilized biomass followed the order Sm (III)> La (III). It can be concluded that among the studied isotherms models, the Langmuir model presented better mathematical results than the Freundlich and DKR models.

Keywords: rare earth elements, biosorption, Bacillus subtilis, adsorption isotherm models

Procedia PDF Downloads 160