Abstract: This paper will discuss how we optimize our physical
verification flow in our IC Design Department having various rule
decks from multiple foundries. Our ultimate goal is to achieve faster
time to tape-out and avoid schedule delay. Currently the physical
verification runtimes and memory usage have drastically increased
with the increasing number of design rules, design complexity, and
the size of the chips to be verified. To manage design violations, we
use a number of solutions to reduce the amount of violations needed
to be checked by physical verification engineers. The most important
functions in physical verifications are DRC (design rule check), LVS
(layout vs. schematic), and XRC (extraction). Since we have a
multiple number of foundries for our design tape-outs, we need a
flow that improve the overall turnaround time and ease of use of the
physical verification process. The demand for fast turnaround time is
even more critical since the physical design is the last stage before
sending the layout to the foundries.
Abstract: Elliptic curve discrete logarithm problem(ECDLP) is
one of problems on which the security of pairing-based cryptography
is based. This paper considers Pollard’s rho method to evaluate
the security of ECDLP on Barreto-Naehrig(BN) curve that is an
efficient pairing-friendly curve. Some techniques are proposed to
make the rho method efficient. Especially, the group structure on
BN curve, distinguished point method, and Montgomery trick are
well-known techniques. This paper applies these techniques and
shows its optimization. According to the experimental results for
which a large-scale parallel system with MySQL is applied, 94-bit
ECDLP was solved about 28 hours by parallelizing 71 computers.
Abstract: In most existing buildings in hot climate, cooling
loads lead to high primary energy consumption and consequently
high CO2 emissions. These can be substantially decreased with
integrated renewable energy systems. Kuwait is characterized by its
dry hot long summer and short warm winter. Kuwait receives annual
total radiation more than 5280 MJ/m2 with approximately 3347 h of
sunshine. Solar energy systems consist of PV modules and parabolic
trough collectors are considered to satisfy electricity consumption,
domestic water heating, and cooling loads of an existing building.
This paper presents the results of an extensive program of energy
conservation and energy generation using integrated photovoltaic
(PV) modules and Parabolic Trough Collectors (PTC). The program
conducted on an existing institutional building intending to convert it
into a Net-Zero Energy Building (NZEB) or near net Zero Energy
Building (nNZEB). The program consists of two phases; the first
phase is concerned with energy auditing and energy conservation
measures at minimum cost and the second phase considers the
installation of photovoltaic modules and parabolic trough collectors.
The 2-storey building under consideration is the Applied Sciences
Department at the College of Technological Studies, Kuwait. Single
effect lithium bromide water absorption chillers are implemented to
provide air conditioning load to the building. A numerical model is
developed to evaluate the performance of parabolic trough collectors
in Kuwait climate. Transient simulation program (TRNSYS) is
adapted to simulate the performance of different solar system
components. In addition, a numerical model is developed to assess
the environmental impacts of building integrated renewable energy
systems. Results indicate that efficient energy conservation can play
an important role in converting the existing buildings into NZEBs as
it saves a significant portion of annual energy consumption of the
building. The first phase results in an energy conservation of about
28% of the building consumption. In the second phase, the integrated
PV completely covers the lighting and equipment loads of the
building. On the other hand, parabolic trough collectors of optimum
area of 765 m2 can satisfy a significant portion of the cooling load,
i.e about73% of the total building cooling load. The annual avoided
CO2 emission is evaluated at the optimum conditions to assess the
environmental impacts of renewable energy systems. The total annual
avoided CO2 emission is about 680 metric ton/year which confirms
the environmental impacts of these systems in Kuwait.
Abstract: Present study was aimed to develop a discharge
measuring device for irrigation and laboratory channels. Experiments
were conducted on sharp edged constricted flow meters having four
types of width constrictions namely 2:1, 1.5:1, 1:1 and 90o in the
direction of flow. These devices were made of MS sheets and
installed separately in a rectangular flume. All these four devices
were tested under free and submerged flow conditions. Eight
different discharges varying from 2 lit/sec to 30 lit/sec were passed
through each device. In total around 500 observations of upstream
and downstream depths were taken in the present work. For each
discharge, free submerged and critical submergence under different
flow conditions were noted and plotted. Once the upstream and
downstream depths of flow over any of the device are known, the
discharge can be easily calculated with the help of the curves
developed for free and submerged flow conditions. The device
having contraction 2:1 is the most efficient one as it allows maximum
critical submergence.
Abstract: This study presents a hybrid metaheuristic algorithm
to obtain optimum designs for steel space buildings. The optimum
design problem of three-dimensional steel frames is mathematically
formulated according to provisions of LRFD-AISC (Load and
Resistance factor design of American Institute of Steel Construction).
Design constraints such as the strength requirements of structural
members, the displacement limitations, the inter-story drift and the
other structural constraints are derived from LRFD-AISC
specification. In this study, a hybrid algorithm by using teachinglearning
based optimization (TLBO) and harmony search (HS)
algorithms is employed to solve the stated optimum design problem.
These algorithms are two of the recent additions to metaheuristic
techniques of numerical optimization and have been an efficient tool
for solving discrete programming problems. Using these two
algorithms in collaboration creates a more powerful tool and
mitigates each other’s weaknesses. To demonstrate the powerful
performance of presented hybrid algorithm, the optimum design of a
large scale steel building is presented and the results are compared to
the previously obtained results available in the literature.
Abstract: Regions with extreme climate conditions such as
Astana city require energy saving measures to increase energy
performance of buildings which are responsible for more than 40% of
total energy consumption. Identification of optimal building
geometry is one of key factors to be considered. Architectural form of
a building has impact on space heating and cooling energy use,
however the interrelationship between the geometry and resultant
energy use is not always readily apparent. This paper presents a
comparative case study of two prototypical buildings with compact
building shape to assess its impact on energy performance.
Abstract: The aims of study were investigation on chemical
composition essential oil and the effect of extract of Coronilla varia
on antimicrobial and cytotoxicity activity. The essential oils of
Coronilla varia is obtained by hydrodistillation and analyzed by
(GC/MS) for determining their chemical composition and
identification of their components. Antibacterial activity of plant
extract was determined by disc diffusion method and anticancer
activity measured by MTT assay. The major components in essential
oil were Caryophyllene Oxide (60.19%), Alphacadinol (4.13%) and
Homoadantaneca Robexylic Acid (3.31%). The extracts from
Coronilla varia had interesting activity against Proteus mirabilis in
the concentration of 700 μg/disc and did not show any activity
against Staphylococus aureus, Bacillus subtillis, Klebsiella
pneumonia and Entrobacter cloacae. The positive control,
Ampicillin, Chloramphenicol and Cenphalothin had shown zone of
inhibition resistant all bacteria. The ethanol extract of Corohilla varia
inhibited on MCF7 cell lines. IC50 0.6(mg/ml) was the optimum
concentration of extract from Coronilla varia inhibition of cell line
growth. The MCF7 cancer cell line and Proteus mirabilis were more
sensitive to Coronilla varia ethanol extract.
Abstract: In this paper, we study the optical nonlinearities of
Silver sulfide (Ag2S) nanostructures dispersed in the Dimethyl
sulfoxide (DMSO) under exposure to 532 nm, 15 nanosecond (ns)
pulsed laser irradiation. Ultraviolet–visible absorption spectrometry
(UV-Vis), X-ray diffraction (XRD), and transmission electron
microscopy (TEM) are used to characterize the obtained nanocrystal
samples. The band gap energy of colloid is determined by analyzing
the UV–Vis absorption spectra of the Ag2S NPs using the band
theory of semiconductors. Z-scan technique is used to characterize
the optical nonlinear properties of the Ag2S nanoparticles (NPs).
Large enhancement of two photon absorption effect is observed with
increase in concentration of the Ag2S nanoparticles using open Zscan
measurements in the ns laser regime. The values of the nonlinear
absorption coefficients are determined based on the local nonlinear
responses including two photon absorption. The observed aperture
dependence of the Ag2S NP limiting performance indicates that the
nonlinear scattering plays an important role in the limiting action of
the sample. The concentration dependence of the optical liming is
also investigated. Our results demonstrate that the optical limiting
threshold decreases with increasing the silver sulfide NPs in DMSO.
Abstract: Tamil handwritten document is taken as a key source of data to identify the writer. Tamil is a classical language which has 247 characters include compound characters, consonants, vowels and special character. Most characters of Tamil are multifaceted in nature. Handwriting is a unique feature of an individual. Writer may change their handwritings according to their frame of mind and this place a risky challenge in identifying the writer. A new discriminative model with pooled features of handwriting is proposed and implemented using support vector machine. It has been reported on 100% of prediction accuracy by RBF and polynomial kernel based classification model.
Abstract: Water resource systems modeling has constantly been
a challenge through history for human beings. As the innovative
methodological development is evolving alongside computer sciences
on one hand, researches are likely to confront more complex and
larger water resources systems due to new challenges regarding
increased water demands, climate change and human interventions,
socio-economic concerns, and environment protection and
sustainability. In this research, an automatic calibration scheme has
been applied on the Gilan’s large-scale water resource model using
mathematical programming. The water resource model’s calibration
is developed in order to attune unknown water return flows from
demand sites in the complex Sefidroud irrigation network and other
related areas. The calibration procedure is validated by comparing
several gauged river outflows from the system in the past with model
results. The calibration results are pleasantly reasonable presenting a
rational insight of the system. Subsequently, the unknown optimized
parameters were used in a basin-scale linear optimization model with
the ability to evaluate the system’s performance against a reduced
inflow scenario in future. Results showed an acceptable match
between predicted and observed outflows from the system at selected
hydrometric stations. Moreover, an efficient operating policy was
determined for Sefidroud dam leading to a minimum water shortage
in the reduced inflow scenario.
Abstract: Unsatisfactory experiences due to an information shortage regarding the future pay-offs of actual choices, yield satisficing decision-making. This research will examine, for the first time in the literature, the motivation behind suboptimal decisions due to uncertainty by subjecting Adam Smith’s and Jeremy Bentham’s assumptions about the nature of the actions that lead to satisficing behavior, in order to clarify the theoretical background of a “consumption-based satisfactory time” concept. The contribution of this paper with respect to the existing literature is threefold: firstly, it is showed in this paper that Adam Smith’s uncertainty is related to the problem of the constancy of ideas and not related directly to beliefs. Secondly, possessions, as in Jeremy Bentham’s oeuvre, are assumed to be just as pleasing, as protecting and improving the actual or expected quality of life, so long as they reduce any displeasure due to the undesired outcomes of uncertainty. Finally, each consumption decision incurs its own satisfactory time period, owed to not feeling hungry, being healthy, not having transportation…etc. This reveals that the level of satisfaction is indeed a behavioral phenomenon where its value would depend on the simultaneous satisfaction derived from all activities.
Abstract: This study investigated the impact of inflectional and derivational morphemic analysis awareness on ESL secondary school students’ vocabulary learning strategy. The quasi-experimental study was conducted with 106 low proficiency secondary school students in two experimental groups (inflectional and derivational) and one control group. The students’ vocabulary acquisition was assessed through two measures: Morphemic Analysis Test and Vocabulary- Morphemic Test in the pretest and posttest before and after an intervention programme. Results of ANCOVA revealed that both the experimental groups achieved a significant score in Morphemic Analysis Test and Vocabulary-Morphemic Test. However, the inflectional group obtained a fairly higher score than the derivational group. Thus, the results indicated that ESL low proficiency secondary school students performed better on inflectional morphemic awareness as compared to derivatives. The results also showed that the awareness of inflectional morphology contributed more on the vocabulary acquisition. Importantly, learning inflectional morphology can help ESL low proficiency secondary school students to develop both morphemic awareness and vocabulary gain. Theoretically, these findings show that not all morphemes are equally useful to students for their language development. Practically, these findings indicate that morphological instruction should at least be included in remediation and instructional efforts with struggling learners across all grade levels, allowing them to focus on meaning within the word before they attempt the text in large for better comprehension. Also, by methodologically, by conducting individualized intervention and assessment this study provided fresh empirical evidence to support the existing literature on morphemic analysis awareness and vocabulary learning strategy. Thus, a major pedagogical implication of the study is that morphemic analysis awareness strategy is a definite boon for ESL secondary school students in learning English vocabulary.
Abstract: The importance of energy efficiency within the production processes increases steadily. For a comprehensive assessment of energy efficiency within the production process, unfortunately no tools exist or have been developed yet. Therefore the Institute for Factory Automation and Production Systems at the Friedrich-Alexander-University Erlangen-Nuremberg has developed two methods with the goal of achieving transparency and a quantitative assessment of energy efficiency namely EEV (Energy Efficiency Value) and EPE (Energetic Process Efficiency). This paper describes the basics and state-of-the-art as well as the developed approaches.
Abstract: This paper seeks to assess the implications of bank
consolidation on the performance of small and medium scale
enterprises in the Nigerian economy. Multiple linear regression
technique and correlation matrix test were employed to measure the
extent to which small and medium scale enterprises asset size,
survival and access to credit were influenced. The result showed that
bank deposit (BD) and bank credit (L or BC) impacted on asset size
and survival of small and medium scale enterprises. None of the
variables had significant impact on SMEs access to credit. There is a
shift of focus by commercial banks away from small and medium
scale enterprises (small customers), which is evidenced by the
significant negative influence of bank credit to both the survival and
asset size of small and medium enterprises. While micro finance
banks work hard at providing funds to small and medium scale
entrepreneurs, their capacity to meet the needs of these entrepreneurs
is constrained. CBN should make policies that will boost micro
finance bank’s capital and also monitor closely the management of
the banks to ensure prudent financing of small and medium scale
investments.
Abstract: A multilayer passive shield composed of low-activity
lead (Pb), copper (Cu), tin (Sn) and iron (Fe) was designed and
manufactured for a coaxial HPGe detector placed at a surface
laboratory for reducing background radiation and radiation dose to
the personnel. The performance of the shield was evaluated and
efficiency curves of the detector were plotted by using of various
standard sources in different distances. Monte Carlo simulations and
a set of TLD chips were used for dose estimation in two distances of
20 and 40 cm. The results show that the shield reduced background
spectrum and the personnel dose more than 95%.
Abstract: The web services applications for digital reference
service (WSDRS) of LIS model is an informal model that claims to
reduce the problems of digital reference services in libraries. It uses
web services technology to provide efficient way of satisfying users’
needs in the reference section of libraries. The formal WSDRS model
consists of the Z specifications of all the informal specifications of
the model. This paper discusses the formal validation of the Z
specifications of WSDRS model. The authors formally verify and
thus validate the properties of the model using Z/EVES theorem
prover.
Abstract: It is an indispensible strategy to adopt greenery
approach on architectural bases so as to improve ecological habitats,
decrease heat-island effect, purify air quality, and relieve surface
runoff as well as noise pollution, all of which are done in an attempt to
achieve sustainable environment. How we can do with plant design to
attain the best visual quality and ideal carbon dioxide fixation depends
on whether or not we can appropriately make use of greenery
according to the nature of architectural bases. To achieve the goal, it is
a need that architects and landscape architects should be provided with
sufficient local references. Current greenery studies focus mainly on
the heat-island effect of urban with large scale. Most of the architects
still rely on people with years of expertise regarding the adoption and
disposition of plantation in connection with microclimate scale.
Therefore, environmental design, which integrates science and
aesthetics, requires fundamental research on landscape environment
technology divided from building environment technology. By doing
so, we can create mutual benefits between green building and the
environment. This issue is extremely important for the greening design
of the bases of green buildings in cities and various open spaces. The
purpose of this study is to establish plant selection and allocation
strategies under different building sunshade levels. Initially, with the
shading of sunshine on the greening bases as the starting point, the
effects of the shades produced by different building types on the
greening strategies were analyzed. Then, by measuring the PAR
(photosynthetic active radiation), the relative DLI (daily light integral)
was calculated, while the DLI Map was established in order to
evaluate the effects of the building shading on the established
environmental greening, thereby serving as a reference for plant
selection and allocation. The discussion results were to be applied in
the evaluation of environment greening of greening buildings and
establish the “right plant, right place” design strategy of multi-level
ecological greening for application in urban design and landscape
design development, as well as the greening criteria to feedback to the
eco-city greening buildings.
Abstract: The paper identifies the features of Polish sports clubs
in the particular organizational forms: profit and nonprofit.
Identification and description of these features is carried out in terms
of financial efficiency of the given organizational form. Under the
terms of the efficiency the research allows you to specify the
advantages of particular organizational sports club form and the
following limitations. Paper considers features of sports clubs in
range of Polish conditions as legal regulations. The sources of the
functioning efficiency of sports clubs may lie in the organizational
forms in which they operate. Each of the available forms can be
considered either a for-profit or nonprofit enterprise. Depending on
this classification there are different capabilities of increasing
organizational and financial efficiency of a given sports club. Authors
start with general classification and difference between for-profit and
non-profit sport clubs. Next identifies specific financial and
organizational conditions of both organizational form and then show
examples of mixed activity forms and their efficiency effect.
Abstract: The present paper attempts to investigate the
prediction of air entrainment rate and aeration efficiency of a free
overfall jets issuing from a triangular sharp crested weir by using
regression based modelling. The empirical equations, Support vector
machine (polynomial and radial basis function) models and the linear
regression techniques were applied on the triangular sharp crested
weirs relating the air entrainment rate and the aeration efficiency to
the input parameters namely drop height, discharge, and vertex angle.
It was observed that there exists a good agreement between the
measured values and the values obtained using empirical equations,
Support vector machine (Polynomial and rbf) models and the linear
regression techniques. The test results demonstrated that the SVM
based (Poly & rbf) model also provided acceptable prediction of the
measured values with reasonable accuracy along with empirical
equations and linear regression techniques in modelling the air
entrainment rate and the aeration efficiency of a free overfall jets
issuing from triangular sharp crested weir. Further sensitivity analysis
has also been performed to study the impact of input parameter on the
output in terms of air entrainment rate and aeration efficiency.
Abstract: As a by-product of the biodiesel industries, glycerol
has been vastly generated which surpasses the market demand. It is
imperative to develop an efficient glycerol valorization processes in
minimizing the net energy requirement and intensifying the biodiesel
production. In this study, base-catalyzed transesterification of
glycerol with dimethyl carbonate using microwave irradiation as
heating method to produce glycerol carbonate was conducted by
varying grades of glycerol, i.e. 70%, 86% and 99% purity, that is
obtained from biodiesel plant. Metal oxide catalysts were used with
varying operating parameters including reaction time, DMC/glycerol
molar ratio, catalyst weight %, temperature and stirring speed. From
the study on the effect of different operating parameters it was found
that the type of catalyst used has the most significant effect on the
transesterification reaction. Amidst the metal oxide catalysts
examined, CaO gave the best performance. This study indicates the
feasibility of producing glycerol carbonate using different grade of
glycerol in both conventional thermal activation and microwave
irradiation with CaO as catalyst. Microwave assisted
transesterification (MAT) of glycerol into glycerol carbonate has
demonstrated itself as an energy efficient route by achieving 94.2%
yield of GC at 65°C, 5 minutes reaction time, 1 wt% CaO and
DMC/glycerol molar ratio of 2. The advantages of MAT
transesterification route has made the direct utilization of bioglycerol
from biodiesel production without the need of purification. This has
marked a more economical and less-energy intensive glycerol
carbonate synthesis route.