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

2019 International Russian Automation Conference, RusAutoCon 2019

作者： Mammadov, Javanshir Abdullayev, Khurban Aliyev, Ilgar Safarova, Tarana Dept. of Process Automation Sumgayit State University Sumgayit Azerbaijan Dept. of Metrology and Standardization Sumgayit State University Sumgayit Azerbaijan Dept. of Electromechanic Azerbaijan State Oil Industrial Azerbaijan State Oil Industrial University Sumgayit Azerbaijan Dept. of Information Technology and Programming Sumgayit State University Sumgayit Azerbaijan

ISBN: (纸本)9781728102658

A scheme of a flexible manufacture cell (FMC) with the placement of mechanical equipment (by the example of Sumgayit State University) for manufacturing mechatronic elements of innovative projects in the industrial park of the university has been proposed. When creating a flexible manufacture cell in the university's industrial park, the authors carried out scientific research on the planning of technological processes and the kinematic analysis of a crane-manipulator in a flexible manufacture cell using an algorithm for modeling logical predicates. Based on the three-dimensional kinematic diagram of the crane-manipulator, its linear motion path with generalized coordinates for servicing 4 mechanical machines was determined. For functional modeling of FMC based on the graph theory of a Petri net, the actions of this object were studied and a graph-scheme of functional modeling of a lathe module in FMC was constructed. The authors determined the addressing parameters in the structure of FMC for the implementation of joint management of the network of the technological process under study. © 2019 IEEE.

关键词： Cells

来源：评论

学校读者我要写书评

暂无评论

Concept of an Optical Distance and Speed Sensor Using Novel Offsetless Spatial Frequency Filters in the Area of Functional Safety

Concept of an Optical Distance and Speed Sensor Using Novel ...

引用

IEEE International Symposium on Industrial Electronics (ISIE)

作者： Frank Wasinski Werner Bonath Ubbo Ricklefs Josef Börcsök Michael Schwarz Eike Hahn 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

Optical speed sensors based on the spatial frequency filter method are a proven technology that offer high measurement accuracy over a wide speed range. Newly developed variants also enable measurements at very low speeds and increase the robustness of the method [1]. This makes the sensor very suitable for use in the area of functional safety. A measurement chain up to safety integrity level 3 (SIL3) should be feasible via a combination with a safety system on a chip (SoC) for evaluating the measurement data and an extension of the sensor module to include safety-related elements [2], [3]. By integrating the sensor at IC level, a compact overall solution is to be made possible. After the first successful tests with the safety SoC, further examinations of the measuring method with regard to functional safety are now necessary.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A proposal of an example and experiments repository to foster industrial adoption of formal methods 8th

A proposal of an example and experiments repository to foste...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030034269

Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field. © Springer Nature Switzerland AG 2018.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

B2A, A Straight-Through Approach from Basics to Advanced Level: Case Study for Python Course 11

B2A, A Straight-Through Approach from Basics to Advanced Lev...

引用

11th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2024

作者： Shazmeen, Abbasi Dakić, Pavle Zoltan, Alwahab Dhulfiqar Department of Programming Languages and Compilers Faculty of Informatics Eötvös Loránd University 1/C Pázmány Péter st. BudapestH-1117 Hungary Faculty of Informatics and Computing Singidunum University Danijelova 32 Belgrade Serbia Institute of Informatics Information Systems and Software Engineering Faculty of Informatics and Information Technologies Slovak University of Technology in Bratislava Ilkovičova 2 Bratislava842 16 Slovakia

In this study, we present a straightforward teaching strategy for teaching the Python programming language. Our method emphasizes a clear progression from fundamental to sophisticated concepts. Beginning with a thorough explanation of core Python ideas, we show a beginner-level script that dissects each line of code and displays the results. One distinguishing feature of our system is that students use ChatGPT to optimize code, which encourages them to improve the core program with fewer lines. After getting the updated solutions, students carefully compare the original and optimized programs to discover improvements and potential flaws. This study underlines the effectiveness of the Straight-Through Approach, which focuses on improving Python understanding while also developing critical thinking and code optimization skills. Our findings show that this strategy is a simple and effective way for teachers to assist students in growing from basic to advanced Python abilities, resulting in a dynamic and successful learning environment. The proposed technique will teach students how to use AI-driven modules correctly, such as ChatGPT. © 2024 Copyright for this paper by its authors.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

