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

7th International Conference on Microelectronics and Telecommunication engineering, ICMETE 2023

作者： Al Mudhafar, Rusul A. El Abbadi, Nidhal K. Computer Science Department Faculty of Computer Science and Mathematics University of Kufa Najaf Iraq Computer Techniques Engineering Department Al-Mustaqbal University Babylon Iraq

ISBN: (纸本)9789819995615

Image noise is undesirable that can negatively affect the quality of digital images. It reduces the image quality and increases the processing failure ratio. It is highly recommended to remove the noise, and before removing the noise, we have to know the type of noise and estimate the parameters of noise for developing effective noise reduction techniques. This study introduces a method to effectively detect, recognize, and estimate image noise of various types (Gaussian, lognormal, Rayleigh, salt and pepper, and speckle). The proposed model consists of four stages: the first stage is detecting the noise in an image using a convolutional neural network. The second stage classifies the noisy images into one of five types of noise using a new method based on a combination of deep wavelets and support vector machines (SVM) classifier. The third stage involves estimating the parameters of the noise using maximum likelihood estimation (MLE). Finally, choosing the most suitable noise reduction technique for each type using linear and nonlinear filters and showing the capability of the suggested technique in estimating multiple noises commonly present in digital images. The proposed method utilizes a likelihood function derived from the MLE model for each noise type to estimate the noise parameters. Then used to select the most suitable noise reduction technique for each type. The quality of the denoised images is calculated utilizing the peak signal-to-noise ratio (PSNR) as the evaluation metric. The results show that the combination of wavelets with machine learning, specifically SVM, can highly enhance the results, where the accuracy was 93.043% through many experiments conducted to build a sturdy classification model. The MLE-based noise estimation method is also a reliable and accurate method for image noise estimation, especially for Gaussian, salt and pepper, lognormal, and Rayleigh noise. However, for highly noisy types such as speckle noise, further research is re

关键词： Maximum likelihood estimation

来源：评论

学校读者我要写书评

暂无评论

Automating Boundary Filling in Cubical Agda 9

Automating Boundary Filling in Cubical Agda

引用

9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024

作者： Doré, Maximilian Cavallo, Evan Mörtberg, Anders Department of Computer Science University of Oxford United Kingdom Department of Computer Science and Engineering University of Gothenburg Sweden Department of Mathematics Stockholm University Sweden

ISBN: (纸本)9783959773232

When working in a proof assistant, automation is key to discharging routine proof goals such as equations between algebraic expressions. Homotopy Type Theory allows the user to reason about higher structures, such as topological spaces, using higher inductive types (HITs) and univalence. Cubical Agda is an extension of Agda with computational support for HITs and univalence. A difficulty when working in Cubical Agda is dealing with the complex combinatorics of higher structures, an infinite-dimensional generalisation of equational reasoning. To solve these higher-dimensional equations consists in constructing cubes with specified boundaries. We develop a simplified cubical language in which we isolate and study two automation problems: contortion solving, where we attempt to "contort" a cube to fit a given boundary, and the more general Kan solving, where we search for solutions that involve pasting multiple cubes together. Both problems are difficult in the general case – Kan solving is even undecidable – so we focus on heuristics that perform well on practical examples. We provide a solver for the contortion problem using a reformulation of contortions in terms of poset maps, while we solve Kan problems using constraint satisfaction programming. We have implemented our algorithms in an experimental Haskell solver that can be used to automatically solve goals presented by Cubical Agda. We illustrate this with a case study establishing the Eckmann-Hilton theorem using our solver, as well as various benchmarks – providing the ground for further study of proof automation in cubical type theories. © Maximilian Doré, Evan Cavallo, and Anders Mörtberg.

关键词： Automation

来源：评论

学校读者我要写书评

暂无评论

MOMVO for cost and reliability optimization of vehicle fuel system

引用

Life Cycle Reliability and Safety engineering 2024年第4期13卷 437-448页

作者： Choudhary, Shivani Ram, Mangey Goyal, Nupur Saini, Seema Department of Mathematics Graphic Era Deemed to Be University Dehradun India Department of Mathematics Computer Science and Engineering Graphic Era Deemed to Be University Dehradun India

