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

International Conference on High Performance Switching and Routing

作者： Banerjee, Sujogya Shirazipourazad, Shahrzad Ghosh, Pavel Sen, Arunabha Computer Science and Engineering Program School of Computing Informatics and Decision System Engineering Arizona State University Tempe AZ 85281 United States

ISBN: (纸本)9781424484560

Robustness or fault-tolerance capability of a network is an important design parameter in both wired and wireless networks. Connectivity of a network is traditionally considered to be the primary metric for evaluation of its fault-tolerance capability. However, connectivity (G) (for random faults) or region-based connectivity R(G) (for spatially correlated or region-based faults, where the faults are confined to a region R) of a network G, does not provide any information about the network state, (i.e., whether the network is connected or not) once the number of faults exceeds (G) or R(G). If the number of faults exceeds (G) or R(G), one would like to know, (i) the number of connected components into which G decomposes, (ii) the size of the largest connected component, (iii) the size of the smallest connected component. In this paper, we introduce a set of new metrics that computes these values. We focus on one particular metric called region-based component decomposition number (RBCDN), that measures the number of connected components in which the network decomposes once all the nodes of a region fail. We study the computational complexity of finding RBCDN of a network. In addition, we study the problem of least cost design of a network with a target value of RBCDN. We show that the optimal design problem is NP-complete and present an approximation algorithm with a performance bound of O(log K + 4log n), where n denotes the number of nodes in the graph and K denotes a target value of RBCDN. We evaluate the performance of our algorithm by comparing it with the performance of the optimal solution. Experimental results demonstrate that our algorithm produces near optimal solution in a fraction of time needed to find an optimal solution. © 2011 IEEE.

关键词： Approximation algorithms

来源：评论

学校读者我要写书评

暂无评论

Poster abstracts

引用

Sleep and Biological Rhythms 2016年第1期5卷 A1-A189页

作者： J. Ferrie M. Shipley F. Cappuccio E. Brunner M. Miller M. Kumari M. Marmot A. Coenen J. L. Castillo F. Araya G. Bustamante L. Montecino C. Torres S. Oporto J. Gronli E. Fiske R. Murison B. Bjorvatn E. Sorensen R. Ursin C. M. Portas S. Rajaraman A. Gribok N. Wesensten T. Balkin J. Reifman N. Dursunoglu S. Ozkurt S. Baser O. Delen S. Sarikaya P. Sadler P. Mitchell D. Françon M. Decobert B. Herve A. Richard G. Griebel P. Avenet B. Scatton G. L. Fur D. Eckert A. Jordan A. Wellman S. Smith A. Malhotra D. White D. Bruck I. Thomas A. Kritikos W. Oertel K. Stiasny-Kolster D. Garcia-Borreguero W. Poewe B. Hoegl R. Kohnen E. Schollmayer J. Keffel C. Trenkwalder A. Valle S. Roizenblatt F. Fregni P. Boggio S. Tufik K. Ward L. Robertson L. Palmer P. Eastwood D. Hillman J. Lee S. Mukherjee V. de Padova G. Barbato G. Ficca I. Zilli P. Salzarulo M. Veldi T. Hion V. Vasar M. Kull L. Nowak J. Davis Y. Latzer O. Tzischinsky S. Crowley M. Carskadon M. Anca-Herschkovitsch D. Frey J. Ortega C. Wiseman C. Farley K. Wright A. Campbell A. Neill K. Spiegel R. Leproult E. Tasali N. Scherberg E. van Cauter A. T. Noradina N. A. Karim I. Norlinah A. A. Raymond R. Sahathevan B. Hamidon E. Werth R. Poryazova R. Khatami C. Bassetti R. G. Beran L. Ainley G. Holand J. Duncan H. Kinney B. Davis B. Hood S. Frey C. Schmidt M. Hofstetter P. Peigneux C. Cajochen W.-P. Hu J.-D. Li C. Zhang L. Boehmer J. Siegel Q.-Y. Zhou Y. Sagawa H. Kondo T. Takemura H. Kanayama Y. Kaneko M. Sato T. Kanbayashi Y. Hishikawa T. Shimizu A. Viola L. James L. Schlangen D.-J. Dijk R. Andretic Y.-C. Kim K.-A. Han F. Jones R. Greenspan L. Sanford L. Yang X. Tang K. Dieter E. Uta H. Sven M. Richard N. Oyane S. Pallesen F. Holsten Y. Inoue M. Fujita N. Emura K. Kuroda N. Uchimura A. Johnston J. Astbury G. Kennedy K. Hoedlmoser M. Schabus T. Pecherstorfer S. Moser G. Gruber P. Anderer W. Klimesch N. Naidoo M. Ferber A. Pack D. Neu O. Mairesse G. Hoffmann A. Dris L. Lambrecht P. Linkowski P. Verbanck O. Le Bon N. Matsuura M. Yamao N. Adachi R. Aritomi Y. Komada H. Tanaka S. Shirak University College London London UK University College London London USA Warwick Medical School London UK Warwick Medical School Coventry USA Radboud University Nijmegen Nijmegen Netherlands Department of Neurology University of Chile Santiago Chile Neurology Service Hospital del Salvador Santiago Chile Family Health Center Juan Pablo II Santiago Chile Department of Biomedicine Section on Physiology Univeristy of Bergen Bergen Norway Department of Public Health and Primary Health Care Univeristy of Bergen Bergen Norway Department of Public Health and Primary Health Care University of Bergen Bergen Norway Norwegian Competence Center for Sleep Disorders Haukeland University Hospital Bergen Norway Department of Child and Adolescent Psychiatry Haukeland University Hospital Univeristy of Bergen Bergen Norway Department of Biomedicine University of Bergen Bergen Norway US Army Medical Research and Materiel Command Fort Detrick Frederick USA Walter Reed Army Institute of Research Silver Spring USA Department of Behavioral Biology Walter Reed Army Institute of Research Silver Spring USA Faculty Department of Pulmonology Pamukkale University Medical Denizli Turkey University of Ballarat Ballarat Australia Sanofi-Aventis Recherche et Developpement Paris France Brigham and Women’s Hospital Harvard Medical School Boston USA The University of Queensland Adelaide Australia School of Psychology University of Queensland Brisbane Australia The University of Queensland Brisbane Australia Victoria University Melbourne Australia Department of Psychology Victoria University Melbourne Australia School of Psychology Victoria University Melbourne Australia Philips-Universität Marburg Germany Philips-Universitaet-Marburg Marburg Germany Instituto de Investigaciones del Sueno Madrid Spain Universitätsklinik für Neurologie Innsbruck Austria Universitaetsklinik fuer Neurologie Innsbruck Austria IMEREM GmbH Nuernberg Germany Schwarz Pharma AG Monheim Germany

