Abstract: Governments around the world are expending
considerable time and resources framing strategies and policies to
deliver energy security. The term 'energy security' has quietly
slipped into the energy lexicon without any meaningful discourse
about its meaning or assumptions. An examination of explicit and
inferred definitions finds that the concept is inherently slippery
because it is polysemic in nature having multiple dimensions and
taking on different specificities depending on the country (or
continent), timeframe or energy source to which it is applied. But
what does this mean for policymakers? Can traditional policy
approaches be used to address the problem of energy security or does
its- polysemic qualities mean that it should be treated as a 'wicked'
problem? To answer this question, the paper assesses energy security
against nine commonly cited characteristics of wicked policy
problems and finds strong evidence of 'wickedness'.
Abstract: This article attempts to analyze functionally graded beam thermal buckling along with piezoelectric layers applying based on the third order shearing deformation theory considering various boundary conditions. The beam properties are assumed to vary continuously from the lower surface to the upper surface of the beam. The equilibrium equations are derived using the total potential energy equations, Euler equations, piezoelectric material constitutive equations and third order shear deformation theory assumptions. In order to fulfill such an aim, at first functionally graded beam with piezoelectric layers applying the third order shearing deformation theory along with clamped -clamped boundary conditions are thoroughly analyzed, and then following making sure of the correctness of all the equations, the very same beam is analyzed with piezoelectric layers through simply-simply and simply-clamped boundary conditions. In this article buckling critical temperature for functionally graded beam is derived in two different ways, without piezoelectric layer and with piezoelectric layer and the results are compared together. Finally, all the conclusions obtained will be compared and contrasted with the same samples in the same and distinguished conditions through tables and charts. It would be noteworthy that in this article, the software MAPLE has been applied in order to do the numeral calculations.
Abstract: It is claimed that a new style of urban planning and
policy intertwined with ICT is emerging and urban planning and ICT
policy are no longer considered as separate disciplines. The
interactions between electronic spaces and urban spaces are so
complex and uncertain that confront urban planners and policy makers
with great challenges. However, the assumption about the relationship
between ICT and urban planning is mainly based on North American
and European experiences. In the light of empirical evidence from
Taipei City, this paper shows that this new type of urban planning and
policy intertwined with ICT has existed in Asian city for a decade as
well. Based on these results, this paper further reviews how the Taipei
City government implements this new type of urban ICT planning and
the validity and realism of its underlying assumptions. Finally, it also
explores the extent to which urban ICT planning could promote
positive synergies between physical and electronic developments.
Abstract: Only recently have water ethics received focused interest in the international water community. Because water is metabolically basic to life, an ethical dimension persists in every decision related to water. Water ethics at once express human society-s approach to water and act as guidelines for behaviour. Ideas around water are often implicit and embedded as assumptions. They can be entrenched in behaviour and difficult to contest because they are difficult to “see". By explicitly revealing the ethical ideas underlying water-related decisions, human society-s relationship with water, and with natural systems of which water is part, can be contested and shifted or be accepted with conscious intention by human society. In recent decades, improved understanding of water-s importance for ecosystem functioning and ecological services for human survival is moving us beyond this growth-driven, supplyfocused management paradigm. Environmental ethics challenge this paradigm by extending the ethical sphere to the environment and thus water or water Resources management per se. An ethical approach is a legitimate, important, and often ignored approach to effect change in environmental decision making. This qualitative research explores principles of water ethics and examines the underlying ethical precepts of selected water policy examples. The constructed water ethic principles act as a set of criteria against which a policy comparison can be established. This study shows that water Resources management is a progressive issue by embracing full public participation and a new planning model, and knowledgegeneration initiatives.
Abstract: Imprecision is a long-standing problem in CAD design
and high accuracy image-based reconstruction applications. The visual
hull which is the closed silhouette equivalent shape of the objects
of interest is an important concept in image-based reconstruction.
We extend the domain-theoretic framework, which is a robust and
imprecision capturing geometric model, to analyze the imprecision in
the output shape when the input vertices are given with imprecision.
Under this framework, we show an efficient algorithm to generate the
2D partial visual hull which represents the exact information of the
visual hull with only basic imprecision assumptions. We also show
how the visual hull from polyhedra problem can be efficiently solved
in the context of imprecise input.
Abstract: One of the most used assumptions in logic programming
and deductive databases is the so-called Closed World Assumption
(CWA), according to which the atoms that cannot be inferred
from the programs are considered to be false (i.e. a pessimistic
assumption). One of the most successful semantics of conventional
logic programs based on the CWA is the well-founded semantics.
However, the CWA is not applicable in all circumstances when
information is handled. That is, the well-founded semantics, if
conventionally defined, would behave inadequately in different cases.
The solution we adopt in this paper is to extend the well-founded
semantics in order for it to be based also on other assumptions. The
basis of (default) negative information in the well-founded semantics
is given by the so-called unfounded sets. We extend this concept
by considering optimistic, pessimistic, skeptical and paraconsistent
assumptions, used to complete missing information from a program.
Our semantics, called extended well-founded semantics, expresses
also imperfect information considered to be missing/incomplete,
uncertain and/or inconsistent, by using bilattices as multivalued
logics. We provide a method of computing the extended well-founded
semantics and show that Kripke-Kleene semantics is captured by
considering a skeptical assumption. We show also that the complexity
of the computation of our semantics is polynomial time.
Abstract: In two studies we tested the hypothesis that the
appropriate linguistic formulation of a deontic rule – i.e. the
formulation which clarifies the monadic nature of deontic operators
- should produce more correct responses than the conditional
formulation in Wason selection task. We tested this assumption by
presenting a prescription rule and a prohibition rule in conditional
vs. proper deontic formulation. We contrasted this hypothesis with
two other hypotheses derived from social contract theory and
relevance theory. According to the first theory, a deontic rule
expressed in terms of cost-benefit should elicit a cheater detection
module, sensible to mental states attributions and thus able to
discriminate intentional rule violations from accidental rule
violations. We tested this prevision by distinguishing the two types
of violations. According to relevance theory, performance in
selection task should improve by increasing cognitive effect and
decreasing cognitive effort. We tested this prevision by focusing
experimental instructions on the rule vs. the action covered by the
rule. In study 1, in which 480 undergraduates participated, we
tested these predictions through a 2 x 2 x 2 x 2 (type of the rule x
rule formulation x type of violation x experimental instructions)
between-subjects design. In study 2 – carried out by means of a 2 x
2 (rule formulation x type of violation) between-subjects design -
we retested the hypothesis of rule formulation vs. the cheaterdetection
hypothesis through a new version of selection task in
which intentional vs. accidental rule violations were better
discriminated. 240 undergraduates participated in this study.
Results corroborate our hypothesis and challenge the contrasting
assumptions. However, they show that the conditional formulation
of deontic rules produces a lower performance than what is
reported in literature.
Abstract: A climate dependent model is proposed to simulate
the population of Aedes aegypti mosquito. In developing the model,
average temperature of Shah Alam, Malaysia was used to determine
the development rate of each stage of the life cycle of mosquito.
Rainfall dependent function was proposed to simulate the hatching
rate of the eggs under several assumptions. The proposed transition
matrix was obtained and used to simulate the population of eggs,
larvae, pupae and adults mosquito. It was found that the peak of
mosquito abundance comes during a relatively dry period following a
heavy rainfall. In addition, lag time between the peaks of mosquito
abundance and dengue fever cases in Shah Alam was estimated.
Abstract: This paper describes a study of geometrically
nonlinear free vibration of thin circular functionally graded (CFGP)
plates resting on Winkler elastic foundations. The material properties
of the functionally graded composites examined here are assumed to
be graded smoothly and continuously through the direction of the
plate thickness according to a power law and are estimated using the
rule of mixture. The theoretical model is based on the classical Plate
theory and the Von-Kármán geometrical nonlinearity assumptions.
An homogenization procedure (HP) is developed to reduce the
problem considered here to that of isotropic homogeneous circular
plates resting on Winkler foundation. Hamilton-s principle is applied
and a multimode approach is derived to calculate the fundamental
nonlinear frequency parameters which are found to be in a good
agreement with the published results. On the other hand, the
influence of the foundation parameters on the nonlinear fundamental
frequency has also been analysed.
Abstract: Resistance of denial of service attacks is a key security requirement in voting protocols. Acquisti protocol plays an important role in development of internet voting protocols and claims its security without strong physical assumptions. In this study firstly Acquisti protocol is modeled in extended applied pi calculus, and then resistance of denial of service attacks is proved with ProVerif. The result is that it is not resistance of denial of service attacks because two denial of service attacks are found. Finally we give the method against the denial of service attacks.
Abstract: This paper presents the buckling analysis of short and
long functionally graded cylindrical shells under thermal and
mechanical loads. The shell properties are assumed to vary
continuously from the inner surface to the outer surface of the shell.
The equilibrium and stability equations are derived using the total
potential energy equations, Euler equations and first order shear
deformation theory assumptions. The resulting equations are solved
for simply supported boundary conditions. The critical temperature
and pressure loads are calculated for both short and long cylindrical
shells. Comparison studies show the effects of functionally graded
index, loading type and shell geometry on critical buckling loads of
short and long functionally graded cylindrical shells.
Abstract: Fracture process in mechanically loaded steel fiber
reinforced high-strength (SFRHSC) concrete is characterized by
fibers bridging the crack providing resistance to its opening.
Structural SFRHSC fracture model was created; material fracture
process was modeled, based on single fiber pull-out laws, which were
determined experimentally (for straight fibers, fibers with end hooks
(Dramix), and corrugated fibers (Tabix)) as well as obtained
numerically ( using FEM simulations). For this purpose experimental
program was realized and pull-out force versus pull-out fiber length
was obtained (for fibers embedded into concrete at different depth
and under different angle). Model predictions were validated by
15x15x60cm prisms 4 point bending tests. Fracture surfaces analysis
was realized for broken prisms with the goal to improve elaborated
model assumptions. Optimal SFRHSC structures were recognized.
Abstract: Considering non-ideal behavior of fluids and its effects on hydrodynamic and mass transfer in multiphase flow is very essential. Simulations were performed that takes into account the effects of mass transfer and mixture non-ideality on hydrodynamics reported by Irani et al. In this paper, by assuming the density of phases to be constant and Raullt-s law instead of using EOS and fugacity coefficient definition, respectively for both the liquid and gas phases, the importance of non-ideality effects on mass transfer and hydrodynamic behavior was studied. The results for a system of octane/propane (T=323 K, P =445 kpa) also indicated that the assumption of constant density in simulation had major role to diverse from experimental data. Furthermore, comparison between obtained results and the previous report indicated significant differences between experimental data and simulation results with more ideal assumptions.
Abstract: The world demand for potable water is
increasing every day with growing population. Desalination
using solar energy is suitable for potable water production
from brackish and seawater. In this paper, we present a
theoretical study of solar distillation in a single basin under
the open environmental conditions of Chabahar-Iran. The still
has a base area of 2000mm×500mm with a glass cover
inclined at 25° in order to obtain extra solar energy. We model
the still and conduct its energy balance equations under minor
assumptions. We computed the temperatures of glass cover,
seawater interface, moist air and bottom using numerical
method. The investigation addressed the following: The still
productivity, distilled water salinity and still performance in
terms of the still efficiency. Calculated still productivity in
July was higher than December. So in this paper, we show
that still productivity is directly functioning of solar radiation.