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

International Russian Smart Industry Conference (SmartIndustryCon)

作者： Andrey Trapezin Ivan Filianin Faculty of Programming and Infocommunications ITMO University St. Petersburg Russia Faculty of Software Engineering and Computer Engineering ITMO University St. Petersburg Russia

ISBN: (数字)9798331511241

ISBN: (纸本)9798331511258

The current research work addresses the problem of automating the delivery of machine learning models from MLflow to Kubernetes infrastructure. To solve the mentioned problem, a Kubernetes operator has been developed to automate the delivery of machine learning models to production by integrating MLflow for model tracking and Seldon Core for model serving. The developed operator allows data scientists to deploy models while maintaining the familiar MLflow environment. The operator's automatic deployment triggers upon tagging models in MLflow, greatly simplifying engineers' tasks and minimizing the need for manual infrastructure configuration. By automating configuration tasks and optimizing deployment workflows, the solution achieves a 40-50% reduction in model time to deployment (TTD) metric compared to manual processes and decreases error rates from 15% to around 3%. The practical relevance of the work is that it simplifies collaboration between data and infrastructure teams by providing a unified deployment framework, resulting in faster, more reliable, and automated integration of machine learning models into an organisation's business processes.

关键词： Production systems Error analysis Machine learning Manuals Tagging Data models Reliability Research and development Load modeling Resilience

来源：评论

学校读者我要写书评

暂无评论

Machine Learning in Defectoscopy: DBSCAN for Localization, Agglomerative Clustering for Typification

Machine Learning in Defectoscopy: DBSCAN for Localization, A...

引用

International Russian Smart Industry Conference (SmartIndustryCon)

作者： Ruslan Akhmadeev Yurii Litvinov Anastasiya Grigorieva Department of Computer Science Saint Petersburg State University Saint Petersburg Russia Department of System Programming Saint Petersburg State University Saint Petersburg Russia

ISBN: (数字)9798331511241

ISBN: (纸本)9798331511258

Acoustic emission (AE) is one of the most relevant and cost-effective non-destructive testing methods for identifying defects in industrial objects. This paper addresses two primary tasks in defectoscopy: locating hazardous AE zones and classifying signals according to the presumed defect type. Through our research, we have determined and experimentally confirmed that the most suitable machine learning method for localization is a modified DBSCAN, while Agglomerative Clustering is optimal for typification. This paper details the specific tuning and modifications applied to these methods for AE. The resulting models were successfully tested on real-world data. The accuracy of the localization results was assessed using statistical analysis and consultations with AE experts, while typification was validated probabilistically and tested on sample data.

关键词： Location awareness Accuracy Recurrent neural networks Statistical analysis Acoustic emission Probabilistic logic Real-time systems Reliability Tuning Testing

来源：评论

学校读者我要写书评

暂无评论

STEPS TO AN ADVANCED ADA programming ENVIRONMENT

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1985年第3期11卷 302-310页

作者： TAYLOR, RN STANDISH, TA Programming Environment Project Department of Information and Computer Science University of California

Concepts and ideas are presented that should characterize an advanced Ada programming support environment. These concepts include: 1. conceptual simplicity, 2. tight coupling of tools, and 3. effective support of host-target software development. Several important principles - including template-assisted Ada editing, command completion employing Ada as a command language, and combining the advantages of interpretation and compilation - have been demonstrated in the Arcturus system. Of particular concern is the expansion of Arcturus to support the analysis, testing, and debugging of real-time tasking programs. A strategy is proposed for applying the individual standalone techniques developed to facilitate those activities in an integrated manner, making them even more valuable as they are mutually reinforcing and complementary in vital ways. The strategy provides a disciplined approach to the problem of analyzing errors disclosed during real-time target machine testing.

关键词： Static Analysis Ada Concurrency Debugging programming Environments

来源：评论

学校读者我要写书评

暂无评论

GAIWAP (Gait Analysis to Determine the Improvement of Walking Ability in People with Disabilities)

