Abstract: Model-checking tools such as Symbolic Model Verifier
(SMV) and NuSMV are available for checking hardware designs.
These tools can automatically check the formal legitimacy of a
design. However, NuSMV is too low level for describing a complete
hardware design. It is therefore necessary to translate the system
definition, as designed in a language such as Verilog or VHDL, into
a language such as NuSMV for validation. In this paper, we present
a meta hardware description language, Melasy, that contains a code
generator for existing hardware description languages (HDLs) and
languages for model checking that solve this problem.
Abstract: The steady incompressible flow has been solved in cylindrical coordinates in both vapour region and wick structure. The governing equations in vapour region are continuity, Navier-Stokes and energy equations. These equations have been solved using SIMPLE algorithm. For study of parameters variation on heat pipe operation, a benchmark has been chosen and the effect of changing one parameter has been analyzed when the others have been fixed.
Abstract: Network-Centric Air Defense Missile Systems
(NCADMS) represents the superior development of the air defense
missile systems and has been regarded as one of the major research
issues in military domain at present. Due to lack of knowledge and
experience on NCADMS, modeling and simulation becomes an effective
approach to perform operational analysis, compared with
those equation based ones. However, the complex dynamic interactions
among entities and flexible architectures of NCADMS put forward
new requirements and challenges to the simulation framework
and models. ABS (Agent-Based Simulations) explicitly addresses
modeling behaviors of heterogeneous individuals. Agents have capability
to sense and understand things, make decisions, and act on the
environment. They can also cooperate with others dynamically to
perform the tasks assigned to them. ABS proves an effective approach
to explore the new operational characteristics emerging in
NCADMS. In this paper, based on the analysis of network-centric
architecture and new cooperative engagement strategies for
NCADMS, an agent-based simulation framework by expanding the
simulation framework in the so-called System Effectiveness Analysis
Simulation (SEAS) was designed. The simulation framework specifies
components, relationships and interactions between them, the
structure and behavior rules of an agent in NCADMS. Based on scenario
simulations, information and decision superiority and operational
advantages in NCADMS were analyzed; meanwhile some
suggestions were provided for its future development.
Abstract: The automatic discrimination of seismic signals is an important practical goal for the earth-science observatories due to the large amount of information that they receive continuously. An essential discrimination task is to allocate the incoming signal to a group associated with the kind of physical phenomena producing it. In this paper, we present new techniques for seismic signals classification: local, regional and global discrimination. These techniques were tested on seismic signals from the data base of the National Geophysical Institute of the Centre National pour la Recherche Scientifique et Technique (Morocco) by using the Moroccan software for seismic signals analysis.
Abstract: A fuzzy classifier using multiple ellipsoids approximating decision regions for classification is to be designed in this paper. An algorithm called Gustafson-Kessel algorithm (GKA) with an adaptive distance norm based on covariance matrices of prototype data points is adopted to learn the ellipsoids. GKA is able toadapt the distance norm to the underlying distribution of the prototypedata points except that the sizes of ellipsoids need to be determined a priori. To overcome GKA's inability to determine appropriate size ofellipsoid, the genetic algorithm (GA) is applied to learn the size ofellipsoid. With GA combined with GKA, it will be shown in this paper that the proposed method outperforms the benchmark algorithms as well as algorithms in the field.
Abstract: This paper introduces application of multi degree of freedom fuzzy(MDOFF) controller in permanent magnet (PM)drive system. The drive system model is developed for FO control. Simulation of the system is carried out to predict the performance at NL and under load,. The results indicate that application of MDOFF controller is effective for sensorless PM drive system.
Abstract: Fuzzy logic system (FLS) is used in this study to
predict the tractive performance in terms of traction force, and
motion resistance for an intelligent air cushion track vehicle while it
operates in the swamp peat. The system is effective to control the
intelligent air –cushion system with measuring the vehicle traction
force (TF), motion resistance (MR), cushion clearance height (CH)
and cushion pressure (CP). Ultrasonic displacement sensor, pull-in
solenoid electromagnetic switch, pressure control sensor, micro
controller, and battery pH sensor are incorporated with the Fuzzy
logic system to investigate experimentally the TF, MR, CH, and CP.
In this study, a comparison for tractive performance of an intelligent
air cushion track vehicle has been performed with the results obtained
from the predicted values of FLS and experimental actual values. The
mean relative error of actual and predicted values from the FLS
model on traction force, and total motion resistance are found as 5.58
%, and 6.78 % respectively. For all parameters, the relative error of
predicted values are found to be less than the acceptable limits. The
goodness of fit of the prediction values from the FLS model on TF,
and MR are found as 0.90, and 0.98 respectively.
Abstract: The elimination of ranitidine (a pharmaceutical
compound) has been carried out in the presence of UV-C radiation.
After some preliminary experiments, it has been experienced the no
influence of the gas nature (air or oxygen) bubbled in photolytic
experiments. From simple photolysis experiments the quantum yield
of this compound has been determined. Two photolytic
approximation has been used, the linear source emission in parallel
planes and the point source emission in spherical planes. The
quantum yield obtained was in the proximity of 0.05 mol Einstein-1
regardless of the method used. Addition of free radical promoters
(hydrogen peroxide) increases the ranitidine removal rate while the
use of photocatalysts (TiO2) negatively affects the process.
Abstract: In this study, the precision heading process of
spur gears has been investigated by means of numerical
analysis. The effect of some parameters such as teeth number
and module on the forming force and material flow were
presented. The simulation works were performed rigid-plastic
finite element method using DEFORM 3D software. In order
to validate the estimated numerical results, they were
compared with those obtained experimentally during heading
of spur gear using lead as a model material. Results showed
that the optimum number of gear teeth is between 10 to 20,
that is because of being the specific pressure in its minimum
value.
Abstract: In this work the opportunity of construction of the
qualifiers for face-recognition systems based on conjugation criteria
is investigated. The linkage between the bipartite conjugation, the
conjugation with a subspace and the conjugation with the null-space
is shown. The unified solving rule is investigated. It makes the
decision on the rating of face to a class considering the linkage
between conjugation values. The described recognition method can
be successfully applied to the distributed systems of video control
and video observation.
Abstract: Tumour suppressors are key participants in the
prevention of cancer. Regulation of their expression through
miRNAs is important for comprehensive translation inhibition of
tumour suppressors and elucidation of carcinogenesis mechanisms.
We studies the possibility of 1521 miRNAs to bind with 873 mRNAs
of human tumour suppressors using RNAHybrid 2.1 and ERNAhybrid
programmes. Only 978 miRNAs were found to be
translational regulators of 812 mRNAs, and 61 mRNAs did not have
any miRNA binding sites. Additionally, 45.9% of all miRNA binding
sites were located in coding sequences (CDSs), 33.8% were located
in 3' untranslated region (UTR), and 20.3% were located in the
5'UTR. MiRNAs binding with more than 50 target mRNAs and
mRNAs binding with several miRNAs were selected. Hsa-miR-5096
had 15 perfectly complementary binding sites with mRNAs of 14
tumour suppressors. These newly indentified miRNA binding sites
can be used in the development of medicines (anti-sense therapies)
for cancer treatment.
Abstract: By using Mawhin-s continuation theorem of coincidence degree theory, we establish the existence of 2n positive periodic solutions for n species non-autonomous Lotka-Volterra competition systems with harvesting terms. An example is given to illustrate the effectiveness of our results.
Abstract: This paper describes the challenges on the requirements engineering for developing an enterprise applications in higher
education environment. The development activities include software implementation, maintenance, and enhancement and support for online
transaction processing and overnight batch processing.
Generally, an enterprise application for higher education environment
may include Student Information System (SIS), HR/Payroll system,
Financial Systems etc. By the way, there are so many challenges in
requirement engineering phases in order to provide two distinctive
services that are production processing support and systems
development.
Abstract: A frequency grouping approach for multi-channel
instantaneous blind source separation (I-BSS) of convolutive
mixtures is proposed for a lower net residual inter-symbol
interference (ISI) and inter-channel interference (ICI) than the
conventional short-time Fourier transform (STFT) approach. Starting
in the time domain, STFTs are taken with overlapping windows to
convert the convolutive mixing problem into frequency domain
instantaneous mixing. Mixture samples at the same frequency but
from different STFT windows are grouped together forming unique
frequency groups.
The individual frequency group vectors are input to the I-BSS
algorithm of choice, from which the output samples are dispersed
back to their respective STFT windows. After applying the inverse
STFT, the resulting time domain signals are used to construct the
complete source estimates via the weighted overlap-add method
(WOLA). The proposed algorithm is tested for source deconvolution
given two mixtures, and simulated along with the STFT approach to
illustrate its superiority for fairly motionless sources.
Abstract: This article investigates a contribution of synthesized visual speech. Synthesis of visual speech expressed by a computer consists in an animation in particular movements of lips. Visual speech is also necessary part of the non-manual component of a sign language. Appropriate methodology is proposed to determine the quality and the accuracy of synthesized visual speech. Proposed methodology is inspected on Czech speech. Hence, this article presents a procedure of recording of speech data in order to set a synthesis system as well as to evaluate synthesized speech. Furthermore, one option of the evaluation process is elaborated in the form of a perceptual test. This test procedure is verified on the measured data with two settings of the synthesis system. The results of the perceptual test are presented as a statistically significant increase of intelligibility evoked by real and synthesized visual speech. Now, the aim is to show one part of evaluation process which leads to more comprehensive evaluation of the sign speech synthesis system.
Abstract: An actual power plant, which is the power plant of Iron and Steel Factory at Misurata city in Libya , has been modeled using Matlab in order to compare its results to the actual results of the actual cycle. This paper concentrates on two factors:
a- The comparison between exergy losses in the actual cycle and the modeled cycle.
b- The effect of extracting pressure on temperature water at boiler inlet.
Closed heat exchangers used in this plant have been substituted by open heat exchangers in the current study of the modeled power plant and the required changes in the pressure have been considered. In the following investigation the two points mentioned above are taken in consideration.
Abstract: Accounts of language acquisition differ significantly in their treatment of the role of prediction in language learning. In particular, nativist accounts posit that probabilistic learning about words and word sequences has little to do with how children come to use language. The accuracy of this claim was examined by testing whether distributional probabilities and frequency contributed to how well 3-4 year olds repeat simple word chunks. Corresponding chunks were the same length, expressed similar content, and were all grammatically acceptable, yet the results of the study showed marked differences in performance when overall distributional frequency varied. It was found that a distributional model of language predicted the empirical findings better than a number of other models, replicating earlier findings and showing that children attend to distributional probabilities in an adult corpus. This suggested that language is more prediction-and-error based, rather than on abstract rules which nativist camps suggest.
Abstract: Intradiscal and intervertebral pressure transducers
were developed. They were used to map the pressures in the nucleus
and within the annulus of the human spinal segments. Their stressrelaxation
were recorded over a period of time for nucleus
pressure, applied load, and peripherial strain against time. The
results show that for normal discs, pressures in the nucleus are
viscoelastic in nature with the applied compressive load.
Mechanical strains which develop around the periphery of the
vertebral body are also viscoelastic with the applied compressive
load. Applied compressive load against time also shows viscoelastic
behavior. However, annulus does not respond viscoelastically with
the applied load. It showed a linear response to compressive loading.
Abstract: The Informational Infrastructures of small and medium-sized manufacturing enterprises are relatively poor, there are serious shortages of capitals which can be invested in informatization construction, computer hardware and software resources, and human resources. To address the informatization issue in small and medium-sized manufacturing enterprises, and enable them to the application of advanced management thinking and enhance their competitiveness, the paper establish a manufacturing-oriented small and medium-sized enterprises informatization platform based on the ASP business intelligence technology, which effectively improves the scientificity of enterprises decision and management informatization.
Abstract: A novel concept to balance and tradeoff between
make-to-stock and make-to-order has been hybrid MTS/MTO production context. One of the most important decisions involved in
the hybrid MTS/MTO environment is determining whether a product
is manufactured to stock, to order, or hybrid MTS/MTO strategy. In this paper, a model based on analytic network process is developed to tackle the addressed decision. Since the regarded decision deals with
the uncertainty and ambiguity of data as well as experts- and
managers- linguistic judgments, the proposed model is equipped with
fuzzy sets theory. An important attribute of the model is its generality due to diverse decision factors which are elicited from the
literature and developed by the authors. Finally, the model is validated by applying to a real case study to reveal how the proposed
model can actually be implemented.