Scalable satisfiability checking and test data generation from modeling diagrams

We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, primarily targeting database applications, with significant uses in practice. The general problem of even checking whether an ORM diagram is satisfiable is quite hard: restricted forms are easily NP-hard and the problem is undecidable for some expressive formulations of ORM. Brute-force mapping to input for constraint and SAT solvers does not scale: state-of-the-art solvers fail to find data to satisfy uniqueness and mandatory constraints in realistic time even for small examples. We instead define a restricted subset of ORM that allows efficient reasoning yet contains most constraints overwhelmingly used in practice. We show that the problem of deciding whether these constraints are consistent (i.e., whether we can generate appropriate test data) is solvable in polynomial time, and we produce a highly efficient (interactive speed) checker. Additionally, we analyze over 160 ORM diagrams that capture data models from industrial practice and demonstrate that our subset of ORM is expressive enough to handle their vast majority.     

Electrical properties of Ln2Mo2O7 pyrochlores (Ln=SmYb,Y)

Cubic oxide pyrochlores, Ln₂Mo₂O₇, Ln=SmYb,Y, (Nd_1?xA_x), A=Er and Yb; 0 < x < 1.0, have been synthesized and electrical properties were examined in the range 77-600K. Semiconductor behavior is observed for Ln=EuYb, Y but the resistivity and E_a are low. Sm₂Mo₂O₇ and Nd_1?xYb_xMo₂O₇ (0.05 ≤ x ≤ 0.1) exhibit semimetallic or metallic behavior. The mechanism of conduction in these compounds is explained on the basis of band model proposed by Sleight et al.     

Dielectric properties of the system Pb2 −x Nd x Li0·5Nb1·5 O6+δ

The dielectric properties of the ceramic defect pyrochlore-structured system Pb_2−x Nd _x Li_0·5Nb_1·5 O_6+δ has been studied as a function of concentrationx, frequency and temperature. The results have been analyzed for relaxation process and conduction mechanism. Now deceased.     

A note on universal matrices for triangular finite elements for the quasi-harmonic equation

An algorithm to generate universal matrices for plane triangular finite elements for the general ‘quasi-harmonic’ equation is presented. For every member of the triangle family three numerical universal matrices are obtained which are independent of the size, shape and ‘material’ properties of the element. Of these, two are basic and the third can be generated from one of these two. The element ‘stiffness’ matrix is conveniently generated by manipulating these two basic matrices taking into account the size, shape and material properties of the element in a simple manner.     

Stress oscillations in plane stress modelling of flexure—a field-consistency interpretation

Exactly integrated isoparametric plane stress elements behave poorly in flexure. The 4-noded element ‘locks’, with errors that progress indefinitely as element aspect ratio increases. Reduced integration of the shear strain energy eliminates this locking entirely. The 8-noded element does not lock, but improves in performance with reduced integration of shear strain energy. Both elements, with their original shape functions, show severe shear stress oscillations in flexure. In this paper we attribute these oscillations to the lack of ‘consistency’ of shear strain fields derived directly from independent field-variable interpolations. We derive error models for specific tractable examples which can confirm the accuracy of this conceptual scheme through digital computation using the finite element models. A field-consistent redistribution strategy for the shear strain field is offered as an elegant procedure to free the elements of spurious oscillations and give a ‘lock’-free performance.     

Matched asymptotic solution for flow in a semi-hyperbolic die

A semi-hyperbolic converging geometry finds application as an inexpensive elongation rheometer under certain flow conditions. We provide a matched asymptotic solution for the flow of a Newtonian fluid under no-slip boundary conditions. The predicted velocity and pressure profiles agree nearly quantitatively with CFD simulated values. Our theoretical approach has certain advantages over the known similarity solution proposed by James (1991. A.I.Ch.E. Journal 37, 59-64).     

The application of explicit Nyström methods to singular second order differential equations

An important class of singular second order initial value problems is y″ + (2/x)y′+f(x,y) = 0, 0 < x < x_f, y(0) = a, y′(0) = 0; this class includes, for example, the well-known singular equations of Emden and Liouville. The purpos of this paper is to show the interesting result that explicit Nyström methods, existing for the direct integration of special second order regular initial value problems, can be used for the integration of this class of singular initial value problems and the methods show their proper respective orders of convergence. This is justified mathematically and demonstrated computationally.     

Indentation studies on two-phase bicrystals of alpha-beta brass with various phase boundary geometries

Indentation studies were carried out on a two-phase model system of alpha-beta brass so as to understand the role of phase boundary on the propagation of deformation. Unlike in the case of uniaxial loading, the phase boundary acts as a very effective barrier for slip propagation, irrespective of its geometry.