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

Problems of Logistics, Management and Operation in the East-West Transport Corridor (PLMO), International Conference on

作者： Nadir Aghayev Dashqin Nazarli Department of Computer Systems and Programming National Aviation Academy of the Republic of Azerbaijan Baku Azerbaijan Department of Air Transport Production National Aviation Academy of the Republic of Azerbaijan Baku Azerbaijan

ISBN: (数字)9798350353099

ISBN: (纸本)9798350353105

In the article, a new method of building a forecast model using a fuzzy approach for charter air transportation time series with intra-series multiplicative changes is proposed. The method is based on the use of correlation functions in the calculation of forecast values based on statistical indicators of intra-row changes. In regular air transportation, the changes in the time series of statistical indicators are stable. On charter flights, these changes are unstable. This is due to the strong random effects of external factors (a sudden increase in demand for flights, economic changes, etc.) on the formation of charter flights. For this reason, the application of models based on trend changes does not give good enough results when building forecast models for charter flights. Therefore, to solve the problem, we propose to build a forecast model using a fuzzy approach, using the randomness of the intra-series changes of the statistical indicators of this type of air transportation. The researched method was checked based on the actual data of the time series of charter flights, and the results were obtained within acceptable limits.

关键词： Economics Correlation Atmospheric modeling Time series analysis Buildings Predictive models Air transportation Market research Forecasting Logistics

来源：评论

学校读者我要写书评

暂无评论

Integration of weighted majority voting in machine learning algorithms to enhance pine tree crown mapping on UAV imagery

Integration of weighted majority voting in machine learning ...

引用

2024 Symposium on Beyond the Canopy: Technologies and Applications of Remote Sensing

作者： Hosingholizade, Ali Erfanifard, Yousef Alavipanah, Seyed Kazem Pirasteh, Saied Garcia Millan, Virginia Dept. of Remote Sensing and GIS Faculty of Geography University of Tehran Tehran Iran Institute of Artificial Intelligence School of Mechanical and Electrical Engineering Shaoxing University China Department of Geotechnics and Geomatics Saveetha School of Engineering Saveetha Institute of Medical and Technical Sciences Chennai602105 India Dept. of Computer Science and Programming Languages School of Computer Science and Enginering University of Málaga Málaga Spain

The shape and area of the crown of each tree are among the most influential parameters for identifying and controlling the processes of photosynthesis, respiration, transpiration and its management. In such a way that various physiographic functions, such as carbon dioxide absorption, light energy absorption, oxygen release and transpiration, which are vital for the growth and development of the tree, are done in the crown. In this research, the RGB image of the UAV with a spatial resolution of 2 cm was resampled to three pixel sizes of 10, 30 and 50 cm. Then, each image was classified separately by SVM, ANN and MLC algorithms, which are all part of Ensemble. In the next step, each of the obtained crowns was compared with the digitization of the same crown, and based on the area of the crown obtained from each classification and normalization method, the weight was obtained specifically for the same crown. Finally, by using the weighted majority voting method, classifications were fusioned at the decision level. The results showed that the ANN method gives better results in all pixel sizes compared to MLC and SVM. Also, the combination of different classification methods with the weighted majority voting method based on the weight assigned to the same crown based on each classification method has significantly increased the classification accuracy of the tree crown in all the sizes of the analyzed pixels. © Author(s) 2024.

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

Quadripartitioned Neutrosophic Graph Structures

引用

Neutrosophic Sets and Systems 2022年 51卷 269-294页

作者： Hussain, S. Satham Rashmonlou, Hossein Mofidnakhaei, F. Hussain, R Jahir Sahoo, Sankar Broumi, Said PG & Research Department of Mathematics Jamal Mohamed College Tamilnadu Trichy India Department of Mathematics University of Mazandarn Babolsar Iran Department of Physics Sari Branch Islamic Azad University Sari Iran Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India Laboratory of Information Processing Faculty of Science Ben M’Sik University Hassan II Casablanca Morocco

