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

L(0,1)-labelling of Permutation Graphs

Journal of Mathematical Modelling and Algorithms in Operations Research 2015年第4期14卷 469-479页

作者： Paul, Satyabrata Pal, Madhumangal Pal, Anita Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 India Department of Mathematics National Institute of Technology Durgapur Durgapur 713209 India

L(0,1)-labelling of a graph G=(V,E) is a function f from the vertex set V(G) to the set of non-negative integers such that adjacent vertices get number zero apart, and vertices at distance two get distinct numbers. The goal of L(0,1)-labelling problem is to produce a legal labelling that minimize the largest label used. In this article, it is shown that, for a permutation graph G with maximum vertex degree Δ, the upper bound of λ_0,1(G) is Δ−1. Finally, we prove that the result is exact for bipartite permutation graph. © 2015, Springer Science+Business Media Dordrecht.

关键词： Frequency assignment problem L(0,1)-labelling Permutation graph

来源：评论

学校读者我要写书评

暂无评论

Numerical method for real root isolation of semi-algebraic system and its applications

引用

Journal of Computational and Theoretical Nanoscience 2016年第1期13卷 803-811页

作者： Ji, Zhenyi Wu, Wenyuan Feng, Yong Li, Yi Qin, Xiao Lin Sichuan Agricultural University Chengdu611830 China Chongqing Key Laboratory of Automated Reasoning and Cognition Chongqing Institute of Green and Intelligent Technology Chinese Academy of Science Chongqing400714 China Laboratory of Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Science Chengdu610041 China

In this paper, based on the homotopy continuation method and the interval Newton method, an efficient algorithm is introduced to isolate the real roots of semi-algebraic system. Tests on some random examples and a variety of problems including transcendental functions arising in many applications show that the new algorithm reduces the cost substantially compared with the traditional symbolic approaches. © 2016 American Scientific Publishers All rights reserved.

关键词： Numerical methods

来源：评论

学校读者我要写书评

暂无评论

Block group preserving correction methods for differential algebraic equations with multiple constraints

引用

Journal of Computational and Theoretical Nanoscience 2016年第7期13卷 4042-4049页

作者： Lu, Jianguang Qin, Xiaolin Feng, Yong Tang, Juan Laboratory of Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Science Chengdu610041 China Chongqing Key Laboratory of Automated Reasoning and Cognition Chongqing Institute of Green and Intelligent Technology Chinese Academy of Science Chongqing400714 China University of Chinese Academy of Science Beijing100049 China

In this paper, we combine the Euler scheme with the block group preserving methods to obtain the high accuracy block group preserving techniques. High index differential algebraic equations (DAEs) may have hidden algebraic constraints. To solve the high-index DAEs or DAEs with multiple constraints, we propose block group preserving correction scheme (BGPCS) via exponential mapping and block modified group preserving correction scheme (BMGPCS) by considering multiple constraints. We block the nonlinear dynamical system with m constraints into m subsystems. Each subsystem uses group preserving correction scheme (GPCS) and modified group preserving correction scheme (MGPCS). Moreover, we give two necessary conditions of the block methods. The schemes provide single-step explicit time integrators for systems of DAEs. Some numerical examples are examined, showing that the BMGPCS works very well and the merits of the computational efficiency and accuracy of the method can be confirmed. © 2016 American Scientific Publishers All rights reserved.

关键词： Nonlinear dynamical systems

来源：评论

学校读者我要写书评

暂无评论

Interval Oriented Entropy Based Multi-item Solid Transportation Problem with Budget and Breakability

引用

International Journal of Applied and Computational Mathematics 2015年第2期1卷 279-292页

作者： Baidya, Abhijit Bera, Uttam Kumar Maiti, Manoranjan Department of Mathematics National Institute of Technology Agartala Jirania 799055 West Tripura India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 WB India

To maximization the total profit and minimization the total cost we investigate two transportation models with interval transportation parameters and we present a solution of our newly developed models using appropriate methods. The solid transportation problem has been formulated with and without interval entropy function defined by Shannon’s measure of entropy. Also an additional constraint on the total budget at each destination is imposed. When we transport the goods from plants to destination then few items should be damage due to bad condition of route and vehicles, for this reason we introduce the breakability in our respective models. We employ two different approaches (Hu and Wang’s Approach and Mahato and Bhunia’s Approach) based on interval ranking and made a comparison on it. To convert the multi-objective programming problem into single-objective problem we apply weighted sum method. The models are illustrated with numerical examples and solved using the LINGO.13 optimization software. The results of the models with and without entropy are also obtained and compared. © 2014, Springer India Pvt. Ltd.

