Numerical study of laminar, standing hydraulic jumps in a planar geometry

We solve the two-dimensional, planar Navier-Stokes equations to simulate a laminar, standing hydraulic jump using a Volume-of-Fluid method. The geometry downstream of the jump has been designed to be similar to experimental conditions by including a pit at the edge of the platform over which liquid film flows. We obtain jumps with and without separation. Increasing the inlet Froude number pushes the jump downstream and makes the slope of the jump weaker, consistent with experimental observations of circular jumps, and decreasing the Reynolds number brings the jump upstream while making it steeper. We study the effect of the length of the domain and that of a downstream obstacle on the structure and location of the jump. The transient flow which leads to a final steady jump is described for the first time to our knowledge. In the moderate Reynolds number regime, we obtain steady undular jumps with a separated bubble underneath the first few undulations. Interestingly, surface tension leads to shortening of wavelength of these undulations. We show that the undulations can be explained using the inviscid theory of Benjamin and Lighthill (Proc. R. Soc. London, Ser. A, 1954). We hope this new finding will motivate experimental verification.

Efficient Protocol for Authenticated Email Search

Executing authenticated computation on outsourced data is currently an area of major interest in cryptology. Large databases are being outsourced to untrusted servers without appreciable verification mechanisms. As adversarial server could produce erroneous output, clients should not trust the server's response blindly. Primitive set operations like union, set difference, intersection etc. can be invoked on outsourced data in different concrete settings and should be verifiable by the client. One such interesting adaptation is to authenticate email search result where the untrusted mail server has to provide a proof along with the search result. Recently Ohrimenko et al. proposed a scheme for authenticating email search. We suggest significant improvements over their proposal in terms of client computation and communication resources by properly recasting it in two-party settings. In contrast to Ohrimenko et al. we are able to make the number of bilinear pairing evaluation, the costliest operation in verification procedure, independent of the result set cardinality for union operation. We also provide an analytical comparison of our scheme with their proposal which is further corroborated through experiments.

A PRACTICAL PROCEDURE TO ESTIMATE THE BEARING CAPACITY OF FOOTINGS ON SAND-APPLICATION TO 87 CASE STUDIES

Following the recent work of the authors in development and numerical verification of a new kinematic approach of the limit analysis for surface footings on non-associative materials, a practical procedure is proposed to utilize the theory. It is known that both the peak friction angle and dilation angle depend on the sand density as well as the stress level, which was not the concern of the former work. In the current work, a practical procedure is established to provide a better estimate of the bearing capacity of surface footings on sand which is often non-associative. This practical procedure is based on the results obtained theoretically and requires the density index and the critical state friction angle of the sand. The proposed practical procedure is a simple iterative computational procedure which relates the density index of the sand, stress level, dilation angle, peak friction angle and eventually the bearing capacity. The procedure is described and verified among available footing load test data.

A Perspective on Computer Assisted Assessment Techniques for Short Free-Text Answers

Computer Assisted Assessment (CAA) has been existing for several years now. While some forms of CAA do not require sophisticated text understanding (e.g., multiple choice questions), there are also student answers that consist of free text and require analysis of text in the answer. Research towards the latter till date has concentrated on two main sub-tasks: (i) grading of essays, which is done mainly by checking the style, correctness of grammar, and coherence of the essay and (ii) assessment of short free-text answers. In this paper, we present a structured view of relevant research in automated assessment techniques for short free-text answers. We review papers spanning the last 15 years of research with emphasis on recent papers. Our main objectives are two folds. First we present the survey in a structured way by segregating information on dataset, problem formulation, techniques, and evaluation measures. Second we present a discussion on some of the potential future directions in this domain which we hope would be helpful for researchers.

Experimental Validation of Improving Aircraft Rolling Power Using Piezoelectric Actuators

Piezoelectric actuators are mounted on both sides of a rectangular wing model. Possibility of the improvement of aircraft rolling power is investigated. All experiment projects, including designing the wind tunnel model, checking the material constants, measuring the natural frequencies and checking the effects of actuators, guarantee the correctness and precision of the finite element model. The wind tunnel experiment results show that the calculations coincide with the experiments. The feasibility of fictitious control surface is validated.

A modified thermal viscoplastic constitutive law involving the effect of temperature rise rate

