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

5th International Conference on Particle Physics and Astrophysics, ICPPA 2020

作者： Alekseev, A. Kiryanov, A. Klimentov, A. Korchuganova, T. Mitsyn, V. Oleynik, D. Smirnov, A. Smirnov, S. Zarochentsev, A. Compiler Technology Department Ivannikov Institute for System Programming of the Ras Moscow109004 Russia Cloud Technologies and Big Data Analytics Laboratory Plekhanov Russian University of Economics Moscow117997 Russia Atlas Group Universidad Andres Bello Santiago7550196 Chile Department of Computing Resources and Technologies Nrc "kurchatov Institute"-PNPI Gatchina188300 Russia Physics Department Brookhaven National Laboratory UptonNY11973 United States Laboratory of Information Technologies Joint Institute for Nuclear Research Dubna141980 Russia Institute of Nuclear Physics and Engineering National Research Nuclear University MEPhI Moscow115409 Russia Laboratory of Ultra-High Energy Physics Saint Petersburg State University Saint Petersburg198504 Russia

The next phase of LHC Operations-High Luminosity LHC (HL-LHC), which is aimed at ten-fold increase in the luminosity of proton-proton collisions at the energy of 14 TeV, is expected to start operation in 2027-2028 and will deliver an unprecedented scientific data volume of multi-exabyte scale. This amount of data has to be stored and the corresponding storage system should ensure fast and reliable data delivery for processing by scientific groups distributed all over the world. The present LHC computing and data processing model will not be able to provide the required infrastructure growth even taking into account the expected hardware technology evolution. To address this challenge the new state-of-The-Art computing infrastructure technologies are now being developed and are presented here. The possibilities of application of the HL-LHC distributed data handling technique for other particle and astro-particle physics experiments dealing with large-scale data volumes like DUNE, LSST, Belle-II, JUNO, SKAO etc. are also discussed. © Published under licence by IOP Publishing Ltd.

关键词： Luminance

来源：评论

学校读者我要写书评

暂无评论

Developing Flexible Manufacture Cell in University industrial Park and its Modeling

Developing Flexible Manufacture Cell in University industria...

引用

International Russian Automation Conference (RusAutoCon)

作者： Javanshir Mammadov Khurban Abdullayev Ilgar Aliyev Tarana Safarova Dept. of Process Automation Sumgayit State University Sumgayit Azerbaijan Dept. of Metrology and Standardization Sumgayit State University Sumgayit Azerbaijan Dept. of Electromechanic Azerbaijan State Oil Industrial University Sumgayit Azerbaijan Dept. of Information Technology and Programming Sumgayit State University Sumgayit Azerbaijan

A scheme of a flexible manufacture cell (FMC) with the placement of mechanical equipment (by the example of Sumgayit State University) for manufacturing mechatronic elements of innovative projects in the industrial park of the university has been proposed. When creating a flexible manufacture cell in the university's industrial park, the authors carried out scientific research on the planning of technological processes and the kinematic analysis of a crane-manipulator in a flexible manufacture cell using an algorithm for modeling logical predicates. Based on the three-dimensional kinematic diagram of the crane-manipulator, its linear motion path with generalized coordinates for servicing 4 mechanical machines was determined. For functional modeling of FMC based on the graph theory of a Petri net, the actions of this object were studied and a graph-scheme of functional modeling of a lathe module in FMC was constructed. The authors determined the addressing parameters in the structure of FMC for the implementation of joint management of the network of the technological process under study.

关键词： Automation Manipulators Petri nets Kinematics Trajectory Education Automata

来源：评论

学校读者我要写书评

暂无评论

Correction to: A new cognitive clock matching phenotypic and epigenetic ages

引用

Translational psychiatry 2022年第1期12卷 452页

作者： M I Krivonosov E V Kondakova N A Bulanov S A Polevaya C Franceschi M V Ivanchenko M V Vedunova Institute of Biology and Biomedicine Department of Neurotechnology N. I. Lobachevsky State University Nizhny Novgorod Russia. krivonosov@itmm.unn.ru. Institute of Information Technology Mathematics and Mechanics Department of Applied Mathematics N. I. Lobachevsky State University Nizhny Novgorod Russia. krivonosov@itmm.unn.ru. Research Center for Trusted Artificial Intelligence The Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia. krivonosov@itmm.unn.ru. Research Center for Trusted Artificial Intelligence The Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia. Institute of Biology and Biomedicine Department of Basic and Medical Genetics N. I. Lobachevsky State University Nizhny Novgorod Russia. Faculty of Computer Science School of Data Analysis and Artificial Intelligence HSE University Moscow Russia. Faculty of Social Sciences Department of Psychophysiology N. I. Lobachevsky State University Nizhny Novgorod Russia. Institute of Information Technology Mathematics and Mechanics Department of Applied Mathematics N. I. Lobachevsky State University Nizhny Novgorod Russia. Department of Experimental Diagnostic and Specialty Medicine (DIMES) University of Bologna Bologna Italy.

