It is commonly accepted in the academic community that if the use of formal methods were more widely spread and properly supported, then their use would provide substantial development time and cost benefits for the engineering of safety-critical systems. The present work builds upon an increasing imperative to improve continuously the process, methods techniques and tools for analysing the fun...

We introduce a Physically Unclonable Function (PUF) based on an ultra-fast chaotic network known as Hybrid Boolean Network (HBN) implemented field programmable gate array. The network, consisting of N coupled asynchronous logic gates displaying dynamics the sub-nanosecond time scale, acts `digital fingerprint' by amplifying small manufacturing variations during period transient chaos. In contra...

In this research, a study was carried out to exploit the hybrid schemes combining two classical local search techniques i.e. Nelder–Mead simplex search method and bidirectional random optimization with two metaheuristic methods i.e. the shuffled frog leaping and the shuffled complex evolution, respectively. In this hybrid methodology, each subset of meta-heuristic algorithms is improved by a hy...

in this paper, an effective technique is proposed to determine thenumerical solution of nonlinear volterra-fredholm integralequations (vfies) which is based on interpolation by the hybrid ofradial basis functions (rbfs) including both inverse multiquadrics(imqs), hyperbolic secant (sechs) and strictly positive definitefunctions. zeros of the shifted legendre polynomial are used asthe collocatio...

In this paper, the numerical technique based on hybrid Bernoulli and Block-Pulse functions has been developed to approximate the solution of system of linear Volterra integral equations. System of Volterra integral equations arose in many physical problems such as elastodynamic, quasi-static visco-elasticity and magneto-electro-elastic dynamic problems. These functions are formed by the hybridi...

In this paper we propose a high-speed hybrid ThresholdBoolean logic style suitable for Boolean symmetric functions implementation. First, we present a depth-2 hybrid implementation scheme for arbitrary symmetric Boolean functions, based on differential Threshold logic gates as circuit style. Finally, we present the hybrid logic design of a counter. The simulation results, suggest that the hybri...

one-third of the people with an age over twenty have some signs of degenerated discs. however, in most of the patients the mere presence of degenerative discs is not a problem leading to pain, neurological compression, or other symptoms. this paper presents an interval type-2 fuzzy hybrid rule-based system to diagnose the abnormal degenerated discs where pain variables are represented by interv...