System reliability and cost are crucial components in designing many types of equipment. Proper design is required to achieve a balance between design expenses and the highest possible performance. Multiple conflicting objectives, such as maximizing system reliability and minimizing the total cost with constraints weight, and volume of the systems, lead to complex decision-making difficulties. Balancing design system costs and system reliability during the equipment development process is a challenging task for engineers and designers. Thus, these conflicting demands must be taken under consideration as the main aim of the optimization problem. Hence, this article investigates the multiobjective (bi-objective) optimization problem for the fuel system of a vehicle (FSV) using a new variant known as a multiobjective multi-verse optimizer (MOMVO). The outcomes demonstrate how effectively the suggested method works to solve the problems. Finally, the authors have given the obtained results in convergence graph and tabular form. © The Author(s), under exclusive licence to Society for Reliability and Safety (SRESA) 2024.

关键词： Cost FSV MOMVO Multiobjective Reliability

来源：评论

学校读者我要写书评

暂无评论

A new family of q-Bernstein polynomials: probabilistic viewpoint

引用

Arab Journal of Basic and Applied sciences 2025年第1期32卷 42-50页

作者： Karagenc, Ayse Acikgoz, Mehmet Araci, Serkan Department of Mathematics Faculty of Science and Arts Gaziantep University Gaziantep Turkey Department of Computer Engineering Faculty of Engineering Hasan Kalyoncu University Gaziantep Turkey

In this paper, we introduce a new class of polynomials, called probabilistic q-Bernstein polynomials, alongside their generating function. Assuming (Formula presented.) is a random variable satisfying moment conditions, we use the generating function of these polynomials to establish new relations. These include connections to probabilistic Stirling numbers of the second kind and higher-order probabilistic Bernoulli polynomials associated with (Formula presented.) Additionally, we derive recurrence and differentiation properties for probabilistic q-Bernstein polynomials. Utilizing Leibniz’s formula, we give an identity for the generating function of these polynomials. In the latter part of the paper, we explore applications by choosing appropriate random variables, such as Poisson, Bernoulli, Binomial, Geometric, Negative Binomial, and Uniform distributions. This allows us to derive relationships among probabilistic q-Bernstein polynomials, Bell polynomials, Stirling numbers of the second kind, higher-order Frobenius-Euler numbers, and higher-order Bernoulli polynomials. We also present p-adic q-integral and fermionic p-adic q-integral representations for probabilistic q-Bernstein polynomials. © 2025 The Author(s). Published by Informa UK Limited, trading as Taylor & Francis Group on behalf of the University of Bahrain.

关键词： 05D40 11B73 11B83 distributions generating functions moment generating functions probabilistic q-Bernstein polynomials

来源：评论

学校读者我要写书评

暂无评论

On Vertex-Disjoint Chorded Cycles and Degree Sum Conditions

引用

Journal of Combinatorial mathematics and Combinatorial Computing 2024年 120卷 75-90页

作者： Gould, Ronald J. Hirohata, Kazuhide Rorabaugh, Ariel Keller Department of Mathematics Emory University AtlantaGA30322 United States Department of Industrial Engineering Computer Science National Institute of Technology Ibaraki College Ibaraki Hitachinaka312-8508 Japan Department of Electrical Engineering and Computer Science University of Tennessee KnoxvilleTN37996 United States

In this paper, we consider a degree sum condition sufficient to imply the existence of k vertex-disjoint chorded cycles in a graph G. Let σ4(G) be the minimum degree sum of four independent vertices of G. We prove that if G is a graph of order at least 11k + 7 and σ4(G) ≥ 12k − 3 with k ≥ 1, then G contains k vertex-disjoint chorded cycles. We also show that the degree sum condition on σ4(G) is sharp. © 2024 the Author(s), licensee Combinatorial Press.

关键词： Degree sequence Minimum degree sum Vertex-disjoint chorded cycles

来源：评论

学校读者我要写书评

暂无评论

A System for Monitoring Hydroponic Plants in Greenhouse Using WSN, IoT and RnE 7th

A System for Monitoring Hydroponic Plants in Greenhouse Usin...

引用

7th International Conference on Artificial Intelligence in Renewable Energetic Systems, IC-AIRES 2023

