Results 91 to 100 of about 716,706 (268)
Conhecimento simbólico na álgebra da lógica de Venn
Principia: An International Journal of Epistemology, 2012 This paper reconstructs Venn’s algebraic logic and identifies some of the philosophical notions concerning the nature of symbolic knowledge underlying his work.
Bruno Ramos Mendonça
doaj
Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems
Journal of Mathematics, 2013 The widespread and rapid proliferation of logical systems in several areas of computer science has led to a resurgence of interest in various methods for combining logical systems and in investigations into the properties inherited by the resulting ...
George Voutsadakis
doaj +1 more source
Impact of Packaging and Recycling Systems on Material Recirculation: A Stage‐Decomposition Model
Packaging Technology and Science, EarlyView.A system‐level view emerges from decomposing recycling into four stages (participation, collection, sorting and process yield), diagnosing constraints and targeting interventions. Cumulative equivalent uses (CEUs) quantify long‐term retention, revealing marginal improvements at high baselines generate disproportionately larger gains than low‐baseline ...
Diogo Figueirinhas +3 more
wiley +1 more source
Technologies for faults diagnosis of FPGA logic blocks
Arid Zone Journal of Engineering, Technology and Environment, 2012 The critical issues of testing field programmable gate arrays (FPGA) with a view to diagnosing faults are an important step that ensures the reliability of FPGA designs.
C. U. Ngene, V. I. Hahanov
doaj
A New Perspective on Intuitionistic Fuzzy Structures in Sheffer Stroke BCK-Algebras
AxiomsThis study introduces the concept of an intuitionistic fuzzy SBCK-subalgebra (SBCK-ideal) and explores the level set of an intuitionistic fuzzy set within the context of Sheffer stroke BCK-algebras.
Ravi Kumar Bandaru +3 more
doaj +1 more source
Philosophia Scientiæ, 2011 Hugh MacColl is commonly seen as a pioneer of modal and many-valued logic, given his introduction of modalities that go beyond plain truth and falsehood.
Fabien Schang
doaj +1 more source
Sliding Mode Control in Aerospace Applications: A Survey
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT Sliding mode control (SMC) enjoys robustness to matched and unmatched (in the case of minimum phase input‐output dynamics) bounded perturbations, and finite time convergence. Second‐order and higher‐order sliding mode control systems (2‐SMC/HOSMC) retain all the advantages of sliding mode control, but in addition can be applied to systems of ...
Yuri Shtessel, Christopher Edwards
wiley +1 more source
A Fuzzy Logic for Semi-Overlap Functions and Their Residua
AxiomsSemi-overlap functions as a generalization of left-continuous t-norms also have residua. In this paper, we develop a new residuated logic, SOL-logic, based on semi-overlap functions and their residua. The corresponding algebraic structures, SOL-algebras,
Lei Du, Songsong Dai, Lvqing Bi
doaj +1 more source
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT This paper establishes an implementation‐aware framework for Barrier Function Adaptation (BFA) and shows that discrete‐time realizations fundamentally alter the logic of final‐set adjustment. In particular, sufficient conditions are derived to preserve the key benefits of BFA (predefined performance, gain adaptation with uncertain perturbation
Luis Ovalle +3 more
wiley +1 more source
Feedback Linearisation with State Constraints
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT Feedback Linearisation (FBL) is a widely used technique that applies feedback laws to transform input‐affine nonlinear control systems into linear control systems, allowing for the use of linear controller design methods such as pole placement.
Songlin Jin, Yuanbo Nie, Morgan Jones
wiley +1 more source