Аналіз та алгебраїчно-символьне визначення умов безпечного руху судна у нестаціонарному середовищі

We have proposed a method for the algebraic formalization of predicativedetermining of zones for safe and dangerous areas of navigation for the criterion "Computational stability – continuity".It is not possible tobuild effective mathematical models for all cases of direct application of integrated and differential equations that describe statistical correlation functions of the space-time continuum. At the same time, there are always significant difficulties in operative processing of large volumes of information. Numerical results determine known long-time delays in the work of computers in the systems of navigation and operational control over the motion of a vessel.We have analyzed and obtainedconditions for the effective technology of structuring a safemaneuvering trajectorybased on typical sequences of formalized symbolic elementary zones. Briefpredicative fragments describe effective steps to maneuver in a safe area of navigation. Analytical description of the structural processes that transformthe input informational situational parameters into controlled effective parts and integrated modelsmakes it possible to increase technological speed of operational decision-making. Situational symbolic control over the qualities of adequate safe motion of a vessel is executedunder specific non-stationary changes in theinfluence from a dynamic external environment.Actual effects of the influencefrom external factors in a non-stationary environment that surrounds the hull of a moving vessel were symbolically formulated. In this case, typical estimates of degrees in thenon-stationary environment are algebraically collapsed into integrated safety criteria. We have established the target effect of modeling in terms of computational dynamics of processes for operational rapid control over motion of the vessel. In this case,vector regularized parameters ofevents are continuously entered in real time as corrections for initial data. We have solved the problem on predictive modeling of maneuvering variants for the criteria that guarantee current safety of motion along a planned strategic route.To effectively solve the taskon stable safety of motion, numerical methods to solve integral-differential nonlinear dynamic systems are typically employed. However, they are effective only for the substantiation of strategic routes. Delays in time at these stages are significant and accepted.It is proposed to manage and control algorithmic processes in real time by using alternative methods of symbolic algebra. The modelsproposed would make it possibleto find variants that are guaranteed to be adaptive to a specific current situation based on the transversal trajectory of a vessel motion.It is proven that in the areas where there may occur situations of conflict and risk, local rules that guarantee a safe motion trajectory areimplemented by connecting the boundary conditions for safe navigation area taking into account the presence of adjacent zones with threats, perturbations, obstacles.Предложен метод формализованного предикативного упорядочения зон безопасной и опасной областей навигации при воздействии на движущееся судно внешних факторов. Доказаны условия, которые обеспечивают гарантированное упорядочение безопасной траектории движения судна от начала маневра до возвращения на плановый маршрут. Предложенный способ параметрического описания ограничений на пограничные условия предотвращения входа в опасные области навигации позволяет движение по трансверсальным безопасным траекториямЗапропоновано метод формалізованого предикативного визначення зон безпечної та небезпечної областей навігації при впливі на рухоме судно зовнішніх факторів. Доведено умови, що під час конфліктної ситуації забезпечують гарантоване визначення безпечної траєкторії руху судна від початку маневра до повернення на плановий маршрут. Запропонований спосіб параметричного опису обмежень на пограничні умови запобігання входу у небезпечні області навігації реалізує рух по трансверсальним безпечним траєкторія

The test results of the Silicon Tungsten Tracker of DAMPE

n/

Searches for dark matter and lepton-jets with the ATLAS detector

A search is performed for Higgs boson decaying to hidden sector and subsequently into highly collimated jets of electrons, known as electron-jets. The hidden sectors and lepton-jets are predicted in the new theories of dark matter, motivated by the recent proliferation of astrophysical anomalies, observed by cosmic-ray and dark matter direct-detection experiments. The search is performed with 2.04 $fb^{−1}$ of data collected in 2011 with the ATLAS detector at the LHC in proton--proton collisions at $\sqrt{s}$=7 TeV. To select electron jets, various jet identification parameters are exploited, based on the combined calorimeter and tracking information, providing good discrimination against background sources, and avoiding sensitivity to the detailed topology of the electrons within the electron-jet. Background contamination in the signal region is determined using a completely data-driven technique, and is cross-checked with two alternate methods of background evaluation. Systematic uncertainties for the signal selection efficiency are estimated using data-driven methods, by examining the electrons from $Z\to ee$ decay and photons that have converted in the detector into highly collimated electron-positron pairs. One event satisfying the signal selection criteria is observed after the final selection, which is consistent with the expected background rate. Consequently, 95\% confidence level limits are set on the Higgs boson production cross section times the branching ratio into electron-jets, assuming the two benchmark models of a hidden sector and the condition of a dark photon mass below 210 MeV. The prospects are discussed for further lepton-jet searches, using the full data set collected by the ATLAS detector in 2012 at $\sqrt{s}$=8 TeV. The work presented in the thesis has been published as a scientific article on behalf of the ATLAS collaboration

GEANT4 simulation and spectrum restoration of a pixelated X-ray detector

We perform a detailed simulation of a pixelated CdTe detector using the GEANT4 toolkit completed with a custom code emulating the detector's electronic response. We demonstrate that a measured tungsten X-ray spectrum can be majorly restored back to the original incident spectrum using the developed model, without requiring the dedicated hardware charge sharing correction.Peer reviewe

A deep learning method for the trajectory reconstruction of cosmic rays with the DAMPE mission

A deep learning method for the particle trajectory reconstruction with the DAMPE experiment is presented. The developed algorithms constitute the first fully machine-learned track reconstruction pipeline for space astroparticle missions. Significant performance improvements over the standard hand-engineered algorithms are demonstrated. Thanks to the better accuracy, the developed algorithms facilitate the identification of the particle absolute charge with the tracker in the entire energy range, opening a door to the measurements of cosmic ray proton and helium spectra at extreme energies, towards the PeV scale, hardly achievable with the standard track reconstruction methods. In addition, the developed approach demonstrates an unprecedented accuracy in the particle direction reconstruction with the calorimeter at high deposited energies, above a few hundred GeV for hadronic showers and above a few tens GeV for electromagnetic showers