◾ Mutual Exclusion

2014 ◽  
pp. 160-183
Keyword(s):  
2019 ◽  
Vol 139 (7) ◽  
pp. 802-811
Author(s):  
Kenta Fujimoto ◽  
Shingo Oidate ◽  
Yuhei Yabuta ◽  
Atsuyuki Takahashi ◽  
Takuya Yamasaki ◽  
...  

1995 ◽  
Vol 32 (4) ◽  
pp. 77-88 ◽  
Author(s):  
H. Horn ◽  
D. Uhlmann

Since 1975, different patterns of the growth of Fragilaria and Cyanobacteria in the mid or late summer have been observed in the Saidenbach Reservoir. In most of the years, there was a mutual exclusion of mass growths of these two groups. High yields of Fragilaria caused low yields of blue-greens and vice versa. In the first years, Fragilaria was always the first to achieve a mass growth, followed by the Cyanobacteria. Then, in the last years, the blue-greens were succeeded by Fragilaria. Only in some years, there was a large and simultaneous growth of both groups. It has been shown, that the supply of silicon and phosphorus immediately before controlled the pattern of succession in the midsummer period. Mostly, the Si:P ratio was the regulating factor, but there were also years in which the absolute concentration level of these two nutrients were either non-limiting high or below the minimum resource concentration necessary to compensate for the losses. In these cases, the Si:P ratio lost its controlling function. Other influencing factors are discussed, in particular the effect of turbulent mixing. The special nutrient conditions in the midsummer were not only determined by the external load but also by the Si depletion during the spring mass development of diatoms other than Fragilaria, which mostly is physically controlled. Therefore, the succession pattern in the midsummer is sensitive to the meteorological conditions to a large extent.


Author(s):  
András Éles ◽  
István Heckl ◽  
Heriberto Cabezas

AbstractA mathematical model is introduced to solve a mobile workforce management problem. In such a problem there are a number of tasks to be executed at different locations by various teams. For example, when an electricity utility company has to deal with planned system upgrades and damages caused by storms. The aim is to determine the schedule of the teams in such a way that the overall cost is minimal. The mobile workforce management problem involves scheduling. The following questions should be answered: when to perform a task, how to route vehicles—the vehicle routing problem—and the order the sites should be visited and by which teams. These problems are already complex in themselves. This paper proposes an integrated mathematical programming model formulation, which, by the assignment of its binary variables, can be easily included in heuristic algorithmic frameworks. In the problem specification, a wide range of parameters can be set. This includes absolute and expected time windows for tasks, packing and unpacking in case of team movement, resource utilization, relations between tasks such as precedence, mutual exclusion or parallel execution, and team-dependent travelling and execution times and costs. To make the model able to solve larger problems, an algorithmic framework is also implemented which can be used to find heuristic solutions in acceptable time. This latter solution method can be used as an alternative. Computational performance is examined through a series of test cases in which the most important factors are scaled.


Author(s):  
Dang Duy Bui ◽  
Kazuhiro Ogata

AbstractThe mutual exclusion protocol invented by Mellor-Crummey and Scott (called MCS protocol) is used to exemplify that state picture designs based on which the state machine graphical animation (SMGA) tool produces graphical animations should be better visualized. Variants of MCS protocol have been used in Java virtual machines and therefore the 2006 Edsger W. Dijkstra Prize in Distributed Computing went to their paper on MCS protocol. The new state picture design of a state machine formalizing MCS protocol is assessed based on Gestalt principles, more specifically proximity principle and similarity principle. We report on a core part of a formal verification case study in which the new state picture design and the SMGA tool largely contributed to the successful completion of the formal proof that MCS protocol enjoys the mutual exclusion property. The lessons learned acquired through our experiments are summarized as two groups of tips. The first group is some new tips on how to make state picture designs. The second one is some tips on how to conjecture state machine characteristics by using the SMGA tool. We also report on one more case study in which the state picture design has been made for the mutual exclusion protocol invented by Anderson (called Anderson protocol) and some characteristics of the protocol have been discovered based on the tips.


2021 ◽  
Vol 9 (3) ◽  
pp. 659
Author(s):  
Elias Asimakis ◽  
Panagiota Stathopoulou ◽  
Apostolis Sapounas ◽  
Kanjana Khaeso ◽  
Costas Batargias ◽  
...  

Various factors, including the insect host, diet, and surrounding ecosystem can shape the structure of the bacterial communities of insects. We have employed next generation, high-throughput sequencing of the 16S rRNA to characterize the bacteriome of wild Zeugodacus (Bactrocera) cucurbitae (Coquillett) flies from three regions of Bangladesh. The tested populations developed distinct bacterial communities with differences in bacterial composition, suggesting that geography has an impact on the fly bacteriome. The dominant bacteria belonged to the families Enterobacteriaceae, Dysgomonadaceae and Orbaceae, with the genera Dysgonomonas, Orbus and Citrobacter showing the highest relative abundance across populations. Network analysis indicated variable interactions between operational taxonomic units (OTUs), with cases of mutual exclusion and copresence. Certain bacterial genera with high relative abundance were also characterized by a high degree of interactions. Interestingly, genera with a low relative abundance like Shimwellia, Gilliamella, and Chishuiella were among those that showed abundant interactions, suggesting that they are also important components of the bacterial community. Such knowledge could help us identify ideal wild populations for domestication in the context of the sterile insect technique or similar biotechnological methods. Further characterization of this bacterial diversity with transcriptomic and metabolic approaches, could also reveal their specific role in Z. cucurbitae physiology.


2011 ◽  
Vol 25 (6) ◽  
pp. 947-969 ◽  
Author(s):  
Wim H. Hesselink ◽  
Mark IJbema
Keyword(s):  

2002 ◽  
Vol 12 (03n04) ◽  
pp. 341-358
Author(s):  
KRISHNA M. KAVI ◽  
DINESH P. MEHTA

This paper presents two algorithms for mutual exclusion on optical bus architectures including the folded one-dimensional bus, the one-dimensional array with pipelined buses (1D APPB), and the two-dimensional array with pipelined buses (2D APPB). The first algorithm guarantees mutual exclusion, while the second guarantees both mutual exclusion and fairness. Both algorithms exploit the predictability of propagation delays in optical buses.


2018 ◽  
Vol 751 ◽  
pp. 46-60
Author(s):  
Yoram Moses ◽  
Katia Patkin
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document