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

Reliable Code Generation and Test Environment demonstrated on a PI-Controller Design

IFAC-PapersOnLine 2016年第3期49卷 465-470页

作者： Schwarz, M.H. Sheng, H. Üstoglu, I. Chabaan, W. Börcsök, J. Safety Computer Technology University of Kassel Germany Control and Automation Engineering Department Yildiz Technical University Istanbul Turkey Computer Architecture and System Programming University of Kassel Germany

This paper focuses on the latest version of a tool developed within the department to guide developer through the various steps of requirements, test-procedures and documentations to finally download the derived algorithm on a safety programmable logic controller (PLC). Requirements on how to develop and how to test software are steadily increasing due to international standards, which have to be obeyed in industries in general, and in the process- and automation industries in particular. A simple model is derived to be used to develop a PI controller that has to pass several steps to be qualified for execution on a PLC. The paper explains the different steps and describes the various problems that might occur. © 2016

关键词： Controllers Accident prevention Reliability Software testing Automated code generation Automation industry International standards P i controller designs PI control Programmable Logic Controller (PLC) Simple modeling Test Environment

来源：评论

学校读者我要写书评

暂无评论

Design and Development of a Mobile Robotic Complex

Design and Development of a Mobile Robotic Complex

引用

International Conference on Recent Innovations in Electrical, Electronics & Communication Engineering (ICRIEECE)

作者： Aigul Adamova Tamara Zhukabayeva Laula Zhumabayeva Zhanna Mukanova Khu Ven-Tsen Department of Computer engineering and software Saken Seifullin Kazakh Agrotechnical University Astana Kazakhstan Department of Computing Engineering L.N. Gumilyov Eurasian National University Astana Kazakhstan Department of Information Systems and Power Engineering S. Yessenov Caspian State University of Technology and Engineering Aktau Kazakhstan Department of Information and Computing Systems Karaganda Economic University of Kazpotrebsoyuz Karaganda Kazakhstan Department of Computer engineering and software programming M. Auezov South Kazakhstan State University Shymkent Kazakhstan

ISBN: (数字)9781538659953

ISBN: (纸本)9781538659960

Development of the mobile robot can be executed in two different ways. Firstly, this creation of the built-in system, secondly, the use of "ready to use" industrial components. With distribution of the industrial mobile robots in the market there are more and more components which can be used for creation of all control system and sensors of the robot mobile platform. Use of the ready components doesn't demand the hardware development that accelerates time of development and reduces cost. The chassis of the Belarus-132 mini-tractor is used as a platform of robotic system in the research, "creation" of the program for traffic control is required. Results of the practical research on design and model development of a mobile robotic complex are given.

关键词： Control systems Robot kinematics Mobile robots Navigation Robot sensing systems

来源：评论

学校读者我要写书评

暂无评论

The SCIP optimization suite 8.0

arXiv

引用

arXiv 2021年

作者： Bestuzheva, Ksenia Besançon, Mathieu Chen, Wei-Kun Chmiela, Antonia Donkiewicz, Tim Van Doornmalen, Jasper Eifler, Leon Gaul, Oliver Gamrath, Gerald Gleixner, Ambros Gottwald, Leona Graczyk, Christoph Halbig, Katrin Hoen, Alexander Hojny, Christopher Van Der Hulst, Rolf Koch, Thorsten Lübbecke, Marco Maher, Stephen J. Matter, Frederic Mühmer, Erik Müller, Benjamin Pfetsch, Marc E. Rehfeldt, Daniel Schlein, Steffan Schlösser, Franziska Serrano, Felipe Shinano, Yuji Sofranac, Boro Turner, Mark Vigerske, Stefan Wegscheider, Fabian Wellner, Philipp Weninger, Dieter Witzig, Jakob Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany School of Mathematics and Statistics Beijing Institute of Technology Beijing100081 China RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Technische Universiteit Eindhoven Department of Mathematics and Computer Science P.O. Box 513 Eindhoven5600 MB Netherlands I2DAMO GmbH Englerallee 19 Berlin14195 Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands Technische Universität Berlin Software and Algorithms for Discrete Optimization Straße des 17. Juni 135 Berlin10623 Germany Zuse Institute Berlin Department A2IM Takustr. 7 Berlin14195 Germany University of Exeter College of Engineering Mathematics and Physical Sciences Exeter United Kingdom Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany Software and Algorithms for Discrete Optimization Institute of Mathematics Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany GAMS Software GmbH C/o Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany

