Abstract: Coloured Petri net (CPN) has been widely adopted in various areas in Computer Science, including protocol specification, performance evaluation, distributed systems and coordination in multi-agent systems. It provides a graphical representation of a system and has a strong mathematical foundation for proving various properties. This paper proposes a novel representation of a coloured Petri net using an extension of logic programming called abductive logic programming (ALP), which is purely based on classical logic. Under such a representation, an implementation of a CPN could be directly obtained, in which every inference step could be treated as a kind of equivalence preserved transformation. We would describe how to implement a CPN under such a representation using common meta-programming techniques in Prolog. We call our framework CPN-LP and illustrate its applications in modeling an intelligent agent.
Abstract: A model to identify the lifetime of target tracking
wireless sensor network is proposed. The model is a static clusterbased
architecture and aims to provide two factors. First, it is to
increase the lifetime of target tracking wireless sensor network.
Secondly, it is to enable good localization result with low energy
consumption for each sensor in the network. The model consists of
heterogeneous sensors and each sensing member node in a cluster
uses two operation modes–active mode and sleep mode. The
performance results illustrate that the proposed architecture consumes
less energy and increases lifetime than centralized and dynamic
clustering architectures, for target tracking sensor network.
Abstract: Due to the Rapid Urbanization in China, the influence of metropolises to surrounding areas grows by a tremendous speed in developed region. One of the most obvious influences is the expansion of the urban built-up areas which covers the land belongs to small towns. Around metropolitan fringe, the boundary between city and village becomes more and more obscure. So being the most sensitive area, the small towns on the fringe of metropolises have the special meaning on the research into the small towns- development. This paper chooses Sandun Town in Hangzhou of Zhejiang Province as an example, emphatically focus on aspects such as the central area proliferation, the industrial shift, the position effect, the subway effect and the commercial development, reviews a few problems of small towns in the future and the important problems in their planning by the analysis of the characteristics of the present conditions and the developing motive mechanism, so that guides small towns to develop properly by liking with these small towns and center metropolises.
Abstract: The purpose of this paper is applied Taguchi method on the optimization for PEMFC performance, and a representative Computational Fluid Dynamics (CFD) model is selectively performed for statistical analysis. The studied factors in this paper are pressure of fuel cell, operating temperature, the relative humidity of anode and cathode, porosity of gas diffusion electrode (GDE) and conductivity of GDE. The optimal combination for maximum power density is gained by using a three-level statistical method. The results confirmed that the robustness of the optimum design parameters influencing the performance of fuel cell are founded by pressure of fuel cell, 3atm; operating temperature, 353K; the relative humidity of anode, 50%; conductivity of GDE, 1000 S/m, but the relative humidity of cathode and porosity of GDE are pooled as error due to a small sum of squares. The present simulation results give designers the ideas ratify the effectiveness of the proposed robust design methodology for the performance of fuel cell.
Abstract: Although the level crossing concept has been the subject of intensive investigation over the last few years, certain problems of great interest remain unsolved. One of these concern is distribution of threshold levels. This paper presents a new threshold level allocation schemes for level crossing based on nonuniform sampling. Intuitively, it is more reasonable if the information rich regions of the signal are sampled finer and those with sparse information are sampled coarser. To achieve this objective, we propose non-linear quantization functions which dynamically assign the number of quantization levels depending on the importance of the given amplitude range. Two new approaches to determine the importance of the given amplitude segment are presented. The proposed methods are based on exponential and logarithmic functions. Various aspects of proposed techniques are discussed and experimentally validated. Its efficacy is investigated by comparison with uniform sampling.
Abstract: When a small H/W IP is designed, we can develop an
appropriate verification environment by observing the simulated
signal waves, or using the serial test vectors for the fixed output. In the
case of design and verification of a massive parallel processor with
multiple IPs, it-s difficult to make a verification system with existing
common verification environment, and to verify each partial IP. A
TestDrive verification environment can build easy and reliable
verification system that can produce highly intuitive results by
applying Modelsim and SystemVerilog-s DPI. It shows many
advantages, for example a high-level design of a GPGPU processor
design can be migrate to FPGA board immediately.
Abstract: Porcine production in China represents approximately
the 50% of the worldwide pig production. Information about pig
husbandry characteristics in China and manure properties from sows
to fatteners in intensive pig farms are not broadly available for
scientific studies as it is a time consuming, expensive task and highly
inaccessible. This study provides a report about solid pig manures
(28% dry matter) in a commercial pig farm located in the peri-urban
area of Beijing as well as a general overview of the current pig
husbandry techniques including pig breeds, feeds, diseases, housing as
well as pig manure and wastewater disposal. The main results are
intended to serve as a literature source for young scientists in order to
understand the main composition of pig manures as well as to identify
the husbandry techniques applied in an intensive pig farm in Beijing.
Abstract: As a result of the high cost of housing, the increasing population is forced to live in substandard housing and unhealthy conditions giving rise to poor residential neighborhoods. The paper examines the causes and characteristics of poor residential neighborhood. The paper finds the problems that have influence poor neighborhoods to; poverty, growth of informal sector and housing shortage. The paper asserts that poor residential neighborhoods have adverse effects on the people.
The secondary data was obtained from books, journals and seminar papers while primary data relating to building and environmental quality from structured questionnaire administered on sample of 500 household heads, from sampling frame of 5000 housing units.
The study reveals that majority of the respondents are poor and employed in informal sector. The paper suggests urban renewal and slum upgrading programs as methods in dealing with the situation and an improvement in the socio-economic circumstances of the inhabitants.
Abstract: In this paper, the phase control antenna array synthesis
is presented. The problem is formulated as a constrained optimization
problem that imposes nulls with prescribed level while maintaining
the sidelobe at a prescribed level. For efficient use of the algorithm
memory, compared to the well known Particle Swarm Optimization
(PSO), the Accelerated Particle Swarm Optimization (APSO) is used
to estimate the phase parameters of the synthesized array. The
objective function is formed using a main objective and set of
constraints with penalty factors that measure the violation of each
feasible solution in the search space to each constraint. In this case
the obtained feasible solution is guaranteed to satisfy all the
constraints. Simulation results have shown significant performance
increases and a decreased randomness in the parameter search space
compared to a single objective conventional particle swarm
optimization.
Abstract: In this study, the effect of L-arginine was examined at the neuromuscular junction of the chick biventer cervicis muscle. LArginine at 500 μg/ ml, decreased twitch response to electerical stimulation, and produced rightward shift of the dose- response curve for acetylcholine or carbachol. L-Arginine at 1000μg/ ml produced a strong shift to the right of the dose – response curve for acetylcholine or carbachol with a reduction in the efficacy. The inhibitory effect of L-arginine on the twitch response was blocked by caffeine (200μg/ ml). NO levels were also measured in the chick biventer cervicis muscle homogenates, using spectrophotometric method for the direct detection of NO, nitrite and nitrate. Total nitrite (nitrite + nitrate) was measured by a spectrophotometer at 540 nm after the conversion of nitrate to nitrite by copperized cadmium granules. NO levels were found to be significantly increased in concentrations 500 and 1000μg/ ml of L-arginine in comparison with the control group (p
Abstract: Methods for organizing web data into groups in order
to analyze web-based hypertext data and facilitate data availability
are very important in terms of the number of documents available
online. Thereby, the task of clustering web-based document structures
has many applications, e.g., improving information retrieval on the
web, better understanding of user navigation behavior, improving web
users requests servicing, and increasing web information accessibility.
In this paper we investigate a new approach for clustering web-based
hypertexts on the basis of their graph structures. The hypertexts will
be represented as so called generalized trees which are more general
than usual directed rooted trees, e.g., DOM-Trees. As a important
preprocessing step we measure the structural similarity between the
generalized trees on the basis of a similarity measure d. Then,
we apply agglomerative clustering to the obtained similarity matrix
in order to create clusters of hypertext graph patterns representing
navigation structures. In the present paper we will run our approach
on a data set of hypertext structures and obtain good results in
Web Structure Mining. Furthermore we outline the application of
our approach in Web Usage Mining as future work.
Abstract: In automotive systems almost all steps concerning the
calibration of several control systems, e.g., low idle governor or
boost pressure governor, are made with the vehicle because the timeto-
production and cost requirements on the projects do not allow for
the vehicle analysis necessary to build reliable models. Here is
presented a procedure using parametric and NN (neural network)
models that enables the generation of vehicle system models based
on normal ECU engine control unit) vehicle measurements. These
models are locally valid and permit pre and follow-up calibrations so
that, only the final calibrations have to be done with the vehicle.
Abstract: Ethnicity identification of face images is of interest in
many areas of application, but existing methods are few and limited.
This paper presents a fusion scheme that uses block-based uniform
local binary patterns and Haar wavelet transform to combine local
and global features. In particular, the LL subband coefficients of the
whole face are fused with the histograms of uniform local binary
patterns from block partitions of the face. We applied the principal
component analysis on the fused features and managed to reduce the
dimensionality of the feature space from 536 down to around 15
without sacrificing too much accuracy. We have conducted a number
of preliminary experiments using a collection of 746 subject face
images. The test results show good accuracy and demonstrate the
potential of fusing global and local features. The fusion approach is
robust, making it easy to further improve the identification at both
feature and score levels.
Abstract: A SnO2/CdS/CdTe heterojunction was fabricated by
thermal evaporation technique. The fabricated cells were annealed at
573K for periods of 60, 120 and 180 minutes. The structural
properties of the solar cells have been studied by using X-ray
diffraction. Capacitance- voltage measurements were studied for the
as-prepared and annealed cells at a frequency of 102 Hz. The
capacitance- voltage measurements indicated that these cells are
abrupt. The capacitance decreases with increasing annealing time.
The zero bias depletion region width and the carrier concentration
increased with increasing annealing time. The carrier transport
mechanism for the CdS/CdTe heterojunction in dark is tunneling
recombination. The ideality factor is 1.56 and the reverse bias
saturation current is 9.6×10-10A. The energy band lineup for the n-
CdS/p-CdTe heterojunction was investigated using current - voltage
and capacitance - voltage characteristics.
Abstract: A logic model for analyzing complex systems- stability
is very useful to many areas of sciences. In the real world, we are
enlightened from some natural phenomena such as “biosphere", “food
chain", “ecological balance" etc. By research and practice, and taking
advantage of the orthogonality and symmetry defined by the theory of
multilateral matrices, we put forward a logic analysis model of
stability of complex systems with three relations, and prove it by
means of mathematics. This logic model is usually successful in
analyzing stability of a complex system. The structure of the logic
model is not only clear and simple, but also can be easily used to
research and solve many stability problems of complex systems. As an
application, some examples are given.
Abstract: As known that efficiency of photovoltaic cells is not
high as desired level. Efficiency of PVs could be improved by
selecting convenient locations that have high solar irradiation,
sunshine duration, mild temperature, low level air pollution and dust
concentration. Additionally, some environmental parameters called
derating factors effect to decrease PV efficiencies such as cloud, high
temperature, aerosol optical depth, high dust concentration, shadow,
snow, humidity etc. In this paper, all parameters that effect PV
efficiency are considered in detail under climatic conditions of
Istanbul. A 750 Wp PV system with measurement devices is
constructed in Maslak campus of Istanbul Technical University.
Abstract: In the present work, an attempt has been made to
understand the feasibility of using UHF technique for identification
of any corona discharges/ arcing in insulating material due to water
droplets. The sensors of broadband type are useful for identification
of such discharges. It is realised that arcing initiated by liquid droplet
radiates UHF signals in the entire bandwidth up to 2 GHz. The
frequency content of the UHF signal generated due to corona/arcing
is not much varied in epoxy nanocomposites with different weight
percentage of clay content. The exfoliated/intercalated properties
were analysed through TEM studies. It is realized that corona
initiated discharges are of intermittent process. The hydrophobicity
of the material characterized through contact angle measurement. It
is realized that low Wt % of nanoclay content in epoxy resin reduces
the surface carbonization due to arcing/corona discharges. The results
of the study with gamma irradiated specimen indicates that contact
angle, discharge inception time and evaporation time of the liquid are
much lower than the virgin epoxy nanocomposite material.
Abstract: In today-s competitive global business environment,
the concept of supply chain management (SCM) continues to become
increasingly market-oriented, shifting the primary driver of the value
chain from supply to demand. Recent recommendations encourage
researchers to focus investigations on the supply chain process
integration (SCPI) capabilities that integrate a focal firm with its
network of suppliers and business customers to create value for it.
However, theoretical and empirical researches pertaining to the
antecedents and consequences of a focal firm-s SCPI capabilities have
been limited and piecemeal. The purpose of this study is to investigate
the critical determinants and consequences of a focal firm-s SCPI
capabilities. We test our proposed research framework using a sample
of 139 sales managers of manufacturing industries in Taiwan, our
research findings show that (1) both perceived business customer-s
power and focal firm-s market-oriented culture positively influences a
focal firm-s SCPI capabilities, and (2) SCPI capabilities positively
influence a focal firm-s SCM performance, both operational and
strategic benefits. Implications for practitioners and researchers and
suggestions for future research are also addressed in this study.
Abstract: Quaternary InxAlyGa1-x-yN semiconductors have
attracted much research interest because the use of this quaternary
offer the great flexibility in tailoring their band gap profile while
maintaining their lattice-matching and structural integrity. The
structural and optical properties of InxAlyGa1-x-yN alloys grown by
molecular beam epitaxy (MBE) is presented. The structural quality of
InxAlyGa1-x-yN layers was characterized using high-resolution X-ray
diffraction (HRXRD). The results confirm that the InxAlyGa1-x-yN
films had wurtzite structure and without phase separation. As the In
composition increases, the Bragg angle of the (0002) InxAlyGa1-x-yN
peak gradually decreases, indicating the increase in the lattice constant
c of the alloys. FWHM of (0002) InxAlyGa1-x-yN decreases with
increasing In composition from 0 to 0.04, that could indicate the
decrease of quality of the samples due to point defects leading to
non-uniformity of the epilayers. UV-VIS spectroscopy have been used
to study the energy band gap of InxAlyGa1-x-yN. As the indium (In)
compositions increases, the energy band gap decreases. However, for
InxAlyGa1-x-yN with In composition of 0.1, the band gap shows a
sudden increase in energy. This is probably due to local alloy
compositional fluctuations in the epilayer. The bowing parameter
which appears also to be very sensitive on In content is investigated
and obtained b = 50.08 for quaternary InxAlyGa1-x-yN alloys. From
photoluminescence (PL) measurement, green luminescence (GL)
appears at PL spectrum of InxAlyGa1-x-yN, emitted for all x at ~530 nm
and it become more pronounced as the In composition (x) increased,
which is believed cause by gallium vacancies and related to isolated
native defects.
Abstract: Operational safety of critical systems, such as nuclear power plants, industrial chemical processes and means of transportation, is a major concern for system engineers and operators. A means to assure that is on-line safety monitors that deliver three safety tasks; fault detection and diagnosis, alarm annunciation and fault controlling. While current monitors deliver these tasks, benefits and limitations in their approaches have at the same time been highlighted. Drawing from those benefits, this paper develops a distributed monitor based on semi-independent agents, i.e. a multiagent system, and monitoring knowledge derived from a safety assessment model of the monitored system. Agents are deployed hierarchically and provided with knowledge portions and collaboration protocols to reason and integrate over the operational conditions of the components of the monitored system. The monitor aims to address limitations arising from the large-scale, complicated behaviour and distributed nature of monitored systems and deliver the aforementioned three monitoring tasks effectively.