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

arXiv 2019年

作者： Löffler, Sven Liu, Ke Hofstedt, Petra Brandenburg University of Technology Cottbus-Senftenberg Germany Department of Mathematics and Computer Science MINT Programming Languages and Compiler Construction Group Konrad-Wachsmann-Allee 5 Cottbus03044 Germany

This paper describes a new approach on optimization of constraint satisfaction problems (CSPs) by means of substituting sub-CSPs with locally consistent regular membership constraints. The purpose of this approach is to reduce the number of fails in the resolution process, to improve the inferences made during search by the constraint solver by strengthening constraint propagation, and to maintain the level of propagation while reducing the cost of propagating the constraints. Our experimental results show improvements in terms of the resolution speed compared to the original CSPs and a competitiveness to the recent tabulation approach [1,12]. Besides, our approach can be realized in a preprocessing step, and therefore wouldn't collide with redundancy constraints or parallel computing if implemented. Copyright © 2019, The Authors. All rights reserved.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

Optimum Production for a heaped stock dependent breakable item through variational principle

arXiv

引用

arXiv 2020年

作者： Roul, J.N. Maity, K. Kar, S. Maiti, M. Patha Bhavana Visva-Bharati SantiniketanWest Bengal731235 India Department of Mathematics Mugberia Gangadhar Mahavidyalaya Bhupatinagar Purba MedinipurW.B.721425 India Department of Mathematics National Institute of Technology DurgapurW.B.713209 India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University MidnaporeW.B.711201 India

Breakability rate of fragile item depends on the accumulated stress of heaped stock level. So breakablility rate can be considered as dependent parameter of stock variable. The unit production cost is a function of production rate and also dependent on raw material cost, development cost and wear-tear cost. The holding cost is assumed to be non-linear, dependent on time. Here optimal control problem for a fragile item under finite time horizon is considered. The profit function which consists of revenue, production and holding costs is formulated as a Fixed-Final Time and Fixed State System(cf. Naidu (2000)[8]) optimal control problem with finite time horizon. Here production rate is unknown and considered as a control variable and stock level is taken as a state variable. It is formulated to optimize the production rate so that total profit is maximum. As particular cases, models are evaluated with and without breakability. The models are solved by using conventional Variational Principle along with the non-linear optimization technique-Generalised Reduced Gradient Method (LINGO 12.0). The optimum results are illustrated both numerically and graphically. Some sensitivity analysis on breakability coefficient are presented. Copyright © 2020, The Authors. All rights reserved.

关键词： Optimal control systems

来源：评论

学校读者我要写书评

暂无评论

Application of Interval Type-2 Fuzzy Logic to polypropylene business policy in a petrochemical plant in India

引用

Journal of the Saudi Society of Agricultural Sciences 2018年第1期17卷 24-42页

作者： Jana, Dipak Kumar Castillo, Oscar Pramanik, Sutapa Maiti, Manoranjan Department of Engineering Science Haldia Institute of Technology Haldia Purba Midnapur 721 657 West Bengal India Tijuana Institute of Technology Tijuana Mexico Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 West Bengal India

This paper presents a new approach to predict the quality of polypropylene in petrochemical plants. The proposed approach constructs four different models, based on a large number of data collected from a renowned petrochemical plant in India and uses it to predict the polypropylene quality. The quality of polypropylene depends on the indices such as melt flow index and the xylene solubility of the product and the parameters controlling these two indices are hydrogen flow, donor flow, pressure and temperature of polymerization reactors. Mamdani Interval Type-2 Fuzzy Logic inference systems are formed for first time. The model outcomes are compared with the collected plant data and a sequence of sensitivity analysis elects the most suitable model from them. Some sensitivity analyses are provided using Fuzzy C-Means Clustering to the models. © 2015 The Authors

关键词： Fuzzy C-Means Clustering Fuzzy inference system Interval Type-2 Fuzzy Logic Polypropylene Product quality

来源：评论

学校读者我要写书评

暂无评论

Dynamics of a predator-prey model with stage-structure on both species and anti-predator behavior

引用

Informatics in Medicine Unlocked 2018年 10卷 50-57页

作者： Mortoja, Sk Golam Panja, Prabir Mondal, Shyamal Kumar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 W.B. India Department of Applied Science Haldia Institute of Technology Purba Midnapore Haldia 721657 W.B. India

In this paper, we have formulated and studied a stage-structure predator-prey model. Here, we consider stage-structure on both prey as well as predator population which means that the prey population is divided into two sub populations such as juvenile prey and adult prey, on the other hand, the predator population is also divided into two sub populations such as juvenile predator and adult predator. It is assumed that only adult predator have the ability to predation and they consume both juvenile prey as well as adult prey. Here, it is also considered that the growth rate of juvenile prey depends upon the adult prey population i.e., the juvenile prey has no reproduction capability. Also, Holling II and Holling IV response function have been used for the consumption of juvenile prey and adult prey by adult predator respectively. It is also considered two types of factors such as anti-predator behavior and group defense to formulate our proposed model. Mathematically, we have analyzed the positivity and boundedness of solutions, existence of equilibria, stability of the proposed system around these equilibrium points and Hopf bifurcation of interior equilibrium point. Finally, some numerical simulations have been presented to validate our theoretical results. © 2017

