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

Recent Developments and the New Direction in Soft-Computing Foundations and Applications 1

引用

丛书名： Studies in Fuzziness and Soft Computing

1000年

作者： Shahnaz N. Shahbazova Janusz Kacprzyk Valentina Emilia Balas Vladik Kreinovich

来源：评论

学校读者我要写书评

暂无评论

Research of Neural Network Methods of Visual Defectoscopy of Metal Structures

Research of Neural Network Methods of Visual Defectoscopy of...

引用

2023 International Conference on Industrial Engineering, Applications and Manufacturing, ICIEAM 2023

作者： Chernikov, Alexander Smirnova, Elena Zhavoronkov, Oleg Peter the Great St. Petersburg Polytechnic University Higher School of Automation and Robotics St. Petersburg Russia Saint Petersburg State University Department of System Programming St. Petersburg Russia Computer Vision Systems Llc St. Petersburg Russia

ISBN: (纸本)9781665475952

The production of metal pipes is an important component of metallurgy and the entire industry as a whole. Traditional surface quality control is carried out by human inspectors, which is unsatisfactory due to low productivity, reliability and economy. Therefore, the introduction of an automatic visual inspection system into this production allows you to quickly find defects in products and reduce economic losses. To solve this problem, an algorithm based on the neural networks of the YOLOv5 and Unet architectures has been created, which allows finding the bounding frames of defects and their segmentation mask from the image. The created algorithm was applied to two control sites: mandrel defectoscopy and pipe defectoscopy. For mandrel defectoscopy, the accuracy for mAP 0.5 detection is 0.785, for iou_score segmentation - 0.562. For pipe defectoscopy, the accuracy for mAP 0.5 detection is 0.693, for iou_score segmentation - 0.526. © 2023 IEEE.

关键词： computer vision

来源：评论

学校读者我要写书评

暂无评论

Image noise reduction by denoising autoencoder

Image noise reduction by denoising autoencoder

引用

IEEE International Conference on Dependable systems, Services and Technologies (DESSERT)

作者： Lev Yasenko Yaroslav Klyatchenko Oksana Tarasenko-Klyatchenko Department of System Programming and Specialized Computer Systems National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" Kyiv Ukraine

ISBN: (数字)9781728199573

ISBN: (纸本)9781728199580

Neural networks are used in many tasks today. One of them is the images processing. Autoencoder is very popular neural networks for such problems. Denoising autoencoder is an important autoencoder because some tasks we need a preprocessed image to get less noisy result. This research describes ways to analyze noisy images produced by a physically-based render engine and how to reduce that noise. The results showed that the algorithms are logarithmic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

Frontiers in Education (FIE) Conference

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

ISBN: (数字)9798350351507

