Abstract: In recent past, the Unified Modeling Language (UML) has become the de facto industry standard for object-oriented modeling of the software systems. The syntax and semantics rich UML has encouraged industry to develop several supporting tools including those capable of generating deployable product (code) from the UML models. As a consequence, ensuring the correctness of the model/design has become challenging and extremely important task. In this paper, we present an approach for automatic verification of protocol model/design. As a case study, Session Initiation Protocol (SIP) design is verified for the property, “the CALLER will not converse with the CALLEE before the connection is established between them ". The SIP is modeled using UML statechart diagrams and the desired properties are expressed in temporal logic. Our prototype verifier “UML-SMV" is used to carry out the verification. We subjected an erroneous SIP model to the UML-SMV, the verifier could successfully detect the error (in 76.26ms) and generate the error trace.
Abstract: Minor problems arising from optimizations by
welding of fixed prostheses frameworks can be identified by
macroscopic and microscopic visual inspection. The purpose of this
study was to highlight the visible discontinuities present in the laser
welds of dental Ni-Cr alloys. Ni-Cr base metal alloys designated for
fixed prostheses manufacture were selected for the experiments.
Using cast plates, preliminary tests were conducted by laser welding.
Macroscopic visual inspection was done carefully to assess the
defects of the welding rib. Electron microscopy images allowed
visualization of small discontinuities, which escapes visual
inspection. Making comparison to Ni-Cr alloys taken in the
experiment and laser welded, after visual analysis, the best welds
appear for Heraenium NA alloy.
Abstract: Restarted GMRES methods augmented with approximate eigenvectors are widely used for solving large sparse linear systems. Recently a new scheme of augmenting with error approximations is proposed. The main aim of this paper is to develop a restarted GMRES method augmented with the combination of harmonic Ritz vectors and error approximations. We demonstrate that the resulted combination method can gain the advantages of two approaches: (i) effectively deflate the small eigenvalues in magnitude that may hamper the convergence of the method and (ii) partially recover the global optimality lost due to restarting. The effectiveness and efficiency of the new method are demonstrated through various numerical examples.
Abstract: The optimal control problem of a linear distributed
parameter system is studied via shifted Legendre polynomials (SLPs)
in this paper. The partial differential equation, representing the
linear distributed parameter system, is decomposed into an n - set
of ordinary differential equations, the optimal control problem is
transformed into a two-point boundary value problem, and the twopoint
boundary value problem is reduced to an initial value problem
by using SLPs. A recursive algorithm for evaluating optimal control
input and output trajectory is developed. The proposed algorithm is
computationally simple. An illustrative example is given to show the
simplicity of the proposed approach.
Abstract: Carbon nanotubes (CNTs) possess unique structural,
mechanical, thermal and electronic properties, and have been
proposed to be used for applications in many fields. However, to
reach the full potential of the CNTs, many problems still need to be
solved, including the development of an easy and effective
purification procedure, since synthesized CNTs contain impurities,
such as amorphous carbon, carbon nanoparticles and metal particles.
Different purification methods yield different CNT characteristics
and may be suitable for the production of different types of CNTs. In
this study, the effect of different purification chemicals on carbon
nanotube quality was investigated. CNTs were firstly synthesized by
chemical vapor deposition (CVD) of acetylene (C2H2) on a
magnesium oxide (MgO) powder impregnated with an iron nitrate
(Fe(NO3)3·9H2O) solution. The synthesis parameters were selected
as: the synthesis temperature of 800°C, the iron content in the
precursor of 5% and the synthesis time of 30 min. The liquid phase
oxidation method was applied for the purification of the synthesized
CNT materials. Three different acid chemicals (HNO3, H2SO4, and
HCl) were used in the removal of the metal catalysts from the
synthesized CNT material to investigate the possible effects of each
acid solution to the purification step. Purification experiments were
carried out at two different temperatures (75 and 120 °C), two
different acid concentrations (3 and 6 M) and for three different time
intervals (6, 8 and 15 h). A 30% H2O2 : 3M HCl (1:1 v%) solution
was also used in the purification step to remove both the metal
catalysts and the amorphous carbon. The purifications using this
solution were performed at the temperature of 75°C for 8 hours.
Purification efficiencies at different conditions were evaluated by
thermogravimetric analysis. Thermal and electrical properties of
CNTs were also determined. It was found that the obtained electrical
conductivity values for the carbon nanotubes were typical for organic
semiconductor materials and thermal stabilities were changed
depending on the purification chemicals.
Abstract: Design and evaluation of reciprocating compressors
should include a pulsation study. The object is to ensure that
predicted pulsation levels meet guidelines to limit vibration, shaking
forces, noise, associated pressure drops, horsepower losses and
fabrication cost and time to acceptable levels. This paper explains
procedures and recommendations to select and size pulsation
suppression devices to obtain optimum arrangement in terms of
pulsation, vibration, shaking forces, performance, reliability, safety,
operation, maintenance and commercial conditions. Model and
advanced formulations for pulsation study are presented. The effect
of the full fluid dynamic model on the prediction of pulsation waves
and resulting frequency spectrum distributions are discussed.
Advanced and optimum methods of controlling pulsations are
highlighted. Useful recommendations and guidelines for pulsation
control, piping pulsation analysis, pulsation vessel design, shaking
forces, low pressure drop orifices, pulsation study report and devices
to mitigate pulsation and shaking problems are discussed.
Abstract: Physiological control of a left ventricle assist device (LVAD) is generally a complicated task due to diverse operating environments and patient variability. In this work, a tracking control algorithm based on sliding mode and feed forward control for a class of discrete-time single input single output (SISO) nonlinear uncertain systems is presented. The controller was developed to track the reference trajectory to a set operating point without inducing suction in the ventricle. The controller regulates the estimated mean pulsatile flow Qp and mean pulsatility index of pump rotational speed PIω that was generated from a model of the assist device. We recall the principle of the sliding mode control theory then we combine the feed-forward control design with the sliding mode control technique to follow the reference trajectory. The uncertainty is replaced by its upper and lower boundary. The controller was tested in a computer simulation covering two scenarios (preload and ventricular contractility). The simulation results prove the effectiveness and the robustness of the proposed controller
Abstract: Every 2-3 years the influenza B virus serves
epidemics. Neuraminidase (NA) is an important target for influenza
drug design. Although, oseltamivir, an oral neuraminidase drug, has
been shown good inhibitory efficiency against wild-type of influenza
B virus, the lower susceptibility to the R152K mutation has been
reported. Better understanding of oseltamivir efficiency and
resistance toward the influenza B NA wild-type and R152K mutant,
respectively, could be useful for rational drug design. Here, two
complex systems of wild-type and R152K NAs with oseltamivir
bound were studied using molecular dynamics (MD) simulations.
Based on 5-ns MD simulation, the loss of notable hydrogen bond and
decrease in per-residue decomposition energy from the mutated
residue K152 contributed to drug compared to those of R152 in wildtype
were found to be a primary source of high-level of oseltamivir
resistance due to the R152K mutation.
Abstract: This paper describes an ongoing study into the quality of service provided by the Irish Revenue Commisioners- online tax filing and collection system. The Irish Revenue On-Line Service (ROS) site has won several awards. In this study, a version of the widely use SERVQUAL measuring instrument, adapted for use with online services, has been modified for the specific case of ROS. In this paper, the theory behind this instrument is set out, the particular problems of evaluating revenue collecting online are examined and the rationale for this approach is explained.
Abstract: A model of a system concerning one species of demersal
(inshore) fish and one of pelagic (offshore) fish undergoing fishing
restricted by marine protected areas is proposed in this paper. This
setup was based on the FISH-BE model applied to the Tabina fishery
in Zamboanga del Sur, Philippines. The components of the model
equations have been adapted from widely-accepted mechanisms in
population dynamics. The model employs Gompertz-s law of growth
and interaction on each type of protected and unprotected subpopulation.
Exchange coefficients between protected and unprotected
areas were assumed to be proportional to the relative area of the
entry region. Fishing harvests were assumed to be proportional to
both the number of fishers and the number of unprotected fish. An
extra term was included for the pelagic population to allow for the
exchange between the unprotected area and the outside environment.
The systems were found to be bounded for all parameter values. The
equations for the steady state were unsolvable analytically but the
existence and uniqueness of non-zero steady states can be proven.
Plots also show that an MPA size yielding the maximum steady state
of the unprotected population can be found. All steady states were
found to be globally asymptotically stable for the entire range of
parameter values.
Abstract: The problem discussed in this paper involves packing fresh fish fileet of the northern Cod into a standard square container. The fish is first cleaned and split and then collected on a belt ready to be stacked in a container. The aim of our work is to pack the fish into the container with constraints on the amount of overlap allowed for the fileets. The current focus is to design a packing cell that can be real-time and of practical use, while finding the optimal solution to the degree of overlap and minimise the unused space of the container.
Abstract: Acoustic Imaging based sound localization using microphone
array is a challenging task in digital-signal processing.
Discrete Fourier transform (DFT) based near-field acoustical holography
(NAH) is an important acoustical technique for sound source
localization and provide an efficient solution to the ill-posed problem.
However, in practice, due to the usage of small curtailed aperture
and its consequence of significant spectral leakage, the DFT could
not reconstruct the active-region-of-sound (AROS) effectively, especially
near the edges of aperture. In this paper, we emphasize the
fundamental problems of DFT-based NAH, provide a solution to
spectral leakage effect by the extrapolation based on linear predictive
coding and 2D Tukey windowing. This approach has been tested to
localize the single and multi-point sound sources. We observe that
incorporating extrapolation technique increases the spatial resolution,
localization accuracy and reduces spectral leakage when small curtail
aperture with a lower number of sensors accounts.
Abstract: Building conservation work generally involves complex and non-standard work different from new building construction processes. In preparing tenders for building conservation projects, therefore, the quantity surveyor must carefully consider the specificity of non-standard items and demarcate the scope of unique conservation work. While the quantity surveyor must appreciate the full range of works to prepare a good tender document, he typically manages many unfamiliar elements, including practical construction methods, restoration techniques and work sequences. Only by fulfilling the demanding requirements of building conservation work can the quantity surveyor enhance his professionalism an area of growing cultural value and economic importance. By discussing several issues crucial to tender preparations for building conservation projects in Malaysia, this paper seeks a deeper understanding of how quantity surveying can better standardize tender preparation work and more successfully manage building conservation processes.
Abstract: Degradation of polymeric insulation systems of
electrical equipments increases the space charge density and the
concentration of electrical dipoles. By consequence, the maximum
values and the slopes of absorption/resorption (A/R) currents can
change with insulation systems ageing. In this paper, an analysis of
the nature of the A/R currents and the importance of their
components, especially the polarization current and the current given
by the space charge, is presented. The experimental study concerns
the A/R currents measurements of plane samples (made from
CALMICAGLAS tapes), virgin and thermally accelerated aged. The
obtained results show that the ageing process produces an increase of
the values and a decrease of shapes of the A/R currents. Finally, the
possibility of estimating insulations ageing state and lifetime from
A/R currents measurements is discussed.
Abstract: Distributed Computing Systems are usually considered the most suitable model for practical solutions of many parallel algorithms. In this paper an enhanced distributed system is presented to improve the time complexity of Binary Indexed Trees (BIT). The proposed system uses multi-uniform processors with identical architectures and a specially designed distributed memory system. The analysis of this system has shown that it has reduced the time complexity of the read query to O(Log(Log(N))), and the update query to constant complexity, while the naive solution has a time complexity of O(Log(N)) for both queries. The system was implemented and simulated using VHDL and Verilog Hardware Description Languages, with xilinx ISE 10.1, as the development environment and ModelSim 6.1c, similarly as the simulation tool. The simulation has shown that the overhead resulting by the wiring and communication between the system fragments could be fairly neglected, which makes it applicable to practically reach the maximum speed up offered by the proposed model.
Abstract: In this paper we propose two first non-generic constructions
of multisignature scheme based on coding theory. The
first system make use of the CFS signature scheme and is secure
in random oracle while the second scheme is based on the KKS
construction and is a few times. The security of our construction relies
on a difficult problems in coding theory: The Syndrome Decoding
problem which has been proved NP-complete [4].
Abstract: The enthusiasm for gluten avoidance in a growing
market is met by improvements in sensitive detection methods for
analysing gluten content. Paradoxically, manufacturers employ no
such systems in the production process but continue to market their
product as gluten free, a significant risk posed to an undetermined
coeliac population. This paper resonates with an immunological
response that causes gastrointestinal scarring and villous atrophy with
the conventional description of personal injury. This thesis divulges
into evaluating potential inadequacies of gluten labelling laws which
not only present a diagnostic challenge for general practitioners in the
UK but it also exposes a less than adequate form of available legal
protection to those who suffer adverse reactions as a result of gluten
digestion. Central to this discussion is whether a claim brought in
misrepresentation, negligence and/or under the Consumer Protection
Act 1987 could be sustained. An interesting comparison is then made
with the legal regimes of neighboring jurisdictions furthering the
theme of a legally un-catered for gluten kingdom.
Abstract: There have been significant improvements in automatic
voice recognition technology. However, existing systems still face difficulties,
particularly when used by non-native speakers with accents.
In this paper we address a problem of identifying the English accented
speech of speakers from different backgrounds. Once an accent is
identified the speech recognition software can utilise training set from
appropriate accent and therefore improve the efficiency and accuracy
of the speech recognition system. We introduced the Q factor, which
is defined by the sum of relationships between frequencies of the
formants. Four different accents were considered and experimented
for this research. A scoring method was introduced in order to
effectively analyse accents. The proposed concept indicates that the
accent could be identified by analysing their formants.
Abstract: Very Large and/or computationally complex optimization problems sometimes require parallel or highperformance computing for achieving a reasonable time for computation. One of the most popular and most complicate problems of this family is “Traveling Salesman Problem". In this paper we have introduced a Branch & Bound based algorithm for the solution of such complicated problems. The main focus of the algorithm is to solve the “symmetric traveling salesman problem". We reviewed some of already available algorithms and felt that there is need of new algorithm which should give optimal solution or near to the optimal solution. On the basis of the use of logarithmic sampling, it was found that the proposed algorithm produced a relatively optimal solution for the problem and results excellent performance as compared with the traditional algorithms of this series.
Abstract: Control of complex systems is one of important files in complex systems, that not only relies on the essence of complex systems which is denoted by the core concept – emergence, but also embodies the elementary concept in control theory. Aiming at giving a clear and self-contained description of emergence, the paper introduces a formal way to completely describe the formation and dynamics of emergence in complex systems. Consequently, this paper indicates the Emergence-Oriented Control methodology that contains three kinds of basic control schemes: the direct control, the system re-structuring and the system calibration. As a universal ontology, the Emergence-Oriented Control provides a powerful tool for identifying and resolving control problems in specific systems.