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

Constructing self-stabilizing oscillators in population protocols 17th

17th International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2015

作者： Cooper, Colin Lamani, Anissa Viglietta, Giovanni Yamashita, Masafumi Yamauchi, Yukiko Department of Informatics Kings College London United Kingdom Department of Informatics Graduate School of ISEE Kyushu University Fukuoka Japan School of Electrical Engineering and Computer Science University of Ottawa Ottawa Canada

ISBN: (纸本)9783319217406

Population protocols (PPs) are a model of passive distributed systems in which a collection of finite-state mobile agents interact with each other to accomplish a common task. Unlike other works, which investigate their computation power, this paper throws light on an aspect of PPs as a model of chemical reactions. Motivated by the wellknown BZ reaction that provides an autonomous chemical oscillator, we address the problem of autonomously generating an oscillatory execution from any initial configuration (i.e., in a self-stabilizing manner). For deterministic PPs, we show that the self-stabilizing leader election (SSLE) and the self-stabilizing oscillator problem (SS-OSC) are equivalent, in the sense that an SS-OSC protocol is constructible from a given SS-LE protocol and vice versa, which unfortunately implies that (1) resorting to a leader is inevitable (although we seek a decentralized solution) and (2) n states are necessary to create an oscillation of amplitude n, where n is the number of agents (although we seek a memory-efficient solution). Aiming at reducing the space complexity, we present and analyze some randomized oscillatory PPs. © Springer International Publishing Switzerland 2015.

关键词： Mobile agents

来源：评论

学校读者我要写书评

暂无评论

A survey on network resiliency methodologies against weather-based disruptions 8

A survey on network resiliency methodologies against weather...

引用

8th International Workshop on Resilient Networks Design and Modeling, RNDM 2016

作者： Tornatore, Massimo Andre, Joao Babarczi, Peter Braun, Torsten Folstad, Eirik Heegaard, Poul Hmaity, Ali Furdek, Marija Jorge, Luisa Kmiecik, Wojciech Mas MacHuca, Carmen Martins, Lucia Medeiros, Carmo Musumeci, Francesco Pasic, Alija Rak, Jacek Simpson, Steven Travanca, Rui Voyiatzis, Artemios Politecnico di Milano Department of Electronics Information and Bioengineering Milan Italy Lisbon Portugal Hungary University of Bern Bern Switzerland Norwegian University of Science and Technology Trondheim Norway Universidade de Aveiro Dept. of Electronics Information and Bioengineering Milan Portugal KTH Royal Institute of Technology Stockholm Sweden Instituto Politécnico de Bragancą INESC Coimbra Portugal Wroclaw University of Technology Poland Technical University Munich Germany Dept. of Electrical and Computer Engineering INESC University of Coimbra Portugal Dept. of Electrical and Computer Engineering and INESC University of Coimbra Coimbra Portugal Politecnico di Milano Department of Electron. Information and Bioengineering Milan Italy MTA-BME Future Internet Research Group Budapest Uni. of Technology and Economics Hungary Gdansk University of Technology Faculty of Electronics Telecommunications and Informatics Poland Lancaster University United Kingdom Dept. of Civil Engineering Universidade de Aveiro 3810-193 Portugal SBA Research Vienna Austria

ISBN: (纸本)9781467390231

Due to the increasing dependence on network services of our society, research has recently been concentrating on enhancing traditional protection strategies to withstand large-scale failures, as in case of disaster events. The recently-formed EU-funded RECODIS project aims at coordinating and fostering research collaboration in Europe on disaster resiliency in communication networks. In particular, the Working Group (WG) 2 of the RECODIS project focuses on developing new network-resiliency strategies to survive weather-based disruptions. As a first step, WG2 members have conducted a comprehensive literature survey on existing studies on this topic. This paper classifies and summarizes the most relevant studies collected by WG2 members in this first phase of the project. While the majority of studies regarding weather-based disruptions deals with wireless network (as wireless channel is directly affected by weather conditions), in this survey we cover also disaster-resiliency approaches designed for wired network if they leverage network reconfiguration based on disaster 'alerts', considering that many weather-based disruptions grant an 'alert' thanks to weather forecast. © 2016 IEEE.

