Abstract: With the advent of social web initiatives, some argued
that these new emerging tools might be useful in tacit knowledge
sharing through providing interactive and collaborative technologies.
However, there is still a poverty of literature to understand how and
what might be the contributions of social media in facilitating tacit
knowledge sharing. Therefore, this paper is intended to theoretically
investigate and map social media concepts and characteristics with
tacit knowledge creation and sharing requirements. By conducting a
systematic literature review, five major requirements found that need
to be present in an environment that involves tacit knowledge
sharing. These requirements have been analyzed against social media
concepts and characteristics to see how they map together. The
results showed that social media have abilities to comply some of the
main requirements of tacit knowledge sharing. The relationships have
been illustrated in a conceptual framework, suggesting further
empirical studies to acknowledge findings of this study.
Abstract: This research proposes an algorithm for the simulation
of time-periodic unsteady problems via the solution unsteady Euler
and Navier-Stokes equations. This algorithm which is called Time
Spectral method uses a Fourier representation in time and hence
solve for the periodic state directly without resolving transients
(which consume most of the resources in a time-accurate scheme).
Mathematical tools used here are discrete Fourier transformations. It
has shown tremendous potential for reducing the computational cost
compared to conventional time-accurate methods, by enforcing
periodicity and using Fourier representation in time, leading to
spectral accuracy. The accuracy and efficiency of this technique is
verified by Euler and Navier-Stokes calculations for pitching airfoils.
Because of flow turbulence nature, Baldwin-Lomax turbulence
model has been used at viscous flow analysis. The results presented
by the Time Spectral method are compared with experimental data. It
has shown tremendous potential for reducing the computational cost
compared to the conventional time-accurate methods, by enforcing
periodicity and using Fourier representation in time, leading to
spectral accuracy, because results verify the small number of time
intervals per pitching cycle required to capture the flow physics.
Abstract: In this article we explore the application of a formal
proof system to verification problems in cryptography. Cryptographic
properties concerning correctness or security of some cryptographic
algorithms are of great interest. Beside some basic lemmata, we
explore an implementation of a complex function that is used in
cryptography. More precisely, we describe formal properties of this
implementation that we computer prove. We describe formalized
probability distributions (σ-algebras, probability spaces and conditional
probabilities). These are given in the formal language of the
formal proof system Isabelle/HOL. Moreover, we computer prove
Bayes- Formula. Besides, we describe an application of the presented
formalized probability distributions to cryptography. Furthermore,
this article shows that computer proofs of complex cryptographic
functions are possible by presenting an implementation of the Miller-
Rabin primality test that admits formal verification. Our achievements
are a step towards computer verification of cryptographic primitives.
They describe a basis for computer verification in cryptography.
Computer verification can be applied to further problems in cryptographic
research, if the corresponding basic mathematical knowledge
is available in a database.
Abstract: Heat pipes are used to control the thermal problem for
electronic cooling. It is especially difficult to dissipate heat to a heat
sink in an environment in space compared to earth. For solving this
problem, in this study, the Poiseuille (Po) number, which is the main
measure of the performance of a heat pipe, is studied by CFD; then, the
heat pipe performance is verified with experimental results. A heat
pipe is then fabricated for a spatial environment, and an in-house code
is developed. Further, a heat pipe subsystem, which consists of a heat
pipe, MLI (Multi Layer Insulator), SSM (Second Surface Mirror), and
radiator, is tested and correlated with the TMM (Thermal
Mathematical Model) through a commercial code. The correlation
results satisfy the 3K requirement, and the generated thermal model is
verified for application to a spatial environment.
Abstract: The main aim of this work is to establish the
capabilities of new green buildings to ascertain off-grid electricity
generation based on the integration of wind turbines in the
conceptual model of a rotating tower [2] in Dubai. An in depth
performance analysis of the WinWind 3.0MW [3] wind turbine is
performed. Data based on the Dubai Meteorological Services is
collected and analyzed in conjunction with the performance analysis
of this wind turbine. The mathematical model is compared with
Computational Fluid Dynamics (CFD) results based on a conceptual
rotating tower design model. The comparison results are further
validated and verified for accuracy by conducting experiments on a
scaled prototype of the tower design. The study concluded that
integrating wind turbines inside a rotating tower can generate enough
electricity to meet the required power consumption of the building,
which equates to a wind farm containing 9 horizontal axis wind
turbines located at an approximate area of 3,237,485 m2 [14].
Abstract: Problems on algebraical polynomials appear in many fields of mathematics and computer science. Especially the task of determining the roots of polynomials has been frequently investigated.Nonetheless, the task of locating the zeros of complex polynomials is still challenging. In this paper we deal with the location of zeros of univariate complex polynomials. We prove some novel upper bounds for the moduli of the zeros of complex polynomials. That means, we provide disks in the complex plane where all zeros of a complex polynomial are situated. Such bounds are extremely useful for obtaining a priori assertations regarding the location of zeros of polynomials. Based on the proven bounds and a test set of polynomials, we present an experimental study to examine which bound is optimal.
Abstract: Modeling transfer phenomena in several chemical
engineering operations leads to the resolution of partial differential
equations systems. According to the complexity of the operations
mechanisms, the equations present a nonlinear form and analytical
solution became difficult, we have then to use numerical methods
which are based on approximations in order to transform a
differential system to an algebraic one.Finite element method is one
of numerical methods which can be used to obtain an accurate
solution in many complex cases of chemical engineering.The packed
columns find a large application like contactor for liquid-liquid
systems such solvent extraction. In the literature, the modeling of this
type of equipment received less attention in comparison with the
plate columns.A mathematical bidimensionnal model with radial and
axial dispersion, simulating packed tower extraction behavior was
developed and a partial differential equation was solved using the
finite element method by adopting the Galerkine model. We
developed a Mathcad program, which can be used for a similar
equations and concentration profiles are obtained along the column.
The influence of radial dispersion was prooved and it can-t be
neglected, the results were compared with experimental concentration
at the top of the column in the extraction system:
acetone/toluene/water.
Abstract: The use of electronic sensors in the electronics
industry has become increasingly popular over the past few years,
and it has become a high competition product. The frequency
adjustment process is regarded as one of the most important process
in the electronic sensor manufacturing process. Due to inaccuracies
in the frequency adjustment process, up to 80% waste can be caused
due to rework processes; therefore, this study aims to provide a
preliminary understanding of the role of parameters used in the
frequency adjustment process, and also make suggestions in order to
further improve performance. Four parameters are considered in this
study: air pressure, dispensing time, vacuum force, and the distance
between the needle tip and the product. A full factorial design for
experiment 2k was considered to determine those parameters that
significantly affect the accuracy of the frequency adjustment process,
where a deviation in the frequency after adjustment and the target
frequency is expected to be 0 kHz. The experiment was conducted on
two levels, using two replications and with five center-points added.
In total, 37 experiments were carried out. The results reveal that air
pressure and dispensing time significantly affect the frequency
adjustment process. The mathematical relationship between these
two parameters was formulated, and the optimal parameters for air
pressure and dispensing time were found to be 0.45 MPa and 458 ms,
respectively. The optimal parameters were examined by carrying out
a confirmation experiment in which an average deviation of 0.082
kHz was achieved.
Abstract: This paper is described one of the intelligent control method in Autonomous systems, which is called fuzzy control to correct the three wheel omnidirectional robot movement while it make mistake to catch the target. Fuzzy logic is especially advantageous for problems that can not be easily represented by mathematical modeling because data is either unavailable, incomplete or the process is too complex. Such systems can be easily up grated by adding new rules to improve performance or add new features. In many cases , fuzzy control can be used to improve existing traditional controller systems by adding an extra layer of intelligence to the current control method. The fuzzy controller designed here is more accurate and flexible than the traditional controllers. The project is done at MRL middle size soccer robot team.
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: 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: 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: Walking and sit to stand are activities carried out by
all the people many times during the day, but physical disabilities due
to age and diseases create needs of assistive devices to help elderly
people during their daily life. This study aims to study the different
types and mechanisms of the assistive devices. We will analyze the
limitations and the challenges faced by the researchers in this field.
We will introduce the Assistive Device developed at the Egypt-Japan
University of Science and Technology, named E-JUST Assistive
Device (EJAD). EJAD will be a low cost intelligent assistive device
to help elders in walking and sit-to-stand activities.
Abstract: The paper deals with the kinematics and automated
calculation of intermittent mechanisms with radial cams. Currently,
electronic cams are increasingly applied in the drives of working link
mechanisms. Despite a huge advantage of electronic cams in their reprogrammability
or instantaneous change of displacement diagrams,
conventional cam mechanisms have an irreplaceable role in
production and handling machines. With high frequency of working
cycle periods, the dynamic load of the proper servomotor rotor
increases and efficiency of electronic cams strongly decreases.
Though conventional intermittent mechanisms with radial cams are
representatives of fixed automation, they have distinct advantages in
their high speed (high dynamics), positional accuracy and relatively
easy manufacture. We try to remove the disadvantage of firm
displacement diagram by reducing costs for simple design and
automated calculation that leads reliably to high-quality and
inexpensive manufacture.
Abstract: In this paper smooth trajectories are computed in the Lie group SO(2, 1) as a motion planning problem by assigning a Frenet frame to the rigid body system to optimize the cost function of the elastic energy which is spent to track a timelike curve in Minkowski space. A method is proposed to solve a motion planning problem that minimize the integral of the square norm of Darboux vector of a timelike curve. This method uses the coordinate free Maximum Principle of Optimal control and results in the theory of integrable Hamiltonian systems. The presence of several conversed quantities inherent in these Hamiltonian systems aids in the explicit computation of the rigid body motions.
Abstract: Surface roughness (Ra) is one of the most important requirements in machining process. In order to obtain better surface roughness, the proper setting of cutting parameters is crucial before the process take place. This research presents the development of mathematical model for surface roughness prediction before milling process in order to evaluate the fitness of machining parameters; spindle speed, feed rate and depth of cut. 84 samples were run in this study by using FANUC CNC Milling α-Τ14ιE. Those samples were randomly divided into two data sets- the training sets (m=60) and testing sets(m=24). ANOVA analysis showed that at least one of the population regression coefficients was not zero. Multiple Regression Method was used to determine the correlation between a criterion variable and a combination of predictor variables. It was established that the surface roughness is most influenced by the feed rate. By using Multiple Regression Method equation, the average percentage deviation of the testing set was 9.8% and 9.7% for training data set. This showed that the statistical model could predict the surface roughness with about 90.2% accuracy of the testing data set and 90.3% accuracy of the training data set.
Abstract: Cardiovascular diseases, principally atherosclerosis, are responsible for 30% of world deaths. Atherosclerosis is due to the formation of plaque. The fatty plaque may be at risk of rupture, leading typically to stroke and heart attack. The plaque is usually associated with a high degree of lumen reduction, called a stenosis.It is increasingly recognized that the initiation and progression of disease and the occurrence of clinical events is a complex interplay between the local biomechanical environment and the local vascular biology. The aim of this study is to investigate the flow behavior through a stenosed artery. A physical experiment was performed using an artery model and blood analogue fluid. An axisymmetric model constructed consists of contraction and expansion region that follow a mathematical form of cosine function. A 30% diameter reduction was used in this study. The flow field was measured using particle image velocimetry (PIV). Spherical particles with 20μm diameter were seeded in a water-glycerol-NaCl mixture. Steady flow Reynolds numbers are 250. The area of interest is the region after the stenosis where the flow separation occurs. The velocity field was measured and the velocity gradient was investigated. There was high particle concentration in the recirculation zone. High velocity gradient formed immediately after the stenosis throat created a lift force that enhanced particle migration to the flow separation area.
Abstract: The purpose of our study was to compare spontaneous
re-epithelisation characteristics versus assisted re-epithelisation. In
order to assess re-epithelisation of the injured skin, we have imagined
and designed a burn wound model on Wistar rat skin. Our aim was to
create standardised, easy reproducible and quantifiable skin lesions
involving entire epidermis and superficial dermis. We then have
applied the above mentioned therapeutic strategies to compare
regeneration of epidermis and dermis, local and systemic parameter
changes in different conditions. We have enhanced the reepithelisation
process under a moist atmosphere of a polyurethane
wound dress modified with helium non-thermal plasma, and with the
aid of direct cold-plasma treatment respectively. We have followed
systemic parameters change: hematologic and biochemical
parameters, and local features: oxidative stress markers and histology
of skin in the above mentioned conditions. Re-epithelisation is just a
part of the skin regeneration process, which recruits cellular
components, with the aid of epidermal and dermal interaction via
signal molecules.
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.