Internet of Things (IoT) and cloud computing technologies have connected the infrastructure of the city to make the context-aware and more intelligent city for utility its major resources. These technologies have much potential to solve thechallenges of urban areas around the globe to facilitate the citizens. A framework model that enables the integration of sensor’s data and analysis of ...

We have developed a one-dimensional radiative-convective model with detailed cloud microphysics, and used it to study the formation of Arctic Stratus clouds (ASC). The model contains detailed radiative and microphysical modules, and it provides a self-consistent treatment of the interaction between radiative and cloud microphysical processes important for cloud formation. The radiative transfer...

We outline the design of a framework for specifying and reasoning about cloud computing systems. The methodology is based on a declarative programming model which takes the form of a λ-calculus enriched with suitable mechanisms to express and enforce application-level security policies governing usages of resources available in the clouds. We will focus on the server side of cloud systems, by a...

Integrating various suppliers to satisfy market demand is of great importance for e ective supply chain management. In this paper, we consider the ODE-PDE model of supply chain and apply a classical explicit fourth-order Runge-Kutta scheme for the related ODE model of suppliers. Also, the convergence of the proposed method is proved. Finally a numerical example is studied to demonstrate the acc...

In this brief article we specify an “individual-based” continuous time model for swarm aggregation in n-dimensional space and study its stability properties. We show that the individuals (autonomous agents or biological creatures) will form a cohesive swarm in a finite time. Moreover, we obtain an explicit bound on the swarm size, which depends only on the parameters of the swarm model.

A numerical simulation has been carried out to study the detonability characteristics of two- phase unconfined clouds. The parameters equivalence ratio, turbulence, shape, volume and uniformity of the cloud and the delay time distribution are recognized and introduced as the most important factors determining the reactivity of the cloud and influencing the initiation of a successful detonation....

A numerical simulation has been carried out to study the detonability characteristics of two- phase unconfined clouds. The parameters equivalence ratio, turbulence, shape, volume and uniformity of the cloud and the delay time distribution are recognized and introduced as the most important factors determining the reactivity of the cloud and influencing the initiation of a successful detonation....

Arctic climate change inwinter is tightly linked to changes in the strength of surface temperature inversions, which occur frequently in the present climate as Arctic air masses form during polar night. Recent work proposed that, in a warmer climate, increasing low-cloud optical thickness of maritime air advected over highlatitude landmasses during polar night could suppress the formation of Ar...

We outline the design of a framework for modelling cloud computing systems.The approach is based on a declarative programming model which takes the form of a λ -calculus enriched with suitable mechanisms to express and enforce application-level security policies governing usages of resources available in the clouds. We will focus on the server side of cloud systems, by adopting a pro-active app...

The formulation of the cloud-radiation feedback is compounded by extreme variability of clouds over a wide range of scales. In this study, we address the problem of geometry and spatial inhomogeneity in stratiform cloud layers and its influence on cloud optical depth. The investigation is based on the Cooperative Institute for Mesoscale Meteorological Studies (CIMMS) large eddy simulation model...