Results 11 to 20 of about 4,354,998 (290)
Nonmalleable Information Flow Control [PDF]
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017 Noninterference is a popular semantic security condition because it offers strong end-to-end guarantees, it is inherently compositional, and it can be enforced using a simple security type system. Unfortunately, it is too restrictive for real systems.
Ethan Cecchetti +2 more
openaire +1 more source
Applied Sciences, 2021 Dynamic stall in clean air flow has been well studied, but its exploration in air–particle (air–raindrop or air–sand) flow is still lacking. The aerodynamic performance loss of aircraft (NACA0012) and wind turbine (S809) airfoils and their differences ...
Junjun Jin +4 more
doaj +1 more source
Liquid information flow control
Proceedings of the ACM on Programming Languages, 2020 We present Lifty, a domain-specific language for data-centric applications that manipulate sensitive data. A Lifty programmer annotates the sources of sensitive data with declarative security policies, and the language statically and automatically verifies that the application handles the data according to the policies. Moreover, if verification fails,
Nadia Polikarpova +5 more
openaire +4 more sources
AIP Advances, 2023 Previous attempts at active flutter suppression have been based on driving the deflection of multiple pairs of discontinuous mechanical control surfaces.
Zhen Chen +4 more
doaj +1 more source
Marking function of Stokes number on airfoils’ aerodynamic penalties in a gas–solid flow
IET Renewable Power Generation, 2021 This paper aims to employ the Stokes number to mark aerodynamic penalties of airfoils caused by particles, which is crucial to implement their scaling experiments in a gas‐solid flow.
Junjun Jin +4 more
doaj +1 more source
AIP Advances, 2022 Jet deflection rate is an essential index in the research of thrust vector control technology. The vectoring deflection of the jet is an unsteady flow.
Shaoqing Chi +3 more
doaj +1 more source
Study on Characteristics of an AC Sliding Discharge Plasma Actuator Operating at Different Pressures
Actuators, 2023 Dielectric barrier discharge (DBD) has been one of the most promising techniques for flow control, but the practical application needs a large plasma surface.
Qijie Sun +5 more
doaj +1 more source
Experimental Investigation on Jet Vector Deflection Jumping Phenomenon of Coanda Effect Nozzle
Applied Sciences, 2022 The Coanda effect nozzle is a fluid thrust vectoring technology that uses the Coanda effect to control jet vector deflection. The jumping phenomenon often occurs in the process of controlling jet vector deflection.
Shaoqing Chi, Yunsong Gu
doaj +1 more source
Longitudinal flight dynamics modeling and a flight stability analysis of a monocopter
AIP Advances, 2022 A monocopter, which is a biology-inspired aircraft based on the samara, has been proved to have passive flight stability. However, due to the asymmetry of its configurations and the constant rotation during flight, its flight dynamics equation is complex.
Shengxiang Tong +3 more
doaj +1 more source
Investigation of thrust vector angle control law based on micro-turbojet engine
AIP Advances, 2022 The fluid thrust vectoring nozzle has a fixed profile, few moving parts, and lightweight structure, providing effective flight control for high maneuvering aircraft. The nonlinear control law of the jet deflection angle is one of the critical problems of
Shaoqing Chi +3 more
doaj +1 more source