Search Results - (( programming model checking algorithm ) OR ( java application reoptimize algorithm ))
Search alternatives:
- application reoptimize »
- checking algorithm »
- java application »
-
1
-
2
AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING
Published 2021“…However, model checking is one of the approaches that help to discover these fault.…”
Get full text
Get full text
Thesis -
3
System performances analysis of reservoir optimization�simulation model in application of artificial bee colony algorithm
Published 2023“…Decision making; Evolutionary algorithms; Genetic algorithms; Optimization; Particle swarm optimization (PSO); Reservoirs (water); Stochastic models; Stochastic systems; Artificial bee colonies (ABC); Artificial bee colony algorithms; Optimization techniques; Performance checking indices; Performances analysis; Reservoir optimizations; Reservoir release; Stochastic dynamic programming; Dynamic programming…”
Article -
4
Case driven TLC model checker analysis in energy scenario
Published 2023“…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 -
5
System performances analysis of reservoir optimization–simulation model in application of artificial bee colony algorithm
Published 2018“…Particle swarm optimization, genetic algorithm and neural network-based stochastic dynamic programming are also used in a view of comparing model performances. …”
Get full text
Get full text
Article -
6
Application of intelligence based genetic algorithm for job sequencing problem on parallel mixed-model assembly line
Published 2010“…In order to check the capability of proposed algorithm, several experimentations on the set of problems were done. …”
Get full text
Get full text
Get full text
Article -
7
Optimization of multipurpose reservoir operation using evolutionary algorithms / Mohammed Heydari
Published 2017“…The described model was resolved by linear programming and evolutionary algorithms in Microsoft Excel (Solver). …”
Get full text
Get full text
Get full text
Thesis -
8
Enhancement of Ant System Algorithm for Course Timetabling Problem
Published 2009“…As the requirement of the Ant System Algorithm, the problem is modeled as a graph that can be used by the ant to deliver its pheromone. …”
Get full text
Get full text
Get full text
Thesis -
9
-
10
-
11
Development of nonlinear model for plug flow reactor process
Published 2010“…The program for Plug Flow Reactor system is created and this program known as nonlinear fundamental model. …”
Get full text
Get full text
Undergraduates Project Papers -
12
AI chatbot system for educational institutions
Published 2023“…Users can seamlessly apply for programs, check application statuses, and schedule campus visits, all while enjoying a user-friendly experience. …”
Get full text
Get full text
Final Year Project / Dissertation / Thesis -
13
Power system network splitting and load frequency control optimization using ABC based algorithms / Kanendra Naidu a/l Vijyakumar
Published 2015“…This research presents a modified optimization program for the system splitting problem in large scale power system based on Artificial Bee Colony algorithm and graph theory. …”
Get full text
Get full text
Thesis -
14
Artificial neural networks to solve the singular model with Neumann–Robin, Dirichlet and Neumann boundary conditions
Published 2021“…The aim of this work is to solve the case study singular model involving the Neumann–Robin, Dirichlet, and Neumann boundary conditions using a novel computing framework that is based on the artificial neural network (ANN), global search genetic algorithm (GA), and local search sequential quadratic programming method (SQPM), i.e., ANN-GA-SQPM. …”
Get full text
Get full text
Get full text
Get full text
Get full text
Article -
15
Evaluation of cracks and disintegrations using close-range digital photogrammetry and image processing technique
Published 2005“…Moreover, digital photogrammetry workstation (DPW) is user-friendly, less tedious and enables surface conditions to be represented as ortho-image, overlay contour with orthoimage, as well as digital elevation model. Results obtained by this technique are compared with the Jabatan Kerja Raya manual using conventional method to check accuracy. …”
Get full text
Get full text
Thesis -
16
Compression of Three-Dimensional Terrain Data Using Lifting Scheme Based on Second Generation Wavelets
Published 2006“…The newly developed algorithm was applied to compress Light Detection and Ranging (LIDAR) data to check the efficiency of the program. …”
Get full text
Get full text
Thesis -
17
Design of fuzzy based controller for modern elevator group with floor priority constraints
Published 2011“…The simulation was accomplished to check the priority of fuzzy system graphically while the actual prototype of elevator system is programmed by PIC device as a controller. …”
Get full text
Get full text
Proceeding Paper -
18
Design and implementation of fuzzy based controller for modern elevator group
Published 2011“…The simulation was accomplished to check the priority of fuzzy system graphically while the actual prototype of elevator system is programmed by PIC device as a controller. …”
Get full text
Get full text
Get full text
Proceeding Paper -
19