检索结果-南通市图书馆

Eventual Leader Election with Weak Assumptions on Initial Knowledge,Communication Reliability,and Synchrony

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2010年第6期25卷 1267-1281页

作者： Antonio Fernndez Anta Ernesto Jimnez michel Raynal Institute IMDEA Networks Avenida del Mar Mediterraneo EUI Universidad Politcnica de Madrid IRISA Universit de Rennes

This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash（t〈n,where n is the total number of processes）.It considers weak assumptions both on the initial knowledge of the processes and on the network *** precisely,initially,a process knows only its identity and the fact that the process identities are different and totally ordered（it knows neither n nor t）.Two eventual leader election protocols and a lower bound are *** first protocol assumes that a process also knows a lower bound α on the number of processes that do not *** protocol requires the following behavioral properties from the underlying network：the graph made up of the correct processes and fair lossy links is strongly connected,and there is a correct process connected to（n〈f）-α other correct processes（where f is the actual number of crashes in the considered run） through eventually timely paths（paths made up of correct processes and eventually timely links）.This protocol is not communication-efficient in the sense that each correct process has to send messages *** second protocol is communication-efficient：after some time,only the final common leader has to send messages *** protocol does not require the processes to know α,but requires stronger properties from the underlying network：each pair of correct processes has to be connected by fair lossy links（one in each direction）,and there is a correct process whose n〈f-1 output links to the rest of correct processes have to be eventually timely.A matching lower bound result shows that any eventual leader election protocol must have runs with this number of eventually timely links,even if all processes know all the processes *** addition to being communication-efficient,the second protocol has another noteworthy efficiency property,namely,be the run finite or infinite,all the local variables and message fields have

关键词： eventually timely and fair lossy links eventual leader election failure detector omega leader oracle process initial knowledge

Test access to deeply embedded analog terminals within an A/MS SoC

在线全文

学校读者我要写书评

暂无评论

Journal of Zhejiang University-Science A(Applied Physics & Engineering) 2007年第10期8卷 1543-1552页

作者： NIARAKI Asli Rahebeh MIRZAKUCHAKI Sattar NAVABI Zainalabedin RENOVELL michel College of Electrical and Computer Engineering Iran University of Science and Technology 16846-13114 Tehran Iran Electrical and Computer Engineering Department University of Tehran 14399 Tehran Iran Laboratoire d'informatique Robotique et Microeiectronique de Montpelier (LIRMM) 161 Rue Ada 34392 Montpellier Cedex 5 France

This paper presents a standard scalable and reconfigurable design for testability (SR DfT) in order to increase ac- cessibility to deeply embedded A/MS cores and to limit application of costly off-chip mixed-signal testers. SR DfT is an oscilla- tion-based wrapper compatible with digital embedded core-based SoC test methodologies. The impact of the optimized oscilla- tion-based wrapper design on MS SoC testing is evaluated in two directions: area and test time. Experimental results are presented for several SoCs from the ITC’02 test benchmarks with inclusion of eight analog filters.

关键词： Scalable design for testability (DIT) Reconfigurable architecture Embedded A/MS testing Modular testing Built-in self test (BIST)

Post-inflammatory acquired atresia of the external auditory canal

在线全文

学校读者我要写书评

暂无评论

Journal of Otology 2019年第4期14卷 149-154页

作者： michel Kmeid Jade Nehme School of Medicine Lebanese UniversityBeirutLebanon Lebanese University Department of OtolaryngologyHead and Neck SurgeryBeirutLebanon

Acquired atresia of the external auditory canal(EAC)is a rare cause of conductive hearing *** has been traditionally classified into 4 categories:traumatic,post-operative,neoplastic and ***-inflammatory acquired auditory canal atresia is thought to be the result of chronic and repetitive infectious bouts affecting the auditory ***,the underlying pathophysiology of this disorder is yet to be fully *** data fail to clearly state the impact that certain underlying systemic disorders may have on the *** possible association to metabolic disturbances such as iron deficiency is also *** the light of these findings,this analysis can be used to improve the classification of this entity thereby standardizing the assessment of therapeutic approaches.

关键词： Stenosing external otitis Meatal atresia External auditory canal Conductive hearing loss Canaloplasty

Numerical Diffusion Control of a Space-Time Discontinuous Galerkin Method

在线全文

学校读者我要写书评

暂无评论

Communications in Computational Physics 2009年第2期5卷 469-483页

作者： michel Borrel Juliette Ryan ONERA BP72-29 Avenue de la Division Leclerc92322Chatillon CedexFrance

Variations on space-time Discontinuous Galerkin(STDG)discretization associated to Runge-Kutta schemes are *** new schemes while keeping the original scheme order can improve accuracy and *** analysis is made on academ... 详细信息

关键词： Gas dynamics aeroacoustics discontinuous Galerkin discretization Runge-Kutta schemes numerical diffusion control

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

*** and Underconsumption

学术界 2018年第7期 210-219页

作者： Zhou Qiang Prum michel School of Government Peking University Beijing 100871 School of EILA Paris Diderot University Paris7 Paris75013

When Tony Blair and New Labour came to office in Britain late in the 20th century,John Atkinson Hobson( 1858-1940) was rediscovered and republished. In spite of his prolific work( over 50 books),he had sunk into oblivion. Yet John Maynard Keynes paid tribute to him( T he General T heory of Employment,Interest and Money,1936) and recognized his debt to this"heretic"of economics. Hobson's contribution to the history of economic thought is a major one,thanks to his stimulating analysis of under-consumption. His book Imperialism,A Study( 1902) was Lenin's bedside reading. But Hobson was no socialist: he w as a"N ew Liberal",belonging to a group of theoreticians who thought that classical liberalism had to be changed radically if it was to have any future.

