检索结果-内蒙古大学图书馆

Methods and Tools for Automation of Development of Information systems Using Specifications of Database Applications

学校读者我要写书评

暂无评论

Methods and Tools for Automation of Development of Informati...

Russia and Pacific Conference on Computer Technology and Applications (RPC)

作者： I.V. Bychkov A.E. Hmelnov E.S. Fereferov G.M. Rugnikov A.S. Gachenko Information Technology and Systems Dept. Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences Irkutsk Russia

ISBN: (纸本)9781538675328

The approach is based upon declarative specifications of database applications (SDA). The specifications of database applications contain all the information about database structure, which is required to build a typical AIS (automated information system). The information is represented in its pure form, so the specifications are rather concise. The AIS'es are implemented using general algorithms, which are directed by the specifications. We have developed algorithms for such tasks as: user interface generation, query building, report generation, GIS interaction. Using the specifications of database applications and the algorithms the software system GeoARM was implemented. The technology considered was well-tried by use of the system GeoARM for development of several dozens of true-life AIS for different purposes.

关键词： Databases Artificial intelligence Software User interfaces Software algorithms Task analysis Information systems

Deuteron EDM induced by CP violating couplings of pseudoscalar mesons

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Zhevlakov, Alexey S. Lyubovitskij, Valery E. Department of Physics Tomsk State University Tomsk634050 Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov str. 134 Irkutsk664033 Russia Institut für Theoretische Physik Universität Tübingen Kepler Center for Astro and Particle Physics Auf der Morgenstelle 14 TübingenD-72076 Germany Departamento de Física y Centro Científico Tecnológico de Valparaíso-CCTVal Universidad Técnica Federico Santa María Casilla 110-V Valparaíso Chile

We analyze contributions to the electric dipole (EDM) and Schiff (SFM) moments of deuteron induced by the CP-violating three-pseudoscalar meson couplings using phenomenological Lagrangian approach involving nucleons and pseudoscalar mesons P = π, K, η, η0. Deuteron is considered as a proton-neutron bound state and its properties are defined by one- and two-body forces. One-body forces correspond to a picture there proton and neutron are quasi free constituents of deuteron and their contribution to the deuteron EDM (dEDM) is simply the sum of proton and neutron EDMs. Two-body forces in deuteron are induced by one-meson exchange between nucleons. They produce a contribution to the dEDM, which is estimated using corresponding potential approach. From numerical analysis of nucleon and deuteron EDMs we derive stringent limits on CP-violating hadronic couplings and θ¯ parameter. We showed that proposed measurements of proton and deuteron EDMs at level of ∼ 10−29 by the Store Ring EDM and JEDI Collaborations will provide more stringent upper limits on the CP violating parameters. Copyright © 2020, The Authors. All rights reserved.

关键词： Deuterium

Services and Cloud Infrastructure to Support Interdisciplinary Scientific Research

学校读者我要写书评

暂无评论

Services and Cloud Infrastructure to Support Interdisciplina...

Russia and Pacific Conference on Computer Technology and Applications (RPC)

作者： I.V. Bychkov G.M. Rugnikov R.K. Fedorov A.S. Shumilov Information Technology and Systems Dept. Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences Irkutsk Russia

ISBN: (纸本)9781538675328

The problem of open information exchange substantiates the perspective of SOA paradigm for the creation of infrastructure that supports interdisciplinary research. The infrastructure solves problems of service and data cataloging, publication and multiuser editing of data, deployment and execution of services and theirs compositions. The developed infrastructure effectively utilizes resources, adapts to environment changes and solves problems in biology, geography and ecology sciences.

关键词： Task analysis Standards Planning Computer languages Software systems Servers

Tensor meson contribution to the Lamb shift and hyperfine splitting in muonic hydrogen

学校读者我要写书评

暂无评论

Journal of Physics: Conference Series 2020年第1期1435卷

作者： A E Dorokhov A P Martynenko F A Martynenko A E Radzhabov Joint Institute of Nuclear Research BLTP 141980 Moscow region Dubna Russia Samara National Research University named after acad. S.P. Korolev 443086 Samara Russia Matrosov Institute for System Dynamics and Control Theory SB RAS 664033 Irkutsk Russia

We calculate the tensor meson exchange contribution to the interaction operator of muon and proton, which is determined by the tensor meson coupling with two photon state. For the construction of transition form factor T → γγ we use the monopole parametrization over photon four-momenta and experimental data on the decay width ΓTγγ. It is shown that tensor meson f2(1270) exchange gives essential contribution to the Lamb shift in muonic hydrogen ΔΕLs (2P – 2S) which should be taken into account for a comparison with precise experimental data.

关键词：

On cryptographic attacks using backdoors for SAT

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Semenov, Alexander Zaikin, Oleg Otpuschennikov, Ilya Kochemazov, Stepan Ignatiev, Alexey Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia LASIGE Faculdade de Ciências Universidade de Lisboa Portugal

Propositional satisfiability (SAT) is at the nucleus of state-of-the-art approaches to a variety of computationally hard problems, one of which is cryptanalysis. Moreover, a number of practical applications of SAT can only be tackled efficiently by identifying and exploiting a subset of formula’s variables called backdoor set (or simply backdoors). This paper proposes a new class of backdoor sets for SAT used in the context of cryptographic attacks, namely guess-and-determine attacks. The idea is to identify the best set of backdoor variables subject to a statistically estimated hardness of the guess-and-determine attack using a SAT solver. Experimental results on weakened variants of the renowned encryption algorithms exhibit advantage of the proposed approach compared to the state of the art in terms of the estimated hardness of the resulting guess-and-determine attacks. Copyright © 2018, The Authors. All rights reserved.

