Problem frames are a sound and convenient approach to requirements modeling. Nevertheless, they are far less popular than other less rigorous approaches. One reason is that they employ a notation that is neither very appealing nor easy to use. The problem frames notation is sufficiently different from other development languages –especially UML– to create an “impedance mismatch”: using problem ...

In this paper, the problem of exponential passivity analysis for uncertain neural networks with time-varying delays is considered. By constructing new augmented Lyapunov– Krasovskii’s functionals and some novel analysis techniques, improved delay-dependent criteria for checking the exponential passivity of the neural networks are established. The proposed criteria are represented in terms of li...

A dominance-based rough set approach (DRSA) to multiple criteria ABC analysis (MCABC) is designed and compared to other approaches using a practical case study. ABC analysis is a well-known inventory planning and control approach, which classifies inventory items, or stock-keeping units (SKUs), based solely on their annual dollar usage. Recently, it has been suggested that MCABC can provide mor...

The delay-dependent decentralized stabilization problem of multi-channel singular time-delay time-invariant systems subject to multiple internal and external incommensurate constant point delays is discussed based on the descriptor integral-inequality approach. The descriptor integral-inequality Lemma is firstly established. Based on the new Lemma and the Lyapunov-Krasovskii functional approach...

This paper is devoted to stability analysis of linear systems with state delay and input saturation. The domain of attraction resulting from an a priori designed state feedback law is analyzed using Lyapunov–Razumikhin and Lyapunov–Krasovskii functional approach. Both delay-independent and delay-dependent estimation of the domain of attraction are presented using the linear matrix inequality te...

Evidence that the Universe may be close to the critical density, required for its expansion eventually to be halted, comes principally from dynamical studies of large-scale structure. These studies either use the observed peculiar velocity field of galaxies directly, or indirectly by quantifying its anisotropic effect on galaxy clustering in redshift surveys. A potential difficulty with both su...

Most of the existing approaches for fuzzy reliability analysis are based on fuzzy probability.  The aim of this paper is to describe fuzzy reliability using fuzzy differential equation. The reliability of a system in real world applications is affected by some uncertain parameters. Fuzzy reliability is a way to present the reliability function uncertainly using fuzzy parameters. In the proposed...

We consider parameter estimation and stabilization for a one-dimensional Schrödinger equation with an unknown constant disturbance suffered from the boundary observation at one end and the non-collocated control at other end. An adaptive observer is designed in terms of measured position with unknown constant by the Lyapunov functional approach. By a backstepping transformation for infinite-dim...

Subjective relevance (SR) is defined as usefulness of documents for tasks. Using digital libraries as examples of IR systems, this paper enhances objective relevance and tackles its limitations by conducting a quantitative study to understand students’ perceptions of features for supporting evaluations of subjective relevance of documents. Data was analyzed using factor analysis to identify gro...