Search Results - (( program case verification algorithm ) OR ( java application optimisation algorithm ))

Study and Implementation of Data Mining in Urban Gardening by Mohana, Muniandy, Lee, Eu Vern

“…The system is essentially a three-part development, utilising Android, Java Servlets, and Arduino platforms to create an optimised and automated urban-gardening system. …”
Get full text
Get full text
Get full text

Augmentation of basic-line-search and quick-simplex-method algorithms to enhance linear programming computational performance by Nor Azlan, Nor Asmaa Alyaa

“…Finally, mathematical experimentation is proceeded concerning on verification and validation of the new algorithm. The verification performed through generated random problems via MATLAB has shown the new augmentation algorithm maintains to generate a lesser iteration number from the highest percentage of nonzero coefficients in constraints matrix (80%) and the biggest problem sizes (m = 100, n = 100) until to the lowest percentage of nonzero coefficients in constraints matrix (20%) and the smallest problem sizes (m = 5, n = 5). …”
Get full text
Get full text
Get full text

Case driven TLC model checker analysis in energy scenario by Shkarupylo, Vadym, Blinov, Ihor V., Dusheba, Valentyna, Alsayaydeh, Jamil Abedalrahim Jamil

“…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

A framework of test case prioritisation in regression testing using particle swarm-artificial bee colony algorithm by Ba-Quttayyan, Bakr Salim Abdullah

“…Ten knowledge and domain experts provided positive feedback on the framework's verification, affirming the framework's robustness. Validation was conducted through three experiments involving four Java programs. …”
Get full text
Get full text
Get full text
Get full text

Compatible Pair of Nontrivial Actions for Some Cyclic Groups of 2-Power Order by Sahimel Azwal, Sulaiman, Mohd Sham, Mohamad, Yuhani, Yusof

“…Some necessary and sufficient number theoretical conditions for a pair of cyclic groups of 2-power order with nontrivial actions act compatibly on each other are used to investigate some properties to find the exact number of compatible pairs of actions. Algorithms in Groups, Algorithms and Programming (GAP) software are constructed to create more examples on selected case. …”
Get full text
Get full text
Get full text

Numerical simulation and experimental verification on distortions induced by wire-arc additive manufacturing components and costing analysis / Keval Priapratama Prajadhiana by Prajadhiana, Keval Priapratama

“…To enlighten the application of method and procedure of numerical computation, this research is divided into two case studies. The first case study is modelling, simulating and fabricating the twenty layers deposition of hollow rectangular WAAM and the second case study is to examine pipe flange WAAM where the substrate and part distortions was be examined. …”
Get full text
Get full text

Web-based expert system for material selection of natural fiber- reinforced polymer composites by Ahmed Ali, Basheer Ahmed

“…Finally, the developed expert system was deployed over the internet with central interactive interface from the server as a web-based application. As Java is platform independent and easy to be deployed in web based application and accessible through the World Wide Web (www), this expert system can be one stop application for materials selection.…”
Get full text
Get full text

Design Rule Check To Validate Option Metal And Via For A Preprogrammed Layout Design by Oothayer Kumar, Sureindra Kumar

“…Thus, this project will enable the verification of the option layer by developing an algorithm which able to cover the check for both option and real metal/via layer. …”
Get full text
Get full text

Development of a novel natural frequencies prediction tool for laminated composite plates using integrated artificial neural network (ANN) - simulink MATLAB / Mohd Arif Mat Norman by Mat Norman, Mohd Arif

“…The study conducted 16 case studies, and the program's predictions were validated using analytical methods and compared to FE modal results. …”
Get full text
Get full text

Compatible pair of nontrivial actions for some cyclic groups of 2-power order by Sahimel Azwal, Sulaiman, Mohd Sham, Mohamad, Yuhani, Yusof, Nor Haniza, Sarmin, Nor Muhainiah, Mohd Ali, Tan, Lit Ken, Tahir, Shah

“…Some necessary and sufficient numbers of theoretical conditions for a pair of cyclic groups of 2-power order with nontrivial actions which act compatibly on each other are used to investigate some properties in order to find the exact number of compatible pairs of actions. Algorithms in Groups, Algorithms and Programming (GAP) software are used to create more examples on selected cases. …”
Get full text
Get full text
Get full text

Coastal Priority Ranking in Oil Spill Response Decision Support Mechanism by Pourvakhshouri, Seyedeh Zahra

“…Results were verified to present the inclusiveness, accuracy, and system algorithm. The verification activity involved exploring the knowledge base, coding of reasoning processes / inference engine, technical performance, ability for development, and interface. …”
Get full text
Get full text

Optimal distribution system reconfiguration incorporating distributed generation based on simplified network approach / Mohammad Al Samman by Mohammad , Al Samman

“…The selected meta-heuristic techniques in this research involve the Firefly Algorithm (FA) and Biogeography-Based Optimization (BBO). …”
Get full text
Get full text
Get full text

New optimization feature for the developed open cnc controller based on ISO 6983 and ISO 14649 by Obayes, Noor Hatem

“…This research aims to minimize tool path airtime during machining of input ISO codes via an ant colony optimization algorithm. A new optimized system was developed based on open architecture control (OAC) technology and interpreted STEP-NC (Standard for the Exchange of Product Model Data) programming approaches. …”
Get full text
Get full text
Get full text
Get full text

Dynamic and adaptive execution models for data stream mining applications in mobile edge cloud computing systems / Muhammad Habib Ur Rehman by Muhammad Habib , Ur Rehman

“…The validation and verification of the proposed architecture were performed using High-Level Petri Nets (HLPN) and Z3 Solver. …”
Get full text
Get full text
Get full text

Development of finite element model for soil-structure interaction by Shoaei, Mohammad Dalili

“…Then, the special finite element algorithm and computer program (2DSSI) is developed to perform two-dimensional nonlinear SSI analysis by considering interfacial behavior of soil and frame elements. …”
Get full text
Get full text