Abstract: Morgan-s refinement calculus (MRC) is one of the
well-known methods allowing the formality presented in the program
specification to be continued all the way to code. On the other hand,
Object-Z (OZ) is an extension of Z adding support for classes and
objects. There are a number of methods for obtaining code from OZ
specifications that can be categorized into refinement and animation
methods. As far as we know, only one refinement method exists
which refines OZ specifications into code. However, this method
does not have fine-grained refinement rules and thus cannot be
automated. On the other hand, existing animation methods do not
present mapping rules formally and do not support the mapping of
several important constructs of OZ, such as all cases of operation
expressions and most of constructs in global paragraph. In this paper,
with the aim of providing an automatic path from OZ specifications
to code, we propose an approach to map OZ specifications into their
counterparts in MRC in order to use fine-grained refinement rules of
MRC. In this way, having counterparts of our specifications in MRC,
we can refine them into code automatically using MRC tools such as
RED. Other advantages of our work pertain to proposing mapping
rules formally, supporting the mapping of all important constructs of
Object-Z, and considering dynamic instantiation of objects while OZ
itself does not cover this facility.
Abstract: This paper presents an optimal design of poly-phase induction motor using Quadratic Interpolation based Particle Swarm Optimization (QI-PSO). The optimization algorithm considers the efficiency, starting torque and temperature rise as objective function (which are considered separately) and ten performance related items including harmonic current as constraints. The QI-PSO algorithm was implemented on a test motor and the results are compared with the Simulated Annealing (SA) technique, Standard Particle Swarm Optimization (SPSO), and normal design. Some benchmark problems are used for validating QI-PSO. From the test results QI-PSO gave better results and more suitable to motor-s design optimization. Cµ code is used for implementing entire algorithms.
Abstract: Nowadays wireless technology plays an important
role in public and personal communication. However, the growth of
wireless networking has confused the traditional boundaries between
trusted and untrusted networks. Wireless networks are subject to a
variety of threats and attacks at present. An attacker has the ability to
listen to all network traffic which becoming a potential intrusion.
Intrusion of any kind may lead to a chaotic condition. In addition,
improperly configured access points also contribute the risk to
wireless network. To overcome this issue, a security solution that
includes an intrusion detection and prevention system need to be
implemented. In this paper, first the security drawbacks of wireless
network will be analyzed then investigate the characteristics and also
the limitations on current wireless intrusion detection and prevention
system. Finally, the requirement of next wireless intrusion prevention
system will be identified including some key issues which should be
focused on in the future to overcomes those limitations.
Abstract: Optimization of extraction of phenolic compounds
from Avicennia marina using response surface methodology was
carried out during the present study. Five levels, three factors
rotatable design (CCRD) was utilized to examine the optimum
combination of extraction variables based on the TPC of Avicennia
marina leaves. The best combination of response function was 78.41
°C, drying temperature; 26.18°C; extraction temperature and 36.53
minutes of extraction time. However, the procedure can be promptly
extended to the study of several others pharmaceutical processes like
purification of bioactive substances, drying of extracts and
development of the pharmaceutical dosage forms for the benefit of
consumers.
Abstract: Analytical seismic response of multi-story building
supported on base isolation system is investigated under real
earthquake motion. The superstructure is idealized as a shear type
flexible building with lateral degree-of-freedom at each floor. The
force-deformation behaviour of the isolation system is modelled by
the bi-linear behaviour which can be effectively used to model all
isolation systems in practice. The governing equations of motion of
the isolated structural system are derived. The response of the system
is obtained numerically by step-by-method under three real recorded
earthquake motions and pulse motions associated in the near-fault
earthquake motion. The variation of the top floor acceleration, interstory
drift, base shear and bearing displacement of the isolated
building is studied under different initial stiffness of the bi-linear
isolation system. It was observed that the high initial stiffness of the
isolation system excites higher modes in base-isolated structure and
generate floor accelerations and story drift. Such behaviour of the
base-isolated building especially supported on sliding type of
isolation systems can be detrimental to sensitive equipment installed
in the building. On the other hand, the bearing displacement and base
shear found to reduce marginally with the increase of the initial
stiffness of the initial stiffness of the isolation system. Further, the
above behaviour of the base-isolated building was observed for
different parameters of the bearing (i.e. post-yield stiffness and
characteristic strength) and earthquake motions (i.e. real time history
as well as pulse type motion).
Abstract: The present energy situation and the concerns
about global warming has stimulated active research interest
in non-petroleum, carbon free compounds and non-polluting
fuels, particularly for transportation, power generation, and
agricultural sectors. Environmental concerns and limited
amount of petroleum fuels have caused interests in the
development of alternative fuels for internal combustion (IC)
engines. The petroleum crude reserves however, are declining
and consumption of transport fuels particularly in the
developing countries is increasing at high rates. Severe
shortage of liquid fuels derived from petroleum may be faced
in the second half of this century. Recently more and more
stringent environmental regulations being enacted in the USA
and Europe have led to the research and development
activities on clean alternative fuels. Among the gaseous fuels
hydrogen is considered to be one of the clean alternative fuel.
Hydrogen is an interesting candidate for future internal
combustion engine based power trains. In this experimental
investigation, the performance and combustion analysis were
carried out on a direct injection (DI) diesel engine using
hydrogen with diesel following the TMI(Time Manifold
Injection) technique at different injection timings of 10
degree,45 degree and 80 degree ATDC using an electronic
control unit (ECU) and injection durations were controlled.
Further, the tests have been carried out at a constant speed of
1500rpm at different load conditions and it can be observed
that brake thermal efficiency increases with increase in load
conditions with a maximum gain of 15% at full load
conditions during all injection strategies of hydrogen. It was
also observed that with the increase in hydrogen energy share
BSEC started reducing and it reduced to a maximum of 9% as
compared to baseline diesel at 10deg ATDC injection during
maximum injection proving the exceptional combustion
properties of hydrogen.
Abstract: To solve the quick and accurate level-adjusting
problem in the process of spacecraft precise mating, automatic leveling
and equalizing hoist device for spacecraft is developed. Based on
lifting point adjustment by utilizing XY-workbench, the leveling and
equalizing controller by a self-adaptive control algorithm is proposed.
By simulation analysis and lifting test using engineering prototype,
validity and reliability of the hoist device is verified, which can meet
the precision mating requirements of practical applications for
spacecraft.
Abstract: Regenerative Thermal Oxidizer (RTO) is one of the
best solutions for removal of Volatile Organic Compounds (VOC)
from industrial processes. In the RTO, VOC in a raw gas are usually
decomposed at 950-1300 K and the combustion heat of VOC is
recovered by regenerative heat exchangers charged with ceramic
honeycombs. The optimization of the treatment of VOC leads to the
reduction of fuel addition to VOC decomposition, the minimization of
CO2 emission and operating cost as well.
In the present work, the thermal efficiency of the RTO was
investigated experimentally in a pilot-scale RTO unit using toluene as
a typical representative of VOC. As a result, it was recognized that the
radiative heat transfer was dominant in the preheating process of a raw
gas when the gas flow rate was relatively low. Further, it was found
that a minimum heat exchanger volume to achieve self combustion of
toluene without additional heating of the RTO by fuel combustion was
dependent on both the flow rate of a raw gas and the concentration of
toluene. The thermal efficiency calculated from fuel consumption and
the decomposed toluene ratio, was found to have a maximum value of
0.95 at a raw gas mass flow rate of 1810 kg·h-1 and honeycombs height
of 1.5m.
Abstract: In the present paper, we use generalized B-Spline curve in trigonometric form on circular domain, to capture the transcendental nature of circle involute curve and uncertainty characteristic of design. The required involute curve get generated within the given tolerance limit and is useful in gear design.
Abstract: In this paper we propose a new criterion for solving
the problem of channel shortening in multi-carrier systems. In a
discrete multitone receiver, a time-domain equalizer (TEQ) reduces
intersymbol interference (ISI) by shortening the effective duration of
the channel impulse response. Minimum mean square error (MMSE)
method for TEQ does not give satisfactory results. In [1] a new
criterion for partially equalizing severe ISI channels to reduce the
cyclic prefix overhead of the discrete multitone transceiver (DMT),
assuming a fixed transmission bandwidth, is introduced. Due to
specific constrained (unit morm constraint on the target impulse
response (TIR)) in their method, the freedom to choose optimum
vector (TIR) is reduced. Better results can be obtained by avoiding
the unit norm constraint on the target impulse response (TIR). In
this paper we change the cost function proposed in [1] to the cost
function of determining the maximum of a determinant subject to
linear matrix inequality (LMI) and quadratic constraint and solve the
resulting optimization problem. Usefulness of the proposed method
is shown with the help of simulations.
Abstract: A color image edge detection algorithm is proposed in
this paper using Pseudo-complement and matrix rotation operations.
First, pseudo-complement method is applied on the image for each
channel. Then, matrix operations are applied on the output image of
the first stage. Dominant pixels are obtained by image differencing
between the pseudo-complement image and the matrix operated
image. Median filtering is carried out to smoothen the image thereby
removing the isolated pixels. Finally, the dominant or core pixels
occurring in at least two channels are selected. On plotting the
selected edge pixels, the final edge map of the given color image is
obtained. The algorithm is also tested in HSV and YCbCr color
spaces. Experimental results on both synthetic and real world images
show that the accuracy of the proposed method is comparable to
other color edge detectors. All the proposed procedures can be
applied to any image domain and runs in polynomial time.
Abstract: Extracting and elaborating software requirements and
transforming them into viable software architecture are still an
intricate task. This paper defines a solution architecture which is
based on the blurred amalgamation of problem space and solution
space. The dependencies between domain constraints, requirements
and architecture and their importance are described that are to be
considered collectively while evolving from problem space to
solution space. This paper proposes a revised version of Twin Peaks
Model named Win Peaks Model that reconciles software
requirements and architecture in more consistent and adaptable
manner. Further the conflict between stakeholders- win-requirements
is resolved by proposed Voting methodology that is simple
adaptation of win-win requirements negotiation model and QARCC.
Abstract: Vehicle which are turning or maneuvering at high speeds
are susceptible to sliding and subsequently deviate from desired path. In
this paper the dynamics governing the Yaw/Roll behavior of a vehicle
has been simulated. Two different simulations have been used one for
the real vehicle, for which a fuzzy controller is designed to increase its
directional stability property. The other simulation is for a hypothetical
vehicle with much higher tire cornering stiffness which is capable of
developing the required lateral forces at the tire-ground patch contact to
attain the desired lateral acceleration for the vehicle to follow the
desired path without slippage. This simulation model is our reference
model.
The logic for keeping the vehicle on the desired track in the cornering
or maneuvering state is to have some braking forces on the inner or
outer tires based on the direction of vehicle deviation from the desired
path. The inputs to our vehicle simulation model is steer angle δ and
vehicle velocity V , and the outputs can be any kinematical parameters
like yaw rate, yaw acceleration, side slip angle, rate of side slip angle
and so on. The proposed fuzzy controller is a feed forward controller.
This controller has two inputs which are steer angle δ and vehicle
velocity V, and the output of the controller is the correcting moment M,
which guides the vehicle back to the desired track. To develop the
membership functions for the controller inputs and output and the fuzzy
rules, the vehicle simulation has been run for 1000 times and the
correcting moment have been determined by trial and error. Results of
the vehicle simulation with fuzzy controller are very promising
and show the vehicle performance is enhanced greatly over the
vehicle without the controller. In fact the vehicle performance
with the controller is very near the performance of the reference
ideal model.
Abstract: In areas of low to moderate seismicity many building contents and equipment are not positively fixed to the floor or tied to adjacent walls. Under seismic induced horizontal vibration, such contents and equipment can suffer from damage by either overturning or impact associated with rocking. This paper focuses on the estimation of shock on typical contents and equipment due to rocking. A simplified analytical model is outlined that can be used to estimate the maximum acceleration on a rocking object given its basic geometric and mechanical properties. The developed model was validated against experimental results. The experimental results revealed that the maximum shock acceleration can be underestimated if the static stiffness of the materials at the interface between the rocking object and floor is used rather than the dynamic stiffness. Excellent agreement between the model and experimental results was found when the dynamic stiffness for the interface material was used, which was found to be generally much higher than corresponding static stiffness under different investigated boundary conditions of the cushion. The proposed model can be a beneficial tool in performing a rapid assessment of shock sensitive components considered for possible seismic rectification.
Abstract: In this paper, we propose synchronization of an array of nonlinear systems with time delays. The array of systems is decomposed into isolated systems to establish appropriate Lyapunov¬Krasovskii functional. Using the Lyapunov-Krasovskii functional, a sufficient condition for the synchronization is derived in terms of LMIs(Linear Matrix Inequalities). Delayed feedback control gains are obtained by solving the sufficient condition. Numerical examples are given to show the validity the proposed method.
Abstract: This paper presents an approach for daily optimal operation of distribution networks considering Distributed Generators (DGs). Due to private ownership of DGs, a cost based compensation method is used to encourage DGs in active and reactive power generation. The objective function is summation of electrical energy generated by DGs and substation bus (main bus) in the next day. A genetic algorithm is used to solve the optimal operation problem. The approach is tested on an IEEE34 buses distribution feeder.
Abstract: This paper mainly studies the analyses of parameters
in the intersection collision avoidance (ICA) system based on the radar
sensors. The parameters include the positioning errors, the repeat
period of the radar sensor, the conditions of potential collisions of two
cross-path vehicles, etc. The analyses of the parameters can provide
the requirements, limitations, or specifications of this ICA system. In
these analyses, the positioning errors will be increased as the measured
vehicle approach the intersection. In addition, it is not necessary to
implement the radar sensor in higher position since the positioning
sensitivities become serious as the height of the radar sensor increases.
A concept of the safety buffer distances for front and rear of the
measured vehicle is also proposed. The conditions for potential
collisions of two cross-path vehicles are also presented to facilitate the
computation algorithm.
Abstract: The effect of wood vinegar, entomopathogenic
nematodes ((Steinernema thailandensis n. sp.) and fermented organic
substances from four plants such as: Derris elliptica Roxb, Stemona
tuberosa Lour, Tinospora crispa Mier and Azadirachta indica J. were
tested on the five varieties of sweetpotato with potential for
bioethanol production ie. Taiwan, China, PROC No.65-16, Phichit
166-5, and Phichit 129-6. The experimental plots were located at
Faculty of Agriculture, Natural Resources and Environment,
Naresuan University, Phitsanulok, Thailand. The aim of this study
was to compare the efficiency of the five treatments for growth, yield
and insect infestation on the five varieties of sweetpotato. Treatment
with entomopathogenic nematodes gave the highest average weight
of sweetpotato tubers (1.3 kg/tuber), followed by wood vinegar,
fermented organic substances and mixed treatment with yields of
0.88, 0.46 and 0.43 kg/tuber, respectively. Also the
entomopathogenic nematode treatment gave significantly higher
average width and length of sweet potato (9.82 cm and 9.45 cm,
respectively). Additionally, the entomopathogenic nematode
provided the best control of insect infestation on sweetpotato leaves
and tubers. Comparison among the varieties of sweetpotato, PROC
NO.65-16 showed the highest weight and length. However, Phichit
129-6 gave significantly higher weight of 0.94 kg/tuber. Lastly, the
lowest sweet potato weevil infestation on leaves and tubers occurred
on Taiwan and Phichit 129-6.
Abstract: The goal of this research is discovering the
determinants of the success or failure of external cooperation in small
and medium enterprises (SMEs). For this, a survey was given to 190
SMEs that experienced external cooperation within the last 3 years. A
logistic regression model was used to derive organizational or strategic
characteristics that significantly influence whether external
collaboration of domestic SMEs is successful or not. Results suggest
that research and development (R&D) features in general
characteristics (both idea creation and discovering market
opportunities) that focused on and emphasized indirected-market
stakeholders (such as complementary companies and affiliates) and
strategies in innovative strategic characteristics raise the probability of
successful external cooperation. This can be used meaningfully to
build a policy or strategy for inducing successful external cooperation
or to understand the innovation of SMEs.
Abstract: An economic operation scheduling problem of a
hydro-thermal power generation system has been properly solved by
the proposed multipath adaptive tabu search algorithm (MATS). Four
reservoirs with their own hydro plants and another one thermal plant
are integrated to be a studied system used to formulate the objective
function under complicated constraints, eg water managements,
power balance and thermal generator limits. MATS with four subsearch
units (ATSs) and two stages of discarding mechanism (DM),
has been setting and trying to solve the problem through 25 trials
under function evaluation criterion. It is shown that MATS can
provide superior results with respect to single ATS and other
previous methods, genetic algorithms (GA) and differential evolution
(DE).