Search Results - (( using function method algorithm ) OR ( model verification using algorithm ))
Search alternatives:
- verification using »
- method algorithm »
- function method »
- using algorithm »
- using function »
-
1
Augmentation of basic-line-search and quick-simplex-method algorithms to enhance linear programming computational performance
Published 2021“…The LP’s application is need to be further computed with a technique and Simplex algorithm is the one that commonly used. The Simplex algorithm has three stages of computation namely initialization, iterative calculation and termination. …”
Get full text
Get full text
Get full text
Get full text
Thesis -
2
An intelligent framework for modelling and active vibration control of flexible structures
Published 2004“…Dynamic characterisations of one-dimensional flexible beam and two-dimensional flexible plate structures are presented and simulation algorithms characterising the behaviour of each structure is developed using finite difference methods. …”
Get full text
Get full text
Get full text
Thesis -
3
Parameter estimation and outlier detection for some types of circular model / Siti Zanariah binti Satari
Published 2015“…We classify the cluster group that exceeds the stopping rule as potential outliers. Model verification of all method and model proposed in this study are examined using the simulation study. …”
Get full text
Get full text
Thesis -
4
A Novel Approach Of Groebner Bases Computation For Safety Analysis Of Distributed Discrete Controllers
Published 2019“…This research also proposes the improvement of mean time to failure (MTTF) by using the new model checking method. At the end of this research, a complete tool of model checking method based on Groebner bases algorithm for safety verification will be produced. …”
Get full text
Get full text
Get full text
Technical Report -
5
Development Of Analytical Solution For Thermo-Mechanical Stresses Of Multilayered Pressure Vessel Based On Recursive Algorithm
Published 2022“…Recent studies showed that analytical solution based on recursive algorithm can be used to obtain thermo-mechanical stresses of multilayered structure efficiently. …”
Get full text
Get full text
Final Year Project / Dissertation / Thesis -
6
A comparative study of vibrational response based impact force localization and quantification using different types of neural networks / Wang Yanru
Published 2018“…It may be ore accurate than MLPwhen there are multiple outputs. In addition, ANFIS uses hybrid learning algorithm. It is mixed with least mean square and gradient descent method, which cause many advantages, such as much better learning ability and less computational time. …”
Get full text
Get full text
Get full text
Thesis -
7
Case driven TLC model checker analysis in energy scenario
Published 2023“…Addressing current situation in Ukraine, an energy domain is among the topical spheres, where safety critical business processes take place. To foster the functional safety of corresponding program-algorithmic solutions, the model checking techniques and related tools are applied to the formal specifications of named solutions. …”
Get full text
Get full text
Get full text
Conference or Workshop Item -
8
Modeling and Optimization of Tapered Rectangular Thin-walled Columns Subjected to Oblique Loading for Impact Energy Absorption
Published 2013“…RS model using quadratic polynomial function is given as equation (1) below. …”
Get full text
Get full text
Conference or Workshop Item -
9
A fictitious reference iterative tuning method for buck converter-powered DC motor control system
Published 2019“…Simulation analyses using Matlab Software have been conducted for results validation and verification. …”
Get full text
Get full text
Get full text
Conference or Workshop Item -
10
Dynamic modelling and control of a flexible manipulator
Published 2003“…Dynamic model of a single-link flexible manipulator incorporating structural damping, hub inertia and payload is developed using the finite element method. …”
Get full text
Get full text
Get full text
Thesis -
11
Development of finite element model for soil-structure interaction
Published 2014“…Results from the FE and classical methods are compared for verification. In the present study, the SSI analytical model is idealized by the two-node beam element and the eight-node serendipity element. …”
Get full text
Get full text
Thesis -
12
A controller-agnostic random oracle based intrusion detection method in software defined networks / Adnan
Published 2016“…We model the solution in the real setting of SDNs using High Level Petri Nets (HLPN), analyze the rules with Z language, and formally verified the correct functioning using Z3 SMT solver. …”
Get full text
Get full text
Thesis -
13
-
14
-
15
Daily streamflow forecasting using simplified rule-based fuzzy logic system
Published 2011Get full text
Article -
16
Feature extraction using active appearance model algorithm with Bayesian classification approach
Published 2013“…This study enhances invariant recognition of human faces and analysis to improve face verification and identification performance using Active Appearance Model (AAM) for feature extraction with Bayesian classification approach. …”
Get full text
Get full text
Get full text
Conference or Workshop Item -
17
Daily streamflow forecasting using simplified rule-based fuzzy logic system
Published 2005“…For each catchment, the calibration data set consisted ofthree consecutive years of daily rainfall and streamflow records. Verifications of the calibrated models were done using the data set of the following year. …”
Get full text
Get full text
Article -
18
-
19
Fake news detection: A machine learning approach
Published 2021“…The final model chosen to be deployed was a model trained using a Multinomial Naïve Bayes algorithm.…”
Get full text
Get full text
Final Year Project / Dissertation / Thesis -
20
Dose verification procedures in radiotherapy
Published 1999Get full text
Get full text
Conference or Workshop Item