The paper discusses some properties of system descriptions in the recent extension of action language AL (also known as B) by defined fluents.

In the study, a numerical simulation of sliding properties rough and smooth surfaces with micro-structure was made. The shear flow in micro-channel performed ANSYS FLUENT software. 3-D two-phase is simulated by choosing volume fluid model. CFD analysis, water air consist two immiscible phases. calculations, if first second fluid, adjustments are At beginning channel considered to be completely ...

In view of the problems existing in field application eddy current tools, research on tools drainage gas recovery was carried out.Based Fluent software and ground experiments, optimal structure size production tool is determined as follows: wing height helix 1.5mm, diameter 50mm, width 2mm, Angle 55°, which provides reference for application.

This work examines the parallel scalability characteristics of commercial CFD software FLUENT and STAR-CD for up to 256 processing cores, and research CFD software CDP from Stanford University for up to 512 cores – for transient CFD simulations that heavy in IO relative to numerical operations. In three independent studies conducted with engineering contributions from the University of Cambridg...

Precision agriculture is the developing trend of modern agriculture, and the rational utilization of fertilizer is one of the key technologies in the precision agriculture, which needs to fertilize variably according to the crop needs and soil fertility conditions. Thus a fertilizer automated proportioning equipment is developed to Proportion the three fertilizers: Nitrogen fertilizer, Phosphor...

This paper addresses the problem of software quality information and the creation of an organizational memory founded on it. We focus on aspects such as how to organize the organizational memory, how to apply a collaborative multiview approach to it, and how to capture and use it in software design and inspection. The presented solution is based on the integrative theories of human knowledge cr...

In speech, the phenomenon of coarticulation (differentiation of phoneme production depending on the preceding or following phonemes) suggests an organization of movement sequences that is not strictly serial. In the skeletal motor system, however, evidence for comparable fluency has been lacking. Thus the present study was designed to quantify coarticulation in the hand movement sequences of si...

This paper analyses coarticulation in Italian and French monolingual stutterers tested in fluent speech. Our aim is to discover whether the stutterers’ fluent speech presents specificities in intra-syllabic coarticulation opposed to the fluent speakers. Two factors will be considered: the role of the syllabic complexity and that of the language. The participants repeat syllables of variable com...