The quadripartitioned neutrosophic set is the partition of indeterminacy function of the neutrosophic set into contradiction part and ignorance part. In this work, the concept of quadripartitioned neutrosophic graph structures and its properties are invented. The strong, tree, Φ − permutation and Φ − complement of quadripartitioned neutrosophic graph structure are investigated. The operations like Cartesian Product, cross product, lexicographic product, composition in graph structures and join operations are established. © 2022, Neutrosophic Sets and Systems. All Rights Reserved.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

The Use of Many-valued Logics to Improve the Elements and Devices of computer Technology 3

The Use of Many-valued Logics to Improve the Elements and De...

引用

3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022

作者： Mezentsev, Mykola Kharchenko, Artem Gasanov, Magomediemin Orlova, Tetyana National Technical University 'Kharkiv Polytechnic Institute' Computer Engineering and Programming Department Kharkiv Ukraine Vice-rector for Scientific and Pedagogical Work National Technical University 'Kharkiv Polytechnic Institute' Kharkiv Ukraine

ISBN: (数字)9798350399202

ISBN: (纸本)9798350399202

To estimate the measure of proximity and distance in various tasks (clustering, classification, etc.), one of the most common ways to represent information about objects is a binary indications vector. At the same time, to estimate the measure of proximity, a sufficiently large number of relationships are used that describe binary indicators of similarity and distance between objects with qualitative characteristics. At the same time, during the real functioning of objects, their characteristics can change over time, which can lead to uncertainties when comparing binary vectors of qualitative indications that describe these objects. Therefore, it is advisable to use many-valued logics that can take into account such uncertainties. The paper describes approaches to the application of such logics, and also considers their modifications to determine the measures of proximity and distances for objects whose characteristics are described by vectors using many-valued logics under uncertainty. © 2022 IEEE.

关键词： Vectors

来源：评论

学校读者我要写书评

暂无评论

Two-Level Supply Chain Inventory Model for Perishable Goods with Fuzzy Lead-Time and Shortages

引用

International Journal of Applied and Computational Mathematics 2021年第5期7卷 1-18页

作者： Mallick, Rabin Kumar Manna, Amalesh Kumar Shaikh, Ali Akbar Mondal, Shyamal Kumar Department of Applied Mathematics With Oceanology and Computer Programming Vidyasagar University Midnapore 721102 West Bengal India Department of Mathematics The University of Burdwan Burdwan 713104 India

This study deals with a supplier-retailer supply chain system for perishable goods under fuzzy lead-time and fully backlogged shortages. In this proposed model, a supplier collects the deteriorating goods and fulfills the retailer's demand. Also, two different cases are considered. In the first case, retailer's fully backlogged shortages are incorporated whereas in the second case, retailer's shortages are not allowed. Lead-time of the system is considered as fuzzy in nature. In the first case, the integrated average profit of the supply chain system is obtained in fuzzy nature and the centroid method is used for defuzzification. The aim of this study is to maximize the integrated average profit by optimizing retailer's reorder level and business period. Three numerical examples are considered and solved for justification of the proposed model. Finally, the sensitivity analyses are performed with respect to the values of different system parameters. © 2021, The Author(s), under exclusive licence to Springer Nature India Private Limited.

关键词： Fuzzy lead-time Perishable goods Shortages Supply chain

来源：评论

学校读者我要写书评

暂无评论

Simulating Structural Plasticity of the Brain more Scalable than Expected

arXiv

引用

arXiv 2022年

作者： Czappa, Fabian Geiß, Alexander Wolf, Felix Laboratory for Parallel Programming Department of Computer Science Technical University of Darmstadt Germany

Structural plasticity of the brain describes the creation of new and the deletion of old synapses over time. Rinke et al. (JPDC 2018) introduced a scalable algorithm that simulates structural plasticity for up to one billion neurons on current hardware using a variant of the Barnes–Hut algorithm. They demonstrate good scalability and prove a runtime complexity of O(n log2 n). In this comment paper, we show that with careful consideration of the algorithm and a rigorous proof, the theoretical runtime can even be classified as O(n log n). © 2022, CC BY-NC-ND.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Analyzing the impact of machine learning and artificial intelligence and its effect on management of lung cancer detection in covid-19 pandemic

引用

Materials Today: Proceedings 2022年 56卷 2213-2216页

