A task allocation algorithm is presented which is based on the affinity graph model for hypercube distributedcomputing systems. In the affinity graph model, the vertices represent the modules in the task to be alloca...
详细信息
A task allocation algorithm is presented which is based on the affinity graph model for hypercube distributedcomputing systems. In the affinity graph model, the vertices represent the modules in the task to be allocated. the weight of the edges represents the affinity the modules represented by the vertices have for each other. the affinity function has been defined in such a way that boththe competing demands of load balancing and minimizing interprocessor communication are addressed. By applying a graph partitioning algorithm on such an affinity graph, optimal task allocation is possible. the task allocation algorithm presented for hypercube distributedcomputing systems uses the above idea to repeatedly partition the affinity graph until all modules in the task are allocated. the algorithm is fully distributed with no central control being exercised.
this publication contains 249 conference papers. the following topics are dealt with: protocol and applications and packet switching;TDX-10 digital switching system technology;artificial intelligence and expert system...
详细信息
this publication contains 249 conference papers. the following topics are dealt with: protocol and applications and packet switching;TDX-10 digital switching system technology;artificial intelligence and expert systems;image processing;computer architecture;software for parallel processing;token passing LAN and applications;optimization and neural networks;digital modulation and modems;functional programming languages;architectures for parallel processing;application and implementation of Petri net concepts;signal processing and filters;array spectral analysis;advanced communication networks;TROPICO digital switching system;high performance computingtheory and applications;pattern recognition;fault tolerant computing;instrumentation and process control;data communication networks;speech analysis and recognition;computer hardware systems;robotics and automation;mobile radio;theoretical computer science and algorithms;distributed processing;LAN/WAN networking;applied expert systems;coding;C-DOT digital switching system;power delivery systems;rural communication;radar;parallel execution of functional programs;VLSI, ASICS and devices;transmission media and communication systems;office automation and databases;program transformation, synthesis and analysis;and power electronics.
Prospect Electricity, Australia, is installing a new SCADA system which is planned for development as the heart of future distribution automation. A unique feature of this SCADA system is the use of an intelligent mic...
详细信息
Prospect Electricity, Australia, is installing a new SCADA system which is planned for development as the heart of future distribution automation. A unique feature of this SCADA system is the use of an intelligent microprocessor based remote substation terminal unit (STU). In addition to its SCADA functions the STU performs complex local functions automatically within the substation and provides an interface for local operator control and information display. the author traces the development and introduction of the STUs and describes the technical aspects of the hardware components. A project of considerable interest is the further development of the STU to employ distributed intelligence within the substation by way of the latest local area network (LAN) technology. the LAN concept is discussed and it is shown how it will extend beyond the bounds of the zone substation to include the adjacent distribution system.< >
An n+1 redundant system using modular hybrid DC/DC converters connected in parallel where the normally associated isolation diodes are omitted is described. Reliability and efficiency analysis of the systems was perfo...
详细信息
An n+1 redundant system using modular hybrid DC/DC converters connected in parallel where the normally associated isolation diodes are omitted is described. Reliability and efficiency analysis of the systems was performed, based on a comparison between the system described and a system based on a conventional (uninterruptible power system) UPS with added redundant functions. It is concluded that the proposed approach will lead to an improvement in overall efficiency and result in compact, cost-effective systems.< >
A distributed power supply system with highly efficient characteristics is being developed to replace conventional centralized power systems. In this system, as in conventional power systems, a standby energy system c...
详细信息
A distributed power supply system with highly efficient characteristics is being developed to replace conventional centralized power systems. In this system, as in conventional power systems, a standby energy system composed of batteries and engine-generator sets is used as a back-up system for the commercial power lines. However, the distributed power system, except for the engine-generator set, is installed in the telecommunications room. thus, the floor load limitation is an important design factor. Reliability analyses show that the distributed power system should be designed using a fully duplicated engine-generator set; with battery reserve time reduced to one-sixththat of conventional centralized power systems; and with transfer switch unavailability designed to be less than 5*10/sup -7/.< >
the authors address the increasing impact of electromagnetic compatibility (EMC) requirements on the design of modern telecommunications switching equipment. Following a review of the environmental factors which have ...
详细信息
the authors address the increasing impact of electromagnetic compatibility (EMC) requirements on the design of modern telecommunications switching equipment. Following a review of the environmental factors which have given rise to the increase of work on EMC, the impending European EMC Directive is introduced and compared withthe legislative requirements in the US. the specific problems associated withthe EMC characterization and formal testing of large distributed telecommunications installations are discussed, drawing on examples of various system configurations to illustrate particular aspects. A proposed method of testing is presented which offers a controlled and repeatable approach to RF emission and immunity testing within a total quality environment, enabling system-level emission characteristics to be determined, and the effect of subsequent product updates and enhancements to be predicted over a normal installation life of 20 years.< >
this book constitutes the refereed proceedings of the 10th IFIP WG 6.1 internationalconference on Formal Methods for Open Object-Based distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. the 14 revi...
详细信息
ISBN:
(数字)9783540688631
ISBN:
(纸本)9783540688624
this book constitutes the refereed proceedings of the 10th IFIP WG 6.1 internationalconference on Formal Methods for Open Object-Based distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. the 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. the papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.
this book constitutes the thoroughly refereed proceedings of the 2012 ICSOC Workshops consisting of 6 scientific satellite events, organized in 3 main tracks including workshop track (ASC, DISA. PAASC, SCEB, SeMaPS an...
详细信息
ISBN:
(数字)9783642378041
ISBN:
(纸本)9783642378034
this book constitutes the thoroughly refereed proceedings of the 2012 ICSOC Workshops consisting of 6 scientific satellite events, organized in 3 main tracks including workshop track (ASC, DISA. PAASC, SCEB, SeMaPS and WESOA 2012), PhD symposium track, demonstration track; held in conjunction withthe 10thinternationalconference on Service-Oriented computing (ICSOC), in Shanghai, China, November 2012.
the 53 revised papers presents a wide range of topics that fall into the general area of service computing such as business process management, distributed systems, computer networks, wireless and mobile computing, grid computing, networking, service science, management science, and software engineering.
this volume contains the proceedings of the 10thinternational Symposium on Stabilization, Safety, and Security of distributed Systems (SSS), held November 21–23, 2008 in Detroit, Michigan USA. SSS started as the Wor...
详细信息
ISBN:
(数字)9783540893356
ISBN:
(纸本)9783540893349
this volume contains the proceedings of the 10thinternational Symposium on Stabilization, Safety, and Security of distributed Systems (SSS), held November 21–23, 2008 in Detroit, Michigan USA. SSS started as the Workshop on Self-Stabilizing Systems (WSS), which was ?rst held at Austin in 1989. From the second WSS in Las Vegas in 1995, the - rum was held biennially, at Santa Barbara(1997),Austin (1999), Lisbon (2001), San Francisco (2003) and Barcelona (2005). the title of the forum changed to the Symposium on Self-Stabilizing Systems (SSS) in 2003. Since 2005, SSS was run annually, and in 2006 (Dallas) the scope of the conference was extended to cover all safety and security-related aspects of self-* systems. this extension followed the demand for self-stabilization in various areas of distributed c- puting including peer-to-peer networks, wireless sensor networks, mobile ad-hoc networks, robotic networks. To re?ect this change, the name of the symposium changed to the international Symposium on Stabilization, Safety, and Security of distributed Systems (SSS). this year we received 43 submissions from 13 countries. Most submissions were from the USA and France. Each submission was carefully reviewed by three to six Program Committee members withthe help of external reviewers. For the ?rst time a rebuttal phase allowed the authors to react to the reviews beforethediscussionofthepaperswithintheProgramCommittee. Outofthe43 submissions,17excellentpaperswereselectedforpresentationatthesymposium, whichcorrespondsto anacceptancerateof40%. Itcanbenotedthatthehighest acceptance rate was for papers with keywordssensor networks (86%),MANETs (67%),andsecurityof sensorandmobile networksprotocols (67%).
this book constitutes the proceedings of the 35th IFIP WG 6.1 internationalconference on Formal Techniques for distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part ...
详细信息
ISBN:
(数字)9783319191959
ISBN:
(纸本)9783319191942
this book constitutes the proceedings of the 35th IFIP WG 6.1 internationalconference on Formal Techniques for distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10thinternational Federated conference on distributedcomputing Techniques, DisCoTec 2015. the 15 revised full papers presented were carefully reviewed and selected from 53 submissions. the papers present a wide range of topics on distributedcomputing models and formal specification, testing, and verification methods.
暂无评论