关键词： Disasters

来源：评论

学校读者我要写书评

暂无评论

Search for new Higgs bosons via same-sign top quark pair production in association with a jet in proton-proton collisions at s=13TeV

引用

Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 2024年 850卷

作者： Hayrapetyan, A. Tumasyan, A. Adam, W. Andrejkovic, J.W. Bergauer, T. Chatterjee, S. Damanakis, K. Dragicevic, M. Hussain, P.S. Jeitler, M. Krammer, N. Li, A. Liko, D. Mikulec, I. Schieck, J. Schöfbeck, R. Schwarz, D. Sonawane, M. Templ, S. Waltenberger, W. Wulz, C.-E. Darwish, M.R. Janssen, T. Van Mechelen, P. Bols, E.S. Dansana, S. De Moor, A. Delcourt, M. El Faham, H. Lowette, S. Makarenko, I. Müller, D. Sahasransu, A.R. Tavernier, S. Tytgat, M. Van Putte, S. Vannerom, D. Clerbaux, B. De Lentdecker, G. Favart, L. Hohov, D. Jaramillo, J. Khalilzadeh, A. Lee, K. Mahdavikhorrami, M. Malara, A. Paredes, S. Pétré, L. Postiau, N. Thomas, L. Vanden Bemden, M. Vander Velde, C. Vanlaer, P. De Coen, M. Dobur, D. Hong, Y. Knolle, J. Lambrecht, L. Mestdach, G. Rendón, C. Samalan, A. Skovpen, K. Van Den Bossche, N. van der Linden, J. Wezenbeek, L. Benecke, A. Bruno, G. Caputo, C. Delaere, C. Donertas, I.S. Giammanco, A. Jaffel, K. Jain, Sh. Lemaitre, V. Lidrych, J. Mastrapasqua, P. Mondal, K. Tran, T.T. Wertz, S. Alves, G.A. Coelho, E. Hensel, C. Menezes De Oliveira, T. Moraes, A. Rebello Teles, P. Soeiro, M. Aldá Júnior, W.L. Alves Gallo Pereira, M. Barroso Ferreira Filho, M. Brandao Malbouisson, H. Carvalho, W. Chinellato, J. Da Costa, E.M. Da Silveira, G.G. De Jesus Damiao, D. Fonseca De Souza, S. Martins, J. Mora Herrera, C. Mota Amarilo, K. Mundim, L. Nogima, H. Santoro, A. Sznajder, A. Thiel, M. Vilela Pereira, A. Bernardes, C.A. Calligaris, L. Fernandez Perez Tomei, T.R. Gregores, E.M. Mercadante, P.G. Novaes, S.F. Orzari, B. Padula, Sandra S. Aleksandrov, A. Antchev, G. Hadjiiska, R. Iaydjiev, P. Misheva, M. Shopova, M. Sultanov, G. Dimitrov, A. Litov, L. Pavlov, B. Petkov, P. Petrov, A. Shumka, E. Keshri, S. Thakur, S. Cheng, T. Guo, Q. Javaid, T. Yuan, L. Hu, Z. Liu, J. Yi, K. Chen, G.M. Chen, H.S. Chen, M. Iemmi, F. Jiang, C.H. Kapoor, A. Liao, H. Liu, Z.-A. Sharma, R. Song, J.N. Tao, J. Wang, C. Wang, J. Wang, Z. Zhang, H. Agapitos, A. Ban, Y. Levin, A. Li, C. Li, Q. Mao, Y. Qian, S.J. Sun, X. Wang, D. Yang, H. Yerevan Physics Institute Yerevan Armenia Institut für Hochenergiephysik Vienna Austria Universiteit Antwerpen Antwerpen Belgium Vrije Universiteit Brussel Brussel Belgium Université Libre de Bruxelles Bruxelles Belgium Ghent University Ghent Belgium Université Catholique de Louvain Louvain-la-Neuve Belgium Centro Brasileiro de Pesquisas Fisicas Rio de Janeiro Brazil Universidade do Estado do Rio de Janeiro Rio de Janeiro Brazil Universidade Estadual Paulista Universidade Federal do ABC São Paulo Brazil Institute for Nuclear Research and Nuclear Energy Bulgarian Academy of Sciences Sofia Bulgaria University of Sofia Sofia Bulgaria Instituto De Alta Investigación Universidad de Tarapacá Casilla 7 D Arica Chile Beihang University Beijing China Department of Physics Tsinghua University Beijing China Institute of High Energy Physics Beijing China State Key Laboratory of Nuclear Physics and Technology Peking University Beijing China Sun Yat-Sen University Guangzhou China University of Science and Technology of China Hefei China Nanjing Normal University Nanjing China Institute of Modern Physics Key Laboratory of Nuclear Physics Ion-beam Application (MOE) Fudan University Shanghai China Zhejiang University Zhejiang Hangzhou China Universidad de Los Andes Bogota Colombia Universidad de Antioquia Medellin Colombia University of Split Faculty of Electrical Engineering Mechanical Engineering and Naval Architecture Split Croatia University of Split Faculty of Science Split Croatia Institute Rudjer Boskovic Zagreb Croatia University of Cyprus Nicosia Cyprus Charles University Prague Czech Republic Escuela Politecnica Nacional Quito Ecuador Universidad San Francisco de Quito Quito Ecuador Academy of Scientific Research and Technology of the Arab Republic of Egypt Egyptian Network of High Energy Physics Cairo Egypt Center for High Energy Physics (CHEP-FU) Fayoum University El-Fayoum Egypt National Institute of Chemical Physics and Biophysics Tall