来源：评论

学校读者我要写书评

暂无评论

Collaborative Filtering Method with the use of Production Rules

Collaborative Filtering Method with the use of Production Ru...

引用

International Conference on Computational Intelligence and Knowledge Economy (ICCIKE)

作者： Amin Salih Mohammed Yelyzaveta Meleshko Saravana Balaji B Semenov Serhii Dept of Computer Engineering Lebanese French University Salahaddin University Erbil KR-Iraq Dept of Cyber Security & Software Central Ukrainian National Technical University Kropyvnytskyi Ukraine Dept of Information Technology Lebanese French University Erbil KR-Iraq Dept of Computer Science and Programming National Technical University (Kharkiv Polytechnic Institute) Ukraine

ISBN: (数字)9781728137780

ISBN: (纸本)9781728137797

this paper proposes a new collaborative filtering method with the calculation of unknown similarity coefficients between users via the application of production rules, which aims to improve the work quality of recommendation systems, to develop of production rules for the developed system. The methods used are: graph theory, the theory of algorithms, mathematical statistics, object-oriented programming, and fuzzy logic. The developed systems are new collaborative filtering method with the definition of unknown similarity coefficients between users through the application of production rules was developed, software for the implementation and testing of this method was developed, experiments on the developed software was conducted. The production rules to determine unknown similarity coefficients in recommendation systems was proposed. The new method of collaborative filtering with the application of production rules has been developed to find unknown similarity coefficients between users that may be possibly used to improve the work quality of the recommendation system. The conducted experiments showed that the developed method enhances the quality indicators of the recommendation system, such as item space coverage and the total number of predicted preferences of users.

关键词： Collaboration Production information filters Computational intelligence Software

来源：评论

学校读者我要写书评

暂无评论

Research and Development of Reflectarray Antennas

Research and Development of Reflectarray Antennas

引用

International Conference on Mathematical Methods in Electromagnetic Theory (MMET)

作者： Viktor Hoblyk Nadiia Hoblyk Department of Electronics and Information Technology Lviv Polytechnic National University Lviv Ukraine Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine

This work presents results of computer simulation of a flat reflective array of rectangular waveguides and results of the investigation of the influence of phase errors on the formation of the radiation field.

关键词： Electromagnetic waveguides Reflector antennas Antenna arrays Antenna radiation patterns Mathematical model Apertures

来源：评论

学校读者我要写书评

暂无评论

A proposal of an example and experiments repository to foster industrial adoption of formal methods 8th

A proposal of an example and experiments repository to foste...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030034269

Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field. © Springer Nature Switzerland AG 2018.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Formation of gas hydroxide of sulfur dioxide at liquid sulfur dioxide injection in a porous medium saturated with methane and water

引用

AIP Conference Proceedings 2019年第1期2141卷

作者： M. K. Khasanov S. R. Kildibaeva 1Department of Applied Informatics and Programming Faculty of mathematics and information technology Sterlitamak branch of Bashkir state University Lenin avenue 49 Sterlitamak 453100 Republic of Bashkortostan Russia

A mathematical model of injection of liquid sulfur dioxide into a porous medium saturated with water and methane, accompanied by the formation of SO2 gas hydrate on the frontal surface is presented. The dependences of the temperature and the coordinates for the formation front of sulfur dioxide gas hydrate on the pressure of the injection and the initial pressure of the layer are explored. It is established that at sufficiently high injection pressure values and the initial temperature of the layer, as well as the low values of the layer’s initial pressure, the temperature of the porous medium on the boundary of gas hydrate formation of sulfur dioxide may rise above the decomposition’s equilibrium temperature of the gas hydrate of sulfur dioxide. This corresponds to the appearance of a zone in a porous medium saturated with a mixture of water, sulfur dioxide and its gas hydrate, being in a state of phase equilibrium.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modeling of Thermoviscoelasticity Time Harmonic Variational Problem for a Thin Wall Body

