Microvortex generators (MVGs) are a promising solution to control shock wave/turbulent boundary layer interactions (SBLIs), especially in supersonic inlets. In this study, we examine the effects of a microramp vortex generator on an SBLI generated by an oblique shock wave and a turbulent boundary layer using direct numerical simulations (DNSs). Two cases, with and without the presence of a microramp, are compared in terms of their mean and unsteady flow features at free-stream Mach number equal to 2 and friction Reynolds number at the inviscid shock impingement equal to 600. The long integration period allows us to assess how microramps affect the typical low-frequency unsteadiness observed in SBLIs, and the data generated may serve as a reference for simulations of lower fidelity or reduced order models. The analysis shows that the three-dimensional microramp wake alters the interaction region dramatically, inducing a significant spanwise modulation and topology change of the separation. For example, tornado-like structures redistribute the flow in both the spanwise and wall-normal directions inside the recirculation region. The increase in momentum close to the wall by the ramp vortices effectively delays the onset of the separation and, thus, the separation length, but at the same time leads to a significant increase in the intensity of the wall-pressure fluctuations. We then characterise the mutual interaction between the arch-like vortices around the ramp wake and the SBLI. The specific spanwise vorticity shows that these vortices follow the edge of the separation and their intensity, apart from mean compressibility effects, is not affected by the shocks. The shocks, instead, are deformed in shape by the periodic impingement of the vortices, although the spectral analysis did not reveal any significant trace of their shedding frequency in the separation region. These Kelvin–Helmholtz vortices, however, may be relevant in the closure of the separation bubble. Fourier analysis also shows a constant increase, in both value and magnitude, in the low-frequency peak all along the span, suggesting that the motion of the separation shock remains coherent while being disturbed by the arch-like vortices and oscillating at a higher frequency in absolute terms.

Microvortex generators are passive control devices smaller than the boundary layer thickness that energise the boundary layer to prevent flow separation with limited induced drag. In this work, we use direct numerical simulations (DNS) to investigate the effect of the Reynolds number in a supersonic turbulent boundary layer over a microramp vortex generator. Three friction Reynolds numbers are considered, up to $Re_\tau = 2000$, for fixed free stream Mach number $M_\infty =2$ and fixed relative height of the ramp with respect to the boundary layer thickness. The high-fidelity data set sheds light on the instantaneous and highly three-dimensional organisation of both the wake and the shock waves induced by the microramp. The full access to the flow field provided by DNS allows us to develop a qualitative model of the near wake, explaining the internal convolution of the Kelvin–Helmholtz vortices around the low-momentum region behind the ramp. The overall analysis shows that numerical results agree excellently with recent experimental measurements in similar operating conditions and confirms that microramps effectively induce a significantly fuller boundary layer even far downstream of the ramp. Moreover, results highlight significant Reynolds number effects, which in general do not scale with the ramp height. Increasing Reynolds number leads to enhanced coherence of the typical vortical structures in the field, faster and stronger development of the momentum deficit region, increased upwash between the primary vortices from the sides of the ramp – and thus increased lift-up of the wake – and faster transfer of momentum towards the wall.

Two-way momentum-coupled direct numerical simulations of a particle-laden turbulent channel flow are addressed to investigate the effect of the particle Stokes number and of the particle-to-fluid density ratio on the turbulence modification. The exact regularised point-particle method is used to model the interphase momentum exchange in presence of solid boundaries, allowing the exploration of an extensive region of the parameter space. Results show that the particles increase the friction drag in the parameter space region considered, namely the Stokes number $St_+ \in [2,80]$, and the particle-to-fluid density ratio $\rho _p/\rho _f \in [90,5760]$ at a fixed mass loading $\phi =0.4$. It is noteworthy that the highest drag occurs for small Stokes number particles. A measurable drag increase occurs for all particle-to-fluid density ratios, the effect being reduced significantly only at the highest value of $\rho _p/\rho _f$. The modified stress budget and turbulent kinetic energy equation provide the rationale behind the observed behaviour. The particles’ extra stress causes an additional momentum flux towards the wall that modifies the structure of the buffer and of the viscous sublayer where the streamwise and wall-normal velocity fluctuations are increased. Indeed, in the viscous sublayer, additional turbulent kinetic energy is produced by the particles’ back-reaction, resulting in a strong augmentation of the spatial energy flux towards the wall where the energy is ultimately dissipated. This behaviour explains the increase of friction drag in particle-laden wall-bounded flows.

Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the “classic” core language, in particular, the main aspects of the ISO-Prolog standard, also depart from each other in other aspects. This obviously poses challenges for code portability. The field has also inspired many related, but quite different languages that have created their own communities. This article aims at integrating and applying the main lessons learned in the process of evolution of Prolog. It is structured into three major parts. First, we overview the evolution of Prolog systems and the community approximately up to the ISO standard, considering both the main historic developments and the motivations behind several Prolog implementations, as well as other logic programming languages influenced by Prolog. Then, we discuss the Prolog implementations that are most active after the appearance of the standard: their visions, goals, commonalities, and incompatibilities. Finally, we perform a SWOT analysis in order to better identify the potential of Prolog and propose future directions along with which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations.

The inoculation with Azospirillum brasilense has the potential to reduce the use of mineral fertilizers with efficient capacity to promote plant growth and yield. Most studies on the Azospirillum–plant association have been conducted on cereals and annual grasses. More studies are needed in perennial pastures, such as bermudagrass (Cynodon dactylon (L.) Pers.) that require substantial nitrogen (N) fertilization to maximize their production potential. Therefore, pastures based on Tifton 85 bermudagrass in association with annual ryegrass (Lolium multiflorum Lam.), which were inoculated with A. brasilense and fertilized with increasing amounts of N fertilizer and grazed by lactating Holstein cows were evaluated. Three grazing systems were evaluated: (i) Tifton 85, inoculated + 180 kg N/ha per year; (ii) Tifton 85 + 230 kg N/ha per year; and (iii) Tifton 85 + 280 kg N/ha per year. Forage samples were collected before and after grazing to evaluate the responses of the plants and animals. The forage yields of the systems were 21.0, 20.8 and 22.1 t DM/ha per year and the stocking rates were 3.9, 3.8 and 4.0 animal unit/ha per day, respectively. Crude protein, total digestible nutrients and neutral detergent fibre concentrations were 162, 560 and 667 g/kg, respectively. Inoculation in pastures planted with Tifton 85 bermudagrass in combination with ryegrass (plus 180 kg N/ha per year) had a positive effect, providing forage yield and nutritional value equivalent to those with fertilization with 230 kg N/ha per year.