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

14th International KES Conference on Agents and Multi-Agent Systems: Technologies and Applications, KES-AMSTA 2020

作者： Ismail, Leila Materwala, Huned Department of Computer Science and Software Engineering College of Information Technology United Arab Emirates University Al Ain Abu Dhabi15551 United Arab Emirates

ISBN: (纸本)9789811557637

The gaining popularity of the Internet of Things (IoT), big data analytics, and blockchain to make the digital world connected, smart, and secure in the context of smart cities have led to increasing use of the cloud computing technology. Consequently, cloud data centers become hungry for energy consumption. This has an adverse effect on the environment in addition to the high operational and maintenance costs of large-scale data centers. Several works in the literature have proposed energy-efficient task scheduling in a cloud computing environment. However, most of these works use a scheduler that predicts the power consumption of an incoming task based on a static model. In most scenarios, the scheduler considers the CPU utilization of a server for power prediction and task allocations. This might give misleading results as the power consumption of a server, handling a variety of requests in smart cities, depends on other metrics such as memory, disk, and network in addition to CPU. Our proposed Intelligent Autonomous Agent Energy-Aware Task Scheduler in Virtual Machines (IAA-EATSVM) uses the multi-metric machine learning approach for scheduling of incoming tasks. IAA-EATSVM outperforms the mostly used Energy Conscious Task Consolidation (ECTC) based on a static approach. The detailed performance analysis is elaborated in the paper. © The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd 2020.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

Tool support for the design of self-optimizing mechatronic multi-agent systems

引用

International Journal on software Tools for Technology Transfer 2008年第3期10卷 207-222页

作者： Burmester, Sven Giese, Holger Münch, Eckehard Oberschelp, Oliver Klein, Florian Scheideler, Peter Software Engineering Group Department of Computer Science University of Paderborn Paderborn Germany System Analysis and Modeling Group Hasso Plattner Institute University of Potsdam Potsdam Germany Control Engineering and Mechatronics University of Paderborn Paderborn Germany Heinz Nixdorf Institute University of Paderborn Paderborn Germany

Complex technical systems, such as mechatronic systems, can exploit networking as well as the computational power available today to achieve an automatic improvement of the technical system performance at run-time through self-optimization. To realize this vision, appropriate means for the design of such self-optimizing mechatronic systems are required. Well-established techniques and tools for the modeling of cognitive behavior, reflective behavior, and control behavior exist. However, to really enable self-optimization and its full potential, these different aspects have to be safely integrated in a manner that remains comprehensible to the designer. In this article, we present how this required integration has been realized at the semantic level by extending the unified modeling language (UML), and at the tool level by integrating the CAE tool CAMeL and the CASE tool Fujaba real-time tool suite. The presented Mechatronic UML approach supports the design of verifiable, complex, reconfigurable mechatronic systems using the multi-agent system metaphor. © Springer-Verlag 2008.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

An empirical study of DSRC V2V performance in truck platooning scenarios

引用

Digital Communications and Networks 2016年第4期2卷 233-244页

作者： Song Gao Alvin Lim David Bevly Department of Computer Science and Software Engineering 3101 Shelby Center U.S. Department of Mechanical Engineering 2418F Wiggins Hall U.S. Auburn University Auburn AL 36849 U.S.

Among many safety applications enabled by Dedicated Short Range Communication （DSRC）, truck platooning provides many incentives to commercial companies. This paper studies DSRC Vehicle-to-Vehicle （V2V） performance in truck platooning scenarios through real-world experiments. Commercial DSRC equipments and semi-trailer trucks are used in this study. We mount one DSRC antenna on each side of the truck. One set of dynamic tests and a few sets of static tests are conducted to explore DSRC behaviors under different situations. From the test results, we verified some of our speculations. For example, hilly roads can affect delivery ratio and antennas mounted on opposite sides of a truck can suffer from low delivery ratio at curved roads. In addition, we also found that antennas can sometimes suffer from low delivery ratio even when the trucks are on straight roads, possibly due to reflections from the nearby terrain. Fortunately, the delivery ratio can be greatly improved by using the two side antennas alternately.

关键词： Empirieal study DSRC V2V performance Truck platooning Delivery ratio

来源：评论

学校读者我要写书评

暂无评论

Multimedia Database Systems 1

引用

丛书名： Artificial Intelligence

1000年

作者： V. S. Subrahmanian Sushil Jajodia

ISBN: (数字)9783642609503

ISBN: (纸本)9783642646225