The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions contained in version 8.0 of the SCIP Optimization Suite. Major updates in SCIP include improvements in symmetry handling and decomposition algorithms, new cutting planes, a new plugin type for cut selection, and a complete rework of the way nonlinear constraints are handled. Additionally, SCIP 8.0 now supports interfaces for Julia as well as Matlab. Further, UG now includes a unified framework to parallelize all solvers, a utility to analyze computational experiments has been added to GCG, dual solutions can be postsolved by PaPILO, new heuristics and presolving methods were added to SCIP-SDP, and additional problem classes and major performance improvements are available in *** Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05 Copyright © 2021, The Authors. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of signal processing methods secondary surveillance radar

Comparative analysis of signal processing methods secondary ...

引用

International Conference on Radio Electronics & Info Communications (UkrMiCo)

作者： A.E. Goriushkina I.V. Svyd G.E. Zavolodko G.V. Maistrenko Department of Computer science and Programming National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Dept. Radiotechnologies Information and Communication Systems Kharkiv National University of Radio Electronics Kharkiv Ukraine Department of Information Systems National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Department of Electronic Computers Kharkiv National University of Radio Electronics Kharkiv Ukraine

ISBN: (数字)9781538652640

ISBN: (纸本)9781538652657

In the paper, based on a comparative analysis of the methods of processing time-interval codes used as secondary surveillance radar information signals consisting of a different sequence of performing joint decoding operations, selecting signals by duration and time position, it is shown that the most effective is the signal processing method in which first the signals are decoded, then the signals are selected in accordance with the duration and in the future with the selection according to the time position, which provides the lowest probability of a false alarm of the first kind.

关键词： Radar Interference Decoding Security Radar signal processing Surveillance

来源：评论

学校读者我要写书评

暂无评论

Two-Level Supply Chain of a Seasonal Deteriorating Item with Time, Price, and Promotional Cost Dependent Demand Under Finite Time Horizon

引用

American Journal of Mathematical and Management Sciences 2017年第4期36卷 292-315页

作者： Pakhira, Nilesh Maiti, Manas Kumar Maiti, Manoranjan Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University West Bengal India Department of Mathematics Mahishadal Raj College Mahishadal Purba-MedinipurWest Bengal India

SYNOPTIC ABSTRACT: In this research article, a wholesaler-retailer supply chain model is developed for a seasonal deteriorating item where demand of the item increases with time at the beginning of season, reaches a maximum level, and then decreases gradually to normal demand at the end of the season. A retailer introduces some promotional cost to boost the base demand of the item. The demand of the item also depends on the unit selling price. In the case of any shortages, the demand is partially backlogged. It is found that if a wholesaler contributes a portion of promotional cost, then joint profit, as well as individual profit, increases. The supply chain model is also analyzed in an imprecise environment when different inventory parameters are fuzzy in nature. In this case, individual and channel profits become fuzzy in nature. As optimization of a fuzzy objective is not well defined, following the credibility measure of the fuzzy event, an approach is proposed for a comparison of fuzzy objectives and a particle swarm optimization (PSO) algorithm is used to identify marketing decisions. Models are illustrated with numerical examples. © 2017 Taylor & Francis Group, LLC.

关键词： Profitability

来源：评论

学校读者我要写书评

暂无评论

A Fuzzy Inventory Model of Deteriorating Items with Stock-dependent Demand under Limited Storage Space

引用

OPSEARCH 2017年第4期35卷 323-337页

作者： Mandal, M. Roy, T. K. Maiti, M. Department of Mathematics Midnapore College Midnapore India Department of Mathematics Bengal Engineering College Deemed University Howrah India Department of applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India

A profit maximization deteriorating multi-item inventory model with stock-dependent demand is developed in fuzzy environment. Here, the available space for inventory storage is limited, holding cost and selling price are purchasing price dependent and the rate of production is finite and uniform. The fuzzy environment is created making the inventory costs, purchasing price, storage area and the rate of deterioration imprecise and vague to certain extent. The impreciseness of these parameters are expressed by linear and non-linear membership functions. The fuzzy model is solved by fuzzy non-linear programming (FNLP) method and illustrated with a numerical example. The results of the fuzzy model are compared with those of the crisp model. Parametric study of the model and its sensitivity with respect to some parameters are presented.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Two layers green supply chain imperfect production inventory model under bi-level credit period

引用

Tékhne 2017年第2期15卷 124-142页

