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

Results of a pilot experiment on monitoring the condition of buildings and structures using unmanned aerial vehicles

引用

IOP Conference Series: Earth and Environmental Science 2021年第1期939卷

作者： M Yu Narkevich O S Logunova P I Kalandarov A N Kalitaev G V Tokmazov P Yu Romanov O Alimov Department of Design of Buildings and Building Structures Magnitogorsk State Technical University named after G.I. Nosov Magnitogorsk Russia Department of Computer Engineering and Programming Magnitogorsk State Technical University named after G.I. Nosov Magnitogorsk Russia Department of Automation and Control of Technological Process and Production Tashkent Institute of Irrigation and Agricultural Mechanization Engineers Tashkent Uzbekistan Department of Higher Mathematics Admiral F.F. Ushakov State Maritime University Novorossiysk Russia Department of Applied Mathematics and Computer Science Magnitogorsk State Technical University named after G.I. Nosov Magnitogorsk Russia Jizzakh Polytechnic Institute Jizzakh Uzbekistan

The purpose of the experimental study presented in the paper is to generate new knowledge about the possibility of using unmanned aerial vehicles to survey buildings and structures for subsequent extraction of information about their condition in hard-to-reach or remote places. As objects for the pilot experiment, the following were selected: a residential building in an urban environment that has been destroyed during operation; an object of unfinished construction; a roadway on the carriageway. An unmanned aerial vehicle of the model: DJI Mavic Air was used to survey the objects. The results of the study of objects are recorded in the form of photo and video streams for each object. Comparison of the results of the inspection of objects by experts and unmanned aerial vehicles showed the possibility and necessity of using new means to collect information about the condition of buildings and structures. The primary processing of the obtained images revealed their features: the effect of illumination on the color characteristics of the object of study; the presence of a textural component that complicates the process of separating the defect from the background; the presence of objects in the image that are not related to the elements of surface destruction; the change in the initial size of the object over time. The detected features of the images allow the use of standard algorithms and processing and require the synthesis of unique trajectories of their application.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Lemma Functions for Frama-C: C Programs as Proofs

Lemma Functions for Frama-C: C Programs as Proofs

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Grigoriy Volkov Mikhail Mandrykin Denis Efremov Faculty of Computer Science Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781728112763;9781728112756

This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C, and evaluation on a set of string-manipulating functions from the Linux kernel. We illustrate the benefits our approach can bring concerning the effort required to prove lemmas, compared to the approach based on interactive provers such as Coq. Current limitations of the method and its implementation are discussed.

关键词： Tools Manuals Contracts Linux Kernel Economics

来源：评论

学校读者我要写书评

暂无评论

Couette-Poiseuille flow based non-linear flow over a square cylinder near plane wall

Couette-Poiseuille flow based non-linear flow over a square ...

引用

作者： Bhatt, Rajesh Maiti, Dilip K. Alam, Md. Mahbub Rehman, S. Institute for Turbulence-Noise-Vibration Interaction and Control Shenzhen Graduate School Harbin Institute of Technology Shenzhen China Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapur721102 India Center for Engineering Research Research Institute King Fahd University of Petroleum and Minerals Dhahran31261 Saudi Arabia

A numerical study on the flow over a square cylinder in the vicinity of a wall is conducted for different Couette-Poiseuille-based non-uniform flow with the non-dimensional pressure gradient P varying from 0 to 5. The nondimensional gap ratio L (=H /a ) is changed from 0.1 to 2, where H is gap height between the cylinder and wall, and a is the cylinder width. The governing equations are solved numerically through finite volume method based on SIMPLE algorithm on a staggered grid system. Both P and L have a substantial influence on the flow structure, time-mean drag coefficient CD, fluctuating (rms) lift coefficient (C′L), and Strouhal number St. The changes in P and L leads to four distinct flow regimes (I, II, III and IV). Following the flow structure change, the CD , C′L, and St all vary greatly with the change in L and/or P. The CD and C′L both grow with increasing P and/or L. The St increases with P for a given L, being less sensitive to L for a smaller P ( 2). A strong relationship is observed between the flow regimes and the values of CD , CL and St. An increase in P affects the pressure distribution more on the top surface than on bottom surface while an increase in L does the opposite. © 2018 Techno-Press, Ltd.

关键词： Flow structure

来源：评论

学校读者我要写书评

暂无评论

Distributed System for Detecting the Malware in LAN

Distributed System for Detecting the Malware in LAN

引用

International Scientific and Technical Conference on computer Science and Information Technologies

作者： George Markowsky Oleg Savenko Anatoliy Sachenko Department of Computer Science Missouri University of Science and Technology Rolla USA Department of Computer Engineering and System Programming Khmelnytsky National University Khmelnytsky Ukraine Department of Informatics Kazimierz Pulaski University of Technology and Humanities in Radom Radom Poland

The paper proposes the architecture of distributed multilevel detection system of malicious software in local area networks. Its feature is the synthesis of its requirements of distribution, decentralization, multilevel. This allows you to use it autonomously. In addition, the feature of autonomous program modules of the system is the same organization, which allows the exchange of knowledge in the middle of the system, which, unlike the known systems, allows you to use the knowledge gained by separate parts of the system in other parts. The developed system allows to fill it with subsystems of detection of various types of malicious software in local area networks.

关键词： Architecture Distributed system Malware Local area networks

来源：评论

学校读者我要写书评

暂无评论

Effects on prey-predator with different functional responses

引用

International Journal of Biomathematics 2017年第8期10卷 141-162页

