Numerical modeling of wave processes in layered media in the Arctic region

The aim of this work is the numerical simulation of wave propagation in media with linear-elastic and acoustic layers as exemplified by the seismic prospecting problems in the Arctic region and the explosive impact on an iceberg. The complete system of equations describing the state of a linearly elastic body and the system of equations describing the acoustic field are solved. The grid-characteristic method is used to provide the contact and boundary conditions, including the contact condition between acoustic and linear-elastic layers, to be correctly described.     

Dynamic model of proximity of positions of social network users

A mathematical model is proposed for the proximity dynamics of political positions of interacting individuals which form a closed group. The model is described as a system of ordinary differential equations. The results of numerical experiments for the system are presented and a number of substantial conclusions are formulated. It is shown that in the case of two individuals the system has an asymptotically stable zero steady state. In the case of two individuals and two themes we get an infinite number of stationary states, all except the zero state being unstable.     

Propositional truth maintenance systems: Classification and complexity analysis

Truth maintenance (TM) has been an active area of artificial intelligence (AI) research in recent years. In particular, truth maintenance systems (TMSs) in many variant types have become popular mechanisms for implementing nonmonotonic inference systems. Knowledge about the computational foundations of a TMS is indispensable for their use. We present a classification of computational complexity of tasks performed by basic existing TMS types. Our results include the proof ₂ ^p -completeness of the clause maintenance system's computation task. This is the first problem in AI proved to be ₂ ^p -complete. It is likely to provide a basis for proving ₂ ^p -completeness of other problems in logic and AI. As part of the proof, we prove the ₂ ^p -completeness of the generalized node deletion problem, one of the first natural graph problems to be complete for any one of the classes _i ^p , forp>1. We also prove the polynomial equivalence of Boolean Constraint Propagation-based (logic-based) approaches (LTMSs) and justification-based approaches (JTMSs) to TM, and exhibit efficient algorithms for transforming an LTMS into a JTMS and vice versa.     

Laser-Printed Plasmonic Metasurface Supporting Bound States in the Continuum Enhances and Shapes Infrared Spontaneous Emission of Coupled HgTe Quantum Dots

In order to advance the development of quantum emitter-based devices, it is essential to enhance light-matter interactions through coupling between semiconductor quantum dots with high quality factor resonators. Here, efficient tuning of the emission properties of HgTe quantum dots in the infrared spectral region is demonstrated by coupling them to a plasmonic metasurface that supports bound states in the continuum. The plasmonic metasurface, composed of an array of gold nanobumps, is fabricated using single-step direct laser printing, opening up new opportunities for creating exclusive 3D plasmonic nanostructures and advanced photonic devices in the infrared region. A 12-fold enhancement of the photoluminescence in the 900–1700 nm range is observed under optimal coupling conditions. By tuning the geometry of the plasmonic arrays, controllable shaping of the emission spectra is achieved, selectively enhancing specific wavelength ranges across the emission spectrum. The observed enhancement and shaping of the emission are attributed to the Purcell effect, as corroborated by systematic measurements of radiative lifetimes and optical simulations based on the numerical solution of Maxwell's equations. Moreover, coupling of the HgTe photoluminescence to high quality factor modes of the metasurface improves emission directivity, concentrating output within an ≈20° angle.     

On the necessity of explicit cross-layer data formats in near-data processing systems

Distributed and Parallel Databases - Massive data transfers in modern data-intensive systems resulting from low data-locality and data-to-code system design hurt their performance and scalability....     

Influence of isovalent and heterovalent substitution for Bi<Superscript>3+</Superscript> and Fe<Superscript>3+</Superscript> on the properties of Bi<Subscript>2</Subscript>Fe<Subscript>4</Subscript>O<Subscript>9</Subscript>-based solid solutions

Bi_2–хLa_хFe₄O₉ and Bi₂Fe_4–2xTi_xCo_xO₉ ferrites have been prepared by solid-state reactions at a temperature of 1073 K. X-ray diffraction data indicate that, in the Bi_2–хLa_хFe₄O₉ system, the limiting degree of La³⁺ substitution for Bi³⁺ ions in Bi₂Fe₄O₉ does not exceed 0.05 and that the limiting degree of substitution in the Bi₂Fe_4–2xTi_xCo_xO₉ system lies in the range 0.05 < x < 0.1. The specific magnetization and specific magnetic susceptibility of the samples have been measured at temperatures from 5 to 300 K in a magnetic field of 0.86 T. The field dependences of magnetization obtained for the Bi_2–хLa_хFe₄O₉ and Bi₂Fe_4–2xTi_xCo_xO₉ ferrites at temperatures of 300 and 5 K demonstrate that partial isovalent substitution of La³⁺ for Bi³⁺ ions in Bi₂Fe₄O₉ and heterovalent substitution of Ti⁴⁺ and Co²⁺ ions for two Fe³⁺ ions leads to partial breakdown of the antiferromagnetic state and nucleation of a ferromagnetic state.     

Widely Tunable Continuous-Wave Mid-Infrared Laser Source Based on Difference-Frequency Generation in AgGaS(2)

We demonstrate difference-frequency generation in the 6.8-12.5-mum range by mixing two high-power single-frequency laser diodes in a type II AgGaS(2) crystal. This compact all-solid-state scheme provides maximum output powers that exceed 1 muW and permits continuous adjustment-free scans larger than 2 cm(-1) across the entire tuning range.