With the rapid growth in the use of computers to manipulate, process, and reason about multimedia data, the problem of how to store and retrieve such data is becoming increasingly important. Thus, although the field of multimedia database systems is only about 5 years old, it is rapidly becoming a focus for much excitement and research effort. Multimedia database systems are intended to provide unified frameworks for requesting and integrating information in a wide variety of formats, such as audio and video data, document data, and image data. Such data often have special storage requirements that are closely coupled to the various kinds of devices that are used for recording and presenting the data, and for each form of data there are often multiple representations and multiple standards - all of which make the database integration task quite complex. Some of the problems include: - what a multimedia database query means - what kinds of languages to use for posing queries - how to develop compilers for such languages - how to develop indexing structures for storing media on ancillary devices - data compression techniques - how to present and author presentations based on user queries. Although approaches are being developed for a number of these problems, they have often been ad hoc in nature, and there is a need to provide a princi pled theoretical foundation.

关键词： Information Systems and Communication Service

来源：评论

学校读者我要写书评

暂无评论

Topic-oriented mining and reasoning

Topic-oriented mining and reasoning

引用

2005 International Conference on Active Media Technology, AMT 2005

作者： Li, Yuefeng Zhong, Ning Yao, Y.Y. School of Software Engineering and Data Communications Queensland University of Technology Brisbane QLD 4001 Australia Department of Systems and Information Engineering Maebashi Institute of Technology Japan Department of Computer Science University of Regina Canada

ISBN: (纸本)0780390350

The discovery of the association between terms and a specified topic is a difficult task. A new data mining technique, topic-oriented mining and reasoning, is presented for this task. The technique consists of two threads: pattern mining and pattern reasoning. Pattern mining means the automatic discovery of interesting user topic models. A novel topic structure is presented for this thread. Pattern reasoning means the utilization and maintenance of the interesting user topic models to determine if an input data is relevant to the specified topic. The innovation for this thread is the use of Meta-knowledge for the discovered knowledge. In this way the system can trace errors to update inadequate subtopics in the user topic model. The experimental results show that all objectives we expect for the topic-oriented model are achievable. © 2005 IEEE.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Light gradient boosting machine with optimized hyperparameters for identification of malicious access in IoT network

引用

Digital Communications and Networks 2023年第1期9卷 125-137页

作者： Debasmita Mishra Bighnaraj Naik Janmenjoy Nayak Alireza Souri Pandit Byomakesha Dash S.Vimal Department of Computer Application Veer Surendra Sai University of TechnologyBurlaSambalpur768018OdishaIndia Department of Computer Science Maharaja Sriram Chandra Bhanja Deo(MSCB)UniversityBaripada757003OdishaIndia Department of Software Engineering HaliçUniversity34394IstanbulTurkey Department of Information Technology Aditya Institute of Technology and Management(AITAM)Tekkali532201Andhra PradeshIndia Data Analytics Lab Department of Artificial Intelligence and Data ScienceRamco Institute of TechnologyNorth Venganallur VillageRajapalayam 626117 Virudhunagar DistrictTamilnaduIndia

In this paper,an advanced and optimized Light Gradient Boosting Machine(LGBM)technique is proposed to identify the intrusive activities in the Internet of Things(IoT)*** followings are the major contributions:i)An optimized LGBM model has been developed for the identification of malicious IoT activities in the IoT network;ii)An efficient evolutionary optimization approach has been adopted for finding the optimal set of hyper-parameters of LGBM for the projected ***,a Genetic Algorithm(GA)with k-way tournament selection and uniform crossover operation is used for efficient exploration of hyper-parameter search space;iii)Finally,the performance of the proposed model is evaluated using state-of-the-art ensemble learning and machine learning-based model to achieve overall generalized performance and *** outcomes reveal that the proposed approach is superior to other considered methods and proves to be a robust approach to intrusion detection in an IoT environment.

关键词： IoT security Ensemble method Light gradient boosting machine Machine learning Intrusion detection

来源：评论

学校读者我要写书评

暂无评论

Inferring specifications for resources from natural language API documentation

Inferring specifications for resources from natural language...

引用

作者： Zhong, Hao Zhang, Lu Xie, Tao Mei, Hong Laboratory for Internet Software Technologies Institute of Software Chinese Academy of Sciences Beijing China School of Electronics Engineering and Computer Science Peking University Beijing China Key Laboratory of High Confidence Software Technologies Peking University Ministry of Education Beijing China Department of Computer Science North Carolina State University Raleigh United States

