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

2016 International Conference Mathematical and Information Technologies, MIT 2016

作者： Kochemazov, Stepan Zaikin, Oleg Semenov, Alexander Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

In this report we present several different propositional encodings for finding systems of mutually orthogonal Latin squares, and evaluate their effectiveness using state-of-The-Art parallel and sequential algorithms for solving Boolean satisfiability problem (SAT). We also apply the widely used SMAC tool to study the possibility of improving the effectiveness of lingeling SAT solver on the considered tests and discuss the results of corresponding computational experiments.

关键词： Encoding (symbols)

来源：评论

学校读者我要写书评

暂无评论

Deuteron EDM induced by CP-violating couplings of pseudoscalar mesons

引用

Physical Review D 2020年第11期101卷 115041-115041页

作者： Alexey S. Zhevlakov Valery E. Lyubovitskij Department of Physics Tomsk State University 634050 Tomsk Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov str. 134 664033 Irkutsk Russia Institut für Theoretische Physik Universität Tübingen Kepler Center for Astro and Particle Physics Auf der Morgenstelle 14 D-72076 Tübingen 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 moment (EDM) and Schiff moment of deuteron induced by the CP-violating three-pseudoscalar meson couplings using phenomenological Lagrangian approach involving nucleons and pseudoscalar mesons P=π,K,η,η′. 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 quasifree 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.

关键词： Electric moment Rare decays Neutrons Protons

来源：评论

学校读者我要写书评

暂无评论

Information-analytical environment supporting interdisciplinary research of natural resources in the baikal region 1

Information-analytical environment supporting interdisciplin...

引用

1st Scientific-Practical Workshop on Information Technologies: Algorithms, Models, systems, ITAMS 2018

作者： Bychkov, Igor V. Fedorov, Roman K. Avramenko, Yurii V. Shumilov, Alexander S. Shi-garov, Alexei O Verhozina, Alla V. Emelyanova, Natalia V. Sorokovoi, Andrei A. Ruzhnikov, Gennady M. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia Siberian Institute of Plant Physiology and Biochemistry SB RAS Irkutsk Russia V.B. Sochava Institute of Geography SB RAS Irkutsk Russia Irkutsk Scientific Center SB RAS Irkutsk Russia

The technology of creating a geoportal information-analytical environment for supporting scientific research of nature management in the Baikal region is considered on the basis of a service-oriented paradigm and the integrated use of thematic and spatial data accumulated by the scientific community. © 2018 CEUR-WS. All rights reserved.

关键词： Environmental management

来源：评论

学校读者我要写书评

暂无评论

Precision adjustment of electromagnetic emitter of large-scale systems such as GLONASS

引用

IOP Conference Series: Materials Science and Engineering 2020年第1期760卷

作者： A V Banshchikov A V Daneev V A Rusanov A A Vetrov Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch of the Russian Academy of Sciences 130 Lermontov ave. Irkutsk 664033 Russia Irkutsk State Transport University 15 Chernyshevskogo ave. 664074 Irkutsk Russia

The multidimensional nonlinear regression-tensor model is investigated in the substantiation of necessary and sufficient conditions for the optimal multi-factorial process of precision calibration of the parameters of the electromagnetic radiation source in the geostationary orbit (including the large-scale GLONASS system). A robust-adaptive strategy of a posteriori formation of the target functional of electromagnetic observability of a weighted-distributed signal in an established complex of stationary ground points is proposed on the basis of observations of this signal, made with a tolerance.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Using binary file format description languages for documenting, parsing, and verifying raw data in TAIGA experiment 8

Using binary file format description languages for documenti...

引用

Selected Papers of the 8th International Conference "Distributed Computing and Grid-Technologies in Science and Education", GRID 2018

