Abstract: Formal verification is proposed to ensure the
correctness of the design and make functional verification more
efficient. As cache plays a vital role in the design of System on Chip
(SoC), and cache with Memory Management Unit (MMU) and cache
memory unit makes the state space too large for simulation to verify,
then a formal verification is presented for such system design. In the
paper, a formal model checking verification flow is suggested and a
new cache memory model which is called “exhaustive search model”
is proposed. Instead of using large size ram to denote the whole cache
memory, exhaustive search model employs just two cache blocks. For
cache system contains data cache (Dcache) and instruction cache
(Icache), Dcache memory model and Icache memory model are
established separately using the same mechanism. At last, the novel
model is employed to the verification of a cache which is module of a
custom-built SoC system that has been applied in practical, and the
result shows that the cache system is verified correctly using the
exhaustive search model, and it makes the verification much more
manageable and flexible.
Abstract: The paper deals with the problems of the actual
behavior, failure mechanism and load-carrying capacity of the special
bolt connection developed and intended for the assembly connections
of truss main girders of perspective railway temporary steel bridges.
Within the framework of this problem solution, several types of
structural details of assembly joints have been considered as the
conceptual structural design. Based on the preliminary evaluation of
advantages or disadvantages of these ones, in principle two basic
structural configurations – so-called “tooth” and “splice-plate”
connections have been selected for the subsequent detailed
investigation. This investigation is mainly based on the experimental
verification of the actual behavior, strain and failure mechanism and
corresponding strength of the connection, and on its numerical
modeling using FEM. This paper is focused only on the cyclic
loading (fatigue) tests results of “splice-plate” connections and their
evaluation, which have already been finished. Simultaneously with
the fatigue tests, the static loading tests have been realized too, but
these ones, as well as FEM numerical modeling, are not the subject of
this paper.
Abstract: Many aluminum motorcycle parts produced by a high
pressure die casting. Some parts such as fuel caps were a thin and
complex shape. This part risked for porosities and blisters on surface
if it only depended on an experience of mold makers for mold design.
This research attempted to use CAST-DESIGNER software
simulated the high pressure die casting process with the same process
parameters of a motorcycle fuel cap production. The simulated results
were compared with fuel cap products and expressed the same
porosity and blister locations on cap surface. An average of absolute
difference of simulated results was obtained 0.094 mm when
compared the simulated porosity and blister defect sizes on the fuel
cap surfaces with the experimental micro photography. This
comparison confirmed an accuracy of software and will use the
setting parameters to improve fuel cap molds in the further work.
Abstract: Biofuels production has come forth as a future
technology to combat the problem of depleting fossil fuels. Bio-based
ethanol production from enzymatic lignocellulosic biomass
degradation serves an efficient method and catching the eye of
scientific community. High cost of the enzyme is the major obstacle
in preventing the commercialization of this process. Thus main
objective of the present study was to optimize composition of
medium components for enhancing cellulase production by newly
isolated strain of Bacillus tequilensis. Nineteen factors were taken
into account using statistical Plackett-Burman Design. The significant
variables influencing the cellulose production were further employed
in statistical Response Surface Methodology using Central
Composite Design for maximizing cellulase production. The
optimum medium composition for cellulase production was: peptone
(4.94 g/L), ammonium chloride (4.99 g/L), yeast extract (2.00 g/L),
Tween-20 (0.53 g/L), calcium chloride (0.20 g/L) and cobalt chloride
(0.60 g/L) with pH 7, agitation speed 150 rpm and 72 h incubation at
37oC. Analysis of variance (ANOVA) revealed high coefficient of
determination (R2) of 0.99. Maximum cellulase productivity of 11.5
IU/ml was observed against the model predicted value of 13 IU/ml.
This was found to be optimally active at 60oC and pH 5.5.
Abstract: Geometric and mechanical properties all influence the
resistance of RC structures and may, in certain combination of
property values, increase the risk of a brittle failure of the whole
system.
This paper presents a statistical and probabilistic investigation on
the resistance of RC beams designed according to Eurocodes 2 and 8,
and subjected to multiple failure modes, under both the natural
variation of material properties and the uncertainty associated with
cross-section and transverse reinforcement geometry. A full
probabilistic model based on JCSS Probabilistic Model Code is
derived. Different beams are studied through material nonlinear
analysis via Monte Carlo simulations. The resistance model is
consistent with Eurocode 2. Both a multivariate statistical evaluation
and the data clustering analysis of outcomes are then performed.
Results show that the ultimate load behaviour of RC beams
subjected to flexural and shear failure modes seems to be mainly
influenced by the combination of the mechanical properties of both
longitudinal reinforcement and stirrups, and the tensile strength of
concrete, of which the latter appears to affect the overall response of
the system in a nonlinear way. The model uncertainty of the
resistance model used in the analysis plays undoubtedly an important
role in interpreting results.
Abstract: Stator elements «Vane diffuser + crossover + return
channel» of stages with different specific speed were investigated by
CFD calculations. The regime parameter was introduced to present
efficiency and loss coefficient performance of all elements together.
Flow structure demonstrated advantages and disadvantages of design.
Flow separation in crossovers was eliminated by its shape
modification. Efficiency increased visibly. Calculated CFD
performances are in acceptable correlation with predicted ones by
engineering design method. The information obtained is useful for
design method better calibration.
Abstract: Construction cost estimation is one of the most
important aspects of construction project design. For generations, the
process of cost estimating has been manual, time-consuming and
error-prone. This has partly led to most cost estimates to be unclear
and riddled with inaccuracies that at times lead to over- or underestimation
of construction cost. The development of standard set of
measurement rules that are understandable by all those involved in a
construction project, have not totally solved the challenges. Emerging
Building Information Modelling (BIM) technologies can exploit
standard measurement methods to automate cost estimation process
and improve accuracies. This requires standard measurement
methods to be structured in ontological and machine readable format;
so that BIM software packages can easily read them. Most standard
measurement methods are still text-based in textbooks and require
manual editing into tables or Spreadsheet during cost estimation. The
aim of this study is to explore the development of an ontology based
on New Rules of Measurement (NRM) commonly used in the UK for
cost estimation. The methodology adopted is Methontology, one of
the most widely used ontology engineering methodologies. The
challenges in this exploratory study are also reported and
recommendations for future studies proposed.
Abstract: At certain depths during large diameter displacement
pile driving, rebound well over 0.25 inches was experienced,
followed by a small permanent-set during each hammer blow. High
pile rebound (HPR) soils may stop the pile driving and results in a
limited pile capacity. In some cases, rebound leads to pile damage,
delaying the construction project, and the requiring foundations
redesign. HPR was evaluated at seven Florida sites, during driving of
square precast, prestressed concrete piles driven into saturated, fine
silty to clayey sands and sandy clays. Pile Driving Analyzer (PDA)
deflection versus time data recorded during installation, was used to
develop correlations between cone penetrometer (CPT) pore-water
pressures, pile displacements and rebound. At five sites where piles
experienced excessive HPR with minimal set, the pore pressure
yielded very high positive values of greater than 20 tsf. However, at
the site where the pile rebounded, followed by an acceptable
permanent-set, the measured pore pressure ranged between 5 and 20
tsf. The pore pressure exhibited values of less than 5 tsf at the site
where no rebound was noticed. In summary, direct correlations
between CPTu pore pressure and rebound were produced, allowing
identification of soils that produce HPR.
Abstract: Photonic Crystal Fibers (PCFs) can be used in optical
communications as transmission lines. For this reason, the PCFs with
low confinement loss, low chromatic dispersion, and low nonlinear
effects are highly suitable transmission media. In this paper, we
introduce a new design of index-guiding nanostructured photonic
crystal fiber (IG-NPCF) with ultra-low chromatic dispersion, low
nonlinearity effects, and low confinement loss. Relatively low
dispersion is achieved in the wavelength range of 1200 to 1600nm
using the proposed design. According to the new structure of
nanostructured PCF presented in this study, the chromatic dispersion
slope is -30(ps/km.nm) and the confinement loss reaches below 10-7
dB/km. While in the wavelength range mentioned above at the same
time an effective area of more than 50.2μm2 is obtained.
Abstract: In this paper a comprehensive review on various
factory layouts has been carried out for designing a lucrative process
layout for medium scale industries. Industry data base reveals that the
end product rejection rate is on the order of 10% amounting large
profit loss. In order to avoid these rejection rates and to increase the
quality product production an intermediate non-destructive testing
facility (INDTF) has been recommended for increasing the overall
profit. We observed through detailed case studies that while
introducing INDTF to medium scale industries the expensive
production process can be avoided to the defective products well
before its final shape. Additionally, the defective products identified
during the intermediate stage can be effectively utilized for other
applications or recycling; thereby the overall wastage of the raw
materials can be reduced and profit can be increased. We concluded
that the prudent design of a factory layout through critical path
method facilitating with INDTF will warrant profitable outcome.
Abstract: Social media continues to grow, and user interfaces
may become more appealing if cultural characteristics are
incorporated into their design.
Facebook was designed in the west, and the original language was
English. Subsequently, the words in the user interface were translated
to other languages, including Arabic.
Arabic words are written from right to left, and English is written
from left to right. The translated version may misrepresent the
original design and users’ preferences may be influenced by their
culture, which should be considered in the user interface design.
Previous research indicates that users are more comfortable when
interacting with a user interface, which relates to their own culture.
Therefore, this paper, using a survey, investigates the preferences of
Saudi Arabians on the Arabic version of the user interface of
Facebook.
Abstract: The electric power supplied by a photovoltaic power
generation systems depends on the solar irradiation and temperature.
The PV system can supply the maximum power to the load at a
particular operating point which is generally called as maximum
power point (MPP), at which the entire PV system operates with
maximum efficiency and produces its maximum power. Hence, a
Maximum power point tracking (MPPT) methods are used to
maximize the PV array output power by tracking continuously the
maximum power point. The proposed MPPT controller is designed
for 10kW solar PV system installed at Cape Institute of Technology.
This paper presents the fuzzy logic based MPPT algorithm. However,
instead of one type of membership function, different structures of
fuzzy membership functions are used in the FLC design. The
proposed controller is combined with the system and the results are
obtained for each membership functions in Matlab/Simulink
environment. Simulation results are decided that which membership
function is more suitable for this system.
Abstract: This paper deals with the problem of automatic rule
generation for fuzzy systems design. The proposed approach is based
on hybrid artificial bee colony (ABC) optimization and weighted least
squares (LS) method and aims to find the structure and parameters of
fuzzy systems simultaneously. More precisely, two ABC based fuzzy
modeling strategies are presented and compared. The first strategy
uses global optimization to learn fuzzy models, the second one
hybridizes ABC and weighted least squares estimate method. The
performances of the proposed ABC and ABC-LS fuzzy modeling
strategies are evaluated on complex modeling problems and compared
to other advanced modeling methods.
Abstract: Children today use computer based application in
various activities especially for learning and education. Many of
these tools and application such as the Computer Aided
Pronunciation Training (CAPT) systems enable children to explore
and experience them with little supervision from the adults. In order
for these tools and application to have maximum effect on the
children’s learning and education, it must be attractive to the children
to use them. This could be achieved with the proper user interface
(UI) design. As children grow, so do their ability, taste and
preferences. They interact differently with these applications as they
grow older. This study reviews several articles on how age factors
influence the UI design. The review focuses on age related abilities
such as cognitive, literacy, concentration and feedback requirement.
We have also evaluated few of existing CAPT systems and determine
the influence of age-based factors on the interface design.
Abstract: The sound pressure level (SPL) of the moving-coil
loudspeaker (MCL) is often simulated and analyzed using the lumped
parameter model. However, the SPL of a MCL cannot be simulated
precisely in the high frequency region, because the value of cone
effective area is changed due to the geometry variation in different
mode shapes, it is also related to affect the acoustic radiation mass and
resistance. Herein, the paper presents the inverse method which has a
high ability to measure the value of cone effective area in various
frequency points, also can estimate the MCL electroacoustic
parameters simultaneously. The proposed inverse method comprises
the direct problem, adjoint problem, and sensitivity problem in
collaboration with nonlinear conjugate gradient method. Estimated
values from the inverse method are validated experimentally which
compared with the measured SPL curve result. Results presented in
this paper not only improve the accuracy of lumped parameter model
but also provide the valuable information on loudspeaker cone design.
Abstract: Flanges are widely used for connecting valves, pipes and other industrial devices such as gearboxes. Method of producing a flange has a considerable impact on the manner of their involvement with the industrial engines and gearboxes. By Using die casting instead of sand casting and machining for manufacturing flanges, production speed and dimensional accuracy of the parts increases. Also, in die casting, obtained dimensions are close to final dimensions and hence the need for machining flanges after die casting process decreases which makes a significant savings in raw materials and improves the mechanical properties of flanges. In this paper, a typical die of an industrial helical gearbox flange (size ISO 50) was designed and die casting process for producing this type of flange was simulated using ProCAST software. The results of simulation were used for optimizing die design. Finally, using the results of the analysis, optimized die was built.
Abstract: Outrigger-braced wall systems are commonly used to provide high rise buildings with the required lateral stiffness for wind and earthquake resistance. The existence of outriggers adds to the stiffness and strength of walls as reported by several studies. The effects of different parameters on the elasto-plastic dynamic behavior of outrigger-braced wall systems to earthquakes are investigated in this study. Parameters investigated include outrigger stiffness, concrete strength, and reinforcement arrangement as the main design parameters in wall design. In addition to being significantly affect the wall behavior, such parameters may lead to the change of failure mode and the delay of crack propagation and consequently failure as the wall is excited by earthquakes. Bi-linear stress-strain relation for concrete with limited tensile strength and truss members with bi-linear stress-strain relation for reinforcement were used in the finite element analysis of the problem. The famous earthquake record, El-Centro, 1940 is used in the study. Emphasize was given to the lateral drift, normal stresses and crack pattern as behavior controlling determinants. Results indicated significant effect of the studied parameters such that stiffer outrigger, higher grade concrete and concentrating the reinforcement at wall edges enhance the behavior of the system. Concrete stresses and cracking behavior are too much enhanced while less drift improvements are observed.
Abstract: In recent years, the introduction of Pre Engineered Building (PEB) concept in the design of structures has helped in optimizing design. The adoptability of PEB in the place of Conventional Steel Building (CSB) design concept resulted in many advantages, including economy and easier fabrication. In this study, an industrial structure (Ware House) is analyzed and designed according to the Indian standards, IS 800-1984, IS 800-2007 and also by referring MBMA-96 and AISC-89. In this study, a structure with length 187m,width 40m,with clear height 8m and having R-Slope 1:10,isconsidered to carry out analysis& design for 2D frames (End frame, frame without crane and frame with 3 module cranes). The economy of the structure is discussed in terms of its weight comparison, between Indian codes (IS800-1984, IS800-2007) & American code (MBMA-96), & between Indian codes (IS800-1984, IS800-2007).
Abstract: The purpose of this paper is to synthesize the research result of brand Identities of Thai Halal brands which related to the way of life for Thai Muslims. The results will be transforming to Thai Halal Brands packaging and label design. The expected benefit is an alternative of marketing strategy for brand building process for Halal products in Thailand. Four elements of marketing strategies which necessary for the brand identity creation is the research framework: consists of Attributes, Benefits, Values and Personality. The research methodology was applied using qualitative and quantitative; 19 marketing experts with dynamic roles in Thai consumer products were interviewed. In addition, a field survey of 122 Thai Muslims selected from 175 Muslim communities in Bangkok was studied. Data analysis will be according to 5 categories of Thai Halal product: 1) Meat 2) Vegetable and Fruits 3) Instant foods and Garnishing ingredient 4) Beverages, Desserts and Snacks 5) Hygienic daily products.
The results will explain some suitable approach for brand Identities of Thai Halal brands as are: 1) Benefit approach as the characteristics of the product with its benefit. The brand identity created transform to the packaging design should be clear and display a fresh product 2) Value approach as the value of products that affect to consumers’ perception. The brand identity created transform to the packaging design should be simply look and using a trustful image 3) Personality approach as the reflection of consumers thought. The brand identity created transform to the packaging design should be sincere, enjoyable, merry, flamboyant look and using a humoristic image.
Abstract: The design of multi stage deep drawing processes requires the evaluation of many process parameters such as the intermediate die geometry, the blank shape, the sheet thickness, the blank holder force, friction, lubrication etc..These process parameters have to be determined for the optimum forming conditions before the process design. In general sheet metal forming may involve stretching drawing or various combinations of these basic modes of deformation. It is important to determine the influence of the process variables in the design of sheet metal working process. Especially, the punch and die corner for deep drawing will affect the formability. At the same time the prediction of sheet metals springback after deep drawing is an important issue to solve for the control of manufacturing processes. Nowadays, the importance of this problem increases because of the use of steel sheeting with high stress and also aluminum alloys.
The aim of this paper is to give a better understanding of the springback and its effect in various sheet metals forming process such as expansion and restreint deep drawing in the cup drawing process, by varying radius die, lubricant for two commercially available materials e.g. galvanized steel and Aluminum sheet. To achieve these goals experiments were carried out and compared with other results. The original of our purpose consist on tests which are ensured by adapting a U-type stretching-bending device on a tensile testing machine, where we studied and quantified the variation of the springback.