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

CRITICAL BANDWIDTH ALLOCATION FOR THE DELIVERY OF COMPRESSED VIDEO

COMPUTER COMMUNICATIONS 1995年第10期18卷 709-717页

作者： FENG, WC SECHREST, S Software Systems Research Lab Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

The transportation of compressed video data without loss of picture quality requires the network to support large fluctuations in bandwidth requirements. These fluctuations can be smoothed, but straightforward approaches to smoothing can still suffer from excessive buffering requirements, poor buffer utilization and an excessive number of bandwidth changes. This paper introduces critical bandwidth allocation, which reduces the number of bandwidth changes to a very small number, and achieves the maximum effectiveness from client-side buffers. A comparison between critical bandwidth allocation algorithms and other smoothing algorithms is presented, the sensitivity of the algorithm to jitter is examined, and, implications for the design of network services are discussed.

关键词： VIDEO-ON-DEMAND BANDWIDTH ALLOCATION MPEG VIDEO COMPRESSION SMOOTHING

来源：评论

学校读者我要写书评

暂无评论

Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE 28

Compositional adjustment of concurrent programs to satisfy t...

引用

28th Annual Hawaii International Conference on System Sciences, HICSS 1995

作者： Uchihira, N. Honiden, S. Systems and Software Engineering Lab R and D Center TOSHIBA Corporation 70 Yanagi-cho Saiwai-ku Kawasaki210 Japan

ISBN: (纸本)0818669306

Examines »program adjustment», a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite-state process, and program adjustment to satisfy temporal logic constraints is formalized as the synthesis of an arbiter process which partially serializes target (i.e. imperfect) processes to remove harmful nondeterministic behaviors. Compositional adjustment is also proposed for large-scale compound target processes, using process equivalence theory. We have developed a programming environment on the parallel computer Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. The target concurrent programming language, MENDEL, is based on a high-level Petri net. Adjusted programs can be compiled into the kernel language KL1 and executed on Multi-PSI. © 1995 IEEE.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Knowledge acquisition and integration on specification change-a method for systematic reuse

Knowledge acquisition and integration on specification chang...

引用

Asia-Pacific Conference on software engineering

作者： S. Matsuura S. Honiden Lab. for New Software Archit. Inf.-technology Promotion Agency Tokyo Japan Systems and Software Engineering Laboratory Toshiba Corporation Kawasaki Kanagawa Japan

Our research goal is to construct an environment that mechanically supports human intellectual activities through software development with reuse. We propose a model of software development with systematic reuse in which the existing program can be altered to meet the given specification change using the program derivation process from the specification. We consider what kinds of knowledge must be acquired when a specification is changed and how they have to be integrated so well as to implement our method on a computer system. In particular, we focus on the following points in terms of program synthesis. First, a wide spectrum language, Extended IML, defines a framework in which specifications, program and the elaborate derivation process can be expressed formally on a computer system. This forms a basic unit of reusable knowledge for specification change. Second, a reuse process is formulated in which a new requirement changes the efficient specification and its program is altered to meet this requirement correctly. Third, we consider some conditions and a mechanism by which the knowledge can be integrated so as to obtain an objective program automatically, implying that we will yet profit from reusing the knowledge.

关键词： Knowledge acquisition Programming Humans software architecture software engineering laboratories Artificial intelligence Problem-solving Knowledge representation Formal specifications

来源：评论

学校读者我要写书评

暂无评论

INTELLIGENT CONTROL FOR PROLOG

INTELLIGENT CONTROL FOR PROLOG

引用

计算机，通信，控制与电力工程国际会议

作者： Young K.Nam Kyusang Shin Software Development Automation Lab.Systems Engineering Research Institute/KIST Taejon Korea

We propose an extension to Prolog called the count term for controlling Prolog *** purpose is to allow the programmers as well as the users to have greater flexibility in controlling the execution behavior of Prolog programs and for limiting the number of answers retrieved when Prolog is used as a database query language. Both syntax and operational semantics of the count term are *** analyze the possible meanings one might associate with the count *** possible replacement of cut and fail by the count term is *** ease of analysis of programs with count terms is discussed.

关键词： Prolog INTELLIGENT CONTROL FOR PROLOG

来源：评论

学校读者我要写书评

暂无评论

FRAMEWORK FOR FUZZY NEURAL NETWORKS

FRAMEWORK FOR FUZZY NEURAL NETWORKS

引用

1ST CONF ON SCIENCE OF ARTIFICIAL NEURAL NETWORKS

作者： IMASAKI, N KIJI, J ARAI, M Toshiba Systems and Software Engineering Lab. (Japan)

ISBN: (纸本)0819408751

This paper proposes fuzzy inference neural network (FiNN) as a framework for an incorporated system involving fuzzy theory and neural network theory. The FiNN is structured on a skeleton of specified fuzzy rules so that the FiNN can store the fuzzy rules smoothly. A FiNN system implements approximate inference from the fuzzy rules. There are three types for the structured parts, which are called `antecedent network,' or `conclusion network,' or `logic network.' Each structured part is a neural network component. Each neural network component executes an elementary function which is a part of an approximate inference procedure. The FiNN categorizes practical data by itself to generate learning samples for the conclusion networks. Membership functions in the antecedent networks are initialized by a priori knowledge, and modified by solving inverse problems of the logic network. A numerical example clarifies the applicability to the system identification.

关键词： Fuzzy logic Neural networks Logic Inverse problems Artificial neural networks Fuzzy systems System identification Data modeling Radon Statistical modeling

来源：评论

学校读者我要写书评

暂无评论

Plant control expert system coping with unforeseen events—model based reasoning using fuzzy qualitative reasoning 90