来源：评论

学校读者我要写书评

暂无评论

A roadmap to the Collaboration Maturity Model (CollabMM) evolution

A roadmap to the Collaboration Maturity Model (CollabMM) evo...

引用

International Conference on computer Supported Cooperative Work in Design

作者： Magdaleno, Andréa Magalhães Araujo, Renata Mendes De Werner, Cláudia Maria Lima System Engineering and Computer Science Program - COPPE/UFRJ Rio de Janeiro RJ Brazil PPGI - Graduate Program in Informatics - UNIRIO Rio de Janeiro RJ Brazil

ISBN: (纸本)9781457703874

Organizations have been relying on collaboration for productivity improvement and knowledge sharing. The first step to foster collaboration in organizations is to make it explicit. With this aim, the Collaboration Maturity Model (CollabMM) was proposed and evaluated. The lessons learned during model applications in previous work pointed out the need to review both the model and its evaluation instruments. A literature review also showed some improvement opportunities. Therefore, the objective of this work is to develop a roadmap to highlight the main opportunities of evolution in CollabMM. These opportunities will compose our research agenda in this topic and guide future work. © 2011 IEEE.

关键词： Productivity

来源：评论

学校读者我要写书评

暂无评论

On reference node deployment for precise clock synchronization in smart power grid

On reference node deployment for precise clock synchronizati...

引用

9th IEEE Int. Conf. on Dependable, Autonomic and Secure Comput., DASC 2011, incl. 9th Int. Conf. on Pervasive Intelligence and Computing, PICom 2011, 9th Int. Symp. on Embedded Computing, EmbeddedCom 2011, 1st Int. Conf. on Cloud and Green Comput.CGC

作者： Chang, Chiu-Ping King, Chung-Ta Chan, Chen-Min Department of Computer Science National Tsing Hua University Hsinchu Taiwan Mechanical and System Engineering Program Institute of Nuclear Energy Research Taoyuan Taiwan

ISBN: (纸本)9780769546124