GAIWAP (Gait Analysis to Determine the Improvement of Walkin...

引用

2025 International Conference on Control, Automation, and Instrumentation, IC2AI 2025

作者： Borcsok, Josef Schwarz, Michael H. Drabesch, Malte Kinsch, Christian Strobl, Walter Michael Sengolge, Mathilde Breitenbach, Jurgen University of Kassel Dept. of computer architecture and system programming Kassel Germany Universität für Weiterbildung Krems Fakultät für Gesundheit und Medizin Medizin und Forschung Zentrum für Gesundheitswissenschaften und Medizin Dept. für Gesundheitswissenschaften KremsA-3500 Austria

ISBN: (纸本)9798331529604

The use of complex electronic systems in medical technology applications is constantly increasing. These systems are becoming increasingly important, particularly in the area of analyzing the progress of treatment, as they can be used to identify any deficits that may still exist. Although systems are now available from a number of manufacturers, they are not always applicable to all mobile problems, so approaches with adapted system technology must be used. © 2025 IEEE.

关键词： Gait analysis

来源：评论

学校读者我要写书评

暂无评论

A Comprehensive Study on m-Polar Picture Fuzzy Graphs and Its Application

Journal of Uncertain Systems

引用

Journal of Uncertain Systems 2025年第1期18卷

作者： Khatun, Jasminara Amanathulla, S. Pal, Madhumangal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 India Department of Mathematics Raghunathpur College Raghunathpur 723133 India

In real-life problems, information collected from multiple agents often exhibits "multipolar information," which cannot be accurately modeled by existing graph models. This paper introduces the m-polar picture fuzzy graph (mPPFG) as a more efficient model for such problems. The mPPFG offers a precise, flexible and comparable system compared to other graph models. The paper defines the mPPFG model and introduces new terms and properties such as order, degree, weighted arithmetic average (WAA) order, WAA degree, complement, homomorphism, isomorphism, eccentricity, radius, diameter and more. It also explores the concepts of m-polar antipodal picture fuzzy graphs, eccentric mPPFG, self-centered mPPFG and self-median mPPFG, highlighting their definitions and properties. The m-polar antipodal picture fuzzy graph represents a graph where each vertex is associated with an m-polar antipodal picture fuzzy set. The eccentric mPPFG focuses on highly eccentric vertices, while the self-centered mPPFG considers central vertices. The self-median mPPFG represents median vertices in the graph. The study of these graph types and their isomorphism properties contributes to a deeper understanding of the structural variations within mPPFGs. Furthermore, the paper proposes an application of the mPPFG model in evaluating the performance of ministers in India during their tenure. An algorithm is also developed for computing the performance of ministers. © 2024 World Scientific. All rights reserved.

关键词： complement diameter isomorphism m-polar antipodal PFG mPPFG Picture fuzzy graphs

来源：评论

学校读者我要写书评

暂无评论

Study of an OPTO-ASIC for a Functionally Safe Speed Sensor Using the Spatial Frequency Filter Method

Study of an OPTO-ASIC for a Functionally Safe Speed Sensor U...

引用

IEEE Design and Diagnostics of Electronic Circuits and Systems (DDECS)

作者： Frank Wasinski Werner Bonath Ubbo Ricklefs Michael Schwarz Josef Börcsök Dept. of Electrical Engineering and Information Technology THM University of Applied Sciences Giessen Germany ICAS Institute for Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (数字)9798331528010

ISBN: (纸本)9798331528027

For decades, speed sensors based on the spatial frequency filter method have successfully proven themselves in a wide range of applications. This makes the sensor concept particularly suitable for the area of functional safety. New filter variants extend the previous measuring range to very low speeds up to standstill detection. By combining the sensor with a safety system on chip for recording and analysing measured values, a functionally safe measuring chain can be established. In order to demonstrate the variability and performance of the new filters, an optical application-specific integrated circuit was designed, which forms the basis for further extensive tests. The core components are a large number of freely configurable photodiode channels, which were realised via a redundant structure, as well as two different transimpedance amplifier concepts. In the further course of the project, the ASIC will be analysed with regard to its desired performance parameters and its robustness.

关键词： Optical filters Semiconductor device measurement Optical design Stimulated emission Safety Topology System-on-chip Optical sensors Optical amplifiers Velocity measurement

来源：评论

学校读者我要写书评

暂无评论

Stronger Validity Criteria for Encoding Synchrony

arXiv

引用

arXiv 2025年

作者： van Glabbeek, Rob Goltz, Ursula Lippert, Christopher Mennicke, Stephan Data61 CSIRO Sydney Australia Computer Sc. and Engineering University of New South Wales Sydney Australia Institute for Programming and Reactive Systems TU Braunschweig Germany

We analyse two translations from the synchronous into the asynchronous π-calculus, both without choice, that are often quoted as standard examples of valid encodings, showing that the asynchronous π-calculus is just as expressive as the synchronous one. We examine which of the quality criteria for encodings from the literature support the validity of these translations. Moreover, we prove their validity according to much stronger criteria than considered previously in the literature. Copyright © 2025, The Authors. All rights reserved.

关键词： Differentiation (calculus)

来源：评论

学校读者我要写书评

暂无评论

A blockchain-oriented covert communication technology with controlled security level based on addressing confusion ciphertext

引用

Frontiers of computer Science 2025年第2期19卷 133-135页

作者： Lejun ZHANG Bo ZHANG Ran GUO Zhujun WANG Guopeng WANG Jing QIU Shen SU Yuan LIU Guangxia XU Zhihong TIAN Sergey GATAULLIN Cyberspace Institute Advanced Technology Guangzhou UniversityGuangzhou 510006China Research and Development Center for E-Learning Ministry of EducationBeijing 100039China College of Information Engineering Yangzhou UniversityYangzhou 225009China School Math and Computer Science Quanzhou Normal UniversityQuanzhou 362000China Pazhou Lab Guangzhou 510330China School of Physics and Materials Science Guangzhou UniversityGuangzhou 510006China Central Economic and Mathematics Institute Russian Academy of SciencesMoscow 117418Russia Industrial Programming Department MIREA-Russian Technological UniversityMoscow 119454Russia

1 Introduction Traditional covert communication[1]usually relies on centralized channels,which are efficient in transmission but susceptible to eavesdropping and attacks,leading to information ***,distributed methods also exist,such as peer-to-peer networks and distributed hash *** technology,which is decentralized,anonymous,non-tamperable and anti-attack,can be applied to covert communication to solve the problems of traditional methods and improve the quality of communication.

关键词： communication tables networks

来源：评论

学校读者我要写书评

暂无评论

PRECEDENCES IN SPECIFICATIONS AND IMPLEMENTATIONS OF programming-LANGUAGES

引用

THEORETICAL computer SCIENCE 1995年第1期142卷 3-26页

作者： AASA, A Department of Computer Sciences Programming Methodology Group Chalmers University of Technology S-412 96 G?teborg Sweden

Although precedences are often used to resolve ambiguities in programming language descriptions, there has been no parser-independent definition of languages which are generated by grammars with precedence rules. This paper gives such a definition for a subclass of context-free grammars. The definition is shown to be equivalent to the implicit definition an operator precedence parser gives. A problem with a language containing infix, prefix and postfix operators of different precedences is that the well-known algorithm, which transforms a grammar with infix operator precedences to an ordinary unambiguous context-free grammar, does not work. This paper gives an algorithm that works also for prefix and postfix operators, and the correctness of it is proved. An application of the algorithm is also presented.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A MESSAGE-DRIVEN programming SYSTEM FOR FINE-GRAIN MULTIcomputerS

引用

SOFTWARE-PRACTICE & EXPERIENCE 1994年第10期24卷 953-980页

作者： MASKIT, D TAYLOR, S Scalable Concurrent Programming Laboratory California Institute of Technology Computer Science Pasadena CA 91125 U.S.A.

This paper describes an experimental message-driven programming system for fine-grain multicomputers. The initial target architecture is the J-machine designed at MIT. This machine combines a unique collection of architectural features that include fine-grain processes, on-chip associative memory;and hardware support for process synchronization. The programming system uses these mechanisms via a simple message-driven process model that blurs the distinction between processes and messages: messages correspond to processes that are executed elsewhere in the network. This model allows code and data to be distributed across the computers in the machine, and is supported at every stage of the program development cycle. The prototype system we have developed includes a basic set of programming tools to support the model;these include a compiler, linker, archiver, loader and microkernel. Although the concepts are language independent, our prototype system is based on GNU-C.

关键词： FINE-GRAIN COMPUTING COMPILERS MESSAGE-PASSING CONCURRENCY MULTIcomputerS

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：