scholarly journals Modeling and analysis of air campaign resource allocation: a spatio-temporal decomposition approach

2002 ◽  
Vol 32 (3) ◽  
pp. 403-418 ◽  
Author(s):  
D. Ghose ◽  
M. Krichman ◽  
J.L. Speyer ◽  
J.S. Shamma
Keyword(s):  
Resource Allocation ◽  
Decomposition Approach ◽  
Modeling And Analysis ◽  
Temporal Decomposition ◽  
Spatio Temporal

scholarly journals Revealing two dynamic dengue epidemic clusters in Thailand

2020 ◽  
Vol 20 (1) ◽  
Author(s):  
Jue Tao Lim ◽  
Yiting Han ◽  
Borame Sue Lee Dickens ◽  
Esther Li Wen Choo ◽  
Lawrence Zheng Xiong Chew ◽  
...  
Keyword(s):  
Resource Allocation ◽  
Land Cover ◽  
Regime Switching ◽  
Urban Population ◽  
Urban Land ◽  
Dengue Case ◽  
Urban Land Cover ◽  
Dengue Outbreaks ◽  
Spatio Temporal ◽  
Dengue Epidemic

Abstract Background Thailand is home to around 69 million individuals. Dengue is hyper-endemic and all 4 serotypes are in active circulation in the country. Dengue outbreaks occur almost annually within Thailand in at least one province but the spatio-temporal and environmental interface of these outbreaks has not been studied. Methods We develop Bayesian regime switching (BRS) models to characterize outbreaks, their persistence and infer their likelihood of occurrence across time for each administrative province where dengue case counts are collected. BRS was compared against two other classification tools and their agreement is assessed. We further examine how these spatio-temporal clusters of outbreak clusters arise by comparing reported dengue case counts, urban population, urban land cover, climate and flight volumes on the province level. Results Two dynamic dengue epidemic clusters were found nationally. One cluster consists of 47 provinces and is highly outbreak prone. Provinces with a large number of case counts, urban population, urban land cover and incoming flight passengers are associated to the epidemic prone cluster of dengue. Climate has an effect on determining the probability of outbreaks over time within provinces, but have less influence on whether provinces belong to the epidemic prone cluster. BRS found high agreement with other classification tools. Conclusions Importation and urbanization drives the risk of outbreaks across regions strongly. In provinces estimated to have high epidemic persistence, more resource allocation to vector control should be applied to those localities as heightened transmission counts are likely to occur over a longer period of time. Clustering of epidemic and non-epidemic prone areas also highlights the need for prioritization of resource allocation for disease mitigation over provinces in Thailand.

MODELING AND ANALYSIS OF EMBEDDED MULTIMEDIA APPLICATIONS USING COLORED PETRI NETS

2011 ◽  
Vol 02 (02) ◽  
pp. 169-193 ◽  
Author(s):  
SOUMYAJIT DEY ◽  
PRAVEEN ROKKAM ◽  
ANUPAM BASU
Keyword(s):  
Resource Allocation ◽  
Petri Nets ◽  
Multimedia Applications ◽  
Multimedia Systems ◽  
Modeling Technique ◽  
Multiprocessor System ◽  
Multiple Time ◽  
Modeling And Analysis ◽  
Unified Modeling ◽  
On Chip

Embedded multimedia systems often run multiple time-constrained applications simultaneously. To meet the throughput constraints given in the specification, each application must be provided with enough resources by the underlying architecture, which is generally a multiprocessor system-on-chip (MPSoC). For this purpose, a mechanism for task binding and scheduling is required to provide each application with a timing guarantee, keeping in mind the available resources like processor(s) and memory bandwidth. Commonly, synchronous dataflow graphs (SDFGs) are used to model time-constrained multimedia applications. There are resource allocation strategies for SDFGs that help in formulating efficient techniques for calculating the throughput of a bounded and scheduled SDFG. The strategies are effective in terms of run-time and allocated resources. However, there is no unified modeling technique to simultaneously represent the application and the underlying architecture with resource allocation. This paper discusses a novel modeling technique using Colored Timed Petri Nets (CTPNs), which can be used to model the application as well as the architecture and the resource allocation. Such a representation helps in checking properties like liveness and boundedness for the application, taking into account the resource allocation and thus helping in defining satisfactory schedules for the executable tasks.

Sign in / Sign up

Export Citation Format

Share Document