作者： Touhami, Achouak Bourouis, Amina Touhami, Nawal Touhami, Sana Benahmed, Tariq Benahmed, Khelifa Department of Mathematics and Computer Science Ali Kafi University Center Tindouf Algeria Department of Mathematics and Computer Science Tahri Mohammed University Bechar Algeria Department of Electrical Engineering Ahmed Draia University Adrar Algeria Department of Mathematics and Computer Science Tamaghasset University Tamaghasset Algeria

ISBN: (纸本)9783031606281

Hydroponic cultivation offers a promising solution to address environmental and food-related challenges by minimizing the use of fertilizers and water. Our research presents a greenhouse-based design for monitoring hydroponic plants, using wireless sensor networks (WSN), hydroponic irrigation system, Internet of Things (IoT) technologies and renewable energy system (RnE). The WSN consists of diverse sensors, including those for water level, water temperature, and pH levels. The sensors are connected to a cluster head, which is linked to a microcontroller. Through the Internet, the microcontroller transmits the collected data to the farmer. The farmer evaluates the data by comparing it to predetermined thresholds and, using a laptop or smartphone, sends commands to the associated actuator. The cloud serves as the storage system for the collected data. The system features automated control capabilities, allowing for adjustments in temperature, pH levels, and water levels. Furthermore, the proposed design can be easily customized to accommodate different hydroponic conditions and systems. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Hydroponics

来源：评论

学校读者我要写书评

暂无评论

Effect of Printing Strategies on Mechanical Properties of Tool Steel in Laser Powder Bed Fusion Process

引用

Lasers in Manufacturing and Materials Processing 2025年第1期12卷 147-173页

作者： Kisraoui, Chams Omidi, Narges Dehghan, Shayan Belhadj, Asma Slama, Salma Barka, Noureddine El Ouafi, Abderrazak Department of Mathematics Computer Science and Engineering University of Quebec at Rimouski RimouskiQCG5L 3A1 Canada Tunis Tunisia

The selection of printing strategies in the LPBF process is pivotal, as it significantly impacts residual stress, which in turn affects the mechanical properties and density of the material. Recognizing the importance of optimizing printing strategies to enhance the final residual stress characteristics, this study investigates the effects of different printing strategies on as-manufactured H13 tool steel. Specifically, the research focuses on evaluating the tensile properties, micro-hardness, and density of the LPBF-manufactured samples. Two distinct printing strategies—bidirectional and chess scanning—were employed, with each strategy incorporating four different rotational orientations per layer (0°, 45°, 67°, and 90°). The aim is to understand how these variations influence porosity formation and the resultant mechanical properties of the tool steel, thereby providing insights into optimal printing parameters for improved material performance. Results showed that minimum porosity, maximum relative density, maximum mechanical strength, and maximum hardness were obtainable with the bidirectional printing strategies at rotation angles of 45° and 67°. The chess strategy exhibited more significant manufacturing defects, including extensive cracking and voids, particularly at 45° and 67°, leading to inferior mechanical properties and higher porosity compared to the bidirectional strategy. © The Author(s), under exclusive licence to Springer science+Business Media, LLC, part of Springer Nature 2025.

关键词： Selective laser melting

来源：评论

学校读者我要写书评

暂无评论

Degree-Based Entropy Descriptors of Graphenylene Using Topological Indices

引用

computer Modeling in engineering & sciences 2023年第10期137卷 939-964页

作者： M.C.Shanmukha Sokjoon Lee A.Usha K.C.Shilpa Muhammad Azeem Department of Mathematics Bapuji Institute of Engineering&TechnologyDavanagere577004India Department of Computer Engineering(Smart Security) Gachon UniversitySeongnam13120South Korea Department of Mathematics Alliance School of Applied MathematicsAlliance UniversityBangalore562106India Department of Computer Science and Engineering Bapuji Institute of Engineering&TechnologyDavanagere577004India Department of Mathematics Riphah Institute of Computing and Applied SciencesRiphah International UniversityLahore54660Pakistan

