Abstract: As a tool for human spatial cognition and thinking, the map has been playing an important role. Maps are perhaps as fundamental to society as language and the written word. Economic and social development requires extensive and in-depth understanding of their own living environment, from the scope of the overall global to urban housing. This has brought unprecedented opportunities and challenges for traditional cartography . This paper first proposed the concept of scaleless-map and its basic characteristics, through the analysis of the existing multi-scale representation techniques. Then some strategies are presented for automated mapping compilation. Taking into account the demand of automated map compilation, detailed proposed the software - WJ workstation must have four technical features, which are generalization operators, symbol primitives, dynamically annotation and mapping process template. This paper provides a more systematic new idea and solution to improve the intelligence and automation of the scaleless cartography.
Abstract: To analyze the behavior of Petri nets, the accessibility
graph and Model Checking are widely used. However, if the
analyzed Petri net is unbounded then the accessibility graph becomes
infinite and Model Checking can not be used even for small Petri
nets. ECATNets [2] are a category of algebraic Petri nets. The main
feature of ECATNets is their sound and complete semantics based on
rewriting logic [8] and its language Maude [9]. ECATNets analysis
may be done by using techniques of accessibility analysis and Model
Checking defined in Maude. But, these two techniques supported by
Maude do not work also with infinite-states systems. As a category
of Petri nets, ECATNets can be unbounded and so infinite systems.
In order to know if we can apply accessibility analysis and Model
Checking of Maude to an ECATNet, we propose in this paper an
algorithm allowing the detection if the ECATNet is bounded or not.
Moreover, we propose a rewriting logic based tool implementing this
algorithm. We show that the development of this tool using the
Maude system is facilitated thanks to the reflectivity of the rewriting
logic. Indeed, the self-interpretation of this logic allows us both the
modelling of an ECATNet and acting on it.
Abstract: Gas chromatography (GC) is the most widely used
technique in analytical chemistry. However, GC has high initial cost
and requires frequent maintenance. This paper examines the
feasibility and potential of using a neural network model as an
alternative whenever GC is unvailable. It can also be part of system
verification on the performance of GC for preventive maintenance
activities. It shows the performance of MultiLayer Perceptron (MLP)
with Backpropagation structure. Results demonstrate that neural
network model when trained using this structure provides an
adequate result and is suitable for this purpose. cm.
Abstract: This article is devoted to the analysis of results of
sociological researches carried out by authors directed on studying of
opinion of representatives of small, medium and big business on
formation of the Customs Union, Common Free Market Zone with
participation of Kazakhstan, Russia and Belarus.
It-s forecasted that companies, their branches will interpenetrate
with registration and moving their businesses to regions with more
beneficial conditions. They say that in Kazakhstan there are more
profitable geo-strategic operating environment for business and lower
taxes. Russia using this opportunity will create new conditions for
expansion into other countries of Central Asia and China. Opinions
of participants of questionnaire and expert poll different in estimation
of value of these two integration mechanisms since market segments
on the one hand extend, but also on the other hand - loss of exclusive
influence in certain fields of activity.
Abstract: In this paper, a study on the modes of collapse of
compress- expand members are presented. Compress- expand member
is a compact, multiple-combined cylinders, to be proposed as energy
absorbers. Previous studies on the compress- expand member have
clarified its energy absorption efficiency, proposed an approximate
equation to describe its deformation characteristics and also
highlighted the improvement that it has brought. However, for the
member to be practical, the actual range of geometrical dimension that
it can maintain its applicability must be investigated. In this study,
using a virtualized materials that comply the bilinear hardening law,
Finite element Method (FEM) analysis on the collapse modes of
compress- expand member have been conducted. Deformation maps
that plotted the member's collapse modes with regards to the member's
geometric and material parameters were then presented in order to
determine the dimensional range of each collapse modes.
Abstract: The effect of porous medium on the capillary instability of a cylindrical interface in the presence of axial electric field has been investigated using viscous potential flow theory. In viscous potential flow, the viscous term in Navier-Stokes equation vanishes as
vorticity is zero but viscosity is not zero. Viscosity enters through normal stress balance in the viscous potential flow theory and tangential stresses are not considered. A dispersion relation that accounts for the growth of axisymmetric waves is derived and stability is discussed theoretically as well as numerically. Stability criterion is given by critical value of applied electric field as well as critical wave number. Various graphs have been drawn to show the effect of various physical parameters such as electric field, viscosity ratio, permittivity ratio on the stability of the system. It has been observed that the axial electric field and porous medium both have stabilizing effect on the stability of the system.
Abstract: Hypersonic flows around spatial vehicles during their
reentry phase in planetary atmospheres are characterized by intense
aerothermal phenomena. The aim of this work is to analyze high
temperature flows around an axisymmetric blunt body taking into
account chemical and vibrational non-equilibrium for air mixture
species. For this purpose, a finite volume methodology is employed
to determine the supersonic flow parameters around the axisymmetric
blunt body, especially at the stagnation point and along the wall of
spacecraft for several altitudes. This allows the capture shock wave
before a blunt body placed in supersonic free stream. The numerical
technique uses the Flux Vector Splitting method of Van Leer. Here,
adequate time stepping parameter, along with CFL coefficient and
mesh size level are selected to ensure numerical convergence, sought
with an order of 10-8
Abstract: In this paper, a numerical solution based on sinc
functions is used for finding the solution of boundary value problems
which arise from the problems of calculus of variations. This
approximation reduce the problems to an explicit system of algebraic
equations. Some numerical examples are also given to illustrate the
accuracy and applicability of the presented method.
Abstract: According to Hermite there exists only a finite
number of number fields having a given degree, and a given value of
the discriminant, nevertheless this number is not known generally.
The determination of a maximum number of number fields of degree
10 having a given discriminant that contain a subfield of degree 5
having a fixed class number, narrow class number and Galois group
is the purpose of this work. The constructed lists of the first
coincidences of 52 (resp. 50, 40, 48, 22, 6) nonisomorphic number
fields with same discriminant of degree 10 of signature (6,2) (resp.
(4,3), (8,1), (2,4), (0,5), (10,0)) containing a quintic field. For each
field in the lists, we indicate its discriminant, the discriminant of its
subfield, a relative polynomial generating the field over its quintic
field and its relative discriminant, the corresponding polynomial over
Q and its Galois closure are presented with concluding remarks.
Abstract: Evaluation of educational portals is an important
subject area that needs more attention from researchers. A university
that has an educational portal which is difficult to use and interact by
teachers or students or management staff can reduce the position and
reputation of the university. Therefore, it is important to have the
ability to make an evaluation of the quality of e-services the
university provide to improve them over time.
The present study evaluates the usability of the Information
Technology Faculty portal at University of Benghazi. Two evaluation
methods were used: a questionnaire-based method and an online
automated tool-based method. The first method was used to measure
the portal's external attributes of usability (Information, Content and
Organization of the portal, Navigation, Links and Accessibility,
Aesthetic and Visual Appeal, Performance and Effectiveness and
educational purpose) from users' perspectives, while the second
method was used to measure the portal's internal attributes of
usability (number and size of HTML files, number and size of images,
load time, HTML check errors, browsers compatibility problems,
number of bad and broken links), which cannot be perceived by the
users. The study showed that some of the usability aspects have been
found at the acceptable level of performance and quality, and some
others have been found otherwise. In general, it was concluded that
the usability of IT faculty educational portal generally acceptable.
Recommendations and suggestions to improve the weakness and
quality of the portal usability are presented in this study.
Abstract: In this paper real money demand function is analyzed
within multivariate time-series framework. Cointegration approach is
used (Johansen procedure) assuming interdependence between
money demand determinants, which are nonstationary variables. This
will help us to understand the behavior of money demand in Croatia,
revealing the significant influence between endogenous variables in
vector autoregrression system (VAR), i.e. vector error correction
model (VECM). Exogeneity of the explanatory variables is tested.
Long-run money demand function is estimated indicating slow speed
of adjustment of removing the disequilibrium. Empirical results
provide the evidence that real industrial production and exchange
rate explains the most variations of money demand in the long-run,
while interest rate is significant only in short-run.
Abstract: The notions of I-vague normal groups with membership
and non-membership functions taking values in an involutary dually
residuated lattice ordered semigroup are introduced which generalize
the notions with truth values in a Boolean algebra as well as those
usual vague sets whose membership and non-membership functions
taking values in the unit interval [0, 1]. Various operations and
properties are established.
Abstract: In this paper we present a modification to existed model of threshold for shot cut detection, which is able to adapt itself to the sequence statistics and operate in real time, because it use for calculation only previously evaluated frames. The efficiency of proposed modified adaptive threshold scheme was verified through extensive test experiment with several similarity metrics and achieved results were compared to the results reached by the original model. According to results proposed threshold scheme reached higher accuracy than existed original model.
Abstract: It is not easy to imagine how the existing city can be
converted to the principles of sustainability, however, the need for
innovation, requires a pioneering phase which must address the main
problems of rehabilitation of the operating models of the city. Today,
however, there is a growing awareness that the identification and
implementation of policies and measures to promote the adaptation,
resilience and reversibility of the city, require the contribution of our
discipline. This breakthrough is present in some recent international
experiences of Climate Plans, in which the envisaged measures are
closely interwoven with those of urban planning. These experiences,
provide some answers principle questions, such as: how the strategies
to combat climate can be integrated in the instruments of the local
government; what new and specific analysis must be introduced in
urban planning in order to understand the issues of urban
sustainability, and how the project compares with different spatial
scales.
Abstract: Many applications of speech communication and speaker
identification suffer from the problem of co-channel speech. This
paper deals with a multi-resolution dyadic wavelet transform method
for usable segments of co-channel speech detection that could be
processed by a speaker identification system. Evaluation of this
method is performed on TIMIT database referring to the Target to
Interferer Ratio measure. Co-channel speech is constructed by
mixing all possible gender speakers. Results do not show much
difference for different mixtures. For the overall mixtures 95.76% of
usable speech is correctly detected with false alarms of 29.65%.
Abstract: One of the purposes of the robust method of
estimation is to reduce the influence of outliers in the data, on the
estimates. The outliers arise from gross errors or contamination from
distributions with long tails. The trimmed mean is a robust estimate.
This means that it is not sensitive to violation of distributional
assumptions of the data. It is called an adaptive estimate when the
trimming proportion is determined from the data rather than being
fixed a “priori-.
The main objective of this study is to find out the robustness
properties of the adaptive trimmed means in terms of efficiency, high
breakdown point and influence function. Specifically, it seeks to find
out the magnitude of the trimming proportion of the adaptive
trimmed mean which will yield efficient and robust estimates of the
parameter for data which follow a modified Weibull distribution with
parameter λ = 1/2 , where the trimming proportion is determined by a
ratio of two trimmed means defined as the tail length. Secondly, the
asymptotic properties of the tail length and the trimmed means are
also investigated. Finally, a comparison is made on the efficiency of
the adaptive trimmed means in terms of the standard deviation for the
trimming proportions and when these were fixed a “priori".
The asymptotic tail lengths defined as the ratio of two trimmed
means and the asymptotic variances were computed by using the
formulas derived. While the values of the standard deviations for the
derived tail lengths for data of size 40 simulated from a Weibull
distribution were computed for 100 iterations using a computer
program written in Pascal language.
The findings of the study revealed that the tail lengths of the
Weibull distribution increase in magnitudes as the trimming
proportions increase, the measure of the tail length and the adaptive
trimmed mean are asymptotically independent as the number of
observations n becomes very large or approaching infinity, the tail
length is asymptotically distributed as the ratio of two independent
normal random variables, and the asymptotic variances decrease as
the trimming proportions increase. The simulation study revealed
empirically that the standard error of the adaptive trimmed mean
using the ratio of tail lengths is relatively smaller for different values
of trimming proportions than its counterpart when the trimming
proportions were fixed a 'priori'.
Abstract: The polyfunctional and highly reactive bio-polymer,
the chitosan was first regioselectively converted into dialkylated
chitosan using dimsyl anionic solution(NaH in DMSO) and
bromodecane after protecting amino groups by phthalic anhydride.
The dibenzo-18-crown-6-ether, on the other hand, was converted into
its carbonyl derivatives via Duff reaction prior to incorporate into
chitosan by Schiff base formation. Thus formed diformylated
dibenzo-18-crown-6-ether was condensed with lipophilic chitosan to
prepare the novel solvent extraction reagent. The products were
characterized mainly by IR and 1H-NMR. Hence, the multidentate
crown ether-embedded polyfunctional bio-material was tested for
extraction of Pd(II) and Pt(IV) in aqueous solution.
Abstract: A personal estimate of a health risk may not
correspond to a scientific assessment of the health risk. Hence, there
is a need to investigate perceived health risks in the public. In this
study, a young, educated and healthy group of people from a tertiary
institute were questioned about their health concerns. Ethics
clearance was obtained and data was collected by means of a
questionnaire. 362 students participated in the study. Tobacco use,
heavy alcohol drinking, illicit drugs, unsafe sex and potential
carcinogens were perceived to be the five greatest threats to health in
this cohort. On the other hand natural health products,
unemployment, unmet contraceptive needs, family violence and
homelessness were felt to be the least perceived health risks.
Nutrition-related health risks as well as health risks due to physical
inactivity and obesity were not perceived as major health threats.
Such a study of health perceptions may guide health promotion
campaigns.
Abstract: In Mauritius, much emphasis is put on measures to
combat the high prevalence of non-communicable diseases (NCDs).
Health promotion campaigns for the adoption of healthy behaviors
and screening programs are done regularly by local authorities and
NCD surveys are carried out at intervals. However, the health
behaviors of the poor have not been investigated so far. This study
aims to give an insight on the perceptions of health status and
lifestyle health behaviors of poor people in Mauritius. A crosssectional
study among 83 persons benefiting from social aid in a
selected urban district was carried out. Results showed that 51.8% of
respondents perceived that they had good health status. 57.8% had no
known NCD whilst 25.3% had hypertension, followed by diabetes
(16.9%), asthma (9.6%) and heart disease (7.2%).They had low
smoking (10.8%) and alcohol consumption (6.0%) as well as high
physical activity prevalence (54.2%). These results were significantly
different from the NCD survey carried out in the general population.
Consumption of vegetables in the study was high. Overweight and
obesity trends were however similar to the NCD survey report 2009.
These findings contrast with other international studies showing poor
people having poor perceptions of health status and unhealthy
behavioral choices. Whether these positive health behaviors of poor
people in Mauritius arise out of choice or whether it is because the
alternative behavior is too costly remains to be investigated further.
Abstract: Pattern matching based on regular tree grammars have been widely used in many areas of computer science. In this paper, we propose a pattern matcher within the framework of code generation, based on a generic and a formalized approach. According to this approach, parsers for regular tree grammars are adapted to a general pattern matching solution, rather than adapting the pattern matching according to their parsing behavior. Hence, we first formalize the construction of the pattern matches respective to input trees drawn from a regular tree grammar in a form of the so-called match trees. Then, we adopt a recently developed generic parser and tightly couple its parsing behavior with such construction. In addition to its generality, the resulting pattern matcher is characterized by its soundness and efficient implementation. This is demonstrated by the proposed theory and by the derived algorithms for its implementation. A comparison with similar and well-known approaches, such as the ones based on tree automata and LR parsers, has shown that our pattern matcher can be applied to a broader class of grammars, and achieves better approximation of pattern matches in one pass. Furthermore, its use as a machine code selector is characterized by a minimized overhead, due to the balanced distribution of the cost computations into static ones, during parser generation time, and into dynamic ones, during parsing time.