Results 11 to 20 of about 6,919 (250)
Maiden Application of Meta-Heuristic Techniques with Optimized Integral minus Tilt-Derivative Controller for AGC of Multi-area Multi-Source System [PDF]
EAI Endorsed Transactions on Scalable Information Systems, 2020 This article presents a new meta-heuristic algorithm optimized secondary controller called Integral minus Tilt-Derivative (I-TD) for automatic generation control of three area multi-source system. Area-1 comprises of thermal and solar thermal units, area-
Sanjeev Bhagat +3 more
doaj +1 more source
Design of Remote Open Control Scheme for Fully Automatic Unmanned Subway
机车电传动, 2021 In order to solve the problem that the air circuit breaker cannot be manually reset in fully automatic unmanned subway vehicles, in view of the characteristics of the fully automatic unmanned system, the air circuit breaker matrix monitoring solution and
Yuhang JING +3 more
doaj
Experience using Coloured Petri Nets to Model Railway Interlocking Tables [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Interlocking tables are the functional specification defining the routes on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified.
Somsak Vanit-Anunchai
doaj +1 more source
Broadband reset-free automatic polarisation controller
Electronics Letters, 1991 A novel electro-optic polarisation controller is proposed and demonstrated that allows reset-free endless polarisation transformations between any two varying general polarisation states. The 1.5 μm controller is realised with standard lithium niobate waveguides, has an optical bandwidth in the order of tens of nanometres, and is electrically tunable ...
F. Heismann, M. S. Whalen
openaire +1 more source
Geomatics, Natural Hazards & Risk, 2020 Ventilation facilities could easily be destroyed by gas explosion in a coal mine and usually lead to the cascade collapse of the entire ventilation system.
Kai Wang +5 more
doaj +1 more source
Engineering Science and Technology, an International Journal, 2020 This research article presents the participation of frequency linked pricing control (FPC) scheme for frequency and voltage control ancillary services in multi-area power system having automatic load frequency control (ALFC) loop and automatic voltage ...
Aditi Gupta +2 more
doaj +1 more source
Analytical Chemistry, 2021 A scalable logic platform made up of multilayer DNA circuits was constructed using Pb2+, Cu2+, and Zn2+ as the three inputs and three different fluorescent signals as the outputs. DNAzyme-guided cyclic cleavage reactions and DNA toehold-mediated strand branch migration were utilized to organize and connect nucleic acid probes for building the high ...
Gu Shi, Chong Yan, Junhua Chen
openaire +3 more sources
Modeling and Verification of Infinite Systems with Resources [PDF]
Logical Methods in Computer Science, 2013 We consider formal verification of recursive programs with resource consumption. We introduce prefix replacement systems with non-negative integer counters which can be incremented and reset to zero as a formal model for such programs.
Martin Lang, Christof Löding
doaj +1 more source
Parameter Estimation of Two Spiking Neuron Models With Meta-Heuristic Optimization Algorithms
Frontiers in Neuroinformatics, 2022 The automatic fitting of spiking neuron models to experimental data is a challenging problem. The integrate and fire model and Hodgkin–Huxley (HH) models represent the two complexity extremes of spiking neural models.
Amr M. AbdelAty +4 more
doaj +1 more source
Automatic Recognition and Detection System Based on Machine Vision
Journal of Control Science and Engineering, 2022 In order to realize the automation of part identification and detection and the intellectualization of part production, this paper proposes a method of automatic identification and detection of parts based on machine vision (overall method).
Lu Wang, Lihong Cui
doaj +1 more source