ISBN: (纸本)9798350363067

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 $(\text{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 “failuresy” 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 $\text { 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 $\text { 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 longitudi

关键词： computer science Open Access Model checking System recovery Software Safety Logic Reliability Proposals Software engineering

来源：评论

学校读者我要写书评

暂无评论

Constraint Solving and Language Processing 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Henning Christiansen Peter Rossen Skadhauge Jørgen Villadsen

ISBN: (数字)9783540319283

ISBN: (纸本)9783540261650

This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1–3, 2004. Constraint programming and Constraint Solving, in particular Constraint Logic programming, appear to be a very promising platform, perhaps the most promising present platform, for bringing forward the state of the art in natural language processing, this due to the naturalness in speci?cation and the direct relation to e?cient implementation. Language, in the present context, may - fer to written and spoken language, formal and semiformal language, and even general input data to multimodal and pervasive systems, which can be handled in very much the same ways using constraint programming. The notion of constraints, with slightly di?ering meanings, apply in the ch- acterization of linguistic and cognitive phenomena, in formalized linguistic m- els as well as in implementation-oriented frameworks. programming techniques for constraint solving have been, and still are, in a period with rapid devel- ment of new e?cient methods and paradigms from which language processing can pro?t. A common metaphor for human language processing is one big c- straintsolvingprocessinwhichthedi?erent(-lyspeci?ed)linguisticandcognitive phases take place in parallel and with mutual cooperation, which ?ts quite well with current constraint programming paradigms.

关键词： Artificial Intelligence programming Techniques programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Promising Developments in Cyber Physical System Tools for Background Monitoring of Reserve Landscape 11

Promising Developments in Cyber Physical System Tools for Ba...

引用

11th International Conference on Advanced computer Information Technologies, ACIT 2021

作者： Nykolaychuk, Yaroslav Grynchychyn, Taras Pitukh, Ihor Petrashchuk, Yaroslav Nykolaychuk, Lyubov Hryha, Volodymyr West Ukrainian National University Department of Specialized Computer Systems Ternopil Ukraine Nadvirna Vocational College by National Transport University Department of Programming and Information Technologies Nadvirna Ukraine Gorgany Nature Reserve Nadvirna Ukraine Ivano-Frankivsk National Technical University of Oil and Gas Department of Social Communication and Law Ivano-Frankivsk Ukraine Vasyl Stefanyk Precarpathian National University Department of Computer Engineering and Electronics Ivano-Frankivsk Ukraine

Experience in designing and building cyber physical interactive distributed monitoring systems for industrial facilities and reserve landscapes is analyzed. Advantages of the existing interactive and dialogue computerized systems, replicated by many companies, are systematized and their functional limitations are determined. The legal and system requirements for the implementation of this class of information system components, which can be applied in strict Nature Reserve, are clarified. It is proposed to expand the functionality and increase the reliability of the ring-star system for background monitoring of nature reserves based on binary-manipulated optical signals. A sensor system for measuring the height of snow cover along the monitoring route is developed using a relay sensor network and quadcopters. © 2021 IEEE.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

Aspect-oriented programming workshop report

Aspect-oriented programming workshop report

引用

Workshops on Object-Oriented Technology, ECOOP 1997

作者： Mens, Kim Lopes, Cristina Tekinerdogan, Bedir Kiczales, Gregor Department of Computer Science Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium Systems and Practices Laboratory Xerox PARC 3333 Coyote Hill Rd Palo AltoCA94304 United States Department of Computer Science Software Engineering University of Twente P.O. Box 217 Enschede7500 AE Netherlands

ISBN: (纸本)3540640398

Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or characterisation of AOP. Therefore, the main goal of the ECOOP’97 AOP workshop was to identify the "good questions" for exploring the idea of AOP. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Structure and Functioning of Information systems of Background Monitoring of Landscape Elements of Gorgany Nature Reserve 10

Structure and Functioning of Information Systems of Backgrou...

引用

10th International Conference on Advanced computer Information Technologies, ACIT 2020

作者： Nykolaychuk, Yaroslav Petrashchuk, Yaroslav Slobodian, Olena Pitukh, Ihor Grynchyshyn, Taras Nykolaychuk, Lyubov Hryha, Volodymyr Ternopil National Economic University Department of Specialized Computer Systems Ternopil Ukraine Gorgany Nature Reserve Nadvirna Ukraine Nadvirna College by National Transport University Department of Programming and Information Technologies Nadvirna Ukraine Ivano-Frankivsk National Technical University of Oil and Gas Department of Social Communication and Law Ivano-Frankivsk Ukraine Vasyl Stefanyk Precarpathian National University Department of Computer Engineering and Electronics Ivano-Frankivsk Ukraine

This paper discusses the structural organization of the background monitoring system (BMS) of the transboundary UNESCO World Heritage Site 'Beech forests of the Carpathians and ancient beech forests of Germany' using actual data and information from Gorgany Nature Reserve in Ivano-Frankivsk, Ukraine. The features of the structure and functions of background monitoring of the protected natural resources, forests and wildlife of Gorgany Nature Reserve is based on modern methods of collecting and processing of digital data, implementation of the principles of Internet of Things and cloud technologies, combined with GPS-systems, sensor networks with the use of optical and fiber-optic telecommunication channels. The information technology of the background monitoring system is based on figurative cluster models of monitoring objects according to theoretical principles of statistical, correlatory, spectral, cluster, logic-statistical and entropy analysis. © 2020 IEEE.

关键词： Sensor networks

来源：评论

学校读者我要写书评

暂无评论

Distributed computer System for Adaptive Control of LD Convertor Steel Making

引用

IFAC Proceedings Volumes 1988年第19期21卷 299-302页

作者： A.N. Georgieva P.A. Bayrov I.N. Ivanchev M.S. Gerasimova S.R. Simeonov Department of Programming and Computer Systems Application Higher Institute of Chem. Technology 1156 Sofia Bulgaria Department of Black Metallurgy Higher Institute of Chem Technology 1156 Sofia Bulgaria

An adaptive algorithm for LD converter steel refining control is presented. Avoiding the traditionally used balance approach, here a real-time process parameters estimation and control is applied. A Recursive Least Squares method is used and a minimum variance control strategy is realized. The original idea is that the converter steel making process| is considered as a continuous process which is sampled and one heat time is considered as one sample time. So, the process model parameters are adjusted after each heat and the algorithm adapts very fast to the technological conditions chanson. A distributed PS/XT computer two-leves control system is realized. Successful industrial results are obtained.

关键词： Time-varying systems multivariable control systems parameter estimation adaptive control computer control steel refining process

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：