15,221 research outputs found
Vertically inserted geotextile used for strengthening levees against internal erosion
The effectiveness of a vertical inserted geotextile against internal erosion, in particular backward erosion, has been investigated. Some small- and medium-scale tests were performed as well as a field-scale test and compared with test series without any erosion mitigating measure. All tests demonstrated that the geotextile shield was very effective to prevent backward erosion. Numerical analysis showed that it was more effective than an impermeable sheet pile of the same length. The paper describes the technique in more detail as well as the results of numerical calculations. Furthermore, the test facilities are describe
Skyrme models and nuclear matter equation of state
We investigate the role of pressure in a class of generalised Skyrme models. We introduce pressure as the trace of the spatial part of the energy-momentum tensor and show that it obeys the usual thermodynamical relation. Then, we compute analytically the mean-field equation of state in the high and medium pressure regimes by applying topological bounds on compact domains. The equation of state is further investigated numerically for the charge one skyrmions. We identify which term in a generalised Skyrme model is responsible for which part in the equation of state. Further, we compare our findings with the corresponding results in the Walecka model
Social Networking Individual vs. Crowd Behavior (Connected Intelligence)
The study of Human behavior is much more complicated in various situations, especially on the spectrum of Social Networks. The study of individual behavior cannot be replicated for a group/crowd behavior which can have many social and behavioral dimensions. In the connected world where intelligence is shared among individuals and groups, there exists another kind of complexity which needs to be examined.The complexity of human behaviors as an individual or as a group on the social networks is much more versatile and erratic. The research work studies and analyzes these behaviors in a connected networked intelligent environment and as to how these behaviors are reflected towards Connected Intelligence. Consequently it defines how they can affect the intelligent analytical outcomes. Finally it comes up with a generic model which can be applied in any setup
Categories of First-Order Quantifiers
One well known problem regarding quantifiers, in particular the 1storder
quantifiers, is connected with their syntactic categories and denotations.
The unsatisfactory efforts to establish the syntactic and ontological categories
of quantifiers in formalized first-order languages can be solved by means of the
so called principle of categorial compatibility formulated by Roman Suszko,
referring to some innovative ideas of Gottlob Frege and visible in syntactic
and semantic compatibility of language expressions. In the paper the principle
is introduced for categorial languages generated by the Ajdukiewicz’s classical
categorial grammar. The 1st-order quantifiers are typically ambiguous. Every
1st-order quantifier of the type k \u3e 0 is treated as a two-argument functorfunction
defined on the variable standing at this quantifier and its scope (the
sentential function with exactly k free variables, including the variable bound
by this quantifier); a binary function defined on denotations of its two arguments
is its denotation. Denotations of sentential functions, and hence also
quantifiers, are defined separately in Fregean and in situational semantics.
They belong to the ontological categories that correspond to the syntactic
categories of these sentential functions and the considered quantifiers. The
main result of the paper is a solution of the problem of categories of the
1st-order quantifiers based on the principle of categorial compatibility
- …