A search is presented for new Higgs bosons in proton-proton (pp) collision events in which a same-sign top quark pair is produced in association with a jet, via the pp→tH/A→ttc‾ and pp→tH/A→ttu‾ processes. Here, H and A represent the extra scalar and pseudoscalar boson, respectively, of the second Higgs doublet in the generalized two-Higgs-doublet model (g2HDM). The search is based on pp collision data collected at a center-of-mass energy of 13 TeV with the CMS detector at the LHC, corresponding to an integrated luminosity of 138 fb⁻¹. Final states with a same-sign lepton pair in association with jets and missing transverse momentum are considered. New Higgs bosons in the 200–1000 GeV mass range and new Yukawa couplings between 0.1 and 1.0 are targeted in the search, for scenarios in which either H or A appear alone, or in which they coexist and interfere. No significant excess above the standard model prediction is observed. Exclusion limits are derived in the context of the g2HDM. © 2024 The Author(s)

关键词： CMS Extra Higgs boson Top quarks Yukawa couplings

来源：评论

学校读者我要写书评

暂无评论

Visual and persistence behavior modeling for DEVS in CoSMoS

Visual and persistence behavior modeling for DEVS in CoSMoS

引用

Symposium on Theory of Modeling and Simulation - DEVS Integrative M and S Symposium, DEVS 2015, Part of the 2015 Spring Simulation Multi-Conference, SpringSim 2015

作者： Fard, Mostafa D. Sarjoughian, Hessam S. School of Electrical and Computer Engineering University of Tehran Tehran Iran Arizona Center for Integrative Modeling and Simulation School of Computing Informatics and Decision Systems Engineering Arizona State University TempeAZ United States

ISBN: (纸本)9781510810600

An integrated visual modeling and simulation tool called Component-based System Modeling and Simulation (CoSMoS) is extended to support behavioral specification of parallel atomic DEVS model. An approach based on Statecharts and Graphical Modeling Framework has been developed and implemented for specifying behaviors of atomic models. One or more Statecharts can be developed for any atomic model and stored in a relational database. The behavioral modeling complements atomic and coupled DEVS structural modeling where families of models with semi-automated code generated for the DEVS-Suite simulator are systematically stored and retrieve. The behavioral modeling enriches visual development of models that have DEVS-compliant specifications with modular, component-based visual representations. The visual representation of hierarchal coupled models are automatically generated or restored. An example model is employed to show the degree of details supported both in visual representation and database representation. Current and future works are briefly described. © 2015 Society for Modeling & Simulation International (SCS).

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