Many software libraries, especially those commercial ones, provide API documentation in natural languages to describe correct API usages. However, developers may still write code that is inconsistent with API documentation, partially because many developers are reluctant to carefully read API documentation as shown by existing research. As these inconsistencies may indicate defects, researchers have proposed various detection approaches, and these approaches need many known specifications. As it is tedious to write specifications manually for all APIs, various approaches have been proposed to mine specifications automatically. In the literature, most existing mining approaches rely on analyzing client code, so these mining approaches would fail to mine specifications when client code is not sufficient. Instead of analyzing client code, we propose an approach, called Doc2Spec, that infers resource specifications from API documentation in natural languages. We evaluated our approach on the Javadocs of five libraries. The results show that our approach performs well on real scale libraries, and infers various specifications with relatively high precisions, recalls, and F-scores. We further used inferred specifications to detect defects in open source projects. The results show that specifications inferred by Doc2Spec are useful to detect real defects in existing projects. © Springer science+Business Media, LLC 2011.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

FM’99 — Formal Methods 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Jeannette M. Wing Jim Woodcock Jim Davies

ISBN: (数字)9783540481195

ISBN: (纸本)9783540665878

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM’99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM’99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The programmecommittee re?ects the Congress’s international nature, with a membership of 84 leading researchersfrom 38 di erent *** comm- tee was divided into 19 tracks, each with its own chair to oversee the reviewing process. Our collective task was a di cult one: there were 259 high-quality s- missions from 35 di erent countries.

关键词： Theory of Computation software engineering/Programming and Operating Systems Logics and Meanings of Programs software engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems

来源：评论

学校读者我要写书评

暂无评论

Enhancing Diversity in Multi-Objective Feature Selection 13

Enhancing Diversity in Multi-Objective Feature Selection

引用

13th IEEE Congress on Evolutionary Computation, CEC 2024

作者： Miyandoab, Sevil Zanjani Rahnamayan, Shahryar Bidgoli, Azam Asilian Ebrahimi, Sevda Makrehchi, Masoud Lab Department of Electrical Computer and Software Engineering Ontario Tech University OshawaON Canada Brock University Department of Engineering St. CatharinesON Canada Wilfrid Laurier University Faculty of Science WaterlooON Canada

ISBN: (纸本)9798350308365

Feature selection plays a pivotal role in the data preprocessing and model-building pipeline, significantly en-hancing model performance, interpretability, and resource efficiency across diverse domains. In population-based optimization methods, the generation of diverse individuals holds utmost importance for adequately exploring the problem landscape, particularly in highly multi-modal multi-objective optimization problems. Our study reveals that, in line with findings from sev-eral prior research papers, commonly employed crossover and mutation operations lack the capability to generate high-quality diverse individuals and tend to become confined to limited areas around various local optima. This paper introduces an augmen-tation to the diversity of the population in the well-established multi-objective scheme of the genetic algorithm, NSGA-II. This enhancement is achieved through two key components: the genuine initialization method and the substitution of the worst individuals with new randomly generated individuals as a re-initialization approach in each generation. The proposed multi-objective feature selection method undergoes testing on twelve real-world classification problems, with the number of features ranging from 2,400 to nearly 50,000. The results demonstrate that replacing the last front of the population with an equivalent number of new random individuals generated using the genuine initialization method and featuring a limited number of features substantially improves the population's quality and, consequently, enhances the performance of the multi-objective algorithm. © 2024 IEEE.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

New Modeling Concepts for Today’s software Processes 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Jürgen Münch Ye Yang Wilhelm Schäfer

ISBN: (数字)9783642143472

ISBN: (纸本)9783642143465

2010 was the first time that the International Conference on software Process was held autonomously and not co-located with a larger conference. This was a special challenge and we are glad that the conference gained a lot of attention, a significant number of contributions and many highly interested participants from industry and academia. This volume contains the papers presented at ICSP 2010 held in Paderborn, G- many, during July 8-9, 2010. ICSP 2010 was the fourth conference of the ICSP series. The conference provided a forum for researchers and industrial practitioners to - change new research results, experiences, and findings in the area of software and system process modeling and management. The increasing distribution of development activities, new development paradigms such as cloud computing, new classes of systems such as cyber-physical systems, and short technology cycles are currently driving forces for the software domain. They require appropriate answers with respect to process models and management, suitable modeling concepts, and an understanding of the effects of the processes in specific environments and domains. Many papers in the proceedings address these issues.

关键词： software engineering/Programming and Operating Systems software engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters computer Communication Networks Programming Techniques

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：