关键词： Hardness

Implication of the hidden sub-GeV bosons for the (g - 2)μ, 8Be-4He anomaly, proton charge radius, EDM of fermions and dark axion portal

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Kirpichnikov, D.V. Lyubovitskij, Valery E. Zhevlakov, Alexey S. Institute for Nuclear Research Russian Academy of Sciences Moscow117312 Russia Institut für Theoretische Physik Universität Tübingen Kepler Center for Astro and Particle Physics Auf der Morgenstelle 14 TübingenD-72076 Germany Departamento de Física Centro Científico Tecnológico de Valparaíso-CCTVal Universidad Técnica Federico Santa María Casilla 110-V Valparaíso Chile Department of Physics Tomsk State University Tomsk634050 Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov str. 134 Irkutsk664033 Russia

We discuss new physics phenomenology of hidden scalar (S), pseudoscalar (P), vector (V ) and axial-vector (A) particles coupled to nucleons and leptons, which could give contributions to proton charge radius, (g - 2)μ, 8Be-4He anomaly and electric dipole moment (EDM) of Standard Model (SM) particles. In particular, we estimate sensitivity of NA64μ experiment to observe muon missing energy events involving hidden scalar and vector particles. That analysis is based on GEANT4 Monte Carlo simulation of the signal process of muon scattering off target nuclei μN → μNS(V ) followed by invisible boson decay into Dark Matter (DM) particles, S(V ) → χχ. The existence of light subGeV bosons could possibly explain the muon (g -2) anomaly observed. We also summarize existing bounds on ATOMKI X17(JP= 0-, 1±) boson coupling with neutron, proton and electron. We implement these constraints to estimate the contribution of P, V and A particles to proton charge radius via direct 1-loop calculation of Sachs form factors. The analysis reveals the corresponding contribution is negligible. We also calculate bounds on dark axion portal couplings of dimension-five operators, which contribute to the EDMs of leptons and neutron. Copyright © 2020, The Authors. All rights reserved.

关键词： Bosons

On Some Generalizations of The Sum of Powers of Natural Numbers

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Svinin, Andrei K. Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences P.O. Box 292 Irkutsk664033 Russia

In this paper some generalizations of the sum of powers of natural numbers is considered. In particular, the class of sums whose generating function is the power of the generating function for the classical sums of powers is studying. The so-called binomial sums are also considered. The problem of constructing polynomials that allow to calculate the values of the corresponding sums in certain cases is solved. Copyright © 2018, The Authors. All rights reserved.

关键词：

Constraints on CP-odd ALP couplings from EDM limits of fermions.

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Kirpichnikov, D.V. Lyubovitskij, Valery E. Zhevlakov, Alexey S. Institute for Nuclear Research of the Russian Academy of Sciences Moscow117312 Russia Institut für Theoretische Physik Universität Tübingen Kepler Center for Astro and Particle Physics Auf der Morgenstelle 14 TübingenD-72076 Germany Departamento de Física y Centro Científico Tecnológico de Valparaíso-CCTVal Universidad Técnica Federico Santa María Casilla 110-V Valparaíso Chile Department of Physics Tomsk State University Tomsk634050 Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov str. 134 Irkutsk664033 Russia

We discuss constraints on soft CP-violating couplings of axion-like particles (ALPs) with photon and fermions by using data on electric dipole moments (EDMs) of Standard Model (SM) particles. In particular, we derive bounds on CP-odd ALP-photon-photon coupling from data of the ACME Collaboration on electron EDM. We also discuss prospects of the Storage Ring experiment to constrain the ALP-photon-photon coupling from data on proton EDM. The regarding constraints from experimental bounds on the muon and neutron EDMs are weak. We set constraint on the CP-odd ALP coupling with electron and derive bounds on combinations of coupling constants, which involve soft CP-violating terms. Finally, we discuss a scenario of inducing of Yukawa-like interaction of SM fermions with ALP through the electro-weak symmetry breaking mechanism. Copyright © 2020, The Authors. All rights reserved.

关键词： Photons

Computational technique for investigating boundary value problems for functional-differential equations of pointwise type 8

学校读者我要写书评

暂无评论

Computational technique for investigating boundary value pro...

8th International Conference on Optimization and Applications, OPTIMA 2017

作者： Zarodnyuk, Tatiana S. Gornov, Alexander Yu. Anikin, Anton S. Finkelstein, Evgeniya A. Matrosov Institute for System Dynamics and Control Theory of SB RAS Lermontov Str. 134 Irkutsk664033 Russia

The paper considers functional-differential equations of pointwise type (FDEPT) which includes differential equations with delay, that lead to solution and both at once. In the paper, we propose a technology for solving boundary value problems for nonlinear FDEPT systems which is based on the Ritz method and spline collocation approaches. To solve the problem, we discretize system trajectories on the constant step grid and formulate the generalized residual functional, including both weighted residuals of the original differential equation and resid- uals of boundary conditions. Results of computational experiments for FDEPT make it possible to verify the effectiveness of the proposed technique for investigating problems. © Copyright by the paper's authors.

关键词： Boundary value problems