A non-conservative software-based approach for detecting illegal CFEs caused by transient faults 28

A non-conservative software-based approach for detecting ill...

引用

28th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFTS 2015

作者： Rodrigues, Diego Nazarian, Ghazaleh Moreira, Álvaro Carro, Luigi Gaydadjiev, Georgi Institute of Informatics Federal University of Rio Grande Do sul Porto Alegre Brazil Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology Delft Netherlands Department of Computer Science and Engineering Chalmers University of Technology Gothenburg Sweden

ISBN: (纸本)9781509003129

Software-based methods for the detection of control-flow errors caused by transient fault usually consist in the introduction of protecting instructions both at the beginning and at the end of basic blocks. These methods are conservative in nature, in the sense that they assume that all blocks have the same probability of being the target of control flow errors. Because of that assumption they can lead to a considerable increase both in memory and performance overhead during execution time. In this paper, we propose a static analysis that provide a more refined information about which basic blocks can be the target of control-flow-errors caused by single-bit flips. This information can then be used to guide a program transformation in which only susceptible blocks have to be protected. We implemented the static analysis and program transformation in the context of the LLVM framework and performed an extensive fault injection campaign. Our experiments show that this less conservative approach can potentially lead to gains both in memory usage and in execution time while keeping high fault coverage. © 2015 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Preface

Advances in Intelligent Systems and Computing

引用

Advances in Intelligent Systems and Computing 2017年 462卷 v-vi页

作者： Kulczycki, Piotr Kóczy, László T. Mesiar, Radko Kacprzyk, Janusz Faculty of Physics and Applied Computer Science AGH University of Science and Technology Kraków Poland Systems Research Institute Polish Academy of Sciences Warsaw Poland Department of Information Technology Széchenyi István University Győr Hungary Faculty of Electrical Engineering and Informatics Budapest University of Technology and Economics Budapest Hungary Faculty of Civil Engineering Slovak University of Technology Bratislava Slovakia

来源：评论

学校读者我要写书评

暂无评论

A glimpse at Paul G. Spirakis

A glimpse at Paul G. Spirakis

引用

European Symposium on Algorithms, ESA 2015

作者： Chatzigiannakis, Ioannis Fotakis, Dimitris Kontogiannis, Spyros Michail, Othon Nikoletseas, Sotiris Pantziou, Grammati Zaroliagis, Christos Computer Technology Institute and Press ‘Diophantus’ Patras University Campus N. Kazantzaki Str. Patras Greece Sapienza University of Rome Rome Italy Division of Computer Science School of Electrical and Computer Engineering National Technical University of Athens Athens Greece Department of Computer Science and Engineering University of Ioannina Ioannina Greece Department of Computer Engineering and Informatics University of Patras Patras Greece Department of Informatics Technological Educational Institution of Athens Egaleo Greece

来源：评论

学校读者我要写书评

暂无评论

Sometimes, faculty matter: The contribution of faculty support to future engagement 122

Sometimes, faculty matter: The contribution of faculty suppo...

引用

2015 122nd ASEE Annual Conference and Exposition

作者： Wilson, Denise Jones, Diane Carlson Bates, Rebecca A. Smith, Tamara Floyd Plett, Melani Veilleux, Nanette M. Department of Electrical Engineering University of Washington Seattle United States Department of Integrated Engineering Minnesota State University Mankato United States Department of Chemical Engineering Tuskegee University United States Department of Electrical Engineering Seattle Pacific University United States Computer Science and Informatics Program Simmons College BostonMA United States

