Abstract: Colored Petri Nets (CPN) are very known kind of
high level Petri nets. With sound and complete semantics, rewriting
logic is one of very powerful logics in description and verification of
non-deterministic concurrent systems. Recently, CPN semantics are
defined in terms of rewriting logic, allowing us to built models by
formal reasoning. In this paper, we propose an automatic translation
of CPN to the rewriting logic language Maude. This tool allows
graphical editing and simulating CPN. The tool allows the user
drawing a CPN graphically and automatic translating the graphical
representation of the drawn CPN to Maude specification. Then,
Maude language is used to perform the simulation of the resulted
Maude specification. It is the first rewriting logic based environment
for this category of Petri Nets.
Abstract: Purpose of this paper is two-folded. At first it explains
the major problems that are causing stagnation in brownfield
redevelopment. In addition, these problems given the context of the
present multi-actor built environment are becoming more complex to
observe. Therefore, this paper suggests also a prospective decisionmaking
approach that is the most appropriate to observe and react on
the given stagnation problems. Such an approach should be regarded
as prescriptive-interactive decision-making approach, a barely
established branch. This approach should offer models that have
prescriptive as well as an interactive component enabling them to
successfully cope with the multi-actor environment. Overall, this
paper provides up-to-date insight on the brownfield stagnation by
gradually introducing the nowadays major problems and offers a
prospective decision-making approach how these problems could be
tackled.
Abstract: Design of Converter transformer insulation is a major
challenge. The insulation of these transformers is stressed by both
AC and DC voltages. Particle contamination is one of the major
problems in insulation structures, as they generate partial discharges
leading it to major failure of insulation. Similarly corona discharges
occur in transformer insulation. This partial discharge due to particle
movement / corona formation in insulation structure under different
voltage wave shapes, are different. In the present study, UHF
technique is adopted to understand the discharge activity and could
be realized that the characteristics of UHF signal generated under
low and high fields are different. In the case of corona generated
signal, the frequency content of the UHF sensor output lies in the
range 0.3-1.2 GHz and is not much varied except for its increase in
magnitude of discharge with the increase in applied voltage. It is
realized that the current signal injected due to partial
discharges/corona is about 4ns duration measured for first one half
cycle. Wavelet technique is adopted in the present study. It allows
one to identify the frequency content present in the signal at different
instant of time. The STD-MRA analysis helps one to identify the
frequency band in which the energy content of the UHF signal is
maximum.
Abstract: This paper presents an effective method for detecting vehicles in front of the camera-assisted car during nighttime driving. The proposed method detects vehicles based on detecting vehicle headlights and taillights using techniques of image segmentation and clustering. First, to effectively extract spotlight of interest, a segmentation process based on automatic multi-level threshold method is applied on the road-scene images. Second, to spatial clustering vehicle of detecting lamps, a grouping process based on light tracking and locating vehicle lighting patterns. For simulation, we are implemented through Da-vinci 7437 DSP board with near infrared mono-camera and tested it in the urban and rural roads. Through the test, classification performances are above 97% of true positive rate evaluated on real-time environment. Our method also has good performance in the case of clear, fog and rain weather.
Abstract: The performances of a thermoacoustic travelling-wave
refrigerator are presented. Developed in the frame of the European
project called THATEA, it is designed for providing 600 W at a
temperature of 233 K with an efficiency of 40 % relative to the
Carnot efficiency. This paper presents the device and the results of
the first measurements. For a cooling power of 210 W, a coefficient
of performance relative to Carnot of 30 % is achieved when the
refrigerator is coupled with an existing standing-wave engine.
Abstract: Detection and recognition of the Human Body Composition and extraction their measures (width and length of human body) in images are a major issue in detecting objects and the important field in Image, Signal and Vision Computing in recent years. Finding people and extraction their features in Images are particularly important problem of object recognition, because people can have high variability in the appearance. This variability may be due to the configuration of a person (e.g., standing vs. sitting vs. jogging), the pose (e.g. frontal vs. lateral view), clothing, and variations in illumination. In this study, first, Human Body is being recognized in image then the measures of Human Body extract from the image.
Abstract: According to investigating impact of complexity of
stereoscopic frame pairs on stereoscopic video coding and
transmission, a new rate control algorithm is presented. The proposed
rate control algorithm is performed on three levels: stereoscopic group
of pictures (SGOP) level, stereoscopic frame (SFrame) level and
frame level. A temporal-spatial frame complexity model is firstly
established, in the bits allocation stage, the frame complexity, position
significance and reference property between the left and right frames
are taken into account. Meanwhile, the target buffer is set according to
the frame complexity. Experimental results show that the proposed
method can efficiently control the bitrates, and it outperforms the fixed
quantization parameter method from the rate distortion perspective,
and average PSNR gain between rate-distortion curves (BDPSNR) is
0.21dB.
Abstract: The Taiwan government has invested approximately
21 billion NT dollars in the construction of bicycle paths since
bicycling has gained huge popularity as a healthy leisure and
recreational activity. This study focuses on the behavior of
recreational bicyclists in Danshuei and Bali, northern Taiwan. Data
were collected from a field investigation carried out along the
Danshuei bicycle path and Bali left-bank bicycle path. A total of 578
questionnaires were gathered for data analysis. Descriptive statistics
and Chi-Square tests were used to assess bicyclists- behaviors. The
frequency shows that, in these areas, Danshuei and Bali, most
bicyclists rented bicycles, rode the bicycle path in the afternoon for
about 2 hours. The used the bicycle path one time per week. For most,
it was the first time to ride these bicycle paths. There were significant
differences in distribution of bicycle ownership, time of day, duration
of ride, ride frequency, and whether riding occurred on weekdays or
weekends. Results indicated that most bicyclists in Danshuei and Bali
were infrequent users.
Abstract: This paper deals with the analysis of active constrained layer damping (ACLD) of doubly curved laminated composite shells using active fiber composite (AFC) materials. The constraining layer of the ACLD treatment has been considered to be made of the AFC materials. A three dimensional energy based finite element model of the smart doubly curved laminated composite shell integrated with a patch of such ACLD treatment has been developed to demonstrate the performance of the patch on enhancing the damping characteristics of the doubly curved laminated composite shells. Particular emphasis has been placed on studying the effect of variation of piezoelectric fiber orientation angle in the constraining AFC layer on the control authority of the ACLD patch.
Abstract: The aim of this paper is to determine Frenet-Serret invariants of non-null curves in Lorentzian 5-space. First, we define a vector product of four vectors, by this way, we present a method to calculate Frenet-Serret invariants of the non-null curves. Additionally, an algebraic example of presented method is illustrated.
Abstract: The counter flow solar air heaters, with four
transverse fins and wire mesh layers are constructed and investigated
experimentally for thermal efficiency at a geographic location of
Cyprus in the city of Famagusta. The absorber plate is replaced by
sixteen steel wire mesh layers, 0.18 x 0.18cm in cross section
opening and a 0.02cm in diameter. The wire mesh layers arranged in
three groups, first and second include 6 layers, while the third include
4 layers. All layers fixed in the duct parallel to the glazing and each
group separated from the others by wood frame thickness of 0.5cm to
reduce the pressure drop. The transverse fins arranged in a way to
force the air to flow through the bed like eight letter path with flow
depth 3cm. The proposed design has increased the heat transfer rate,
but on other hand causes a high pressure drop. The obtained results
show that, for air mass flow rate range between 0.011-0.036kg/s, the
thermal efficiency increases with increasing the air mass flow. The
maximum efficiency obtained is 65.6% for the mass flow rate of
0.036kg/s. Moreover, the temperature difference between the outlet
flow and the ambient temperature, ΔT, reduces as the air mass flow
rate increase. The maximum difference between the outlet and
ambient temperature obtained was 43°C for double pass for minimum
mass flow rate of 0.011kg/s. Comparison with a conventional solar
air heater collector shows a significantly development in the thermal
efficiency.
Abstract: This paper presents the development of a hybrid
thermal model for the EVO Electric AFM 140 Axial Flux Permanent
Magnet (AFPM) machine as used in hybrid and electric vehicles. The
adopted approach is based on a hybrid lumped parameter and finite
difference method. The proposed method divides each motor
component into regular elements which are connected together in a
thermal resistance network representing all the physical connections
in all three dimensions. The element shape and size are chosen
according to the component geometry to ensure consistency. The
fluid domain is lumped into one region with averaged heat transfer
parameters connecting it to the solid domain. Some model parameters
are obtained from Computation Fluid Dynamic (CFD) simulation and
empirical data. The hybrid thermal model is described by a set of
coupled linear first order differential equations which is discretised
and solved iteratively to obtain the temperature profile. The
computation involved is low and thus the model is suitable for
transient temperature predictions. The maximum error in temperature
prediction is 3.4% and the mean error is consistently lower than the
mean error due to uncertainty in measurements. The details of the
model development, temperature predictions and suggestions for
design improvements are presented in this paper.
Abstract: This paper examines the role of telecommunications in sustainable development of urban, rural and remote communities in the Northern Territory of Australia through the theoretical lens of Social Capital. Social Capital is a relatively new construct and is rapidly gaining interest among policy makers, politicians and researchers as a means to both describe and understand social and economic development. Increasingly, the concept of Social Capital, as opposed to the traditional economic indicators, is seen as a more accurate measure of well-being. Whilst the essence of Social Capital is quality social relations, the concept intersects with telecommunications and Information Communications Technology (ICT) in a number of ways. The potential of ICT to disseminate information quickly, to reach vast numbers of people simultaneously and to include the previously excluded, is immense. However, the exact nature of the relationship is not clearly defined. This paper examines the nexus between social relations of mutual benefit, telecommunications access and sustainable development. A mixed methodological approach was used to test the hypothesis that No relationship exists between Social Capital and access to telecommunications services and facilities. Four communities, which included two urban, a rural and a remote Indigenous community in the Northern Territory of Australia are the focus of this research paper.
Abstract: The quality-of-service (QoS) support for wireless
LANs has been a hot research topic during the past few years. In this paper, two QoS provisioning mechanisms are proposed for the employment in 802.11e EDCA MAC scheme. First, the proposed call
admission control mechanism can not only guarantee the QoS for the higher priority existing connections but also provide the minimum reserved bandwidth for traffic flows with lower priority. In addition, the adaptive contention window adjustment mechanism can adjust the
maximum and minimum contention window size dynamically according to the existing connection number of each AC. The collision
probability as well as the packet delay will thus be reduced effectively.
Performance results via simulations have revealed the enhanced QoS property achieved by employing these two mechanisms.
Abstract: Launch and recovery helicopter wind envelope for a
ship type was determined as the first step to the helicopter
qualification program. Flight deck velocities data were obtained by
means of a two components laser Doppler anemometer testing a
1/50th model in the wind tunnel stream. Full-scale flight deck
measurements were obtained on board the ship using a sonic
anemometer. Wind tunnel and full-scale measurements were
compared, showing good agreement and finally, a preliminary launch
and recovery helicopter wind envelope for this specific ship was
built.
Abstract: This paper provides a replacement policy for warranty products with different failure rate from the consumer-s viewpoint. Assume that the product is replaced once within a finite planning horizon, and the failure rate of the second product is lower than the failure rate of the first product. Within warranty period (WP), the failed product is corrected by minimal repair without any cost to the consumers. After WP, the failed product is repaired with a fixed repair cost to the consumers. However, each failure incurs a fixed downtime cost to the consumers over a finite planning horizon. In this paper, we derive the model of the expected total disbursement cost within a finite planning horizon and some properties of the optimal replacement policy under some reasonable conditions are obtained. Finally, numerical examples are given to illustrate the features of the optimal replacement policy under various maintenance costs.
Abstract: Among many agro- based cottage industries in India
sericulture has been promoted as an agro-based, labor intensive, rural
oriented cottage industry, providing gainful employment mainly to
the weaker and marginalized section of the society specially tribal.
Sericulture occupies the place of pride in the rural economy can be
practiced even with very low land holding, low gestation, high
returns make sericulture an ideal program, requiring little capital
investment. In 2010-2011 the employment in sericulture sector was
72.5 lakh persons. The involvement of landless rural people in tasar
sericulture is because they understood its potential for rural and tribal
upliftment. This article demonstrates that certain developmental
initiatives have been playing an important role in the socio-economic
progress of tribal masses in Raigarh district and explains the
increased returns from sericulture as a result of development
programs. The study concludes with some suggestions to improve the
long term feasibility of sericulture.
Abstract: This paper presents a modified version of the
maximum urgency first scheduling algorithm. The maximum
urgency algorithm combines the advantages of fixed and dynamic
scheduling to provide the dynamically changing systems with
flexible scheduling. This algorithm, however, has a major
shortcoming due to its scheduling mechanism which may cause a
critical task to fail. The modified maximum urgency first scheduling
algorithm resolves the mentioned problem. In this paper, we propose
two possible implementations for this algorithm by using either
earliest deadline first or modified least laxity first algorithms for
calculating the dynamic priorities. These two approaches are
compared together by simulating the two algorithms. The earliest
deadline first algorithm as the preferred implementation is then
recommended. Afterwards, we make a comparison between our
proposed algorithm and maximum urgency first algorithm using
simulation and results are presented. It is shown that modified
maximum urgency first is superior to maximum urgency first, since it
usually has less task preemption and hence, less related overhead. It
also leads to less failed non-critical tasks in overloaded situations.
Abstract: The purpose of this study was to explore the
demographic differences of international tourists according to three
main factors, including the value of time, shopping behavior and
shopping motivation. The Chatuchak Weekend Market is known as
one of the biggest weekend markets in the world. Too little academic
studies had been conducted in this area of weekend market, despite its
growth and continuous development. In general, both domestic
visitors and international tourists are attracted to the perception of
cheap and bargaining prices the weekend market. However, systematic
research study can provide reliable understanding of the perception of
the visitors.
This study focused on the group of international tourists who visited
the market and aimed to provide better insights based on the
differences in their demographic factors. Findings indicated that
several differences in value of time, shopping behavior, and shopping
motivation were identified by gender, income and age. Research
implications and directions for further studies were discussed.
Abstract: Nowadays for algae cell ultrasonication the
longitudinal ultrasonic piezosystems are used. In this paper a
possibility of creating unique ultrasonic piezoelectric system, which
would allow reducing energy losses and concentrating this energy to
a small closed volume are proposed. The current vibrating systems
whose ultrasonic energy is concentrated inside of hollow cylinder in
which water-algae mixture is flowing. Two, three or multiply
ultrasonic composite systems to concentrate total energy into a
hollow cylinder to creating strong algae cell ultrasonication are used.
The experiments and numerical FEM analysis results using diskshaped
transducer and the first biological test results on algae cell
disruption by ultrasonication are presented as well.