作者： Boddu, Raja Sarath Kumar Karmakar, Partha Bhaumik, Ankan Nassa, Vinay Kumar Vandana Bhattacharya, Sumanta Department of CSE Lenora College of Engineering Andhra Pradesh Rampachodavaram India Government of West Bengal Bikash Bhawan Salt Lake W.B. Kolkata India Dept. of Applied Mathematics With Oceanology and Computer Programming Vidyasagar University Midnapore India Department of Computer Science Engineering South Point Group of Institutions Sonepat Haryana India Department of Mathematics Dasmesh Khalsa College Zirakpur India Department of Science and Technology and Biotechnology MAKAUT India

Cancer victims, particularly those with lung cancer, are more susceptible and at higher danger of COVID-19 and associated consequences as a result of their compromised immune systems, which makes them particularly sensitive. Because of a variety of circumstances, cancer patients' diagnosis, treatment, and aftercare are very complicated and time-consuming during an epidemic. In such circumstances, advances in artificial intelligence (AI) and machine learning algorithms (ML) offer the capacity to boost cancer sufferer diagnosis, therapy, and care via the use of cutting technologies. For example, using clinical and imaging data combined with machine learning methods, the researchers may be able to distinguish among lung alterations induced by corona virus and those produced by immunotherapy and radiation. During this epidemic, artificial intelligence (AI) may be utilized to guarantee that the appropriate individuals are recruited in cancer clinical trials more quickly and effectively than in the past, which was done in a conventional and complicated manner. In order to better care for cancer patients and find novel and more effective therapies, It is critical that we move beyond traditional research methods and use artificial intelligence (AI) and machine learning to update our research (ML). Artificial intelligence (AI) and machine learning (ML) are being utilised to help with several aspects of the COVID-19 epidemic, such as epidemiology, molecular research and medication development, medical diagnosis and treatment, and socioeconomics. The use of artificial intelligence (AI) and machine learning (ML) in the diagnosis and treatment of COVID-19 patients is also being investigated. The combination of artificial intelligence and machine learning in COVID-19 may help to identify positive patients more quickly. In order to understand the dynamics of an epidemic that is relevant to artificial intelligence, when used in different patient groups, AI-based algorithms can quic

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+

arXiv

引用

arXiv 2024年

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Software and Systems Laboratory Department of Computer Science Loyola University Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one’s undergraduate studies, (3) demonstrate how to address successive "failures" through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Traffic Modeling for the Industrial Internet of NanoThings 4

Traffic Modeling for the Industrial Internet of NanoThings

引用

4th IEEE KhPI Week on Advanced Technology, KhPI Week 2023

作者： Kuchuk, Nina Kovalenko, Andriy Ruban, Igor Shyshatskyi, Andrii Zakovorotnyi, Oleksandr Sheviakov, Iurii Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine Department of Electronic Computers Kharkiv National University of Radio Electronics Kharkiv Ukraine Department of Computerized Management Systems National Aviation University Kyiv Ukraine Civil AviationI nstitute Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine

ISBN: (纸本)9798350395532

Industrial Internet of NanoThings (IIoNT) traffic model proposed. The model is based on the developed algorithm for Dynamic Data Composition Control. The application of the algorithm made it possible to reduce the total amount of transmitted information from the end nodes of IIoNT. The model made it possible to determine the parameters of aggregation traffic of IIoNT cluster gateway. With the calculated parameters, the value of the aggregated package is maximized. The main limitation is not exceeding the value of the boundary delay for the transmission of sensor readings. The model also allows you to dynamically determine the required amount of the gateway buffer memory. © 2023 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Personalize Web Searching Strategies Classification and Comparison

arXiv

引用

arXiv 2022年

作者： Evtimova, Mariya Savova Momtchev, Ivan Momtchilov Faculty of Computer Systems and Control Programming Computer Technologies Department Technical University of Sofia Sofia1000 Bulgaria

Personalization is becoming very important direction in semantic web search for the users that needs to find appropriate information. In this paper, a classification of web personalization is proposed and semantic web search tools are investigated. Building user interest profile is essential for personalizing. Nowadays, semantic web tools use ontologies for personalization because of their advantages. It is important to mention that most of the semantic web search tools use agent technologies for implementation. © 2022, CC BY.

关键词： Search engines

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：