Abstract: One major difficulty that faces developers of
concurrent and distributed software is analysis for concurrency based
faults like deadlocks. Petri nets are used extensively in the
verification of correctness of concurrent programs. ECATNets [2] are
a category of algebraic Petri nets based on a sound combination of
algebraic abstract types and high-level Petri nets. ECATNets have
'sound' and 'complete' semantics because of their integration in
rewriting logic [12] and its programming language Maude [13].
Rewriting logic is considered as one of very powerful logics in terms
of description, verification and programming of concurrent systems.
We proposed in [4] a method for translating Ada-95 tasking
programs to ECATNets formalism (Ada-ECATNet). In this paper,
we show that ECATNets formalism provides a more compact
translation for Ada programs compared to the other approaches based
on simple Petri nets or Colored Petri nets (CPNs). Such translation
doesn-t reduce only the size of program, but reduces also the number
of program states. We show also, how this compact Ada-ECATNet
may be reduced again by applying reduction rules on it. This double
reduction of Ada-ECATNet permits a considerable minimization of
the memory space and run time of corresponding Maude program.
Abstract: Monitoring the tool flank wear without affecting the
throughput is considered as the prudent method in production
technology. The examination has to be done without affecting the
machining process. In this paper we proposed a novel work that is
used to determine tool flank wear by observing the sound signals
emitted during the turning process. The work-piece material we used
here is steel and aluminum and the cutting insert was carbide
material. Two different cutting speeds were used in this work. The
feed rate and the cutting depth were constant whereas the flank wear
was a variable. The emitted sound signal of a fresh tool (0 mm flank
wear) a slightly worn tool (0.2 -0.25 mm flank wear) and a severely
worn tool (0.4mm and above flank wear) during turning process were
recorded separately using a high sensitive microphone. Analysis
using Singular Value Decomposition was done on these sound
signals to extract the feature sound components. Observation of the
results showed that an increase in tool flank wear correlates with an
increase in the values of SVD features produced out of the sound
signals for both the materials. Hence it can be concluded that wear
monitoring of tool flank during turning process using SVD features
with the Fuzzy C means classification on the emitted sound signal is
a potential and relatively simple method.
Abstract: In this work we investigated the behavior of methane
hydrates dispersed in crude oils from different fields at temperatures
below 0°C. In case of crude oil emulsion the size of water droplets is
in the range of 50e100"m. The size of hydrate particles formed from
droplets is the same. The self-preservation is not expected in this
field. However, the self-preservation of hydrates with the size of
particles 24±18"m (electron microscopy data) in suspensions is
observed. Similar results were obtained for four different kinds of
crude oil and model system such as asphaltenes, resins and wax in ndecane.
This result can allow developing effective methods to prevent
the formation and elimination of gas-hydrate plugs in pipelines under
low temperature conditions (e. g. in Eastern Siberia). There is a
prospective to use experiment results for working out the technology
of associated petroleum gas recovery.
Abstract: The paper presents the method developed to assess
rating points of objects with qualitative indexes. The novelty of the
method lies in the fact that the authors use linguistic scales that allow
to formalize the values of the indexes with the help of fuzzy sets. As
a result it is possible to operate correctly with dissimilar indexes on
the unified basis and to get stable final results. The obtained rating
points are used in decision making based on fuzzy expert opinions.
Abstract: The objective of this manuscript is to find area under the plasma concentration- time curve (AUC) for multiple doses of salbutamol sulphate sustained release tablets (Ventolin® oral tablets SR 8 mg, GSK, Pakistan) in the group of 18 healthy adults by using computational mathematics techniques. Following the administration of 4 doses of Ventolin® tablets 12 hourly to 24 healthy human subjects and bioanalysis of obtained plasma samples, plasma drug concentration-time profile was constructed. AUC, an important pharmacokinetic parameter, was measured using integrated equation of multiple oral dose regimens. The approximated AUC was also calculated by using computational mathematics techniques such as repeated rectangular, repeated trapezium and repeated Simpson's rule and compared with exact value of AUC calculated by using integrated equation of multiple oral dose regimens to find best computational mathematics method that gives AUC values closest to exact. The exact values of AUC for four consecutive doses of Ventolin® oral tablets were 150.5819473, 157.8131756, 164.4178231 and 162.78 ng.h/ml while the closest values approximated AUC values were 149.245962, 157.336171, 164.2585768 and 162.289224 ng.h/ml, respectively as found by repeated rectangular rule. The errors in the approximated values of AUC were negligible. It is concluded that all computational tools approximated values of AUC accurately but the repeated rectangular rule gives slightly better approximated values of AUC as compared to repeated trapezium and repeated Simpson's rules.
Abstract: One of the major disadvantages of the minimally
invasive surgery (MIS) is the lack of tactile feedback to the surgeon.
In order to identify and avoid any damage to the grasped complex
tissue by endoscopic graspers, it is important to measure the local
softness of tissue during MIS. One way to display the measured
softness to the surgeon is a graphical method. In this paper, a new
tactile sensor has been reported. The tactile sensor consists of an
array of four softness sensors, which are integrated into the jaws of a
modified commercial endoscopic grasper. Each individual softness
sensor consists of two piezoelectric polymer Polyvinylidene Fluoride
(PVDF) films, which are positioned below a rigid and a compliant
cylinder. The compliant cylinder is fabricated using a micro molding
technique. The combination of output voltages from PVDF films is
used to determine the softness of the grasped object. The theoretical
analysis of the sensor is also presented.
A method has been developed with the aim of reproducing the
tactile softness to the surgeon by using a graphical method. In this
approach, the proposed system, including the interfacing and the data
acquisition card, receives signals from the array of softness sensors.
After the signals are processed, the tactile information is displayed
by means of a color coding method. It is shown that the degrees of
softness of the grasped objects/tissues can be visually differentiated
and displayed on a monitor.
Abstract: terrorism and extremism are among the most
dangerous and difficult to forecast the phenomena of our time, which
are becoming more diverse forms and rampant. Terrorist attacks often
produce mass casualties, involve the destruction of material and
spiritual values, beyond the recovery times, sow hatred among
nations, provoke war, mistrust and hatred between the social and
national groups, which sometimes can not be overcome within a
generation. Currently, the countries of Central Asia are a topical issue
– the threat of terrorism and religious extremism, which grow not
only in our area, but throughout the world. Of course, in each of the
terrorist threat is assessed differently. In our country the problem of
terrorism should not be acutely. Thus, after independence and
sovereignty of Kazakhstan has chosen the path of democracy,
progress and free economy. With the policy of the President of
Kazakhstan Nursultan Nazarbayev and well-organized political and
economic reforms, there has been economic growth and rising living
standards, socio-political stability, ensured civil peace and accord in
society [1].
Abstract: Through inward perceptions, we intuitively expect
distributed software development to increase the risks associated with
achieving cost, schedule, and quality goals. To compound this
problem, agile software development (ASD) insists one of the main
ingredients of its success is cohesive communication attributed to
collocation of the development team. The following study identified
the degree of communication richness needed to achieve comparable
software quality (reduce pre-release defects) between distributed and
collocated teams. This paper explores the relevancy of
communication richness in various development phases and its
impact on quality. Through examination of a large distributed agile
development project, this investigation seeks to understand the levels
of communication required within each ASD phase to produce
comparable quality results achieved by collocated teams. Obviously,
a multitude of factors affects the outcome of software projects.
However, within distributed agile software development teams, the
mode of communication is one of the critical components required to
achieve team cohesiveness and effectiveness. As such, this study
constructs a distributed agile communication model (DAC-M) for
potential application to similar distributed agile development efforts
using the measurement of the suitable level of communication. The
results of the study show that less rich communication methods, in
the appropriate phase, might be satisfactory to achieve equivalent
quality in distributed ASD efforts.
Abstract: Linearization of graph embedding has been emerged
as an effective dimensionality reduction technique in pattern
recognition. However, it may not be optimal for nonlinearly
distributed real world data, such as face, due to its linear nature. So, a
kernelization of graph embedding is proposed as a dimensionality
reduction technique in face recognition. In order to further boost the
recognition capability of the proposed technique, the Fisher-s
criterion is opted in the objective function for better data
discrimination. The proposed technique is able to characterize the
underlying intra-class structure as well as the inter-class separability.
Experimental results on FRGC database validate the effectiveness of
the proposed technique as a feature descriptor.
Abstract: Indium-tin oxide films are deposited by low plasma
temperature RF sputtering on highly flexible modification of glycol
polyethyleneterephtalate substrates. The produced layers are
characterized with transparency over 82 % and sheet resistance of
86.9 Ω/square. The film’s conductivity was further improved by
additional UV illumination from light source (365 nm), having power
of 250 W. The influence of the UV exposure dose on the structural
and electro-optical properties of ITO was investigated. It was
established that the optimum time of illumination is 10 minutes and
further UV treatment leads to polymer substrates degradation.
Structural and bonds type analysis show that at longer treatment
carbon atoms release and diffuse into ITO films, which worsen their
electrical behavior. For the optimum UV dose the minimum sheet
resistance was measured to be 19.2 Ω/square, and the maximum
transparency remained almost unchanged – above 82 %.
Abstract: The research was set up on chernozem soil at the Látókép AGTC MÉK research area of the University of Debrecen in Hungary. We examined the yield, the yield production per 1kg NPK fertilizer and the water and nutrient utilization of hybrid PR37N01 and PR37M81 in 2013. We found that PR37N01 produced the most yield at the level of N120+P (17,476kg ha-1) while PR37M81 reached the highest yield at level N150+PK (16,754kg ha-1). Studies related to yield production per 1kg NPK indicated that the best results were achieved at level N30+PK compared to the control treatment. Yield production per 1kg NPK was17.6kg kg-1 by P37N01 and 44.2kg kg-1 by PR37M81. By comparing the water utilization of hybrids we found that the worst water utilization results were reached in the control treatment (PR37N01: 26.2kg mm-1, PR37M81: 19.5kg mm-1). The best water utilization values were produced at level N120+PK in the case of hybrid PR37N01 (32.1kg mm-1) and at N150+PK in the case of hybrid PR37M81 (30.8kg mm-1). We established the values of the nutrient reaction and the fertilizer optimum of hybrids. We discovered a strong relationship between the amount of fertilizer applied and the yield produced (r2= 0.8228–0.9515). The best nutrient response was induced by hybrid PR37N01, while the weakest results were reached by hybrid PR37M81.
Abstract: The aim of this study was to establish the relationship between the principles of Educational Sport and the objectives of Physical Education in two brasilian laws: National Curriculum Guidelines (PCNs) for the Elementary and Middle School Levels and the Guidelines and Basis Legislation (LDB). The method used was the survey analysis in order to determine the practices present in, or the opinions of, a specific population. The instrument used in this research was a questionnaire. After a broad review of the bibliography and according to the methodological procedures, the aim was to set the relationships between the Principles of Educational Sport and the objectives of Physical Education, according to the Brazilian Law (LDB) and National Curriculum Guidelines (PCNs) in a table made under the analysis of a group of specialists. As the relation between the principles of Educational Sport and the objectives of School Physical Education have shown, we can state that School Physical Education has gained pedagogical security for the potential use of Educational Sport as part of its contents.
Abstract: Today, node-disjoint routing becomes inessential
technique in communication of packets among various nodes in
networks. Meanwhile AODV (Ad Hoc On-demand Multipath
Distance Vector) creates single-path route between a pair of source
and destination nodes. Some researches has done so far to make
multipath node-disjoint routing based on AODV protocol. But
however their overhead and end-to-end delay are relatively high,
while the detail of their code is not available too. This paper proposes
a new approach of multipath node-disjoint routing based on AODV
protocol. Then the algorithm of analytical model is presented. The
extensive results of this algorithm will be presented in the next paper.
Abstract: The main purpose of this study was to establish Professional Competency Contents for International Marketer in Taiwan. To establish these contents a set of interviews with international marketing managers and three rounds of Delphi Technique surveys were employed. Five international marketing managers were interviewed for discussions on definitions, framework, and items of international marketing competency. A questionnaire for the " Delphi Technique Survey " was developed based on the results acquired from the interviews. The resulting questionnaire was distributed to another group of 30 international marketer of trading companies in Taiwan. After three rounds of Delphi Technique Survey with these participants, the "Contents of Professional Competency for International Marketer " was established. Five dimensions and thirty indicators were identified. It is hoped that the proposed contents could be served as a self-evaluation tool for international marketer as well as the basis for staffing and training programs for international marketer in Taiwan.
Abstract: Through the course of this paper we outline how
mobile Business Intelligence (m-BI) can help businesses to work
smarter and to improve their agility. When we analyze the industry
from the usage perspective or how interaction with the enterprise BI
system happens via mobile devices, we may easily understand that
there are two major types of mobile BI: passive and active. Active
mobile BI gives provisions for users to interact with the BI systems
on-the-fly. Active mobile business intelligence often works as a
combination of both “push and pull" techniques. Some mistakes were
done in the up-to-day progress of mobile technologies and mobile BI,
as well as some problems that still have to be resolved. We discussed
in the paper rather broadly.
Abstract: International competitiveness receives much attention
nowadays, but up to now its assessment has been heavily based on
manufacturing industry statistics. This paper addresses the need for
competitiveness indicators that cover the service sector and sets out a
multilevel framework for measuring international services trade
competitiveness. The approach undertaken here aims at
comparatively examining the international competitiveness of the
EU-25 (the twenty-five European Union member states before the 1st
of January 2007), Romanian and Bulgarian services trade, as well as
the last two countries- structure of specialization on the EU-25
services market. The primary changes in the international
competitiveness of three major services sectors – transportation,
travel and other services - are analyzed. This research attempts to
determine the ability of the two recent European Union (EU) member
states to contend with the challenges that might arise from the hard
competition within the enlarged EU, in the field of services trade.
Abstract: This study investigated the effect of germination on chemical compositions, physio-chemical properties of malted (germinated) red sorghum flours and evaluated characteristics of gluten free breads from sorghum flour. Results showed that germinated sorghum flour had higher amylase activity, swelling power and solubility at 95°C, but lower in the peak, break down, final and set back viscosities than ungerminated sample (p≤0.05). Five gluten free breads made from sorghum flour blends, with different ratios of ungerminated and germinated sorghum flour, were compared for the physical properties with those made from wheat flour. Crumb hardness, cohesiveness, gumminess and chewiness of sorghum breads were found significantly higher than those of wheat bread. With increasing of ungerminated flour proportion, the bread hardness increased while the cohesiveness declined. Sorghum breads appeared red to human eyes with a*values of 10.41-15.77.Their crust and crumb colors differed significantly from those of wheat bread.
Abstract: This paper presents the experimental results of the
investigation of various properties related to the durability and longterm
performance of mortars made of Fly Ash blended cement, FA
and Ordinary Portland cement, OPC. The properties that were
investigated in an experimental program include; equilibration of
specimen in different relative humidity, determination of total
porosity, compressive strength, chloride permeability index, and
electrical resistivity. Fly Ash blended cement mortar specimens
exhibited 10% to 15% lower porosity when measured at equilibrium
conditions in different relative humidities as compared to the
specimens made of OPC mortar, which resulted in 6% to 8% higher
compressive strength of FA blended cement mortar specimens. The
effects of ambient relative humidity during sample equilibration on
porosity and strength development were also studied. For specimens
equilibrated in higher relative humidity conditions, such as 75%, the
total porosity of different mortar specimens was between 35% to 50%
less than the porosity of samples equilibrated in 12% relative
humidity, consequently leading to higher compressive strengths of
these specimens.A valid statistical correlation between values of
compressive strength, porosity and the degree of saturation was
obtained. Measured values of chloride permeability index of fly ash
blended cement mortar were obtained as one fourth to one sixth of
those measured for OPC mortar specimens, which indicates high
resistance against chloride ion penetration in FA blended cement
specimens, hence resulting in a highly durable mortar.
Abstract: In this study, we sought to investigate the mercury
removal efficiency of manganese oxides from natural gas. The
fundamental studies on mercury removal with manganese oxides
sorbents were carried out in a laboratory scale fixed bed reactor at 30
°C with a mixture of methane (20%) and nitrogen gas laden with 4.8
ppb of elemental mercury. Manganese oxides with varying surface
area and crystalline phase were prepared by conventional precipitation
method in this study. The effects of surface area, crystallinity and
other metal oxides on mercury removal efficiency were investigated.
Effect of Ag impregnation on mercury removal efficiency was also
investigated. Ag supported on metal oxide such titania and zirconia as
reference materials were also used in this study for comparison. The
characteristics of mercury removal reaction with manganese oxide
was investigated using a temperature programmed desorption (TPD)
technique.
Manganese oxides showed very high Hg removal activity (about
73-93% Hg removal) for first time use. Surface area of the manganese
oxide samples decreased after heat-treatment and resulted in complete
loss of Hg removal ability for repeated use after Hg desorption in the
case of amorphous MnO2, and 75% loss of the initial Hg removal
activity for the crystalline MnO2. Mercury desorption efficiency of
crystalline MnO2 was very low (37%) for first time use and high (98%)
after second time use. Residual potassium content in MnO2 may have
some effect on the thermal stability of the adsorbed Hg species.
Desorption of Hg from manganese oxides occurs at much higher
temperatures (with a peak at 400 °C) than Ag/TiO2 or Ag/ZrO2.
Mercury may be captured on manganese oxides in the form of mercury
manganese oxide.
Abstract: Many multimedia communication applications require a
source to transmit messages to multiple destinations subject to quality
of service (QoS) delay constraint. To support delay constrained
multicast communications, computer networks need to guarantee an
upper bound end-to-end delay from the source node to each of
the destination nodes. This is known as multicast delay problem.
On the other hand, if the same message fails to arrive at each
destination node at the same time, there may arise inconsistency and
unfairness problem among users. This is related to multicast delayvariation
problem. The problem to find a minimum cost multicast
tree with delay and delay-variation constraints has been proven to
be NP-Complete. In this paper, we propose an efficient heuristic
algorithm, namely, Economic Delay and Delay-Variation Bounded
Multicast (EDVBM) algorithm, based on a novel heuristic function,
to construct an economic delay and delay-variation bounded multicast
tree. A noteworthy feature of this algorithm is that it has very high
probability of finding the optimal solution in polynomial time with
low computational complexity.