Abstract: In recent past, the Unified Modeling Language (UML) has become the de facto industry standard for object-oriented modeling of the software systems. The syntax and semantics rich UML has encouraged industry to develop several supporting tools including those capable of generating deployable product (code) from the UML models. As a consequence, ensuring the correctness of the model/design has become challenging and extremely important task. In this paper, we present an approach for automatic verification of protocol model/design. As a case study, Session Initiation Protocol (SIP) design is verified for the property, “the CALLER will not converse with the CALLEE before the connection is established between them ". The SIP is modeled using UML statechart diagrams and the desired properties are expressed in temporal logic. Our prototype verifier “UML-SMV" is used to carry out the verification. We subjected an erroneous SIP model to the UML-SMV, the verifier could successfully detect the error (in 76.26ms) and generate the error trace.
Abstract: Prior research has not effectively investigated how the
profitability of Chinese branches affect FDIs in China [1, 2], so this
study for the first time incorporates realistic earnings information
to systematically investigate effects of innovation, imitation, and
profit factors of FDI diffusions from Taiwan to China. Our nonlinear
least square (NLS) model, which incorporates earnings factors,
forms a nonlinear ordinary differential equation (ODE) in numerical
simulation programs. The model parameters are obtained through
a genetic algorithms (GA) technique and then optimized with the
collected data for the best accuracy. Particularly, Taiwanese regulatory
FDI restrictions are also considered in our modified model to meet
the realistic conditions. To validate the model-s effectiveness, this
investigation compares the prediction accuracy of modified model
with the conventional diffusion model, which does not take account
of the profitability factors.
The results clearly demonstrate the internal influence to be positive,
as early FDI adopters- consistent praises of FDI attract potential firms
to make the same move. The former erects a behavior model for the
latter to imitate their foreign investment decision. Particularly, the
results of modified diffusion models show that the earnings from
Chinese branches are positively related to the internal influence. In
general, the imitating tendency of potential consumers is substantially
hindered by the losses in the Chinese branches, and these firms would
invest less into China. The FDI inflow extension depends on earnings
of Chinese branches, and companies will adjust their FDI strategies
based on the returns. Since this research has proved that earning is
an influential factor on FDI dynamics, our revised model explicitly
performs superior in prediction ability than conventional diffusion
model.
Abstract: Design and evaluation of reciprocating compressors
should include a pulsation study. The object is to ensure that
predicted pulsation levels meet guidelines to limit vibration, shaking
forces, noise, associated pressure drops, horsepower losses and
fabrication cost and time to acceptable levels. This paper explains
procedures and recommendations to select and size pulsation
suppression devices to obtain optimum arrangement in terms of
pulsation, vibration, shaking forces, performance, reliability, safety,
operation, maintenance and commercial conditions. Model and
advanced formulations for pulsation study are presented. The effect
of the full fluid dynamic model on the prediction of pulsation waves
and resulting frequency spectrum distributions are discussed.
Advanced and optimum methods of controlling pulsations are
highlighted. Useful recommendations and guidelines for pulsation
control, piping pulsation analysis, pulsation vessel design, shaking
forces, low pressure drop orifices, pulsation study report and devices
to mitigate pulsation and shaking problems are discussed.
Abstract: This paper examines the relationship between financial
risks and profitability of the conventional and Islamic banks in
Malaysia for the period between 1996 and 2005. The measures of
profitability that have been used in the study are the return on equity
(ROE) and return on assets (ROA) while the financial risks are credit
risk, interest rate risk and liquidity risks. This study employs panel
data regression analysis of Generalised Least Squares of fixed effects
and random effects models. It was found that credit risk has a
significant impact on ROA and ROE for the conventional as well as
the Islamic banks. The relationship between interest rate risk and ROE
were found to be weakly significant for the conventional banks and
insignificant for the Islamic banks. The effect of interest rate risk on
ROA is significant for the conventional banks. Liquidity risk was
found to have an insignificant impact on both profitability measures.
Abstract: With the advent of DSL services, high data rates are now available over phone lines, yet higher rates are in demand. In this paper, we optimize the transmit filters that can be used over wireline channels. Results showing the bit error rates when optimized filters are used, and with a decision feedback equalizer (DFE) employed in the receiver, are given. We then show that significantly higher throughput can be achieved by modeling the channel as a multiple input multiple output (MIMO) channel. A receiver that employs a MIMO-DFE that deals jointly with several users is proposed and shown to provide significant improvement over the conventional DFE.
Abstract: The numerical simulation of the slip effect via
vicoelastic fluid for 4:1 contraction problem is investigated with
regard to kinematic behaviors of streamlines and stress tensor by
models of the Navier-Stokes and Oldroyd-B equations. Twodimensional
spatial reference system of incompressible creeping flow
with and without slip velocity is determined and the finite element
method of a semi-implicit Taylor-Galerkin pressure-correction is
applied to compute the problem of this Cartesian coordinate system
including the schemes of velocity gradient recovery method and the
streamline-Upwind / Petrov-Galerkin procedure. The slip effect at
channel wall is added to calculate after each time step in order to
intend the alteration of flow path. The result of stress values and the
vortices are reduced by the optimum slip coefficient of 0.1 with near
the outcome of analytical solution.
Abstract: In this study it is aimed to determine the level of preservice teachers- computer phobia. Whether or not computer phobia meaningfully varies statistically according to gender and computer experience has been tested in the study. The study was performed on 430 pre-service teachers at the Education Faculty in Rize/Turkey. Data in the study were collected through the Computer Phobia Scale consisting of the “Personal Knowledge Questionnaire", “Computer Anxiety Rating Scale", and “Computer Thought Survey". In this study, data were analyzed with statistical processes such as t test, and correlation analysis. According to results of statistical analyses, computer phobia of male pre-service teachers does not statistically vary depending on their gender. Although male preservice teachers have higher computer anxiety scores, they have lower computer thought scores. It was also observed that there is a negative and intensive relation between computer experience and computer anxiety. Meanwhile it was found out that pre-service teachers using computer regularly indicated lower computer anxiety. Obtained results were tried to be discussed in terms of the number of computer classes in the Education Faculty curriculum, hours of computer class and the computer availability of student teachers.
Abstract: Human middle-ear is the key component of the
auditory system. Its function is to transfer the sound waves through
the ear canal to provide sufficient stimulus to the fluids of the inner
ear. Degradation of the ossicles that transmit these sound waves from
the eardrum to the inner ear leads to hearing loss. This problem can
be overcome by replacing one or more of these ossicles by middleear
prosthesis. Designing such prosthesis requires a comprehensive
knowledge of the biomechanics of the middle-ear. There are many
finite element modeling approaches developed to understand the
biomechanics of the middle ear. The available models in the
literature, involve high computation time. In this paper, we propose a
simplified model which provides a reasonably accurate result with
much less computational time. Simulation results indicate a
maximum sound pressure gain of 10 dB at 5500 Hz.
Abstract: In this study, solid phase micro-extraction (SPME)
was optimized to improve the sensitivity and accuracy in
formaldehyde determination for plywood panels. Further work has
been carried out to compare the newly developed technique with
existing method which reacts formaldehyde collected in desiccators
with acetyl acetone reagent (DC-AA). In SPME, formaldehyde was
first derivatized with O-(2,3,4,5,6 pentafluorobenzyl)-hydroxylamine
hydrochloride (PFBHA) and analysis was then performed by gas
chromatography in combination with mass spectrometry (GC-MS).
SPME data subjected to various wood species gave satisfactory
results, with relative standard deviations (RSDs) obtained in the
range of 3.1-10.3%. It was also well correlated with DC values,
giving a correlation coefficient, RSQ, of 0.959. The quantitative
analysis of formaldehyde by SPME was an alternative in wood
industry with great potential
Abstract: The purpose of this study was to assess the value of Second Life among post-secondary instructors with experience using Second Life as an educational tool. Using Everett Rogers-s diffusion of innovations theory, survey respondents (N = 162), were divided into three adopter categories: innovators, early adopters and the early majority. Respondents were from 15 countries and 25 academic disciplines, indicating the considerable potential this innovation has to be adopted across many different borders and in many areas of academe. Nearly 94% of respondents said they plan to use Second Life again as an educational tool. However, no significant differences were found in instructors- levels of satisfaction with Second Life as an educational tool or their perceived effect on student learning across adopter categories. On the other hand, instructors who conducted class fully in Second Life were significantly more satisfied than those who used Second Life as only a small supplement to a real-world class. Overall, personal interest factors, rather than interpersonal communication factors, most influenced respondents- decision to adopt Second Life as an educational tool. In light of these findings, theoretical implications are discussed and practical suggestions are provided.
Abstract: Distributed Computing Systems are usually considered the most suitable model for practical solutions of many parallel algorithms. In this paper an enhanced distributed system is presented to improve the time complexity of Binary Indexed Trees (BIT). The proposed system uses multi-uniform processors with identical architectures and a specially designed distributed memory system. The analysis of this system has shown that it has reduced the time complexity of the read query to O(Log(Log(N))), and the update query to constant complexity, while the naive solution has a time complexity of O(Log(N)) for both queries. The system was implemented and simulated using VHDL and Verilog Hardware Description Languages, with xilinx ISE 10.1, as the development environment and ModelSim 6.1c, similarly as the simulation tool. The simulation has shown that the overhead resulting by the wiring and communication between the system fragments could be fairly neglected, which makes it applicable to practically reach the maximum speed up offered by the proposed model.
Abstract: Text categorization is the problem of classifying text
documents into a set of predefined classes. After a preprocessing
step, the documents are typically represented as large sparse vectors.
When training classifiers on large collections of documents, both the
time and memory restrictions can be quite prohibitive. This justifies
the application of feature selection methods to reduce the
dimensionality of the document-representation vector. In this paper,
three feature selection methods are evaluated: Random Selection,
Information Gain (IG) and Support Vector Machine feature selection
(called SVM_FS). We show that the best results were obtained with
SVM_FS method for a relatively small dimension of the feature
vector. Also we present a novel method to better correlate SVM
kernel-s parameters (Polynomial or Gaussian kernel).
Abstract: Digital broadcasting has been an area of active
research, development, innovation and business models development
in recent years. This paper presents a survey on the characteristics of
the digital terrestrial television broadcasting (DTTB) standards, and
implementation status of DTTB worldwide showing the standards
adopted. It is clear that only the developed countries and some in the
developing ones shall be able to beat the ITU set analogue to digital
broadcasting migration deadline because of the challenges that these
countries faces in digitizing their terrestrial broadcasting. The
challenges to keep on track the DTTB migration plan are also
discussed in this paper. They include financial, technology gap,
policies alignment with DTTB technology, etc. The reported
performance comparisons for the different standards are also
presented. The interesting part is that the results for many
comparative studies depends to a large extent on the objective behind
such studies, hence counter claims are common.
Abstract: Bleeding in the digestive duct is an important diagnostic parameter for patients. Blood in the endoscopic image can be determined by investigating the color tone of blood due to the degree of oxygenation, under- or over- illumination, food debris and secretions, etc. However, we found that how to pre-process raw images obtained from the capsule detectors was very important. We applied various image process methods suitable for the capsule endoscopic image in order to remove noises and unbalanced sensitivities for the image pixels. The results showed that much improvement was achieved by additional pre-processing techniques on the algorithm of determining bleeding areas.
Abstract: This paper presents the methodology from machine
learning approaches for short-term rain forecasting system. Decision
Tree, Artificial Neural Network (ANN), and Support Vector Machine
(SVM) were applied to develop classification and prediction models
for rainfall forecasts. The goals of this presentation are to
demonstrate (1) how feature selection can be used to identify the
relationships between rainfall occurrences and other weather
conditions and (2) what models can be developed and deployed for
predicting the accurate rainfall estimates to support the decisions to
launch the cloud seeding operations in the northeastern part of
Thailand. Datasets collected during 2004-2006 from the
Chalermprakiat Royal Rain Making Research Center at Hua Hin,
Prachuap Khiri khan, the Chalermprakiat Royal Rain Making
Research Center at Pimai, Nakhon Ratchasima and Thai
Meteorological Department (TMD). A total of 179 records with 57
features was merged and matched by unique date. There are three
main parts in this work. Firstly, a decision tree induction algorithm
(C4.5) was used to classify the rain status into either rain or no-rain.
The overall accuracy of classification tree achieves 94.41% with the
five-fold cross validation. The C4.5 algorithm was also used to
classify the rain amount into three classes as no-rain (0-0.1 mm.),
few-rain (0.1- 10 mm.), and moderate-rain (>10 mm.) and the overall
accuracy of classification tree achieves 62.57%. Secondly, an ANN
was applied to predict the rainfall amount and the root mean square
error (RMSE) were used to measure the training and testing errors of
the ANN. It is found that the ANN yields a lower RMSE at 0.171 for
daily rainfall estimates, when compared to next-day and next-2-day
estimation. Thirdly, the ANN and SVM techniques were also used to
classify the rain amount into three classes as no-rain, few-rain, and
moderate-rain as above. The results achieved in 68.15% and 69.10%
of overall accuracy of same-day prediction for the ANN and SVM
models, respectively. The obtained results illustrated the comparison
of the predictive power of different methods for rainfall estimation.
Abstract: This paper investigates the effect of product substitution in the single-period 'newsboy-type' problem in a fuzzy environment. It is supposed that the single-period problem operates under uncertainty in customer demand, which is described by imprecise terms and modelled by fuzzy sets. To perform this analysis, we consider the fuzzy model for two-item with upward substitution. This upward substitutability is reasonable when the products can be stored according to certain attribute levels such as quality, brand or package size. We show that the explicit consideration of this substitution opportunity increase the average expected profit. Computational study is performed to observe the benefits of product's substitution.
Abstract: This research was conducted in the Lower Namkam
Irrigation Project situated in the Namkam River Basin in Thailand.
Degradation of groundwater quality in some areas is caused by saline
soil spots beneath ground surface. However, the tail regulated gate
structure on the Namkam River, a lateral stream of the Mekong
River. It is aimed for maintaining water level in the river at +137.5 to
+138.5 m (MSL) and flow to the irrigation canals based on a gravity
system since July 2009. It might leach some saline soil spots from
underground to soil surface if lack of understanding of the
conjunctive surface water and groundwater behaviors. This research
has been conducted by continuously the observing of both shallow
and deep groundwater level and quality from existing observation
wells. The simulation of surface water was carried out using a
hydrologic modeling system (HEC-HMS) to compute the ungauged
side flow catchments as the lateral flows for the river system model
(HEC-RAS). The constant water levels in the upstream of the
operated gate caused a slight rising up of shallow groundwater level
when compared to the water table. However, the groundwater levels
in the confined aquifers remained less impacted than in the shallow
aquifers but groundwater levels in late of wet season in some wells
were higher than the phreatic surface. This causes salinization of the
groundwater at the soil surface and might affect some crops. This
research aims for the balance of water stage in the river and efficient
groundwater utilization in this area.
Abstract: There is a complex situation on the transport environment in the cities of the world. For the analysis and prevention of environmental problems an accurate calculation hazardous substances concentrations at each point of the investigated area is required. In the turbulent atmosphere of the city the wellknown methods of mathematical statistics for these tasks cannot be applied with a satisfactory level of accuracy. Therefore, to solve this class of problems apparatus of mathematical physics is more appropriate. In such models, because of the difficulty as a rule the influence of uneven land surface on streams of air masses in the turbulent atmosphere of the city are not taken into account. In this paper the influence of the surface roughness, which can be quite large, is mathematically shown. The analysis of this problem under certain conditions identified the possibility of areas appearing in the atmosphere with pressure tending to infinity, i.e. so-called "wall effect".
Abstract: Stochastic models of biological networks are well established in systems biology, where the computational treatment of such models is often focused on the solution of the so-called chemical master equation via stochastic simulation algorithms. In contrast to this, the development of storage-efficient model representations that are directly suitable for computer implementation has received significantly less attention. Instead, a model is usually described in terms of a stochastic process or a "higher-level paradigm" with graphical representation such as e.g. a stochastic Petri net. A serious problem then arises due to the exponential growth of the model-s state space which is in fact a main reason for the popularity of stochastic simulation since simulation suffers less from the state space explosion than non-simulative numerical solution techniques. In this paper we present transition class models for the representation of biological network models, a compact mathematical formalism that circumvents state space explosion. Transition class models can also serve as an interface between different higher level modeling paradigms, stochastic processes and the implementation coded in a programming language. Besides, the compact model representation provides the opportunity to apply non-simulative solution techniques thereby preserving the possible use of stochastic simulation. Illustrative examples of transition class representations are given for an enzyme-catalyzed substrate conversion and a part of the bacteriophage λ lysis/lysogeny pathway.
Abstract: The recent advances in computational fluid dynamics
(CFD) can be useful in observing the detailed hemodynamics in
cerebral aneurysms for understanding not only their formation and
rupture but also for clinical evaluation and treatment. However,
important hemodynamic quantities are difficult to measure in vivo. In
the present study, an approximate model of normal middle cerebral
artery (MCA) along with two cases consisting broad and narrow
saccular aneurysms are analyzed. The models are generated in
ANSYS WORKBENCH and transient analysis is performed in
ANSYS-CFX. The results obtained are compared for three cases and
agree well with the available literature.