Abstract: UML is a collection of notations for capturing a software system specification. These notations have a specific syntax defined by the Object Management Group (OMG), but many of their constructs only present informal semantics. They are primarily graphical, with textual annotation. The inadequacies of standard UML as a vehicle for complete specification and implementation of real-time embedded systems has led to a variety of competing and complementary proposals. The Real-time UML profile (UML-RT), developed and standardized by OMG, defines a unified framework to express the time, scheduling and performance aspects of a system. We present in this paper a framework approach aimed at deriving a complete specification of a real-time system. Therefore, we combine two methods, a semiformal one, UML-RT, which allows the visual modeling of a realtime system and a formal one, CSP+T, which is a design language including the specification of real-time requirements. As to show the applicability of the approach, a correct design of a real-time system with hard real time constraints by applying a set of mapping rules is obtained.
Abstract: In this paper, The T-G-action topology on a set acted
on by a fuzzy T-neighborhood (T-neighborhood, for short) group is
defined as a final T-neighborhood topology with respect to a set of
maps. We mainly prove that this topology is a T-regular Tneighborhood
topology.
Abstract: The present work deals with the calculation of
transport properties of Hg0.8Cd0.2Te (MCT) semiconductor in
degenerate case. Due to their energy-band structure, this material
becomes degenerate at moderate doping densities, which are around
1015 cm-3, so that the usual Maxwell-Boltzmann approximation is
inaccurate in the determination of transport parameters. This problem
is faced by using Fermi-Dirac (F-D) statistics, and the non-parabolic
behavior of the bands may be approximated by the Kane model. The
Monte Carlo (MC) simulation is used here to determinate transport
parameters: drift velocity, mean energy and drift mobility versus
electric field and the doped densities. The obtained results are in
good agreement with those extracted from literature.
Abstract: A numerical method for solving the time-independent Schrödinger equation of a particle moving freely in a three-dimensional
axisymmetric region is developed. The boundary of the region
is defined by an arbitrary analytic function. The method uses a
coordinate transformation and an expansion in eigenfunctions. The
effectiveness is checked and confirmed by applying the method to a
particular example, which is a prolate spheroid.
Abstract: High strength concrete (HSC) provides high strength
but lower ductility than normal strength concrete. This low ductility
limits the benefit of using HSC in building safe structures. On the
other hand, when designing reinforced concrete beams, designers
have to limit the amount of tensile reinforcement to prevent the
brittle failure of concrete. Therefore the full potential of the use of
steel reinforcement can not be achieved. This paper presents the idea
of confining concrete in the compression zone so that the HSC will
be in a state of triaxial compression, which leads to improvements in
strength and ductility. Five beams made of HSC were cast and tested.
The cross section of the beams was 200×300 mm, with a length of 4
m and a clear span of 3.6 m subjected to four-point loading, with
emphasis placed on the midspan deflection. The first beam served as
a reference beam. The remaining beams had different tensile
reinforcement and the confinement shapes were changed to gauge
their effectiveness in improving the strength and ductility of the
beams. The compressive strength of the concrete was 85 MPa and the
tensile strength of the steel was 500 MPa and for the stirrups and
helixes was 250 MPa. Results of testing the five beams proved that
placing helixes with different diameters as a variable parameter in the
compression zone of reinforced concrete beams improve their
strength and ductility.
Abstract: Climate change is a phenomenon has been based on
the available evidence from a very long time ago and now its
existence is very probable. The speed and nature of climate
parameters changes at the middle of twentieth century has been
different and its quickness more than the before and its trend changed
to some extent comparing to the past. Climate change issue now
regarded as not only one of the most common scientific topic but also
a social political one, is not a new issue. Climate change is a
complicated atmospheric oceanic phenomenon on a global scale and
long-term. Precipitation pattern change, fast decrease of snowcovered
resources and its rapid melting, increased evaporation, the
occurrence of destroying floods, water shortage crisis, severe
reduction at the rate of harvesting agricultural products and, so on are
all the significant of climate change. To cope with this phenomenon,
its consequences and events in which public instruction is the most
important but it may be climate that no significant cant and effective
action has been done so far. The present article is included a part of
one surrey about climate change in Fars. The study area having
annually mean temperature 14 and precipitation 320 mm .23 stations
inside the basin with a common 37 year statistical period have been
applied to the meteorology data (1974-2010). Man-kendal and
change factor methods are two statistical methods, applying them, the
trend of changes and the annual mean average temperature and the
annual minimum mean temperature were studied by using them.
Based on time series for each parameter, the annual mean average
temperature and the mean of annual maximum temperature have a
rising trend so that this trend is clearer to the mean of annual
maximum temperature.
Abstract: In this paper, the fuzzy linear programming formulation
of fuzzy maximal flow problems are proposed and on the basis of the
proposed formulation a method is proposed to find the fuzzy optimal
solution of fuzzy maximal flow problems. In the proposed method all
the parameters are represented by triangular fuzzy numbers. By using
the proposed method the fuzzy optimal solution of fuzzy maximal
flow problems can be easily obtained. To illustrate the proposed
method a numerical example is solved and the obtained results are
discussed.
Abstract: In the context of business incubation (BI) as strategic
enablers, this paper critically reviews the literature relating to the
strategic benefits of BI in the Middle East. The taxonomy of BI
benefits in the strategic elements on 1) type, 2) financial model, 3)
services, 4) objectives, 5) number of clients, 6) number of graduates,
and 7) jobs creation. Understanding the importance of BI benefits can
be significant in the economic development although most incubators
lead to diversify the economy. Thus, taxonomies of the benefits of BI
are produced from both the academic literature and published case
studies. In this way, a classification of strategic benefits elements as
they relate to incubators has been developed to provide a greater
understanding of the benefits needed to obtain a specific element.
The result of this paper is Business incubators is aimed
entrepreneurship, jobs creation, research commercialization and
profitable enterprises in Middle Eastern countries.
Abstract: The aim of this study was to determine noise level of
six different types of machines in printing companies in Novi Sad.
The A-weighted levels on Leq, Lmax and Lmin Sound Pressure Level
(SPL) in dBA were measured. It was found that the folders, offset
printing presses and binding machines are the predominant noise
sources. The noise levels produced by 12 of 38 machines exceed the
limiting threshold level of 85 dBA, tolerated by law. Since it was
determined that the average noise level for folders (87.7 dB) exceeds
the permitted value the octave analysis of noise was performed.
Abstract: Extraction of lactic acid by emulsion liquid membrane technology (ELM) using n-trioctyl amine (TOA) in n-heptane as carrier within the organic membrane along with sodium carbonate as acceptor phase was optimized by using response surface methodology (RSM). A three level Box-Behnken design was employed for experimental design, analysis of the results and to depict the combined effect of five independent variables, vizlactic acid concentration in aqueous phase (cl), sodium carbonate concentration in stripping phase (cs), carrier concentration in membrane phase (ψ), treat ratio, and batch extraction time (τ)
with equal volume of organic and external aqueous phase on lactic acid extraction efficiency. The maximum lactic acid extraction efficiency (ηext) of 98.21%from aqueous phase in a batch reactor using ELM was found at the optimized values for test variables, cl, cs, ψ, and τ as 0.06 [M], 0.18 [M], 4.72 (%,v/v), 1.98 (v/v) and 13.36 min respectively.
Abstract: The objective of this work is to produce heterotrophic
microalgal lipid in flask-batch fermentation. Chlorella sp. KKU-S2
supported maximum values of 0.374 g/L/d, 0.478 g lipid/g cells, and
0.112 g/L/d for volumetric lipid production rate, and specific yield of
lipid, and specific rate of lipid production, respectively when culture
was performed on BG-11 medium supplemented with 50g/L glucose.
Among the carbon sources tested, maximum cell yield coefficient
(YX/S, g/L), maximum specific yield of lipid (YP/X, g lipid/g cells) and
volumetric lipid production rate (QP, g/L/d) were found of 0.728,
0.237, and 0.619, respectively, using sugarcane molasses as carbon
source. The main components of fatty acid from extracted lipid were
palmitic acid, stearic acid, oleic acid and linoleic acid which similar
to vegetable oils and suitable for biodiesel production.
Abstract: In the present work, a comparative study on the
microstructure and mechanical properties of as cast, cast aged and
forged aged A356 alloy has been investigated. The study reveals that
mechanical properties of A356 alloy are highly influenced by melt
treatment and solid state processing. Cast aged alloys achieve highest
strength and hardness compared to as cast and forge aged ones. Ones
treated with combined addition of grain refiners and modifiers
achieve maximum strength and hardness. Cast aged A356 alloy
possesses higher wear resistance compared to as cast and forge aged
ones. Forging improves both strength and ductility of alloys over as
cast ones. However, the improvement in ductility is perceptible only
for properly grain refined and modified alloys. Ones refined with
0.65% Al-3Ti shows highest improvement in ductility while ones
treated with 0.20% Al-10Sr exhibits less improvement in ductility.
Abstract: Climate change is a cumulative change in weather
patterns over a period of time. Trend analysis using non-parametric
Mann-Kendall test may help to determine the existence and
magnitude of any statistically significant trend in the climatic data.
Another index called Sen slope may be used to quantify the
magnitude of such trends. A toolbar extension to ESRI ArcGIS
named Arc Trends has been developed in this study for performing
the above mentioned tasks. To study the temporal trend of
meteorological parameters, 32 years (1971-2002) monthly
meteorological data were collected for 133 selected stations over
different agro-ecological regions of India. Both the maximum and
minimum temperatures were found to be rising. A significant
increasing trend in the relative humidity and a consistent significant
decreasing trend in the wind speed all over the country were found.
However, a general increase in rainfall was not found in recent years.
Abstract: The main idea behind in network aggregation is that,
rather than sending individual data items from sensors to sinks,
multiple data items are aggregated as they are forwarded by the
sensor network. Existing sensor network data aggregation techniques
assume that the nodes are preprogrammed and send data to a central
sink for offline querying and analysis. This approach faces two major
drawbacks. First, the system behavior is preprogrammed and cannot
be modified on the fly. Second, the increased energy wastage due to
the communication overhead will result in decreasing the overall
system lifetime. Thus, energy conservation is of prime consideration
in sensor network protocols in order to maximize the network-s
operational lifetime. In this paper, we give an energy efficient
approach to query processing by implementing new optimization
techniques applied to in-network aggregation. We first discuss earlier
approaches in sensors data management and highlight their
disadvantages. We then present our approach “Energy Efficient
Indexed Aggregation" (EEIA) and evaluate it through several
simulations to prove its efficiency, competence and effectiveness.
Abstract: The lubricating properties of commercially available
mucins originating from different animal organs, namely bovine
submaxillary mucin (BSM) and porcine gastric mucin (PGM), have
been characterized at polymeric surfaces for biomedical applications.
Atomic force microscopy (AFM) and pin-on-disk tribometry have
been employed for tribological studies at nanoscale and macroscale
contacts, respectively. Polystyrene (PS) was employed to represent
‘rigid’ contacts, whereas poly(dimethylsiloxane) (PDMS) was
employed to represent ‘soft contacts’. To understand the lubricating
properties of mucins in correlation with the coverage on surfaces,
adsorption properties of mucins onto the polymeric substrates have
been characterized by means of optical waveguide light-mode
spectroscopy (OWLS). Both mucins showed facile adsorption onto
both polymeric substrates, but the lubricity was highly dependent
upon the pH change between 2 and 7.
Abstract: Simulations of magnetic microstructure in elliptical
Permalloy elements used for controlled motion of magnetic particles
are discussed. The saturating field of the elliptical elements was
studied with respect to lateral dimensions for one-vortex, cross-tie,
diamond and double-diamond states as initial zero-field domain
configurations. With aspect ratio of 1:3 the short axis was varied
from 125 nm to 1000 nm, whereas the thickness was kept constant at
50 nm.
Abstract: The objective of this research work is to discuss the concept of “green growth” in the Republic of Kazakhstan introduced by its government in the “National Sustainable Development Strategy” with the objective of transition to a resource-efficient, “green economy.” We believe that emerging economies like Kazakhstan can pursue a cleaner and more efficient development path by introducing an environmental tax system based on resource consumption rather than only income and labor. The key issues discussed in this article are the eco-efficiency, which refers to closing the gap between economic and ecological efficiencies, and the structural change of the economy toward “green growth.” We also strongly believe that studying the experience of East Asian countries on “green reform” including eco-innovation and “green solutions” in business is essential to the case of Kazakhstan. All of these will raise the status of Kazakhstan to the level of one of the thirty developed countries over the next decades.
Abstract: We created the tool, which combines the powerful
GENESIS (GEneral NEural SImulation System) simulation language
with the up-to-date visualisation and internet techniques. Our
solution resides in the connection between the simulation output from
GENESIS, which is converted to the data-structure suitable for
WWW browsers and VRML (Virtual Reality Modelling Language)
viewers. The selected GENESIS simulations are once exported into
the VRML code, and stored in our neurovisualisation portal
(webserver). There, the loaded models, demonstrating mainly the
spread of electrical signal (action potentials, postsynaptic potentials)
along the neuronal membrane (axon, dendritic tree, neuron) could be
displayed in the client-s VRML viewer, without interacting with
original GENESIS environment. This enables the visualisation of
basic neurophysiological phenomena designed for GENESIS
simulator on the independent OS (operation system).
Abstract: The Czech Republic has over the past decade carried out two waves of tax and benefit reforms. The first one took place in 2005–2006 during the left-wing government and the second one has been carried out in 2008 by the right-wing government. Using EUSILC data for selected types of households, the paper assesses changes in the distribution of gross incomes and effects of the changes in taxes and benefits on the distribution of incomes after taxes and a provision of social benefits. The analysis is carried out on four types of households with and without children. The analysis is performed using Lorenz curves and Gini coefficients. The results show that the tax system changes the distribution of incomes less significantly than benefits. The 2006 reform reduced the differential between the Gini coefficient for the gross income and the Gini coefficient after taxes and benefits for households with active parents and one child. Reform in 2008 supported families with children and an reduced the differential between the gross income and income after taxes and benefits for different types of families.
Abstract: Automatic tube current modulation (ATCM) systems are available for all CT manufacturers and are used for the majority of patients. Understanding how the systems work and their influence on patient dose and image quality is important for CT users, in order to gain the most effective use of the systems. In the present study, a new phantom was used for evaluating dose distribution and image quality under the ATCM operation for the Toshiba Aquilion 64 CT scanner using different ATCM options and a fixed mAs technique. A routine chest, abdomen and pelvis (CAP) protocol was selected for study and Gafchromic film was used to measure entrance surface dose (ESD), peripheral dose and central axis dose in the phantom. The results show the dose reductions achievable with various ATCM options, in relation with the target noise. The doses and image noise distribution were more uniform when the ATCM system was implemented compared with the fixed mAs technique. The lower limit set for the tube current will affect the modulations especially for the lower dose option. This limit prevented the tube current being reduced further and therefore the lower dose ATCM setting resembled a fixed mAs technique. Selection of a lower tube current limit is likely to reduce doses for smaller patients in scans of chest and neck regions.