关键词： Anti-predator behavior Group defense Holling IV response function Prey-predator model Stability analysis Stage-structure

来源：评论

学校读者我要写书评

暂无评论

Dynamics of a predator-prey model with nonlinear incidence rate, Crowley-Martin type functional response and disease in prey population

引用

Ecological Genetics and Genomics 2019年 10卷

作者： Mortoja, Sk Golam Panja, Prabir Mondal, Shyamal Kumar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 WB India Department of Applied Science Haldia Institute of Technology Haldia Purba Midnapore 721657 WB India

In this paper, a delayed predator-prey model has been developed. Here, on the basis of infectious disease, the prey population has been divided into two sub-populations such as (i) susceptible prey and (ii) infected prey population. It is also assumed that a predator may consume both susceptible prey as well as infected prey. Also here, the Crowley-Martin type functional form has been taken to consume the prey (both susceptible and infected) population by the predator. It also considers two types of time delays in this model, (i) one is disease transmission delay when susceptible prey moves to infected prey stage and (ii) other is predator maturation delay. As the predator consumes both susceptible and infected prey, so we have incorporated the fact in this model that disease in the prey species also effect on predator population growth. Here, positivity and boundedness of solutions of our proposed model have been discussed. Then calculating different equilibrium points, the stability of the system have been discussed around those. In this paper, the Hopf bifurcation analysis has been done for non-delayed system with respect to the crowding coefficient. Finally, some numerical simulations have been presented to validate our theoretical findings. © 2018 Elsevier Inc.

关键词： Crowley-Martin functional response Hopf bifurcation Nonlinear incidence rate Predator-prey model Stability analysis Time delay

来源：评论

学校读者我要写书评

暂无评论

Using the Model of a Functional Rationalizer of Consumer Behavior in Recommendation Systems for Managing the Transport Activity of the Urban Population

Using the Model of a Functional Rationalizer of Consumer Beh...

引用

International Conference on Soft Computing and Measurements (SCM)

作者： Yaroslav A. Seliverstov Svytoslav A. Seliverstov Nikolay V. Podoprigora Alexey L. Starichenkov Roman S. Naryshkin Laboratory of Intelligent Transport Systems Solomenko Institute of Transport Problems of the Russian Academy of Sciences Institute of Computer Science and Technology Peter the Great St.Petersburg Polytechnic University St. Petersburg Russian Federation Department of Ground Transportation Technological Machines Saint Petersburg State University of Architecture and Civil Engineering St. Petersburg Russian Federation Department of Ship Control Systems Saint Petersburg Electrotechnical University “LETI” St. Petersburg Russian Federation Department of Programming Technology Saint Petersburg State University St. Petersburg Russian Federation

ISBN: (数字)9781728196923

ISBN: (纸本)9781728196930

An overview of existing urban software mobile applications of the transport and economic direction is given. A model of a functional rationalizer of consumer behavior is being built. The software model of the functional rationalizer of consumer behavior (SM FRCB) was developed for the first time. PMFRCB allows the user to expand the number of his preferred needs (occupations, activities) during the daily cycle through intelligent recommendations. Also, SM FRCB allows you to optimize needs (activities, activities) at the cost and rate of their use. The SM FRCB is made in Python_3 using the libraries matplotlib, collections, numpy, pyplot, mplot3d. The analysis of consumer behavior before and after using the functional rationalizer model is carried out. The graphical results of a structural analysis of the costs of old and new consumer behavior, analysis of consumer behavior within the boundaries of the theory of possibilities and the model of transport behavior of a resident before and after applying the functional rationalizer model are presented. The prospects of further improving the SM FRCB are considered.

关键词： Consumer behavior Mobile applications Sociology Statistics Logistics Analytical models Software

来源：评论

学校读者我要写书评

暂无评论

The SCIP Optimization Suite 9.0

arXiv

引用

arXiv 2024年