At high temperature rise rate, the mechanical properties of 10 # steel were determined experimentally in a very wide range of temperature and strain rates. A new constitutive relationship was put forward, which can fit with the experimental results and describe various phenomena observed in our experiments. Meanwhile, some interesting characteristics about the temperature rise rate, strain and strain rate hardening and thermal softening are also shown in this paper. Finally, the reliability of the constitutive law and the correctness of the constitutive parameters were verified by comparing the calculation results with the experimental data.

El uso de detalles biográficos como información seductora en el texto de ciencias

Resumen: Se estudió el efecto de incluir detalles biográficos seductores en un texto expositivo de ciencias. 66 estudiantes con bajo conocimiento sobre el tema leyeron el texto sin detalle seductor o con una anécdota biográfica interesante. El interés asociado a los materiales fue examinado en un estudio preliminar. Se recolectaron medidas de retención (recuerdo del texto y verificación de afirmaciones literales), comprensión (verificación de afirmaciones inferidas) y síntesis del texto (selección de un título). Los resultados indicaron que la condición que recibió el detalle biográfico tuvo más dificultades para recordar los contenidos y para contestar afirmaciones de la sección del texto próxima al detalle. Estos resultados son interpretados a la luz de la hipótesis de la integración desviada.

Behaviour analysis of numerical solutions and simulation of coherent structures in compressible mixing layers

For understanding the correctness of simulations the behaviour of numerical solutions is analysed, Tn order to improve the accuracy of solutions three methods are presented. The method with GVC (group velocity control) is used to simulate coherent structures in compressible mixing layers. The effect of initial conditions for the mixing layer with convective Mach number 0.8 on coherent structures is discussed. For the given initial conditions two types of coherent structures in the mixing layer are obtained.

La Eucaristía, primicia y fundamento de un orden social verdaderamente justo : un aporte con ocasión del Congreso Eucarístico Nacional

Resumen: Con motivo de la celebración del Congreso Eucarístico Nacional, el autor propone volver a la inspiración original de esos congresos, poniendo de relieve la dimensión salvífica social de la Eucaristía de cara a los desafíos que presenta la realidad argentina. Uno de ellos es, sin duda, el establecimiento de un orden social más justo. Como aporte en vista de ese fin, el artículo intenta profundizar en la relación entre Eucaristía y justicia. Esto se hace en un desarrollo en cinco momentos: una clarificación de la noción de justicia, desde el punto de vista jurídico-filosófico y desde la perspectiva bíblica; una relectura de las fuentes bíblicas relativas al signo y al significado de la Eucaristía, donde se pone de manifiesto que ésta es el sacramentum caritatis; un momento especulativo que busca explicitar la relación entre caridad y justicia, y la relación de ésta con la Eucaristía; la verificación de esa interpretación en la praxis sacramental cristiana de los primeros siglos; y, por último, la recuperación de algunos textos claves del Magisterio de la Iglesia que han desarrollado el tema. Esto permite concluir que la Eucaristía señala de modo eminente lo que significa ser cristiano, razón por la cual su celebración exige una cierta conducta ética. La Eucaristía rememora así que en Cristo la justicia de Dios ha sido definitivamente realizada y un nuevo orden ha sido instaurado; ella manifiesta e incentiva a establecer una verdadera “contra-cultura” donde prevalezcan la justicia y la solidaridad; y es signo profético de la realización de los “cielos nuevos y la tierra nueva”. Por eso el significado de la leitourgia del Pueblo de Dios se verá verificado en la diakonía y la martyria.

A general design method for electric machines using magnetic circuit model considering the flux saturation problem

This paper proposes an analytical approach that is generalized for the design of various types of electric machines based on a physical magnetic circuit model. Conventional approaches have been used to predict the behavior of electric machines but have limitations in accurate flux saturation analysis and hence machine dimensioning at the initial design stage. In particular, magnetic saturation is generally ignored or compensated by correction factors in simplified models since it is difficult to determine the flux in each stator tooth for machines with any slot-pole combinations. In this paper, the flux produced by stator winding currents can be calculated accurately and rapidly for each stator tooth using the developed model, taking saturation into account. This aids machine dimensioning without the need for a computationally expensive finite element analysis (FEA). A 48-slot machine operated in induction and doubly-fed modes is used to demonstrate the proposed model. FEA is employed for verification.

