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: One of the main research methods in humanistic studies is the collection and process of data through questionnaires. This paper reports our experiences of localizing and adapting the phpESP package of electronic surveys, which led to a friendly on-line questionnaire environment offered through our department web site. After presenting the characteristics of this environment, we identify the expected benefits and present a questionnaire carried out through both the traditional and electronic way. We present the respondents' feedback and then we report the researchers' opinions.Finally, we propose ideas we intend to implement in order to further assist and enhance the research based on this web accessed,electronic questionnaire environment.
Abstract: Prior research has examined the relationship between religiosity, religious involvement, and involvement in secular, civic organizations. However, research has not examined the influence of religious involvement on secular, non-civic organizations (i.e. work organizations). This study examines the link between religiosity, religious involvement, and the three-component model of organizational commitment. More specifically, the author hypothesizes that individuals high in religiosity (and religious involvement) will have lower affective, continuance, and normative commitment than less religious (or non-religious) individuals. In addition, it is hypothesized that this relationship is moderated by a third factor: organizational spirituality. Further, the author hypothesizes that for organizations that are spiritual the negative relationship between religiosity and job commitment will be weakened or even negated.
Abstract: Restarted GMRES methods augmented with approximate eigenvectors are widely used for solving large sparse linear systems. Recently a new scheme of augmenting with error approximations is proposed. The main aim of this paper is to develop a restarted GMRES method augmented with the combination of harmonic Ritz vectors and error approximations. We demonstrate that the resulted combination method can gain the advantages of two approaches: (i) effectively deflate the small eigenvalues in magnitude that may hamper the convergence of the method and (ii) partially recover the global optimality lost due to restarting. The effectiveness and efficiency of the new method are demonstrated through various numerical examples.
Abstract: The optimal control problem of a linear distributed
parameter system is studied via shifted Legendre polynomials (SLPs)
in this paper. The partial differential equation, representing the
linear distributed parameter system, is decomposed into an n - set
of ordinary differential equations, the optimal control problem is
transformed into a two-point boundary value problem, and the twopoint
boundary value problem is reduced to an initial value problem
by using SLPs. A recursive algorithm for evaluating optimal control
input and output trajectory is developed. The proposed algorithm is
computationally simple. An illustrative example is given to show the
simplicity of the proposed approach.
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: Carbon nanotubes (CNTs) possess unique structural,
mechanical, thermal and electronic properties, and have been
proposed to be used for applications in many fields. However, to
reach the full potential of the CNTs, many problems still need to be
solved, including the development of an easy and effective
purification procedure, since synthesized CNTs contain impurities,
such as amorphous carbon, carbon nanoparticles and metal particles.
Different purification methods yield different CNT characteristics
and may be suitable for the production of different types of CNTs. In
this study, the effect of different purification chemicals on carbon
nanotube quality was investigated. CNTs were firstly synthesized by
chemical vapor deposition (CVD) of acetylene (C2H2) on a
magnesium oxide (MgO) powder impregnated with an iron nitrate
(Fe(NO3)3·9H2O) solution. The synthesis parameters were selected
as: the synthesis temperature of 800°C, the iron content in the
precursor of 5% and the synthesis time of 30 min. The liquid phase
oxidation method was applied for the purification of the synthesized
CNT materials. Three different acid chemicals (HNO3, H2SO4, and
HCl) were used in the removal of the metal catalysts from the
synthesized CNT material to investigate the possible effects of each
acid solution to the purification step. Purification experiments were
carried out at two different temperatures (75 and 120 °C), two
different acid concentrations (3 and 6 M) and for three different time
intervals (6, 8 and 15 h). A 30% H2O2 : 3M HCl (1:1 v%) solution
was also used in the purification step to remove both the metal
catalysts and the amorphous carbon. The purifications using this
solution were performed at the temperature of 75°C for 8 hours.
Purification efficiencies at different conditions were evaluated by
thermogravimetric analysis. Thermal and electrical properties of
CNTs were also determined. It was found that the obtained electrical
conductivity values for the carbon nanotubes were typical for organic
semiconductor materials and thermal stabilities were changed
depending on the purification chemicals.
Abstract: Understanding of how and where NOx formation
occurs in industrial burner is very important for efficient and clean
operation of utility burners. Also the importance of this problem is
mainly due to its relation to the pollutants produced by more burners
used widely of gas turbine in thermal power plants and glass and steel
industry.
In this article, a numerical model of an industrial burner operating
in MILD combustion is validated with experimental data.. Then
influence of air flow rate and air temperature on combustor
temperature profiles and NOX product are investigated. In order to
modification this study reports on the effects of fuel and air dilution
(with inert gases H2O, CO2, N2), and also influence of lean-premixed
of fuel, on the temperature profiles and NOX emission.
Conservation equations of mass, momentum and energy, and
transport equations of species concentrations, turbulence, combustion
and radiation modeling in addition to NO modeling equations were
solved together to present temperature and NO distribution inside the
burner.
The results shows that dilution, cause to a reduction in value of
temperature and NOX emission, and suppresses any flame
propagation inside the furnace and made the flame inside the furnace
invisible. Dilution with H2O rather than N2 and CO2 decreases further
the value of the NOX. Also with raise of lean-premix level, local
temperature of burner and the value of NOX product are decreases
because of premixing prevents local “hot spots" within the combustor
volume that can lead to significant NOx formation. Also leanpremixing
of fuel with air cause to amount of air in reaction zone is
reach more than amount that supplied as is actually needed to burn
the fuel and this act lead to limiting NOx formation
Abstract: Physiological control of a left ventricle assist device (LVAD) is generally a complicated task due to diverse operating environments and patient variability. In this work, a tracking control algorithm based on sliding mode and feed forward control for a class of discrete-time single input single output (SISO) nonlinear uncertain systems is presented. The controller was developed to track the reference trajectory to a set operating point without inducing suction in the ventricle. The controller regulates the estimated mean pulsatile flow Qp and mean pulsatility index of pump rotational speed PIω that was generated from a model of the assist device. We recall the principle of the sliding mode control theory then we combine the feed-forward control design with the sliding mode control technique to follow the reference trajectory. The uncertainty is replaced by its upper and lower boundary. The controller was tested in a computer simulation covering two scenarios (preload and ventricular contractility). The simulation results prove the effectiveness and the robustness of the proposed controller
Abstract: Double-diffusive steady convection in a partially
porous cavity with partially permeable walls and under the combined
buoyancy effects of thermal and mass diffusion was analysed
numerically using finite volume method.
The top wall is well insulated and impermeable while the bottom
surface is partially well insulated and impermeable and partially
submitted to constant temperature T1 and concentration C1. Constant
equal temperature T2 and concentration C2 are imposed along the
vertical surfaces of the enclosure. Mass suction/injection and
injection/suction are respectively considered at the bottom of the
porous centred partition and at one of the vertical walls.
Heat and mass transfer characteristics as streamlines and average
Nusselt numbers and Sherwood numbers were discussed for different
values of buoyancy ratio, Rayleigh number, and injection/suction
coefficient.
It is especially noted that increasing the injection factor
disadvantages the exchanges in the case of the injection while the
transfer is augmented in case of suction. On the other hand, a critical
value of the buoyancy ratio was highlighted for which heat and mass
transfers are minimized.
Abstract: A new numerical method for solving the twodimensional,
steady, incompressible, viscous flow equations on a
Curvilinear staggered grid is presented in this paper. The proposed
methodology is finite difference based, but essentially takes
advantage of the best features of two well-established numerical
formulations, the finite difference and finite volume methods. Some
weaknesses of the finite difference approach are removed by
exploiting the strengths of the finite volume method. In particular,
the issue of velocity-pressure coupling is dealt with in the proposed
finite difference formulation by developing a pressure correction
equation in a manner similar to the SIMPLE approach commonly
used in finite volume formulations. However, since this is purely a
finite difference formulation, numerical approximation of fluxes is
not required. Results obtained from the present method are based on
the first-order upwind scheme for the convective terms, but the
methodology can easily be modified to accommodate higher order
differencing schemes.
Abstract: This paper describes an ongoing study into the quality of service provided by the Irish Revenue Commisioners- online tax filing and collection system. The Irish Revenue On-Line Service (ROS) site has won several awards. In this study, a version of the widely use SERVQUAL measuring instrument, adapted for use with online services, has been modified for the specific case of ROS. In this paper, the theory behind this instrument is set out, the particular problems of evaluating revenue collecting online are examined and the rationale for this approach is explained.
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: Column leach test has been performed to examine the
behavior of leaching of sodium, calcium and potassium in landfills.
In the column leach apparatus, two different layers of contaminated
and uncontaminated soils of different height ratios (ratio of depth of
contaminated soil to the depth of uncontaminated soil) are taken.
Water is poured from an overhead tank at a particular flowrate to the
inlet of the soil column for a certain ponding depth over the
contaminated soil. Subsequent infiltration causes leaching and the
leachates are collected from the bottom of the column. The
concentrations of Na, Ca and K in the leachate are measured using
flame photometry. The experiments are further extended by changing
the rates of flow from the overhead tank to the inlet of the column in
achieving the same ponding depth. The experiments are performed
for different scenarios in which the height ratios are altered and the
variations of concentrations of Na, Ca, and K are observed. The study
brings an estimation of leaching in landfill sites for different heights
and precipitation intensity where a ponding depth is maintained over
the landfill. It has been observed that the leaching behavior of Na,
Ca, and K are not similar. Calcium exhibits highest amount of
leaching compared to Sodium and Potassium under similar
experimental conditions.
Abstract: In the present study, Convective heat transfer
coefficient and pressure drop of Al2O3/water nanofluid in laminar
flow regime under constant heat flux conditions inside a circular tube
were experimentally investigated. Al2O3/water nanofluid with 0.5%
and 1% volume concentrations with 15 nm diameter nanoparticles
were used as working fluid. The effect of different volume
concentrations on convective heat transfer coefficient and friction
factor was studied. The results emphasize that increasing of particle
volume concentration leads to enhance convective heat transfer
coefficient. Measurements show the average heat transfer coefficient
enhanced about 11-20% with 0.5% volume concentration and
increased about 16-27% with 1% volume concentration compared to
distilled water. In addition, the convective heat transfer coefficient of
nanofluid enhances with increase in heat flux. From the results, the
average ratio of (fnf/fbf) was about 1.10 for 0.5% volume
concentration. Therefore, there is no significant increase in friction
factor for nanofluids.
Abstract: This paper proposes a new decision making structure
to determine the appropriate product delivery strategy for different products in a manufacturing system among make-to-stock, make-toorder,
and hybrid strategy. Given product delivery strategies for all products in the manufacturing system, the position of the Order
Penetrating Point (OPP) can be located regarding the delivery strategies among which location of OPP in hybrid strategy is a
cumbersome task. In this regard, we employ analytic network process, because there are varieties of interrelated driving factors
involved in choosing the right location. Moreover, the proposed structure is augmented with fuzzy sets theory in order to cope with
the uncertainty of judgments. Finally, applicability of the proposed structure is proven in practice through a real industrial case company.
The numerical results demonstrate the efficiency of the proposed decision making structure in order partitioning and OPP location.
Abstract: This research aimed to study the market feasibility for
new brand coffee house, the case study of Thailand.. This study is a
mixed methods research combining quantitative research and the
qualitative research. Primary data 350 sets of questionnaires were
distributed, and the high quality completed questionnaires of 320 sets
returned. Research samples are identified as customers’ of Hi-end
department stores in Thailand. The sources of secondary data were
critical selected from highly reliable sources, both from public and
private sectors. The results were used to classify the customer group
into two main groups, the younger than 25 and the older than 25years
old. Results of the younger group, are give priority to the dimension
of coffee house and its services dimension more than others, then
branding dimension and the product dimension respectively. On the
other hand, the older group give the difference result as they rate the
important of the branding, coffee house and its services, then the
product respectively. Coffee consuming is not just the trend but it
has become part of people lifestyle. And the new cultures also created
by the wise businessman. Coffee was long produced and consumed in
Thailand. But it is surprisingly the hi-end brand coffee houses in Thai
market are mostly imported brands. The café business possibility for
Thai brand coffee house in Thai market were discussed in the paper.
Abstract: This article proposes a novel Pareto-based multiobjective
meta-heuristic algorithm named non-dominated ranking
genetic algorithm (NRGA) to solve multi-facility location-allocation
problem. In NRGA, a fitness value representing rank is assigned to
each individual of the population. Moreover, two features ranked
based roulette wheel selection including select the fronts and choose
solutions from the fronts, are utilized. The proposed solving
methodology is validated using several examples taken from the
specialized literature. The performance of our approach shows that
NRGA algorithm is able to generate true and well distributed Pareto
optimal solutions.
Abstract: The purposes of this study are to study political
information exposure, politicians- perceptions, political attitudes and
political participations among people in Bangkok Metropolitan Area.
The sample consisted of 420 which were selected by using accidental sampling method. Questionnaires were administered to all of the
respondents to obtain the data for this research. T-test, one-way ANOVA and Pearson-s correlation coefficient were used to analyze the data. The findings are as follows: The difference in gender,
education, income and occupation has significantly effect upon political information exposures. The difference in age, income has
significantly effect upon politicians- perceptions. The difference in income has significantly effect upon political attitudes. The
difference in gender, income and occupation has significantly effect
upon political participations. There were a significantly relations between political information exposures, political attitudes, political
participations and between politicians- perceptions, political attitudes and political participations.
Abstract: Salary risk and demographic risk have been identified
as main risks in analyzing pension expenditure particularly in
Defined Benefit pension plan. Therefore, public pension plan in
Malaysia is studied to analyze pension expenditure due to salary and
demographic risk. Through the literature review and interview session
with several officers in public sector, factors affecting pension
expenditure are determined. Then, the inter-relationships between
these factors are analyzed through causal loop diagram. The System
Dynamics model is later developed using iThink software to show how
demographic and salary changes affect the pension expenditure. Then, by
using actual data, the impact of different policy scenarios on pension
expenditure is analyzed. It is shown that dynamics simulation model of
pension expenditure is useful to evaluate the impact of changes and
policy decisions on risk particularly involving demographic and salary risk.