作者： Bolusani, Suresh Besançon, Mathieu Bestuzheva, Ksenia Chmiela, Antonia Dionísio, João Donkiewicz, Tim van Doornmalen, Jasper Eifler, Leon Ghannam, Mohammed Gleixner, Ambros Graczyk, Christoph Halbig, Katrin Hedtke, Ivo Hoen, Alexander Hojny, Christopher van der Hulst, Rolf Kamp, Dominik Koch, Thorsten Kofler, Kevin Lentz, Jurgen Manns, Julian Mexi, Gioni Mühmer, Erik Pfetsch, Marc E. Schlösser, Franziska Serrano, Felipe Shinano, Yuji Turner, Mark Vigerske, Stefan Weninger, Dieter Xu, Liding Gaul, Oliver Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany Université Grenoble Alpes Inria LIG Grenoble38000 France CMUP Department of Computer Science Faculty of Sciences University of Porto R Campo Alegre Porto4169-007 Portugal RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Eindhoven University of Technology Department of Mathematics and Computer Science P.O. Box 513 Eindhoven5600 MB Netherlands Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany Schenker AG Global Data & AI Kruppstr. 4 Essen45128 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands University of Bayreuth Universitaetsstr. 30 Bayreuth95440 Germany Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany Zuse Institute Berlin Department A2IM Takustr. 7 Berlin14195 Germany DAGOPT Optimization Technologies GmbH Austria Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany Fair Isaac Germany GmbH Takustr. 7 Berlin14195 Germany COPT GmbH Berlin Germany GAMS Software GmbH c/o Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Mathematics Cauerstr. 11 Erlangen91058 Germany École polytechnique LIX CNRR Rue Honoré d’Estienne d’Orves. 1 Palaiseau9120 France

MSC Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This report discusses the enhancements and extensions included in SCIP Optimization Suite 9.0. The updates in SCIP 9.0 include improved symmetry handling, additions and improvements of nonlinear handlers and primal heuristics, a new cut generator and two new cut selection schemes, a new branching rule, a new LP interface, and several bugfixes. SCIP Optimization Suite 9.0 also features new Rust and C++ interfaces for SCIP, new Python interface for SoPlex, along with enhancements to existing interfaces. SCIP Optimization Suite 9.0 also includes new and improved features in the LP solver SoPlex, the presolving library PaPILO, the parallel framework UG, the decomposition framework GCG, and the SCIP extension SCIP-SDP. These additions and enhancements have resulted in an overall performance improvement of SCIP in terms of solving time, number of nodes in the branch-and-bound tree, as well as the reliability of the solver. Copyright © 2024, The Authors. All rights reserved.

关键词： Mixed-integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Collaborative Filtering Method with the use of Production Rules

Collaborative Filtering Method with the use of Production Ru...

引用

International Conference on Computational Intelligence and Knowledge Economy (ICCIKE)

作者： Amin Salih Mohammed Yelyzaveta Meleshko Saravana Balaji B Semenov Serhii Dept of Computer Engineering Lebanese French University Salahaddin University Erbil KR-Iraq Dept of Cyber Security & Software Central Ukrainian National Technical University Kropyvnytskyi Ukraine Dept of Information Technology Lebanese French University Erbil KR-Iraq Dept of Computer Science and Programming National Technical University (Kharkiv Polytechnic Institute) Ukraine

ISBN: (数字)9781728137780

ISBN: (纸本)9781728137797

this paper proposes a new collaborative filtering method with the calculation of unknown similarity coefficients between users via the application of production rules, which aims to improve the work quality of recommendation systems, to develop of production rules for the developed system. The methods used are: graph theory, the theory of algorithms, mathematical statistics, object-oriented programming, and fuzzy logic. The developed systems are new collaborative filtering method with the definition of unknown similarity coefficients between users through the application of production rules was developed, software for the implementation and testing of this method was developed, experiments on the developed software was conducted. The production rules to determine unknown similarity coefficients in recommendation systems was proposed. The new method of collaborative filtering with the application of production rules has been developed to find unknown similarity coefficients between users that may be possibly used to improve the work quality of the recommendation system. The conducted experiments showed that the developed method enhances the quality indicators of the recommendation system, such as item space coverage and the total number of predicted preferences of users.

关键词： Collaboration Production Information filters Computational intelligence Software

来源：评论

学校读者我要写书评

暂无评论

Enabling Research through the SCIP Optimization Suite 8.0

arXiv

引用

arXiv 2023年

作者： 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 ZIB-AIS2T Germany School of Mathematics and Statistics Beijing Institute of Technology Beijing100081 China RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Eindhoven University of Technology Department of Mathematics and Computer Science Netherlands ZIB-AIS2T I2DAMO GmbH Englerallee 19 Berlin14195 Germany ZIB-AIS2T HTW Berlin 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 ZIB Department A2IM Takustr. 7 Berlin14195 Germany RWTH Aachen-Lehrstuhl für OR Germany University of Exeter College of Engineering Mathematics and Physical Sciences Exeter United Kingdom Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany TU Darmstadt Fachbereich Mathematik Germany ZIB-A2IM Germany TU Berlin Germany ZIB-A2IM Software and Algorithms for Discrete Optimization Institute of Mathematics TU Berlin Germany GAMS Software GmbH c/o ZIB-AIS2T Germany

The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. The focus of this paper is on the role of the SCIP Optimization Suite in supporting research. SCIP's main design principles are discussed, followed by a presentation of the latest performance improvements and developments in version 8.0, which serve both as examples of SCIP's application as a research tool and as a platform for further developments. Further, the paper gives an overview of interfaces to other programming and modeling languages, new features that expand the possibilities for user interaction with the framework, and the latest developments in several extensions built upon *** Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05 Copyright © 2023, The Authors. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：