关键词：自由主义布莱尔办公室经济

Thermal performance of lightweight concrete applications in building envelopes in Lebanon

在线全文

学校读者我要写书评

暂无评论

Building Simulation 2021年第5期14卷 1359-1375页

作者： Emilio Sassine Elias Kinab Yassine Cherif Emmanuel Antczak michel Nasrallah Lebanese University Habitat and Energy UnitGroup of Thermal and Renewable Energies-Laboratory of Applied Physics(LPA-GMTER)Faculty of SciencesFanar CampusLebanon Lebanese University Faculty of EngineeringRoumiehEl MetnLebanon Univ.Artois ULR4515Laboratoire de Genie Civil et geo-Environnement(LGCgE)BethuneF-62400France CC Technique Memari StreetHamraBeirutLebanon

Innovative building materials are being used in building envelopes for reducing their heating and cooling *** paper aims to assess the thermal impact of using lightweight concrete in Lebanese building constructions by pouring an 8 cm thickness of lightweight concrete on the roof and the slab and replacing traditional hollow concrete block by lightweight concrete *** properties of two different samples were experimentally determined:the first one(558 kg/m^(3))used for the roof and the slab and the second one(1074 kg/m^(3))used for the *** numerical simulations were carried out for a Lebanese traditional detached house using the characteristics of these two *** thermally improved Light Weight Concrete building(LWC)was compared to a traditional Lebanese house base case(BC)using a dynamic building energy simulation tool in the four different Lebanese climate zones:coastal,mid-mountain,mountain,and inland *** results highlight the effectiveness of integrating LWC to building envelopes by reducing energy consumption and improving thermal comfort in both winter and summer climate conditions and in the different Lebanese climatic *** paper demonstrates that the use of LWC in the vertical walls replacing the traditional hollow blocks can reduce the heating needs by up to 9%and by up to 13%for cooling *** the other hand,adding a LWC roof screed has a very high impact on cooling and heating energy consumption,which can reach up to 74%in cooling energy savings and up to 24%in heating energy savings.

关键词： lightweight concrete thermal properties building energy simulation thermal insulation climatic conditions

A REVIEW OF TACTICAL PLANNING MODELS

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Science and Systems Engineering 2008年第2期17卷 204-229页

作者： Michael COMELLI michel GOURGAND David LEMOINE Blaise Pascal University-Clermont Ferrand LIMOS UMR 6158 campus des Cézeaux 63173 Aubiere cedexFrance

The aim of this paper is to give an overview on models and methods used to solve tactical planning problems. The modeling and the elaboration of the well-know tactical planning problems （master planning ＆ scheduling, material requirement planning and multi-site planning） are discussed. These problems are modeled from two ＂lot sizing＂ models called the Capacitated Lot Sizing Problem （CLSP） and Multi Level Capacitated Lot Sizing Problem （MLCLSP）. From both models, a lot of extensions has been proposed in the literature. The purpose of this paper is twofold： first, classifications of the CLSP and MLCLSP as well as their extensions are given. For each model, the major scientific contributions are mentioned. These classifications made from seventy papers give an overview of ＂lot sizing＂ models dedicated to the MPS, MRP and Multi-site and show the diversity of models. Second, from a classification, an analysis of methods used for each model is given. The instance size, best gap and reference for gap computation are given for each contribution, This work can be used to elaborate an optimization tool for tactical planning problematic such as Advanced Planning System.

关键词： Tactical planning lot sizing models resolution approach

Modelling and mathematical results arising from ferromagnetic problems

在线全文

学校读者我要写书评

暂无评论

Science China Mathematics 2012年第5期55卷 1053-1067页

作者： DESCLOUX Jean FLUECK michel RAPPAZ Jacques Department of Mathematics Ecole Polytechnique Fdrale de Lausanne (EPFL)Lausanne 1015Switzerland

Abstract In this article, we investigate the equations of magnetostaties for a configuration where a ferromagnetic material occupies a bounded domain and is surrounded by vacuum. Furthermore, the ferromagnetic law takes the form B=μ0μr（｜H｜）Hi i.e., the magnetizing field H and the magnetic induction B are collinear, but the relative permeability μr is allowed to depend on the modulus of H. We prove the well-posedness of the magnetostatic problem under suitable convexity assumptions, and the convergence of several iterative methods, both for the original problem set in the Beppo-Levi space W1（R3）, and for a finite-dimensional approximation. The theoretical results are illustrated by numerical examples, which capture the known physical phenomena.

关键词： ferromagnetism nonlinear elliptic problems finite element methods optimisation algorithms

Numerical Solution of the Gyroaverage Operator for the Finite Gyroradius Guiding-Center Model

在线全文

学校读者我要写书评

暂无评论

Communications in Computational Physics 2010年第8期8卷 484-510页

作者： Nicolas Crouseilles michel Mehrenberger Hocine Sellama INRIA Nancy Grand-Est and IRMA 7rue Rene Descartes67084 StrasbourgFrance

In this work,we are concerned with numerical approximation of the gyroaverage operators arising in plasma physics to take into account the effects of the finite Larmor radius *** methods are proposed in the space configuration and compared to the reference spectral *** then investigate the influence of the different approximations considering the coupling with some guiding-center models available in the literature.

关键词： Gyroaverage operator cubic splines Bessel function plasma simulation guidingcenter model Eulerian solvers for Vlasov