Plant control expert system coping with unforeseen events—m...

引用

Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1

作者： J. Suzuki N. Sueda Y. Gotoh A. Kamiya Systems and Software Engineering Lab. Toshiba Corp. 70 Yanagi-cho Saiwai-ku Kawasaki-city 210 Japan

ISBN: (纸本)9780897913720

An ordinary expert system controls a plant according to heuristics. So, it fails to control the plant for lack of heuristics if unforeseen events occur as a result of abnormal situations. We propose a new framework of model-based reasoning that can dynamically generate the knowledge for plant control against unforeseen events. This proposed framework consists of three functions: (a) generation of the goal state after recovery from the unforeseen events; (b) generation of knowledge for plant control; (c) prediction of process trend curves and estimation of the generated knowledge. In the proposed framework, various kinds of models which correspond to the fundamental knowledge about plant control are used. We have implemented a thermal power plant control expert system on the basis of this proposed framework. This paper describes the model-based reasoning mechanism of the experimental plant control expert system to realize each of three functions. Especially as for (c), this paper explains qualitative reasoning mechanism using fuzzy logic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Mendels: Concurrent program synthesis system using temporal logic 6th

引用

6th Conference on Logic Programming, 1987

作者： Uchihira, Naoshi Matsumoto, Kazunori Honiden, Shinichi Nakamura, Hideo Systems & Software Engineering Lab. TOSHIBA Corporation Yanagicho 70 Saiwai-ku KawasakiKanagawa210 Japan

ISBN: (纸本)9783540194262

A concurrent program synthesis system called MENDELS is proposed. A concurrent programming language MENDEL/87, that is a target language for program synthesis, is also provided. MENDELS consists of two parts: (1) retrieving and interconnecting reusable components from I/O data specifications and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification. MENDELS has been implemented in PROLOG on a PROLOG machine. MENDELS is a subsystem of the intelligent programming environment MENDELS ZONE. © 1988, Springer-Verlag.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Agents in Principle, Agents in Practice 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： David Kinny Jane Yung-jen Hsu Guido Governatori Aditya K. Ghose

ISBN: (数字)9783642250446

ISBN: (纸本)9783642250439

This book constitutes the proceedings of the 14th International Conference on Principles and Practice in Multi-Agent systems, PRIMA 2011, held in Wollongong, Australia, in November 2011.;The 39 papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. They focus on practical aspects of multiagent systems and are organised in topical sections on coalitions and teamwork, learning, mechanisms and voting, modeling and simulation, negotiation and coalitions, optimization, sustainability, agent societies and frameworks, argumentation, and applications.

关键词： Artificial Intelligence Computer Communication Networks Simulation and Modeling software engineering Information Storage and Retrieval User Interfaces and Human Computer Interaction

来源：评论

学校读者我要写书评

暂无评论

Efficient Training Approaches for Performance Anomaly Detection Models in Edge Computing Environments

引用

ACM Transactions on Autonomous and Adaptive systems 1000年

作者： Duneesha Fernando Maria Rodriguez Patricia Arroba Leila Ismail Rajkumar Buyya Quantum Cloud Computing and Distributed Systems (qCLOUDS) Laboratory School of Computing and Information Systems The University of Melbourne Australia CCS–Center for Computational Simulation Universidad Politécnica de Madrid Spain Intelligent Distributed Computing and Systems Research (INDUCE) Lab Department of Computer Science and Software Engineering United Arab Emirates University United Arab Emirates

Microservice architectures are increasingly used to modularize IoT applications and deploy them in distributed and heterogeneous edge computing environments. Over time, these microservice-based IoT applications are susceptible to performance anomalies caused by resource hogging (e.g., CPU or memory), resource contention, etc., which can negatively impact their Quality of Service and violate their Service Level Agreements. Existing research on performance anomaly detection for edge computing environments focuses on model training approaches that either achieve high accuracy at the expense of a time-consuming and resource-intensive training process or prioritize training efficiency at the cost of lower accuracy. To address this gap, while considering the resource constraints and the large number of devices in modern edge platforms, we propose two clustering-based model training approaches: (1) intra-cluster parameter transfer learning-based model training (ICPTL) and (2) cluster-level model training (CM). These approaches aim to find a trade-off between the training efficiency of anomaly detection models and their accuracy. We compared the models trained under ICPTL and CM to models trained for specific devices (most accurate, least efficient) and a single general model trained for all devices (least accurate, most efficient). Our findings show that ICPTL’s model accuracy is comparable to that of the model per device approach while requiring only 40% of the training time. In addition, CM further improves training efficiency by requiring 23% less training time and reducing the number of trained models by approximately 66% compared to ICPTL, yet achieving a higher accuracy than a single general model.

关键词： Edge computing Microservices IoT Performance anomaly detection Machine learning Deep learning

来源：评论

学校读者我要写书评

暂无评论

Data Management in Cloud, Grid and P2P systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Abdelkader Hameurlain Franck Morvan Farookh Khadeer Hussain A Min Tjoa

ISBN: (数字)9783642323447

ISBN: (纸本)9783642323430

This book constitutes the refereed proceedings of the 5th International Conference on Data Management in Grid and Peer-to-Peer systems, Globe 2012, held in Vienna, Austria, in September 2012 in conjunction with DEXA 2012.;The 9 revised full papers presented were carefully reviewed and selected from 15 submissions. The papers are organized in topical sections on data management in the cloud, cloud MapReduce and performance evaluation, and data stream systems and distributed data mining.

关键词： Database Management Computer Communication Networks Data Mining and Knowledge Discovery System Performance and Evaluation Information systems Applications (incl. Internet) User Interfaces and Human Computer Interaction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：