Abstract: On-line (near infrared) spectroscopy is widely used to support the operation of complex process systems. Information extracted from spectral database can be used to estimate unmeasured product properties and monitor the operation of the process. These techniques are based on looking for similar spectra by nearest neighborhood algorithms and distance based searching methods. Search for nearest neighbors in the spectral space is an NP-hard problem, the computational complexity increases by the number of points in the discrete spectrum and the number of samples in the database. To reduce the calculation time some kind of indexing could be used. The main idea presented in this paper is to combine indexing and visualization techniques to reduce the computational requirement of estimation algorithms by providing a two dimensional indexing that can also be used to visualize the structure of the spectral database. This 2D visualization of spectral database does not only support application of distance and similarity based techniques but enables the utilization of advanced clustering and prediction algorithms based on the Delaunay tessellation of the mapped spectral space. This means the prediction has not to use the high dimension space but can be based on the mapped space too. The results illustrate that the proposed method is able to segment (cluster) spectral databases and detect outliers that are not suitable for instance based learning algorithms.
Abstract: In this article, a formal specification and verification of the Rabin public-key scheme in a formal proof system is presented. The idea is to use the two views of cryptographic verification: the computational approach relying on the vocabulary of probability theory and complexity theory and the formal approach based on ideas and techniques from logic and programming languages. A major objective of this article is the presentation of the first computer-proved implementation of the Rabin public-key scheme in Isabelle/HOL. Moreover, we explicate a (computer-proven) formalization of correctness as well as a computer verification of security properties using a straight-forward computation model in Isabelle/HOL. The analysis uses a given database to prove formal properties of our implemented functions with computer support. The main task in designing a practical formalization of correctness as well as efficient computer proofs of security properties is to cope with the complexity of cryptographic proving. We reduce this complexity by exploring a light-weight formalization that enables both appropriate formal definitions as well as efficient formal proofs. Consequently, we get reliable proofs with a minimal error rate augmenting the used database, what provides a formal basis for more computer proof constructions in this area.
Abstract: The (sub)-optimal soolution of linear filtering problem
with correlated noises is considered. The special recursive form of
the class of filters and criteria for selecting the best estimator are
the essential elements of the design method. The properties of the
proposed filter are studied. In particular, for Markovian observation
noise, the approximate filter becomes an optimal Gevers-Kailath filter
subject to a special choice of the parameter in the class of given linear
recursive filters.
Abstract: Software maintenance, which involves making enhancements, modifications and corrections to existing software systems, consumes more than half of developer time. Specification comprehensibility plays an important role in software maintenance as it permits the understanding of the system properties more easily and quickly. The use of formal notation such as B increases a specification-s precision and consistency. However, the notation is regarded as being difficult to comprehend. Semi-formal notation such as the Unified Modelling Language (UML) is perceived as more accessible but it lacks formality. Perhaps by combining both notations could produce a specification that is not only accurate and consistent but also accessible to users. This paper presents an experiment conducted on a model that integrates the use of both UML and B notations, namely UML-B, versus a B model alone. The objective of the experiment was to evaluate the comprehensibility of a UML-B model compared to a traditional B model. The measurement used in the experiment focused on the efficiency in performing the comprehension tasks. The experiment employed a cross-over design and was conducted on forty-one subjects, including undergraduate and masters students. The results show that the notation used in the UML-B model is more comprehensible than the B model.
Abstract: Data hiding into text documents itself involves pretty
complexities due to the nature of text documents. A robust text
watermarking scheme targeting an object based environment is
presented in this research. The heart of the proposed solution
describes the concept of watermarking an object based text document
where each and every text string is entertained as a separate object
having its own set of properties. Taking advantage of the z-ordering
of objects watermark is applied with the z-axis letting zero fidelity
disturbances to the text. Watermark sequence of bits generated
against user key is hashed with selected properties of given
document, to determine the bit sequence to embed. Bits are
embedded along z-axis and the document has no fidelity issues when
printed, scanned or photocopied.
Abstract: A complex valued neural network is a neural network, which consists of complex valued input and/or weights and/or thresholds and/or activation functions. Complex-valued neural networks have been widening the scope of applications not only in electronics and informatics, but also in social systems. One of the most important applications of the complex valued neural network is in image and vision processing. In Neural networks, radial basis functions are often used for interpolation in multidimensional space. A Radial Basis function is a function, which has built into it a distance criterion with respect to a centre. Radial basis functions have often been applied in the area of neural networks where they may be used as a replacement for the sigmoid hidden layer transfer characteristic in multi-layer perceptron. This paper aims to present exhaustive results of using RBF units in a complex-valued neural network model that uses the back-propagation algorithm (called 'Complex-BP') for learning. Our experiments results demonstrate the effectiveness of a Radial basis function in a complex valued neural network in image recognition over a real valued neural network. We have studied and stated various observations like effect of learning rates, ranges of the initial weights randomly selected, error functions used and number of iterations for the convergence of error on a neural network model with RBF units. Some inherent properties of this complex back propagation algorithm are also studied and discussed.
Abstract: Molodstov-s soft sets theory was originally proposed
as general mathematical tool for dealing with uncertainty problems. The matrix form has been introduced in soft set and some of its
properties have been discussed. However, the formulation of soft
matrix in group decision making problem only with equal importance
weights of criteria, which does not show the true opinion of decision maker on each criteria. The aim of this paper is to propose a method
for solving group decision making problem incorporating the importance of criteria by using soft matrices in a more objective manner. The weight of each criterion is calculated by using the Analytic Hierarchy Process (AHP) method. An example of house
selection process is given to illustrate the effectiveness of the proposed method.
Abstract: This paper is taken into consideration the problem of cryptanalysis of stream ciphers. There is some attempts need to improve the existing attacks on stream cipher and to make an attempt to distinguish the portions of cipher text obtained by the encryption of plain text in which some parts of the text are random and the rest are non-random. This paper presents a tutorial introduction to symmetric cryptography. The basic information theoretic and computational properties of classic and modern cryptographic systems are presented, followed by an examination of the application of cryptography to the security of VoIP system in computer networks using LFSR algorithm. The implementation program will be developed Java 2. LFSR algorithm is appropriate for the encryption and decryption of online streaming data, e.g. VoIP (voice chatting over IP). This paper is implemented the encryption module of speech signals to cipher text and decryption module of cipher text to speech signals.
Abstract: Polyurethanes (PURs) are very versatile polymeric
materials with a wide range of physical and chemical properties.
PURs have desirable properties such as high abrasion resistance, tear
strength, shock absorption, flexibility and elasticity. Although they
have relatively poor thermal stability, this can be improved by using
treated clay. Polyurethane/clay nanocomposites have been
synthesized from renewable sources. A polyol for the production of
polyurethane by reaction with an isocyanate was obtained by the
synthesis of palm oil-based oleic acid with glycerol. Dodecylbenzene
sulfonic acid (DBSA) was used as catalyst and emulsifier. The
unmodified clay (kunipia-F) was treated with cetyltrimethyl
ammonium bromide (CTAB-mont) and octadodecylamine (ODAmont).
The d-spacing in CTAB-mont and ODA-mont were 1.571 nm
and 1.798 nm respectively and larger than that of the pure-mont
(1.142 nm). The organoclay was completely intercalated in the
polyurethane, as confirmed by a wide angle x-ray diffraction
(WAXD) pattern.
The results showed that adding clay demonstrated better thermal
stability in comparison with the virgin polyurethane. Onset
degradation of pure PU is at 200oC, and is lower than that of the
CTAB-mont PU and ODA-mont PU which takes place at about
318oC and 330oC, respectively. The mechanical properties (including
the dynamic mechanical properties) of pure polyurethane (PU) and
PU/clay nanocomposites, were measured. The modified organoclay
had a remarkably beneficial effect on the strength and elongation at
break of the nanocomposites, which both increased with increasing
clay content with the increase of the tensile strength of more than
214% and 267% by the addition of only 5 wt% of the
montmorillonite CTAB-mont PU and ODA-mont PU, respectively.
Abstract: In determining the electromagnetic properties of
magnetic materials, hysteresis modeling is of high importance. Many
models are available to investigate those characteristics but they tend
to be complex and difficult to implement. In this paper a new
qualitative hysteresis model for ferromagnetic core is presented,
based on the function approximation capabilities of adaptive neuro
fuzzy inference system (ANFIS). The proposed ANFIS model
combined the neural network adaptive capabilities and the fuzzy
logic qualitative approach can restored the hysteresis curve with a
little RMS error. The model accuracy is good and can be easily
adapted to the requirements of the application by extending or
reducing the network training set and thus the required amount of
measurement data.
Abstract: In this study the elastic-plastic stress distribution in
weld-bonded joint, fabricated from austenitic stainless steel (AISI
304) sheet of 1.00 mm thickness and Epoxy adhesive Araldite 2011,
subjected to axial loading is investigated. This is needed to improve
design procedures and welding codes, and saving efforts in the
cumbersome experiments and analysis. Therefore, a complete 3-D
finite element modelling and analysis of spot welded, bonded and
weld-bonded joints under axial loading conditions is carried out. A
comprehensive systematic experimental program is conducted to
determine many properties and quantities, of the base metals and the
adhesive, needed for FE modelling, such like the elastic – plastic
properties, modulus of elasticity, fracture limit, the nugget and heat
affected zones (HAZ) properties, etc. Consequently, the finite
element models developed, for each case, are used to evaluate
stresses distributions across the entire joint, in both the elastic and
plastic regions. The stress distribution curves are obtained,
particularly in the elastic regions and found to be consistent and in
excellent agreement with the published data. Furthermore, the
stresses distributions are obtained in the weld-bonded joint and
display the best results with almost uniform smooth distribution
compared to spot and bonded cases. The stress concentration peaks at
the edges of the weld-bonded region, are almost eliminated resulting
in achieving the strongest joint of all processes.
Abstract: A method is presented for the construction of arbitrary
even-input sorting networks exhibiting better properties than the
networks created using a conventional technique of the same type.
The method was discovered by means of a genetic algorithm combined
with an application-specific development. Similarly to human
inventions in the area of theoretical computer science, the evolved
invention was analyzed: its generality was proven and area and time
complexities were determined.
Abstract: Adhesion strength of exterior or interior coating of
steel pipes is too important. Increasing of coating adhesion on
surfaces can increase the life time of coating, safety factor of
transmitting line pipe and decreasing the rate of corrosion and costs.
Preparation of steel pipe surfaces before doing the coating process is
done by shot and grit blasting. This is a mechanical way to do it.
Some effective parameters on that process, are particle size of
abrasives, distance to surface, rate of abrasive flow, abrasive physical
properties, shapes, selection of abrasive, kind of machine and its
power, standard of surface cleanness degree, roughness, time of
blasting and weather humidity. This search intended to find some
better conditions which improve the surface preparation, adhesion
strength and corrosion resistance of coating. So, this paper has
studied the effect of varying abrasive flow rate, changing the
abrasive particle size, time of surface blasting on steel surface
roughness and over blasting on it by using the centrifugal blasting
machine. After preparation of numbers of steel samples (according to
API 5L X52) and applying epoxy powder coating on them, to
compare strength adhesion of coating by Pull-Off test. The results
have shown that, increasing the abrasive particles size and flow rate,
can increase the steel surface roughness and coating adhesion
strength but increasing the blasting time can do surface over blasting
and increasing surface temperature and hardness too, change,
decreasing steel surface roughness and coating adhesion strength.
Abstract: Effect of high temperature exposure on properties of cement mortar containing municipal solid waste incineration (MSWI) bottom ash as partial natural aggregate replacement is analyzed in the paper. The measurements of mechanical properties, bulk density, matrix density, total open porosity, sorption and desorption isotherms are done on samples exposed to the temperatures of 20°C to 1000°C. TGA analysis is performed as well. Finally, the studied samples are analyzed by IR spectroscopy in order to evaluate TGA data.
Abstract: Photonic Crystal (PhC) based devices are being
increasingly used in multifunctional, compact devices in integrated
optical communication systems. They provide excellent
controllability of light, yet maintaining the small size required for
miniaturization. In this paper, the band gap properties of PhCs and
their typical applications in optical waveguiding are considered.
Novel PhC based applications such as nonlinear switching and
tapers are considered and simulation results are shown using the
accurate time-domain numerical method based on Finite Difference
Time Domain (FDTD) scheme. The suitability of these devices for
novel applications is discussed and evaluated.
Abstract: Borate minerals have attracted considerable attention in the past years due to their structural chemistry and mechanical properties in several industries. Recently, increasing attention has been paid to the use of; synthetically produced magnesium borates as catalysts reinforcing material for plastics, the conversion of hydrocarbons, electro-conductive treating agent, anti-wear and anti-corrosion materials. Magnesium borates can be synthesized by several methods such as; hydrothermal and solid-state (thermal) processes. In this study the hydrothermal production method was applied at the modest temperature of 80C along with convenient crystal growth. Using MgCl2.6H2O, H3BO3, and NaOH as starting materials, 30, 60, 120, 240 minutes of reaction times were studied. After all, the crystal structure and the morphology of the products were examined by X-Ray Diffraction (XRD) and Fourier Transform Infrared Spectroscopy (FT-IR). As a result the forms of Admontite and Mcallisterite minerals were synthesized.
Abstract: Stress analysis of functionally graded composite plates
composed of ceramic, functionally graded material and metal layers is
investigated using 3-D finite element method. In FGM layer, material
properties are assumed to be varied continuously in the thickness
direction according to a simple power law distribution in terms of the
volume fraction of a ceramic and metal. The 3-D finite element model
is adopted by using an 18-node solid element to analyze more
accurately the variation of material properties in the thickness
direction. Numerical results are compared for three types of materials.
In the analysis, the tensile and the compressive stresses are
summarized for various FGM thickness ratios, volume fraction
distributions, geometric parameters and mechanical loads.
Abstract: Zinc borates can be used as multi-functional
synergistic additives with flame retardant additives in polymers. Zinc
borate is white, non-hygroscopic and powder type product. The most
important properties are low solubility in water and high dehydration
temperature. Zinc borates dehydrate above 290°C and anhydrous zinc
borate has thermal resistance about 400°C. Zinc borates can be
synthesized using several methods such as hydrothermal and solidstate
processes. In this study, the solid-state method was applied at
low temperatures of 600oC and 700oC using the starting materials of
ZnO and H3BO3 with several mole ratios. The reaction time was
determined as 4 hours after some preliminary experiments. After the
synthesis, the crystal structure and the morphology of the products
were examined by X-Ray Diffraction (XRD) and Fourier Transform
Infrared Spectroscopy (FT-IR). As a result the forms of ZnB4O7,
Zn3(BO3)2, ZnB2O4 were synthesized and obtained along with the
unreacted ZnO.
Abstract: Accurate and comprehensive thermodynamic properties of pure and mixture of refrigerants are in demand by both producers and users of these materials. Information about thermodynamic properties is important initially to qualify potential candidates for working fluids in refrigeration machinery. From practical point of view, Refrigerants and refrigerant mixtures are widely used as working fluids in many industrial applications, such as refrigerators, heat pumps, and power plants The present work is devoted to evaluating seven cubic equations of state (EOS) in predicting gas and liquid phase volumetric properties of nine ozone-safe refrigerants both in super and sub-critical regions. The evaluations, in sub-critical region, show that TWU and PR EOS are capable of predicting PVT properties of refrigerants R32 within 2%, R22, R134a, R152a and R143a within 1% and R123, R124, R125, TWU and PR EOS's, from literature data are 0.5% for R22, R32, R152a, R143a, and R125, 1% for R123, R134a, and R141b, and 2% for R124. Moreover, SRK EOS predicts PVT properties of R22, R125, and R123 to within aforementioned errors. The remaining EOS's predicts volumetric properties of this class of fluids with higher errors than those above mentioned which are at most 8%.In general, the results are in favor of the preference of TWU and PR EOS over other remaining EOS's in predicting densities of all mentioned refrigerants in both super and sub critical regions. Typically, this refrigerant is known to offer advantages such as ozone depleting potential equal to zero, Global warming potential equal to 140, and no toxic.
Abstract: Titanium alloys like the modern alloy Ti 6Al 2Sn 4Zr 6Mo (Ti-6246) combine excellent specific mechanical properties and corrosion resistance. On the other hand,due to their material characteristics, machining of these alloys is difficult to perform. The aim of the current study is the analyses of wear mechanisms of coated cemented carbide tools applied in orthogonal cutting experiments of Ti-6246 alloy. Round bars were machined with standard coated tools in dry conditions on a CNC latheusing a wide range of cutting speeds and cutting depths. Tool wear mechanisms were afterwards investigated by means of stereo microscopy, optical microscopy, confocal microscopy and scanning electron microscopy. Wear mechanisms included fracture of the tool tip (total failure) and abrasion. Specific wear features like crater wear, micro cracks and built-up edgeformation appeared depending of the mechanical and thermal conditions generated in the workpiece surface by the cutting action.