Modeling of Thermoviscoelasticity Time Harmonic Variational ...

引用

IEEE International Conference on Data Stream Mining & Processing (DSMP)

作者： Romanna Malets Heorgiy Shynkarenko Igor Malets Petro Vahin Department of programming Ivan Franko National University of Lviv Lviv Ukraine Department of Information System Opole University of Technology Opole Poland Lviv Ukraine Department of Project Management Information Technologies and Telecommunications Lviv State University of Life Safety Lviv Ukraine Department of Information System Ivan Franko National University of Lviv Lviv Ukraine

ISBN: (纸本)9781538628751

The paper presents the construction and analysis of vibration problem of thermoviscoelastic shells under the influence of non-stationary heat and under forced loads. The studied model was based on application of simplest finite element semidiscretization to mixed variational problem of dynamical thermoviscoelasticity. The problem in addition to the mutual influence of temperature field and stress field is also taken into account the viscoelastic properties of the material thin wall body. For assumptions quite suitable for applications we prove the well-posedness forthis model of time harmonic vibrations.

关键词： Heating systems Vibrations Harmonic analysis Mathematical model Tensile stress Load modeling Method of moments

来源：评论

学校读者我要写书评

暂无评论

Evaluation of full-text retrieval system using collection of Serially Evolved Documents 17

Evaluation of full-text retrieval system using collection of...

引用

3rd International Conference on Industrial and Business Engineering, ICIBE 2017

作者： Cho, Hwan-Gue Kim, Yeoneo Tak, Hae-Sung Shin, Young-Ju Choi, Kwang-Nam Kim, Han-Ho Lim, Chulsu Dep. of Computer Sci. and Eng. PUSAN National Univ. Korea Republic of Programming Language Laboratory PUSAN National Univ. Korea Republic of Korea Institute of Science and Technology Information Korea Republic of

ISBN: (纸本)9781450353519

Finding a document that is similar to a specified query document within a large document database is one of important issues in the Big Data era, as most data available is in the form of unstructured texts. Our testing collection consists of two parts: In the first part texts were produced by human work by artificial plagiarism approach through the linear pipelined procedure. In the second part, texts are generated by software that inserts, deletes, and substitutes certain parts of the target documents to make a similar document from an input document. These document set is known as the Serially Evolved Documents (SED). We propose new methods: Order Preserving Precision (OPP) and Order Preserving Recall (OPR), to compute how the evolutionary order is kept among output documents obtained from the subject IR system. Using those testing texts we evaluated KONAN, a document retrieval system for Korean documents. © 2017 Association for Computing Machinery.

关键词： information retrieval

来源：评论

学校读者我要写书评

暂无评论

Design and Development of a Mobile Robotic Complex

Design and Development of a Mobile Robotic Complex

引用

International Conference on Recent Innovations in Electrical, Electronics & Communication Engineering (ICRIEECE)

作者： Aigul Adamova Tamara Zhukabayeva Laula Zhumabayeva Zhanna Mukanova Khu Ven-Tsen Department of Computer engineering and software Saken Seifullin Kazakh Agrotechnical University Astana Kazakhstan Department of Computing Engineering L.N. Gumilyov Eurasian National University Astana Kazakhstan Department of Information Systems and Power Engineering S. Yessenov Caspian State University of Technology and Engineering Aktau Kazakhstan Department of Information and Computing Systems Karaganda Economic University of Kazpotrebsoyuz Karaganda Kazakhstan Department of Computer engineering and software programming M. Auezov South Kazakhstan State University Shymkent Kazakhstan

ISBN: (数字)9781538659953

ISBN: (纸本)9781538659960

Development of the mobile robot can be executed in two different ways. Firstly, this creation of the built-in system, secondly, the use of "ready to use" industrial components. With distribution of the industrial mobile robots in the market there are more and more components which can be used for creation of all control system and sensors of the robot mobile platform. Use of the ready components doesn't demand the hardware development that accelerates time of development and reduces cost. The chassis of the Belarus-132 mini-tractor is used as a platform of robotic system in the research, "creation" of the program for traffic control is required. Results of the practical research on design and model development of a mobile robotic complex are given.

关键词： Control systems Robot kinematics Mobile robots Navigation Robot sensing systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：