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

Euromicro Conference on Real-Time systems

作者： I. Bate A. Burns Real-Time Systems Research Group Department of Computer Science University of York York UK

The paper describes work carried out to reduce the pessimism in distributed systems timing analysis. The starting point for the paper is the need to prove that the timing properties of a system are met in an efficient and effective manner. The paper shows that an exact approach to the analysis can be intractable, and other approaches are too pessimistic. Using extensive simulation, based on realistic requirements from the domain of interest, a new approach to distributed timing analysis is developed using an integrated approach to task attribute assignment and timing analysis. The new approach is up to 20% more effective than previous tractable approaches. An additional benefit is the approach has a greater resilience to change than the other approaches considered. The results contained within the paper demonstrate the effectiveness of our approach.

关键词： Timing Real time systems Safety Processor scheduling Costs computer science Postal services Analytical models Read only memory Sensor systems

来源：评论

学校读者我要写书评

暂无评论

Engineering safe, real-time distributed control systems

Engineering safe, real-time distributed control systems

引用

EUROMICRO Conference

作者： P. Croll C. Rudram C. Chambers N. Uchihira Communications and Distributed Systems Research Group Department of Computer Science University of Sheffield UK Toshiba Corporation Japan Software Engineering laboratories Toshiba Corporation Kawasaki Tokyo Japan

Reactive computer control systems need to track the behaviour of their inherently parallel physical environment. Hence, most non-trivial industrial applications may depend on concurrent modelling techniques to handle system complexities including hard real-time constraints. Failure of such systems can lead to unacceptable consequences and can therefore be deemed as safety-related with respect to their application. Parallel and distributed systems can exhibit undesirable behaviours, e.g. deadlock, which could render a control system unsafe. The paper proposes that a set of undesirable parallel behaviours can be classified as unsafe for all applications and reviews a technique that can be employed to avoid or mitigate against them, The approach needed by software engineers of parallel and distributed systems to facilitate this and meet the minimal safety standards is also given.

关键词： Real time systems distributed control Control systems Application software Software safety Concurrent computing Physics computing Electrical equipment industry System recovery Software standards

来源：评论

学校读者我要写书评

暂无评论

The ZEUS agent building tool-kit

引用

BT TECHNOLOGY JOURNAL 1998年第3期16卷 60-68页

作者： Collis, JC Ndumu, DT Nwana, HS Lee, LC University of Manchester Institute of Science and Technology United Kingdom Queen's University Belfast United Kingdom Intelligent Systems Research Group BT Laboratories United Kingdom Imperial College United Kingdom Open University University of Central Lancashire United Kingdom BT Laboratories (BTL) Intelligent Systems Research Group BTL Appl. Res. and Technology Department BT Laboratories United Kingdom Queen's College University of Cambridge United Kingdom ABW-ZEUS British Computer Society United Kingdom ART's Future Technologies Group University of Essex United Kingdom Croucher Foundation Hong Kong ZEUS Project

There is an emerging desire among agent researchers to move away from developing point solutions to point problems in favour of developing methodologies and tool-kits for building distributed multi-agent systems. This philosophy has led to the development of the ZEUS agent building tool-kit, which facilitates the engineering of collaborative agent applications through the provision of a library of agent-level components and an environment to support the agent building process. The ZEUS tool-kit is a synthesis of established agent technologies with some novel solutions that provide an integrated environment for rapid software engineering of collaborative agent applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Advanced call scheduling for testing a telecommunications network

引用

BT TECHNOLOGY JOURNAL 1998年第3期16卷 30-37页

作者： Voudouris, C Azarmi, N Jones, A Natl. Technical University of Athens Greece University of Essex United Kingdom Department of Computer Science University of Essex United Kingdom BT Laboratories Intelligent Systems Research Group United Kingdom BT United Kingdom International AI Mach. Intell. Research Programme University of Manchester United Kingdom Essex University United Kingdom Imperial College London University United Kingdom BT Laboratories United Kingdom

This paper describes an advanced scheduling system and method for generating large volumes of calls to be used for testing a telecommunications network. The system is capable of preparing large scale and complex network tests by viewing the task as a scheduling problem. The various requirements of the scheduling problem are analysed and represented as constraints or optimisation criteria. A fast heuristic method is proposed for solving the problem. The approach is based on a greedy algorithm for constructing solutions and if incorporates limited backtracking and dynamic value-ordering heuristics. The algorithm and system are currently being used for call charge verification in BT's PSTN and CSP networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Evaluating the overheads of source-directed quality-of-service routing

Evaluating the overheads of source-directed quality-of-servi...

引用

International Conference on Network Protocols

作者： A. Shaikh J. Rexford K.G. Shin Networking and Distributed Systems Network Mathematics Research AT and T Research Laboratories Florham Park NJ USA Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

Quality-of-service (QoS) routing satisfies application performance requirements and optimizes network resource usage but effective path-selection schemes require the distribution of link-state information, which can impose a significant burden on the bandwidth and processing resources in the network. We investigate the fundamental trade-off between network overheads and the quality of routing decisions in the context of the source-directed link-state routing protocols proposed for future IP and ATM networks. Through extensive simulation experiments with several representative network topologies and traffic patterns, we uncover the effects of stale link-state information, random fluctuations in traffic load, and variations of the link-cost metric on the routing and signalling overheads. The paper concludes by summarizing our key results as a list of guidelines for designing efficient quality-of-service routing policies in large backbone networks.

