Abstract: Domain-specific languages describe specific solutions to problems in the application domain. Traditionally they form a solution composing black-box abstractions together. This, usually, involves non-deep transformations over the target model. In this paper we argue that it is potentially powerful to operate with grey-box abstractions to build a domain-specific software system. We present parametric code templates as grey-box abstractions and conceptual tools to encapsulate and manipulate these templates. Manipulations introduce template-s merging routines and can be defined in a generic way. This involves reasoning mechanisms at the code templates level. We introduce the concept of Neurath Modelling Language (NML) that operates with parametric code templates and specifies a visualisation mapping mechanism for target models. Finally we provide an example of calculating a domain-specific software system with predefined NML elements.
Abstract: Dynamic location referencing method is an important technology to shield map differences. These method references objects of the road network by utilizing condensed selection of its real-world geographic properties stored in a digital map database, which overcomes the defections existing in pre-coded location referencing methods. The high attributes completeness requirements and complicated reference point selection algorithm are the main problems of recent researches. Therefore, a dynamic location referencing algorithm combining intersection points selected at the extremities compulsively and road link points selected according to link partition principle was proposed. An experimental system based on this theory was implemented. The tests using Beijing digital map database showed satisfied results and thus verified the feasibility and practicability of this method.
Abstract: For Seismic design, it is important to estimate,
maximum lateral displacement (inelastic displacement) of the
structures due to sever earthquakes for several reasons. Seismic
design provisions estimate the maximum roof and storey drifts
occurring in major earthquakes by amplifying the drifts of the
structures obtained by elastic analysis subjected to seismic design
load, with a coefficient named “displacement amplification factor"
which is greater than one. Here, this coefficient depends on various
parameters, such as ductility and overstrength factors. The present
research aims to evaluate the value of the displacement amplification
factor in seismic design codes and then tries to propose a value to
estimate the maximum lateral structural displacement from sever
earthquakes, without using non-linear analysis. In seismic codes,
since the displacement amplification is related to “force reduction
factor" hence; this aspect has been accepted in the current study.
Meanwhile, two methodologies are applied to evaluate the value of
displacement amplification factor and its relation with the force
reduction factor. In the first methodology, which is applied for all
structures, the ratio of displacement amplification and force reduction
factors is determined directly. Whereas, in the second methodology
that is applicable just for R/C moment resisting frame, the ratio is
obtained by calculating both factors, separately. The acquired results
of these methodologies are alike and estimate the ratio of two factors
from 1 to 1.2. The results indicate that the ratio of the displacement
amplification factor and the force reduction factor differs to those
proposed by seismic provisions such as NEHRP, IBC and Iranian
seismic code (standard no. 2800).
Abstract: Regression testing is a maintenance activity applied to
modified software to provide confidence that the changed parts are
correct and that the unchanged parts have not been adversely affected
by the modifications. Regression test selection techniques reduce the
cost of regression testing, by selecting a subset of an existing test
suite to use in retesting modified programs. This paper presents the
first general regression-test-selection technique, which based on code
and allows selecting test cases for any programs written in any
programming language. Then it handles incomplete program. We
also describe RTSDiff, a regression-test-selection system that
implements the proposed technique. The results of the empirical
studied that performed in four programming languages java, C#, Cµ
and Visual basic show that the efficiency and effective in reducing
the size of test suit.
Abstract: Packing problems arise in a wide variety of application
areas. The basic problem is that of determining an efficient arrangement
of different objects in a region without any overlap and
with minimal wasted gap between shapes. This paper presents a
novel population based approach for optimizing arrangement of irregular
shapes. In this approach, each shape is coded as an agent and
the agents' reproductions and grouping policies results in arrangements
of the objects in positions with least wasted area between
them. The approach is implemented in an application for cutting
sheets and test results on several problems from literature are presented.
Abstract: An accurate procedure to determine free vibrations of
beams and plates is presented.
The natural frequencies are exact solutions of governing vibration
equations witch load to a nonlinear homogeny system.
The bilinear and linear structures considered simulate a bridge.
The dynamic behavior of this one is analyzed by using the theory of
the orthotropic plate simply supported on two sides and free on the
two others. The plate can be excited by a convoy of constant or
harmonic loads. The determination of the dynamic response of the
structures considered requires knowledge of the free frequencies and
the shape modes of vibrations. Our work is in this context. Indeed,
we are interested to develop a self-consistent calculation of the Eigen
frequencies.
The formulation is based on the determination of the solution of
the differential equations of vibrations. The boundary conditions
corresponding to the shape modes permit to lead to a homogeneous
system. Determination of the noncommonplace solutions of this
system led to a nonlinear problem in Eigen frequencies.
We thus, develop a computer code for the determination of the
eigenvalues. It is based on a method of bisection with interpolation
whose precision reaches 10 -12. Moreover, to determine the
corresponding modes, the calculation algorithm that we develop uses
the method of Gauss with a partial optimization of the "pivots"
combined with an inverse power procedure. The Eigen frequencies
of a plate simply supported along two opposite sides while
considering the two other free sides are thus analyzed. The results
could be generalized with the case of a beam by regarding it as a
plate with low width.
We give, in this paper, some examples of treated cases. The
comparison with results presented in the literature is completely
satisfactory.
Abstract: The RANS method with Saffman-s turbulence model
was employed to solve the time-dependent turbulent Navier-Stokes
and energy equations for oscillating pipe flows. The method of
partial sums of the Fourier series is used to analyze the harmonic
velocity and temperature results. The complete structures of the
oscillating pipe flows and the averaged Nusselt numbers on the tube
wall are provided by numerical simulation over wide ranges of ReA
and ReR. Present numerical code is validated by comparing the
laminar flow results to analytic solutions and turbulence flow results
to published experimental data at lower and higher Reynolds
numbers respectively. The effects of ReA and ReR on the velocity,
temperature and Nusselt number distributions have been di scussed.
The enhancement of the heat transfer due to oscillating flows has
also been presented. By the way of analyzing the overall Nusselt
number over wide ranges of the Reynolds number Re and Keulegan-
Carpenter number KC, the optimal ratio of the tube diameter over
the oscillation amplitude is obtained based on the existence of a
nearly constant optimal KC number. The potential application of the
present results in sea water cooling has also been discussed.
Abstract: The flow field over a flat roof model building has been numerically investigated in order to determine threedimensional CFD guidelines for the calculation of the turbulent flow over a structure immersed in an atmospheric boundary layer. To this purpose, a complete validation campaign has been performed through a systematic comparison of numerical simulations with wind tunnel experimental data. Wind tunnel measurements and numerical predictions have been compared for five different vertical positions, respectively from the upstream leading edge to the downstream bottom edge of the analyzed model. Flow field characteristics in the neighborhood of the building model have been numerically investigated, allowing a quantification of the capabilities of the CFD code to predict the flow separation and the extension of the recirculation regions. The proposed calculations have allowed the development of a preliminary procedure to be used as guidance in selecting the appropriate grid configuration and corresponding turbulence model for the prediction of the flow field over a three-dimensional roof architecture dominated by flow separation.
Abstract: In this paper, four carbazole-based D-D-π-A organic
dyes code as CCT2A, CCT3A, CCT1PA and CCT2PA were reported.
A series of these organic dyes containing identical donor and
acceptor group but different π-system. The effect of replacing of
thiophene by phenyl thiophene as π-system on the physical
properties has been focused. The structural, energetic properties and
absorption spectra were theoretically investigated by means of
Density Functional Theory (DFT) and Time-Dependent Density
Functional Theory (TD-DFT). The results show that nonplanar
conformation due to steric hindrance in donor part (cabazolecarbazole
unit) of dye molecule can prevent unfavorable dye
aggregation. By means of the TD-DFT method, the absorption
spectra were calculated by B3LYP and BHandHLYP to study the
affect of hybrid functional on the excitation energy (Eg). The results
revealed the increasing of thiophene units not only resulted in
decreasing of Eg, but also found the shifting of absorption spectra to
higher wavelength. TD-DFT/BHandHLYP calculated results are
more strongly agreed with the experimental data than B3LYP
functions. Furthermore, the adsorptions of CCT2A and CCT3A on the
TiO2 anatase (101) surface were carried out by mean of the chemical
periodic calculation. The result exhibit the strong adsorption energy.
The calculated results provide our new organic dyes can be
effectively used as dye for Dye Sensitized Solar Cell (DSC).
Abstract: A simple but effective digital watermarking scheme
utilizing a context adaptive variable length coding (CAVLC) method
is presented for wireless communication system. In the proposed
approach, the watermark bits are embedded in the final non-zero
quantized coefficient of each DCT block, thereby yielding a potential
reduction in the length of the coded block. As a result, the
watermarking scheme not only provides the means to check the
authenticity and integrity of the video stream, but also improves the
compression ratio and therefore reduces both the transmission time
and the storage space requirements of the coded video sequence. The
results confirm that the proposed scheme enables the detection of
malicious tampering attacks and reduces the size of the coded H.264
file. Therefore, the current study is feasible to apply in the video
applications of wireless communication such as 3G system
Abstract: Developers need to evaluate software's performance to make software efficient. This paper suggests a performance evaluation system for embedded software. The suggested system consists of code analyzer, testing agents, data analyzer, and report viewer. The code analyzer inserts additional code dependent on target system into source code and compiles the source code. The testing agents execute performance test. The data analyzer translates raw-level results data to class-level APIs for reporting viewer. The report viewer offers users graphical report views by using the APIs. We hope that the suggested tool will be useful for embedded-related software development,because developers can easily and intuitively analyze software's performance and resource utilization.
Abstract: Aircraft propulsion systems often use Y-shaped
subsonic diffusing ducts as twin air-intakes to supply the ambient air
into the engine compressor for thrust generation. Due to space
constraint, the diffusers need to be curved, which causes severe flow
non-uniformity at the engine face. The present study attempt to
control flow in a mild-curved Y-duct diffuser using trapezoidalshaped
vortex generators (VG) attached on either both the sidewalls
or top and bottom walls of the diffuser at the inflexion plane. A
commercial computational fluid dynamics (CFD) code is modified
and is used to simulate the effects of SVG in flow of a Y-duct
diffuser. A few experiments are conducted for CFD code validation,
while the rest are done computationally. The best combination of Yduct
diffuser is found with VG-2 arranged in co-rotating sequence
and attached to both the sidewalls, which ensures highest static
pressure recovery, lowest total pressure loss, minimum flow
distortion and less flow separation in Y-duct diffuser. The decrease in
VG height while attached to top and bottom walls further improves
axial flow uniformity at the diffuser outlet by a great margin as
compared to the bare duct.
Abstract: In this manuscript, the LBM is applied for simulating of Mixed Convection in a Lid-Driven cavity with an open side. The cavity horizontal walls are insulated while the west Lid-driven wall is maintained at a uniform temperature higher than the ambient. Prandtl number (Pr) is fixed to 0.71 (air) while Reynolds number (Re) , Richardson number (Ri) and aspect ratio (A) of the cavity are changed in the range of 50-150 , of 0.1-10 and of 1-4 , respectively. The numerical code is validated for the standard square cavity, and then the results of an open ended cavity are presented. Result shows by increasing of aspect ratio, the average Nusselt number (Nu) on lid- driven wall decreases and with same Reynolds number (Re) by increasing of aspect ratio (A), Richardson number plays more important role in heat transfer rate.
Abstract: The prediction of transmembrane helical segments
(TMHs) in membrane proteins is an important field in the
bioinformatics research. In this paper, a new method based on discrete
wavelet transform (DWT) has been developed to predict the number
and location of TMHs in membrane proteins. PDB coded as 1KQG
was chosen as an example to describe the prediction of the number and
location of TMHs in membrane proteins by using this method. To
access the effect of the method, 80 proteins with known 3D-structure
from Mptopo database are chosen at random as the test objects
(including 325 TMHs), 308 of which can be predicted accurately, the
average predicted accuracy is 96.3%. In addition, the above 80
membrane proteins are divided into 13 groups according to their
function and type. In particular, the results of the prediction of TMHs
of the 13 groups are satisfying.
Abstract: Recent years have witnessed the rapid development of
the Internet and telecommunication techniques. Information security
is becoming more and more important. Applications such as covert
communication, copyright protection, etc, stimulate the research of
information hiding techniques. Traditionally, encryption is used to
realize the communication security. However, important information
is not protected once decoded. Steganography is the art and science
of communicating in a way which hides the existence of the communication.
Important information is firstly hidden in a host data, such
as digital image, video or audio, etc, and then transmitted secretly
to the receiver.In this paper a data hiding model with high security
features combining both cryptography using finite state sequential
machine and image based steganography technique for communicating
information more securely between two locations is proposed.
The authors incorporated the idea of secret key for authentication
at both ends in order to achieve high level of security. Before the
embedding operation the secret information has been encrypted with
the help of finite-state sequential machine and segmented in different
parts. The cover image is also segmented in different objects through
normalized cut.Each part of the encoded secret information has been
embedded with the help of a novel image steganographic method
(PMM) on different cuts of the cover image to form different stego
objects. Finally stego image is formed by combining different stego
objects and transmit to the receiver side. At the receiving end different
opposite processes should run to get the back the original secret
message.
Abstract: This paper describes analysis of low velocity transverse impact on fully backed sandwich beams with composite faces from Eglass/epoxy and cores from Polyurethane or PVC. Indentation on sandwich beams has been analyzed with the existing theories and modeled with the FE code ABAQUS, also loadings have been done experimentally to verify theoretical results. Impact on fully backed has been modeled in two cases of impactor energy with SDOF model (single-degree-of-freedom) and indentation stiffness: lower energy for elastic indentation of sandwich beams and higher energy for plastic area in indentation. Impacts have been modeled by ABAQUS. Impact results can describe response of beam in terms of core and faces thicknesses, core material, indentor energy and energy absorbed. The foam core is modeled using the crushable foam material model and response of the foam core is experimentally characterized in uniaxial compression with higher velocity loading to define quasi impact behaviour.
Abstract: The demand of hydrocarbons has increased the
construction of pipelines and the protection of the physical and
mechanical integrity of the already existing infrastructure. Corrosion
is the main reason of failures in the pipeline and it is mostly produced
by acid (HCOOCH3). In this basis, a CFD code was used, in order to
study the corrosion of internal wall of hydrocarbons pipeline. In this
situation, the corrosion phenomenon shows a growing deposit, which
causes defect damages (welding or fabrication) at diverse positions
along the pipeline. The solution of the pipeline corrosion is based on
the diminution of the Naphthenic acid.
Abstract: The Spalart and Allmaras turbulence model has been
implemented in a numerical code to study the compressible turbulent
flows, which the system of governing equations is solved with a
finite volume approach using a structured grid. The AUSM+ scheme
is used to calculate the inviscid fluxes. Different benchmark
problems have been computed to validate the implementation and
numerical results are shown. A special Attention is paid to wall jet
applications. In this study, the jet is submitted to various wall
boundary conditions (adiabatic or uniform heat flux) in forced
convection regime and both two-dimensional and axisymmetric wall
jets are considered. The comparison between the numerical results
and experimental data has given the validity of this turbulence model
to study the turbulent wall jets especially in engineering applications.
Abstract: Low-density parity-check (LDPC) codes have been shown to deliver capacity approaching performance; however, problematic graphical structures (e.g. trapping sets) in the Tanner graph of some LDPC codes can cause high error floors in bit-error-ratio (BER) performance under conventional sum-product algorithm (SPA). This paper presents a serial concatenation scheme to avoid the trapping sets and to lower the error floors of LDPC code. The outer code in the proposed concatenation is the LDPC, and the inner code is a high rate array code. This approach applies an interactive hybrid process between the BCJR decoding for the array code and the SPA for the LDPC code together with bit-pinning and bit-flipping techniques. Margulis code of size (2640, 1320) has been used for the simulation and it has been shown that the proposed concatenation and decoding scheme can considerably improve the error floor performance with minimal rate loss.
Abstract: The seismic response of steel shear wall system considering nonlinearity effects using finite element method is investigated in this paper. The non-linear finite element analysis has potential as usable and reliable means for analyzing of civil structures with the availability of computer technology. In this research the large displacements and materially nonlinear behavior of shear wall is presented with developing of finite element code. A numerical model based on the finite element method for the seismic analysis of shear wall is presented with developing of finite element code in this research. To develop the finite element code, the standard Galerkin weighted residual formulation is used. Two-dimensional plane stress model and total Lagrangian formulation was carried out to present the shear wall response and the Newton-Raphson method is applied for the solution of nonlinear transient equations. The presented model in this paper can be developed for analysis of civil engineering structures with different material behavior and complicated geometry.