作者： Bychkov, I. Demichev, A. Dubenskaya, J. Fedorov, O. Hmelnov, A. Kazarina, Y. Korosteleva, E. Kostunin, D. Kryukov, A. Mikhailov, A. Nguyen, M.D. Polyakov, S. Postnikov, E. Shigarov, A. Shipilov, D. Zhurov, D. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia Irkutsk State University Irkutsk Russia Skobeltsyn Institute of Nuclear Physics Lomonosov Moscow State University Moscow Russia Applied Physics Institute Irkutsk State University Irkutsk Russia Institute for Nuclear Physics Karlsruhe Institute of Technology Karlsruhe Germany

The paper is devoted to the issues of raw binary data documenting, parsing and verifying in astroparticle data lifecycle. The long-term preservation of raw data of astroparticle experiments as originally generated is essential for re-running analyses and reproducing research results. The selected high-quality raw data should have detailed documentation and accompanied by open software tools for access to them We consider applicability of binary file format description languages to specify, parse and verify raw data of the Tunka Advanced Instrument for cosmic rays and Gamma Astronomy (TAIGA) experiment. The formal specifications are implemented for five data formats of the experiment and provides automatic generation of source code for data reading libraries in target programming languages (e.g. C++, Java, and Python). These libraries were tested on TAIGA data. They showed a good performance and help us to locate the parts with corrupted data The format specifications can be used as metadata for exchanging of astroparticle raw data. They can also simplify software development for data aggregation from various sources for the multi-messenger analysis. © 2018 Igor Bychkov, Oleg Fedorov, Alexey Hmelnov, Elena Korosteleva, Dmitriy Kostunin, Alexander Kryukov, Andrey Mikhailov, Alexey Shigarov.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Generation of Code for Reading Data from the Declarative File Format Specifications Written in Language FlexT

Generation of Code for Reading Data from the Declarative Fil...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Alexei Hmelnov Hmelnov Andrei Mikhailov Laboratory of Complex information systems Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences Irkutsk Russia

ISBN: (纸本)9781728112763;9781728112756

The language FlexT (Flexible Types) is intended for specification of binary data formats. The language is declarative and designed to be well understood for human readers. Its main elements are the data type declarations, which look very much like the usual type declarations of the imperative programming languages, but are more flexible. While the primary purpose of the language FlexT development was to make the binary data understandable by displaying them according to the format specifications, recently we have implemented the code generator, which can produce data reading code in some imperative languages from the specifications. By now we have implemented the code generation for the most widely used FlexT data types, but some complex types like that used in specifications of machine instructions' encoding are not supported yet. The current capabilities of the code generator are well characterized by that it have successfully produced a full-featured data reader code for the well-known for the GIS community Shape file format. In the article we first give a review of the features of the modern projects oriented to specification of binary file formats and consider their code generation capabilities. Then we briefly review the main features of the FlexT language. Finally we describe the main approaches that we use for the code generation.

关键词： Protocols Computer languages Generators Task analysis Syntactics Arrays Encoding

来源：评论

学校读者我要写书评

暂无评论

Implication of hidden sub-GeV bosons for the (g−2)μ, Be8−He4 anomaly, proton charge radius, EDM of fermions, and dark axion portal

引用

Physical Review D 2020年第9期102卷 095024-095024页

作者： D. V. Kirpichnikov Valery E. Lyubovitskij Alexey S. Zhevlakov Institute for Nuclear Research of the Russian Academy of Sciences 117312 Moscow Russia Institut für Theoretische Physik Universität Tübingen Kepler Center for Astro and Particle Physics Auf der Morgenstelle 14 D-72076 Tübingen 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 634050 Tomsk Russia Tomsk Polytechnic University 634050 Tomsk Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov street 134 664033 Irkutsk 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)μ, Be8−He4 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 sub-GeV 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.

关键词： Axions Composite models Electric moment Extensions of Higgs sector Extensions of gauge sector Form factors Magnetic moment Single-particle dynamics Parity Monte Carlo methods Nuclear structure & decays

来源：评论

学校读者我要写书评

暂无评论

Ontology Driven Development of Rule-Based Expert systems

