Search Results - between ((formal algorithm) OR (force algorithm))

Search alternatives:

Refine Results
  1. 1
    Global search optimization algorithm for vehicle active suspension

    Global search optimization algorithm for vehicle active suspension by Khalil Shehan, Muna

    Published 2017
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  2. 2
    Autonomous multi satellites assembly in keplerian orbits

    Autonomous multi satellites assembly in keplerian orbits by Okasha, Mohamed Elsayed Aly Abd Elaziz, Park, Chandeok, Park, Sang-Young

    Published 2013
    “…The guidance algorithms suggest attraction and repulsion forces between the individuals in which the attraction forces dominate on large distances while repulsion forces dominate on close distances. …”
    Get full text
    Get full text
    Get full text
    Proceeding Paper
    Save to List
    Saved in:
  3. 3
    Non-pressurized magnetorheological damper controlled using fuzzy semi active damping force estimator (fSADE)

    Non-pressurized magnetorheological damper controlled using fuzzy semi active damping force estimator (fSADE) by Saiful Anuar, Abu Bakar, Hishamuddin, Jamaluddin, Roslan, Abd Rahman, Pakharuddin, Mohd Samin, Ryosuke, Masuda, Hiromu, Hashimoto, Takeshi, Inaba

    Published 2012
    Get full text
    Working Paper
    Save to List
    Saved in:
  4. 4
    Performance comparison between skyhook and semi active damping force estimator (SADE) algorithms for semi active suspension system / S. A. Abu Bakar ... [et al.]

    Performance comparison between skyhook and semi active damping force estimator (SADE) algorithms for semi active suspension system / S.... by Abu Bakar, S. A., Abdul Majid, M. M., Mansor, S., Abdul Hamid, M.K., Daud, Z.C.

    Published 2018
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    A technique for checking the adequacy of formal model

    A technique for checking the adequacy of formal model by Shkarupylo, Vadym V., Jamil Alsayaydeh, Jamil Abedalrahim, Dusheba, Valentyna V., Tomičić, Igor, Chemeris, Alexander A.

    Published 2021
    “…The technique is grounded on the following constituents: Kripke structure-for analytical interpretation of formal specification; Temporal Logic of Actions and corresponding formalism-as the instruments for shifting from the analytical plane to the implementation one; TLC model checker-to examine the correctness of formal specification – with respect to the concepts of implementation plane. …”
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Sensor-less force-reflecting macro–micro telemanipulation systems by piezoelectric actuators

    Sensor-less force-reflecting macro–micro telemanipulation systems by piezoelectric actuators by Amini, H., Farzaneh, B., Azimifar, F., Sarhan, A.A.D.

    Published 2016
    “…To eliminate external force measurement, a force estimation algorithm is proposed for the master and slave robots. …”
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Regenerative braking strategy for electric vehicles using improved adaptive genetic algorithm

    Regenerative braking strategy for electric vehicles using improved adaptive genetic algorithm by Taleghani, Hussein

    Published 2017
    “…Firstly, it distributes the brake forces between front and rear axles of the vehicle. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  8. 8
    Measurement system to study the relationship between forearm EMG signals and hand grip force

    Measurement system to study the relationship between forearm EMG signals and hand grip force by Sidek, Shahrul Naim, Haja Mohideen, Ahmad Jazlan

    Published 2012
    “…In certain applications such as controlling the movements of a robotic prosthetic hand, information relating wrist joint angles to forearm muscle activity is useful to be used as part of the control algorithm. In this paper, we study the relationship between the muscular activity of forearm muscles and wrist joint angles/position while hand grip force is varied. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Proceeding Paper
    Save to List
    Saved in:
  9. 9
    A framework for classification software security using common vulnerabilities and exposures

    A framework for classification software security using common vulnerabilities and exposures by Hassan, Nor Hafeizah

    Published 2018
    “…This inclusive of the investigation of vulnerability classification objectives,processes,classifiers and focus domains among prominent framework.Final step is to construct the framework by establishing the formal presentation of the vulnerability classification algo-rithm.The validation process was conducted empirically using statistical method to assess the accuracy and consistency by using the precision and recall rate of the algorithm on five data sets each with 500 samples.The findings show a significant result with precision's error rate or p value is between 0.01 and 0.02 with error rate for recall's error rate is between 0.02 and 0.04.Another validation was conducted to verify the correctness of the classification by using expert opinions,and the results showed that the ambiguity of several cases were subdue. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  10. 10
    Magnetic Optimization Algorithm Approach For Travelling Salesman Problem

    Magnetic Optimization Algorithm Approach For Travelling Salesman Problem by Ismail, Mohd Muzafar, Zakaria, Muhammad Iqbal, Zainal Abidin, Amar Faiz, Mad Juliani, Juwita, Lit, Asrani, Mirjalili, Seyedali, Nordin, Nur Anis, Mohamed Saaid, Muhammad Faiz

    Published 2012
    “…The strength of the magnetic force between these particles is inversely proportion to the distance calculated by the Traveling Salesman Problem's solution they represented. …”
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  11. 11
    Improved criteria determination of an automated negative lightning return strokes characterisation using Brute-Force search algorithm

    Improved criteria determination of an automated negative lightning return strokes characterisation using Brute-Force search algorithm by Abdul Haris, Faranadia

    Published 2021
    “…Accordingly, the proposed Brute-Force search algorithm characterised the negative lightning return strokes parameters based on the seven parameters. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  12. 12
    A new algorithm to identify nonlinear vibration of car body in white (BIW) structure

    A new algorithm to identify nonlinear vibration of car body in white (BIW) structure by Sani, M. S.M., Ghazali, M. F., Baharom, Mohamad Zairi, Yusof, Mohd Fadhlan M., Rahman, M. M.

    Published 2013
    Get full text
    Get full text
    Research Book Profile
    Save to List
    Saved in:
  13. 13
    Improving regenerative braking strategy using genetic algorithm for electric vehicles / H. Taleghani ... [et al.]

    Improving regenerative braking strategy using genetic algorithm for electric vehicles / H. Taleghani ... [et al.] by Taleghani, H., Hassan, M.K, Abdul Rahman, R. Z., Che Soh, A.

    Published 2018
    “…The strategy distributes the required braking force between friction brakes of both axles and regenerative breaks. …”
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Case driven TLC model checker analysis in energy scenario

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

    Published 2023
    “…Moreover, the outcomes of formal techniques and tools application directly depend on specification atomicity level chosen – as a tradeoff between the complexity of program- algorithmic constituent addressed to be represented in formal specification and available computational and spatial resources of the computing platform with model checking technique implementation – because of an exponential growth of transition system state space. …”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  15. 15
    Comparison between Lamarckian Evolution and Baldwin Evolution of neural network

    Comparison between Lamarckian Evolution and Baldwin Evolution of neural network by Taha, Imad, Inazy, Qabas

    Published 2006
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Improving explicit aspects extraction in sentiment analysis using optimized ruleset / Mohammad Ahmad Jomah Tubishat

    Improving explicit aspects extraction in sentiment analysis using optimized ruleset / Mohammad Ahmad Jomah Tubishat by Mohammad Ahmad, Jomah Tubishat

    Published 2019
    “…Our results from the conducted experiments revealed that the proposed algorithm outperform the state-of-the-art aspect extraction algorithms and optimization algorithms. …”
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  17. 17
    Automated negative lightning return strokes characterization using brute-force search algorithm

    Automated negative lightning return strokes characterization using brute-force search algorithm by Abdul Haris, Faranadia, Ab. Kadir, Mohd Zainal Abidin, Sudin, Sukhairi, Jasni, Jasronita, Johari, Dalina, Zaini, Nur Hazirah

    Published 2022
    “…Hence, this study proposed the development of an automated negative lightning return strokes characterization using a brute-force search algorithm. A total of 170 lightning electric field waveforms were characterized automatically using the proposed algorithm. …”
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Automated negative lightning return strokes characterization using brute-force search algorithm

    Automated negative lightning return strokes characterization using brute-force search algorithm by Abdul Haris, Faranadia, Ab. Kadir, Mohd Zainal Abidin, Sudin, Sukhairi, Jasni, Jasronita, Johari, Dalina, Zaini, Nur Hazirah

    Published 2022
    “…Hence, this study proposed the development of an automated negative lightning return strokes characterization using a brute-force search algorithm. A total of 170 lightning electric field waveforms were characterized automatically using the proposed algorithm. …”
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Automated Negative Lightning Return Strokes Characterization Using Brute-Force Search Algorithm

    Automated Negative Lightning Return Strokes Characterization Using Brute-Force Search Algorithm by Faranadia Abdul Haris, Mohd Zainal Abidin Ab. Kadir, Sukhairi Sudin, Jasronita Jasni, Dalina Johari, Nur Hazirah Zaini

    Published 2024
    Get full text
    journal::journal article
    Save to List
    Saved in:
  20. 20
    Homoclinicity in the dynamics of forced fluidized bed catalytic reactors

    Homoclinicity in the dynamics of forced fluidized bed catalytic reactors by Abashar, Mohamed E. E., Elnashaie, Said Salah Eldin Hamed, Hughes, R.

    Published 1997
    “…The dynamic behaviour of the non-isothermal oscillating fluidized bed catalytic reactor subjected to high and low frequency forcing is investigated. Resonance horns and period doubling loci inside the horns are constructed, using efficient algorithms, for different positions of the centre of forcing relative to the homoclinical orbit (infinite period orbit) of the autonomous (unforced) system. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: