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

The Relevance of the Problem of Synthesis of New Materials in Conditions of Innovative Industrial Development

Russian Microelectronics 2023年第8期52卷 810-816页

作者： Zatsarinnyy, A.A. Abgaryan, K.K. Federal Research Center "Computer Science and Control " Russian Academy of Sciences Moscow119333 Russia

Abstract: This article discusses current problems of the synthesis of new materials in modern conditions. Today this is the most important strategic task for the innovative development of Russian industry. The factors determining the relevance of this task are formulated. A brief analysis of the state of Russian microelectronics is given. The importance of mathematical modeling methods and the need to develop innovative approaches in the field of the synthesis of new materials are shown. The main directions of scientific research related to the development of new model concepts, methods, and algorithms used in the field of mathematical modeling of the structures and properties of nanomaterials, as well as systems based on them, discussed at the IV International conference "mathematical Modeling in Materials science of Electronic Components" (ICM3SEC-2022), are highlighted. This paper shows that for the further development of methods and means of mathematical modeling, a domestic high-performance environment for scientific research is required, with a comfortable user interface, flexibility in setting up resources, high performance, and reliability. © Pleiades Publishing, Ltd. 2023. ISSN 1063-7397, Russian Microelectronics, 2023, Vol. 52, No. 8, pp. 810–816. Pleiades Publishing, Ltd., 2023. Russian Text The Author(s), 2023, published in Izvestiya Vysshikh Uchebnykh Zavedenii, Elektronika, 2023, Vol. 26, No. 4.

关键词： Microelectronics

来源：评论

学校读者我要写书评

暂无评论

A Study on Recognizing Handwritten mathematical Expressions 1

A Study on Recognizing Handwritten Mathematical Expressions

引用

1st IEEE International conference on Communications and computer science, InCCCS 2024

作者： Ragupathy, Ashwin Gangwani, Gariman Shrinivedhaa, R. Uma, D. Department of Computer Science and Engineering PES University Bengaluru India

ISBN: (纸本)9798350358858

Handwritten mathematical expressions play a critical role in numerous domains, encompassing education, engineering, and science. The advent of deep neural networks, specifically those employing attention mechanisms and encoder-decoder architectures, has led to the widespread utilization of online recognition for handwritten mathematical *** this research, Convolutional Neural Networks (CNNs) are extensively studied for their efficacy in transforming hand-drawn mathematical expressions into the corresponding LATEX representations. To further improve handwritten expression recognition, we investigate deep neural network models, such as VGG-16 and analyse its performance . We also studied the integration of transformer-based decoders in the recognition process, which offers concise model architectures and enhanced attention to image features like, Attention Aggregation based Bi-directional Mutual Learning Network (ABM) to leverage complementary information from both left-to-right (L2R) and right-to-left (R2L) directions. Moreover, we also studied and implemented handwritten expression recognition, incorporating syntax information into an encoder-decoder network. The proposed method utilizes grammar rules for converting LATEX markup sequences into parsing trees, significantly improving recognition accuracy. The approach outperforms previous methods on benchmark data sets . We studied the behaviour of Syntax Aware network for multiple different classes of mathematical expression © 2024 IEEE.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

A Review of Cognitive Apprenticeship methods in Computing Education Research 2024

A Review of Cognitive Apprenticeship Methods in Computing Ed...

引用

55th ACM Technical Symposium on computer science Education (SIGCSE)

作者： Shah, Anshul Raj, Adalbert Gerald Soosai Univ Calif San Diego La Jolla CA 92093 USA

ISBN: (纸本)9798400704239

Cognitive Apprenticeship (CA) is an instructional model that outlines how experts can transfer their skills and knowledge to a learner for reasoning-based tasks, such as reading comprehension or mathematical problem solving. Specifically, CA includes 6 teaching methods-modeling, scaffolding, coaching, reflection, articulation, and exploration-that facilitate learners' observation, acquisition, and externalization of implicit processes and techniques for completing a task. In this paper, we present a systematic literature review of 143 conference papers across ACM and IEEE venues about CA in computer science education literature. Specifically, we aim to understand which teaching methods are typically referenced, the theory level (i.e., depth of CA theory discussion) present in the literature, and the key findings related to CA-based teaching approaches. Our review reveals that CA has been cited in computing education research as a guiding theory for various course designs, though there is a clear emphasis on papers related to modeling, scaffolding, and coaching whereas reflection, articulation, and exploration are under-explored. We found that CA methods have been effective in improving students' enthusiasm towards computing, improving pass-rates in courses, and improving instructors' capacity to accommodate more students by reducing instructor workload. However, a key challenge of CA approaches that emerged from our review is the difficulty in scaling the approach in settings with a high student to instructor ratio. Through this literature review, we aim to highlight effective CA approaches and how future initiatives can leverage CA to improve student learning.

关键词： Cognitive Apprenticeship teaching methods active learning learning environments managing enrollment growth

来源：评论

学校读者我要写书评

暂无评论

Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition 8th

Exploring Alternative Machine Learning Models for Variable O...

引用

8th International conference on mathematical Software (ICMS)

作者： John, Rohit Davenport, James Univ Bath Bath BA2 7AY Avon England

ISBN: (纸本)9783031645280;9783031645297

Cylindrical Algebraic Decomposition is a computer algebra tool with many applications, from robotics to biochemistry. But it can be very sensitive to the ordering of the variables, which may be partially prescribed by the problem, but generally has at least some freedom. While various algorithmic heuristics to choose the best variable order exist, we are looking at using new machine learning models to pick the variable order directly. Of those machine learning methods we have currently implemented, Feed-forward networks seem the most successful (though some others are nearly as good), and much better than a traditional hand crafted heuristic such as Brown's. We also explore an implementation of Graph Neural Networks as well as possible data pollution in current CAD datasets.

关键词： Machine Learning computer Algebra Cylindrical Algebraic Decomposition Variable Ordering

来源：评论

学校读者我要写书评

暂无评论

Optimization of computer Network Security Strategies in Port Operations

Optimization of Computer Network Security Strategies in Port...

引用

2024 International conference on computer Communication, Networks and Information science, CCNIS 2024

作者： Li, Yuepeng Shanghai Maritime University Shanghai201306 China

ISBN: (纸本)9798331507046

This research focuses on optimizing the security protection strategy of computer systems in port operations. The purpose is to deal with the increasing network security risks. The team has thoroughly understood the global port computer security environment and pointed out the key points in the current security strategy. Defects, especially in the face of high-end hacker attacks (commonly known as APT) and shortcomings in controlling potential risks within the enterprise. This document in-depth develops a set of mathematical model systems, covering attack graph models, risk assessment models, and models for dynamically adjusting security policies, thereby enabling accurate assessment and efficient response to various security threats, with the help of improved calculation methods And specific case analysis confirms that these architectures are feasible for adjusting and executing security measures in actual application scenarios. The new research results have brought the port's computer defense system to a higher level, and also given the port managers a great gift - a complete set of security policy adjustment tools. In addition, this method is suitable for other key infrastructures. Safety Management is also a valuable reference. © 2024 IEEE.

关键词： dynamic security policy adjustment mathematical modeling port computer security

来源：评论

学校读者我要写书评

暂无评论

Designing Exception Handling Using Event-B 10th

Designing Exception Handling Using Event-B

引用

10th International conference on Rigorous State-Based methods (ABZ)

作者： Fathabadi, Asieh Salehi Snook, Colin Hoang, Thai Son ThorburnO, Robert Butler, Michael Aniello, Leonardo Sassone, Vladimiro Univ Southampton Sch Elect & Comp Sci ECS Southampton Hants England

ISBN: (纸本)9783031637896;9783031637902

The design of exception handling is a complex task requiring insight and domain expertise to ensure that potential abnormal conditions are identified and a recovery process is designed to return the system to a safe state. Formal methods can address this complexity, by supporting the analysis of exception handling at the abstract design stages utilising mathematical modelling and proofs. Event-B is a state-based formal method for modelling and verifying the consistency of discrete systems. However it lacks explicit support for analysing the handling of exceptions. In this paper, we use UML-B state machines to support the modelling of normal behaviour assisting the identification and handling of exceptions. This is followed by verification of exception handler recovery mechanisms using the built-in model checker and provers of the Event-B tool-set.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Application of Active Experiment Planning methods for Determining the Coefficients of the Regression Equation to Determine the Optimal Composition of the Mixture in the Production of Ceramic Products 2nd

Application of Active Experiment Planning Methods for Determ...

引用

2nd International conference on Information Technologies and Their Applications

作者： Abasova, Nigar Mammadli, Maryam Azerbaijan Univ Architecture & Construct Dept Informat Technol & Syst Baku Azerbaijan

ISBN: (纸本)9783031734168;9783031734175

The article describes the method of statistical planning of the experiment to determine the optimal composition of the charge in the production of ceramic products based on the Box-Behnken plan of K = 3 dimensions. A plan for conducting an active experiment was proposed, the coefficients of mathematical models were calculated, and the adequacy of the models obtained and the significance of the coefficients of the regression equations were verified. Ceramic products are one of the best quality buildings facing materials used in paving parks and recreation centers. Also, one of the solutions to the actual problem of saving heat consumption in residential buildings is the use of facing ceramic products with high thermal insulation properties. In modern times, as in all fundamental studies, a systematic approach is typical in the study of multicomponent ceramic materials. Such a systematic approach determines the study of the studied materials and objects both separately and in interaction with each other. Conducting such a systematic study of ceramic products is an important issue for more efficient organization of its production. A 2-component mixture of raw materials is usually used in the production of ceramic materials (bricks and tiling, ceramic pans with external coating) in the country. From this point of view, it is very important to systematically study the 3-component ceramic mass composition with modern methods.

关键词： ceramic products mixture active experiment mathematical model adequacy coefficients regression equation

来源：评论

学校读者我要写书评

暂无评论

Numerical Studies on Coupled Stokes-Transport Systems for Mantle Convection 24th

Numerical Studies on Coupled Stokes-Transport Systems for Ma...

引用

24th International conference on Computational science (ICCS)

作者： Ilangovan, Ponsuganth Eugenio, D'Ascoli Kohl, Nils Mohr, Marcus Ludwig Maximilians Univ Munchen Dept Earth & Environm Sci Munich Germany

ISBN: (纸本)9783031637582;9783031637599

Accurate retrodictions of the past evolution of convection in the Earth's mantle are crucial to obtain a qualitative understanding of this central mechanism behind impactful geological events on our planet. They require highly resolved simulations and therefore extremely scalable numerical methods. This paper applies the massively parallel matrix-free finite element framework HyTeG to approximate solutions to stationary Stokes systems and time-dependent, coupled convection problems. It summarizes the underlying mathematical model and verifies the implementation through semi-analytical setups and community benchmarks. The numerical results agree with the expected outcomes from the literature.

关键词： Mantle Convection Finite Elements Matrix-Free methods

来源：评论

学校读者我要写书评

暂无评论

Multigrid methods for Total Variation 10th

Multigrid Methods for Total Variation

引用

10th International conference on Scale Space and Variational methods in computer Vision, SSVM 2025

作者： Guerra, Felipe Valkonen, Tuomo Quito Ecuador Department of Mathematics Escuela Politécnica Nacional Quito Ecuador Department of Mathematics and Statistics University of Helsinki Helsinki Finland

ISBN: (纸本)9783031923685

Based on a nonsmooth coherence condition, we construct and prove the convergence of a forward-backward splitting method that alternates between steps on a fine and a coarse grid. Our focus is on total variation regularised inverse imaging problems, specifically, their dual problems, for which we develop in detail the relevant coarse-grid problems. We demonstrate the performance of our method on total variation denoising and magnetic resonance imaging. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Inverse problems

来源：评论

学校读者我要写书评

暂无评论

Method and Algorithm of Successive Approximation Analog-to-Digital Conversion of Information in Management Systems 14

Method and Algorithm of Successive Approximation Analog-to-D...

引用

14th International conference on Advanced computer Information Technologies, ACIT 2024

作者： Petryshyn, Lubomyr Petryshyn, Mykhailo Agh University of Krakow Dept. of Enterprise Management Krakow Poland Precarpathian National University Dept. of Computer Science and Information Systems Ivano-Frankivsk Ukraine

ISBN: (纸本)9798350350036

Modeling methods and algorithms for analog-to-digital conversion of information in control systems are significant components in the development and design of devices for analog signals digitizing. This process involves several steps, including sampling, quantization, and encoding, to convert continuous signals into a digital format that can be easily manipulated and analyzed by digital *** quest to enhance the speed of converters is driven by the ever-increasing demand for rapid and efficient data processing. The research into additive successive approximation methods has yielded a novel approach: bitwise balancing. This innovative method, supported by a robust mathematical model, promises to revolutionize analog-to-digital conversion by significantly reducing the conversion time. The empirical analysis suggests that this reduction could range from 6 to 25 %, marking a substantial improvement over existing methods. This breakthrough shows not only the potential for faster data processing but also sets a new direction for the development of technical apparatuses designed for swift information form conversion. © 2024 IEEE.

关键词： additive method algorithm analog-to-digital conversion computational processes management information systems mathematical representations successive approximation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：