关键词： Quality of service Communication system traffic control Switches Routing protocols Resource management Mathematics computer science Argon Topology Electrical capacitance tomography

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of an SNMPv2 Management System for MS-DOS/Novell NetWare and Unix-TCP/IP

引用

International Journal of Network Management 1998年第3期7卷

作者： Ahmed Patel Stephen Morris Computer Networks and Distributed Systems Research Group Department of Computer Science University College Dublin Belfield Dublin 4 Ireland

SNMPv2 management tools for networks based on Novell NetWare and TCP/IP facilitate management of individual network workstations which allows a very detailed description of the network operation to be constructed. Using this, management can then be achieved across both the full range of NetWare workstation software versions and Unix-TCP/IP nodes. © 1997 John Wiley & Sons, Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A functional model of cooperative system management

引用

International Journal of Network Management 1998年第3期8卷

作者： Bharat Bhushan Ahmed Patel Computer Networks and Distributed Systems Research Group Department of Computer Science University College Dublin Belfield Dublin 4 Ireland.

There is a need for information exchange and communication between management applications that are distributed over a large system. In this situation, a fundamental problem is how the management systems should cooperate in order to achieve overall management of a system. In order to address this problem, this article presents a functional model of cooperative system management. © 1998 John Wiley & Sons, Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Biologically-based learning in the ARBIB autonomous robot

Biologically-based learning in the ARBIB autonomous robot

引用

IEEE International Joint Symposia on Intelligence and systems

作者： R.I. Damper T.W. Scutt Image Speech and Intelligent Systems Research Group Department of Electronics and Computer Science University of Southampton Southampton UK ICL Institute of Information Technology University of Nottingham Nottingham UK

We describe the autonomous robot ARBIB, which uses biologically-motivated forms of learning to adapt to its environment. The "nervous system" of ARBIB has a nonhomogeneous population of spiking neurons, and uses both nonassociative (habituation, sensitization) and associative (classical conditioning) forms of learning to modify pre-existing ("hard-wired") reflexes. As a result of interaction with its environment, interesting and "intelligent" light-seeking and collision-avoidance behaviors emerge which were not pre-programmed into the robot-or "animat". These behaviors are similar to those described by other workers who have generally used behaviorally-motivated reinforcement learning rather than biologically-based associative learning. The complexity of observed behavior is remarkable given the extreme simplicity of ARBIB's "nervous system", having just 33 neurons. It does not even have a brain! We take this to indicate that great potential exists to explore further "the animat path to AI".

关键词： Animation Artificial intelligence Learning Intelligent robots Neurons computer architecture Biological neural networks Artificial neural networks Speech Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

Evolutionary-fuzzy prediction for strategic QoS routing in broadband networks

Evolutionary-fuzzy prediction for strategic QoS routing in b...

引用

IEEE International Conference on Fuzzy systems (FUZZ-IEEE)

作者： A. Vasilakos C. Ricudis K. Anagnostakis W. Pedryca A. Pitsillides ICS-FORTH Telecommunications and Networks Group Greece Development and dissemination of renewable energy sources ANELIXI non-profit company for research Greece Applied Network Research National Laboratory USA Department of Computer Science University of Cyprus Nicosia Cyprus

We present an application of evolutionary-fuzzy prediction in inter-domain routing of broadband network connections with quality of services requirements in the case of an integrated ATM and SDH networking architecture. The higher-layer nature of inter-domain routing requires us to review the whole routing process in order to maximize performance at low decision making cost, a clear case for fuzzy-set logic based algorithms. In order to probabilistically avoid shortage of resources, besides effectively computing the feasible paths for an incoming connection request, under uncertainty, these paths should be compared in terms of the negative impact in resource supply which may be caused by other connections. To do this, besides enriching the protocol with vectors of per-class shadow cost metrics, quantized using fuzzy-set theory, we used a subset-interactive autoregressive time-series predictor which is based on fuzzy measures to evaluate path costs under supply metrics that change over time. Moreover, as the connections we are dealing with are semi-permanent, we must take into account the connections lifetime. The complete system is part of the MISA (Management of Integrated SDH and ATM) network architecture and will be implemented and evaluated in the global broadband connection service of the pan-European test-bed.

关键词： Routing Costs Quality of service Synchronous digital hierarchy Broadband communication computer architecture Decision making Fuzzy logic Uncertainty Protocols

来源：评论

学校读者我要写书评

暂无评论

Local Bayesian Regularisation of Parsimonious Neurofuzzy Models for Real World Dynamic Processes

引用

IFAC Proceedings Volumes 1998年第4期31卷 17-22页

作者： K.M. Bossley M. Brown C.J. Harris Parallel Applications Centre 2 Venture Road Chilworth Southampton SO16 7NP UK Image Speech and Intelligent Systems Research Group Department of Electronics and Computer Science University of Southampton SO17 IBJ UK

By combining properties of fuzzy systems and neural networks, neurofuzzy modelling is ideally suited to many system identification and data modelling applications. Recently, data-driven model construction algorithms have been developed to identify these models. These algorithms have proved essential for producing accurate parsimonious models. However, due to problems with sparse data and restricted model structures, models with high model variance are often produced. Thus resulting in models which generalise poorly. In this paper local Bayesian inference techniques are applied to neurofuzzy models, multiple prior probability density functions are placed on the weights and superfluous model variance is controlled. This gives a form of regularisation where Bayesian estimation produces simple re-estimation formulae which identify a suitable bias/variance balance from the data. This approach is considered a post-processing step to model construction, the merits of which are demonstrated by the application to a real world data set.

关键词： System identification neural networks fuzzy logic regularisation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：