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

<i>L</i>(0, 1)-Labelling of Cactus Graphs

Communications and Network 2012年第1期4卷 18-29页

作者： Nasreen Khan Madhumangal Pal Anita Pal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India Department of Mathematics National Institute of Technology Durgapur Durgapur India

An L(0,1)-labelling of a graph G is an assignment of nonnegative integers to the vertices of G such that the difference between the labels assigned to any two adjacent vertices is at least zero and the difference between the labels assigned to any two vertices which are at distance two is at least one. The span of an L(0,1)-labelling is the maximum label number assigned to any vertex of G. The L(0,1)-labelling number of a graph G, denoted by λ0.1(G) is the least integer k such that G has an L(0,1)-labelling of span k. This labelling has an application to a computer code assignment problem. The task is to assign integer control codes to a network of computer stations with distance restrictions. A cactus graph is a connected graph in which every block is either an edge or a cycle. In this paper, we label the vertices of a cactus graph by L(0,1)-labelling and have shown that, △-1≤λ0.1(G)≤△ for a cactus graph, where △ is the degree of the graph G.

关键词： Graph Labelling Code Assignment L(0 1)-Labelling Cactus Graph

来源：评论

学校读者我要写书评

暂无评论

Advances in Theory and Practice of Computational Mechanics 1

引用

丛书名： Smart Innovation, Systems and Technologies

1000年

作者： Lakhmi C. Jain Margarita N. Favorskaya Ilia S. Nikitin Dmitry L. Reviznikov

ISBN: (数字)9789811526008

ISBN: (纸本)9789811525995;9789811526022

This book discusses physical and mathematical models, numerical methods, computational algorithms and software complexes, which allow high-precision mathematical modeling in fluid, gas, and plasma mechanics; general mechanics; deformable solid mechanics; and strength, destruction and safety of structures. These proceedings focus on smart technologies and software systems that provide effective solutions to real-world problems in applied mechanics at various multi-scale levels. Highlighting the training of specialists for the aviation and space industry, it is a valuable resource for experts in the field of applied mathematics and mechanics, mathematical modeling and information technologies, as well as developers of smart applied software systems.

关键词： Computational Intelligence Control, Robotics, Mechatronics Biomechanics Classical Mechanics Aerospace technology and Astronautics

来源：评论

学校读者我要写书评

暂无评论

The ToolBus coordination architecture: A demonstration 5th

The ToolBus coordination architecture: A demonstration

引用

5th International Conference on Algebraic Methodology and Software technology, AMAST 1996

作者： Klint, P. Olivier, P. Department of Software Technology Centre for Mathematics and Computer Science P.O. Box 4079 Amsterdam1009 AB Netherlands Programming Research Group University of Amsterdam P.O. Box 41882 Amsterdam1009 DB Netherlands

The ToolBus is a generic software architecture for building heterogeneous, distributed, systems. We demonstrate several applications that have been implemented using the ToolBus technology. © Springer-Verlag Berl... 详细信息

ISBN: (纸本)9783540614630

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A hybrid shared memory execution model for a data parallel language with I/O

A hybrid shared memory execution model for a data parallel l...

引用

作者： Grelck, Clemens Kuthe, Steffen Scholz, Sven-Bodo Institute of Software Technology and Programming Languages University of Lübeck Ratzeburger Allee 160 23538 Lübeck Germany Department of Computer Science University of Hertfordshire College Lane Hatfield AL10 9AB United Kingdom

We propose a novel execution model for the implicitly parallel execution of data parallel programs in the presence of general I/O operations. This model is called hybrid because it combines the advantages of the standard execution models fork/join and SPMD. Based on program analysis the hybrid model adapts itself to one or the other on the granularity of individual instructions. We outline compilation techniques that systematically derive the organization of parallel code from data flow characteristics aiming at the reduction of execution mode switches in general and synchronization/communication requirements in particular. Experiments based on a prototype implementation show the effectiveness of the hybrid execution model for reducing parallel overhead. © 2008 World Scientific Publishing Company.

关键词： Input output programs

来源：评论

学校读者我要写书评

暂无评论

Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning 3rd

引用

3rd International Conference on Logic programming, ICLP 1986

作者： Goebel, Randy Furukawa, Koichi Poole, David Logic Programming and AI Group Department of Computer Science University of Waterloo WaterlooN2L 3GI Canada First Research Laboratory Inst. for New Generation Computer Technology 21F Mita Kokusai Bldg Minato-ku Tokyo108 Japan

ISBN: (纸本)9783540164920

If one desires that an automatic theory formation program detect inconsistency in a set of hypotheses, the Horn clause logic of Prolog is unsuitable as no contradiction is derivable. Full first order logic provides a suitably expressive alternative, but then requires a full first order theorem-prover as the basic theory construction mechanism. Here we present an alternative for augmenting definite clauses with the power to express potentially inconsistent scientific theories. The alternative is based on a partitioning of definite clauses into two categories: ordinary assertions, and integrity constraints. This classification provides the basis for a simple theory formation program. We here describe such a theory formation system based on Prolog, and show how it provides an interesting reformulation of rule-based diagnosis systems like MYCIN. © 1986, Springer-Verlag.