关键词： Breakability Budget constraint Entropy function Interval order relation Solid transportation problem (STP) Weighted sum method

来源：评论

学校读者我要写书评

暂无评论

Processing of Fuzzy Queries and Software Implementation to a Relational Database of Wholesale and Retail Commercial Enterprises

引用

Procedia computer Science 2016年 102卷 490-494页

作者： Kenan Kilic Tarlan Abdullayev Ramiz Alakbarov Nuray Kilic Department of Computer Engineering Qafqaz University Baku AZ0101 Azerbaijan Department of ScientificbAffairs Odlar Yurdu University Baku AZ1072 Azerbaijan Information Technology and Programming Azerimed Ltd AZ1147 Azerbaijan Department of Business Administration Qafqaz University Baku AZ0101 Azerbaijan

In the article the detection of “missing” or “hidden” data during the processing of the well-defined queries to database is discussed and on terms of quality the importance is justified, the article also covers or... 详细信息

关键词： Information systems relational databases fuzzy queries SQL queries fuzzy association

来源：评论

学校读者我要写书评

暂无评论

RFID and XBee based automated verification of put-away operation for Warehouse Management Systems

RFID and XBee based automated verification of put-away opera...

引用

International Conference on Intelligent Systems Design and Applications (ISDA)

作者： Burcu Bektaş Hayriye Korkmaz Department of Computer Programming Istanbul Gedik University Istanbul TURKEY Faculty of Technology Marmara University Istanbul TURKEY

ISBN: (纸本)9781467387101

This study proposes a system using RFID and XBee technology to address and eliminate the problems resulting from human errors in put-away operations. The human errors in such operations are a serious problem that leads to a number of difficulties in production lines and supply-chain. The use of automated verification system in put-away operations in warehouses is rather rare. Therefore, the study draws from Information Technologies. Three modules - warehouse, racks, and forklifts - have been designed to ensure automated verification of error-free placement of goods. Also, a user interface is developed in Visual Studio C#.Net and SQL server is used for database management system. The developed system also provides monitoring of all steps of operation and enables real-time checking and supervision. Thus, it offers a reliable and transparent operation system, significantly contributes to effective management of supply chain and helps to improve high quality of fast and correct product delivery by minimizing the human errors. Thus, the study highlights the importance of automated verification system for an effective management of supply chain practices by establishing coordination among rack, forklift, warehouse modules, operator and product.

关键词： Universal Serial Bus Lead Monitoring Servers Tagging Cryptography Legged locomotion

来源：评论

学校读者我要写书评

暂无评论

An EPQ Model of Deteriorating Items under Partial Trade Credit Financing and Demand Declining Market in Crisp and Fuzzy Environment

引用

Procedia computer Science 2015年 45卷 780-789页

作者： P. Majumder U.K. Bera M. Maiti Department Of Mathematics National Institute of Technology Agartala Barjala Jirania pin:- 799055 Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 India

In this manuscript, an Economic production quantity (EPQ) model have been formulated for deteriorating items under partial trade credit policy with crisp and fuzzy demand. For fuzzy demand we take demand as a triangular fuzzy number & we consider upper α 1 − cut & lower α 1 − cut of this fuzzy number. Then the annual inventory cost of retailer is divided into two parts upper α 1 − cut of annual inventory cost & lower α 1 − cut of annual inventory cost. We use weighted sum method to convert multi objective to a single objective. Here we have to derive optimum cycle time so as to minimize the total average cost. Numerical examples are used to illustrate all results obtained in this paper. Finally the model is solved by Generalized Reduced Gradient(GRG) method and using LINGO(12) software.

关键词： EPQ deterioration partial trade credit fuzzy demand.

来源：评论

学校读者我要写书评

暂无评论

Including gap junctions into distributed neuronal network simulations 1

引用

2nd International Workshop on Brain-Inspired Computing, BrainComp 2015