Forecasting and modeling on average rainwater and vapor pressure in Chelyabinsk Russia using deep learning models

Forecasting and modeling on average rainwater and vapor pres...

引用

6th Smart Cities Symposium (SCS 2022)

作者： M. Abotaleb T. Makarovskikh A. Ali Subhi H. Alkattan A.O. Adebayo Department of System Programming South Ural State University Chelyabinsk Russia University of Diyala Diyala Iraq Information Communication and Technology Department Lagos State University Lagos Nigeria

Machine learning technique is full-fledged as a boosting sector to develop modeling and forecasting of complex time series observations in the present environment. This study made an attempt to inspect the future performance of rainfall data and vapor in Chelyabinsk by using a machine learning technique. The data series is divided into a training set (60%) and a test set (40%) for model developing a validation purpose. We further developed deep learning models such as, LSTM, BILSTM, GRU and compared on the basis of ME, RMSE, MAE, MPE, MAPE, ACF1 on the training data set. For testing data set, we compared these deep learning models based on RMSE. LSTM model acts as a superior machine learning model over BILSTM and GRU in this data series. Forecasting performance of these three models significantly at par. This finding may be significant to build a strong literature of the Chelyabinsk weather's forecast, which can be helpful for policy makers and researchers. Also, we strongly believe that, this work could be used as a literature adaptation of machine learning technique for complex time series over statistical models.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Zero-Watermarking Algorithm for Use in RGB and Monochrome Images

A Zero-Watermarking Algorithm for Use in RGB and Monochrome ...

引用

Advanced technology (KhPIWeek), IEEE KhPI Week on

作者： Vadym Poddubnyi Roman Gvozdov Oleksandr Sievierinov Vladyslav Sukhoteplyi Serhii Bulba Dmytro Lysytsia Department of of information technology security Kharkiv National University of Radio Electronic Kharkiv Ukraine Department of Computer Engineering and Programming Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine

ISBN: (数字)9798350384499

ISBN: (纸本)9798350384505

The article proposes a method of zero-watermarking for colored RGB bitmap images. This algorithm can be used to protect property rights to multimedia resources in which it is impossible to use ordinary watermarks due to the impossibility of changing the image (such as medical data where high accuracy is required and the appearance of artifacts is unacceptable) or due to the presence of a higher distortion of the container. This algorithm is based on DWT, SVD and operations in the field by modulo 256. The software implementation of the algorithm was developed (using the Accord and *** libraries to implement DWT, SVD). The software implementation of the algorithm was tested. This algorithm has advantages in the form of normalization of the average error, but it needs further research to improve its performance.

关键词： Software algorithms Authentication Public key Watermarking Distortion Software Libraries Discrete wavelet transforms Faces Testing

来源：评论

学校读者我要写书评

暂无评论

Nesterov’s method of dichotomy via Order Oracle: The problem of optimizing a two-variable function on a square

arXiv

引用

arXiv 2024年

作者： Chervonenkis, Boris Krasnov, Andrei Gasnikov, Alexander Lobanov, Aleksandr Moscow Institute of Physics and Technology Russia Institute for Information Transmission Problems RAS Moscow Russia Innopolis University Russia Skolkovo Institute of Science and Technology Russia The Institute for System Programming The Russian Academy of Sciences Russia

The challenges of black box optimization arise due to imprecise responses and limited output information. This article describes new results on optimizing multivariable functions using an Order Oracle, which provides access only to the order between function values and with some small errors. We obtained convergence rate estimates for the one-dimensional search method (golden ratio method) under the condition of oracle inaccuracy, as well as convergence results for the algorithm on a "square" (also with noise), which outperforms its alternatives. The results obtained are similar to those in problems with oracles providing significantly more information about the optimized function. Additionally, the practical application of the algorithm has been demonstrated in maximizing a preference function, where the parameters are the acidity and sweetness of the drink. This function is expected to be convex or at least quasi-convex. Copyright © 2024, The Authors. All rights reserved.