In this study, we examine the contribution of student-faculty interactions to the future engagement of students in their academic endeavors. These relationships were evaluated in a one-year longitudinal study of STEM (including engineering and computer science) students at five different institutions. These five institutions include three types of Carnegie 2010 classifications (Bac-Diverse, Master's L, and RU-VH), four geographical locations including the northwest, northeast, midwest, and southeast, and both public and private institutions with total undergraduate enrollments varying from 1,900 to 29,000 students. Both behavioral (effort, participation) and emotional (positive, negative) aspects of engagement are studied. Results show that significant relationships emerged for three of the five schools between faculty support and engagement. Formal faculty support (that provided in the context of a particular course) predicted effort (a form of behavioral engagement) at the HBCU in this study and also positive emotional engagement for both the HBCU and Teaching institution. Informal faculty support (that provided outside the context of a particular course) predicted participation (another form of behavioral engagement) and positive emotional engagement at the Research institution in the study. These results suggest that institutional culture influences how what faculty do predicts future engagement outcomes for students. At the Research institution, it appears that what happens between faculty and students outside of class influences students while at smaller or teaching-oriented institutions, what faculty do inside a class matters more. These results can provide important insight to faculty as to how to guide their interactions with students at different institutions to make the most difference in students' academic lives. © American Society for engineering Education, 2015.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Comparing Selected PSO Modifications on CEC 15 Benchmark Set

Comparing Selected PSO Modifications on CEC 15 Benchmark Set

引用

IEEE Symposium Series on Computational Intelligence

作者： Michal Pluhacek Tomas Kadavy Roman Senkerik Adam Viktorin Ivan Zelinka Faculty of Applied Informatics Tomas Bata University in Zlin T.G. Masaryka 5555 760 01 Czech Republic Faculty of Electrical Engineering and Computer Science V?B-Technical University of Ostrava 17. listopadu 15 708 33 Poruba Czech Republic

ISBN: (纸本)9781509042418

In this paper we choose to compare three popular modifications of Particle Swarm Optimization (PSO) using the recent CEC'15 benchmark set. Three different approaches for PSO modification are compared: the heterogeneous swarm, diversity-guided swarm and orthogonal learning based approach. The goal is to provide up-to date comparison of the performance of these methods on a state-of-art benchmark set and highlight the differences in performance on different types of fitness functions. The experiments were carried out according to CEC benchmark rules and statistically evaluated.

关键词： Particle swarm optimization PSO ARPSO HPSO OLPSO

来源：评论

学校读者我要写书评

暂无评论

Thin Teflon-FEP capacitors with open-tubular channels employed on low-pressure measurements for smart-grid monitoring systems

Thin Teflon-FEP capacitors with open-tubular channels employ...

引用

IEEE Conference on electrical Insulation and Dielectric Phenomena, CEIDP 2015

作者： Araújo, Ewerton Bruno Lima De Amorim, Mardson Freitas Altafim, Ruy Alberto Pisani Cavalcanti, Antonio Carlos Altafim, Ruy Alberto Corrêa Computer Systems Department Informatics Center Federal University of Paraíba João Pessoa Brazil Informatics Department Informatics Center Federal University of Paraíba João Pessoa Brazil Electrical Engineering Department São Carlos Engineering School University of São Paulo São Carlos Brazil

ISBN: (纸本)9781467374972

In order to improve quality and efficiency in electrical energy distribution, power supply companies have sought for better ways to monitor their equipment, stimulating research in smart-grid projects. Equipment subjected to constant monitoring are power and distribution transformers, in which severe faults can be avoided through preventive maintenance, such as, detecting partial discharges in early stages, conducting oil chemical analysis or monitoring transformer internal pressure. In the present contribution we discuss the use of thin voided capacitors made of fluoroethylenepropylene (FEP) films to measure pressure changes in sealed chambers, as in distribution transformers. Voided film structures are very sensitive to pressure variations due to their low mechanical resistance in the thickness direction. Here voided capacitors were fabricated using the same thermal lamination process reported to produce piezoelectrets with open tubular channels. In order to measure pressure disturbance an electrical circuit was specifically designed for detecting variations in capacitance and results correlating these changes with pressure increase are presented. © 2015 IEEE.

关键词： Preventive maintenance

来源：评论

学校读者我要写书评

暂无评论

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：