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: A numbers of important developments have led to an
increasing attractiveness for very high speed electrical machines
(either motor or generator). Specifically the increasing switching
speed of power electronics, high energy magnets, high strength
retaining materials, better high speed bearings and improvements in
design analysis are the primary drivers in a move to higher speed. The
design challenges come in the mechanical design both in terms of
strength and resonant modes and in the electromagnetic design
particularly in respect of iron losses and ac losses in the various
conducting parts including the rotor. This paper describes detailed
design work which has been done on a 50,000 rpm, 50kW permanent
magnet( PM) synchronous machine. It describes work on
electromagnetic and rotor eddy current losses using a variety of
methods including both 2D finite element analysis
Abstract: In CMOS integrated circuit design there is a trade-off between static power consumption and technology scaling. Recently, the power density has increased due to combination of higher clock speeds, greater functional integration, and smaller process geometries. As a result static power consumption is becoming more dominant. This is a challenge for the circuit designers. However, the designers do have a few methods which they can use to reduce this static power consumption. But all of these methods have some drawbacks. In order to achieve lower static power consumption, one has to sacrifice design area and circuit performance. In this paper, we propose a new method to reduce static power in the CMOS VLSI circuit using Variable Body Biasing technique without being penalized in area requirement and circuit performance.
Abstract: The main aim of this paper is to develop and calibrate
an econometric model for modeling prices of long term electricity
futures contracts. The calibration of our model is performed on data
from EEX AG allowing us to capture the specific features of German
electricity market. The data sample contains several structural breaks
which have to be taken into account for modeling. We model the data
with an ARIMAX model which reveals high correlation between the
price of electricity futures contracts and prices of LT futures
contracts of fuels (namely coal, natural gas and crude oil). Besides
this, also a share price index of representative electricity companies
traded on Xetra, spread between 10Y and 1Y German bonds and
exchange rate between EUR and USD appeared to have significant
explanatory power over these futures contracts on EEX.
Abstract: Recognizing behavioral patterns of financial markets
is essential for traders. Japanese candlestick chart is a common tool to
visualize and analyze such patterns in an economic time series. Since
the world was introduced to Japanese candlestick charting, traders
saw how combining this tool with intelligent technical approaches
creates a powerful formula for the savvy investors.
This paper propose a generalization to box counting method of
Grassberger-Procaccia, which is based on computing the correlation
dimension of Japanese candlesticks instead commonly used 'close'
points. The results of this method applied on several foreign
exchange rates vs. IRR (Iranian Rial). Satisfactorily show lower
chaotic dimension of Japanese candlesticks series than regular
Grassberger-Procaccia method applied merely on close points of
these same candles. This means there is some valuable information
inside candlesticks.
Abstract: The development and application of wind power for
renewable energy has attracted growing interest in recent years. Renewable energy sources are attracting much alteration as they can
reduce both environmental damage and dependence on fossil fuels. With the growing need for sustainable energy supplies, a case is made
for decentralized, stand-alone power supplies (SAPS) as an alternative to power grids. In the era which traditional petroleum energy resource
decreasing and the green house affect significant increasing, the development and usage of regenerative resources is inevitable. Due to the contribution of the pioneers, the development of regenerative resources already has a remarkable achievement; however, in the view of economy and quantity, it is still a long road for regenerative energy
to replace traditional petroleum energy. In our prospective, in stead of
investigate larger regenerative energy equipment, it is much wiser to
think about the blind side and breakthrough of the current technique.
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: Microwave heating process has been developed about sixty years while measurement system has also progressed. Because of irradiation of high frequency of microwave, researchers have been utilized many costly technical instrument measuring parameters to evaluate the performance of microwave heating system. Therefore, this paper is intended to present an easier and feasible efficiency measurement method. It can help inspecting efficiency of microwave heating system with good accuracy, while the method can also give reference to optimizing procedure for microwave heating system for various load material
Abstract: In competitive electricity markets all over the world, an adoption of suitable transmission pricing model is a problem as transmission segment still operates as a monopoly. Transmission pricing is an important tool to promote investment for various transmission services in order to provide economic, secure and reliable electricity to bulk and retail customers. The nodal pricing based on SRMC (Short Run Marginal Cost) is found extremely useful by researchers for sending correct economic signals. The marginal prices must be determined as a part of solution to optimization problem i.e. to maximize the social welfare. The need to maximize the social welfare subject to number of system operational constraints is a major challenge from computation and societal point of views. The purpose of this paper is to present a nodal transmission pricing model based on SRMC by developing new mathematical expressions of real and reactive power marginal prices using GA-Fuzzy based optimal power flow framework. The impacts of selecting different social welfare functions on power marginal prices are analyzed and verified with results reported in literature. Network revenues for two different power systems are determined using expressions derived for real and reactive power marginal prices in this paper.
Abstract: Solid oxide fuel cells have been considered in the last years as one of the most promising technologies for very highefficiency electric energy generation from hydrogen or other hydrocarbons, both with simple fuel cell plants and with integrated gas turbine-fuel cell systems. In the present study, a detailed thermodynamic analysis has been carried out. Mass and exergy balances are performed not only for the whole plant but also for each component in order to evaluate the thermal efficiency of combined cycle. Moreover, different sources of irreversibilities within the SOFC stack have been discussed and a parametric study conducted to evaluate the effect of temperature as well as pressure on SOFC irreversibilities and its performance. In this investigation methane and hydrogen have been used for fueling the SOFC stack and combustion chamber.
Abstract: Use of the Internet and the World-Wide-Web
(WWW) has become widespread in recent years and mobile agent
technology has proliferated at an equally rapid rate. In this scenario
load balancing becomes important for P2P systems. Beside P2P
systems can be highly heterogeneous, i.e., they may consists of peers
that range from old desktops to powerful servers connected to
internet through high-bandwidth lines. There are various loads
balancing policies came into picture. Primitive one is Message
Passing Interface (MPI). Its wide availability and portability make it
an attractive choice; however the communication requirements are
sometimes inefficient when implementing the primitives provided by
MPI. In this scenario we use the concept of mobile agent because
Mobile agent (MA) based approach have the merits of high
flexibility, efficiency, low network traffic, less communication
latency as well as highly asynchronous. In this study we present
decentralized load balancing scheme using mobile agent technology
in which when a node is overloaded, task migrates to less utilized
nodes so as to share the workload. However, the decision of which
nodes receive migrating task is made in real-time by defining certain
load balancing policies. These policies are executed on PMADE (A
Platform for Mobile Agent Distribution and Execution) in
decentralized manner using JuxtaNet and various load balancing
metrics are discussed.
Abstract: IEEE 802.15.4a impulse radio-time hopping ultra wide
band (IR-TH UWB) physical layer, due to small duty cycle and very
short pulse widths is robust against multipath propagation. However,
scattering and reflections with the large number of obstacles in indoor
channel environments, give rise to dense multipath fading. It imposes
serious problem to optimum Rake receiver architectures, for which
very large number of fingers are needed. Presence of strong noise
also affects the reception of fine pulses having extremely low power
spectral density. A robust SRake receiver for IEEE 802.15.4a IRTH
UWB in dense multipath and additive white Gaussian noise
(AWGN) is proposed to efficiently recover the weak signals with
much reduced complexity. It adaptively increases the signal to noise
(SNR) by decreasing noise through a recursive least square (RLS)
algorithm. For simulation, dense multipath environment of IEEE
802.15.4a industrial non line of sight (NLOS) is employed. The power
delay profile (PDF) and the cumulative distribution function (CDF)
for the respective channel environment are found. Moreover, the error
performance of the proposed architecture is evaluated in comparison
with conventional SRake and AWGN correlation receivers. The
simulation results indicate a substantial performance improvement
with very less number of Rake fingers.
Abstract: Various solar energy technologies exist and they have
different application techniques in the generation of electrical power.
The widespread use of photovoltaic (PV) modules in such
technologies has been limited by relatively high costs and low
efficiencies. The efficiency of PV panels decreases as the operating
temperatures increase. This is due to the affect of solar intensity and
ambient temperature. In this work, Computational Fluid Dynamics
(CFD) was used to model the heat transfer from a standard PV panel
and thus determine the rate of dissipation of heat. To accurately
model the specific climatic conditions of the United Arab Emirates
(UAE), a case study of a new build green building in Dubai was
used. A finned heat pipe arrangement is proposed and analyzed to
determine the improved heat dissipation and thus improved
performance efficiency of the PV panel. A prototype of the
arrangement is built for experimental testing to validate the CFD
modeling and proof of concept.
Abstract: The fault current levels through the electric devices
have a significant impact on failure probability. New fault current
results in exceeding the rated capacity of circuit breaker and switching
equipments and changes operation characteristic of overcurrent relay.
In order to solve these problems, SFCL (Superconducting Fault
Current Limiter) has rising as one of new alternatives so as to improve
these problems. A fault current reduction differs depending on
installed location. Therefore, a location of SFCL is very important.
Also, SFCL decreases the fault current, and it prevents surrounding
protective devices to be exposed to fault current, it then will bring a
change of reliability. In this paper, we propose method which
determines the optimal location when SFCL is installed in power
system. In addition, the reliability about the power system which
SFCL was installed is evaluated. The efficiency and effectiveness of
this method are also shown by numerical examples and the reliability
indices are evaluated in this study at each load points. These results
show a reliability change of a system when SFCL was installed.
Abstract: Microwave energy can be used for drying purpose. It is unique process. It is distinctly different from conventional drying process. It is advantageous over conventional drying / heating processes. When microwave energy is used for drying purpose, the process can be accelerated with a better control to achieve uniform heating, more conversion efficiency, selective drying and ultimately improved product quality of the output. Also, less floor space and compact system are the added advantages. Existing low power microwave drying system is to be modified with suitable applicator. Appropriate sensors are to be used to measure parameters like moisture, temperature, weight of sample. Suitable high tech controller is to be used to control microwave power continuously from minimum to maximum. Phase - controller, cycle - controller and PWM - controller are some of the advanced power control techniques. It has been proposed to work on turmeric using high-tech phase controller to control the microwave power conveniently. The drying of turmeric with microwave energy employing phase controller gives better results as formulated in this paper and hence new approach of processing turmeric will open future doors of profit making to allied industries and the farmers.
Abstract: In this paper we study the resource allocation problem
for an OFDMA based cooperative two-way relaying (TWR) network.
We focus on amplify and forward (AF) analog network coding
(ANC) protocol. An optimization problem for two basic resources
namely, sub-carrier and power is formulated for multi-user TWR
networks. A joint optimal optimization problem is investigated and
two-step low complexity sub-optimal resource allocation algorithm is
proposed for multi-user TWR networks with ANC protocol. The
proposed algorithm has been evaluated in term of total achievable
system sum-rate and achievable individual sum-rate for each userpair.
The good tradeoff between system sum-rate and fairness is
observed in the two-step proportional resource allocation scheme.
Abstract: The study area receives a wide variety of wastes
generated by municipalities and the industries like paints and
pigments, metal processing industries, thermal power plants electroprocessing
industries etc. The Physico-chemical and structural
investigation of water from river Pandu indicated high level of
chlorides and calcium which made the water unsuitable for human
use. Algae like Cyclotella fumida, Asterionella Formosa,
Cladophora glomerata, Pediastrum simplex, Scenedesmus bijuga,
Cladophora glomerata were the dominant pollution tolerant species
recorded under these conditions. The sensitive and less abundant
species of algae included Spirogyra sps., Merismopedia sps. The
predominance colonies of Zygnema sps, Phormidium sps,
Mycrocystis aeruginosa, Merismopedia minima, Pandorina morum,
seems to correlate with high organic contents of Pandu river water.
This study assumes significance as some algae can be used as
bioindicators of water pollution and algal floral of a municipal drain
carrying waste effluents from industrial area Kanpur and discharge
them into the river Pandu flowing onto southern outskirts of Kanpur
city.
Abstract: With continuous rise of oil price, how to develop alternative energy source has become a hot topic around the world. This study discussed the dynamic characteristics of an island power system operating under random wind speed lower than nominal wind
speeds of wind turbines. The system primarily consists of three diesel engine power generation systems, three constant-speed variable-pitch wind turbines, a small hydraulic induction generation system, and lumped static loads. Detailed models based on Matlab/Simulink were developed to cater for the dynamic behavior of the system. The results suggested this island power system can operate stably in this operational mode. This study can serve as an important reference for planning, operation, and further expansion of island power systems.
Abstract: The focal spot of a high intensity focused ultrasound
transducer is small. To heat a large target volume, multiple treatment spots are required. If the power of each treatment spot is fixed, it could
results in insufficient heating of initial spots and over-heating of later ones, which is caused by the thermal diffusion. Hence, to produce a
uniform heated volume, the delivered energy of each treatment spot
should be properly adjusted. In this study, we proposed an iterative, extrapolation technique to adjust the required ultrasound energy of
each treatment spot. Three different scanning pathways were used to evaluate the performance of this technique. Results indicate that by using the proposed technique, uniform heating volume could be obtained.
Abstract: For micro-gyroscopes, the angular rate detection components have to oscillate forwards and backwards alternatively. An innovative design of micro-electromagnetic drive module is proposed to make a Π-type disc reciprocally and efficiently rotate within a certain of angular interval. Twelve Electromagnetic poles enclosing the thin disc are designed to provide the magnetic drive power. Isotropic etching technique is employed to fabricate the high-aspect-ratio trench, so that the contact angle of wire against trench can be increased and the potential defect of cavities and pores within the wire can be prevented. On the other hand, a Π-type thin disc is designed to conduct the pitch motion as an angular excitation, in addition to spinning, is exerted on the gyroscope. The efficacy of the micro-magnetic drive module is verified by the commercial software, Ansoft Maxewll. In comparison with the conventional planar windings in micro-scale systems, the magnetic drive force is increased by 150%.