Results 91 to 100 of about 9,148 (294)
Resonance‐induced restoration of rock permeability degraded by heavy components of crude oil
Deep Underground Science and Engineering, EarlyView.Resonance‐induced changes occur in filtration properties of sedimentary rocks in crude paraffin oil flow under acoustic vibrations. Experimental data on (a) pressure drop; (b) permeability; (c) pressure at the rock inlet; and (d) pressure at the rock outlet are presented.
Evgenii Riabokon +6 more
wiley +1 more source
A logic-algebraic tool for reasoning with Knowledge-Based Systems [PDF]
, 2020 A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional (Boolean) logic is presented.
Borrego Díaz, Joaquín +4 more
core +1 more source
Earthquake Engineering &Structural Dynamics, EarlyView.ABSTRACT Multi‐supported non‐structural components (NSCs) are prone to seismic damage, yet their response prediction remains challenging when support motions are spatially incoherent. This study proposes an enhanced quasi‐static condensation (EQSC) method for linear, lightweight, dynamically detuned multi‐supported NSCs under the neglect of primary ...
Duozhi Wang +5 more
wiley +1 more source
Algebraic models for a second-order modal logic
, 2009 We propose a predicative modal logic of the second order for expressing properties of the evolution of software systems. Each state of a system is specified as a unary algebra, and our logics allows to formalize the problem of verifying the properties of
VANDIN, ANDREA
core
On Geometric Phase Model in the Theory of Curves With Myller Configuration
Mathematical Methods in the Applied Sciences, EarlyView.ABSTRACT In this paper, we introduce a linearly polarized light wave in an optical fiber and rotation of the polarization plane through the Frenet‐type frame with Myller configuration. Since the geometric evaluation and interpretations of a polarized light wave are associated with geometric phase, a new type of geometric phase model has been ...
Zehra İşbilir +2 more
wiley +1 more source
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: Referential π-Institutions [PDF]
, 2015 Wójcicki introduced in the late 1970s the concept of a referential semantics for propositional logics. Referential semantics incorporate features of the Kripke possible world semantics for modal logics into the realm of algebraic and matrix semantics of ...
Voutsadakis, George
core
On Algebraic Multi-Ring Spaces [PDF]
, 2005 A Smarandache multi-space is a union of n spaces with some additional conditions hold. Combining these Smarandache multi-spaces with rings in classical ring theory, the conception of multi-ring spaces is introduced and some characteristics of multi-ring
Mao, Linfan, Linfan Mao
core +1 more source
International Journal of Mechanical System Dynamics, EarlyView.ABSTRACT This work addresses the challenge of bidirectional trajectory tracking in solar‐powered wheeled mobile robots (WMRs), considering the mechanical structure, actuator‐driver, and power stage subsystems. Notably, this is the first study to explicitly model and control the actuator‐driver subsystem within this context. The proposed solution relies
Benjamin Natanael Santiago‐Nogales +8 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