Cloud computing will play an essential role in smart power grid by providing a cost-efficient, scalable IT platform for the delivery and management of electricity. A key component in the cloud-based smart power grid is the intelligent electronic devices (IEDs), which monitor, control, and protect the power system, and collect data back into the cloud for analysis and management. To maintain proper and robust operations of the power system, the collected data must be time-stamped under a common time reference. This in turn demands that the clocks of the distributed IEDs be synchronized to the required precision. A viable approach is to equip some of the IEDs with the Global Positioning system (GPS) as the time references and use the communication links already existing between the IEDs to synchronize the clocks of those without GPS. The question is, given a set of such references nodes, how to decide whether the clocks of all the IEDs can be synchronized to the required precision. If not, how can one add fewest reference nodes to meet the requirements? This paper addresses these issues and proposes efficient algorithms to solve the problems. © 2011 IEEE.

关键词： Smart power grids

来源：评论

学校读者我要写书评

暂无评论

On connectivity of Airborne Networks in presence of region-based faults

On connectivity of Airborne Networks in presence of region-b...

引用

MILCOM, Military Communications Conference

作者： Shahrzad Shirazipourazad Pavel Ghosh Arunabha Sen Computer Science and Engineering Program School of Computing Informatics and Decision System Engineering Arizona State University USA

The U.S. Air Force is currently in the process of building an Airborne Network (AN), where the nodes are a set of heterogeneous, highly mobile, Airborne Networking Platforms (ANPs) - such as satellites, airplanes and unmanned aerial vehicles. Mobility pattern of nodes in a mobile network has significant impact on the coverage and connectivity properties of the network. The level of reliability needed for continuous operation of an AN may be difficult to achieve through a completely infrastructure-less mobile ad hoc networks. In an earlier paper, we proposed an architecture for an AN where a set of ANPs form the backbone of the AN. In this architecture, the ANPs may be viewed as mobile base stations with predictable and well-structured flight paths and the combat aircrafts on a mission as mobile clients. In this paper we consider the AN scenario where a part of the network might not be operational due to enemy attack and/or jamming. We consider faults that are spatially correlated (or region-based), that is faults due to an enemy attack are confined to a region. The goal is to design a robust AN so that no matter which region in the deployment area fails and at what time, the surviving nodes of the network will remain connected and be able to communicate with each other. We propose an algorithm that finds the minimum transmission range necessary to ensure network connectivity irrespective of location of the fault region and the time of the failure.

关键词： Mobile communication computer architecture Mobile computing Reliability Orbits Aircraft Network topology

来源：评论

学校读者我要写书评

暂无评论

Beyond connectivity - new metrics to evaluate robustness of networks

Beyond connectivity - new metrics to evaluate robustness of ...

引用

IEEE Workshop on High Performance Switching and Routing

作者： Sujogya Banerjee Shahrzad Shirazipourazad Pavel Ghosh Arunabha Sen Computer Science and Engineering Program School of Computing Informatics and Decision System Engineering Arizona State University Tempe AZ USA

Robustness or fault-tolerance capability of a network is an important design parameter in both wired and wireless networks. Connectivity of a network is traditionally considered to be the primary metric for evaluation of its fault-tolerance capability. However, connectivity κ(G) (for random faults) or region-based connectivity κ R (G) (for spatially correlated or region-based faults, where the faults are confined to a region R) of a network G, does not provide any information about the network state, (i.e., whether the network is connected or not) once the number of faults exceeds κ(G) or κ R (G). If the number of faults exceeds κ(G) or κ R (G), one would like to know, (i) the number of connected components into which G decomposes, (ii) the size of the largest connected component, (iii) the size of the smallest connected component. In this paper, we introduce a set of new metrics that computes these values. We focus on one particular metric called region-based component decomposition number (RBCDN), that measures the number of connected components in which the network decomposes once all the nodes of a region fail. We study the computational complexity of finding RBCDN of a network. In addition, we study the problem of least cost design of a network with a target value of RBCDN. We show that the optimal design problem is NP-complete and present an approximation algorithm with a performance bound of O(log K + 4log n), where n denotes the number of nodes in the graph and K denotes a target value of RBCDN. We evaluate the performance of our algorithm by comparing it with the performance of the optimal solution. Experimental results demonstrate that our algorithm produces near optimal solution in a fraction of time needed to find an optimal solution.

关键词： Measurement Layout Approximation algorithms Algorithm design and analysis Polynomials Robustness Complexity theory

来源：评论

学校读者我要写书评

暂无评论

Distributed real-equipment testing for the mobile communications services

Distributed real-equipment testing for the mobile communicat...

引用

Roedunet International Conference (RoEduNet)