Shocked Flows Induced by Supersonic Projectiles Moving in Tubes

A numerical study on shocked flows induced by a supersonic projectile moving in tubes is described in this paper. The dispersion-controlled scheme was adopted to solve the Euler equations implemented with moving boundary conditions. Four test cases were carried out in the present study: the first two cases are for validation of numerical algorithms and verification of moving boundary conditions, and the last two cases are for investigation into wave dynamic processes induced by the projectile moving at Mach numbers of M-p = 2.0 and 2.4, respectively, in a short time duration after the projectile was released from a shock tube into a big chamber. It was found that complex shock phenomena exist in the shocked flow, resulting from shock-wave/projectile interaction, shock-wave focusing, shock-wave reflection and shock-wave/contact-surface interactions, from which turbulence and vortices may be generated. This is a fundamental study on complex shock phenomena, and is also a useful investigation for understanding on shocked flows in the ram accelerator that may provide a highly efficient facility for launching hypersonic projectiles.

On dispersion-controlled principles for non-oscillatory shock-capturing schemes

The role of dispersions in the numerical solutions of hydrodynamic equation systems has been realized for long time. It is only during the last two decades that extensive studies on the dispersion-controlled dissipative (DCD) schemes were reported. The studies have demonstrated that this kind of the schemes is distinct from conventional dissipation-based schemes in which the dispersion term of the modified equation is not considered in scheme construction to avoid nonphysical oscillation occurring in shock wave simulations. The principle of the dispersion controlled aims at removing nonphysical oscillations by making use of dispersion characteristics instead of adding artificial viscosity to dissipate the oscillation as the conventional schemes do. Research progresses on the dispersion controlled principles are reviewed in this paper, including the exploration of the role of dispersions in numerical simulations, the development of the dispersion-controlled principles, efforts devoted to high-order dispersion-controlled dissipative schemes, the extension to both the finite volume and the finite element methods, scheme verification and solution validation, and comments on several aspects of the schemes from author's viewpoint.

Objetividad y racionalidad en la interpretación jurídica : consideraciones a partir de las ideas de Owen Fiss

Resumen: El presente artículo estudia uno de los temas centrales del debate iusfilosófico contemporáneo, a saber, el lugar que ocupa la razón en la interpretación jurídica. En este sentido, enfoca el tema de la objetividad y la racionalidad en la interpretación jurídica a partir del pensamiento del profesor de Yale, Owen Fiss, con una presentación de sus ideas en torno a la adjudicación y a las notas de la interpretación. Se consideran luego cuatro grandes cuestiones que constituyen el núcleo de la propuesta de Fiss: la racionalidad de la interpretación, su carácter objetivo, sus criterios de corrección y el papel de las valoraciones morales en la interpretación. Se finaliza con balance conclusivo de los aspectos fuertes y débiles de las ideas de Fiss.

薄板激光弯曲温度场的数值模拟与校验

采用MSC.Marc非线性有限元软件，对薄板激光变曲过程中的温度场进行了数值模拟，得到了引起薄板激光弯曲形的温度场的变化规律。通过温度传感器测量与激光扫描线相对应的薄板下表面温度变化的规律来验证数值模拟的结果。模拟值与实测值基本吻合，表明数值模拟结果可作为激光加工工艺参数选择的依据。

激光点热源作用下动态微变形的数值模拟与校验

采用MSC．Marc非线性有限元软件，对试件在激光点热源作用下动态微变形过程进行了数值模拟。通过激光反射放大系统测量了试件在激光点热源作用下的动态微变形过程。模拟值与实测值的结果表明：热应力和相变应力的共同作用使得试件产生微变形，最终试件的变形方向取决于热应变和相变共同作用的结果，朝向激光束或背向激光束。比较实验值和模拟值，发现变形的最大值相近，变形过程却略有不同。考虑到激光点热源作用下有限厚度的试件内，温度场分布出现的反常效应，即内部的温度大于边界温度，提出采用波动理论修正经典的热传导计算模型，可望有效地提高模拟过程的计算精度。结论为进一步研究薄板激光弯曲的变形机理及变形过程莫定了基础。