关键词： PROLOG (programming language)

来源：评论

学校读者我要写书评

暂无评论

Optimization of industrial processes in reactors

Optimization of industrial processes in reactors

引用

2nd International Conference on Key Engineering Materials and computer Science, KEMCS 2013

作者： Berdiyeva, Meruyert Ospanova, Aiman Othman, Mohamed Department of Computer engineering and Software programming South Kazakhstan State University Tauke khan avenue 5 Shymkent 160012 Kazakhstan Dept of Communication Technology and Network Universiti Putra Malaysia 43400 UPM Serdang Selangor D.E Malaysia

ISBN: (纸本)9783037857274

In the conditions of industrial production many processes of polymerisation are nonstationary. By processes optimization with the regard for such features as basic data it is necessary to use adaptive algorithms of identification, allowing mathematical model of process continuously to be adapted for changing conditions of operation. Use of such algorithms for process optimization demands periodic recalculation of optimum technological modes of process. Polymer reaction engineering is a discipline that deals with various problems concerning the fundamental nature of chemical and physical phenomena in polymerization processes. Mathematical modeling is a powerful tool for the development of process understanding and advanced reactor technology in the polymer industry. © (2013) Trans Tech Publications, Switzerland.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

IGIP: a framework towards open-ended visual programming

IGIP: a framework towards open-ended visual programming

引用

IEEE Symposium on Visual Languages

作者： F. Van Reeth E. Flerackers T. D'Hondt Lab. for Appl. Comput. Sci. Limburgs Univ. Centre Diepenbeck Belgium Laboratory for Applied Computer Science Limburg University Center Diepenbeek Belgium Programming Technology Laboratory Free University of Brussels Brussels Belgium

Within the visual programming paradigm there is a vast range of potential for creating program representations. To benefit by these possibilities, it could be worthwhile to make the program representation open-ended, i.e. modifiable to the specific needs of the user. The authors elucidate the tentative result of their research in this field around the iconic programming environment. An initially developed prototype framework is described, followed by a discussion on the current more open-ended system.< >

关键词： programming environments Laboratories Prototypes programming profession computer languages Tree graphs Debugging computer science Linear programming Concrete

来源：评论

学校读者我要写书评

暂无评论

Multithreaded Parallel Sequence Alignment Based on Needleman-Wunsch Algorithm

Multithreaded Parallel Sequence Alignment Based on Needleman...

引用

IEEE Symposium on Bioinformatics and Bioengineering (BIBE)

作者： Veska Gancheva Ivaylo Georgiev Department of Programming and Computer Technology Technical University of Sofia Sofia Bulgaria The Stephan Angeloff Institute of Microbiology Sofia Bulgaria

ISBN: (纸本)9781728146188

Biocomputing and molecular biology are areas that change knowledge and skills for acquisition, storing, management, analysis, interpretation and dissemination of biological information. This requires the utilization of high performance computers and innovative software tools for management of the vast information, as well as deployment of innovative algorithmic techniques for analysis, interpretation and prognostication of data in order to get to insight of the design and validation of life-science experiments. Sequence alignment is an important method in DNA and protein analysis. The paper describes the computational challenges in biological sequence processing. The great challenges are to propose parallel computational models and parallel program implementations based on the algorithms for biological sequence alignment. An investigation of the efficiency of sequence alignment based on parallel multithreaded program implementation of Needleman-Wunsch algorithm is presented in this paper. Parallel computational model based on Needleman-Wunsch algorithm is designed. The proposed parallel model is verified by multithreaded parallel program implementation utilizing OpenMP. A number of experiments have been carried out for the case of various data sets and a various number of threads. Parallel performance parameters execution time and speedup are estimated experimentally. The performance estimation and scalability analyses show that the suggested model has good scalability both in respect to the workload and machine size.

关键词： Heuristic algorithms Proteins Computational modeling Dynamic programming Bioinformatics Software algorithms

来源：评论

学校读者我要写书评

暂无评论

Modeling the Impact of External Factors on E-Commerce Consumer Behavior

Modeling the Impact of External Factors on E-Commerce Consum...

引用

International computer Sciences and Information Technologies (CSIT)

作者： Oleksandra Bulgakova Viacheslav Zosimov Automation Robotics and Computer Programming P.M Platonov Educational and Scientific Institute of Computer Engineering Odesa National University of Technology Odesa Ukraine

ISBN: (数字)9798331542634

ISBN: (纸本)9798331542641

This paper presents the impact of external factors on consumer purchasing behavior in e-commerce. It examines how variables such as time of day, weather conditions, economic fluctuations, social influences, cultural trends, seasonal events, and others can influence online purchasing decisions. Using data from an e-commerce website, a model was built using GIA GMDH to analyze the impact of these factors on consumer purchasing behavior. The study found significant correlations between seemingly minor external factors and consumer behavior, highlighting the importance of holistic analysis for companies to adapt their strategies and improve e-commerce performance.

关键词： Adaptation models Analytical models Consumer behavior Temperature Computational modeling Urban areas Electronic commerce Cultural differences Context modeling Meteorology

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：