Abstract: In this paper, a uniform calculus-based approach for
synthesizing monitors checking correctness properties specified by a
large variety of logics at runtime is provided, including future and past
time logics, interval logics, state machine and parameterized temporal
logics. We present a calculus mechanism to synthesize monitors from
the logical specification for the incremental analysis of execution
traces during test and real run. The monitor detects both good and bad
prefix of a particular kind, namely those that are informative for the
property under investigation. We elaborate the procedure of calculus
as monitors.
Abstract: Some Chromium (III) complexes were synthesized
with three amino acids: L Glutamic Acid, Glycine, and L-cysteine as
the ligands, in order to provide a new supplement containing Cr(III)
for patients with type 2 diabetes mellitus. The complexes have been
prepared by refluxing a mixture of Chromium(III) chloride in
aqueous solution with L-glutamic acid, Glycine, and L-cysteine after
pH adjustment by sodium hydroxide. These complexes were
characterized by Infrared and Uv-Vis spectrophotometer and
Elemental analyzer. The product yields of four products were 87.50
and 56.76% for Cr-Glu complexes, 46.70% for Cr-Gly complex and
40.08% for Cr-Cys complex respectively. The predicted structure of
the complexes are [Cr(glu)2(H2O)2].xH2O, Cr(gly)3..xH2O and
Cr(cys)3.xH2O., respectively.
Abstract: In the paper, a fast high-resolution range profile synthetic algorithm called orthogonal matching pursuit with sensing dictionary (OMP-SD) is proposed. It formulates the traditional HRRP synthetic to be a sparse approximation problem over redundant dictionary. As it employs a priori that the synthetic range profile (SRP) of targets are sparse, SRP can be accomplished even in presence of data lost. Besides, the computation complexity decreases from O(MNDK) flops for OMP to O(M(N + D)K) flops for OMP-SD by introducing sensing dictionary (SD). Simulation experiments illustrate its advantages both in additive white Gaussian noise (AWGN) and noiseless situation, respectively.
Abstract: In the Equivalent Transformation (ET) computation
model, a program is constructed by the successive accumulation of
ET rules. A method by meta-computation by which a correct ET
rule is generated has been proposed. Although the method covers a
broad range in the generation of ET rules, all important ET rules
are not necessarily generated. Generation of more ET rules can be
achieved by supplementing generation methods which are specialized
for important ET rules. A Specialization-by-Equation (Speq) rule is
one of those important rules. A Speq rule describes a procedure in
which two variables included in an atom conjunction are equalized
due to predicate constraints. In this paper, we propose an algorithm
that systematically and recursively generate Speq rules and discuss
its effectiveness in the synthesis of ET programs. A Speq rule is
generated based on proof of a logical formula consisting of given
atom set and dis-equality. The proof is carried out by utilizing some
ET rules and the ultimately obtained rules in generating Speq rules.
Abstract: Microstrip lines, widely used for good reason, are
broadband in frequency and provide circuits that are compact and
light in weight. They are generally economical to produce since they
are readily adaptable to hybrid and monolithic integrated circuit (IC)
fabrication technologies at RF and microwave frequencies. Although,
the existing EM simulation models used for the synthesis and
analysis of microstrip lines are reasonably accurate, they are
computationally intensive and time consuming. Neural networks
recently gained attention as fast and flexible vehicles to microwave
modeling, simulation and optimization. After learning and
abstracting from microwave data, through a process called training,
neural network models are used during microwave design to provide
instant answers to the task learned.This paper presents simple and
accurate ANN models for the synthesis and analysis of Microstrip
lines to more accurately compute the characteristic parameters and
the physical dimensions respectively for the required design
specifications.
Abstract: Zirconium diamine and triamine complexes can possess biological activities. These complexes were synthesised via the reaction of equimolar quantities of 1,10-phenanthroline {NC3H3(C6H2)NC3H3} (L1) or 4-4-amino phenazone {ONC6H5(NH)CH(NH2} (L2) or diphenyl carbizon {HNNCO(NH)2(C6H5)} (L3) with a Zirconium Salt {ZrOCl2} in a 1:1 ratio to form complexes [{NC3H3(C6H2)NC3H3}ZrOCl2}] [ZrOCl2L1], [{(O2NC6H4(NH)(NH2)}ZrOCl2] [ZrOCl2L2] and [{HNNCO(NH)2(C6H5)ZrOCl2}] [ZrOCl2L3] respectively. They were characterised using Fourier Transform Infrared (FT-IR) and UV-Visible spectroscopy. Also a variable temperature study of these complexes was completed, using UV-Visible spectroscopy to observe electronic transitions under temperature control. Also a DFT study was done on these complexes via the information from FT-IR and UV-Visible spectroscopy.
These complexes were found to show different inhibition to the growth of bacterial strains of Bacillus spp. & Klebsiella spp. & E. coli & Proteus spp. & Pseudomona spp. at different concentrations (0.001, 0.2 and 1M). For better understanding these complexes were examined by using a Density Functional Theory (DFT) calculation.
Abstract: Postgraduate education is generally aimed at providing in-depth knowledge and understanding that include general philosophy in the world sciences, management, technologies, applications and other elements closely related to specific areas. In most universities, besides core and non-core subjects, a thesis is one of the requirements for the postgraduate student to accomplish before graduating. This paper reports on the empirical investigation into attributes that are associated with the obstacles to thesis accomplishment among postgraduate students. Using the quantitative approach the experiences of postgraduate students were tapped. Findings clearly revealed that information seeking, writing skills and other factors which refer to supervisor and time management, in particular, are recognized as contributory factors which positively or negatively influence postgraduates’ thesis accomplishment. Among these, writing skills dimensions were found to be the most difficult process in thesis accomplishment compared to information seeking and other factors. This pessimistic indication has provided some implications not only for the students but supervisors and institutions as a whole.
Abstract: Group contribution methods such as the UNIFAC are
very useful to researchers and engineers involved in synthesis,
feasibility studies, design and optimization of separation processes.
They can be applied successfully to predict phase equilibrium and
excess properties in the development of chemical and separation
processes. The main focus of this work was to investigate the
possibility of absorbing selected volatile organic compounds (VOCs)
into polydimethylsiloxane (PDMS) using three selected UNIFAC
group contribution methods. Absorption followed by subsequent
stripping is the predominant available abatement technology of
VOCs from flue gases prior to their release into the atmosphere. The
original, modified and effective UNIFAC models were used in this
work. The thirteen selected VOCs that have been considered in this
research are: pentane, hexane, heptanes, trimethylamine, toluene,
xylene, cyclohexane, butyl acetate, diethyl acetate, chloroform,
acetone, ethyl methyl ketone and isobutyl methyl ketone. The
computation was done for solute VOC concentration of 8.55x10-8
which is well in the infinite dilution region. The results obtained in
this study compare very well with those published in literature
obtained through both measurements and predictions. The phase
equilibrium obtained in this study show that PDMS is a good
absorbent for the removal of VOCs from contaminated air streams
through physical absorption.
Abstract: Face and facial expressions play essential roles in
interpersonal communication. Most of the current works on the facial
expression recognition attempt to recognize a small set of the
prototypic expressions such as happy, surprise, anger, sad, disgust
and fear. However the most of the human emotions are
communicated by changes in one or two of discrete features. In this
paper, we develop a facial expressions synthesis system, based on the
facial characteristic points (FCP's) tracking in the frontal image
sequences. Selected FCP's are automatically tracked using a crosscorrelation
based optical flow. The proposed synthesis system uses a
simple deformable facial features model with a few set of control
points that can be tracked in original facial image sequences.
Abstract: The OTOP Entrepreneurship that used to create
substantial source of income for local Thai communities are now in a
stage of exigent matters that required assistances from public sectors
due to over Entrepreneurship of duplicative ideas, unable to adjust
costs and prices, lack of innovation, and inadequate of quality
control. Moreover, there is a repetitive problem of middlemen who
constantly corner the OTOP market. Local OTOP producers become
easy preys since they do not know how to add more values, how to
create and maintain their own brand name, and how to create proper
packaging and labeling. The suggested solutions to local OTOP
producers are to adopt modern management techniques, to find
knowhow to add more values to products and to unravel other
marketing problems. The objectives of this research are to study the
prevalent OTOP products management and to discover direction to
manage OTOP products to enhance the effectiveness of OTOP
Entrepreneurship in Nonthaburi Province, Thailand. There were 113
participants in this study. The research tools can be divided into two
parts: First part is done by questionnaire to find responses of the
prevalent OTOP Entrepreneurship management. Second part is the
use of focus group which is conducted to encapsulate ideas and local
wisdom. Data analysis is performed by using frequency, percentage,
mean, and standard deviation as well as the synthesis of several small
group discussions. The findings reveal that 1) Business Resources:
the quality of product is most important and the marketing of product
is least important. 2) Business Management: Leadership is most
important and raw material planning is least important. 3) Business
Readiness: Communication is most important and packaging is least
important. 4) Support from public sector: Certified from the
government is most important and source of raw material is the least
important.
Abstract: This paper examines economic and Information and Communication Technology (ICT) development influence on recently increasing Internet purchases by individuals for European Union member states. After a growing trend for Internet purchases in EU27 was noticed, all possible regression analysis was applied using nine independent variables in 2011. Finally, two linear regression models were studied in detail. Conducted simple linear regression analysis confirmed the research hypothesis that the Internet purchases in analyzed EU countries is positively correlated with statistically significant variable Gross Domestic Product per capita (GDPpc). Also, analyzed multiple linear regression model with four regressors, showing ICT development level, indicates that ICT development is crucial for explaining the Internet purchases by individuals, confirming the research hypothesis.
Abstract: In order to evaluation the effects of natural, biological
and chemical fertilizers on grain yield and chickpea quality, field
experiments were carried out in 2007 and 2008 growing seasons. In
this research the effects of different organic, chemical and biological
fertilizers were investigated on grain yield and quality of chickpea.
Experimental units were arranged in split-split plots based on
randomized complete blocks with three replications. The highest
amounts of yield and yield components were obtained in G1×N5
interaction. Significant increasing of N, P, K, Fe and Mg content in
leaves and grains emphasized on superiority of mentioned treatment
because each one of these nutrients has an approved role in
chlorophyll synthesis and photosynthesis ability of the crop. The
combined application of compost, farmyard manure and chemical
phosphorus (N5) had the best grain quality due to high protein, starch
and total sugar contents, low crude fiber and reduced cooking time.
Abstract: This paper summaries basic principles and concepts of
intelligent controls, implemented in humanoid robotics as well as
recent algorithms being devised for advanced control of humanoid
robots. Secondly, this paper presents a new approach neuro-fuzzy
system. We have included some simulating results from our
computational intelligence technique that will be applied to our
humanoid robot. Subsequently, we determine a relationship between
joint trajectories and located forces on robot-s foot through a
proposed neuro-fuzzy technique.
Abstract: This paper presents a novel approach for the design of
microwave circuits using Adaptive Network Fuzzy Inference
Optimizer (ANFIO). The method takes advantage of direct synthesis
of subsections of the amplifier using very fast and accurate ANFIO
models based on exact simulations using ADS. A mapping from
course space to fine space known as space mapping is also used. The
proposed synthesis approach takes into account the noise and
scattering parameters due to parasitic elements to achieve optimal
results. The overall ANFIO system is capable of designing different
LNAs at different noise and scattering criteria. This approach offers
significantly reduced time in the design of microwave amplifiers
within the validity range of the ANFIO system. The method has been
proven to work efficiently for a 2.4GHz LNA example. The S21 of
10.1 dB and noise figure (NF) of 2.7 dB achieved for ANFIO while
S21 of 9.05 dB and NF of 2.6 dB achieved for ANN.
Abstract: The tensile properties of Mg-3%Al nanocrystalline
alloys were investigated at different test environment. Bulk
nanocrystalline samples of these alloy was successfully prepared by
mechanical alloying (MA) followed by cold compaction, sintering,
and hot extrusion process. The crystal size of the consolidated milled
sample was calculated by X-Ray line profile analysis. The
deformation mechanism and microstructural characteristic at
different test condition was discussed extensively. At room
temperature, relatively lower value of activation volume (AV) and
higher value of strain rate sensitivity (SRS) suggests that new rate
controlling mechanism accommodating plastic flow in the present
nanocrystalline sample. The deformation behavior and the
microstructural character of the present samples were discussed in
details.
Abstract: High level synthesis (HLS) is a process which
generates register-transfer level design for digital systems from
behavioral description. There are many HLS algorithms and
commercial tools. However, most of these algorithms consider a
behavioral description for the system when a single token is
presented to the system. This approach does not exploit extra
hardware efficiently, especially in the design of digital filters where
common operations may exist between successive tokens. In this
paper, we modify the behavioral description to process multiple
tokens in parallel. However, this approach is unlike the full
processing that requires full hardware replication. It exploits the
presence of common operations between successive tokens. The
performance of the proposed approach is better than sequential
processing and approaches that of full parallel processing as the
hardware resources are increased.
Abstract: The purpose of the present work was to study the
production and process parameters optimization for the synthesis of
cellulase from Trichoderma viride in solid state fermentation (SSF)
using an agricultural wheat straw as substrates; as fungal conversion
of lignocellulosic biomass for cellulase production is one among the
major increasing demand for various biotechnological applications.
An optimization of process parameters is a necessary step to get
higher yield of product. Several kinetic parameters like pretreatment,
extraction solvent, substrate concentration, initial moisture content,
pH, incubation temperature and inoculum size were optimized for
enhanced production of third most demanded industrially important
cellulase. The maximum cellulase enzyme activity 398.10±2.43
μM/mL/min was achieved when proximally analyzed lignocellulosic
substrate wheat straw inocubated at 2% HCl as pretreatment tool
along with distilled water as extraction solvent, 3% substrate
concentration 40% moisture content with optimum pH 5.5 at 45°C
incubation temperature and 10% inoculum size.
Abstract: In this study, ZnO nano rods and ZnO ultrafine particles were synthesized by Gel-casting method. The synthesized ZnO powder has a hexagonal zincite structure. The ZnO aggregates with rod-like morphology are typically 1.4 μm in length and 120 nm in diameter, which consist of many small nanocrystals with diameters of 10 nm. Longer wires connected by many hexahedral ZnO nanocrystals were obtained after calcinations at the temperature over 600° C.The crystalline structures and morphologies of the powder have been characterized by X-ray diffraction(XRD) and Scaning electron microscopy (SEM).The result shows that the different preparation conditions such as concentration H2O, calcinations time and calcinations temperature have a lot of influences upon the properties of nano ZnO powders, an increase in the temperature of the calcinations results in an increase of the grain size and also the increase of the calcinations time in high temperature makes the size of the grains bigger. The existences of extra watter prevent nano grains from improving like rod morphology. We have obtained the smallest grain size of ZnO powder by controlling the process conditions. Finally In a suitable condition, a novel nanostructure, namely bi-rod-like ZnO nano rods was found which is different from known ZnO nanostructures.
Abstract: In industrial scale of Gas to Liquid (GTL) process in
Fischer-Tropsch (FT) synthesis, a part of reactor outlet gases such as
CO2 and CH4 as side reaction products, is usually recycled. In this
study, the influence of CO2 and CH4 on the performance and
selectivity of Co-Ru/Al2O3 catalyst is investigated by injection of
these gases (0-20 vol. % of feed) to the feed stream. The effect of
temperature and feed flow rate, are also inspected. The results show
that low amounts of CO2 in the feed stream, doesn`t change the
catalyst activity significantly but increasing the amount of CO2 (more
than 10 vol. %) cause the CO conversion to decrease and the
selectivity of heavy components to increase. Methane acts as an inert
gas and doesn`t affect the catalyst performance. Increasing feed flow
rate has negative effect on both CO conversion and heavy component
selectivity. By raising the temperature, CO conversion will increase
but there are more volatile components in the product. The effect of
CO2 on the catalyst deactivation is also investigated carefully and a
mechanism is suggested to explain the negative influence of CO2 on
catalyst deactivation.
Abstract: Mitochondria are dynamic organelles, capable to
interact with each other. While the number of mitochondria in a cell
varies, their quality and functionality depends on the operation of
fusion, fission, motility and mitophagy. Nowadays, several
researches declare as an important factor in neurogenerative diseases
the disruptions in the regulation of mitochondrial dynamics. In this
paper a stochastic model in BioAmbients calculus is presented,
concerning mitochondrial fusion and its distribution in the renewal of
mitochondrial population in a cell. This model describes the
successive and dependent stages of protein synthesis, protein-s
activation and merging of two independent mitochondria.