作者： A.K. Manna B. Das J.K. Dey S.K. Mondal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India Department of Mathematics Sidho-Kanho-Birsha University Purulia India Department of Mathematics Mahishadal Raj College Mahishadal India

This article focuses on an integrated production inventory model with rework of the imperfect units and stock dependent demands of the customer from several retailers. There is an opportunity to build a model to measure the amount of carbon emissions during the time of production and the corresponding rate of carbon emission parameters are random which follows Beta distribution. Here, the rate of imperfectness is assumed to be a function of time and production rate. In this paper, a manufacturer–retailer–customer chain system is developed in which the retailer gets an upstream trade credit period from the manufacturer and retailers offer a downstream trade credit period to customers to stimulate demand as well as sales and reduce inventory. The model has been developed as a profit maximization problem with respect to the manufacturer and retailers. Finally, several numerical examples and sensitivity analysis are provided to illustrate the model.

关键词： D24 D81 Supply chain Imperfect production Inventory Random carbon-emission Bi-level credit period

来源：评论

学校读者我要写书评

暂无评论

Multi-choice stochastic bi-level programming problem in cooperative nature via fuzzy programming approach

引用

Journal of Industrial Engineering International 2016年第3期12卷 287-298页

作者： Maiti, Sumit Kumar Roy, Sankar Kumar School of Applied Sciences and Humanities Haldia Institute of Technology Purba Midnapore Haldia 721 157 India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 India

In this paper, a Multi-Choice Stochastic Bi-Level programming Problem (MCSBLPP) is considered where all the parameters of constraints are followed by normal distribution. The cost coefficients of the objective functions are multi-choice types. At first, all the probabilistic constraints are transformed into deterministic constraints using stochastic programming approach. Further, a general transformation technique with the help of binary variables is used to transform the multi-choice type cost coefficients of the objective functions of Decision Makers(DMs). Then the transformed problem is considered as a deterministic multi-choice bi-level programming problem. Finally, a numerical example is presented to illustrate the usefulness of the paper. © 2016, The Author(s).

关键词： Bi-level programming Fuzzy programming Multi-choice programming Non-linear programming Stochastic programming

来源：评论

学校读者我要写书评

暂无评论

Relations of attention and meditation level with learning in engineering education

Relations of attention and meditation level with learning in...

引用

International Conference on Electronics, computers and Artificial Intelligence (ECAI)

作者： Büşra Ülker Mehmet Barış Tabakcıoğlu Hüseyin Çizmeci Doruk Ayberkin Electrical-Electronics Engineering Department Bursa Technical University Bursa Turkey Computer Programming Department Hitit University Çorum Turkey Bayburt University Bayburt Turkey

Neurons use electricity in order to communicate to each other. Due to numerous signals sent by neurons, there are oodles of electrical activity in the brain. Sensitive equipment like electroencephalogram (EEG) biosensor perceives the brainwaves emanated from neurons. Beta waves are responsible for problem solving or decision making and associated with attention. Alpha waves are associated with now and meditation. Neurosky EEG biosensor perceives the brainwaves and transforms these brainwaves into attention and meditation values. In this study, Neurosky EEG biosensor is used for measuring the attention and meditation levels of students. A program is developed in C# medium. The developed program records raw brainwave data, attention and meditation average while the students are studying. As the attention and meditation levels are high, the students learn the subjects in the course. If predetermined meditation and attention level are not caught, the developed program does not give permission to pass to another subject. Because of that the students have less meditation and attention average than the predetermined value; they get fewer grades in the exam.

关键词： Electroencephalography Biosensors Neurons Rhythm Robot sensing systems Brain-computer interfaces Games

来源：评论

学校读者我要写书评

暂无评论

Synchrony versus causality in distributed systems

Synchrony versus causality in distributed systems

引用

作者： Peters, Kirstin Schicke-Uffmann, Jens-Wolfhard Goltz, Ursula Nestmann, Uwe School of Electrical Engineering and Computer Science TU Berlin Germany Institute for Programming and Reactive Systems TU Braunschweig Germany

Given a synchronous system, we study the question whether - or, under which conditions - the behaviour of that system can be realized by a (non-trivially) distributed and hence asynchronous implementation. In this paper, we partially answer this question by examining the role of causality for the implementation of synchrony in two fundamental different formalisms of concurrency, Petri nets and the π-calculus. For both formalisms it turns out that each 'good' encoding of synchronous interactions using just asynchronous interactions introduces causal dependencies in the translation. © Cambridge University Press 2014.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：