作者： Hahne, Jan Helias, Moritz Kunkel, Susanne Igarashi, Jun Kitayama, Itaru Wylie, Brian Bolten, Matthias Frommer, Andreas Diesmann, Markus School of Mathematics and Natural Sciences University of Wuppertal Wuppertal Germany and JARA BRAIN Institute I Jülich Research Centre Jülich Germany RIKEN Advanced Institute for Computational Science Programming Environment Research Team Kobe Japan Department of Computational Science and Technology School of Computer Science and Communication KTH Royal Institute of Technology Stockholm Sweden Simulation Laboratory Neuroscience Bernstein Facility for Simulation and Database Technology Institute for Advanced Simulation Jülich Aachen Research Alliance Jülich Research Centre Jülich Germany Okinawa Institute of Science and Technology Neural Computation Unit Okinawa Japan Laboratory for Neural Circuit Theory RIKEN Brain Science Institute Wako Japan HPC Usability Research Team RIKEN Advanced Institute for Computational Science Kobe Japan Jülich Supercomputing Centre Jülich Research Centre Jülich Germany Institut für Mathematik Universität Kassel Kassel Germany Department of Psychiatry Psychotherapy and Psychosomatics Medical Faculty RWTH Aachen University Aachen Germany Department of Physics Faculty 1 RWTH Aachen University Aachen Germany

ISBN: (数字)9783319508627

ISBN: (纸本)9783319508610

Contemporary simulation technology for neuronal networks enables the simulation of brain-scale networks using neuron models with a single or a few compartments. However, distributed simulations at full cell density are still lacking the electrical coupling between cells via so called gap junctions. This is due to the absence of efficient algorithms to simulate gap junctions on large parallel computers. The difficulty is that gap junctions require an instantaneous interaction between the coupled neurons, whereas the efficiency of simulation codes for spiking neurons relies on delayed communication. In a recent paper [15] we describe a technology to overcome this obstacle. Here, we give an overview of the challenges to include gap junctions into a distributed simulation scheme for neuronal networks and present an implementation of the new technology available in the NEural Simulation Tool (NEST 2.10.0). Subsequently we introduce the usage of gap junctions in model scripts as well as benchmarks assessing the performance and overhead of the technology on the supercomputers JUQUEEN and K computer. © Springer International Publishing AG 2016.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

Research on the multidimensional educational review strategy Based on MOOCs Integrated by the multidimensional learning theory

Research on the multidimensional educational review strategy...

引用

2015 World Congress on Engineering and computer Science, WCECS 2015

作者： Ming, Li Ju, Zhang Jingzhong, Zhang Lian, Chen High Performance Computing Application R and D Center Chongqing Institute of Green and Intelligent Technology Chinese Academy of Sciences Chongqing China Automated Reasoning and Cognition Key Laboratory of Chongqing Chongqing Institute of Green and Intelligent Technology Chinese Academy of Sciences Chongqing China Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu China

ISBN: (纸本)9789881925367

Through a detailed analysis of the theoretical basis for MOOCs in terms of educational learning theories, this paper attempts at finding the corresponding relationship between the theories and MOOCs, which not only theoretically explains the reasons why MOOCs exceed all the previous education models, but also empirically proves it with voluminous facts and data. The author conducts this research in the hope of enlightening the online education platform of other types. Besides, this paper provides the model framework and strategy to multidimensional educational review based on MOOCs. The model and strategy are applicable not only to MOOCs, the large-scale online education, but also to various online education platforms.

关键词： E-learning

来源：评论

学校读者我要写书评

暂无评论

Cyber-Physical-Social System Self-Organization: Ontology-Based Multi-level Approach and Case Study

Cyber-Physical-Social System Self-Organization: Ontology-Bas...

引用

International Conference on Self-Adaptive and Self-Organizing Systems (SASO)

作者： Alexander Smirnov Alexey Kashevnik Nikolay Shilov Information technology and programming department ITMO University St.Petersburg Russia Laboratory of Computer Aided Integrated Systems SPIIRAS St.Petersburg Russia

This paper presents a multi-level approach for self-organization of in cyber-physical system resources. Cyber-physical system consists of physical part and cyber part. For implementation of joint actions by devices in physical part, they have to interact in cyber part. It is proposed to use the smart space technology for exchange information between these devices in cyber part of cyber-physical system. Smart Space -- is a computational environment consisting of multiple heterogeneous services (electronic and computational devices, Internet pages, data based, etc.) which has intelligent behavior, can proactively provide information taking into account current situation. Smart spaces allow unifying different levels of services, implement self-organization of services in each level, and providing politics from upper to lower level. Self-organization on every level is implemented based on ontology-based context management techniques and ontology matching method that provides semantic interoperability between interacted robots. Discussed in the paper case study solve the task of self-organization three types of robots based on politics from operation planning services and context situation in smart space. For the scenario implementation the Smart-M3 information sharing platform is used. It provides easy-to-use interfaces for information sharing through the RDF ontologies and publish / subscribe mechanism for connected services.

关键词： Ontologies Robots Semantics Information management Organizations Interoperability Pipelines

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：