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: High-frequency (HF) communications have been used by military organizations for more than 90 years. The opportunity of very long range communications without the need for advanced equipment makes HF a convenient and inexpensive alternative of satellite communications. Besides the advantages, voice and data transmission over HF is a challenging task, because the HF channel generally suffers from Doppler shift and spread, multi-path, cochannel interference, and many other sources of noise. In constructing an HF data modem, all these effects must be taken into account. STANAG 4539 is a NATO standard for high-speed data transmission over HF. It allows data rates up to 12800 bps over an HF channel of 3 kHz. In this work, an efficient implementation of STANAG 4539 on a single Texas Instruments- TMS320C6747 DSP chip is described. The state-of-the-art algorithms used in the receiver and the efficiency of the implementation enables real-time high-speed data / digitized voice transmission over poor HF channels.
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: The mesoporous MoO3/γ-Al2O3 catalyst was prepared
by incipient wetness impregnation method aiming to investigate the
effect of drying method and molybdenum content on the catalyst
property and performance towards the oxidation of benzothiophene
(BT), dibenzothiophene (DBT) and 4,6-dimethyle dibenzothiophene
(4,6-DMDBT) with H2O2 for deep oxidative desulfurization of diesel
fuel. The catalyst was characterized by XRD, BET, BJH and SEM
method. The catalyst with 10wt.% and 15wt.% Mo content represent
same optimum performance for DBT and 4,6-DMDBT removal, but
a catalyst with 10wt.% Mo has higher efficiency than 15wt.% Mo for
BT conversion. The SEM images show that use of rotary evaporator
in drying step reaches a more homogenous impregnation. The
oxidation reactivity of different sulfur compounds was studied which
followed the order of DBT>4,6-DMDBT>>BT.
Abstract: Liposomal magnetofection is a simple, highly efficient
technology for cell transfection, demonstrating better outcome than a
number of other common gene delivery methods. However,
aggregate complexes distribution over the cell surface is non-uniform
due to the gradient of the permanent magnetic field. The aim of this
study was to estimate the efficiency of liposomal magnetofection for
prostate carcinoma PC3 cell line using newly designed device,
“DynaFECTOR", ensuring magnetofection in a dynamic gradient
magnetic field. Liposomal magnetofection in a dynamic gradient
magnetic field demonstrated the highest transfection efficiency for
PC3 cells – it increased for 21% in comparison with liposomal
magnetofection and for 42% in comparison with lipofection alone.
The optimal incubation time under dynamic magnetic field for PC3
cell line was 5 minutes and the optimal rotation frequency of
magnets – 5 rpm. The new approach also revealed lower cytotoxic
effect to cells than liposomal magnetofection.
Abstract: Gamboge disorder (GD) or fruit damage by the yellow sap is a major problem in mangosteen. Mangosteen plants varied in the level of GD, from very low or non GD to low, moderate and high GD. However it was difficult to differentiate between GD and non GD plants because evaluation of the disorder is strongly influenced by environment. In this study we investigated the usefulness of primer designed from bioinformatics related to cell wall strength, termed as MCWS, to predict GD. Plant materials used were 28 mangosteen plants selected based on percentage of GD categorized as high, moderate, low and very low or non GD. The result showed that the specific DNA fragments were absent in the high GD accessions. The MCWS marker suggests as a novel polymorphic marker for GD in mangosteen as well as a marker for detect variability in mangosteen as apomictic plant.
Abstract: Two novel hydrodesulfurization (HDS) catalysts:
FeN4/C and FeN2/C, were prepared using an impregnation-pyrolysis
method. The two materials were investigated as catalysts for
hydrodesulfurization (HDS) and hydrodearomitization (HDA) of
model compounds. The turnover frequency of the two FeN catalysts
is comparable to (FeN4/C) or even higher (FeN2/C) than that of
MoNi/Al2O3. The FeN4/C catalyst also exhibited catalytic activity
toward HDA.
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 importance for manipulating an incorporated
scaffold and directing cell behaviors is well appreciated for tissue
engineering. Here, we developed newly nano-topographic oxidized
silicon nanosponges capable of being various chemical modifications
to provide much insight into the fundamental biology of how cells
interact with their surrounding environment in vitro. A wet etching
technique is exerted to allow us fabricated the silicon nanosponges in a
high-throughput manner. Furthermore, various organo-silane
chemicals enabled self-assembled on the surfaces by vapor deposition.
We have found that Chinese hamster ovary (CHO) cells displayed
certain distinguishable morphogenesis, adherent responses, and
biochemical properties while cultured on these chemical modified
nano-topographic structures in compared with the planar oxidized
silicon counterparts, indicating that cell behaviors can be influenced
by certain physical characteristic derived from nano-topography in
addition to the hydrophobicity of contact surfaces crucial for cell
adhesion and spreading. Of particular, there were predominant
nano-actin punches and slender protrusions formed while cells were
cultured on the nano-topographic structures. This study shed potential
applications of these nano-topographic biomaterials for controlling
cell development in tissue engineering or basic cell biology research.
Abstract: Post cracking behavior and load –bearing capacity of
the steel fiber reinforced high-strength concrete (SFRHSC) are
dependent on the number of fibers are crossing the weakest crack
(bridged the crack) and their orientation to the crack surface. Filling
the mould by SFRHSC, fibers are moving and rotating with the
concrete matrix flow till the motion stops in each internal point of the
concrete body. Filling the same mould from the different ends
SFRHSC samples with the different internal structures (and different
strength) can be obtained. Numerical flow simulations (using Newton
and Bingham flow models) were realized, as well as single fiber
planar motion and rotation numerical and experimental investigation
(in viscous flow) was performed. X-ray pictures for prismatic
samples were obtained and internal fiber positions and orientations
were analyzed. Similarly fiber positions and orientations in cracked
cross-section were recognized and were compared with numerically
simulated. Structural SFRHSC fracture model was created based on
single fiber pull-out laws, which were determined experimentally.
Model predictions were validated by 15x15x60cm prisms 4 point
bending tests.
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: We numerically study the three-dimensional
magnetohydrodynamics (MHD) stability of oscillatory natural
convection flow in a rectangular cavity, with free top surface, filled
with a liquid metal, having an aspect ratio equal to A=L/H=5, and
subjected to a transversal temperature gradient and a uniform
magnetic field oriented in x and z directions. The finite volume
method was used in order to solve the equations of continuity,
momentum, energy, and potential. The stability diagram obtained in
this study highlights the dependence of the critical value of the
Grashof number Grcrit , with the increase of the Hartmann number
Ha for two orientations of the magnetic field. This study confirms
the possibility of stabilization of a liquid metal flow in natural
convection by application of a magnetic field and shows that the
flow stability is more important when the direction of magnetic field
is longitudinal than when the direction is transversal.
Abstract: Triglycerides and their derivatives are considered as viable alternatives for diesel fuels. Rice bran oil is used as diesel fuel. Highly viscous rice bran oil can be reduced by blending it with diesel fuel. The present research is aimed to investigate experimentally the performance, exhaust emission and combustion characteristics of a direct injection (DI) diesel engine, typically used in agricultural sector, over the entire load range when fuelled with rice bran oil and diesel fuel blends, RB10 (10% rice bran oil + 90% diesel fuel) to RB50. The performance, emission and combustion parameters of RB20 were found to be very close to neat diesel fuel (ND). The injector opening pressure (IOP) undoubtedly is of prime importance in diesel engine operation. Performance, emission and combustion characteristics with RB30 at enhanced IOPs are better than ND. Improved premixed heat release rate were noticed with RB30 when the IOP is enhanced.
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: 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: 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: Support Vector Machine (SVM) is a statistical
learning tool that was initially developed by Vapnik in 1979 and later
developed to a more complex concept of structural risk minimization
(SRM). SVM is playing an increasing role in applications to
detection problems in various engineering problems, notably in
statistical signal processing, pattern recognition, image analysis, and
communication systems. In this paper, SVM was applied to the
detection of SAR (synthetic aperture radar) images in the presence of
partially developed speckle noise. The simulation was done for single
look and multi-look speckle models to give a complete overlook and
insight to the new proposed model of the SVM-based detector. The
structure of the SVM was derived and applied to real SAR images
and its performance in terms of the mean square error (MSE) metric
was calculated. We showed that the SVM-detected SAR images have
a very low MSE and are of good quality. The quality of the
processed speckled images improved for the multi-look model.
Furthermore, the contrast of the SVM detected images was higher
than that of the original non-noisy images, indicating that the SVM
approach increased the distance between the pixel reflectivity levels
(the detection hypotheses) in the original images.
Abstract: Collected data must be organized to be utilized efficiently, and hierarchical classification of data is efficient approach to organize data. When data is classified to multiple categories or annotated with a set of labels, users request multi-labeled data by giving a set of labels. There are several interpretations of the data expressed by a set of labels. This paper discusses which data is expressed by a set of labels by introducing orders for sets of labels and shows that there are four types of orders, which are characterized by whether the labels of expressed data includes every label of the given set of labels within the range of the set. Desirable properties of the orders, data is also expressed by the higher set of labels and different sets of labels express different data, are discussed for the orders.
Abstract: Eight steel reinforced concrete beams (SRC), were
fabricated and tested under earthquake type cyclic loading. The
effectiveness of intermediate stiffeners, such as mid-span stiffener and
plastic hinge zone stiffeners, in enhancing composite action and
ductility of SRC beams was investigated. The effectiveness of
strengthened beam-to-column (SBC) and weakened beam-to-column
(WBC) connections in enhancing beam ductility was also studied. It
was found that: (1) All the specimens possessed fairly high flexural
ductility and were found adequate for structures in high seismic zones.
(2) WBC connections induced stress concentration which caused extra
damage to concrete near the flange tapering zone. This extra damage
inhibited the flexural strength development and the ductility of the
specimens with WBC connections to some extent. (3) Specimens with
SBC connections demonstrated higher flexural strength and ductility
compared to specimens with WBC connections. (4) The intermediate
stiffeners, especially combination of plastic hinge zone stiffener and
mid span stiffeners, have an obvious effect in enhancing the ductility
of the beams with SBC connection.
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.