作者： Banani Roy Sankar Kumar Roy M. H. A. Biswas Department of Applied Mathematicswith Oceanology and Computer Programming Vidyasagar University Midnapore 721102 West Bengal India Mathematics Discipline Science Engineering and Technology SchoolKhulna University Khulna 9208 Bangladesh

In this paper, we investigate the effects on prey of two predators which are also related in terms of prey-predator relationship. Different types of functional responses are con- sidered to formulate the mathematical model for predator and generalist predator of our proposed model. Harvesting effort for the generalist predator is considered and the density-dependent mortality rate for predator and generalist predator is incorporated in our proposed model. Local stability as well as global stability for the system is dis- cussed. We analyze the different bifurcation parameters to evaluate Hopf bifurcation in the neighborhood of interior equilibrium point. Finally, some numerical simulations and graphical figures are provided to verify our analytical results with the help of different sets of parameters.

关键词： Prey-predator model local and global stabilities Hopf bifurcation.

来源：评论

学校读者我要写书评

暂无评论

Lemma functions for frama-C: C programs as proofs

arXiv

引用

arXiv 2018年

作者： Volkov, Grigoriy Mandrykin, Mikhail Efremov, Denis Faculty of Computer Science National Research University Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

The SCIP optimization suite 8.0

arXiv

引用

arXiv 2021年

作者： Bestuzheva, Ksenia Besançon, Mathieu Chen, Wei-Kun Chmiela, Antonia Donkiewicz, Tim Van Doornmalen, Jasper Eifler, Leon Gaul, Oliver Gamrath, Gerald Gleixner, Ambros Gottwald, Leona Graczyk, Christoph Halbig, Katrin Hoen, Alexander Hojny, Christopher Van Der Hulst, Rolf Koch, Thorsten Lübbecke, Marco Maher, Stephen J. Matter, Frederic Mühmer, Erik Müller, Benjamin Pfetsch, Marc E. Rehfeldt, Daniel Schlein, Steffan Schlösser, Franziska Serrano, Felipe Shinano, Yuji Sofranac, Boro Turner, Mark Vigerske, Stefan Wegscheider, Fabian Wellner, Philipp Weninger, Dieter Witzig, Jakob Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany School of Mathematics and Statistics Beijing Institute of Technology Beijing100081 China RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Technische Universiteit Eindhoven Department of Mathematics and Computer Science P.O. Box 513 Eindhoven5600 MB Netherlands I2DAMO GmbH Englerallee 19 Berlin14195 Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands Technische Universität Berlin Software and Algorithms for Discrete Optimization Straße des 17. Juni 135 Berlin10623 Germany Zuse Institute Berlin Department A2IM Takustr. 7 Berlin14195 Germany University of Exeter College of Engineering Mathematics and Physical Sciences Exeter United Kingdom Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany Software and Algorithms for Discrete Optimization Institute of Mathematics Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany GAMS Software GmbH C/o Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany

The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions contained in version 8.0 of the SCIP Optimization Suite. Major updates in SCIP include improvements in symmetry handling and decomposition algorithms, new cutting planes, a new plugin type for cut selection, and a complete rework of the way nonlinear constraints are handled. Additionally, SCIP 8.0 now supports interfaces for Julia as well as Matlab. Further, UG now includes a unified framework to parallelize all solvers, a utility to analyze computational experiments has been added to GCG, dual solutions can be postsolved by PaPILO, new heuristics and presolving methods were added to SCIP-SDP, and additional problem classes and major performance improvements are available in *** Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05 Copyright © 2021, The Authors. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Forming the logical conclusion about sufficiency of information of software requirements specification for software quality assessment by ISO 25010:2011

Forming the logical conclusion about sufficiency of informat...

引用

IEEE Ukraine Conference on Electrical and computer engineering (UKRCON)

作者： Tetiana Hovorushchenko Computer Engineering & System Programming Department Khmelnitsky National University Khmelnitsky Ukraine

The aim of this study is the development of the method of generating and filling the template of ontology for the quality of the concrete software and method of forming the logical conclusion about the sufficiency of information of software requirements specification (SRS) for software quality assessment (by ISO 25010:2011). The first time proposed method of generating and filling the template of ontology for the quality of the concrete software leaves in the relevant ontology only measures, which are available in the SRS for the concrete software. It provides forming the ontology for the quality of the concrete software. The first time developed method of forming the logical conclusion about the sufficiency of the SRS information for software quality assessment provides the conclusion about the sufficiency or insufficiency of the SRS information for software quality assessment by ISO 25010:2011. If the SRS information is insufficient, this method: provides the conclusion for which characteristics and sub-characteristics the information is insufficient; creates the sorted list of missing measures as the recommended priority of their addition in the SRS; evaluates the veracity of software quality assessment based on the available in the SRS measures.

关键词： Software quality Ontologies Software measurement Concrete ISO Standards

来源：评论

学校读者我要写书评

暂无评论

MAPA: An Automatic Memory Access Pattern Analyzer for GPU Applications

引用

ACM SIGPLAN Notices 2017年第8期52卷 443-444页

作者： Jo, Gangwon Jung, Jaehoon Park, Jiyoung Lee, Jaejin Center for Manycore Programming Department of Computer Science and Engineering Seoul National University Seoul08826 Korea Republic of

Various existing optimization and memory consistency management techniques for GPU applications rely on memory access patterns of kernels. However, they suffer from poor practicality because they require explicit user interventions to extract kernel memory access patterns. This paper proposes an automatic memory-access-pattern analysis framework called MAPA. MAPA is based on a source-level analysis technique derived from traditional symbolic analyses and a run-time pattern selection technique. The experimental results show that MAPA properly analyzes 116 real-world OpenCL kernels from Rodinia and Parboil. © 2017 ACM.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：