Graph theory plays a significant role in the applications of chemistry,pharmacy,communication,maps,and aeronautical *** molecules of chemical compounds are modelled as a graph to study the properties of the *** geometric structure of the compound relates to a few physical properties such as boiling point,enthalpy,π-electron energy,andmolecular *** article aims to determine the practical application of graph theory by solving one of the interdisciplinary problems describing the structures of benzenoid hydrocarbons and *** topological index is an invariant of a molecular graph associated with the chemical structure,which shows the correlation of chemical structures using many physical,chemical properties and biological *** study aims to introduce some novel degree-based entropy descriptors such as ENTSO,ENTGH,ENTHG,ENTSS,ENTNSO,ENTNReZ1,ENTNReZ2 and ENTNSS using the respective topological ***,the above-mentioned entropy measures and physico-chemical properties of benzenoid hydrocarbons are fitted using linear regression models and calculated for graphenylene structure.

关键词： Topological descriptors weighted entropy graphenylene

来源：评论

学校读者我要写书评

暂无评论

On the Approximability of Graph Visibility Problems 19th

On the Approximability of Graph Visibility Problems

引用

19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025

作者： Bilò, Davide Di Fonso, Alessia Di Stefano, Gabriele Leucci, Stefano Department of Information Engineering Computer Science and Mathematics University of L’Aquila L’Aquila Italy

ISBN: (纸本)9789819628445

Visibility problems have been investigated for a long time under different assumptions as they pose challenging combinatorial problems and are connected to robot navigation problems. The mutual-visibility problem in a graph G of n vertices asks to find the largest set of vertices X⊆V(G), also called μ-set, such that for any two vertices u,v∈X, there is a shortest u, v-path P where all internal vertices of P are not in X. This means that u and v are visible w.r.t. X. Variations of this problem are known as total, outer, and dual mutual-visibility problems, depending on the visibility property of vertices inside and/or outside X. The mutual-visibility problem and all its variations are known to be NP-complete on graphs of diameter 4. In this paper, we design a polynomial-time algorithm that finds a μ-set with size Ωn/D, where D is the average distance between any two vertices of G. Moreover, we show inapproximability results for all visibility problems on graphs of diameter 2 and strengthen the inapproximability ratios for graphs of diameter 3 or larger. More precisely, for graphs of diameter at least 3 and for every constant Ε>0, we show that mutual-visibility and dual mutual-visibility problems are not approximable within a factor of n1/3-Ε, while outer and total mutual-visibility problems are not approximable within a factor of n1/2-Ε, unless P=NP. Furthermore, in the extended version of this paper we study the relationship between the mutual-visibility number and the general position number in which no three distinct vertices u, v, w of X belong to any shortest path of G. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Polynomial approximation

来源：评论

学校读者我要写书评

暂无评论

Blockchain-based DDoS attack mitigation protocol for device-to-device interaction in smart home

引用

Digital Communications and Networks 2023年第2期9卷 383-392页

作者： Bello Musa Yakubu Majid Iqbal Khan Abid Khan Farhana Jabeen Gwanggil Jeon Department of Mathematics and Computer Science Chulalongkorn UniversityBangkok10330Thailand Department of Computer Science COMSATS University Islamabad(CUI)Islamabad45550Pakistan College of Science and Engineering University of DerbyDerbyDE221GBUnited Kingdom Department of Embedded Systems Engineering Incheon National UniversityIncheon22012South Korea

Smart home devices are vulnerable to a variety of *** matter gets more complicated when a number of devices collaborate to launch a colluding attack(e.g.,Distributed-Denial-of-Service(DDoS))in a network(e.g.,Smart home).To handle these attacks,most studies have hitherto proposed authentication protocols that cannot necessarily be implemented in devices,especially during Device-to-Device(D2D)*** into the potential of Ethereum blockchain and smart contracts,this work proposes a lightweight authentication mechanism that enables safe D2D interactions in a smart *** Ethereum blockchain enables the implementation of a decentralized prototype as well as a peer-to-peer distributed ledger *** work also uses a single server queuing system model and the authentication mechanism to curtail DDoS attacks by controlling the number of service requests in the *** simulation was conducted twenty times,each with varying number of devices chosen at random(ranging from 1 to 30).Each requester device sends an arbitrary request with a unique resource requirement at a *** is done to measure the system's consistency across a variety of device *** experimental results show that the proposed protocol not only prevents colluding attacks,but also outperforms the benchmark protocols in terms of computational cost,message processing,and response times.

关键词： DDoS attack Device-to-device Smart homes Blockchain Authentication Ethereum smartcontract

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：