作者： Virgil Cazacu Laura Iuga Titus Balan Florin Sandu Siemens Program and System Engineering Brasov Romania Faculty of Electrical Engineering and Computer Science Transilvania University of Brasov Brasov Romania

The test activities performed during the life cycle of the telecommunication service development ensure the service quality and stability so necessary to achieve the maximum availability and reliability. The paper presents authors' contribution to remote and distributed testing for mobile communications services based on cloud computing assets and paradigms. The access solutions to the test methods were implemented for the GSM and GSM-R (Global system for Mobile - Railways) related Intelligent Networks services. The scalability and flexibility of the architecture allows to the proposed solution to be used, for both the production and the educational environments, to access the resources located on the different sites for the tests purpose. The concept of the remote test solution and the practical examples based on the remote tests with real equipments are presented in this paper.

关键词： GSM Testing Mobile communication Rail transportation Monitoring Intelligent networks Telecommunication services

来源：评论

学校读者我要写书评

暂无评论

A roadmap to the Collaboration Maturity Model (CollabMM) evolution

A roadmap to the Collaboration Maturity Model (CollabMM) evo...

引用

International Conference on computer Supported Cooperative Work in Design

作者： Andréa Magalhães Magdaleno Renata Mendes de Araujo Cláudia Maria Lima Werner System Engineering and Computer Science Program-COPPE NP2Tec-Research and Practice Group in Information Technology UFRJ Rio de Janeiro Rio de Janeiro Brazil System Engineering and Computer Group in Information Technology Rio de Janeiro RJ Brazil PPGI - Graduate Program in Informatics - UNIRIO NP2Tec - Research and Practice Group in Information Technology Rio de Janeiro RJ Brazil System Engineering and Computer Science Program-COPPE UFRJ Rio de Janeiro Rio de Janeiro Brazil System Engineering and Computer Science Program - COPPEIUFRJ Rio de Janeiro RJ Brazil

关键词： Collaboration Organizations Instruments Coordinate measuring machines Capability maturity model Knowledge management

来源：评论

学校读者我要写书评

暂无评论

Toward patient safety in closed-loop medical device systems 10

Toward patient safety in closed-loop medical device systems

引用

1st ACM/IEEE International Conference on Cyber-Physical systems, ICCPS 2010

作者： Arney, David M., Pajic J.M., Goldman I., Lee R., Mangharam O., Sokolsky Computer and Information Science University of Pennsylvania United States Electrical and System Engineering University of Pennsylvania United States MD PnP Program Massachusetts General Hospital CIMIT United States

ISBN: (纸本)9781450300667

A model-driven design and validation of closed-loop medical device systems is presented. Currently, few if any medical systems on the market support closed-loop control of interconnected medical devices, and mechanisms for regulatory approval of such systems are lacking. We present a system implementing a clinical scenario where closed-loop control may reduce the possibility of human error and improve safety of the patient. The safety of the system is studied with a simple controller proposed in the literature. We demonstrate that, under certain failure conditions, safety of the patient is not guaranteed. Finally, a more complex controller is described and ensures safety even when failures are possible. This investigation is an early attempt to introduce automatic control in clinical scenarios and to delineate a methodology to validate such patient-in-the-loop systems for safe and correct operation. © 2010 ACM.

关键词： Closed loop control systems

来源：评论

学校读者我要写书评

暂无评论

An optimization-based approach to software development process tailoring

An optimization-based approach to software development proce...

引用

2nd International Symposium on Search Based Software engineering, SSBSE 2010

作者： Magdaleno, Andréa Magalhães COPPE/PESC System Engineering and Computer Science Program UFRJ Rio de Janeiro Brazil NP2Tec Research and Practice Group in Information Technology UNIRIO Rio de Janeiro Brazil

ISBN: (纸本)9780769541952

A major activity performed by the manager before starting a software project is tailoring its development process. Such activity requires information about the context under which the project will be executed, including organizational, project, and team characteristics. In addition, it also requires pondering many factors and evaluating all existing constraints. In this scenario, we claim that a balance between collaboration and discipline can be the drivers to tailor software development processes in order to meet project and organization needs. With the purpose of facilitating this balancing, it is possible to automate some of the steps to solve the problem, reducing the effort required to execute this task and improving the obtained process. Therefore, this work presents an optimization-based approach where the balancing in process tailoring is defined, modeled and briefly analyzed. This approach uses collaboration and discipline as utility functions to select the most appropriate process for a software development project, considering its current context. © 2010 IEEE.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：