Ontology Driven Development of Rule-Based Expert Systems

引用

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

作者： Nikita O. Dorodnykh Aleksandr Y. Yurin Alexander B. Stolbov Lab. of Information technologies for the study of natural and technogenic safety Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences (ISDCT) Irkutsk Russian Federation Lab. of System analysis and computational methods Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences (ISDCT) Irkutsk Russia

ISBN: (纸本)9781538675328

An ontology-driven development process of rule-based expert systems and knowledge bases is described. The process is based on a redefined approach, namely, a model-driven development (MDD). The main feature of the proposed process is the use of ontology as a computation-independent model (CIM). At the same time, ontology is created by analyzing the conceptual models of a subject domain, in particular, UML class diagrams presented in XML-based formats. The Rule Visual Modeling Language (RVML) is used as the extension of a UML for the development of a platform-independent and platform-specific models, and also the C language integrated production system (CLIPS) is used as the target platform. The formalized descriptions of the approach stages and model transformations are considered. The approach proposed allows one: to eliminate programming errors through the automatic code generation; to reduce a time of identification, conceptualization, and formalization stages due to the use of ontologies. The Knowledge Base Development system (KBDS) and the Personal Knowledge Base Designer (PKBD) implement processes and algorithms described and they intend for the rapid development of prototypes of rule-based expert systems and knowledge bases.

关键词： Unified modeling language Ontologies OWL Knowledge based systems Tools Visualization Software

来源：评论

学校读者我要写书评

暂无评论

Object Identification on Raster Images by User Query

Object Identification on Raster Images by User Query

引用

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

作者： I.V. Bychkov G.M. Rugnikov R.K. Fedorov Y.V. Avramenko 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

Currently, most software systems designed to identify objects on raster images are focused on identifying a rigid class of objects. Often for real-world tasks, the capabilities of software systems are not enough. One of the ways to solve the problem is to perform identification in accordance with the user query. The development and implementation of the method for identifying objects on raster images based on the user's knowledge is proposed.

关键词： Object recognition Feature extraction Deformable models Shape Buildings Complexity theory Inference algorithms

来源：评论

学校读者我要写书评

暂无评论

Infrastructural approach and geospatial data processing services in the tasks of territorial development management 1

Infrastructural approach and geospatial data processing serv...

引用

1st International Geographical Conference of North Asian Countries on China-Mongolia-Russia Economic Corridor: Geographical and Environmental Factors and Territorial Development Opportunities 2018

作者： Bychkov, I.V. Ruzhnikov, G.M. Paramonov, V.V. Shumilov, A.S. Fedorov, R.K. Levi, K.G. Demberel, S. Siberian Branch of Russian Academy of Sciences Irkutsk Scientific Center Irkutsk Russia Matrosov Institute for System Dynamics and Control Theory of Siberian Branch Russian Academy of Sciences Irkutsk Russia Institute of the Earth Crust of Siberian Branch Russian Academy of Sciences Irkutsk Russia Institute of Astronomy and Geophysics Mongolian Academy of Sciences Ulaanbaatar Mongolia

The technology for creating an information and analytical environment (IAE) for spatial data processing based on the use of spatial data infrastructure (SDI) components and a service-oriented paradigm was proposed for the management of territorial development. The environment is characterized by its spatial nature and distribution of territorial information resources. At the same time, emphasis is placed on the transition from a standard SDI, as an access medium for the exchange of spatial data, to an SDI of an integration type, as an environment for access, exchange, creation, storage of new sets of spatial and thematic data and processing services. The use of Service-oriented Architecture (SOA), open standards by OGC (Open Geospatial Consortium), Web technologies, standardization of the browser's interface and Web services, allowed to move from local to distributed and "cloud" computing in which information and computing resources are provided as Web services. The technology for creating an information and analytical environment involves the use of sets (combinations) of thematic Web services with standardized interfaces integrated with standard protocols (SOAP, WSDL, etc.). © Published under licence by IOP Publishing Ltd.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：