关键词： Optimization algorithms

来源：评论

学校读者我要写书评

暂无评论

Development of a visual programming tool called SmrAI for function testing to mitigate the shortage of programming personnel in the manufacturing

Computer Software

引用

Computer Software 2022年第4期39卷 61-74页

作者： Sugiyama, Ko-Ichiro Okuda, Satsuki Tanabe, Tsubasa Takao, Kouji Higashi, Hirohito Tanaka, Kazuaki Dept. of Information Engineering National Institute of Technology Matsue College Japan NIPPO Co. Ltd. Japan Ruby Programming Shounendan Japan Shimane IT Open-innovation Center Japan Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Japan

We have developed a visual programming tool called SmrAI for function testing, and investigated whether wrapping existing source code with Scratch Blocks is an effective means of mitigating the shortage of programming personnel in the manufacturing. SmrAI is based on Smalruby, which can convert Scratch Blocks into Ruby code. In addition, SmrAI introduces two new sets of Blocks that wrap existing Ruby libraries for function testing. Since existing tools and libraries were utilized, the cost of developing SmrAI was low, and there were no changes in the function testing procedure. We conducted a verification test using staff members who were familiar with the function testing process but had little or no programming experience, and confirmed that they were able to program using SmrAI and that they had confidence in its business applications. These results are expected to contribute to the diversification and increase of programming personnel responsible for function test programming. © 2022 Japan Society for Software Science and technology. All rights reserved.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Evolutionary Algorithm for Calculating the Optimal Temperature Regime of the Catalytic Process

Evolutionary Algorithm for Calculating the Optimal Temperatu...

引用

International Conference on Control Systems, Mathematical Modelling, Automation and Energy Efficiency (SUMMA)

作者： Evgenia Antipina Svetlana Mustafina Andrey Antipin Department of Scientific Research Ufa University of Science and Technology Ufa Russia Faculty of Mathematics and Information Technologies Ufa University of Science and Technology Ufa Russia Department of Applied Informatics and Programming Sterlitamak Branch of Ufa University of Science and Technology Sterlitamak Russia

The paper formulates an algorithm for searching the optimal temperature regime of the catalytic process in an ideal mixing reactor. The problem of optimal control of the catalytic process is formulated in a general form. To find its numerical solution, an algorithm based on the method of differential evolution is described. The algorithm allows to obtain an approximate solution of the optimization problem in a time acceptable from the practical point of view. A computational experiment for the dimerization process of alphamethylstyrene is carried out. The optimal temperature profile for achieving the maximum yield of reaction products – linear dimers – is obtained.

关键词：

来源：评论

学校读者我要写书评

暂无评论

How File-access Patterns Inuence the Degree of I/O Interference between Cluster Applications

Supercomputing Frontiers and Innovations

引用

Supercomputing Frontiers and Innovations 2019年第2期6卷 29-55页

作者： Shah, Aamer Kuo, Chih-Song Nomura, Akihiro Matsuoka, Satoshi Wolf, Felix Laboratory for Parallel Programming Technische Universita•t Darmstadt Darmstadt Germany Taiwan Semiconductor Manufacturing Company Limited Hsinchu Taiwan Global Scientic Information and Computing Center Tokyo Institute of Technology Tokyo Japan Department of Mathematical and Computing Science Tokyo Institute of Technology Tokyo Japan

On large-scale clusters, tens to hundreds of applications can simultaneously access a parallel le system, leading to contention and, in its wake, to degraded application performance. In this article, we analyze the inuence of le-access patterns on the degree of interference. As it is by experience most intrusive, we focus our attention on write-write contention. We observe considerable dierences among the interference potentials of several typical write patterns. In particular, we found that if one parallel program writes large output les while another one writes small checkpointing les, then the latter is slowed down when the checkpointing les are small enough and the former is vice versa. Moreover, applications with a few processes writing large output les already can signicantly hinder applications with many processes from checkpointing small les. Such eects can seriously impact the runtime of real applications|up to a factor of ve in one instance. Our insights and measurement techniques oer an opportunity to automatically classify the interference potential between applications and to adjust scheduling decisions accordingly. © The Authors 2019. This paper is published with open access at ***

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：