Constitutive Equations of Rock with Shear Dilatancy
1975-04-01
AD-AOll 402 CONSTITUTIVE EQUATIONS OF ROCK WITH SHEAR DILATANCY Alfred M. Freudenthal George Washington University Prepared for: Army Research...Freudenthal April 1975 U.S. Army Research Office - Durham Grant No. DA-ARO-D-31-124-73-G194 The George Washington University School of Engineering and...diagonalizes the matrix [A]. The Hamilton- Cayley theorem,which states that a symetric matrix satisfies its own characteristic equation, transforms Eq.(2.2
Towards constitutive equations for the deep Earth
Kennett, B. L. N.
2017-09-01
A new formulation of constitutive equations for states of high compression is introduced for isotropic media, exploiting a separation between hydrostatic and deviatoric components in strain energy. The strain energy is represented as functions of strain invariants, with one purely volumetric component and the other which vanishes for purely hydrostatic deformation. This approach preserves the form of familiar equations of state through the volumetric component, but allows the addition of volume and pressure dependence of the shear modulus from the deviatoric term. A suitable shear modulus representation to accompany a Keane equation of state is demonstrated.
Thermodynamic restrictions on the constitutive equations of electromagnetic theory
Coleman, B. D.; Dill, E. H.
1971-01-01
Thermodynamics second law restrictions on constitutive equations of electromagnetic theory for nonlinear materials with long-range gradually fading memory, considering dissipation principle consequences
Verifying Holstein heifer heart girth to body weight prediction equations
The estimation of Holstein heifer body weight (BW) from heart girth (HG) measurements is needed as many farms do not have animal scales to make the management decisions that require BW. The correlation between HG and BW is known to vary with differing animal conformation. The previous equation to co...
Constitutive equation for polymer networks with phonon fluctuations
DEFF Research Database (Denmark)
Hansen, Rasmus; Skov, Anne Ladegaard; Hassager, Ole
2008-01-01
Recent research by Xing [Phys. Rev. Lett. 98, 075502 (2007)] has provided an expression for the Helmholtz free energy related to phonon fluctuations in polymer networks. We extend this result by constructing the corresponding nonlinear constitutive equation, usable for entirely general, volume...
Constitutive equation and microstructure evaluation of an extruded aluminum alloy
Directory of Open Access Journals (Sweden)
Saravanan L
2016-01-01
Full Text Available The flow-stress behavior of an extruded aluminum alloy has been studied by conducting a set of warm and hot compression tests. The compression tests were carried out in the temperature range of 373 K–773 K and strain rates of 0.001, 0.01 and 0.1 s−1, up to a strain of 0.5. Based on the results obtained from these tests, a mathematical model was obtained to predict flow stress for a given strain. The effect of temperature and strain rate on deformation behavior was ascertained by determining the Zener–Hollomon parameter. The influence of strain has been incorporated by employing an Arrhenius-type constitutive equation, considering the related material constants as functions of strain. The comparison of results indicated good agreement between the predicted and measured flow-stress values in the relevant temperature range. The correlation coefficient and average absolute relative error of the model were found to be 0.9965 and 4.26% respectively confirming good accuracy.
An, Lili; Xu, Qiang; Xu, Donglai; Lu, Zhongyu
2012-01-01
This conference paper presents the current research of preliminary analysing of experimental data for the development of high Cr Alloy Creep damage Constitutive Equations (such as P91 alloy). Firstly, it briefly introduces the background of general creep deformation, rupture and continuum damage mechanics. Secondly, it illustrates the constitutive equations used for P91 alloy or its weldment, especially of the form and deficiencies of two kinds of most widely used typical creep damage constit...
African Journals Online (AJOL)
eliasn
1 Hilaire Barnett, Constitutional and Administrative Law 5 (London: Cavendish ... 3(2) Mizan Law Rev. NOTES ON CONSTITUTIONALISM. 359 independent judiciary, respect for individual rights and the right to self- determination as essential ..... “Our principle is the party commands the gun, and the gun must never be.
On Eulerian constitutive equations for modeling growth and residual stresses in arteries.
Volokh, K Y
2005-06-01
Recently Volokh and Lev (2005) argued that residual stresses could appear in growing arteries because of the arterial anisotropy. This conclusion emerged from a continuum mechanics theory of growth of soft biological tissues proposed by the authors. This theory included Lagrangian constitutive equations, which were formulated directly with respect to the reference configuration. Alternatively, it is possible to formulate Eulerian constitutive equations with respect to the current configuration and to 'pull them back' to the reference configuration. Such possibility is examined in the present work. The Eulerian formulation of the constitutive equations is used for a study of arterial growth. It is shown, particularly, that bending resultants are developed in the ring cross-section of the artery. These resultants may cause the ring opening or closing after cutting the artery in vitro as it is observed in experiments. It is remarkable that the results of the present study, based on the Eulerian constitutive equations, are very similar to the results of Volokh and Lev (2005), based on the Lagrangian constitutive equations. This strengthens the authors' argument that anisotropy is a possible reason for accumulation of residual stresses in arteries. This argument appears to be invariant with respect to the mathematical description.
Analysis of a microcrack model and constitutive equations for time-dependent dilatancy of rocks
Chen, Zuan
2003-11-01
Based on experimental observations and theoretical analyses, the author introduces an ideal microcrack model in which an array of cracks with the same shape and initial size is distributed evenly in rocks. The mechanism of creep dilatancy for rocks is analysed theoretically. Initiation, propagation and linkage of pre-existing microcracks during creep are well described. Also, the relationship between the velocity of microcrack growth and the duration of the creep process is derived numerically. The relationship agrees well with the character of typical experimental creep curves, and includes three stages of creep. Then the damage constitutive equations and damage evolution equations, which describe the dilatant behaviour of rocks, are presented. Because the dilatant estimated value is taken as the damage variable, the relationship between the microscopic model and the macroscopic constitutive equations is established. In this way the mechanical behaviour of rocks can be predicted.
Use of SHPB tests for incorporating a compaction constitutive equation within a two-phase model
Weckert, S. A.; Resnyansky, A. D.
2017-06-01
The well-known Split Hopkinson Pressure Bar (SHPB) set-up is used for analysis of compaction of calcite sand samples within a gauge instrumented confinement. A two-phase material model, used previously for simulation of sand behaviour under extreme shock loading, requires a constitutive equation for a parameter responsible for the compaction response within a non-equilibrium loading path tending to the solid Hugoniot. A mathematical formulation approximating the present experimental set-up is suggested and used for inverse adjustment of parameters in the constitutive equation. This equation determined from the SHPB tests and incorporated in the two-phase model is used for description of the behaviour of explosively driven sand with the help of the CTH shock physics code. Comparison with available independent experiments shows a good agreement.
Diaz, Manuel I.; Aquino, Wilkins; Bonnet, Marc
2015-01-01
This paper presents a methodology for the inverse identification of linearly viscoelastic material parameters in the context of steady-state dynamics using interior data. The inverse problem of viscoelasticity imaging is solved by minimizing a modified error in constitutive equation (MECE) functional, subject to the conservation of linear momentum. The treatment is applicable to configurations where boundary conditions may be partially or completely underspecified. The MECE functional measures the discrepancy in the constitutive equations that connect kinematically admissible strains and dynamically admissible stresses, and also incorporates the measurement data in a quadratic penalty term. Regularization of the problem is achieved through a penalty parameter in combination with the discrepancy principle due to Morozov. Numerical results demonstrate the robust performance of the method in situations where the available measurement data is incomplete and corrupted by noise of varying levels. PMID:26388656
Energy Technology Data Exchange (ETDEWEB)
Beliaev, J.; Trunov, N.; Tschekin, I. [OKB Gidropress (Russian Federation); Luther, W. [GRS Garching (Germany); Spolitak, S. [RNC-KI (Russian Federation)
1995-12-31
Currently the ATHLET code is widely applied for modelling of several Power Plants of WWER type with horizontal steam generators. A main drawback of all these applications is the insufficient verification of the models for the steam generator. This paper presents the nodalization schemes for the secondary side of the steam generator, the results of stationary calculations, and preliminary comparisons to experimental data. The consideration of circulation in the water inventory of the secondary side is proved to be necessary. (orig.). 3 refs.
A generalized constitutive equation for creep of polymers at multiaxial loading
Altenbach, H.; Altenbach, J.; Zolochevsky, A.
1996-11-01
This paper introduced a unified formulation for generalized deformation models including load dependent effects (2nd order effects). It is given in more detail for stationary creep of isotropic, orthotropic, and anisotropic material behavior. A further generalization of the introduced 6-parameter constitutive equation is possible by coupling creep and damage. These generalizations include the classical theory of creep damage [13]. The proof of the proposed theory is given in [20-22] for special cases with a reduced number of material parameters. The results of calculations show a good agreement with results from multiaxial tests.
Directory of Open Access Journals (Sweden)
Minárová Mária
2014-12-01
Full Text Available The paper deals with rheological models and creep and relaxation tests on matters which are represented by models. Three models based on two fundamental components (Hooke’s elastic and Newton’s viscous compounds are performed. The models originated from several fundamental matters by their parallel or serial connections. The corresponding constitutive equations are derived. The behavior of the models under the creep and relaxation tests is observed and is expressed by corresponding stress - strain formulas and illustrated in the figures.
Constitutive equations for energy balance evaluation in metals under inelastic deformation
Kostina, A.; Plekhov, O.; Venkatraman, B.
2017-12-01
The work is devoted to the development of constitutive equations for energy balance evaluation in plastically deformed metals. The evolution of the defect system is described by a previously obtained model based on the Boltzmann-Gibbs statistics. In the framework of this model, a collective behavior of mesodefect ensembles is taken into account by the introduction of an internal variable representing additional structural strain. This parameter enables the partition of plastic work into dissipated heat and stored energy. The proposed model is applied to energy balance calculation in a Ti-1Al-1Mn specimen subjected to cyclic loading. Simulation results have shown that the model is able to describe an upward trend in the stored energy value with the increase in the load ratio.
Florentin, Eric; Lubineau, Gilles
2010-09-01
Today, the identification of material model parameters is based more and more on full-field measurements. This article explains how an appropriate use of the constitutive equation gap method (CEGM) can help in this context. The CEGM is a well-known concept which, until now, has been used mainly for the verification of finite element simulations. This has led to many developments, especially concerning the techniques for constructing statically admissible stress fields. The originality of the present study resides in the application of these recent developments to the identification problem. The proposed CEGM is described in detail, then evaluated through the identification of heterogeneous isotropic elastic properties. The results obtained are systematically compared with those of the equilibrium gap method, which is a well-known technique for the resolution of such identification problems. We prove that the use of the enhanced CEGM significantly improves the quality of the results.
Florentin, Éric
2010-04-23
Today, the identification ofmaterialmodel parameters is based more and more on full-field measurements. This article explains how an appropriate use of the constitutive equation gap method (CEGM) can help in this context. The CEGM is a well-known concept which, until now, has been used mainly for the verification of finite element simulations. This has led to many developments, especially concerning the techniques for constructing statically admissible stress fields. The originality of the present study resides in the application of these recent developments to the identification problem. The proposed CEGM is described in detail, then evaluated through the identification of heterogeneous isotropic elastic properties. The results obtained are systematically compared with those of the equilibrium gap method, which is a well-known technique for the resolution of such identification problems. We prove that the use of the enhanced CEGM significantly improves the quality of the results. © Springer-Verlag 2010.
Vidal-Sallé, Emmanuelle; Chassagne, Pierre
2007-06-01
This paper presents a nonlinear viscoelastic orthotropic constitutive equation applied to wood material. The proposed model takes into account mechanical and mechanosorptive creep via a 3D stress ratio and moisture change rate for a cylindrical orthotropic material. Orthotropic frame is based on the grain direction (L), radial (R) and hoop (T) directions, which are natural wood directions. Particular attention is taken to ensure the model to fulfill the necessary dissipation conditions. It is based on a rheological generalized Maxwell model with two elements in parallel in addition with a single linear spring taking into account the long term response. The proposed model is implemented in the finite element code ABAQUS/Standard® via a user subroutine UMAT and simple example is shown to demonstrate the capability of the proposed model. Future works would deal with damage and fracture prediction for wooden structures submitted to climate variations and mechanical loading.
Florentin, Éric
2011-08-09
The constitutive equation gap method (CEGM) is a well-known concept which, until now, has been used mainly for the verification of finite element simulations. Recently, CEGM-based functional has been proposed to identify local elastic parameters based on experimental full-field measurement. From a technical point of view, this approach requires to quickly describe a space of statically admissible stress fields. We present here the technical insights, inspired from previous works in verification, that leads to the construction of such a space. Then, the identification strategy is implemented and the obtained results are compared with the actual material parameters for numerically generated benchmarks. The quality of the identification technique is demonstrated that makes it a valuable tool for interactive design as a way to validate local material properties. © 2011 Springer-Verlag.
Abdullah A. Al-Juaid; Ramzi Othman
2016-01-01
The main focus of this paper is in evaluating four constitutive relations which model the strain rate dependency of polymers yield stress. Namely, the two-term power-law, the Ree-Eyring, the cooperative, and the newly modified-Eyring equations are used to fit tensile and compression yield stresses of polycarbonate, which are obtained from the literature. The four equations give good agreement with the experimental data. Despite using only three material constants, the modified-Eyring equation...
Meghdari, Ali
Theoretical techniques have been developed to determine the tip positional errors of statically loaded flexible manipulators for any position and orientation. Two different approaches were taken in the analysis of flexible components of manipulator arms. One of which employs the strain energy invariance principle with respect to the elemental and the system reference coordinate frames in conjunction with the differential equations used in the classical beam theory to derive the desired combined flexural-joint stiffness matrix of the robotic structure. The second approach takes advantage of the (4 by 4) Denavit-Hartenberg homogeneous transformations to describe the kinematics of light weight flexible robotic arms under static loading. These methods are general in the sense that they may be applied to n-axis flexible manipulator arms. However, to simplify the derivations without deteriorating the techniques, only models of two link manipulator arms with flexible members are considered. To verify performance, these methods are simulated on an 11/780 Vax computer. Furthermore, sample of a two link motor arm were designed and constructed where the comparison between experimental and the theoretical results is quite satisfactory. The deformational inaccuracies of a current (so called rigid) manipulator such as the PUMA 560 robot is also examined and definite elastic deformation trends have been observed and discussed.
Rheological behavior and constitutive equations of heterogeneous titanium-bearing molten slag
Jiang, Tao; Liao, De-ming; Zhou, Mi; Zhang, Qiao-yi; Yue, Hong-rui; Yang, Song-tao; Duan, Pei-ning; Xue, Xiang-xin
2015-08-01
Experimental studies on the rheological properties of a CaO-SiO2-Al2O3-MgO-TiO2-(TiC) blast furnace (BF) slag system were conducted using a high-temperature rheometer to reveal the non-Newtonian behavior of heterogeneous titanium-bearing molten slag. By measuring the relationships among the viscosity, the shear stress and the shear rate of molten slags with different TiC contents at different temperatures, the rheological constitutive equations were established along with the rheological parameters; in addition, the non-Newtonian fluid types of the molten slags were determined. The results indicated that, with increasing TiC content, the viscosity of the molten slag tended to increase. If the TiC content was less than 2wt%, the molten slag exhibited the Newtonian fluid behavior when the temperature was higher than the critical viscosity temperature of the molten slag. In contrast, the molten slag exhibited the non-Newtonian pseudoplastic fluid characteristic and the shear thinning behavior when the temperature was less than the critical viscosity temperature. However, if the TiC content exceeded 4wt%, the molten slag produced the yield stress and exhibited the Bingham and plastic pseudoplastic fluid behaviors when the temperature was higher and lower than the critical viscosity temperature, respectively. When the TiC content increased further, the yield stress of the molten slag increased and the shear thinning phenomenon became more obvious.
Directory of Open Access Journals (Sweden)
Yoshimoto Akifumi
2015-01-01
Full Text Available These days, polymer foams, such as polyurethane foam and polystyrene foam, are used in various situations as a thermal insulator or shock absorber. In general, however, their strength is insufficient in high temperature environments because of their low glass transition temperature. Polyimide is a polymer which has a higher glass transition temperature and high strength. Its mechanical properties do not vary greatly, even in low temperature environments. Therefore, polyimide foam is expected to be used in the aerospace industry. Thus, the constitutive equation of polyimide foam that can be applied across a wide range of strain rates and ambient temperature is very useful. In this study, a series of compression tests at various strain rates, from 10−3 to 103 s−1 were carried out in order to examine the effect of strain rate on the compressive properties of polyimide foam. The flow stress of polyimide foam increased rapidly at dynamic strain rates. The effect of ambient temperature on the properties of polyimide foam was also investigated at temperature from − 190 °C to 270°∘C. The flow stress decreased with increasing temperature.
Advancing towards constitutive equations for the metal industry via the LEDS theory
Kuhlmann-Wilsdorf, Doris
2004-02-01
A prime objective in the development of crystal dislocation theory has been, and at any rate should be, constitutive equations for practical use in the metal forming industry. Protracted controversies regarding workhardening theory have frustrated this goal for the past seven decades. They are fueled by the paradox that plastic deformation is a prime example for the second law of thermodynamics in converting mechanical work into heat with good efficiency, even while in seeming opposition to the second law it typically raises the internal energy of the deformed material. The low-energy dislocation structures (LEDS) theory resolves this difficulty by showing that, as always in inanimate nature, so also plastic deformation proceeds close to minimum free energy. Indeed recent evidence based on deformation band structures proves that plastic deformation typically proceeds very close to minimum energy among the accessible configurations. While plastic strain raises the flow stress, in ductile crystalline materials mostly through generating dislocation structures, but also through twins, kink bands, microcracks and others, Newton’s third law, i.e., force equilibrium, is always stringently obeyed. Therefore, deformation dislocation structures are in thermal equilibrium as long as the stress that generated them remains in place. Based on this concept of free energy minimization, the LEDS theory has long since explained, at least semiquantitatively, all significant aspects of metal strength and deformation, as well as the effects of heat treatments. The LEDS theory is the special case, namely, as pertaining to dislocation structures, of the more general low-energy structures (LEDS) theory that governs all types of deformation independent of the deformation mechanism, and that operates in all types of materials, including plastics.
Kari, Leif
2017-09-01
The constitutive equations of chemically and physically ageing rubber in the audible frequency range are modelled as a function of ageing temperature, ageing time, actual temperature, time and frequency. The constitutive equations are derived by assuming nearly incompressible material with elastic spherical response and viscoelastic deviatoric response, using Mittag-Leffler relaxation function of fractional derivative type, the main advantage being the minimum material parameters needed to successfully fit experimental data over a broad frequency range. The material is furthermore assumed essentially entropic and thermo-mechanically simple while using a modified William-Landel-Ferry shift function to take into account temperature dependence and physical ageing, with fractional free volume evolution modelled by a nonlinear, fractional differential equation with relaxation time identical to that of the stress response and related to the fractional free volume by Doolittle equation. Physical ageing is a reversible ageing process, including trapping and freeing of polymer chain ends, polymer chain reorganizations and free volume changes. In contrast, chemical ageing is an irreversible process, mainly attributed to oxygen reaction with polymer network either damaging the network by scission or reformation of new polymer links. The chemical ageing is modelled by inner variables that are determined by inner fractional evolution equations. Finally, the model parameters are fitted to measurements results of natural rubber over a broad audible frequency range, and various parameter studies are performed including comparison with results obtained by ordinary, non-fractional ageing evolution differential equations.
Directory of Open Access Journals (Sweden)
Abdullah A. Al-Juaid
2016-01-01
Full Text Available The main focus of this paper is in evaluating four constitutive relations which model the strain rate dependency of polymers yield stress. Namely, the two-term power-law, the Ree-Eyring, the cooperative, and the newly modified-Eyring equations are used to fit tensile and compression yield stresses of polycarbonate, which are obtained from the literature. The four equations give good agreement with the experimental data. Despite using only three material constants, the modified-Eyring equation, which considers a strain rate-dependent activation volume, gives slightly worse fit than the three other equations. The two-term power-law and the cooperative equation predict a progressive increase in the strain rate sensitivity of the yield stress. Oppositely, the Ree-Eyring and the modified-Eyring equations show a clear transition between the low and high strain rate ranges. Namely, they predict a linear dependency of the yield stress in terms of the strain rate at the low strain rate range. Crossing a threshold strain rate, the yield stress sensitivity sharply increases as the strain rate increases. Hence, two different behaviors were observed though the four equations fit well the experimental data. More experimental data, mainly at the intermediate strain rate range, are needed to conclude which, of the two behaviors, is more appropriate for polymers.
Duffy, Thomas S.; Ahrens, Thomas J.
1995-01-01
Wave profile and equation of state (EOS) data are reported for low-porosity polycrystalline magnesium oxide under shock compression. The Hugoniot equation of state between 14 and 133 GPa is U_S = 6.87(10) + 1.24(4)u_p, where the numbers in parentheses are one standard deviation uncertainties in the last digit(s). Reverse-impact wave profiles constrain the compressional sound velocity, V_p, at 10–27 GPa to ±2%. Measured V_p values are consistent with ultrasonic data extrapolated from 3 GPa. By...
Solving differential equations with unknown constitutive relations as recurrent neural networks
Energy Technology Data Exchange (ETDEWEB)
Hagge, Tobias J.; Stinis, Panagiotis; Yeung, Enoch H.; Tartakovsky, Alexandre M.
2017-12-08
We solve a system of ordinary differential equations with an unknown functional form of a sink (reaction rate) term. We assume that the measurements (time series) of state variables are partially available, and use a recurrent neural network to “learn” the reaction rate from this data. This is achieved by including discretized ordinary differential equations as part of a recurrent neural network training problem. We extend TensorFlow’s recurrent neural network architecture to create a simple but scalable and effective solver for the unknown functions, and apply it to a fedbatch bioreactor simulation problem. Use of techniques from recent deep learning literature enables training of functions with behavior manifesting over thousands of time steps. Our networks are structurally similar to recurrent neural networks, but differ in purpose, and require modified training strategies.
Revil, A.
2017-05-01
I developed a model of cross-coupled flow in partially saturated porous media based on electrokinetic coupling including the effect of ion filtration (normal and reverse osmosis) and the multi-component nature of the pore water (wetting) phase. The model also handles diffusion and membrane polarization but is valid only for saturations above the irreducible water saturation. I start with the local Nernst-Planck and Stokes equations and I use a volume-averaging procedure to obtain the generalized Ohm, Fick, and Darcy equations with cross-coupling terms at the scale of a representative elementary volume of the porous rock. These coupling terms obey Onsager's reciprocity, which is a required condition, at the macroscale, to keep the total dissipation function of the system positive. Rather than writing the electrokinetic terms in terms of zeta potential (the double layer electrical potential on the slipping plane located in the pore water), I developed the model in terms of an effective charge density dragged by the flow of the pore water. This effective charge density is found to be strongly controlled by the permeability and the water saturation. I also developed an electrical conductivity equation including the effect of saturation on both bulk and surface conductivities, the surface conductivity being associated with electromigration in the electrical diffuse layer coating the grains. This surface conductivity depends on the CEC of the porous material.
Warner, James E.; Diaz, Manuel I.; Aquino, Wilkins; Bonnet, Marc
2014-09-01
This work focuses on the identification of heterogeneous linear elastic moduli in the context of frequency-domain, coupled acoustic-structure interaction (ASI), using either solid displacement or fluid pressure measurement data. The approach postulates the inverse problem as an optimization problem where the solution is obtained by minimizing a modified error in constitutive equation (MECE) functional. The latter measures the discrepancy in the constitutive equations that connect kinematically admissible strains and dynamically admissible stresses, while incorporating the measurement data as additional quadratic error terms. We demonstrate two strategies for selecting the MECE weighting coefficient to produce regularized solutions to the ill-posed identification problem: 1) the discrepancy principle of Morozov, and 2) an error-balance approach that selects the weight parameter as the minimizer of another functional involving the ECE and the data misfit. Numerical results demonstrate that the proposed methodology can successfully recover elastic parameters in 2D and 3D ASI systems from response measurements taken in either the solid or fluid subdomains. Furthermore, both regularization strategies are shown to produce accurate reconstructions when the measurement data is polluted with noise. The discrepancy principle is shown to produce nearly optimal solutions, while the error-balance approach, although not optimal, remains effective and does not need a priori information on the noise level.
Constitutive equations of a ballistic steel alloy as a function of temperature
Directory of Open Access Journals (Sweden)
Coghe F.
2012-08-01
Full Text Available In the present work, dynamic tests have been performed on a new ballistic steel alloy by means of split Hopkinson pressure bars (SHPB. The impact behavior was investigated for strain rates ranging from 1000 to 2500 s−1, and temperatures in the range from − 196 to 300∘C. A robotized sample device was developed for transferring the sample from the heating or cooling device to the position between the bars. Simulations of the temperature evolution and its distribution in the specimen were performed using the finite element method. Measurements with thermocouples added inside the sample were carried out in order to validate the FEM simulations. The results show that a thermal gradient is present inside the sample; the average temperature loss during the manipulation of the sample is evaluated. In a last stage, optimal material constants for different constitutive models (Johnson-Cook, Zerilli-Amstrong, Cowper-Symonds has been computed by fitting, in a least square sense, the numerical and experimental stress-strain curves. They have been implemented in a hydrocode for validation using a simple impact problem: an adapted projectile geometry with a truncated nose (.50 calibre fragment simulating projectiles was fired directly against an armor plate. The parameters of the selected strength and failure models were determined. There is a good correspondence between the experimental and computed results. Nevertheless, an improved failure model is necessary to get satisfactory computed residual projectile velocities.
Banerjee, Biswanath; Walsh, Timothy F.; Aquino, Wilkins; Bonnet, Marc
2012-01-01
This paper presents the formulation and implementation of an Error in Constitutive Equations (ECE) method suitable for large-scale inverse identification of linear elastic material properties in the context of steady-state elastodynamics. In ECE-based methods, the inverse problem is postulated as an optimization problem in which the cost functional measures the discrepancy in the constitutive equations that connect kinematically admissible strains and dynamically admissible stresses. Furthermore, in a more recent modality of this methodology introduced by Feissel and Allix (2007), referred to as the Modified ECE (MECE), the measured data is incorporated into the formulation as a quadratic penalty term. We show that a simple and efficient continuation scheme for the penalty term, suggested by the theory of quadratic penalty methods, can significantly accelerate the convergence of the MECE algorithm. Furthermore, a (block) successive over-relaxation (SOR) technique is introduced, enabling the use of existing parallel finite element codes with minimal modification to solve the coupled system of equations that arises from the optimality conditions in MECE methods. Our numerical results demonstrate that the proposed methodology can successfully reconstruct the spatial distribution of elastic material parameters from partial and noisy measurements in as few as ten iterations in a 2D example and fifty in a 3D example. We show (through numerical experiments) that the proposed continuation scheme can improve the rate of convergence of MECE methods by at least an order of magnitude versus the alternative of using a fixed penalty parameter. Furthermore, the proposed block SOR strategy coupled with existing parallel solvers produces a computationally efficient MECE method that can be used for large scale materials identification problems, as demonstrated on a 3D example involving about 400,000 unknown moduli. Finally, our numerical results suggest that the proposed MECE
Oya, T.; Yanagimoto, J.; Ito, K.; Uemura, G.; Mori, N.
2017-09-01
In metal forming, progress in material models is required to construct a general and reliable fracture prediction framework because of the increased use of advanced materials and growing demand for higher prediction accuracy. In this study, a fracture prediction framework based on bifurcation theory is constructed. A novel material model based on the stress-rate dependence related to a non-associated flow rule is presented. This model is based on a non-associated flow rule with an arbitrary higher-order yield function and a plastic potential function for any anisotropic material. This formulation is combined with the stress-rate-dependent plastic constitutive equation, which is known as the Ito-Goya rule, to construct a generalized plastic constitutive model in which non-normality and non-associativity are reasonably included. Then, by adopting three-dimensional bifurcation theory, which is referred to the 3D theory, a new theoretical framework for fracture prediction based on the initiation of a shear band is constructed. Using virtual material data, a numerical simulation is carried out to produce a fracture limit diagram, which is used to investigate the characteristics of the proposed methodology.
Xu, Qiang; Lu, Zhongyu; Wang, Xue
2017-01-01
This paper reviews the fundamentals of the development of creep damage constitutive equations for high Cr steels including (1) a concise summary of the characteristics of creep deformation and creep damage evolution and their dependence on the stress level and the importance of cavitation for the final fracture; (2) a critical review of the state of art of creep damage equation for high Cr steels; (3) some discussion and comments on the various approaches; (4) consideration and suggestion for...
Verifying the Hanging Chain Model
Karls, Michael A.
2013-01-01
The wave equation with variable tension is a classic partial differential equation that can be used to describe the horizontal displacements of a vertical hanging chain with one end fixed and the other end free to move. Using a web camera and TRACKER software to record displacement data from a vibrating hanging chain, we verify a modified version…
DEFF Research Database (Denmark)
Sales-Cruz, Mauricio; Piccolo, Chiara; Heitzig, Martina
2011-01-01
This chapter presents various types of constitutive models and their applications. There are 3 aspects dealt with in this chapter, namely: creation and solution of property models, the application of parameter estimation and finally application examples of constitutive models. A systematic...... procedure is introduced for the analysis and solution of property models. Models that capture and represent the temperature dependent behaviour of physical properties are introduced, as well as equation of state models (EOS) such as the SRK EOS. Modelling of liquid phase activity coefficients are also...... covered, illustrating several models such as the Wilson equation and NRTL equation, along with their solution strategies. A section shows how to use experimental data to regress the property model parameters using a least squares approach. A full model analysis is applied in each example that discusses...
Leveuf, Louis; Navrátil, Libor; Le Saux, Vincent; Marco, Yann; Olhagaray, Jérôme; Leclercq, Sylvain
2018-01-01
A constitutive model for the cyclic behaviour of short carbon fibre-reinforced thermoplastics for aeronautical applications is proposed. First, an extended experimental database is generated in order to highlight the specificities of the studied material. This database is composed of complex tests and is used to design a relevant constitutive model able to capture the cyclic behaviour of the material. A general 3D formulation of the model is then proposed, and an identification strategy is defined to identify its parameters. Finally, a validation of the identification is performed by challenging the prediction of the model to the tests that were not used for the identification. An excellent agreement between the numerical results and the experimental data is observed revealing the capabilities of the model.
Directory of Open Access Journals (Sweden)
Jianliang He
2017-10-01
Full Text Available The deformation behavior of homogenized Al–7.5Zn–1.5Mg–0.2Cu–0.2Zr alloy has been studied by a set of isothermal hot compression tests, which were carried out over the temperature ranging from 350 °C to 450 °C and the strain rate ranging from 0.001 s−1 to 10 s−1 on Gleeble-3500 thermal simulation machine. The associated microstructure was studied using electron back scattered diffraction (EBSD and transmission electron microscopy (TEM. The results showed that the flow stress is sensitive to strain rate and deformation temperature. The shape of true stress-strain curves obtained at a low strain rate (≤0.1 s−1 conditions shows the characteristic of dynamic recrystallization (DRX. Two Arrhenius-typed constitutive equation without and with strain compensation were established based on the true stress-strain curves. Constitutive equation with strain compensation has more precise predictability. The main softening mechanism of the studied alloy is dynamic recovery (DRV accompanied with DRX, particularly at deformation conditions, with low Zener-Holloman parameters.
Directory of Open Access Journals (Sweden)
Jana Zelenkova
2017-06-01
Full Text Available The exponential Phan–Tien and Tanner (PTT, Giesekus, Leonov, and modified extended Pom–Pom (mXPP differential constitutive models are evaluated in two ways: with regard to steady shear characteristics and with regard to large amplitude oscillatory shear characteristics of a solution of poly(ethylene oxide in dimethyl sulfoxide. Efficiency of the models with nonlinear parameters optimized with respect to steady shear measurements is evaluated by their ability to describe large amplitude oscillatory shear (LAOS characteristics. The reciprocal problem is also analyzed: The nonlinear parameters are optimized with respect to the LAOS measurements, and the models are confronted with the steady shear characteristics. In this case, optimization is based on the LAOS measurements and equal emphasis is placed on both real and imaginary parts of the stress amplitude. The results show that the chosen models are not adequately able to fit the LAOS characteristics if the optimization of nonlinear parameters is based on steady shear measurements. It follows that the optimization of nonlinear parameters is much more responsible if it is carried out with respect to the LAOS data. In this case, when the optimized parameters are used for a description of steady shear characteristics, efficiency of the individual models as documented differs.
Bae, Jung-Eun; Cho, Kwang Soo
2017-09-01
Shear stress of Large Amplitude Oscillatory Shear (LAOS) is known to be decomposed to elastic and viscous stresses. According to the parity of normal stress with respect to shear strain and shear rate, it also can be mathematically decomposed into two parts: NEE (even symmetry part for both strain and strain rate) and NOO (odd symmetry part for both shear strain and shear rate). However, the physical meaning of the decomposed normal stress is questionable. This paper is to prove the conjecture that NEE is elastic and NOO is viscous under the condition of time-strain separability. For the purpose of the proof, we developed mathematical tools for the analytical solutions of LAOS. We applied the mathematical methods to some popularly used constitutive equations such as the convected Maxwell models, the separable Kaye-Bernstein-Kearsley-Zepas (K-BKZ) model, the Giesekus model, and the Phan-Thien and Tanner model.
Externally Verifiable Oblivious RAM
Directory of Open Access Journals (Sweden)
Gancher Joshua
2017-04-01
Full Text Available We present the idea of externally verifiable oblivious RAM (ORAM. Our goal is to allow a client and server carrying out an ORAM protocol to have disputes adjudicated by a third party, allowing for the enforcement of penalties against an unreliable or malicious server. We give a security definition that guarantees protection not only against a malicious server but also against a client making false accusations. We then give modifications of the Path ORAM [15] and Ring ORAM [9] protocols that meet this security definition. These protocols both have the same asymptotic runtimes as the semi-honest original versions and require the external verifier to be involved only when the client or server deviates from the protocol. Finally, we implement externally verified ORAM, along with an automated cryptocurrency contract to use as the external verifier.
Xu, Qiang; Barrans, Simon
Within the framework of a phenomenological approach a set of multi-axial creep damage constitutive equations for 0.5Cr0.5Mo0.25V ferritic steel at 590°C is developed in which a new formulation is employed. The deficiency of the previous formulation and the need for improvement became apparent after a critical review of the development of creep damage constitutive equations for 316 stainless steel(1). The need for improvement was further underpinned by a call for modification of the constitutive equations(36). Recently, a specific formulation was proposed and validated(2)-(4). This paper reports the latest developments of the multi-axial creep constitutive equations for 0.5Cr0.5Mo0.25V ferritic steel at 590°C including: 1) the fundamental requirement; 2) formulation; 3) validation; and 4) conclusion. It systematically shows the suitability of this new set of constitutive equations and the incapability of the previous ones. Furthermore, it contributes knowledge to the methodology.
Ryan, Peter; Benaloh, Josh; Teague, Vanessa
2013-01-01
This proposal aims to combine the best properties of paper-based and end-to-end verifiable remote voting systems. Ballots are delivered electronically to voters, who return their votes on paper together with some cryptographic information that allows them to verify later that their votes were correctly included and counted. We emphasise the ease of the voter's experience, which is not much harder than basic electronic delivery and postal returns. A typical voter needs only to perform a simple...
Sui, Dashan; Wang, Tao; Zhu, Lingling; Gao, Liang; Cui, Zhenshan
2016-11-01
The hot deformation behavior and hot workability characteristics of as-cast SA508-3 steel were studied by modeling the constitutive equations and developing hot processing maps. The isothermal compression experiments were carried out at temperatures of 950°C, 1050°C, 1150°C, and 1250°C and strain rates of 0.001 s-1, 0.01 s-1, 0.1 s-1, and 1 s-1 respectively. The two-stage flow stress models were established through the classical theories on work hardening and softening, and the solution of activation energy for hot deformation was 355.0 kJ mol-1 K-1. Based on the dynamic material model, the power dissipation and instability maps were developed separately at strains of 0.2, 0.4, 0.6 and 0.8. The power dissipation rate increases with both the increase of temperature and the decrease of strain rate, and the instable region mainly appears on the conditions of low temperature and high strain rate. The optimal hot working parameters for as-cast SA508-3 steel are 1050-1200°C/0.001-0.1 s-1, with about 25-40% peak efficiency of power dissipation.
Verifiably Truthful Mechanisms
DEFF Research Database (Denmark)
Branzei, Simina; Procaccia, Ariel D.
2015-01-01
the computational sense). Our approach involves three steps: (i) specifying the structure of mechanisms, (ii) constructing a verification algorithm, and (iii) measuring the quality of verifiably truthful mechanisms. We demonstrate this approach using a case study: approximate mechanism design without money...
Authoritarian Constitutionalism
Tushnet, Mark V.
2015-01-01
Legal scholars and political theorists interested in constitutionalism as a normative concept tend to dichotomize the subject. There is liberal constitutionalism of the sort familiar in the modern West, with core commitments to human rights and self-governance implemented by means of varying institutional devices, and there is authoritarianism, rejecting human rights entirely and governed by unconstrained power-holders. This Article explores the possibility of forms of constitutionalism other...
CONSTITUTION AND CONSTITUTIONALISM CONTEMPORARY ISSUE
Directory of Open Access Journals (Sweden)
Marius ANDREESCU
2017-05-01
Full Text Available In a democratic society, the judicial legitimacy of the state and its power, of its institutions, but also the social and political grounds are generated and determined by the Constitution, defined as expressively as possible as being: “The fundamental political and judicial settlement of a people” (I. Deleanu. The supremacy of the Constitution has as main effect the conformity of the entire system of law with the constitutional norms. Guaranteeing the compliance with this principle, essential for the state of law, is first of all an attribution of the Constitutional Court, but also an obligation of the legislative power to receive, through the adopted normative acts, in content and in form, the constitutional norms. Altering the fundamental law of a state represents a political and judicial act extremely complex with major meanings and implications for the socio-political and national systems, but also for each individual. This is why such measure should be very well justified, to answer certain socio-political and legal needs well shaped and mainly to match the principles and rules specific to a democratic constitutional and state system, by insuring its stability and functionality. These are a few aspects of the Romanian contemporary constitutionalism that this study shall critically analyse in order to differentiate between the constitutional ideal and reality.
Energy Technology Data Exchange (ETDEWEB)
Cai, Jun; Shi, Jiamin; Wang, Kuaishe; Wang, Wen; Wang, Qingjuan; Liu, Yingying [Xi' an Univ. of Architecture and Technology, Xi' an (China). School of Metallurgical Engineering; Li, Fuguo [Northwestern Polytechnical Univ., Xi' an (China). School of Materials Science and Engineering
2017-07-15
Constitutive analysis for hot working of Ti-6Al-4V alloy was carried out by using experimental stress-strain data from isothermal hot compression tests. A new kind of constitutive equation called a modified parallel constitutive model was proposed by considering the independent effects of strain, strain rate and temperature. The predicted flow stress data were compared with the experimental data. Statistical analysis was introduced to verify the validity of the developed constitutive equation. Subsequently, the accuracy of the proposed constitutive equations was evaluated by comparing with other constitutive models. The results showed that the developed modified parallel constitutive model based on multiple regression could predict flow stress of Ti-6Al-4V alloy with good correlation and generalization.
Kuznetsov, E. B.; Leonov, S. S.
2016-03-01
The strain-strength characteristics of aerostructures made of hardening materials under uniaxial tension in creep conditions are determined. The problem is reduced to a system of ordinary differential equations of the kinetic theory of creep with one scalar damage parameter. The approximate solutions of the problem are obtained with the help of the implicit Euler method and of the arc length method in combination with the explicit methods of the Runge-Kutta family for cylindrical St.45 steel samples and 3V titanium alloy plates.
Definition of Verifiable School IPM
EPA is promoting use of verifiable school IPM. This is an activity that includes several elements with documentation, including pest identification, action thresholds, monitoring, effective pest control.
Ryan, Peter; Benaloh, Josh; Rivest, Ronald; Stark, Philip; Teague, Vanessa; Vora, Poorvi
2016-01-01
This pamphlet describes end-to-end election verifiability (E2E-V) for a nontechnical audience: election officials, public policymakers, and anyone else interested in secure, transparent, evidence - based electronic elections. This work is part of the Overseas Vote Foundation’s End-to-End Verifiable Internet Voting: Specification and Feasibility Assessment Study (E2E VIV Project), funded by the Democracy Fund.
Derivation of stable Burnett equations for rarefied gas flows.
Singh, Narendra; Jadhav, Ravi Sudam; Agrawal, Amit
2017-07-01
A set of constitutive relations for the stress tensor and heat flux vector for the hydrodynamic description of rarefied gas flows is derived in this work. A phase density function consistent with Onsager's reciprocity principle and H theorem is utilized to capture nonequilibrium thermodynamics effects. The phase density function satisfies the linearized Boltzmann equation and the collision invariance property. Our formulation provides the correct value of the Prandtl number as it involves two different relaxation times for momentum and energy transport by diffusion. Generalized three-dimensional constitutive equations for different kinds of molecules are derived using the phase density function. The derived constitutive equations involve cross single derivatives of field variables such as temperature and velocity, with no higher-order derivative in higher-order terms. This is remarkable feature of the equations as the number of boundary conditions required is the same as needed for conventional Navier-Stokes equations. Linear stability analysis of the equations is performed, which shows that the derived equations are unconditionally stable. A comparison of the derived equations with existing Burnett-type equations is presented and salient features of our equations are outlined. The classic internal flow problem, force-driven compressible plane Poiseuille flow, is chosen to verify the stable Burnett equations and the results for equilibrium variables are presented.
Constitutive Equations for Damaged Creeping Materials,
1986-08-01
honorable task, and it has > " been very successfully accomplished by Argon (1982), Ashby , et al. (1979), Cocks and Ashby (1983), Frost and Ashby (1982...8217Creep Cavitation in 304 Stainless Steel,’ ,>I- Acta Metallurgica, Vol. 29, p. 1321. /" [18] Cocks , A.C.F., Ashby , M.F., (1982), ’On Creep Fracture...and many others are very important in engineering practice. A body of modeling efforts has been dominated by simplified mechanistic approaches ( Ashby
Single Integral Constitutive Equations for Viscoelastic Fluids.
1984-09-01
Danmarks Tekniske H~jskole, DV2,00 Lyngby, Denmark Sponsored by the United States Army under Contract No. DAAG29-80-C-0041 and 1 the Danish Council for...viscoelasticity related to the linear viscoelastic relaxation modulus G as follows G(t) = f M(s)ds (1.4) * t "Instituttet for Kemiteknik, Danmarks Tekniske
Verified OS Interface Code Synthesis
2016-12-01
AFRL-AFOSR-JP-TR-2017-0015 Verified OS Interface Code Synthesis Gerwin Klein NATIONAL ICT AUSTRALIA LIMITED Final Report 02/14/2017 DISTRIBUTION A...ORGANIZATION NAME(S) AND ADDRESS(ES) NATIONAL ICT AUSTRALIA LIMITED L 5 13 GARDEN ST EVELEIGH, 2015 AU 8. PERFORMING ORGANIZATION REPORT NUMBER 9...public release: distribution unlimited. 1 Introduction The central question of this project was how to ensure the correctness of Operating System (OS
Unconditionally verifiable blind quantum computation
Fitzsimons, Joseph F.; Kashefi, Elham
2017-07-01
Blind quantum computing (BQC) allows a client to have a server carry out a quantum computation for them such that the client's input, output, and computation remain private. A desirable property for any BQC protocol is verification, whereby the client can verify with high probability whether the server has followed the instructions of the protocol or if there has been some deviation resulting in a corrupted output state. A verifiable BQC protocol can be viewed as an interactive proof system leading to consequences for complexity theory. We previously proposed [A. Broadbent, J. Fitzsimons, and E. Kashefi, in Proceedings of the 50th Annual Symposium on Foundations of Computer Science, Atlanta, 2009 (IEEE, Piscataway, 2009), p. 517] a universal and unconditionally secure BQC scheme where the client only needs to be able to prepare single qubits in separable states randomly chosen from a finite set and send them to the server, who has the balance of the required quantum computational resources. In this paper we extend that protocol with additional functionality allowing blind computational basis measurements, which we use to construct another verifiable BQC protocol based on a different class of resource states. We rigorously prove that the probability of failing to detect an incorrect output is exponentially small in a security parameter, while resource overhead remains polynomial in this parameter. This resource state allows entangling gates to be performed between arbitrary pairs of logical qubits with only constant overhead. This is a significant improvement on the original scheme, which required that all computations to be performed must first be put into a nearest-neighbor form, incurring linear overhead in the number of qubits. Such an improvement has important consequences for efficiency and fault-tolerance thresholds.
Benac Earle, Clara; Fredlund, Lars-Ake; Iglesias Martínez, José Antonio; Ledezma Espino, Agapito Ismael
2009-01-01
Pocreeding of: 5th International Workshop on Model Checking and Artificial Intelligence. MOCHART-2008, Patras, Greece, july, 21st, 2008. Verification of multi-agent systems is a challenging task due to their dynamic nature, and the complex interactions between agents. An example of such a system is the RoboCup Soccer Simulator, where two teams of eleven independent agents play a game of football against each other. In the present article we attempt to verify a number of properties of RoboC...
Verifying Deadlock-Freedom of Communication Fabrics
Gotmanov, Alexander; Chatterjee, Satrajit; Kishinevsky, Michael
Avoiding message dependent deadlocks in communication fabrics is critical for modern microarchitectures. If discovered late in the design cycle, deadlocks lead to missed project deadlines and suboptimal design decisions. One approach to avoid this problem is to get high level of confidence on an early microarchitectural model. However, formal proofs of liveness even on abstract models are hard due to large number of queues and distributed control. In this work we address liveness verification of communication fabrics described in the form of high-level microarchitectural models which use a small set of well-defined primitives. We prove that under certain realistic restrictions, deadlock freedom can be reduced to unsatisfiability of a system of Boolean equations. Using this approach, we have automatically verified liveness of several non-trivial models (derived from industrial microarchitectures), where state-of-the-art model checkers failed and pen and paper proofs were either tedious or unknown.
Grzesik, W.; Niesłony, P.; Laskowski, P.
2017-10-01
In this paper, a special procedure for the prediction of parameters of the Johnson-Cook constitutive material models is proposed based on the experimental data and specially developed MATLAB scripts which allow advanced modeling of complex 3D response surfaces. Experimental investigations concern two various strain rates of 10-3 and 101 1/s and the testing temperature ranging from the ambient up to 700 °C. As a result, a set of mathematical equations which fit the experimental data is determined. The applicability of the experimentally derived constitutive models to the FEM modeling of real machining processes of Inconel 718 alloy is verified.
utilizing constitutional values in constitutional comparison
African Journals Online (AJOL)
Administrator
COMPARISON. Francois Venter. 1. Constitutional comparison. We are living in an era in which constitutional law has become a comparative science. This is not true .... inevitably followed by a search for authoritative native interpretation. Such a ..... an approach of "colour-blind" interpretation of the Constitution, allowing for.
Verifying and Validating Simulation Models
Energy Technology Data Exchange (ETDEWEB)
Hemez, Francois M. [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)
2015-02-23
This presentation is a high-level discussion of the Verification and Validation (V&V) of computational models. Definitions of V&V are given to emphasize that “validation” is never performed in a vacuum; it accounts, instead, for the current state-of-knowledge in the discipline considered. In particular comparisons between physical measurements and numerical predictions should account for their respective sources of uncertainty. The differences between error (bias), aleatoric uncertainty (randomness) and epistemic uncertainty (ignorance, lack-of- knowledge) are briefly discussed. Four types of uncertainty in physics and engineering are discussed: 1) experimental variability, 2) variability and randomness, 3) numerical uncertainty and 4) model-form uncertainty. Statistical sampling methods are available to propagate, and analyze, variability and randomness. Numerical uncertainty originates from the truncation error introduced by the discretization of partial differential equations in time and space. Model-form uncertainty is introduced by assumptions often formulated to render a complex problem more tractable and amenable to modeling and simulation. The discussion concludes with high-level guidance to assess the “credibility” of numerical simulations, which stems from the level of rigor with which these various sources of uncertainty are assessed and quantified.
Constitutional changes and the dilemmas of constitutionalism
Bačić, Arsen
2009-01-01
The need to develop constitutional mechanisms whose aim is to resolve fundamental relations in society demands the widest possible inclusion of all of society’s active participants in the discussion on the need to adopt or revise the Constitution. The opening of every new round of constitutional changes is of great importance because it always unlocks certain new and important questions. The answers to those questions should be offered by state authority (policy) and civil society including s...
Verifying design patterns in Hoare Type Theory
DEFF Research Database (Denmark)
Svendsen, Kasper; Buisse, Alexandre; Birkedal, Lars
In this technical report we document our experiments formally verifying three design patterns in Hoare Type Theory.......In this technical report we document our experiments formally verifying three design patterns in Hoare Type Theory....
USCIS E-Verify Program Reports
Department of Homeland Security — The report builds on the last comprehensive evaluation of the E-Verify Program and demonstrates that E-Verify produces accurate results and that accuracy rates have...
Verifying FreeRTOS; a feasibility study
Pronk, C.
2010-01-01
This paper presents a study on modeling and verifying the kernel of Real-Time Operating Systems (RTOS). The study will show advances in formally verifying such an RTOS both by refinement and by model checking approaches. This work fits in the context of Hoare’s verification challenge. Several real-time operating systems will be discussed including some commercial ones. The focus of the latter part of the paper will be on verifying FreeRTOS. The paper investigates a number of ways to verify th...
Software Model Checking for Verifying Distributed Algorithms
2014-10-28
2014 Carnegie Mellon University Software Model Checking for Verifying Distributed Algorithms Sagar Chaki, James Edmondson October 28, 2014...SUBTITLE Software Model Checking for Verifying Distributed Algorithms 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S...Program Software Model Checking (CBMC, BLAST etc.) Failure Success Program in Domain Specific Language Automatic verification technique for finite
Verifying FreeRTOS; a feasibility study
Pronk, C.
2010-01-01
This paper presents a study on modeling and verifying the kernel of Real-Time Operating Systems (RTOS). The study will show advances in formally verifying such an RTOS both by refinement and by model checking approaches. This work fits in the context of Hoare’s verification challenge. Several
On Verified Numerical Computations in Convex Programming
Jansson, Christian
2009-01-01
This survey contains recent developments for computing verified results of convex constrained optimization problems, with emphasis on applications. Especially, we consider the computation of verified error bounds for non-smooth convex conic optimization in the framework of functional analysis, for linear programming, and for semidefinite programming. A discussion of important problem transformations to special types of convex problems and convex relaxations is included...
37 CFR 2.33 - Verified statement.
2010-07-01
... 37 Patents, Trademarks, and Copyrights 1 2010-07-01 2010-07-01 false Verified statement. 2.33 Section 2.33 Patents, Trademarks, and Copyrights UNITED STATES PATENT AND TRADEMARK OFFICE, DEPARTMENT OF COMMERCE RULES OF PRACTICE IN TRADEMARK CASES The Written Application § 2.33 Verified statement. (a) The...
Department of Homeland Security — E-Verify is an internet based system that contains datasets to compare information from an employee's Form I-9, Employment Eligibility Verification, to data from the...
A Constitutive Model for Superelastic Shape Memory Alloys Considering the Influence of Strain Rate
Directory of Open Access Journals (Sweden)
Hui Qian
2013-01-01
Full Text Available Shape memory alloys (SMAs are a relatively new class of functional materials, exhibiting special thermomechanical behaviors, such as shape memory effect and superelasticity, which enable their applications in seismic engineering as energy dissipation devices. This paper investigates the properties of superelastic NiTi shape memory alloys, emphasizing the influence of strain rate on superelastic behavior under various strain amplitudes by cyclic tensile tests. A novel constitutive equation based on Graesser and Cozzarelli’s model is proposed to describe the strain-rate-dependent hysteretic behavior of superelastic SMAs at different strain levels. A stress variable including the influence of strain rate is introduced into Graesser and Cozzarelli’s model. To verify the effectiveness of the proposed constitutive equation, experiments on superelastic NiTi wires with different strain rates and strain levels are conducted. Numerical simulation results based on the proposed constitutive equation and experimental results are in good agreement. The findings in this paper will assist the future design of superelastic SMA-based energy dissipation devices for seismic protection of structures.
Greenhut, Stephanie; Jones, Megan
2010-01-01
On their visit to the National Archives Experience in Washington, D.C., students in Jenni Ashley and Gay Brock's U.S. history classes at the Potomac School in McLean, Virginia, participated in a pilot program called "The Constitution by Cell." Armed with their cell phones, a basic understanding of the Constitution, and a willingness to…
Interpreting the Constitution.
Brennan, William J., Jr.
1987-01-01
Discusses constitutional interpretations relating to capital punishment and protection of human dignity. Points out the document's effectiveness in creating a new society by adapting its principles to current problems and needs. Considers two views of the Constitution that lead to controversy over the legitimacy of judicial decisions. (PS)
An IBM 370 assembly language program verifier
Maurer, W. D.
1977-01-01
The paper describes a program written in SNOBOL which verifies the correctness of programs written in assembly language for the IBM 360 and 370 series of computers. The motivation for using assembly language as a source language for a program verifier was the realization that many errors in programs are caused by misunderstanding or ignorance of the characteristics of specific computers. The proof of correctness of a program written in assembly language must take these characteristics into account. The program has been compiled and is currently running at the Center for Academic and Administrative Computing of The George Washington University.
A fractal derivative constitutive model for three stages in granite creep
Directory of Open Access Journals (Sweden)
R. Wang
Full Text Available In this paper, by replacing the Newtonian dashpot with the fractal dashpot and considering damage effect, a new constitutive model is proposed in terms of time fractal derivative to describe the full creep regions of granite. The analytic solutions of the fractal derivative creep constitutive equation are derived via scaling transform. The conventional triaxial compression creep tests are performed on MTS 815 rock mechanics test system to verify the efficiency of the new model. The granite specimen is taken from Beishan site, the most potential area for the Chinaâs high-level radioactive waste repository. It is shown that the proposed fractal model can characterize the creep behavior of granite especially in accelerating stage which the classical models cannot predict. The parametric sensitivity analysis is also conducted to investigate the effects of model parameters on the creep strain of granite. Keywords: Beishan granite, Fractal derivative, Damage evolution, Scaling transformation
Firms Verify Online IDs Via Schools
Davis, Michelle R.
2008-01-01
Companies selling services to protect children and teenagers from sexual predators on the Internet have enlisted the help of schools and teachers to verify students' personal information. Those companies are also sharing some of the information with Web sites, which can pass it along to businesses for use in targeting advertising to young…
Unary self-verifying symmetric difference automata
CSIR Research Space (South Africa)
Marais, Laurette
2016-07-01
Full Text Available We investigate self-verifying nondeterministic finite automata, in the case of unary symmetric difference nondeterministic finite automata (SV-XNFA). We show that there is a family of languages Ln=2 which can always be represented non...
Constitutive modelling of sandvik 1RK91
Datta, K.; Datta, K.; Hommes, M.; Post, J.; Geijselaers, Hubertus J.M.; Huetink, Han; Beyer, J.; Onate, E; Owen, D.R.J
2003-01-01
A physically based constitutive equation is being developed for the maraging stainless steel Sandvik 1RK91. The steel is used to make precision parts. These parts are formed through multistage forming operations and heat treatments from cold rolled and annealed sheets. The specific alloy is designed
Democratic constitutions and education
Pinzani, Alessandro
2009-01-01
This essay shall analyze the idea of the possibility of education to freedom through democratic institutions and the role of the constitution in this process. The question shall not be considered from an empirical perspective, but from a theoretical perspective. In the first part democratic institutions will be defined in such a way, that it is possible to speak of democratic habit as a necessary component of democracy. The second part shall introduce a concept of State constitution that take...
Logical empiricism and the principle of verifiability
Directory of Open Access Journals (Sweden)
Zečević Svetlana D.
2014-01-01
Full Text Available This paper represents an encounter and dialogue between philosophy of language and analytic philosophy. The main aim is to present the logical empiricism of the milieu of its creation in the Vienna -Circle. Exhibited are significant points of known members of the Vienna Circle, not only on the logical empiricism as a theory and movement, but also considers its close link with the principle of verifiability, the purpose of which we list and explain the variations of the definition of verificationism as the basis of logical empiricism. In the Vienna Circle we distinguish several streams with respect of the definition of the principles of verification, and one of them proposed formulation of this principles as a theory of meaning which also require a complete verification. The second stream is leaning to the formulation of criteria for determining the meaning and they put their focus on incomplete verification. Having both pozitions in mind we are able to make distinction between criteria of adequacy and -criteria of utilitarty of the principle of verifiability. This fact implies that it is vital to determine the necessary conditions of adequacy of the principle of verifiability, which primarily reflectes in the preservation of empiricism where the main terms used in the formulation must be clear, non-ambiguous and operational.
CONSTITUTIONAL FOUNDATIONS OF JURISDICTION
Directory of Open Access Journals (Sweden)
Alexandre Jamal Batista
2016-06-01
Full Text Available At the current stage of our State of Law there is no way to separate the study of the civil procedural law from the Federal Constitution, especially the jurisdiction, because it is in the Constitution that there are the legitimizing foundations of the jurisdiction institute. In this article, we carry on about the constitutional foundations of jurisdiction, such as: the principle of natural justice, principle of access to justice, principle of impartiality, principle of publicity, principle of motivation and principle of submission to res judicata. The conclusion is, after all, that jurisdiction, as one of the bulwarks of the citizen, finds in the “Citizen Constitution” of 1988 its foundations and decisive bases.
Directory of Open Access Journals (Sweden)
Lei Zhang
Full Text Available The nitrogen-containing austenitic stainless steel 316LN has been chosen as the material for nuclear main-pipe, which is one of the key parts in 3rd generation nuclear power plants. In this research, a constitutive model of nitrogen-containing austenitic stainless steel is developed. The true stress-true strain curves obtained from isothermal hot compression tests over a wide range of temperatures (900-1250°C and strain rates (10(-3-10 s(-1, were employed to study the dynamic deformational behavior of and recrystallization in 316LN steels. The constitutive model is developed through multiple linear regressions performed on the experimental data and based on an Arrhenius-type equation and Zener-Hollomon theory. The influence of strain was incorporated in the developed constitutive equation by considering the effect of strain on the various material constants. The reliability and accuracy of the model is verified through the comparison of predicted flow stress curves and experimental curves. Possible reasons for deviation are also discussed based on the characteristics of modeling process.
Constituting children's bodily integrity.
Hill, B Jessie
2015-04-01
Children have a constitutional right to bodily integrity. Courts do not hesitate to vindicate that right when children are abused by state actors. Moreover, in at least some cases, a child's right to bodily integrity applies within the family, giving the child the right to avoid unwanted physical intrusions regardless of the parents' wishes. Nonetheless, the scope of this right vis-à-vis the parents is unclear; the extent to which it applies beyond the narrow context of abortion and contraception has been almost entirely unexplored and untheorized. This Article is the first in the legal literature to analyze the constitutional right of minors to bodily integrity within the family by spanning traditionally disparate doctrinal categories such as abortion rights; corporal punishment; medical decisionmaking; and nontherapeutic physical interventions such as tattooing, piercing, and circumcision. However, the constitutional right of minors to bodily integrity raises complex philosophical questions concerning the proper relationship between family and state, as well as difficult doctrinal and theoretical issues concerning the ever-murky idea of state action. This Article canvasses those issues with the ultimate goal of delineating a constitutional right of bodily security and autonomy for children.
Directory of Open Access Journals (Sweden)
Heinrich Schneider
2003-03-01
Full Text Available The paper deals with certain questions and problems of the constitutionalization of the European Union which did not receive very much attention from the Convention on the Future of Europe and from the observers of that Conventions work, but which, nevertheless, may be relevant whenever the results of the Conventions work are assessed and evaluated. The paper mainly deals with background problems associated with traditions of political thought in general and with basic understandings of European integration in particular. The paper also expounds on how the more recent constitution discussion, initiated due to the founding of the European Union, manifests continuities with the debates that have taken place over the past decades (since the start of the integration policy based on the Community method. However, it shows that the discussion context has become more complex. In the last section of the paper, the relationship of statics and dynamics in relation to European constitutional conceptions is treated as a subject. The question arises as to whether and to what extent the constitution concept itself is in doubt and whether or not, in connection with this, important functions, whose very performance is expected of a constitution of the European Union, remain unfulfilled.
Ginsburg, Ruth Bader
1975-01-01
In discussing the constitutional aspects of the sex-role debate in the U.S. the author traces the tradition, compares the present criterion of equal protection to the equal rights argument, and analyzes the equality principle with reference to affirmative action and to childbearing and childrearing, supporting the proposed equal rights amendment.…
Directory of Open Access Journals (Sweden)
Heinrich Schneider
2003-03-01
Full Text Available The paper deals with certain questions and problems of the constitutionalization of the European Union which did not receive very much attention from the Convention on the Future of Europe and from the observers of that Conventions work, but which, nevertheless, may be relevant whenever the results of the Conventions work are assessed and evaluated. The paper mainly deals with background problems associated with traditions of political thought in general and with basic understandings of European integration in particular. The paper also expounds on how the more recent constitution discussion, initiated due to the founding of the European Union, manifests continuities with the debates that have taken place over the past decades (since the start of the integration policy based on the Community method. However, it shows that the discussion context has become more complex. In the last section of the paper, the relationship of statics and dynamics in relation to European constitutional conceptions is treated as a subject. The question arises as to whether and to what extent the constitution concept itself is in doubt and whether or not, in connection with this, important functions, whose very performance is expected of a constitution of the European Union, remain unfulfilled.
Communicative Constitution of Organizations
DEFF Research Database (Denmark)
Schoeneborn, Dennis; Vasquez, Consuelo
2017-01-01
The notion of the communicative constitution of organizations (CCO) is at the center of a growing theoretical development within organizational communication studies. CCO scholarship is based on the idea that organization emerges in and is sustained and transformed by communication. This entry...
Verifying bound entanglement of dephased Werner states
Thomas, P.; Bohmann, M.; Vogel, W.
2017-10-01
The verification of quantum entanglement under the influence of realistic noise and decoherence is crucial for the development of quantum technologies. Unfortunately, a full entanglement characterization is generally not possible with most entanglement criteria such as entanglement witnesses or the partial transposition criterion. In particular, so-called bound entanglement cannot be certified via the partial transposition criterion. Here we present the full entanglement verification of dephased qubit and qutrit Werner states via entanglement quasiprobabilities. Remarkably, we are able to reveal bound entanglement for noisy mixed states in the qutrit case. This example demonstrates the strength of the entanglement quasiprobabilities for verifying the full entanglement of quantum states suffering from noise.
Verified Subtyping with Traits and Mixins
Directory of Open Access Journals (Sweden)
Asankhaya Sharma
2014-07-01
Full Text Available Traits allow decomposing programs into smaller parts and mixins are a form of composition that resemble multiple inheritance. Unfortunately, in the presence of traits, programming languages like Scala give up on subtyping relation between objects. In this paper, we present a method to check subtyping between objects based on entailment in separation logic. We implement our method as a domain specific language in Scala and apply it on the Scala standard library. We have verified that 67% of mixins used in the Scala standard library do indeed conform to subtyping between the traits that are used to build them.
A constitutive theory of reacting electrolyte mixtures
Costa Reis, Martina; Wang, Yongqi; Bono Maurizio Sacchi Bassi, Adalberto
2013-11-01
A constitutive theory of reacting electrolyte mixtures is formulated. The intermolecular interactions among the constituents of the mixture are accounted for through additional freedom degrees to each constituent of the mixture. Balance equations for polar reacting continuum mixtures are accordingly formulated and a proper set of constitutive equations is derived with basis in the Müller-Liu formulation of the second law of thermodynamics. Moreover, the non-equilibrium and equilibrium responses of the reacting mixture are investigated in detail by emphasizing the inner and reactive structures of the medium. From the balance laws and constitutive relations, the effects of molecular structure of constituents upon the fluid flow are studied. It is also demonstrated that the local thermodynamic equilibrium state can be reached without imposing that the set of independent constitutive variables is time independent, neither spatially homogeneous nor null. The resulting constitutive relations presented throughout this work are of relevance to many practical applications, such as swelling of clays, developing of bio and polymeric membranes, and use of electrorheological fluids in industrial processes. The first author acknowledges financial support from National Counsel of Technological and Scientific Development (CNPq) and German Academic Exchange Service (DAAD).
Verifying disarmament: scientific, technological and political challenges
Energy Technology Data Exchange (ETDEWEB)
Pilat, Joseph R [Los Alamos National Laboratory
2011-01-25
There is growing interest in, and hopes for, nuclear disarmament in governments and nongovernmental organizations (NGOs) around the world. If a nuclear-weapon-free world is to be achievable, verification and compliance will be critical. VerifYing disarmament would have unprecedented scientific, technological and political challenges. Verification would have to address warheads, components, materials, testing, facilities, delivery capabilities, virtual capabilities from existing or shutdown nuclear weapon and existing nuclear energy programs and material and weapon production and related capabilities. Moreover, it would likely have far more stringent requirements. The verification of dismantlement or elimination of nuclear warheads and components is widely recognized as the most pressing problem. There has been considerable research and development done in the United States and elsewhere on warhead and dismantlement transparency and verification since the early 1990s. However, we do not today know how to verifY low numbers or zero. We need to develop the needed verification tools and systems approaches that would allow us to meet this complex set of challenges. There is a real opportunity to explore verification options and, given any realistic time frame for disarmament, there is considerable scope to invest resources at the national and international levels to undertake research, development and demonstrations in an effort to address the anticipated and perhaps unanticipated verification challenges of disarmament now andfor the next decades. Cooperative approaches have the greatest possibility for success.
Constitutive modeling of aluminum foam and finite element implementation for crash simulations
Bi, Jing
In the past decades metallic foams have been increasingly used as filler materials in crashworthiness applications due to their relatively low cost and high capacity of energy absorption. Due to the destructive nature of crashes, studies on the performance of metallic foams using physical testing have been limited to examining the crushing force histories and/or folding patterns that are insufficient for crashworthiness designs. For this reason, numerical simulations, particularly nonlinear finite element (FE) analyses, play an important role in designing crashworthy foam-filled structures. An effective and numerically stable model is needed for modeling metallic foams that are porous and encounter large nonlinear deformations in crashes. In this study a new constitutive model for metallic foams is developed to overcome the deficiency of existing models in commercial FE codes such as LS-DYNA. The new constitutive model accounts for volume changes under hydrostatic compression and combines the hydrostatic pressure and von Mises stress into one yield function. The change of the compressibility of the metallic foam is handled in the constitutive model by allowing for shape changes of the yield surface in the hydrostatic pressure-von Mises stress space. The backward Euler method is adopted to integrate the constitutive equations to achieve numerical accuracy and stability. The new foam model is verified and validated by existing experimental data before used in FE simulations of crushing of foam-filled columns that have square and hexagonal cross-sections.
Judiciary on Russian Constitutional System
Directory of Open Access Journals (Sweden)
Vladislav Arkhipov
2013-12-01
Full Text Available This article is about new constitutional order in Russia emphasizing fundamental areas as the role of judiciary in the Russian Constitutional System from 1993 Constitution, the one which replaced the 1978 Russian Soviet Federative Socialist Republic Constitution based on communist ideology. Therefore, it is intended to examine the principle of separation of powers, constitutionally recognized human rights and liberties, relationship between international bodies’ case law of human rights and the Russian Constitutional Court, among others issues.
What constitutes information integrity?
Directory of Open Access Journals (Sweden)
S. Flowerday
2007-12-01
Full Text Available This research focused on what constitutes information integrity as this is a problem facing companies today. Moreover, information integrity is a pillar of information security and is required in order to have a sound security management programme. However, it is acknowledged that 100% information integrity is not currently achievable due to various limitations and therefore the auditing concept of reasonable assurance is adopted. This is in line with the concept that 100% information security is not achievable and the notion that adequate security is the goal, using appropriate countermeasures. The main contribution of this article is to illustrate the importance of and provide a macro view of what constitutes information integrity. The findings are in harmony with Samuel Johnson's words (1751: 'Integrity without knowledge is weak and useless, and knowledge without integrity is dangerous and dreadful.'
What constitutes information integrity?
Directory of Open Access Journals (Sweden)
S. Flowerday
2008-01-01
Full Text Available This research focused on what constitutes information integrity as this is a problem facing companies today. Moreover, information integrity is a pillar of information security and is required in order to have a sound security management programme. However, it is acknowledged that 100% information integrity is not currently achievable due to various limitations and therefore the auditing concept of reasonable assurance is adopted. This is in line with the concept that 100% information security is not achievable and the notion that adequate security is the goal, using appropriate countermeasures. The main contribution of this article is to illustrate the importance of and provide a macro view of what constitutes information integrity. The findings are in harmony with Samuel Johnson's words (1751: 'Integrity without knowledge is weak and useless, and knowledge without integrity is dangerous and dreadful.'
Transnational Governance and Constitutionalism
DEFF Research Database (Denmark)
Joerges, Christian; Sand, Inger-Johanne; Teubner, Gunther
The term transnational governance designates untraditional types of international and regional collaboration among both public and private actors. These legally-structured or less formal arrangements link economic, scientific and technological spheres with political and legal processes. They are ......The term transnational governance designates untraditional types of international and regional collaboration among both public and private actors. These legally-structured or less formal arrangements link economic, scientific and technological spheres with political and legal processes....... They are challenging the type of governance which constitutional states were supposed to represent and ensure. They also provoke old questions: Who bears the responsibility for governance without a government? Can accountability be ensured? The term 'constitutionalism' is still widely identified with statal form...... of democratic governance. The book refers to this term as a yardstick to which then contributors feel committed even where they plead for a reconceptualisation of constitutionalism or a discussion of its functional equivalents. 'Transnational governance' is neither public nor private, nor purely international...
Constitutionality of CEPA challenged
Energy Technology Data Exchange (ETDEWEB)
Attaran, A.
1997-02-24
The Canadian Environmental Protection Act (CEPA) was challenged by Hydro-Quebec in the Supreme Court of Canada. Hydro-Quebec argued that in the absence of any explicit jurisdiction, federal environmental law must be rooted in either the Constitution`s criminal law power, or in its power to legislate for the peace, order and good government of Canada. When accused under CEPA of dumping PCBs into the the St. Maurice River in 1990, Hydro-Quebec, joined in its case by the Attorney Generals of Quebec and Saskatchewan, and IPSCO Inc., argued that the law failed to meet these criteria, and is, therefore unconstitutional and invalid. The Supreme Court case focused primarily on the validity of the Federal Government`s right to declare substances toxic in its pursuit of protecting the environment from immediate or long-term harm, in as much as the criminal law power is understood to protect human life and health, but heretofore, not the environment. Although the Justices were anxious to circumscribe the limits of federal environmental jurisdiction, they also appeared disinclined to explode all of Canada`s toxic waste laws. The most likely outcome is that the CEPA will be allowed to stand, but will be severed of the environmental protection purpose, while preserving the Federal Government`s jurisdiction over toxic substances under the protection of human life and health provisions of the Constitution.
Testing Library Specifications by Verifying Conformance Tests
DEFF Research Database (Denmark)
Kiniry, Joseph Roland; Zimmerman, Daniel; Hyland, Ralph
2012-01-01
Formal specifications of standard libraries are necessary when statically verifying software that uses those libraries. Library specifications must be both correct, accurately reflecting library behavior, and useful, describing library behavior in sufficient detail to allow static verification...... of client programs. Specication and verification researchers regularly face the question of whether the library specications we use are correct and useful, and we have collectively provided no good answers. Over the past few years we have created and refined a software engineering process, which we call...... the Formal CTD Process (FCTD), to address this problem. Although FCTD is primarily targeted toward those who write Java libraries (or specifications for existing Java libraries) using the Java Modeling Language (JML), its techniques are broadly applicable. The key to FCTD is its novel usage of library...
Group-Interest-Based Verifiable CCN
Directory of Open Access Journals (Sweden)
DaeYoub Kim
2016-01-01
Full Text Available To solve various problems of the Internet, content centric networking (CCN, one of information centric networking architectures (ICN, provides both an in-network content caching scheme and a built-in content verification scheme. However, a user is still asked to generate many request messages when retrieving fragmented content through CCN. This model can seriously increase the amount of network traffic. Furthermore, when receiving content, a user is asked to verify the received content before using it. This verification process can cause a serious service delay. To improve such inefficiencies, this paper proposes a transmission process to handle request messages at one time. Also, it suggests an efficient content verification method using both hash chains and Merkel-hash tree.
Constitutionalism and Development in Nigeria: The 1999 Constitution
African Journals Online (AJOL)
Fr. Ikenga
IKPEZE: Constitutionalism and Development in Nigeria: The 1999 Constitution and Role of Lawyers. Modern Constitutional concepts, which were based on Constitution as a social contract, were originated by philosophers like Thomas Hobbes who also was an English Scientist, (1588-. 1679), John Locke in English (1632 ...
What proof do we prefer? Variants of verifiability in voting
Pieters, Wolter
2006-01-01
In this paper, we discuss one particular feature of Internet voting, verifiability, against the background of scientific literature and experiments in the Netherlands. In order to conceptually clarify what verifiability is about, we distinguish classical verifiability from constructive veriability
The Bicentennial and State Constitutions.
Clay, Henry
1988-01-01
Illustrates how the Bicentennial of the U.S. Constitution provides an opportunity to teach about the broader concept of constitutionalism through study of the state constitutions. Presents an argument for teaching about state constitutions, their role in the federal system, and the values they convey. (LS)
Thomas Jefferson and the Constitution.
Peterson, Merrill D.
1987-01-01
Examines Thomas Jefferson's role in the making and interpretation of the United States Constitution. Discusses the dominant features of Jefferson's constitutional theory; the character of Jefferson's presidency; and Jefferson's ongoing concern about constitutional preservation and change. Lists important dates in the history of the constitution.…
DEFF Research Database (Denmark)
Hanghøj, Sara
2009-01-01
personal values materialize through a hand-made everyday artefact, and how can the artefact constitute action and self-perception? The empirical research and analysis concerns how a former textile crafts teacher's subjective values and professional identity materialize through a hand-woven sofa cushion...... body, space and artefact, thereby revealing the materialization process. Based on results of the analysis, ANT (Actor-Network- Theory) is used in order to discuss how The Danish Folk High School's conception of simplicity as an aesthetic and gendered ideal in the formal education of female handcraft-teachers...
Legal theology in imposed constitutionalism
DEFF Research Database (Denmark)
Abat Ninet, Antoni
2018-01-01
discusses both the imposition of a constitution and constitutionalism. The examples that the drafters of the Kazanistan´s constitution analysed are “successful” imposed texts such as in Germany and Japan, where both constitutions were made by elites under the humiliating supervision of foreign occupiers....... On the theme of imposed constitutionalism, the paper reflects on; the inconsistency of the idealistic discourse that permeates a constitutional text; the inability of an imposed text to be enveloped by principles that reflect the nation’s fundamental concepts; and finally, the denaturalisation...... of the understanding of a constitution as the juridification of the People or Nation. Related to the topic of imposed constitutionalism, the paper focuses on the systemic inconsistencies that imposed constitutionalism generates, such as the unviability of the idea of an implicit constitutional text (invisible ink...
A Verified Algebra for Linked Data
Directory of Open Access Journals (Sweden)
Ross Horne
2011-07-01
Full Text Available A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links. This work focuses on emerging W3C standards which specify query languages for Linked Data. The approach is to provide an abstract syntax to capture Linked Data structures and queries, which are then internalised in a process calculus. An operational semantics for the calculus specifies how queries, data and processes interact. A labelled transition system is shown to be sound with respect to the operational semantics. Bisimulation over the labelled transition system is used to verify an algebra over queries. The derived algebra is a contribution to the application domain. For instance, the algebra may be used to rewrite a query to optimise its distribution across a cluster of servers. The framework used to provide the operational semantics is powerful enough to model related calculi for the Web.
Analyser Framework to Verify Software Components
Directory of Open Access Journals (Sweden)
Rolf Andreas Rasenack
2009-01-01
Full Text Available Today, it is important for software companies to build software systems in a short time-interval, to reduce costs and to have a good market position. Therefore well organized and systematic development approaches are required. Reusing software components, which are well tested, can be a good solution to develop software applications in effective manner. The reuse of software components is less expensive and less time consuming than a development from scratch. But it is dangerous to think that software components can be match together without any problems. Software components itself are well tested, of course, but even if they composed together problems occur. Most problems are based on interaction respectively communication. Avoiding such errors a framework has to be developed for analysing software components. That framework determines the compatibility of corresponding software components. The promising approach discussed here, presents a novel technique for analysing software components by applying an Abstract Syntax Language Tree (ASLT. A supportive environment will be designed that checks the compatibility of black-box software components. This article is concerned to the question how can be coupled software components verified by using an analyzer framework and determines the usage of the ASLT. Black-box Software Components and Abstract Syntax Language Tree are the basis for developing the proposed framework and are discussed here to provide the background knowledge. The practical implementation of this framework is discussed and shows the result by using a test environment.
Seismic methods for verifying nuclear test bans
Sykes, Lynn R.; Evernden, Jack F.; Cifuentes, Inés
1983-10-01
Seismological research of the past 25 years related to verification of a Threshold Test Ban Treaty (TIBT) indicates that a treaty banning nuclear weapons tests in all environments, including underground explosions, can be monitored with high reliablility down to explosions of very small size (about one kiloton). There would be high probability of successful identification of explosions of that size even if elaborate measures were taken to evade detection. Seismology provides the principal means of detecting, locating and identifying underground explosions and of determining their yields. We discuss a number of methods for identifying detected seismic events as being either explosions or earthquakes including the event's location, depth and spectral character. The seismic waves generated by these two types of sources differ in a number of fundamental ways that can be utilized for identification or discrimination. All of the long-standing issues related to a comprehensive treaty were resolved in principle (and in may cases in detail) in negotiations between the U.S., the U.S.S.R. and Britian from 1977 to 1980. Those negotiations have not resumed since 1980. Inadequate seismic means of verifying a CTBT, Soviet cheating on the 150-kt limit of the Treshold Test Ban Treaty of 1976, and the need to develop and test new nuclear weapons were cited in 1982 by the U.S. government as reasons for not continuing negotiations for a CTBT. The first two reservations, which depend heavily on seismological information, are not supported scientifically. A CTBT could help to put a lid on the seemingly endless testing of new generations of nuclear weapons by both superpowers.
The constitutive representation of high-temperature creep damage
Chan, K. S.
1988-01-01
The elastic-viscoplastic constitutive equations of Bodner-Partom were applied to modeling creep damage in a high temperature Ni-alloy, B1900 + Hf. Both tertiary creep in bulk materials and creep crack growth in flawed materials were considered. In the latter case, the energy rate line integral was used for characterizing the crack driving force, and the rate of crack extension was computed using a local damage formulation that assumed fracture was controlled by cavitation occurring within the crack-tip process zone. The results of this investigation were used to assess the evolution equation for isotropic damage utilized in the Bodner-Partom constitutive equations.
The Constitution of Partnering
DEFF Research Database (Denmark)
Gottlieb, Stefan Christoffer
The constitution of partnering. Afhandlingen behandler konstitueringen af ledelseskonceptet partnering og dets anvendelse i dansk byggeri. Partnering er et udbredt koncept i byggeriet som betoner samarbejde, tillid og gensidighed mellem de deltagende parter, og konceptet har de senere år har været...... om, hvordan partnering som koncept er fremkommet og har udviklet sig og hvilke konstitutive effekter partnering har på byggeriets praksis. Det teoretiske udgangspunkt i Foucault begrundes i behovet for at fastholde en mangefacetteret og historisk analyse af partnering i modsætning til de...... ledelseskoncept (partnering) medvirker til at strukturere byggeprocesser ved at skabe bestemte muligheder for handling samtidig med at der opretholdes en betydelig stabilitet. Afhandlingen har en række praktiske implikationer ved at identificere de dispositiver eller sociale teknologier som en forandring af...
Energy Technology Data Exchange (ETDEWEB)
Hammerand, Daniel Carl; Scherzinger, William Mark
2007-09-01
The Library of Advanced Materials for Engineering (LAME) provides a common repository for constitutive models that can be used in computational solid mechanics codes. A number of models including both hypoelastic (rate) and hyperelastic (total strain) constitutive forms have been implemented in LAME. The structure and testing of LAME is described in Scherzinger and Hammerand ([3] and [4]). The purpose of the present report is to describe the material models which have already been implemented into LAME. The descriptions are designed to give useful information to both analysts and code developers. Thus far, 33 non-ITAR/non-CRADA protected material models have been incorporated. These include everything from the simple isotropic linear elastic models to a number of elastic-plastic models for metals to models for honeycomb, foams, potting epoxies and rubber. A complete description of each model is outside the scope of the current report. Rather, the aim here is to delineate the properties, state variables, functions, and methods for each model. However, a brief description of some of the constitutive details is provided for a number of the material models. Where appropriate, the SAND reports available for each model have been cited. Many models have state variable aliases for some or all of their state variables. These alias names can be used for outputting desired quantities. The state variable aliases available for results output have been listed in this report. However, not all models use these aliases. For those models, no state variable names are listed. Nevertheless, the number of state variables employed by each model is always given. Currently, there are four possible functions for a material model. This report lists which of these four methods are employed in each material model. As far as analysts are concerned, this information is included only for the awareness purposes. The analyst can take confidence in the fact that model has been properly implemented
Start Of The French Constitutionalism: Constitution Of 1791
Directory of Open Access Journals (Sweden)
Sergey V. Bochkarev
2014-12-01
Full Text Available In the present article author analyzes questions of French constitutionalism origin. Author notes that in France, over the past two centuries, a state of law, which is based on the principles of popular sovereignty has been formed; observance of human rights and freedoms by the state; parliamentary democracy; supremacy of constitution in relation to all other laws and regulations; separation of powers and institute of authorities responsibility as an organizational framework for the legal state; independence of the judiciary; compliance with commitments taken by the State during international relations. These principles were laid down in the constitutional history of the country. In the present article an attempt to explore the beginning of the French constitutionalism through the prism of the Constitution of 1791 was made. Author makes concludes that in the Constitution of 1791 the fundamental principles of constitutional law were laid, some of which are reflected in the Constitution of the Fifth Republic in France and continue to operate. Constitution of the Fifth Republic proclaimed commitment to "human rights and principles of national sovereignty as defined by the Declaration of 1789, confirmed and complemented by the Preamble to the Constitution of 1946, and despite many disputes, Constitutional Council reaffirmed inviolability of the equality before the law principle, which exists in the Declaration.
Ontoteleological Constitution of Entrepreneurship
Directory of Open Access Journals (Sweden)
Diego Luiz Teixeira Boava
2017-06-01
Full Text Available Entrepreneurship is a pluri-disciplinary phenomenon, object of research in several areas of knowledge. However, studies on this theme present approaches that start to consider entrepreneurship as a field of private knowledge in the phase of epistemological construction. In this context, the aim of this investigation is to contribute to the discussions on the theme, through studies on the ontoteleological constitution of entrepreneurship, in propaedeutic character, deflagrating new approaches. Thus, there is a presentation concerning the study of entrepreneurship, which may emphasize its ontical and ontological aspects. In addition, the reason why it is complex to define entrepreneurship is investigated. Subjects regarding the philosophy of entrepreneurship are introduced, seeking to present the bases for an ontoteleological approach to the phenomenon. Such an approach assumes that the finality of the entrepreneurial act relates to the main principles and transformations required into the organization. Finally, it is concluded that man is an entrepreneurial being, the meta-entrepreneur, and his entrepreneurial actions are not determined by external factors, but rather by the condition of his potentiality.
The diffusion of constitutional rights
Goderis, B.V.G.; Versteeg, M.
Constitutions are commonly regarded as uniquely national products, shaped by domestic ideals and politics. This paper develops and empirically investigates a novel hypothesis, which is that constitutions are also shaped by transnational influence, or “diffusion.” Constitutional rights can diffuse
VALUATION IN THE CONSTITUTIONAL ERA
African Journals Online (AJOL)
Brimer
VALUATION IN THE CONSTITUTIONAL ERA. WJ du Plessis *. Which way you ought to go depends on where you want to get to... - Lewis Carroll, Alice in Wonderland1. 1. Introduction. The Constitution established a single system of law shaped by the Constitution itself.2 It protected certain existing rights but it also initiated ...
Electronic representation of wave equation
Energy Technology Data Exchange (ETDEWEB)
Veigend, Petr; Kunovský, Jiří, E-mail: kunovsky@fit.vutbr.cz; Kocina, Filip; Nečasová, Gabriela; Valenta, Václav [University of Technology, Faculty of Information Technology, Božetěchova 2, 612 66 Brno (Czech Republic); Šátek, Václav [IT4Innovations, VŠB Technical University of Ostrava, 17. listopadu 15/2172, 708 33 Ostrava-Poruba (Czech Republic); University of Technology, Faculty of Information Technology, Božetěchova 2, 612 66 Brno (Czech Republic)
2016-06-08
The Taylor series method for solving differential equations represents a non-traditional way of a numerical solution. Even though this method is not much preferred in the literature, experimental calculations done at the Department of Intelligent Systems of the Faculty of Information Technology of TU Brno have verified that the accuracy and stability of the Taylor series method exceeds the currently used algorithms for numerically solving differential equations. This paper deals with solution of Telegraph equation using modelling of a series small pieces of the wire. Corresponding differential equations are solved by the Modern Taylor Series Method.
Electronic representation of wave equation
Veigend, Petr; Kunovský, Jiří; Kocina, Filip; Nečasová, Gabriela; Šátek, Václav; Valenta, Václav
2016-06-01
The Taylor series method for solving differential equations represents a non-traditional way of a numerical solution. Even though this method is not much preferred in the literature, experimental calculations done at the Department of Intelligent Systems of the Faculty of Information Technology of TU Brno have verified that the accuracy and stability of the Taylor series method exceeds the currently used algorithms for numerically solving differential equations. This paper deals with solution of Telegraph equation using modelling of a series small pieces of the wire. Corresponding differential equations are solved by the Modern Taylor Series Method.
Magnus, Wilhelm
1979-01-01
The hundreds of applications of Hill's equation in engineering and physics range from mechanics and astronomy to electric circuits, electric conductivity of metals, and the theory of the cyclotron. New applications are continually being discovered and theoretical advances made since Liapounoff established the equation's fundamental importance for stability problems in 1907. Brief but thorough, this volume offers engineers and mathematicians a complete orientation to the subject.""Hill's equation"" connotes the class of homogeneous, linear, second order differential equations with real, period
USCIS E-Verify Customer Satisfaction Survey, January 2013
Department of Homeland Security — This report focuses on the customer satisfaction of companies currently enrolled in the E-Verify program. Satisfaction with E-Verify remains high and follows up a...
Incentivizing Verifiable Privacy-Protection Mechanisms for Offline Crowdsensing Applications
National Research Council Canada - National Science Library
Jiajun Sun; Ningzhong Liu
2017-01-01
.... In this paper, we investigate offline verifiable privacy-protection crowdsensing issues. We firstly present a general verifiable privacy-protection incentive mechanism for the offline homogeneous and heterogeneous sensing job model...
Constitutional judges (guarantee of the Constitution and responsibility
Directory of Open Access Journals (Sweden)
Francisco Javier Ansuátegui Roig
2012-06-01
Full Text Available My aim in this paper is to propose a reflection on the position and the importance that the constitutional judge has in the legal systems of contemporary constitutionalism. The figure of the judge responsible of protecting the Constitution is a key institution, without which we cannot understand the laws of constitutional democracies, their current lines of development, and the guarantee of rights and freedoms that constitute the normative core of these systems. Moreover, the reflection on the exercise of the powers of the judge, its scope and its justification is an important part of contemporary legal discussion, still relevant, albeit not exclusively - in the field of legal philosophy. The object of attention of my reflection is the judge who has the power of judicial review, in a scheme of defense of the Constitution, regardless the specific ways of this defense.
Constitutionalism and Constitutional Anomie in the New Europe
Blokker, Paul
2010-01-01
The recent (re-)establishment of constitutional democracies in Central and Eastern Europe is affected by a paradoxical situation: while modern constitutionalism was significantly strenghtened by the ‘new constitutionalism’ in the region, it is itself increasingly seen as out of touch with (pluralist) reality. In the paper, I explore to what extent it can be claimed that the new constitutionalism adopted in the former communist countries is a reinvigorated version of ‘traditional’ modern const...
28 CFR 802.13 - Verifying your identity.
2010-07-01
... 28 Judicial Administration 2 2010-07-01 2010-07-01 false Verifying your identity. 802.13 Section... COLUMBIA DISCLOSURE OF RECORDS Privacy Act § 802.13 Verifying your identity. (a) Requests for your own records. When you make a request for access to records about yourself, you must verify your identity. You...
Essential Medicines in National Constitutions
Toebes, Brigit; Hogerzeil, Hans
2016-01-01
Abstract A constitutional guarantee of access to essential medicines has been identified as an important indicator of government commitment to the progressive realization of the right to the highest attainable standard of health. The objective of this study was to evaluate provisions on access to essential medicines in national constitutions, to identify comprehensive examples of constitutional text on medicines that can be used as a model for other countries, and to evaluate the evolution of constitutional medicines-related rights since 2008. Relevant articles were selected from an inventory of constitutional texts from WHO member states. References to states’ legal obligations under international human rights law were evaluated. Twenty-two constitutions worldwide now oblige governments to protect and/or to fulfill accessibility of, availability of, and/or quality of medicines. Since 2008, state responsibilities to fulfill access to essential medicines have expanded in five constitutions, been maintained in four constitutions, and have regressed in one constitution. Government commitments to essential medicines are an important foundation of health system equity and are included increasingly in state constitutions. PMID:27781006
Moiseiwitsch, B L
2005-01-01
Two distinct but related approaches hold the solutions to many mathematical problems--the forms of expression known as differential and integral equations. The method employed by the integral equation approach specifically includes the boundary conditions, which confers a valuable advantage. In addition, the integral equation approach leads naturally to the solution of the problem--under suitable conditions--in the form of an infinite series.Geared toward upper-level undergraduate students, this text focuses chiefly upon linear integral equations. It begins with a straightforward account, acco
Constitutions compared. An introduction to comparative constitutional law
Heringa, A.W.; Kiiver, P.
2012-01-01
This handbook provides a user-friendly introduction to comparative constitutional law. For each area of constitutional law, a general introduction and a comparative overview is provided, which is then followed by more detailed country chapters on that specific area. The subjects covered are the
Constitutions compared : An introduction to comparative constitutional law
Heringa, Aalt Willem
2016-01-01
This book provides a user-friendly introduction to comparative constitutional law. For each area of constitutional law, a general introduction and a comparative overview is provided, which is then followed by more detailed country chapters on that specific area. The subjects covered are the origins
La Constitution économique parmi les Constitutions européennes
Kaarlo Tuori
2011-01-01
In the European context, the place of the revolutionary notions of constitutive power, demos and constitutional moment is occupied by the evolutionary concept of constitutionalisation. Economic constitution is merely one aspect in multi-dimensional European constitution (alisation). My tentative proposal is to distinguish between the following dimensions of constitution : economic constitution ; juridical constitution ; political constitution ; social constitution ; and security constitution....
National constitutional courts in the European Constitutional Democracy
DEFF Research Database (Denmark)
Komárek, Jan
2014-01-01
This article critically assesses the transformation of national constitutional courts’ place in the law and politics of the EU and its member states. This process eliminates the difference between constitutional and ordinary national courts, which is crucial for the institutional implementation...... the EU and its member states, understood together as the European Constitutional Democracy—the central notion developed in this article in order to support an argument that should speak to both EU lawyers and national constitutionalists....... of the discourse theory of law and democracy. It also disrupts the symbiotic relationship between national constitutional democracies established after World War II and European integration. The article argues that maintaining the special place of national constitutional courts is in the vital interest of both...
Lu, Yanfei; Lekszycki, Tomasz
2016-10-01
During fracture healing, a series of complex coupled biological and mechanical phenomena occurs. They include: (i) growth and remodelling of bone, whose Young's modulus varies in space and time; (ii) nutrients' diffusion and consumption by living cells. In this paper, we newly propose to model these evolution phenomena. The considered features include: (i) a new constitutive equation for growth simulation involving the number of sensor cells; (ii) an improved equation for nutrient concentration accounting for the switch between Michaelis-Menten kinetics and linear consumption regime; (iii) a new constitutive equation for Young's modulus evolution accounting for its dependence on nutrient concentration and variable number of active cells. The effectiveness of the model and its predictive capability are qualitatively verified by numerical simulations (using COMSOL) describing the healing of bone in the presence of damaged tissue between fractured parts.
Energy Technology Data Exchange (ETDEWEB)
Young, C.W. [Applied Research Associates, Inc., Albuquerque, NM (United States)
1997-10-01
In 1967, Sandia National Laboratories published empirical equations to predict penetration into natural earth materials and concrete. Since that time there have been several small changes to the basic equations, and several more additions to the overall technique for predicting penetration into soil, rock, concrete, ice, and frozen soil. The most recent update to the equations was published in 1988, and since that time there have been changes in the equations to better match the expanding data base, especially in concrete penetration. This is a standalone report documenting the latest version of the Young/Sandia penetration equations and related analytical techniques to predict penetration into natural earth materials and concrete. 11 refs., 6 tabs.
Constitutive rules, language, and ontology
Hindriks, Frank
It is a commonplace within philosophy that the ontology of institutions can be captured in terms of constitutive rules. What exactly such rules are, however, is not well understood. They are usually contrasted to regulative rules: constitutive rules (such as the rules of chess) make institutional
Identity-Based Verifiably Encrypted Signatures without Random Oracles
Zhang, Lei; Wu, Qianhong; Qin, Bo
Fair exchange protocol plays an important role in electronic commerce in the case of exchanging digital contracts. Verifiably encrypted signatures provide an optimistic solution to these scenarios with an off-line trusted third party. In this paper, we propose an identity-based verifiably encrypted signature scheme. The scheme is non-interactive to generate verifiably encrypted signatures and the resulting encrypted signature consists of only four group elements. Based on the computational Diffie-Hellman assumption, our scheme is proven secure without using random oracles. To the best of our knowledge, this is the first identity-based verifiably encrypted signature scheme provably secure in the standard model.
Tricomi, FG
2013-01-01
Based on his extensive experience as an educator, F. G. Tricomi wrote this practical and concise teaching text to offer a clear idea of the problems and methods of the theory of differential equations. The treatment is geared toward advanced undergraduates and graduate students and addresses only questions that can be resolved with rigor and simplicity.Starting with a consideration of the existence and uniqueness theorem, the text advances to the behavior of the characteristics of a first-order equation, boundary problems for second-order linear equations, asymptotic methods, and diff
Energy Technology Data Exchange (ETDEWEB)
Lester, Brian T. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Scherzinger, William M. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
2017-01-19
A new method for the solution of the non-linear equations forming the core of constitutive model integration is proposed. Specifically, the trust-region method that has been developed in the numerical optimization community is successfully modified for use in implicit integration of elastic-plastic models. Although attention here is restricted to these rate-independent formulations, the proposed approach holds substantial promise for adoption with models incorporating complex physics, multiple inelastic mechanisms, and/or multiphysics. As a first step, the non-quadratic Hosford yield surface is used as a representative case to investigate computationally challenging constitutive models. The theory and implementation are presented, discussed, and compared to other common integration schemes. Multiple boundary value problems are studied and used to verify the proposed algorithm and demonstrate the capabilities of this approach over more common methodologies. Robustness and speed are then investigated and compared to existing algorithms. As a result through these efforts, it is shown that the utilization of a trust-region approach leads to superior performance versus a traditional closest-point projection Newton-Raphson method and comparable speed and robustness to a line search augmented scheme.
Energy Technology Data Exchange (ETDEWEB)
Lester, Brian [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Scherzinger, William [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
2017-01-19
Here, a new method for the solution of the non-linear equations forming the core of constitutive model integration is proposed. Specifically, the trust-region method that has been developed in the numerical optimization community is successfully modified for use in implicit integration of elastic-plastic models. Although attention here is restricted to these rate-independent formulations, the proposed approach holds substantial promise for adoption with models incorporating complex physics, multiple inelastic mechanisms, and/or multiphysics. As a first step, the non-quadratic Hosford yield surface is used as a representative case to investigate computationally challenging constitutive models. The theory and implementation are presented, discussed, and compared to other common integration schemes. Multiple boundary value problems are studied and used to verify the proposed algorithm and demonstrate the capabilities of this approach over more common methodologies. Robustness and speed are then investigated and compared to existing algorithms. Through these efforts, it is shown that the utilization of a trust-region approach leads to superior performance versus a traditional closest-point projection Newton-Raphson method and comparable speed and robustness to a line search augmented scheme.
Barbu, Viorel
2016-01-01
This textbook is a comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous manner. Including various examples from physics, mechanics, natural sciences, engineering and automatic theory, Differential Equations is a bridge between the abstract theory of differential equations and applied systems theory. Particular attention is given to the existence and uniqueness of the Cauchy problem, linear differential systems, stability theory and applications to first-order partial differential equations. Upper undergraduate students and researchers in applied mathematics and systems theory with a background in advanced calculus will find this book particularly useful. Supplementary topics are covered in an appendix enabling the book to be completely self-contained.
Hochstadt, Harry
2011-01-01
This classic work is now available in an unabridged paperback edition. Hochstatdt's concise treatment of integral equations represents the best compromise between the detailed classical approach and the faster functional analytic approach, while developing the most desirable features of each. The seven chapters present an introduction to integral equations, elementary techniques, the theory of compact operators, applications to boundary value problems in more than dimension, a complete treatment of numerous transform techniques, a development of the classical Fredholm technique, and applicatio
Constitutive Modelling in Geomechanics Introduction
Puzrin, Alexander M
2012-01-01
The purpose of this book is to bridge the gap between the traditional Geomechanics and Numerical Geotechnical Modelling with applications in science and practice. Geomechanics is rarely taught within the rigorous context of Continuum Mechanics and Thermodynamics, while when it comes to Numerical Modelling, commercially available finite elements or finite differences software utilize constitutive relationships within the rigorous framework. As a result, young scientists and engineers have to learn the challenging subject of constitutive modelling from a program manual and often end up with using unrealistic models which violate the Laws of Thermodynamics. The book is introductory, by no means does it claim any completeness and state of the art in such a dynamically developing field as numerical and constitutive modelling of soils. The author gives basic understanding of conventional continuum mechanics approaches to constitutive modelling, which can serve as a foundation for exploring more advanced theories....
The significance of constitutional values
Directory of Open Access Journals (Sweden)
HN Nisihara
2001-12-01
Full Text Available This article addresses the question of the meaning and legal significance of constitutional values in contemporary times. The article attends also to related questions namely, what constitute “constitutional values” and what are the limitations of the meaning afforded to this notion. Attention is paid in the particular, to freedom, equality and democracy as value-neutral criteria of fairness and government neutrality with reference to the South African and German contexts as well as to value-neutrality as a culturally conditioned value. The author concludes with a cosmopolitan view of freedom and the right to peace with reference to the constitutional texts of Japan and the United States.
Constitutional orders in multinational firms
DEFF Research Database (Denmark)
Hull Kristensen, Peer; Morgan, Glenn
Multinationals are faced with the problem of how to coordinate different actors and stop `fiefdoms' emerging that inhibits the achievement of transnational cooperation? We identify this as a problem of `constitutional ordering' in the firm. Drawing on Varieties of Capitalism approaches, we explore...... how multinationals from different contexts seek to create constitutional orders. We argue that the models which exist appear to be destructive of coordination. We explore the implications for MNCs....
Right Product, Wrong Packaging: Not 'Constitution', but 'Constitutional Charter'
Directory of Open Access Journals (Sweden)
John Law
2007-05-01
Full Text Available The article seeks to locate the principal cause of Europe’s prevailing ratification crisis in the inappropriate title arrived at in the European Convention, Treaty Establishing a Constitution for Europe. This over-ambitious styling led the media to characterise the text as simply an ‘EU Constitution’. Yet, the text was not a Constitution as we traditionally understand the term, i.e. the founding document of a State: scholars are agreed that the EU is not, and will not become upon ratification, a State.In terms of substance, whilst the text certainly strengthened some emerging constitutional aspects, it was not a major departure from the status quo like the Single European Act and Treaty on European Union had been; and it remained technically a treaty like all its predecessors. Arguably, therefore, it did not require referenda to ratify. However, confusion over the scale and importance of what was proposed, stemming from ambiguity in the title, pushed politicians down this unfortunate path.The article identifies a high level of consensus among commentators as to the true nature of the text: most are happy designating it a treaty (noun with constitutional (adjective aspects. The early proposed title Constitutional Treaty for Europe was arguably, therefore, the correct one; but it is now too late to choose this option, as the terms Constitution and Constitutional Treaty have already been muddled in debate. A more distinctive change is required. One idea could be to follow the principle employed elsewhere in the text of codifying the generally accepted but presently unwritten legal concepts of the European Court of Justice, as was done for example for ‘primacy’ and ‘direct effect’. The Court has characterised the EU treaties as a ‘constitutional charter’ for over twenty years now, and on this basis a modified title could read Treaty Establishing a Constitutional Charter for Europe. Importantly, the term ‘charter’ is recognised
Appraising the value of independent EIA follow-up verifiers
Energy Technology Data Exchange (ETDEWEB)
Wessels, Jan-Albert, E-mail: janalbert.wessels@nwu.ac.za [School of Geo and Spatial Sciences, Department of Geography and Environmental Management, North-West University, C/O Hoffman and Borcherd Street, Potchefstroom, 2520 (South Africa); Retief, Francois, E-mail: francois.retief@nwu.ac.za [School of Geo and Spatial Sciences, Department of Geography and Environmental Management, North-West University, C/O Hoffman and Borcherd Street, Potchefstroom, 2520 (South Africa); Morrison-Saunders, Angus, E-mail: A.Morrison-Saunders@murdoch.edu.au [School of Geo and Spatial Sciences, Department of Geography and Environmental Management, North-West University, C/O Hoffman and Borcherd Street, Potchefstroom, 2520 (South Africa); Environmental Assessment, School of Environmental Science, Murdoch University, Australia. (Australia)
2015-01-15
Independent Environmental Impact Assessment (EIA) follow-up verifiers such as monitoring agencies, checkers, supervisors and control officers are active on various construction sites across the world. There are, however, differing views on the value that these verifiers add and very limited learning in EIA has been drawn from independent verifiers. This paper aims to appraise how and to what extent independent EIA follow-up verifiers add value in major construction projects in the developing country context of South Africa. A framework for appraising the role of independent verifiers was established and four South African case studies were examined through a mixture of site visits, project document analysis, and interviews. Appraisal results were documented in the performance areas of: planning, doing, checking, acting, public participating and integration with other programs. The results indicate that independent verifiers add most value to major construction projects when involved with screening EIA requirements of new projects, allocation of financial and human resources, checking legal compliance, influencing implementation, reporting conformance results, community and stakeholder engagement, integration with self-responsibility programs such as environmental management systems (EMS), and controlling records. It was apparent that verifiers could be more creatively utilized in pre-construction preparation, providing feedback of knowledge into assessment of new projects, giving input to the planning and design phase of projects, and performance evaluation. The study confirms the benefits of proponent and regulator follow-up, specifically in having independent verifiers that disclose information, facilitate discussion among stakeholders, are adaptable and proactive, aid in the integration of EIA with other programs, and instill trust in EIA enforcement by conformance evaluation. Overall, the study provides insight on how to harness the learning opportunities
Attacks on One Designated Verifier Proxy Signature Scheme
Directory of Open Access Journals (Sweden)
Baoyuan Kang
2012-01-01
Full Text Available In a designated verifier proxy signature scheme, there are three participants, namely, the original signer, the proxy signer, and the designated verifier. The original signer delegates his or her signing right to the proxy signer, then the proxy signer can generate valid signature on behalf of the original signer. But only the designated verifier can verify the proxy signature. Several designated verifier proxy signature schemes have been proposed. However, most of them were proven secure in the random oracle model, which has received a lot of criticism since the security proofs in the random oracle model are not sound with respect to the standard model. Recently, by employing Water's hashing technique, Yu et al. proposed a new construction of designated verifier proxy signature. They claimed that the new construction is the first designated verifier proxy signature, whose security does not rely on the random oracles. But, in this paper, we will show some attacks on Yu et al.'s scheme. So, their scheme is not secure.
vVote: Verifiable Electronic Voting in Practice
Burton, C; Culnane, C; Schneider, S.
2016-01-01
This paper reports on the experience of deploying the vVote verifiable voting system in the November 2014 State election in Victoria, Australia. It describes the system that was deployed, discusses its end-to-end verifiability, and reports on the voters’ and poll workers’ experience with the system. Blind voters were able to cast a fully secret ballot in a verifiable way, as were voters in remote locations. The feedback finds the system to be acceptably usable with an electronic interface, th...
Coupling and reduction of the HAWC equations
DEFF Research Database (Denmark)
Nim, E.
2001-01-01
This report contains a description of a general method for coupling and reduction of the so-called HAWC equations, which constitute the basis equations of motion of the aeroelastic model HAWC used widely by research institutes and industrial companies formore than the ten years. The principal aim...
Phasor Alternatives to Friis’ Transmission Equation
DEFF Research Database (Denmark)
Franek, Ondrej
2017-01-01
, is proposed. Both forms show the same degree of symmetry and modularity as the original Friis’ equation, but thanks to using phasors instead of power quantities they allow for superposition of fields or voltages. Although the new transmission equations are formulated in frequency domain, they also constitute...
The Spanish Constitution, the Constitutional Court and the Catalan Referendum
DEFF Research Database (Denmark)
Abat Ninet, Antoni
2015-01-01
politics in a concrete state, but they also represented the conquest of fundamental rights, liberties and the juridification of each new independent state. This epic and romantic aura helped the universal triumph of constitutionalism around the world. But at the same time, the conflict between demos...
NOS CO-OPS Water Level Data, Verified, Hourly
National Oceanic and Atmospheric Administration, Department of Commerce — This dataset has verified (quality-controlled), hourly, water level (tide) data from NOAA NOS Center for Operational Oceanographic Products and Services (CO-OPS)....
NOS CO-OPS Water Level Data, Verified, 6-Minute
National Oceanic and Atmospheric Administration, Department of Commerce — This dataset has verified (quality-controlled), 6-minute, water level (tide) data from NOAA NOS Center for Operational Oceanographic Products and Services (CO-OPS)....
NOS CO-OPS Water Level Data, Verified, High Low
National Oceanic and Atmospheric Administration, Department of Commerce — This dataset has verified (quality-controlled), daily, high low water level (tide) data from NOAA NOS Center for Operational Oceanographic Products and Services...
Learn About SmartWay Verified Aerodynamic Devices
Installing EPA-verified aerodynamic technologies on your trailer can help fleet and truck owners save fuel. Options include gap reducers, skirts, or tails and can be installed individually or in combination.
Hochstadt, Harry
2012-01-01
Modern approach to differential equations presents subject in terms of ideas and concepts rather than special cases and tricks which traditional courses emphasized. No prerequisites needed other than a good calculus course. Certain concepts from linear algebra used throughout. Problem section at end of each chapter.
Constitutional Analysis of Intellectual Property
Directory of Open Access Journals (Sweden)
AJ van der Walt
2014-04-01
Full Text Available This article analyses the Constitutional Court’s treatment of property interests in the face of state regulation to gain an understanding of the type of state interference that is justifiable in terms of section 25(1 of the Bill of Rights. This is done by examining the Constitutional Court’s dicta relating to the meaning of deprivation and how these inform the meaning of property in the constitutional context. The methodology that the Constitutional Court has formulated to assess if state interference complies with the provisions of section 25 is explained to show the type of state regulation that has been found legitimate. We then consider how this understanding of constitutional property and the state’s legitimate exercise of its inherent police power interact in the setting of intellectual property by contrasting the various policy objectives underlying the different statutory regimes governing intellectual property. This theoretical analysis is then applied to two contemporary examples of feasible state interference with existing intellectual property interests, namely the proposed plain packaging measures which severely restrict the use of tobacco trade marks, and a fair dealing exception allowing the use of copyright works for the purpose of parody. These examples serve to illustrate the context and manner in which intellectual property interests may come before the Court and the necessary differentiation with which these interests should be treated. The appropriate judicial assessment of the true impact that state action could have on vested property interests is explained and contrasted with the balancing exercise that is employed at the earlier stage of policy making. This discussion is concluded by highlighting some of the interpretational issues that will arise and how some constitutional values could be curtailed in the absence of legislative intervention.
A Tutorial on Using Dafny to Construct Verified Software
Directory of Open Access Journals (Sweden)
Paqui Lucio
2017-01-01
Full Text Available This paper is a tutorial for newcomers to the field of automated verification tools, though we assume the reader to be relatively familiar with Hoare-style verification. In this paper, besides introducing the most basic features of the language and verifier Dafny, we place special emphasis on how to use Dafny as an assistant in the development of verified programs. Our main aim is to encourage the software engineering community to make the move towards using formal verification tools.
TrustGuard: A Containment Architecture with Verified Output
2017-01-01
support structures . Finally, the link consumes a geomean 5.0% of the energy of the untrusted processor. 84 Chapter 7 The Simplicity of the Sentry Chapter 2...TRUSTGUARD: A CONTAINMENT ARCHITECTURE WITH VERIFIED OUTPUT SOUMYADEEP GHOSH A DISSERTATION PRESENTED TO THE FACULTY OF PRINCETON UNIVERSITY IN...depends on claims made by each party supplying the system’s components. This dissertation presents the Containment Architecture with Verified Output
The renewal equation for persistent diffusion
Balakrishnan, V.; Lakshmibala, S.; Van Den Broeck, C.
1988-11-01
Persistent diffusion in one dimension, in which the velocity of the diffusing particle is a dichotomic Markov process, is considered. The flow is non-Markovian, but the position and the velocity together constitute a Markovian diffusion process. We solve the coupled forward Kolmogorov equations and the coupled backward Kolmogorov equations with appropriate initial conditions, to establish a generalized (matrix) form of the renewal equation connecting the probability densities and first passage time distributions for persistent diffusion.
A Gradient-Based Constitutive Model for Shape Memory Alloys
Tabesh, Majid; Boyd, James; Lagoudas, Dimitris
2017-06-01
Constitutive models are necessary to design shape memory alloy (SMA) components at nano- and micro-scales in NEMS and MEMS. The behavior of small-scale SMA structures deviates from that of the bulk material. Unfortunately, this response cannot be modeled using conventional constitutive models which lack an intrinsic length scale. At small scales, size effects are often observed along with large gradients in the stress or strain. Therefore, a gradient-based thermodynamically consistent constitutive framework is established. Generalized surface and body forces are assumed to contribute to the free energy as work conjugates to the martensite volume fraction, transformation strain tensor, and their spatial gradients. The rates of evolution of these variables are obtained by invoking the principal of maximum dissipation after assuming a transformation surface, which is a differential equation in space. This approach is compared to the theories that use a configurational force (microforce) balance law. The developed constitutive model includes energetic and dissipative length scales that can be calibrated experimentally. Boundary value problems, including pure bending of SMA beams and simple torsion of SMA cylindrical bars, are solved to demonstrate the capabilities of this model. These problems contain the differential equation for the transformation surface as well as the equilibrium equation and are solved analytically and numerically. The simplest version of the model, containing only the additional gradient of martensite volume fraction, predicts a response with greater transformation hardening for smaller structures.
Jonathan's Constitutional Conference in Nigeria
African Journals Online (AJOL)
ian
2013-10-01
Oct 1, 2013 ... commitment to work with recommendations of the Conference. The Conference wound up with the remarks by the. Chairman. President Jonathan, like many of the regimes before him, saw the inherent weaknesses and contradictions in the governing constitution, upon which his government had based its ...
Unconstitutional constitutional amendments in Ethiopia: the practice ...
African Journals Online (AJOL)
Such constitutional provisions serve to confine the power to amend the constitution within the prescribed legal requirements as well as help to control arbitrary changes to the constitution, which consequently promotes constitutionalism within the country. The FDRE Constitution has been amended twice within these twenty ...
Incentivizing Verifiable Privacy-Protection Mechanisms for Offline Crowdsensing Applications
Sun, Jiajun; Liu, Ningzhong
2017-01-01
Incentive mechanisms of crowdsensing have recently been intensively explored. Most of these mechanisms mainly focus on the standard economical goals like truthfulness and utility maximization. However, enormous privacy and security challenges need to be faced directly in real-life environments, such as cost privacies. In this paper, we investigate offline verifiable privacy-protection crowdsensing issues. We firstly present a general verifiable privacy-protection incentive mechanism for the offline homogeneous and heterogeneous sensing job model. In addition, we also propose a more complex verifiable privacy-protection incentive mechanism for the offline submodular sensing job model. The two mechanisms not only explore the private protection issues of users and platform, but also ensure the verifiable correctness of payments between platform and users. Finally, we demonstrate that the two mechanisms satisfy privacy-protection, verifiable correctness of payments and the same revenue as the generic one without privacy protection. Our experiments also validate that the two mechanisms are both scalable and efficient, and applicable for mobile devices in crowdsensing applications based on auctions, where the main incentive for the user is the remuneration. PMID:28869574
Incentivizing Verifiable Privacy-Protection Mechanisms for Offline Crowdsensing Applications
Directory of Open Access Journals (Sweden)
Jiajun Sun
2017-09-01
Full Text Available Incentive mechanisms of crowdsensing have recently been intensively explored. Most of these mechanisms mainly focus on the standard economical goals like truthfulness and utility maximization. However, enormous privacy and security challenges need to be faced directly in real-life environments, such as cost privacies. In this paper, we investigate offline verifiable privacy-protection crowdsensing issues. We firstly present a general verifiable privacy-protection incentive mechanism for the offline homogeneous and heterogeneous sensing job model. In addition, we also propose a more complex verifiable privacy-protection incentive mechanism for the offline submodular sensing job model. The two mechanisms not only explore the private protection issues of users and platform, but also ensure the verifiable correctness of payments between platform and users. Finally, we demonstrate that the two mechanisms satisfy privacy-protection, verifiable correctness of payments and the same revenue as the generic one without privacy protection. Our experiments also validate that the two mechanisms are both scalable and efficient, and applicable for mobile devices in crowdsensing applications based on auctions, where the main incentive for the user is the remuneration.
Incentivizing Verifiable Privacy-Protection Mechanisms for Offline Crowdsensing Applications.
Sun, Jiajun; Liu, Ningzhong
2017-09-04
Incentive mechanisms of crowdsensing have recently been intensively explored. Most of these mechanisms mainly focus on the standard economical goals like truthfulness and utility maximization. However, enormous privacy and security challenges need to be faced directly in real-life environments, such as cost privacies. In this paper, we investigate offline verifiable privacy-protection crowdsensing issues. We firstly present a general verifiable privacy-protection incentive mechanism for the offline homogeneous and heterogeneous sensing job model. In addition, we also propose a more complex verifiable privacy-protection incentive mechanism for the offline submodular sensing job model. The two mechanisms not only explore the private protection issues of users and platform, but also ensure the verifiable correctness of payments between platform and users. Finally, we demonstrate that the two mechanisms satisfy privacy-protection, verifiable correctness of payments and the same revenue as the generic one without privacy protection. Our experiments also validate that the two mechanisms are both scalable and efficient, and applicable for mobile devices in crowdsensing applications based on auctions, where the main incentive for the user is the remuneration.
Evaluation for rheological constitutive relations, using the indentation technique
Fang, Lei
1992-01-01
A simple experimental method of determining the rheological constitutive relations is proposed. The method relies upon an analysis of the frictionless contact of a rigid spherical indenter and the rheological materials. The proposal addresses problems in two fields: rheological constitutive models and contact mechanics. It attempts to evaluate the rheological constitutive relations using an indentation technique. A systematic, optimization-based material parameter/function indentation model is proposed. The identification algorithm is based on a modified Marquardt-Levenberg method. A new integral constitutive equation for viscoelastic materials is derived. The derivation is carried out so that a damage function is included in the model in a relatively convenient form. Inclusion of damage effects makes this constitutive equation considerably more general than the widely accepted K-BKZ integral model. The single-step and double-step stress relaxation indentation experiments on asphalt materials were performed. The K-BKZ, Wagner, and nonlinear Volterra models were evaluated. It is demonstrated that the new integral constitutive model shows a very good agreement with the experimental data. The idea of damage function is introduced not only to have a better fit of data, but the damage (or irreversibility) is observed experimentally. Also, the creep indentation tests on composites were presented. A multiaxial theory of creep deformation for particle-strengthened metal matrix composites (Zhu-Weng Theory) was evaluated. The goal of the proposed research is to develop the indentation technique for use in basic mechanical studies. From the indentation test, material response is measured. The data are used in conjunction with the material parameter identification model to optimally back calculate the constitutive relations.
Constitutions as Intergenerational Contracts: Flexible or fixed?
Directory of Open Access Journals (Sweden)
Jörg Tremmel
2017-06-01
Full Text Available Constitutions enshrine the fundamental values of a people and build a framework for a state’s public policy. With regard to intergenerational justice, their endurance gives rise to two concerns: the (forgone welfare concern and the sovereignty concern. In this paper, I outline a procedure for constitution- amending that is intergenerationally just. In its line of reasoning, the paper debates ideas such as perpetual constitutions, sunset constitutions, constitutional reform commissions and constitutional conventions both historically and analytically. It arrives at the conclusion that recurrent constitutional reform commissions in fixed time intervals strike the best balance between the necessary rigidity and the necessary flexibility of constitutions.
The Constitutive Power of Twitter
DEFF Research Database (Denmark)
Albu, Oana Brindusa; Etter, Michael Andreas
Twitter is an increasingly used new information and communication technology (ICT) in organizational settings. Predominant research, however, tends to adopt functionalist standpoints and investigates new ICTs as platforms of information transmission through which organizations interact...... organizations. The analysis illustrates how specific Twitter interactions, i.e., hashtags, become hypertexts—a type of authoritative texts—which simultaneously constitute an organizational actor or act as a pastiche of it. The study contributes to extant research by illustrating how hypertextuality...... with their constituents. Such focus leaves little knowledge concerning the tensions new ICTs bring to organizational life. For a more nuanced understanding of the constitutive role of new ICTs in organizing, this paper unfolds a communication centered perspective and examines the strategic Twitter use in two...
Constitutional collisions of criminal law
Directory of Open Access Journals (Sweden)
Sergey M. Inshakov
2016-12-01
Full Text Available Objective to identify and resolve conflicts between the norms of constitutional and criminal law which regulate the issue of legal liability of senior officials of the state. Methods formallogical systematic comparativelegal. Results the article analyzes the embodiment of the principle of citizensrsquo equality under the law regarding the criminal responsibility of the President of the Russian Federation as one of the segments of the elite right other criminal and legal conflicts are considered associated with the creation of conditions for derogation from the principle of equality. Basing on this analysis the means of overcoming collisions between the norms of constitutional and criminal law are formulated. Scientific novelty in the article for the first time it has been shown that in the Russian criminal law there are exceptions to the principle of citizensrsquo equality under the law relating to the President of the Russian Federation the conflicts are identified between the norms of constitutional and criminal law regulating the issue of legal liability of senior officials of the state ways of overcoming conflicts are suggested. Practical significance the main provisions and conclusions of the article can be used in research and teaching in the consideration of issues of senior state officialsrsquo criminal liability.
Tricomi, Francesco Giacomo
1957-01-01
This classic text on integral equations by the late Professor F. G. Tricomi, of the Mathematics Faculty of the University of Turin, Italy, presents an authoritative, well-written treatment of the subject at the graduate or advanced undergraduate level. To render the book accessible to as wide an audience as possible, the author has kept the mathematical knowledge required on the part of the reader to a minimum; a solid foundation in differential and integral calculus, together with some knowledge of the theory of functions is sufficient. The book is divided into four chapters, with two useful
Phase portrait methods for verifying fluid dynamic simulations
Energy Technology Data Exchange (ETDEWEB)
Stewart, H.B.
1989-01-01
As computing resources become more powerful and accessible, engineers more frequently face the difficult and challenging engineering problem of accurately simulating nonlinear dynamic phenomena. Although mathematical models are usually available, in the form of initial value problems for differential equations, the behavior of the solutions of nonlinear models is often poorly understood. A notable example is fluid dynamics: while the Navier-Stokes equations are believed to correctly describe turbulent flow, no exact mathematical solution of these equations in the turbulent regime is known. Differential equations can of course be solved numerically, but how are we to assess numerical solutions of complex phenomena without some understanding of the mathematical problem and its solutions to guide us
Stochastic partial differential equations
Chow, Pao-Liu
2014-01-01
Preliminaries Introduction Some Examples Brownian Motions and Martingales Stochastic Integrals Stochastic Differential Equations of Itô Type Lévy Processes and Stochastic IntegralsStochastic Differential Equations of Lévy Type Comments Scalar Equations of First Order Introduction Generalized Itô's Formula Linear Stochastic Equations Quasilinear Equations General Remarks Stochastic Parabolic Equations Introduction Preliminaries Solution of Stochastic Heat EquationLinear Equations with Additive Noise Some Regularity Properties Stochastic Reaction-Diffusion Equations Parabolic Equations with Grad
Verifying continuous-variable entanglement in finite spaces
Sperling, J.; Vogel, W.
2009-05-01
Starting from arbitrary Hilbert spaces, we reduce the problem to verify entanglement of any bipartite quantum state to finite-dimensional subspaces. Entanglement can be fully characterized as a finite-dimensional property, even though in general the truncation of the Hilbert space may cause fake nonclassicality. A generalization for multipartite quantum states is also given.
Verifying real-time systems against scenario-based requirements
DEFF Research Database (Denmark)
Larsen, Kim Guldstrand; Li, Shuhao; Nielsen, Brian
2009-01-01
subset of the LSC language. By equivalently translating an LSC chart into an observer TA and then non-intrusively composing this observer with the original system model, the problem of verifying a real-time system against a scenario-based requirement reduces to a classical real-time model checking...
20 CFR 401.45 - Verifying your identity.
2010-04-01
... records such as medical records. (3) Electronic requests. If you make a request by computer or other... personally identifiable information over open networks such as the Internet, we use encryption in all of our... verifying your own identity, by providing a copy of the minor's birth certificate, a court order, or other...
Firming up the Foundations: Reflections on Verifying the 248 ...
African Journals Online (AJOL)
Firming up the Foundations: Reflections on Verifying the 248 Quotations in a Historical Dict ionary, with Reference to "A Dictionary of South African English on ... In addition to this, the article looks at the necessarily systematic nature of quotation handling and the main types of considerations determining methodology (for ...
Software Requirements Specification Verifiable Fuel Cycle Simulation (VISION) Model
Energy Technology Data Exchange (ETDEWEB)
D. E. Shropshire; W. H. West
2005-11-01
The purpose of this Software Requirements Specification (SRS) is to define the top-level requirements for a Verifiable Fuel Cycle Simulation Model (VISION) of the Advanced Fuel Cycle (AFC). This simulation model is intended to serve a broad systems analysis and study tool applicable to work conducted as part of the AFCI (including costs estimates) and Generation IV reactor development studies.
Calling Out Cheaters : Covert Security with Public VerifiabilitySecurity
DEFF Research Database (Denmark)
Asharov, Gilad; Orlandi, Claudio
2012-01-01
We introduce the notion of covert security with public verifiability, building on the covert security model introduced by Aumann and Lindell (TCC 2007). Protocols that satisfy covert security guarantee that the honest parties involved in the protocol will notice any cheating attempt with some...
Constitutive Effects of Performance Indicators
DEFF Research Database (Denmark)
Dahler-Larsen, Peter
2014-01-01
The idea that performance indicators in public management have unintended consequences is almost as old as performance measurement itself. But, is ‘unintended consequences’ an appropriate and insightful idea? The very term rests on an identification of intentions and assumptions about validity...... that are demonstrably problematic. Based on a distinction between trivial and advanced measure fixation, an argument is made for constitutive effects that are based on less problematic assumptions. Through this conceptual move, the political dimension of performance indicators is appreciated. The conceptual dimensions...
A Communicatively Constituted Online Crisis
DEFF Research Database (Denmark)
Valentini, Chiara; Romenti, Stefania; Kruckeberg, Dean
2017-01-01
This chapter presents a theoretical proposition that could serve as foundation to explain how people become aware, develop an understanding, and create meanings about specific critical situations through social media conversations and how, eventually, these transform critical situations into spec......This chapter presents a theoretical proposition that could serve as foundation to explain how people become aware, develop an understanding, and create meanings about specific critical situations through social media conversations and how, eventually, these transform critical situations...... into specific public crisis perceptions. Drawing from a communicative constitution perspective, the authors argue that if crises are perceptions or experiences of difficult situations that exceed a person’s current resources and coping mechanisms, and if perceptions and experiences in social media are typically...... by offering suggestions on how to study online critical conversations through the lens of a communicative constitution perspective that could inform how critical issues eventually transform and become crises and how crisis perceptions evolve and are discursively shaped by communicative practices occurring...
Essence and constitution in Zubiri
Directory of Open Access Journals (Sweden)
Alfonso Gómez Fernández
2015-03-01
Full Text Available The aim of this article is to expound Zubiri’s concept of essence and to begin a critical discussion and evaluation of his proposal. Before explaining what essence is, it is necessary to observe that, for our author, not all things have an essence: only «reality-things» but not «meaning-things» form part of the «essentiable domain». This distinction between «reality-things» and «meaning-things» supposes a new conception of nature. (Nature is not the opposite of the artificial, as the Greek term physis is.«Reality-things» form a constitutional and «closed» system of non-causal and non-«external» characteristics or traits. These «foundational characteristics» of constitution, then, are precisely the essence. The article discusses critically the assumptions of this doctrine (reality, ontological pluralism, foundation and its possible limits in the light of contemporary science. It can be a useful theory for the philosophy of language.
Verifiable Measurement-Only Blind Quantum Computing with Stabilizer Testing.
Hayashi, Masahito; Morimae, Tomoyuki
2015-11-27
We introduce a simple protocol for verifiable measurement-only blind quantum computing. Alice, a client, can perform only single-qubit measurements, whereas Bob, a server, can generate and store entangled many-qubit states. Bob generates copies of a graph state, which is a universal resource state for measurement-based quantum computing, and sends Alice each qubit of them one by one. Alice adaptively measures each qubit according to her program. If Bob is honest, he generates the correct graph state, and, therefore, Alice can obtain the correct computation result. Regarding the security, whatever Bob does, Bob cannot get any information about Alice's computation because of the no-signaling principle. Furthermore, malicious Bob does not necessarily send the copies of the correct graph state, but Alice can check the correctness of Bob's state by directly verifying the stabilizers of some copies.
Verifying Service Choreography Model Based on Description Logic
Directory of Open Access Journals (Sweden)
Minggang Yu
2016-01-01
Full Text Available Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model. The paper presents a new approach of choreography model verification based on Description Logic. A metamodel of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service choreography. Based on the framework, a set of rules and constraints are defined in Description Logic for choreography model verification. To automate model verification, the UML-based service choreography model will be transformed, by the given algorithms, into the DL-based ontology, and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoner. A case study is given to demonstrate applicability of the method. Furthermore, the work will be compared with other related researches.
Software Platform Evaluation - Verifiable Fuel Cycle Simulation (VISION) Model
Energy Technology Data Exchange (ETDEWEB)
J. J. Jacobson; D. E. Shropshire; W. B. West
2005-11-01
The purpose of this Software Platform Evaluation (SPE) is to document the top-level evaluation of potential software platforms on which to construct a simulation model that satisfies the requirements for a Verifiable Fuel Cycle Simulation Model (VISION) of the Advanced Fuel Cycle (AFC). See the Software Requirements Specification for Verifiable Fuel Cycle Simulation (VISION) Model (INEEL/EXT-05-02643, Rev. 0) for a discussion of the objective and scope of the VISION model. VISION is intended to serve as a broad systems analysis and study tool applicable to work conducted as part of the AFCI (including costs estimates) and Generation IV reactor development studies. This document will serve as a guide for selecting the most appropriate software platform for VISION. This is a “living document” that will be modified over the course of the execution of this work.
How to Verify and Manage the Translational Plagiarism?
Viroj Wiwanitkit
2016-01-01
The use of Google translator as a tool for determining translational plagiarism is a big challenge. As noted, plagiarism of the original papers written in Macedonian and translated into other languages can be verified after computerised translation in other languages. Attempts to screen the translational plagiarism should be supported. The use of Google Translate tool might be helpful. Special focus should be on any non-English reference that might be the source of plagiarised material and no...
Real-Time Projection to Verify Plan Success During Execution
Wagner, David A.; Dvorak, Daniel L.; Rasmussen, Robert D.; Knight, Russell L.; Morris, John R.; Bennett, Matthew B.; Ingham, Michel D.
2012-01-01
The Mission Data System provides a framework for modeling complex systems in terms of system behaviors and goals that express intent. Complex activity plans can be represented as goal networks that express the coordination of goals on different state variables of the system. Real-time projection extends the ability of this system to verify plan achievability (all goals can be satisfied over the entire plan) into the execution domain so that the system is able to continuously re-verify a plan as it is executed, and as the states of the system change in response to goals and the environment. Previous versions were able to detect and respond to goal violations when they actually occur during execution. This new capability enables the prediction of future goal failures; specifically, goals that were previously found to be achievable but are no longer achievable due to unanticipated faults or environmental conditions. Early detection of such situations enables operators or an autonomous fault response capability to deal with the problem at a point that maximizes the available options. For example, this system has been applied to the problem of managing battery energy on a lunar rover as it is used to explore the Moon. Astronauts drive the rover to waypoints and conduct science observations according to a plan that is scheduled and verified to be achievable with the energy resources available. As the astronauts execute this plan, the system uses this new capability to continuously re-verify the plan as energy is consumed to ensure that the battery will never be depleted below safe levels across the entire plan.
AnnaBot: A Static Verifier for Java Annotation Usage
Ian Darwin
2010-01-01
This paper describes AnnaBot, one of the first tools to verify correct use of Annotation-based metadata in the Java programming language. These Annotations are a standard Java 5 mechanism used to attach metadata to types, methods, or fields without using an external configuration file. A binary representation of the Annotation becomes part of the compiled “.class” file, for inspection by another component or library at runtime. Java Annotations were introduced into the Java language in ...
Verifying the Absence of Common Runtime Errors in Computer Programs
1981-06-01
the langauge designer another way to test a design, in addition to the usual ways based on experience with other languages and difficulty of...simplified verification conditions is a special skill that one must learn in order to use the verifier. In theI process of analyzing a VC, une notes...Discovery of Linear Restraints Among Variables of a Program, Proceedings of the Fifth ACM Symposium on Principles of Programming Languages, January
Notes toward a verifiable vector algebraic basis for colorimetric modeling
Oulton, David P.
2009-01-01
The presented notes aim toward improved models of the scalar visual response to flat-field stimuli, and are prompted by unease over the complexity of existing colour difference models. Some of the basic assumptions of colorimetry are examined in detail, and analytical methods whereby these assumptions can be investigated experimentally are presented. A key finding is that the standard CIE colorimetric model is verifiably correct as a predictor of point colour identity and metameric visual equ...
Verifiable fault tolerance in measurement-based quantum computation
Fujii, Keisuke; Hayashi, Masahito
2017-09-01
Quantum systems, in general, cannot be simulated efficiently by a classical computer, and hence are useful for solving certain mathematical problems and simulating quantum many-body systems. This also implies, unfortunately, that verification of the output of the quantum systems is not so trivial, since predicting the output is exponentially hard. As another problem, the quantum system is very delicate for noise and thus needs an error correction. Here, we propose a framework for verification of the output of fault-tolerant quantum computation in a measurement-based model. In contrast to existing analyses on fault tolerance, we do not assume any noise model on the resource state, but an arbitrary resource state is tested by using only single-qubit measurements to verify whether or not the output of measurement-based quantum computation on it is correct. Verifiability is equipped by a constant time repetition of the original measurement-based quantum computation in appropriate measurement bases. Since full characterization of quantum noise is exponentially hard for large-scale quantum computing systems, our framework provides an efficient way to practically verify the experimental quantum error correction.
Nonlinear creep damage constitutive model for soft rocks
Liu, H. Z.; Xie, H. Q.; He, J. D.; Xiao, M. L.; Zhuo, L.
2017-02-01
In some existing nonlinear creep damage models, it may be less rigorous to directly introduce a damage variable into the creep equation when the damage variable of the viscous component is a function of time or strain. In this paper, we adopt the Kachanov creep damage rate and introduce a damage variable into a rheological differential constitutive equation to derive an analytical integral solution for the creep damage equation of the Bingham model. We also propose a new nonlinear viscous component which reflects nonlinear properties related to the axial stress of soft rock in the steady-state creep stage. Furthermore, we build an improved Nishihara model by using this new component in series with the correctional Nishihara damage model that describes the accelerating creep, and deduce the rheological constitutive relation of the improved model. Based on superposition principle, we obtain the damage creep equation for conditions of both uniaxial and triaxial compression stress, and study the method for determining the model parameters. Finally, this paper presents the laboratory test results performed on mica-quartz schist in parallel with, or vertical to the schistosity direction, and applies the improved Nishihara model to the parameter identification of mica-quartz schist. Using a comparative analysis with test data, results show that the improved model has a superior ability to reflect the creep properties of soft rock in the decelerating creep stage, the steady-state creep stage, and particularly within the accelerating creep stage, in comparison with the traditional Nishihara model.
Rate constitutive theories for ordered thermoviscoelastic fluids: polymers
Surana, K. S.; Nunez, D.; Reddy, J. N.; Romkes, A.
2014-03-01
law of thermodynamics provides no mechanism for deriving the constitutive theories for the deviatoric Cauchy stress tensor. In the development of the constitutive theories in Eulerian description, the covariant and contravariant convected coordinate systems and Jaumann measures are natural choices. Furthermore, the mathematical models for fluids require Eulerian description in which material point displacements are not measurable. This precludes the use of displacement gradients, i.e., strain measures, in the development of the constitutive theories. It is shown that compatible conjugate pairs of convected time derivatives of the deviatoric Cauchy stress and strain measures in co-, contravariant and Jaumann bases in conjunction with the theory of generators and invariants provide a general mathematical framework for the development of constitutive theories for ordered thermofluids in Eulerian description. This framework has a foundation based on the basic principles and axioms of continuum mechanics, but the resulting constitutive theories for the deviatoric Cauchy stress tensor must satisfy the condition of positive work expanded, a requirement resulting from the entropy inequality. The paper presents a general theory of constitutive equations for ordered thermoviscoelastic fluids which is then specialized to obtain commonly used constitutive equations for Maxwell, Giesekus and Oldroyd-B constitutive models in contra- and covariant bases and using Jaumann rates.
CONSTITUTIONAL LANDMARKS OF POLITICAL PLURALISM
Directory of Open Access Journals (Sweden)
ERHARD NICULESCU
2013-05-01
Full Text Available In order for democracy to result from freedom, the citizens’ participation in the creation and exercise of democratic power must be structured in a pluralist way. Art. 8(1 of the Romanian Constitution firstly imposes the organization of the company in parallel with the State’s organic structure as an indispensable requisite for the existence of democracy. In other words, there is no democracy without a civil society, distinct from the State. The organization of the civil society is necessary because the individual alone cannot determine a certain attitude of the political power: structuring gives weight to the action; the organization of citizens contributes to rendering their political participation more efficient. But the organization, structuring limits the freedom of people adhering to the structure.
A thermomechanical crystal plasticity constitutive model for ultrasonic consolidation
Siddiq, Amir
2012-01-01
We present a micromechanics-based thermomechanical constitutive model to simulate the ultrasonic consolidation process. Model parameters are calibrated using an inverse modeling approach. A comparison of the simulated response and experimental results for uniaxial tests validate and verify the appropriateness of the proposed model. Moreover, simulation results of polycrystalline aluminum using the identified crystal plasticity based material parameters are compared qualitatively with the electron back scattering diffraction (EBSD) results reported in the literature. The validated constitutive model is then used to simulate the ultrasonic consolidation process at sub-micron scale where an effort is exerted to quantify the underlying micromechanisms involved during the ultrasonic consolidation process. © 2011 Elsevier B.V. All rights reserved.
Xu, Rui-Xue; Zhang, Hou-Dao; Yan, YiJing
2016-01-01
The quest of an exact and nonperturbative treatment of quantum dissipation in non-Gaussian coupling environments remains in general an untractable task. In this work we address the key issues on the solutions to a class of non-Gaussian coupling environments. As an illustration we consider explicitly a harmonic bath coupled quadratically with an arbitrary system, at finite temperature, and construct a novel dissipaton-equation-of-motion (DEOM) formalism. To validate the underlying dissipaton algebra, we derive in parallel also the extended Zusman equation via a totally different approach, and further prove that DEOM constitutes the resolutions to the latter formalism. Thus, we verify by de facto the novel dissipaton algebraic construction, by which not only the quadratic but also higher-order nonlinear bath couplings can be easily treated. We report the benchmark results on a two-level system dynamics as the interplay between linear and quadratic bath couplings.
An Exact Mapping from Navier-Stokes Equation to Schördinger Equation via Riccati Equation
Directory of Open Access Journals (Sweden)
Christianto V.
2008-01-01
Full Text Available In the present article we argue that it is possible to write down Schrödinger representation of Navier-Stokes equation via Riccati equation. The proposed approach, while differs appreciably from other method such as what is proposed by R. M. Kiehn, has an advantage, i.e. it enables us extend further to quaternionic and biquaternionic version of Navier-Stokes equation, for instance via Kravchenko’s and Gibbon’s route. Further observation is of course recommended in order to refute or verify this proposition.
Verifying Architectural Design Rules of the Flight Software Product Line
Ganesan, Dharmalingam; Lindvall, Mikael; Ackermann, Chris; McComas, David; Bartholomew, Maureen
2009-01-01
This paper presents experiences of verifying architectural design rules of the NASA Core Flight Software (CFS) product line implementation. The goal of the verification is to check whether the implementation is consistent with the CFS architectural rules derived from the developer's guide. The results indicate that consistency checking helps a) identifying architecturally significant deviations that were eluded during code reviews, b) clarifying the design rules to the team, and c) assessing the overall implementation quality. Furthermore, it helps connecting business goals to architectural principles, and to the implementation. This paper is the first step in the definition of a method for analyzing and evaluating product line implementations from an architecture-centric perspective.
Lucid dreaming verified by volitional communication during REM sleep.
La Berge, S P; Nagel, L E; Dement, W C; Zarcone, V P
1981-06-01
The occurrence of lucid dreaming (dreaming while being conscious that one is dreaming) has been verified for 5 selected subjects who signaled that they knew they were dreaming while continuing to dream during unequivocal REM sleep. The signals consisted of particular dream actions having observable concomitants and were performed in accordance with pre-sleep agreement. The ability of proficient lucid dreamers to signal in this manner makes possible a new approach to dream research--such subjects, while lucid, could carry out diverse dream experiments marking the exact time of particular dream events, allowing derivation of of precise psychophysiological correlations and methodical testing of hypotheses.
Countering Ballot Stuffing and Incorporating Eligibility Verifiability in Helios
Srinivasan, S.; Culnane, C; Heather, J; Schneider, SA; Z. Xia
2014-01-01
Helios is a web-based end-to-end verifiable electronic voting system which has been said to be suitable for low-coercion environments. Although many Internet voting schemes have been proposed in the literature, Helios stands out for its real world relevance. It has been used in a number of elections in university campuses around the world and it has also been used recently by the IACR to elect its board members. It was noted that a dishonest server in Helios can stuff ballots and this seems t...
Verifying Galileo's discoveries: telescope-making at the Collegio Romano
Reeves, Eileen; van Helden, Albert
The Jesuits of the Collegio Romano in Rome, especially the mathematicians Clavius and Grienberger, were very interested in Galilei's discoveries. After they had failed to recognize with telescopes of own construction the celestial phenomena, they expressed serious doubts. But from November 1610 onward, after they had built a better telescope and had obtained from Venice another one in addition, and could verify Galilei's observations, they completely accepted them. Clavius, who stuck to the Ptolemaic system till his death in 1612, even pointed out these facts in his last edition of Sacrobosco's Sphaera. He as well as his conpatres, however, avoided any conclusions with respect to the planetary system.
The Guided System Development Framework: Modeling and Verifying Communication Systems
DEFF Research Database (Denmark)
Carvalho Quaresma, Jose Nuno; Probst, Christian W.; Nielson, Flemming
2014-01-01
. The Guided System Development framework contributes to more secure communication systems by aiding the development of such systems. The framework features a simple modelling language, step-wise refinement from models to implementation, interfaces to security verification tools, and code generation from...... the verified specification. The refinement process carries thus security properties from the model to the implementation. Our approach also supports verification of systems previously developed and deployed. Internally, the reasoning in our framework is based on the Beliefs and Knowledge tool, a verification...
Verifiable Rational Secret Sharing Scheme in Mobile Networks
Directory of Open Access Journals (Sweden)
En Zhang
2015-01-01
Full Text Available With the development of mobile network, lots of people now have access to mobile phones and the mobile networks give users ubiquitous connectivity. However, smart phones and tablets are poor in computational resources such as memory size, processor speed, and disk capacity. So far, all existing rational secret sharing schemes cannot be suitable for mobile networks. In this paper, we propose a verifiable rational secret sharing scheme in mobile networks. The scheme provides a noninteractively verifiable proof for the correctness of participants’ share and handshake protocol is not necessary; there is no need for certificate generation, propagation, and storage in the scheme, which is more suitable for devices with limited size and processing power; in the scheme, every participant uses her encryption on number of each round as the secret share and the dealer does not have to distribute any secret share; every participant cannot gain more by deviating the protocol, so rational participant has an incentive to abide by the protocol; finally, every participant can obtain the secret fairly (means that either everyone receives the secret, or else no one does in mobile networks. The scheme is coalition-resilient and the security of our scheme relies on a computational assumption.
17 CFR 200.54 - Constitutional obligations.
2010-04-01
... against any infringement of the constitutional rights, privileges, or immunities of those who are subject... 17 Commodity and Securities Exchanges 2 2010-04-01 2010-04-01 false Constitutional obligations... ORGANIZATION; CONDUCT AND ETHICS; AND INFORMATION AND REQUESTS Canons of Ethics § 200.54 Constitutional...
Antithetical Ethics: Kenneth Burke and the Constitution.
Anderson, Virginia
1995-01-01
Shows how the textuality of the United States Constitution, the most venerable of classic democratic icons, might be exploited to nurture postmodern ethics. Shows how Kenneth Burke's reading of the Constitution accords with and augments the postmodern theories of J.-F. Lyotard and S. Jarratt. Discusses a postmodern Constitution and the…
How Does the Constitution Secure Rights?
Goldwin, Robert A., Ed.; Schambra, William A., Ed.
Third in a series designed to help prepare the nation for a thoughtful observance of the Constitutional bicentennial, this publication presents six essays addressing the issue of human rights and the Constitution. "How the Constitution Protects Our Rights: A Look at the Seminal Years" (Robert A. Rutland) focuses on James Madison's role…
Teaching about Democratic Constitutionalism. ERIC Digest.
Patrick, John J.
There are more than 100 democracies in the world today. All but three of them--Great Britain, Israel, and New Zealand --have written constitutions. This digest examines the importance of constitutions and constitutionalism and the teaching of these concepts through the use of comparisons. The primary objectives of civic education for democratic…
The Constitution of the Republic of Estonia
2005-01-01
Raamat sisaldab ka: The Constitution of the Republic of Estonia amendment act ; The Constitution of the Republic of Estonia implementation act ; Act to amend the Constitution of the Republic of Estonia for election of local government councils for term of four years
The Constitution of the Republic of Estonia
2009-01-01
Sisaldab ka: The Constitution of the Republic of Estonia Amendment Act. The Constitution of the Republic of Estonia Implementation Act. Act to Amend the Constitution of the Republic of Estonia for Election of Local Government Councils for Term of Four Years
Procedures for measuring and verifying gastric tube placement in newborns: an integrative review
Directory of Open Access Journals (Sweden)
Flávia de Souza Barbosa Dias
Full Text Available ABSTRACT Objective: to investigate evidence in the literature on procedures for measuring gastric tube insertion in newborns and verifying its placement, using alternative procedures to radiological examination. Method: an integrative review of the literature carried out in the Cochrane, LILACS, CINAHL, EMBASE, MEDLINE and Scopus databases using the descriptors “Intubation, gastrointestinal” and “newborns” in original articles. Results: seventeen publications were included and categorized as “measuring method” or “technique for verifying placement”. Regarding measuring methods, the measurements of two morphological distances and the application of two formulas, one based on weight and another based on height, were found. Regarding the techniques for assessing placement, the following were found: electromagnetic tracing, diaphragm electrical activity, CO2 detection, indigo carmine solution, epigastrium auscultation, gastric secretion aspiration, color inspection, and evaluation of pH, enzymes and bilirubin. Conclusion: the measuring method using nose to earlobe to a point midway between the xiphoid process and the umbilicus measurement presents the best evidence. Equations based on weight and height need to be experimentally tested. The return of secretion into the tube aspiration, color assessment and secretion pH are reliable indicators to identify gastric tube placement, and are the currently indicated techniques.
Change of position of constitutional judiciary
Directory of Open Access Journals (Sweden)
Orlović Slobodan P.
2013-01-01
Full Text Available Constitutional judiciary is the youngest branch of authority in the horizontal level of state power. Constitutional judiciary has, during its existence - during two centuries as an ordinary court and during one century as a special authority, changed its position, role and importance. Those characteristics of constitutional judiciary had an increasing way - the position became better, in political and law sense, its role has expanded and the importance has increased. Today, constitutional judiciary is an inevitable subject of constitutional regimes in huge number of states (between them are almost all federations but, in the same time, constitutional judiciary is an authority which is at least limited by the constitution. The constitution is "soft" to the constitutional judiciary because the judiciary interpreted the constitution in accordance to its political and law attitudes, hidden by the guise of protection. Different separation of power, a rise of executive power, requests for better protections of fundamental human rights, a changed role of state and executive power, altogether, have influenced to change of position of constitutional judiciary.
A detailed and verified wind resource atlas for Denmark
Energy Technology Data Exchange (ETDEWEB)
Mortensen, N.G.; Landberg, L.; Rathmann, O.; Nielsen, M.N. [Risoe National Lab., Roskilde (Denmark); Nielsen, P. [Energy and Environmental Data, Aalberg (Denmark)
1999-03-01
A detailed and reliable wind resource atlas covering the entire land area of Denmark has been established. Key words of the methodology are wind atlas analysis, interpolation of wind atlas data sets, automated generation of digital terrain descriptions and modelling of local wind climates. The atlas contains wind speed and direction distributions, as well as mean energy densities of the wind, for 12 sectors and four heights above ground level: 25, 45, 70 and 100 m. The spatial resolution is 200 meters in the horizontal. The atlas has been verified by comparison with actual wind turbine power productions from over 1200 turbines. More than 80% of these turbines were predicted to within 10%. The atlas will become available on CD-ROM and on the Internet. (au)
Leveraging Parallel Data Processing Frameworks with Verified Lifting
Directory of Open Access Journals (Sweden)
Maaz Bin Safeer Ahmad
2016-11-01
Full Text Available Many parallel data frameworks have been proposed in recent years that let sequential programs access parallel processing. To capitalize on the benefits of such frameworks, existing code must often be rewritten to the domain-specific languages that each framework supports. This rewriting–tedious and error-prone–also requires developers to choose the framework that best optimizes performance given a specific workload. This paper describes Casper, a novel compiler that automatically retargets sequential Java code for execution on Hadoop, a parallel data processing framework that implements the MapReduce paradigm. Given a sequential code fragment, Casper uses verified lifting to infer a high-level summary expressed in our program specification language that is then compiled for execution on Hadoop. We demonstrate that Casper automatically translates Java benchmarks into Hadoop. The translated results execute on average 3.3x faster than the sequential implementations and scale better, as well, to larger datasets.
Phenotype in 18 Danish subjects with genetically verified CHARGE syndrome
DEFF Research Database (Denmark)
Husu, E; Hove, Hd; Farholt, Stense
2012-01-01
Husu E, Hove HD, Farholt S, Bille M, Tranebjaerg L, Vogel I, Kreiborg S. Phenotype in 18 Danish subjects with genetically verified CHARGE syndrome. CHARGE (coloboma of the eye, heart defects, choanal atresia, retarded growth and development, genital hypoplasia and ear anomalies and/or hearing loss......) syndrome is a rare genetic, multiple-malformation syndrome. About 80% of patients with a clinical diagnose, have a mutation or a deletion in the gene encoding chromodomain helicase DNA-binding protein 7 (CHD7). Genotype-phenotype correlation is only partly known. In this nationwide study, phenotypic...... problems (12/15) were other frequent cranial nerve dysfunctions. Three-dimensional reconstructions of MRI scans showed temporal bone abnormalities in >85%. CHARGE syndrome present a broad phenotypic spectrum, although some clinical features are more frequently occurring than others. Here, we suggest...
VERIFYING OF BETA CONVERGENCE FOR SOUTH EAST COUNTRIES OF ASIA
Directory of Open Access Journals (Sweden)
Michaela Blaško
2017-05-01
Full Text Available The convergence means the process of balancing disparities in chosen indicators of homogeneous economic groups. β-convergence and is based on the assumption, where less developed economy grows faster than advanced ones, so GDP per capita has higher speed in less developed economy. In this article is verified β convergence based on dependency between the growth of real GDP per capita and the initial level of real GDP per capita (in PPP and by modifications of this relationship by using of Least Squares Method for 9 countries of South East Asia in different samples since 2000 till 2015. For completely explanation of dependency and calculation of consistent, minimal estimator are used dummies and created a structural parameter, which eliminate shocks and possible disparities between chosen countries. Based on reached results was proved convergence just in sample since 2004 till 2008 between chosen nine countries of South East Countries of Asia.
How to Verify and Manage the Translational Plagiarism?
Wiwanitkit, Viroj
2016-01-01
The use of Google translator as a tool for determining translational plagiarism is a big challenge. As noted, plagiarism of the original papers written in Macedonian and translated into other languages can be verified after computerised translation in other languages. Attempts to screen the translational plagiarism should be supported. The use of Google Translate tool might be helpful. Special focus should be on any non-English reference that might be the source of plagiarised material and non-English article that might translate from an original English article, which cannot be detected by simple plagiarism screening tool. It is a hard job for any journal to detect the complex translational plagiarism but the harder job might be how to effectively manage the case. PMID:27703588
Developing an Approach for Analyzing and Verifying System Communication
Stratton, William C.; Lindvall, Mikael; Ackermann, Chris; Sibol, Deane E.; Godfrey, Sally
2009-01-01
This slide presentation reviews a project for developing an approach for analyzing and verifying the inter system communications. The motivation for the study was that software systems in the aerospace domain are inherently complex, and operate under tight constraints for resources, so that systems of systems must communicate with each other to fulfill the tasks. The systems of systems requires reliable communications. The technical approach was to develop a system, DynSAVE, that detects communication problems among the systems. The project enhanced the proven Software Architecture Visualization and Evaluation (SAVE) tool to create Dynamic SAVE (DynSAVE). The approach monitors and records low level network traffic, converting low level traffic into meaningful messages, and displays the messages in a way the issues can be detected.
How to Verify and Manage the Translational Plagiarism?
Directory of Open Access Journals (Sweden)
Viroj Wiwanitkit
2016-06-01
Full Text Available The use of Google translator as a tool for determining translational plagiarism is a big challenge. As noted, plagiarism of the original papers written in Macedonian and translated into other languages can be verified after computerised translation in other languages. Attempts to screen the translational plagiarism should be supported. The use of Google Translate tool might be helpful. Special focus should be on any non-English reference that might be the source of plagiarised material and non-English article that might translate from an original English article, which cannot be detected by simple plagiarism screening tool. It is a hard job for any journal to detect the complex translational plagiarism but the harder job might be how to effectively manage the case.
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP
DEFF Research Database (Denmark)
Wang, Shuling; Nielson, Flemming; Nielson, Hanne Riis
2016-01-01
.e. the communication itself fails to occur. To address this issue, this paper proposes a formal framework by extending HCSP, a formal modeling language for hybrid systems, for modeling and verifying hybrid systems in the absence of receiving messages due to communication failure. We present two inference systems......Hybrid systems are dynamic systems with interacting discrete computation and continuous physical processes. They have become ubiquitous in our daily life, e.g. automotive, aerospace and medical systems, and in particular, many of them are safety-critical. For a safety-critical hybrid system......, the physical process evolves continuously with respect to time, and the discrete controller monitors and controls the physical process in a correct way such that the whole system satisfies the given safety requirements. The safety of hybrid systems depends heavily on the control from the controllers. However...
Equations For Designing Superconducting Transmission Lines
Antsos, Dimitrios
1992-01-01
Characteristics of microwave circuits predicted accurately. Equations for propagation of quasitransverse electric and magnetic (TEM) waves along thin films of high-critical-temperature superconductors constitute basis of mathematical model useful in design of coplanar-waveguide, microstrip, and stripline microwave circuits. Model incorporated into older commercial software for computer-aided design of microwave circuit.
Verifying the correct composition of distributed components: Formalisation and Tool
Directory of Open Access Journals (Sweden)
Ludovic Henrio
2015-02-01
Full Text Available This article provides formal definitions characterizing well-formed composition of components in order to guarantee their safe deployment and execution. Our work focuses on the structural aspects of component composition; it puts together most of the concepts common to many component models, but never formalized as a whole. Our formalization characterizes correct component architectures made of functional and non-functional aspects, both structured as component assemblies. Interceptor chains can be used for a safe and controlled interaction between the two aspects. Our well-formed components guarantee a set of properties ensuring that the deployed component system has a correct architecture and can run safely. Finally, those definitions constitute the formal basis for our Eclipse-based environment for the development and specification of component-based applications.
Partial Differential Equations
1988-01-01
The volume contains a selection of papers presented at the 7th Symposium on differential geometry and differential equations (DD7) held at the Nankai Institute of Mathematics, Tianjin, China, in 1986. Most of the contributions are original research papers on topics including elliptic equations, hyperbolic equations, evolution equations, non-linear equations from differential geometry and mechanics, micro-local analysis.
A New Algorithm for System of Integral Equations
Directory of Open Access Journals (Sweden)
Abdujabar Rasulov
2014-01-01
Full Text Available We develop a new algorithm to solve the system of integral equations. In this new method no need to use matrix weights. Beacause of it, we reduce computational complexity considerable. Using the new algorithm it is also possible to solve an initial boundary value problem for system of parabolic equations. To verify the efficiency, the results of computational experiments are given.
Pallasch, Brian Thomas
This civic education resource packet is designed to provide teachers, community leaders, and other civic educators with an understanding of the differences between constitutional and non-constitutional governments. Six papers discussing the topic are included: "The Differences bewteen Constitutional and Non-Constitutional Governments" (John…
Williams, Robert F.
1993-01-01
Argues that a complete and accurate understanding of constitutional history and constitutional law requires the study of state constitutions. Maintains that state constitutions contain a coherent political theory that is, in important respects, at variance with the concept of federalism. (CFR)
The equations icons of knowledge
Bais, Sander
2005-01-01
For thousands of years mankind has tried to understand nature. Exploring the world on all scales with instruments of ever more ingenuity, we have been able to unravel some of the great mysteries that surround us. While collecting an overwhelming multitude of observational facts, we discovered fundamental laws that govern the structure and evolution of physical reality. We know that nature speaks to us in the language of mathematics. In this language most of our basic understanding of the physical world can be expressed in an unambiguous and concise way. The most artificial language turns out to be the most natural of all. The laws of nature correspond to equations. These equations are the icons of knowledge that mark crucial turning points in our thinking about the world we happen to live in. They form the symbolic representation of most of what we know, and as such constitute an important and robust part of our culture.
Directory of Open Access Journals (Sweden)
Jairo Néia Lima
2016-12-01
Full Text Available The criticisms toward judicial review from Richard Bellamy and Jeremy Waldron’s political constitutionalism approach demonstrate that they do not exclude constitutional courts entirely, as they accept mechanisms of legislative responses, except constitutional amendments. This paper concludes that the high number of constitutional amendments in Brazil does not mitigate judicial review critiques. The extensive structure of the Brazilian Constitution imposes frequent changes, which do not modify its essence. Furthermore, the possibility of judicial review over constitutional amendments represents that constitutional court could overrule legislative response.
Bolton, W
1995-01-01
This book is concerned with linear equations and matrices, with emphasis on the solution of simultaneous linear equations. The solution of simultaneous linear equations is applied to electric circuit analysis and structural analysis.
BRAHA, Florentina Shala; Vilard BYTYQI; VUNIQI, Dardan; Berisha, Fadil
2016-01-01
This paper will deal with individual requests that are submitted at the Constitutional Court in order to assess the constitutionality of criminal judicial decisions. The right to submit issues for assessing the constitutionality of criminal court decisions is a constitutionally guaranteed right. Many individuals who are dissatisfied with the decisions of the judicial instances use their right to oppose such a decision even at the Constitutional Court.Not all the cases submitted to the Court a...
Directory of Open Access Journals (Sweden)
Čiplić Svetozar
2014-01-01
Full Text Available The author deals individual assessments Constitutional court of the Competent in Law, as well as its different interpretation of constitutional and legal provisions. The author is of the opinion that the Constitutional Court amended the constitution and the law guaranteed the position of the Autonomous Province of Vojvodina and that the 'conservative interpretation of' diminished the rights of citizens by the constitution itself by.
Radiative Transfer Theory Verified by Controlled Laboratory Experiments
Mishchenko, Michael I.; Goldstein, Dennis H.; Chowdhary, Jacek; Lompado, Arthur
2013-01-01
We report the results of high-accuracy controlled laboratory measurements of the Stokes reflection matrix for suspensions of submicrometer-sized latex particles in water and compare them with the results of a numerically exact computer solution of the vector radiative transfer equation (VRTE). The quantitative performance of the VRTE is monitored by increasing the volume packing density of the latex particles from 2 to 10. Our results indicate that the VRTE can be applied safely to random particulate media with packing densities up to 2. VRTE results for packing densities of the order of 5 should be taken with caution, whereas the polarized bidirectional reflectivity of suspensions with larger packing densities cannot be accurately predicted. We demonstrate that a simple modification of the phase matrix entering the VRTE based on the so-called static structure factor can be a promising remedy that deserves further examination.
Verifying reciprocal relations for experimental diffusion coefficients in multicomponent mixtures
DEFF Research Database (Denmark)
Medvedev, Oleg; Shapiro, Alexander
2003-01-01
diffusion coefficients into Onsager coefficients for a non-ideal mixture involves derivatives of the chemical potentials and, thus, should be based on a certain thermodynamic model (cubic equation of state (EoS), an activity coefficient model, etc.). Transformation of the Fickian diffusion coefficients...... into Onsager coefficients and a subsequent symmetry check make it possible to evaluate different thermodynamic models with regard to their possibility of being used for prediction of the transport properties. We performed several checks of this kind for ternary mixtures of hydrocarbons and alcohols, where...... extended sets of experimental data and reliable thermodynamic models were available. The sensitivity of the symmetry property to different thermodynamic parameters of the models was also checked. (C) 2003 Elsevier Science B.V. All rights reserved....
VDVR: verifiable visualization of projection-based data.
Zheng, Ziyi; Xu, Wei; Mueller, Klaus
2010-01-01
Practical volume visualization pipelines are never without compromises and errors. A delicate and often-studied component is the interpolation of off-grid samples, where aliasing can lead to misleading artifacts and blurring, potentially hiding fine details of critical importance. The verifiable visualization framework we describe aims to account for these errors directly in the volume generation stage, and we specifically target volumetric data obtained via computed tomography (CT) reconstruction. In this case the raw data are the X-ray projections obtained from the scanner and the volume data generation process is the CT algorithm. Our framework informs the CT reconstruction process of the specific filter intended for interpolation in the subsequent visualization process, and this in turn ensures an accurate interpolation there at a set tolerance. Here, we focus on fast trilinear interpolation in conjunction with an octree-type mixed resolution volume representation without T-junctions. Efficient rendering is achieved by a space-efficient and locality-optimized representation, which can straightforwardly exploit fast fixed-function pipelines on GPUs.
A credit card verifier structure using diffraction and spectroscopy concepts
Sumriddetchkajorn, Sarun; Intaravanne, Yuttana
2008-04-01
We propose and experimentally demonstrate an angle-multiplexing based optical structure for verifying a credit card. Our key idea comes from the fact that the fine detail of the embossed hologram stamped on the credit card is hard to duplicate and therefore its key color features can be used for distinguishing between the real and counterfeit ones. As the embossed hologram is a diffractive optical element, we choose to shine one at a time a number of broadband lightsources, each at different incident angle, on the embossed hologram of the credit card in such a way that different color spectra per incident angle beam is diffracted and separated in space. In this way, the number of pixels of each color plane is investigated. Then we apply a feed forward back propagation neural network configuration to separate the counterfeit credit card from the real one. Our experimental demonstration using two off-the-shelf broadband white light emitting diodes, one digital camera, a 3-layer neural network, and a notebook computer can identify all 69 counterfeit credit cards from eight real credit cards.
Verifying the Simulation Hypothesis via Infinite Nested Universe Simulacrum Loops
Sharma, Vikrant
2017-01-01
The simulation hypothesis proposes that local reality exists as a simulacrum within a hypothetical computer's dimension. More specifically, Bostrom's trilemma proposes that the number of simulations an advanced 'posthuman' civilization could produce makes the proposition very likely. In this paper a hypothetical method to verify the simulation hypothesis is discussed using infinite regression applied to a new type of infinite loop. Assign dimension n to any computer in our present reality, where dimension signifies the hierarchical level in nested simulations our reality exists in. A computer simulating known reality would be dimension (n-1), and likewise a computer simulating an artificial reality, such as a video game, would be dimension (n +1). In this method, among others, four key assumptions are made about the nature of the original computer dimension n. Summations show that regressing such a reality infinitely will create convergence, implying that the verification of whether local reality is a grand simulation is feasible to detect with adequate compute capability. The action of reaching said convergence point halts the simulation of local reality. Sensitivities to the four assumptions and implications are discussed.
Constitutionalism and Democracy in Contemporary International Community
Padjen, Ivan
1992-01-01
Starting from the insight that jurisprudence of legal theory should be concerned primarily with,on the one hand, international law, and, on the other, constitutional developments, the paper; analyzes some prominent conceptions of constitutionalism and democracy in international community and municipal legal orders; formulates a new set of criteria for the analysis of constitutionalism and democracy in international law; and argues that Laswell and McDougal's policy oriented jurisprudence offe...
Human Rights in Indonesian Constitutional Amendments
Kharlie, Ahmad Tholabi
2013-01-01
Human Rights in Indonesian Constitutional Amendments. Indonesian constitutional amendments incorporated human rights principles into the Constitution of the Republic of Indonesia 1945 (UUD NRI), especially in the second amendment in 2000. Under that amendment, the UUD NRI currently stipulates human rights principles as provided for in the Universal Declaration of Human Rights (UDHR). However, there are some important notes, which at its core is a lack of emphasis on the vision and mission of ...
Inferring Mechanisms for Global Constitutional Progress
Rutherford, Alex; Lupu, Yonatan; Cebrian, Manuel; Rahwan, Iyad; LeVeck, Brad; Garcia-Herranz, Manuel
2016-01-01
Constitutions help define domestic political orders, but are known to be influenced by two international mechanisms: one that reflects global temporal trends in legal development, and another that reflects international network dynamics such as shared colonial history. We introduce the provision space; the growing set of all legal provisions existing in the world's constitutions over time. Through this we uncover a third mechanism influencing constitutional change: hierarchical dependencies b...
Comparison of fractional wave equations for power law attenuation in ultrasound and elastography.
Holm, Sverre; Näsholm, Sven Peter
2014-04-01
A set of wave equations with fractional loss operators in time and space are analyzed. The fractional Szabo equation, the power law wave equation and the causal fractional Laplacian wave equation are all found to be low-frequency approximations of the fractional Kelvin-Voigt wave equation and the more general fractional Zener wave equation. The latter two equations are based on fractional constitutive equations, whereas the former wave equations have been derived from the desire to model power law attenuation in applications like medical ultrasound. This has consequences for use in modeling and simulation, especially for applications that do not satisfy the low-frequency approximation, such as shear wave elastography. In such applications, the wave equations based on constitutive equations are the viable ones. Copyright © 2014 World Federation for Ultrasound in Medicine & Biology. Published by Elsevier Inc. All rights reserved.
Scenarios for exercising technical approaches to verified nuclear reductions
Energy Technology Data Exchange (ETDEWEB)
Doyle, James [Los Alamos National Laboratory
2010-01-01
Presidents Obama and Medvedev in April 2009 committed to a continuing process of step-by-step nuclear arms reductions beyond the new START treaty that was signed April 8, 2010 and to the eventual goal of a world free of nuclear weapons. In addition, the US Nuclear Posture review released April 6, 2010 commits the US to initiate a comprehensive national research and development program to support continued progress toward a world free of nuclear weapons, including expanded work on verification technologies and the development of transparency measures. It is impossible to predict the specific directions that US-RU nuclear arms reductions will take over the 5-10 years. Additional bilateral treaties could be reached requiring effective verification as indicated by statements made by the Obama administration. There could also be transparency agreements or other initiatives (unilateral, bilateral or multilateral) that require monitoring with a standard of verification lower than formal arms control, but still needing to establish confidence to domestic, bilateral and multilateral audiences that declared actions are implemented. The US Nuclear Posture Review and other statements give some indication of the kinds of actions and declarations that may need to be confirmed in a bilateral or multilateral setting. Several new elements of the nuclear arsenals could be directly limited. For example, it is likely that both strategic and nonstrategic nuclear warheads (deployed and in storage), warhead components, and aggregate stocks of such items could be accountable under a future treaty or transparency agreement. In addition, new initiatives or agreements may require the verified dismantlement of a certain number of nuclear warheads over a specified time period. Eventually procedures for confirming the elimination of nuclear warheads, components and fissile materials from military stocks will need to be established. This paper is intended to provide useful background information
Difference equations by differential equation methods
Hydon, Peter E
2014-01-01
Most well-known solution techniques for differential equations exploit symmetry in some form. Systematic methods have been developed for finding and using symmetries, first integrals and conservation laws of a given differential equation. Here the author explains how to extend these powerful methods to difference equations, greatly increasing the range of solvable problems. Beginning with an introduction to elementary solution methods, the book gives readers a clear explanation of exact techniques for ordinary and partial difference equations. The informal presentation is suitable for anyone who is familiar with standard differential equation methods. No prior knowledge of difference equations or symmetry is assumed. The author uses worked examples to help readers grasp new concepts easily. There are 120 exercises of varying difficulty and suggestions for further reading. The book goes to the cutting edge of research; its many new ideas and methods make it a valuable reference for researchers in the field.
DEFF Research Database (Denmark)
Veluri, Badrinath; Jensen, Henrik Myhre
2011-01-01
Finite element models with a constitutive material behavior that represents the non-linear response of fiber composites are used to simulate the compressive failure mechanism i.e. kinkband formation. A constitutive material law in framework of micromechanical modeling containing comprehensive...... constitutive equations for the constituent materials is adopted to model the non-linear behavior of the unidirectional layered materials. This material law is implemented as UMAT user subroutine in ABAQUS/Standard to study kinkband formation. The methodology provides a procedure to investigate the kinkband...... formation due to fiber misalignment for various complex structures having voids and material discontinuities that occur normally during the manufacture of these unidirectional fiber composites....
Culture (and religion in constitutional adjudication
Directory of Open Access Journals (Sweden)
C Rautenbach
2003-10-01
Full Text Available The faculty of law of the Potchefstroom University for Christian Higher Education in corroboration with the Konrad-Adenauer-Stifttung embarked on a study on Politics, Socio-Economic Issues and Culture in Constitutional Adjudication. The aim of the project is twofold. The first aim is to analyse the influence of political, socio-economic and cultural considerations on the constitutional court’s interpretation and application of the Bill of Rights. The second aim is to develop practical guidelines (based on the findings during the analysing process for South African courts confronted with issues of a political, socio-economic and cultural nature. This article is concerned with initiating discussions of the decisions of the constitutional court with regard to cultural and religious rights.Before we can explore the role of political, socio-economic and cultural (and religious rights in the decisions of the constitutional court it is important to discuss a few preliminary issues. In this article the meaning of culture and religion within the South African context receives some attention. Secondly, some preliminary comments regarding constitutional protection of culturally and religiously based rights will be made.We are well aware that this is a daunting task, not only in view of the seemingly abysmal gap between the applicable constitutional rights and values enshrined in the 1996 Constitution that, in some instances over centuries, brought about customs and practices within “traditional” communities which, seemingly, infringe on certain constitutional values and rights.
Distinguishing Limitation on Constitutional Rights from Their ...
African Journals Online (AJOL)
Suspension of and limitation on fundamental rights and freedoms are justified violations of constitutional rights. Temporary suspension of some fundamental rights and freedoms can be made on the ground of a state of emergency. Since most constitutional rights are not absolute, they can be limited on basis of national ...
Constitutional Government: The Soul of Modern Democracy.
Mansfield, Harvey C., Jr.
1987-01-01
Discusses the dilemma faced by constitutionalism today: limited, constitutional government requires that people and society be independent and distrustful of the state, but if the people are too independent and capable of ruling, they may wish to extend their powers and attempt to rule over others. (PS)
World Studies through a Comparative Constitutional Prism.
Robinson, Donald
1992-01-01
Emphasizes the importance of understanding the development of democracy around the world by comparative study of constitutions. Uses the development of the Japanese constitution after World War II as a case study. Describes the work of the team appointed by General Douglas MacArthur and the significance of the clause guaranteeing equal rights for…
The Meaning of Religion: A Constitutional Perspective.
Lilly, Edward R.
The problems of formulating a legal definition of religion as used in the U.S. Constitution may be traced through the Supreme Court's interpretation of the word. According to the U.S. Constitution, religious tests cannot be required for any office or public trust under the central government. The Bill of Rights states that the national government…
Oscillation results for certain fractional difference equations
Directory of Open Access Journals (Sweden)
Zhiyun WANG
2017-08-01
Full Text Available Fractional calculus is a theory that studies the properties and application of arbitrary order differentiation and integration. It can describe the physical properties of some systems more accurately, and better adapt to changes in the system, playing an important role in many fields. For example, it can describe the process of tumor growth (growth stimulation and growth inhibition in biomedical science. The oscillation of solutions of two kinds of fractional difference equations is studied, mainly using the proof by contradiction, that is, assuming the equation has a nonstationary solution. For the first kind of equation, the function symbol is firstly determined, and by constructing the Riccati function, the difference is calculated. Then the condition of the function is used to satisfy the contradiction, that is, the assumption is false, which verifies the oscillation of the solution. For the second kind of equation with initial condition, the equivalent fractional sum form of the fractional difference equation are firstly proved. With considering 0<α≤1 and α>1, respectively, by using the properties of Stirling formula and factorial function, the contradictory is got through enhanced processing, namely the assuming is not established, and the sufficient condition for the bounded solutions of the fractional difference equation is obtained. The above results will optimize the relevant conclusions and enrich the relevant results. The results are applied to the specific equations, and the oscillation of the solutions of equations is proved.
Constructing constitutive relationships for seismic and aseismic fault slip
Beeler, N.M.
2009-01-01
For the purpose of modeling natural fault slip, a useful result from an experimental fault mechanics study would be a physically-based constitutive relation that well characterizes all the relevant observations. This report describes an approach for constructing such equations. Where possible the construction intends to identify or, at least, attribute physical processes and contact scale physics to the observations such that the resulting relations can be extrapolated in conditions and scale between the laboratory and the Earth. The approach is developed as an alternative but is based on Ruina (1983) and is illustrated initially by constructing a couple of relations from that study. In addition, two example constitutive relationships are constructed; these describe laboratory observations not well-modeled by Ruina's equations: the unexpected shear-induced weakening of silica-rich rocks at high slip speed (Goldsby and Tullis, 2002) and fault strength in the brittle ductile transition zone (Shimamoto, 1986). The examples, provided as illustration, may also be useful for quantitative modeling.
Verifying cell loss requirements in high-speed communication networks
Directory of Open Access Journals (Sweden)
Kerry W. Fendick
1998-01-01
Full Text Available In high-speed communication networks it is common to have requirements of very small cell loss probabilities due to buffer overflow. Losses are measured to verify that the cell loss requirements are being met, but it is not clear how to interpret such measurements. We propose methods for determining whether or not cell loss requirements are being met. A key idea is to look at the stream of losses as successive clusters of losses. Often clusters of losses, rather than individual losses, should be regarded as the important loss events. Thus we propose modeling the cell loss process by a batch Poisson stochastic process. Successive clusters of losses are assumed to arrive according to a Poisson process. Within each cluster, cell losses do not occur at a single time, but the distance between losses within a cluster should be negligible compared to the distance between clusters. Thus, for the purpose of estimating the cell loss probability, we ignore the spaces between successive cell losses in a cluster of losses. Asymptotic theory suggests that the counting process of losses initiating clusters often should be approximately a Poisson process even though the cell arrival process is not nearly Poisson. The batch Poisson model is relatively easy to test statistically and fit; e.g., the batch-size distribution and the batch arrival rate can readily be estimated from cell loss data. Since batch (cluster sizes may be highly variable, it may be useful to focus on the number of batches instead of the number of cells in a measurement interval. We also propose a method for approximately determining the parameters of a special batch Poisson cell loss with geometric batch-size distribution from a queueing model of the buffer content. For this step, we use a reflected Brownian motion (RBM approximation of a G/D/1/C queueing model. We also use the RBM model to estimate the input burstiness given the cell loss rate. In addition, we use the RBM model to
VISION User Guide - VISION (Verifiable Fuel Cycle Simulation) Model
Energy Technology Data Exchange (ETDEWEB)
Jacob J. Jacobson; Robert F. Jeffers; Gretchen E. Matthern; Steven J. Piet; Benjamin A. Baker; Joseph Grimm
2009-08-01
The purpose of this document is to provide a guide for using the current version of the Verifiable Fuel Cycle Simulation (VISION) model. This is a complex model with many parameters; the user is strongly encouraged to read this user guide before attempting to run the model. This model is an R&D work in progress and may contain errors and omissions. It is based upon numerous assumptions. This model is intended to assist in evaluating “what if” scenarios and in comparing fuel, reactor, and fuel processing alternatives at a systems level for U.S. nuclear power. The model is not intended as a tool for process flow and design modeling of specific facilities nor for tracking individual units of fuel or other material through the system. The model is intended to examine the interactions among the components of a fuel system as a function of time varying system parameters; this model represents a dynamic rather than steady-state approximation of the nuclear fuel system. VISION models the nuclear cycle at the system level, not individual facilities, e.g., “reactor types” not individual reactors and “separation types” not individual separation plants. Natural uranium can be enriched, which produces enriched uranium, which goes into fuel fabrication, and depleted uranium (DU), which goes into storage. Fuel is transformed (transmuted) in reactors and then goes into a storage buffer. Used fuel can be pulled from storage into either separation of disposal. If sent to separations, fuel is transformed (partitioned) into fuel products, recovered uranium, and various categories of waste. Recycled material is stored until used by its assigned reactor type. Note that recovered uranium is itself often partitioned: some RU flows with recycled transuranic elements, some flows with wastes, and the rest is designated RU. RU comes out of storage if needed to correct the U/TRU ratio in new recycled fuel. Neither RU nor DU are designated as wastes. VISION is comprised of several
Riccati differential equations
Brolih, Anita
2011-01-01
The intention of this thesis is to present Riccati differential equations, which are used in mathematics and in many other natural sciences. These equations are presented in their basic and in some specific forms and supported with several examples, which make this issue easier to understand. We will introduce mostly Riccati equations of first order and also their correlation with second-order differential equation. At the beginning of solving equations we will sum up the process of solvin...
The Constitutive Modeling of Thin Films with Randon Material Wrinkles
Murphey, Thomas W.; Mikulas, Martin M.
2001-01-01
Material wrinkles drastically alter the structural constitutive properties of thin films. Normally linear elastic materials, when wrinkled, become highly nonlinear and initially inelastic. Stiffness' reduced by 99% and negative Poisson's ratios are typically observed. This paper presents an effective continuum constitutive model for the elastic effects of material wrinkles in thin films. The model considers general two-dimensional stress and strain states (simultaneous bi-axial and shear stress/strain) and neglects out of plane bending. The constitutive model is derived from a traditional mechanics analysis of an idealized physical model of random material wrinkles. Model parameters are the directly measurable wrinkle characteristics of amplitude and wavelength. For these reasons, the equations are mechanistic and deterministic. The model is compared with bi-axial tensile test data for wrinkled Kaptong(Registered Trademark) HN and is shown to deterministically predict strain as a function of stress with an average RMS error of 22%. On average, fitting the model to test data yields an RMS error of 1.2%
Constitutive relationships of prestressed steel fiber concrete membrane elements
Hoffman, Norman S.
Steel Fiber Concrete (SFC) displays certain tensile and shear characteristics which are beneficial for concrete that is loaded in a state of shear stress. For example, prestressed bridge beams carry shear load in their web by utilizing shear stirrups. If the properties of SFC can be better understood, then it may be possible to replace the shear stirrups with SFC. The first step in understanding this behavior is to develop a constitutive model for prestressed SFC. Two groups of full-scale prestressed steel fiber concrete (SFC) panels, with a nominal strength of 6 ksi, were tested in the Universal Element Testing machine at Thomas TC Hsu Structural Testing Laboratory to establish the effect of fiber and the level of prestress on the constitutive laws of fiber concrete and prestressing tendon. The specimens contained from 5 to 20 fully tensioned, low-relaxation grade 270 tendons. Fiber content ranged from 0.5% to 1.5% using high performance hooked end fibers. The first group of five panels, designated Group TEF, was used to determine the basic constitutive properties of prestressed SEC for use in the Softened Membrane Model (SMM). The constitutive model consists of smeared tensile and compressive stress strain relationships. An equation for softening with respect of both fiber content and tensile strain is presented. Also presented is a new equation for prestressed SFC in tension. It is notable that the behavior of prestressed SFC in tension displayed significant post-cracking tensile strength for fiber contents ranging from 0.5% to 1.5% by volume. Prior research on SFC using unreinforced dog-bone specimens, or prismatic specimens reinforced with only a single isolated tendon, are not capable of capturing SFC behavior afforded by the stress state, multiple load paths, and confinement situation available in full-scale panel assemblies. The second set of 5 test panels, designated Group TAF, was used to examine the properties of prestressed SFC under the conditions of
Kinetic energy equations for the average-passage equation system
Johnson, Richard W.; Adamczyk, John J.
1989-01-01
Important kinetic energy equations derived from the average-passage equation sets are documented, with a view to their interrelationships. These kinetic equations may be used for closing the average-passage equations. The turbulent kinetic energy transport equation used is formed by subtracting the mean kinetic energy equation from the averaged total instantaneous kinetic energy equation. The aperiodic kinetic energy equation, averaged steady kinetic energy equation, averaged unsteady kinetic energy equation, and periodic kinetic energy equation, are also treated.
Subjectivity, individuality and singularity in children: a socially constituted subject
Directory of Open Access Journals (Sweden)
Alessandra Del Ré
2012-11-01
Full Text Available Considering the hypothesis that Bakhtin and his Circle‟s reflections can help us think about issues involving the field of Language Acquisition, in addition to the fact that there are only a few works developed within this perspective in Brazil, in this article, we intend to discuss the notions of “subject”, “subjectivity”,“individuality” and “singularity”, drawing on Bakhtin‟s theory. Thus, in order to make this discussion clearer, we bring data from the speech of young children, from 1.8 to 3 years old, who were filmed in natural contexts interacting with their parents and relatives. From these data, we could verify, among other things, that children, as individuals who constitute themselves as subjects in and throughlanguage, bring marks to their discourse, revealing their subjectivity (through lexical, morphological, syntactic or genre choices.
CONSTITUTIONAL INTERPRETATION OF ROMANIA: POST MODERNITY
Directory of Open Access Journals (Sweden)
P. RATHNASWAMY
2017-06-01
Full Text Available Austria had in 1920 Constitutional Court followed by Italy in 1946, Germany in 1949, Romania in 1989, South Africa in 1991, and Ethiopia in 1995. Each Constitution has its provisions on the constitutional interpretation. Romania has its own provisions and it is considered here its legality and the best possible measures and recommendations for future. Judicial power is vested in judiciary to interpret constitution, laws, and actions of other organs of government. Judicial review is the function resulted upon judicial power. Political body joins through the appointment of its members in the judicial review and it limits the independence of judiciary. It also reduces the values of separation of powers. Challenges and opportunities of growth and development do influence the spirit of separation of powers and judicial independence. The principle of inherent judicial power in judiciary inducts upon the constitutional interpretation. Thus, the principles of constitutional interpretation are varying in Romania and other similar constitutional courts of Germany, Ethiopia, and Italy but not in South Africa.
Closing in on the constitution of consciousness
Directory of Open Access Journals (Sweden)
Steven M. Miller
2014-11-01
Full Text Available The science of consciousness is a nascent and thriving field of research that is founded on identifying the minimally sufficient neural correlates of consciousness. However, I have argued that it is the neural constitution of consciousness that science seeks to understand and that there are no evident strategies for distinguishing the correlates and constitution of (phenomenal consciousness. Here I review this correlation/constitution distinction problem and challenge the existing foundations of consciousness science. I present the main analyses from a longer paper in press on this issue, focusing on recording, inhibition, stimulation and combined inhibition/stimulation strategies, including proposal of the Jenga analogy to illustrate why identifying the minimally sufficient neural correlates of consciousness should not be considered the ultimate target of consciousness science. Thereafter I suggest that while combined inhibition and stimulation strategies might identify some constitutive neural activities — indeed minimally sufficient constitutive neural activities — such strategies fail to identify the whole neural constitution of consciousness and thus the correlation/constitution distinction problem is not fully solved. Various clarifications, potential objections and related scientific and philosophical issues are also discussed and I conclude by proposing new foundational claims for consciousness science.
[The right to health. Constitutional dimensions].
Pestalozza, C
2007-09-01
A fundamental "right to health" is expressly guaranteed by the constitutions of several Bundesländer, but unknown to the German Federal Constitution. Instead the Federal Constitutional Court has - especially on the basis of related human rights - developed the obligation of the State to protect everybody's life and physical integrity, which in some respects comes near to a "right to health". The State's autonomy in financial matters, the scarcity of its financial resources and the individual's natural responsibility for his own health though advise against exaggerated hopes set in a "right to health".
The constitutional control system in Colombia
Directory of Open Access Journals (Sweden)
Luis Javier Moreno Ortiz
2010-12-01
Full Text Available The system of constitutional control in Colombia designed in the Legislative Act n.º 3 of 1910 is a milestone in a long and fruitful political and constitutional tradition owes much to his Hispanic roots and its American developments. Both the public action of unconstitutionality as the plea of unconstitutionality have clear precedents in the constitutionalism of Spain and the Colony were prepared by a Constituent Assembly acted with knowledge and faithfulness to that tradition and have been and are institutions of our capital social and democratic state of law.
Competition And Antitrust Law In Ecuadorian Constitution
Directory of Open Access Journals (Sweden)
Marcelo Marín Sevilla
2013-01-01
Full Text Available This work allows us to establish the Economic Constitution and the Competition Law (C.L in the Constitution. Additionally, the paper analyzes whether the rules outlined in the C. L. and in doctrine are consistent and appropriate with the Constitution of Ecuador. The Competition and Antitrust Laws has rules for investigating and punishing the cartels, the abuses of power market (dominant position, the rules for merger control, the behaviors of Abuse of economic dependence, and unfair competition behaviors. Always the Antitrust Authority will analyze these behaviors in terms of welfare of both: the consumer and the market.
Evaluation of Constitutive Conditions for Production of Sorghum Stovers Briquette
Directory of Open Access Journals (Sweden)
J. O. Olaoye
2017-06-01
Full Text Available Management of biomass waste is one of the problems faced in rural-urban area of developing countries. Engineering properties of biomass materials need to be evaluated in order to have design data for machines required for densification processes. This study was aimed at evaluating the constitutive conditions of densification of Sorghum stover. Selected physical and chemical properties of Sorghum stover were determined and the effects of constitutive conditions (particle size, moisture content, and pre heating temperature on such parameters as stress at peak, strain at peak and energy at peak of Sorghum stover were studied. Relationship between process variables for densification process for the stover was established. A fabricated densification rig that consisted of a compression cylinder 32 mm diameter and110 mm height, and piston of 32 mm diameter and 250 mm length, was instrumented on a 300 kN UTM (Testometric SF-300-2041 combined with a temperature heating chamber (SIEMENS TLK-96. A 33 factorial was used to predict the effects of particle size, temperature and moisture content on the densification process for the stover. Data obtained were statistically analyzed using IBM SPSS Statistics 21 software package. Results showed that Sorghum stover bulk density ranged from 170.000 to 170.267 kg/m3 and crude protein was estimated to be 5.03 %. Constitutive conditions had significant effects on the constitutive parameters at . Linear regression equations were used to predict the responses of the densification parameters. The fabricated densification rig is recommended for the determination of relevant parameters for other biomass materials.
Introduction to differential equations
Taylor, Michael E
2011-01-01
The mathematical formulations of problems in physics, economics, biology, and other sciences are usually embodied in differential equations. The analysis of the resulting equations then provides new insight into the original problems. This book describes the tools for performing that analysis. The first chapter treats single differential equations, emphasizing linear and nonlinear first order equations, linear second order equations, and a class of nonlinear second order equations arising from Newton's laws. The first order linear theory starts with a self-contained presentation of the exponen
Uraltseva, N N
1995-01-01
This collection focuses on nonlinear problems in partial differential equations. Most of the papers are based on lectures presented at the seminar on partial differential equations and mathematical physics at St. Petersburg University. Among the topics explored are the existence and properties of solutions of various classes of nonlinear evolution equations, nonlinear imbedding theorems, bifurcations of solutions, and equations of mathematical physics (Navier-Stokes type equations and the nonlinear Schrödinger equation). The book will be useful to researchers and graduate students working in p
Constitutional Aneuploidy in the Normal Human Brain
National Research Council Canada - National Science Library
Rehen, Stevens K; Yung, Yun C; McCreight, Matthew P; Kaushal, Dhruv; Yang, Amy H; Almeida, Beatriz S. V; Kingsbury, Marcy A; Cabral, Katia M. S; McConnell, Michael J; Anliker, Brigitte; Fontanoz, Marisa; Chun, Jerold
2005-01-01
.... Chromosome 21 aneuploid cells constitute approximately 4% of the estimated one trillion cells in the human brain and include non-neuronal cells and postmitotic neurons identified by the neuronspecific nuclear protein marker...
Quantum interference distinguishes between constitutional isomers
Tüxen, Jens; Gerlich, Stefan; Eibenberger, Sandra; Arndt, Markus; Mayor, Marcel
2014-01-01
Matter waves, as introduced by de Broglie in 1923, are a fundamental quantum phenomenon, describing the delocalized center of mass motion of massive bodies and we show here their sensitivity to the molecular structure of constitutional isomers.
'i'iElectoral Systems, Constitutionalism
African Journals Online (AJOL)
strongly that for democratic governance and constitutionalism to be nurtured and consolidated ... big role in whether economies grow7 whether children go to school, whether human ..... Source: SAPES Trust Data Bank. M PLA. BDP. LCD.
Constitutive modeling of metastable austenitic stainless steel
Perdahcioglu, Emin Semih; Geijselaers, Hubertus J.M.; Huetink, Han; Khan, A.
2010-01-01
A physically based, macroscale constitutive model has been developed that can describe the complex mechanical behavior of metastable austenitic stainless steels. In the developed model a generalized model for the mechanically induced martensitic transformation is introduced. Mechanical tests have
Dynamic constitutional frameworks for DNA biomimetic recognition.
Catana, Romina; Barboiu, Mihail; Moleavin, Ioana; Clima, Lilia; Rotaru, Alexandru; Ursu, Elena-Laura; Pinteala, Mariana
2015-02-07
Linear and cross-linked dynamic constitutional frameworks generated from reversibly interacting linear PEG/core constituents and cationic sites shed light on the dominant coiling versus linear DNA binding behaviours, closer to the histone DNA binding wrapping mechanism.
Constituting objectivity transcendental perspectives on modern physics
Bitbol, Michael; Petitot, Jean
2009-01-01
This book pins down the methodological core of transcendental epistemology that must be used in order to throw light on the foundations of modern physics. A renewed understanding of modern physics is offered by the concept of constitution of objectivity.
Lagrangian viscoelastic flow computations using the Rivlin-Sawyers constitutive model
DEFF Research Database (Denmark)
Rasmussen, Henrik Koblitz
2000-01-01
convected Maxwell fluid to a fluid described by an integral constitutive equation of the Rivlin-Sawyers type. This includes the K-BKZ model. The convergence of the method is demonstrated on the axisymmetric problem of the inflation of a polymeric membrane only restricted by a clamping ring....
Receptor binding kinetics equations: Derivation using the Laplace transform method.
Hoare, Sam R J
Measuring unlabeled ligand receptor binding kinetics is valuable in optimizing and understanding drug action. Unfortunately, deriving equations for estimating kinetic parameters is challenging because it involves calculus; integration can be a frustrating barrier to the pharmacologist seeking to measure simple rate parameters. Here, a well-known tool for simplifying the derivation, the Laplace transform, is applied to models of receptor-ligand interaction. The method transforms differential equations to a form in which simple algebra can be applied to solve for the variable of interest, for example the concentration of ligand-bound receptor. The goal is to provide instruction using familiar examples, to enable investigators familiar with handling equilibrium binding equations to derive kinetic equations for receptor-ligand interaction. First, the Laplace transform is used to derive the equations for association and dissociation of labeled ligand binding. Next, its use for unlabeled ligand kinetic equations is exemplified by a full derivation of the kinetics of competitive binding equation. Finally, new unlabeled ligand equations are derived using the Laplace transform. These equations incorporate a pre-incubation step with unlabeled or labeled ligand. Four equations for measuring unlabeled ligand kinetics were compared and the two new equations verified by comparison with numerical solution. Importantly, the equations have not been verified with experimental data because no such experiments are evident in the literature. Equations were formatted for use in the curve-fitting program GraphPad Prism 6.0 and fitted to simulated data. This description of the Laplace transform method will enable pharmacologists to derive kinetic equations for their model or experimental paradigm under study. Application of the transform will expand the set of equations available for the pharmacologist to measure unlabeled ligand binding kinetics, and for other time
Social rights constitutionalism: an antagonistic endorsement
Christodoulidis, Emilios
2017-01-01
The article discusses how we might understand solidarity as the organizing concept behind the institutionalization of social rights. I argue that writing solidarity into social rights constitutionalism carries productive tension into constitutional thinking because it disturbs the smooth passage from civil to political and finally to social rights. Marshall's influential argument that social rights are continuous to civil and political rights has become both the grounding assumption in consti...
Urgency of Attorney Governed by the Constitution
Directory of Open Access Journals (Sweden)
Rommy Patra
2015-12-01
Full Text Available Attorney existence in the Indonesian constitutional structure has a dilemma for this position. On one side is the Prosecutor’s law enforcement agencies to exercise power independently prosecution while on the other hand is part of a government institution under Law No. 16 of 2004 regarding the Attorney. The position of Attorney as an institution of government has been led to the independence of the Prosecutor is not optimal so that it appears stigma that the Prosecutor merely as a tool of the ruling power. In addition the terms of the arrangement just under the Act, the Attorney General has no legal standing as a constitutional organ that has the constitutional authority so that the current position does not reflect the urgency of its duties and functions. In an effort to organize the next Attorney institutions should be regulated directly by the Constitution. It is intended to make the Attorney as part of the main state organs have the same legal standing as other law enforcement agencies, the police and the courts (Supreme Court and Constitutional Court. As well as to strengthen and clarify the position as a state institution, prosecution authorities are focusing on the Attorney as central of authority, to fix the institutional relations between the members of law enforcement and related agencies and strengthen the independence of the Prosecutor in performing the function of prosecution in the constitutional structure of Indonesia.
Constitutive modeling for analysis and design of aluminum sheet forming processes
Energy Technology Data Exchange (ETDEWEB)
Barlat, F. [Alcoa Inc., Alcoa Technical Center, Alcoa Center, Pennsylvania (United States); Chung, K. [Seoul National Univ., College of Engineering, Dept. of Materials Science and Engineering, Shinlim-Dong, Kwanak-Ku, Seoul (Korea, Republic of); Yoon, J-W. [LG Electronics, LG Production Engineering Research Center, Cheongho-Ri, Jinwuy-Myun, Pyungtaek-City, Kyungki-Do (Korea, Republic of); Choi, S-H. [POSCO Technical Research Laboratories, Kumho-Dong, Kwangyang-Shi, Cheonnam (Korea, Republic of)
2000-07-01
Finite element modeling (FEM) technology is one of the most powerful tools used to design new products, i.e. appliances, automotive, rigid packaging and aerospace parts, etc., and processes. However, FEM users need data and models to characterize the materials used to fabricate the new products. In fact, they need more information than the traditional and standard yield strength, ultimate strength, elongation, etc. Constitutive models and their associated coefficients represent a new way to describe material properties, a way that can be used by FEM users. In order to help manufacturers use more aluminum alloy sheet in their products, appropriate material models are needed to analyze and design specifically for these materials. This work describes a methodology that provides phenomenological constitutive equations based on three main microstructure components of aluminum alloys: dislocation density, second-phase particles and crystallographic texture. Examples of constitutive equations and their applications to numerical sheet forming process analysis and design are provided in this work. (author)
The Practice of Informal Changes to the Ethiopian Constitution …
African Journals Online (AJOL)
Nigussie Afesha
FDRE Constitution, informal constitutional changes, constitutional amendment, constitutional interpretation, political .... over time without textual changes, typically by means of constitutional court rulings and, less visibly, ..... indeterminate, the courts are called upon to fashion a meaning”.98 It is in this sense that “constitution ...
Non-integer viscoelastic constitutive law to model soft biological tissues to in-vivo indentation.
Demirci, Nagehan; Tönük, Ergin
2014-01-01
During the last decades, derivatives and integrals of non-integer orders are being more commonly used for the description of constitutive behavior of various viscoelastic materials including soft biological tissues. Compared to integer order constitutive relations, non-integer order viscoelastic material models of soft biological tissues are capable of capturing a wider range of viscoelastic behavior obtained from experiments. Although integer order models may yield comparably accurate results, non-integer order material models have less number of parameters to be identified in addition to description of an intermediate material that can monotonically and continuously be adjusted in between an ideal elastic solid and an ideal viscous fluid. In this work, starting with some preliminaries on non-integer (fractional) calculus, the "spring-pot", (intermediate mechanical element between a solid and a fluid), non-integer order three element (Zener) solid model, finally a user-defined large strain non-integer order viscoelastic constitutive model was constructed to be used in finite element simulations. Using the constitutive equation developed, by utilizing inverse finite element method and in vivo indentation experiments, soft tissue material identification was performed. The results indicate that material coefficients obtained from relaxation experiments, when optimized with creep experimental data could simulate relaxation, creep and cyclic loading and unloading experiments accurately. Non-integer calculus viscoelastic constitutive models, having physical interpretation and modeling experimental data accurately is a good alternative to classical phenomenological viscoelastic constitutive equations.
Residual power series method for fractional Burger types equations
Kumar, Amit; Kumar, Sunil
2016-12-01
We present an analytic algorithm to solve the generalized Berger-Fisher (B-F) equation, B-F equation, generalized Fisher equation and Fisher equation by using residual power series method (RPSM), which is based on the generalized Taylor's series formula together with the residual error function. In all the cases obtained results are verified through the different graphical representation. Comparison of the results obtained by the present method with exact solution reveals that the accuracy and fast convergence of the proposed method.
Ordinary differential equations
Greenberg, Michael D
2014-01-01
Features a balance between theory, proofs, and examples and provides applications across diverse fields of study Ordinary Differential Equations presents a thorough discussion of first-order differential equations and progresses to equations of higher order. The book transitions smoothly from first-order to higher-order equations, allowing readers to develop a complete understanding of the related theory. Featuring diverse and interesting applications from engineering, bioengineering, ecology, and biology, the book anticipates potential difficulties in understanding the various solution steps
Beginning partial differential equations
O'Neil, Peter V
2014-01-01
A broad introduction to PDEs with an emphasis on specialized topics and applications occurring in a variety of fields Featuring a thoroughly revised presentation of topics, Beginning Partial Differential Equations, Third Edition provides a challenging, yet accessible,combination of techniques, applications, and introductory theory on the subjectof partial differential equations. The new edition offers nonstandard coverageon material including Burger's equation, the telegraph equation, damped wavemotion, and the use of characteristics to solve nonhomogeneous problems. The Third Edition is or
Energy Technology Data Exchange (ETDEWEB)
Ichiguchi, Katsuji [National Inst. for Fusion Science, Toki, Gifu (Japan)
1998-08-01
A new reduced set of resistive MHD equations is derived by averaging the full MHD equations on specified flux coordinates, which is consistent with 3D equilibria. It is confirmed that the total energy is conserved and the linearized equations for ideal modes are self-adjoint. (author)
2010-01-06
... SECURITY U.S. Citizenship and Immigration Services Agency Information Collection Activities: E-Verify Data... Collection Under Review: E-Verify Data ] Collection Survey, Control No. OMB-55. The Department of Homeland... Collection: New information collection. (2) Title of the Form/Collection: E-Verify Data Collection. (3...
31 CFR 363.14 - How will you verify my identity?
2010-07-01
... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false How will you verify my identity? 363... you verify my identity? (a) Individual. When you establish an account, we may use a verification service to verify your identity using information you provide about yourself on the online application. At...
Fractional Differential Equations
Directory of Open Access Journals (Sweden)
Jianping Zhao
2012-01-01
Full Text Available An extended fractional subequation method is proposed for solving fractional differential equations by introducing a new general ansätz and Bäcklund transformation of the fractional Riccati equation with known solutions. Being concise and straightforward, this method is applied to the space-time fractional coupled Burgers’ equations and coupled MKdV equations. As a result, many exact solutions are obtained. It is shown that the considered method provides a very effective, convenient, and powerful mathematical tool for solving fractional differential equations.
Between constitution and interpretation: Identity as history
Directory of Open Access Journals (Sweden)
Hilt Annette
2015-01-01
Full Text Available The paper focuses on the possibilities to constitute meaning in the „borderline- situations“ (Jaspers of the social sphere, such as the loss of validity of orientation within and experience of reality in the socially shared structures of the lifeworld. On the one hand, I will refer to A. Schutz’ and his constitution-analysis of foreign understanding and of shared meaning; on the other hand, I bear onto I. Kertész literary project to narrate the biography of an Auschwitz-survivor as close to his experiential perspective as possible. I will focus both on the concept of constitution and of interpretation with respect to their enabling of the transcending of a typologized everyday’s world which suppresses subjective meaning and its individual articulation. The main guideline is the problem how identity – i.e. a life-story – is configured out of subjective meaning without recourse to everyday reality. A. Schutz’s and Th. Luckmann’s note on a range of social transcendences and on biographical categories referring to the constitution of a socially shared meaning offer a theoretical perspective for dealing with constitutive differences within the reach of understanding social meaning; Kertész’ narrative mode expandes this theoretical stance as it problematizes exemplary subjective experience.
Larson, David B; Malarik, Remo J; Hall, Seth M; Podberesky, Daniel J
2013-10-01
To evaluate the effect of an automated computed tomography (CT) radiation dose optimization and process control system on the consistency of estimated image noise and size-specific dose estimates (SSDEs) of radiation in CT examinations of the chest, abdomen, and pelvis. This quality improvement project was determined not to constitute human subject research. An automated system was developed to analyze each examination immediately after completion, and to report individual axial-image-level and study-level summary data for patient size, image noise, and SSDE. The system acquired data for 4 months beginning October 1, 2011. Protocol changes were made by using parameters recommended by the prediction application, and 3 months of additional data were acquired. Preimplementation and postimplementation mean image noise and SSDE were compared by using unpaired t tests and F tests. Common-cause variation was differentiated from special-cause variation by using a statistical process control individual chart. A total of 817 CT examinations, 490 acquired before and 327 acquired after the initial protocol changes, were included in the study. Mean patient age and water-equivalent diameter were 12.0 years and 23.0 cm, respectively. The difference between actual and target noise increased from -1.4 to 0.3 HU (P process control chart identified several special causes of variation. Implementation of an automated CT radiation dose optimization system led to verifiable simultaneous decrease in image noise variation and SSDE. The automated nature of the system provides the opportunity for consistent CT radiation dose optimization on a broad scale. © RSNA, 2013.
Su, Xiang; Wang, Gang; Li, Jianfeng; Rong, Yiming
2016-01-01
The effects of strain rate and temperature on the dynamic behavior of Fe-based high temperature alloy was studied. The strain rates were 0.001-12,000 s(-1), at temperatures ranging from room temperature to 800 °C. A phenomenological constitutive model (Power-Law constitutive model) was proposed considering adiabatic temperature rise and accurate material thermal physical properties. During which, the effects of the specific heat capacity on the adiabatic temperature rise was studied. The constitutive model was verified to be accurate by comparison between predicted and experimental results.
Directory of Open Access Journals (Sweden)
Kenstavičienė Kristina
2015-12-01
Full Text Available Article 139 of the Constitution of the Republic of Lithuania is one of the constitutional fundamentals of state defense and stipulates the defense of the state as the right of citizens on the one hand and the duty on the other. This article of the Constitution gives the legislative power the right of discretion to detail by law the order of the implementation of citizens’ duty to perform military or alternative country defense service. Due to the reorganization of the armed forces into a professional and volunteer army, the issue of some ordinary regulation rules concerning the constitutionality of nationwide conscription, though at present suspended but not abolished, is becoming urgent. Though the Constitutional Court of the Republic of Lithuania presented their ruling on the constitutionality of the suspension of military conscription, it does not mean that all problems related to conscription have been settled. The aim of this article is to analyze the constitutional basis of nationwide conscription as well as the constitutionality of some ordinary regulation provisions related to nationwide conscription. Therefore, the issue to be analyzed is whether nationwide conscription, if it were to be implemented, complies with the constitutional principles of human equality and military justice1. Consequently, the question is posed how the constitutional objective of ensuring the defense of the state determines conscription. Because of the growing employment of the army abroad, yet the dwindling demand for conscripts, it should be explored whether the suspension of the nationwide conscription as a part of the defense reform is further feasible in order to guarantee the defense of the state. In answering the raised questions, the author will analyze the abundant and long-lasting constitutional doctrine of Germany which provides clarifications of the Basic Law, as the legal act of the establishing power, which can doubtless be of assistance in
The Trials and Tribulations of Constitutionalism and the Constitution Making Process in Zimbabwe
Mapuva, Jephias
2015-01-01
Constitutionalism in Zimbabwe has been characterised by controversy with citizens getting a raw deal. The colonial era was characterised by deprivation of basic rights and civil liberties. A plethora of constitutions were established to try and create a semblance of black representativity. The post-colonial era was informed by governance structures provided by the Lancaster House Constitutional document which was a surrender document that brought the protracted liberation struggle to an end. ...
Cultural, social and economic rights in the Constitution corpus and Constitutional Court’s Case Law
Directory of Open Access Journals (Sweden)
Patricio Rubio
2013-12-01
Full Text Available This article deals with Cultural, Social and Economic Rights established in the Constitution and in Constitutional Case Law. So, after explaining its nature, state’s role according preservation and enforceability,relationship with other fundamental rights, among other key points, it isi ntended to answer, dealing with those rights, which of two scenarios have prevailed: internationalization of constitutional law or constitutionalization of international law.
Turbulence modeling based on non-Newtonian constitutive laws
Energy Technology Data Exchange (ETDEWEB)
Mompean, G [Universite Lille 1, Polytech' Lille, LML, CNRS, UMR 8107, F-59655 V. d' Ascq (France); Qiu, X [Department of Mathematics and Physics, Shanghai Institute of Technology, Shanghai 200235 (China); Schmitt, F G [LOG, CNRS, UMR 8187, F-62930 Wimereux (France); Thompson, R, E-mail: gilmar.mompean@polytech-lille.fr [UFF, LMTA, Niteroi RJ24210-240 (Brazil)
2011-12-22
This work revisits the analogy between Newtonian turbulence and non-Newtonian laminar flows. Several direct numerical simulations (DNS) data of a plane channel flow, for a large range of Reynolds numbers (180 {<=} Re{sub {tau}} {<=} 2000) were explored. The profiles of mean velocity and second moment quantities were used to extract viscometric functions in the non-Newtonian modeling framework. The Reynolds stress tensor is expressed in terms of a set of basis kinematic tensors based on a projection of a nonlinear framework. The coefficients of the model are given as functions of the intensity of the mean strain tensor. The apparent eddy turbulent viscosity, the first and second normal stress differences are presented as function of the shear rate. One of the advantages of the new algebraic nonlinear power law constitutive equation derived in the paper, is that is only dependent on the mean velocity gradient and can be integrated up to the wall.
Extended constitutive laws for lamellar phases
Directory of Open Access Journals (Sweden)
Chi-Deuk Yoo
2013-10-01
Full Text Available Classically, stress and strain rate in linear viscoelastic materials are related by a constitutive relationship involving the viscoelastic modulus G(t. The same constitutive law, within Linear Response Theory, relates currents of conserved quantities and gradients of existing conjugate variables, and it involves the autocorrelation functions of the currents in equilibrium. We explore the consequences of the latter relationship in the case of a mesoscale model of a block copolymer, and derive the resulting relationship between viscous friction and order parameter diffusion that would result in a lamellar phase. We also explicitly consider in our derivation the fact that the dissipative part of the stress tensor must be consistent with the uniaxial symmetry of the phase. We then obtain a relationship between the stress and order parameter autocorrelation functions that can be interpreted as an extended constitutive law, one that offers a way to determine them from microscopic experiment or numerical simulation.
The regularity theory of mechanistic constitution and a methodology for constitutive inference.
Harbecke, Jens
2015-12-01
This paper discusses a Boolean method for establishing constitutive regularity statements which, according to the regularity theory of mechanistic constitution, form the core of any mechanistic explanation in neuroscience. After presenting the regularity definition for the constitution relation, the paper develops a set of inference rules allowing one to establish constitutive hypotheses in light of certain kinds of empirical evidence. The general methodology consisting of these rules is characterized as having formed the basis of many successful explanatory projects in neuroscience. Copyright © 2015 Elsevier Ltd. All rights reserved.
Formulation of Deformation Stress Fields and Constitutive Equations in Rational Mechanics
Jianhua, Xiao
2010-01-01
In continuum mechanics, stress concept plays an essential role. For complicated materials, different stress concepts are used with ambiguity or different understanding. Geometrically, a material element is expressed by a closed region with arbitral shape. The internal region is acted by distance dependent force (internal body force), while the surface is acted by surface force. Further more, the element as a whole is in a physical background (exterior region) which is determined by the continuum where the element is embedded (external body force). Physically, the total energy can be additively decomposed as three parts: internal region energy, surface energy, and the background energy. However, as forces, they cannot be added directly. After formulating the general forms of physical fields, the deformation tensor is introduced to formulate the force variations caused by deformation. As the force variation is expressed by the deformation tensor, the deformation stress concept is well formulated. Furthermore, a...
Conservation laws and constitutive equations for an electro-active polymer
Tixier, Mireille; Pouget, Joël
2017-01-01
Ionic electro-active polymer (Nafion for example) can be used as sensor or actuator. To this end, a thin film of the water-saturated material is sandwiched between two electrodes. Water saturation causes a quasi-complete dissociation of the polymer and the release of small cations. The application of an electric field across the thickness results in the bending of the strip. Conversely, a voltage can be detected between the two electrodes when the strip is bent. This phenomenon involves multi...
Constitutive equations for the Doi-Edwards model without independent alignment
DEFF Research Database (Denmark)
Hassager, Ole; Hansen, Rasmus
2010-01-01
We present two representations of the Doi-Edwards model without Independent Alignment explicitly expressed in terms of the Finger strain tensor, its inverse and its invariants. The two representations provide explicit expressions for the stress prior to and after Rouse relaxation of chain stretch......, respectively. The maximum deviations from the exact representations in simple shear, biaxial extension and uniaxial extension are of order 2%. Based on these two representations, we propose a framework for Doi-Edwards models including chain stretch in the memory integral form....
Pure-jump processes and constitutive equations for simple thermodinamic bodies with fading memory
Directory of Open Access Journals (Sweden)
Adriano Montanaro
1991-05-01
Full Text Available Can it be useful to use discontinuous jump-processes in order to formulate a somewhat different thermodynamic theory for a general simple body with fading memory? In this communication I will present the results of paper [9], where the above question is investigated. By means of a certain well defined class of quasi-processes of local pure-jump, there I set up a thermodynamic theory T* for such a body in which only the dynamic part of entropy is assumed to exist.
Development of wide-range constitutive equations for calculations of high-rate deformation of metals
Directory of Open Access Journals (Sweden)
Preston D.
2011-01-01
Full Text Available For development of models of strength and compressibility of metals in wide range of pressures (up to several megabar and strain rates ~ 1÷108 s−1, the method of dynamic tests is used. Since direct measurement of strength is impossible under complicated intensive high-rate loading, a formal model is created at first, and then it is updated basing on comparison with many experiments, which are sensitive to shear strength. Elastic-plastic, viscous-elastic-plastic and relaxation integral models became nowadays most commonly used. The basic unsolved problems in simulation of high-rate deformation of metals are mentioned in the paper.
Directory of Open Access Journals (Sweden)
Marius ANDREESCU
2014-05-01
Full Text Available The institution of the appeal on points of law has the role to ensure a unitary law interpretation and enforcing by the law courts. The legal nature of this procedure is determined not only by the civil and criminal normative dispositions that regulate it. In this study we bring arguments according to which this institution is of a constitutional nature, because according to the Constitution, the High Court of Cassation and Justice has the attribution to ensure the unitary interpretation of the law by the law courts. Thus are analyzed the constitutional nature consequences of this institution, the limits of compulsoriness of law interpretations given by the Supreme Court through the decisions ruled on this procedure, and also the relationship between the decisions of the Constitutional Court, respectively the decisions of the High Court of Cassation and Justice given for resolving the appeals on points of law. The recent jurisprudence of the Constitutional Court reveals new aspects regarding the possibility to verify the constitutionality of the decisions given in this matter.
Lanczos's equation to replace Dirac's equation ?
Gsponer, Andre; Gsponer, Andre; Hurni, Jean-Pierre
1994-01-01
Lanczos's quaternionic interpretation of Dirac's equation provides a unified description for all elementary particles of spin 0, 1/2, 1, and 3/2. The Lagrangian formulation given by Einstein and Mayer in 1933 predicts two main classes of solutions. (1) Point like partons which come in two families, quarks and leptons. The correct fractional or integral electric and baryonic charges, and zero mass for the neutrino and the u-quark, are set by eigenvalue equations. The electro-weak interaction of the partons is the same as with the Standard model, with the same two free parameters: e and sin^2 theta. There is no need for a Higgs symmetry breaking mechanism. (2) Extended hadrons for which there is no simple eigenvalue equation for the mass. The strong interaction is essentially non-local. The pion mass and pion-nucleon coupling constant determine to first order the nucleon size, mass and anomalous magnetic moment.
Functional equations with causal operators
Corduneanu, C
2003-01-01
Functional equations encompass most of the equations used in applied science and engineering: ordinary differential equations, integral equations of the Volterra type, equations with delayed argument, and integro-differential equations of the Volterra type. The basic theory of functional equations includes functional differential equations with causal operators. Functional Equations with Causal Operators explains the connection between equations with causal operators and the classical types of functional equations encountered by mathematicians and engineers. It details the fundamentals of linear equations and stability theory and provides several applications and examples.
The Place of Constitutional Courts in the EU
DEFF Research Database (Denmark)
Komárek, Jan
2013-01-01
constitutional courts defend the scope for political autonomy – Against national constitutional courts' displacement – Simmenthal II – After the ‘Rights Revolution’ in Europe – National constitutional courts' references to the ECJ – Ordinary courts challenging national constitutional courts through......Going beyond ‘judicial dialogues’ and ‘conflict-and-power’ approaches to the analysis of national constitutional courts' role in the EU – The idea of European constitutional democracy – National constitutional courts constrain individual autonomy expanded by European integration – National...... the preliminar y reference procedure – Parallel references – National constitutional courts enforcing EU law – National constitutional courts challenging EU law...
Constitutional values, therapeutic jurisprudence and legal education ...
African Journals Online (AJOL)
In addition to an extensive knowledge of legal principles, critical thinking and research skills, law students should critically engage with our constitutional values. The question remains: How do we transform legal education in South Africa? How do we change the way we teach law students? The introduction of concepts ...
Institutional independence and the constitutionality of legislation ...
African Journals Online (AJOL)
The independence of the judiciary is the bedrock of the democratic system of government. Judicial independence is the gateway to the proper performance of the courts of their role of keeping all organs of state within the boundaries of their powers under the Constitution. The test for determining whether judicial ...
globalisation, the development of constitutionalism and the ...
African Journals Online (AJOL)
Dr Tanya du Plessis
This article will investigate the effect of globalisation on the development of constitutionalism in South Africa, ... For the purpose of this article "globalisation" means the accelerated integration of economies throughout the ... employer based in an African country, or a foreign employer who has business interests in Africa.
Notes: Constitutionalism | Bazezew | Mizan Law Review
African Journals Online (AJOL)
Mizan Law Review. Journal Home · ABOUT · Advanced Search · Current Issue · Archives · Journal Home > Vol 3, No 2 (2009) >. Log in or Register to get access to full text downloads. Username, Password, Remember me, or Register. Notes: Constitutionalism. M Bazezew. Abstract. (No abstract). Full Text: EMAIL FREE ...
LEGAL AND CONSTITUTIONAL EVALUATION OF THE NIGERIAN ...
African Journals Online (AJOL)
LLM (Uyo) (Barrister & solicitor of the Supreme Court of Nigeria; lecturer in law, Depart- ment of Public Law, Faculty of ..... revenues derived from oil and gas to meet the needs of the present and future generations as well as ..... the application of practicality in the interpretation of the Constitution. In. Adesanya v President of ...
Legal nature of the positive constitutional responsibility
Directory of Open Access Journals (Sweden)
Natalia Bobrova
2017-01-01
Full Text Available The subject of the paper is theoretical justification of legal nature of positive constitutionalresponsibility legal institute. The evolution of views on the institution of positive constitutionalresponsibility from the first works on it (S.A. Avak`yan, Yu.P. Eremenko, F.M. Rudinsky, N.A. Bobrova to the present time is analyzed.The purpose is to clarify its role in establishment and maintaining the regime of constitutionallegality.The results, scope of application. Doubts about the legal nature of positive constitutionalresponsibility up to its complete denial are identical with doubts about the legal nature ofmany constitutional norms, the denial of their direct action. These disputes will last forever.Direct service of constitutional and legal responsibility to the quality of governance is a featureof this type of legal responsibility along with its pronounced political character, as wellas the specific guilt of the subject of constitutional tort (liability not only for their acts butfor the acts of their subordinates.The emphasis on positive moral aspect to the detriment of "sanction" (retrospective aspectof the constitutional responsibility does not meet the challenges of the new time.Proponents of affirmative responsibility had good purpose to build its high creative andeducational role from the positive side of the legal liability. However, this good purpose inpractice has not led to optimistic results.The authors come to the conclusion the legal regulation of mechanisms of responsibilityenforcement in Russia is necessary.
Constitutional characteristics of zones of prostate structure
Directory of Open Access Journals (Sweden)
Vinnik Y.Y.
2012-06-01
Full Text Available The research article is devoted to the study of structural characteristics of prostate according to the young men constitution. Materials and methods: 540 vertical and horizontal sections of prostate have been investigated. Results: Size characteristics of prostate have been established in men of different somatotypes
Between availability and entitlement: The Constitution, Grootboom ...
African Journals Online (AJOL)
Between availability and entitlement: The Constitution, Grootboom and the right to food. Danie Brand. Abstract. No Abstract. Full Text: EMAIL FREE FULL TEXT EMAIL FREE FULL TEXT · DOWNLOAD FULL TEXT DOWNLOAD FULL TEXT · AJOL African Journals Online. HOW TO USE AJOL... for Researchers · for Librarians ...
Crushed-salt constitutive model update
Energy Technology Data Exchange (ETDEWEB)
Callahan, G.D.; Loken, M.C.; Mellegard, K.D. [RE/SPEC Inc., Rapid City, SD (United States); Hansen, F.D. [Sandia National Labs., Albuquerque, NM (United States)
1998-01-01
Modifications to the constitutive model used to describe the deformation of crushed salt are presented in this report. Two mechanisms--dislocation creep and grain boundary diffusional pressure solutioning--defined previously but used separately are combined to form the basis for the constitutive model governing the deformation of crushed salt. The constitutive model is generalized to represent three-dimensional states of stress. New creep consolidation tests are combined with an existing database that includes hydrostatic consolidation and shear consolidation tests conducted on Waste Isolation Pilot Plant and southeastern New Mexico salt to determine material parameters for the constitutive model. Nonlinear least-squares model fitting to data from the shear consolidation tests and a combination of the shear and hydrostatic consolidation tests produced two sets of material parameter values for the model. The change in material parameter values from test group to test group indicates the empirical nature of the model but demonstrates improvement over earlier work with the previous models. Key improvements are the ability to capture lateral strain reversal and better resolve parameter values. To demonstrate the predictive capability of the model, each parameter value set was used to predict each of the tests in the database. Based on the fitting statistics and the ability of the model to predict the test data, the model appears to capture the creep consolidation behavior of crushed salt quite well.
Constitutive behavior of reconsolidating crushed salt
Energy Technology Data Exchange (ETDEWEB)
Callahan, G.D.; Mellegard, K.D. [RE/SPEC, Inc., Rapid City, SD (United States); Hansen, F.D. [Sandia National Labs., Carlsbad, NM (United States)
1998-02-01
The constitutive model used to describe deformation of crushed salt is presented in this paper. Two mechanisms--dislocation creep and grain boundary diffusional pressure solutioning--are combined to form the basis for the constitutive model governing deformation of crushed salt. The constitutive model is generalized to represent three-dimensional states of stress. Recently completed creep consolidation tests are combined with an existing database that includes hydrostatic consolidation and shear consolidation tests conducted on Waste Isolation Pilot Plant (WIPP) and southeastern New Mexico salt to determine material parameters for the constitutive model. Nonlinear least-squares model fitting to data from shear consolidation tests and a combination of shear and hydrostatic tests produces two sets of material parameter values for the model. Changes in material parameter values from test group to test group indicate the empirical nature of the model but show significant improvement over earlier work. To demonstrate the predictive capability of the model, each parameter value set was used to predict each of the tests in the database. Based on fitting statistics and ability of the model to predict test data, the model appears to capture the creep consolidation behavior of crushed salt quite well.
Culture (and religion) in constitutional adjudication | Rautenbach ...
African Journals Online (AJOL)
The faculty of law of the Potchefstroom University for Christian Higher Education in corroboration with the Konrad-Adenauer-Stifttung embarked on a study on Politics, Socio-Economic Issues and Culture in Constitutional Adjudication. The aim of the project is twofold. The first aim is to analyse the influence of political, ...
Language question and the constitutional challenges of ...
African Journals Online (AJOL)
... rather than a curse; an asset, rather than a liability. While making Nigeria a focal point of reference, especially the language component of her constitutional history, it is posited that linguistic pluralism is no less valuable to a nation or continent than the wide variety of flowers in a garden or divergent cuisine in a community.
Preliminary Validation of Composite Material Constitutive Characterization
John G. Michopoulos; Athanasios lliopoulos; John C. Hermanson; Adrian C. Orifici; Rodney S. Thomson
2012-01-01
This paper is describing the preliminary results of an effort to validate a methodology developed for composite material constitutive characterization. This methodology involves using massive amounts of data produced from multiaxially tested coupons via a 6-DoF robotic system called NRL66.3 developed at the Naval Research Laboratory. The testing is followed by...
Language question and the constitutional challenges of ...
African Journals Online (AJOL)
to the analogy of the Tower of Babel_ a linguistic confusion. This paper puts multilingualism in its proper perspective as a blessing, which must be accorded a full constitutional recognition, rather than a curse; an asset, rather than a liability. While making Nigeria a focal point of reference, especially the language component ...
1 HUMAN DIGNITY - OUR SUPREME CONSTITUTIONAL VALUE ...
African Journals Online (AJOL)
Administrator
BA LLB (University of Cape Town) MCL (International Islamic University, Malaysia. 3 S 10 of the Constitution of the ... the values of equality and freedom or between the value of equality and freedom. On the contrary, it is highly .... world's cultures, our forms of expression and ways of being human. It is fostered by knowledge ...
A model for TRIP steel constitutive behaviour
Perdahcioglu, Emin Semih; Geijselaers, Hubertus J.M.; Menari, G
2011-01-01
A constitutive model is developed for TRIP steel. This is a steel which contains three or four different phases in its microstructure. One of the phases in TRIP steels is metastable austenite (Retained Austenite) which transforms to martensite upon deformation. The accompanying transformation strain
income tax assignment under the ethiopian constitution
African Journals Online (AJOL)
eliasn
Constitution from an income tax point of view. And finally, the article ends with some concluding remarks. 1. Theories of Fiscal Federalism In Income Tax Assignment. Few countries pursue the course of decentralization on grounds of its perceived economic efficiency or equity. Political, social, cultural or historical forces are.
Optimizing culture medium for debittering constitutive enzyme ...
African Journals Online (AJOL)
The objective of this study was to investigate nutrient requirements for extracellular constitutive naringinase production by Aspergillus oryzae JMU316. The one-factor-at-a-time method was used to determine the impact of different carbon and nitrogen sources on naringinase production. Naringin exhibited the highest ...
1 HUMAN DIGNITY - OUR SUPREME CONSTITUTIONAL VALUE ...
African Journals Online (AJOL)
Administrator
structures. In short, the Constitutional Court envisions the Basic Law as a unified structure of objective principles and rights crowned by the master value of human dignity.14. 11 S v Makwanyane 1995 (6) BCLR 665 (CC); S v Makwanyane 1995 (3) SA 391 (CC). 12 Supra at par 328. 13 Jones Kant's Principle of Personality ...
Constitutional Provisions And Administrative Disciplinary Powers ...
African Journals Online (AJOL)
The Medical and Dental Practitioners Disciplinary Tribunal is empowered to deal with all cases of professional discipline under the Medical and Dental Practitioners Act. This process of administrative adjudication is examined against the background of constitutional provision that affects the exercise of the powers of the ...
Constitutional interpretation : a view from a distance
Peters, Richard
2011-01-01
This paper explores how the notion of distance works in the practice of interpretation by studying the philosophical underpinnings of the originalism debate in American constitutionalism. Focusing on some of its most important spokespeople, the paper shows that they start from the historicist
Rapping the 27 Amendments to the Constitution
Knaresborough, Adam
2009-01-01
Early in the year, the students of history and government at Mountain View High School in Stafford, Virginia, began to devise hand motions to help memorize the 27 amendments to the Constitution for government class. Three students in the school who are interested in hip hop music then suggested composing a rap song about the topic. Working with…
Great Constitutional Ideas: Justice, Equality, and Property.
Starr, Isidore
1987-01-01
Examines the ideas of justice, equality, and property as they are represented in the Declaration of Independence, the U.S. Constitution and the Bill of Rights. Discusses how these ideas affect the way public schools operate and the lessons educators teach or don't teach about our society. Includes ideas for classroom activities. (JDH)
Constitutional provisions regarding juristic persons | Pienaar ...
African Journals Online (AJOL)
The circumstances where juristic persons act as organs of state are discussed with reference to case law. Difference of opinion exists regarding the horizontal application of the Bill of Rights, that is the application of the Bill of Rights to private law relationships. In terms of the interim Constitution the Bill of Rights was applied ...
Theoretical (dis-) position and strategic leitmotivs in constitutional ...
African Journals Online (AJOL)
Four leitmotivs pertinent to certain constellations of events in constitutional interpretation are discussed and their applicability and utility assessed, drawing on examples from constitutional case-law. The leitmotivs are: (i) transitional constitutionalism; (ii) transformative constitutionalism; (iii) monumental constitutionalism; and ...
Elliptic partial differential equations
Volpert, Vitaly
If we had to formulate in one sentence what this book is about it might be "How partial differential equations can help to understand heat explosion, tumor growth or evolution of biological species". These and many other applications are described by reaction-diffusion equations. The theory of reaction-diffusion equations appeared in the first half of the last century. In the present time, it is widely used in population dynamics, chemical physics, biomedical modelling. The purpose of this book is to present the mathematical theory of reaction-diffusion equations in the context of their numerous applications. We will go from the general mathematical theory to specific equations and then to their applications. Mathematical anaylsis of reaction-diffusion equations will be based on the theory of Fredholm operators presented in the first volume. Existence, stability and bifurcations of solutions will be studied for bounded domains and in the case of travelling waves. The classical theory of reaction-diffusion equ...
Differential equations for dummies
Holzner, Steven
2008-01-01
The fun and easy way to understand and solve complex equations Many of the fundamental laws of physics, chemistry, biology, and economics can be formulated as differential equations. This plain-English guide explores the many applications of this mathematical tool and shows how differential equations can help us understand the world around us. Differential Equations For Dummies is the perfect companion for a college differential equations course and is an ideal supplemental resource for other calculus classes as well as science and engineering courses. It offers step-by-step techniques, practical tips, numerous exercises, and clear, concise examples to help readers improve their differential equation-solving skills and boost their test scores.
Partial differential equations
Evans, Lawrence C
2010-01-01
This text gives a comprehensive survey of modern techniques in the theoretical study of partial differential equations (PDEs) with particular emphasis on nonlinear equations. The exposition is divided into three parts: representation formulas for solutions; theory for linear partial differential equations; and theory for nonlinear partial differential equations. Included are complete treatments of the method of characteristics; energy methods within Sobolev spaces; regularity for second-order elliptic, parabolic, and hyperbolic equations; maximum principles; the multidimensional calculus of variations; viscosity solutions of Hamilton-Jacobi equations; shock waves and entropy criteria for conservation laws; and, much more.The author summarizes the relevant mathematics required to understand current research in PDEs, especially nonlinear PDEs. While he has reworked and simplified much of the classical theory (particularly the method of characteristics), he primarily emphasizes the modern interplay between funct...
Directory of Open Access Journals (Sweden)
Wei Khim Ng
2009-02-01
Full Text Available We construct nonlinear extensions of Dirac's relativistic electron equation that preserve its other desirable properties such as locality, separability, conservation of probability and Poincaré invariance. We determine the constraints that the nonlinear term must obey and classify the resultant non-polynomial nonlinearities in a double expansion in the degree of nonlinearity and number of derivatives. We give explicit examples of such nonlinear equations, studying their discrete symmetries and other properties. Motivated by some previously suggested applications we then consider nonlinear terms that simultaneously violate Lorentz covariance and again study various explicit examples. We contrast our equations and construction procedure with others in the literature and also show that our equations are not gauge equivalent to the linear Dirac equation. Finally we outline various physical applications for these equations.
DEFF Research Database (Denmark)
Kiniry, Joseph Roland; Zimmerman, Daniel
2011-01-01
---falls every year and any mention of mathematics in the classroom seems to frighten students away. So the question is: How do we attract new students in computing to the area of dependable software systems? Over the past several years at three universities we have experimented with the use of computer games...... as a target domain for software engineering project courses that focus on reliable systems engineering. This position paper summarizes our experiences in incorporating rigorous software engineering into courses whose projects include computer games....
Analytic solutions of a class of nonlinear partial differential equations
Directory of Open Access Journals (Sweden)
Eugenia N. Petropoulou
2015-08-01
Full Text Available We study a class of nonlinear partial differential equations, which can be connected with wave-type equations and Laplace-type equations, by using a functional-analytic technique. We establish primarily the existence and uniqueness of bounded solutions in the two-dimensional Hardy-Lebesque space of analytic functions with independent variables lying in the open unit disc. However these results can be modified to expand the domain of definition. The proofs have a constructive character enabling the determination of concrete and easily verifiable conditions, and the determination of the coefficients appearing in the power series solution. Illustrative examples are given related to the sine-Gordon equation, the Klein-Gordon equation, and to equations with nonlinear terms of algebraic, exponential and logistic type.
Differential equations I essentials
REA, Editors of
2012-01-01
REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Differential Equations I covers first- and second-order equations, series solutions, higher-order linear equations, and the Laplace transform.
Directory of Open Access Journals (Sweden)
K. Banoo
1998-01-01
equation in the discrete momentum space. This is shown to be similar to the conventional drift-diffusion equation except that it is a more rigorous solution to the Boltzmann equation because the current and carrier densities are resolved into M×1 vectors, where M is the number of modes in the discrete momentum space. The mobility and diffusion coefficient become M×M matrices which connect the M momentum space modes. This approach is demonstrated by simulating electron transport in bulk silicon.
Constitutive description of human femoropopliteal artery aging.
Kamenskiy, Alexey; Seas, Andreas; Deegan, Paul; Poulson, William; Anttila, Eric; Sim, Sylvie; Desyatova, Anastasia; MacTaggart, Jason
2017-04-01
Femoropopliteal artery (FPA) mechanics play a paramount role in pathophysiology and the artery's response to therapeutic interventions, but data on FPA mechanical properties are scarce. Our goal was to characterize human FPAs over a wide population to derive a constitutive description of FPA aging to be used for computational modeling. Fresh human FPA specimens ([Formula: see text]) were obtained from [Formula: see text] predominantly male (80 %) donors 54±15 years old (range 13-82 years). Morphometric characteristics including radius, wall thickness, opening angle, and longitudinal pre-stretch were recorded. Arteries were subjected to multi-ratio planar biaxial extension to determine constitutive parameters for an invariant-based model accounting for the passive contributions of ground substance, elastin, collagen, and smooth muscle. Nonparametric bootstrapping was used to determine unique sets of material parameters that were used to derive age-group-specific characteristics. Physiologic stress-stretch state was calculated to capture changes with aging. Morphometric and constitutive parameters were derived for seven age groups. Vessel radius, wall thickness, and circumferential opening angle increased with aging, while longitudinal pre-stretch decreased ([Formula: see text]). Age-group-specific constitutive parameters portrayed orthotropic FPA stiffening, especially in the longitudinal direction. Structural changes in artery wall elastin were associated with reduction of physiologic longitudinal and circumferential stretches and stresses with age. These data and the constitutive description of FPA aging shed new light on our understanding of peripheral arterial disease pathophysiology and arterial aging. Application of this knowledge might improve patient selection for specific treatment modalities in personalized, precision medicine algorithms and could assist in device development for treatment of peripheral artery disease.
Ordinary differential equations
Pontryagin, Lev Semenovich
1962-01-01
Ordinary Differential Equations presents the study of the system of ordinary differential equations and its applications to engineering. The book is designed to serve as a first course in differential equations. Importance is given to the linear equation with constant coefficients; stability theory; use of matrices and linear algebra; and the introduction to the Lyapunov theory. Engineering problems such as the Watt regulator for a steam engine and the vacuum-tube circuit are also presented. Engineers, mathematicians, and engineering students will find the book invaluable.
Modelling of elastic heat conductors via objective rate equations
Morro, Angelo
2018-01-01
A thermoelastic solid is modelled by letting the heat flux be given by a rate equation. As any constitutive property, the rate equation has to be objective and consistent with thermodynamics. Accordingly, firstly a theorem is given that characterizes objective time derivatives. This allows the known objective time derivatives to be viewed as particular elements of the set so specified. Next the thermodynamic consistency is established for the constitutive models involving objective time derivatives within appropriate sets. It emerges that the thermodynamic consistency holds provided the stress contains additively terms quadratic in the heat flux vector in a form that is related to the derivative adopted for the rate of the heat flux.
Analytical solution to the Riemann problem of 1D elastodynamics with general constitutive laws
Berjamin, H; Chiavassa, G; Favrie, N
2016-01-01
Under the hypothesis of small deformations, the equations of 1D elastodynamics write as a 2 x 2 hyperbolic system of conservation laws. Here, we study the Riemann problem for convex and nonconvex constitutive laws. In the convex case, the solution can include shock waves or rarefaction waves. In the nonconvex case, compound waves must also be considered. In both convex and nonconvex cases, a new existence criterion for the initial velocity jump is obtained. Also, admissibility regions are determined. Lastly, analytical solutions are completely detailed for various constitutive laws (hyperbola, tanh and polynomial), and reference test cases are proposed.
Evaluation of verifiability in HAL/S. [programming language for aerospace computers
Young, W. D.; Tripathi, A. R.; Good, D. I.; Browne, J. C.
1979-01-01
The ability of HAL/S to write verifiable programs, a characteristic which is highly desirable in aerospace applications, is lacking since many of the features of HAL/S do not lend themselves to existing verification techniques. The methods of language evaluation are described along with the means in which language features are evaluated for verifiability. These methods are applied in this study to various features of HAL/S to identify specific areas in which the language fails with respect to verifiability. Some conclusions are drawn for the design of programming languages for aerospace applications and ongoing work to identify a verifiable subset of HAL/S is described.
Indian Academy of Sciences (India)
role in converting the Fokas equation into Hirota's bilinear form. Keywords. Bilinearization; multisoliton solution; Fokas equation; Hirota's bilinear method. PACS Nos 05.45.Yv; 04.20.Jb; 02.30.Jr. 1. Introduction. As pointed out by Drazin and Johnson [1], it is not easy to give a comprehensive and precise definition of a soliton.
Elliptic Quadratic Operator Equations
Ganikhodjaev, Rasul; Mukhamedov, Farrukh; Saburov, Mansoor
2017-01-01
In the present paper is devoted to the study of elliptic quadratic operator equations over the finite dimensional Euclidean space. We provide necessary and sufficient conditions for the existence of solutions of elliptic quadratic operator equations. The iterative Newton-Kantorovich method is also presented for stable solutions.
Directory of Open Access Journals (Sweden)
Hannelore Breckner
2000-01-01
Full Text Available We consider a stochastic equation of Navier-Stokes type containing a noise part given by a stochastic integral with respect to a Wiener process. The purpose of this paper is to approximate the solution of this nonlinear equation by the Galerkin method. We prove the convergence in mean square.
Stochastic Differential Equations
Cecconi, Jaures
2011-01-01
C. Doleans-Dade: Stochastic processes and stochastic differential equations.- A. Friedman: Stochastic differential equations and applications.- D.W. Stroock, S.R.S. Varadhan: Theory of diffusion processes.- G.C. Papanicolaou: Wave propagation and heat conduction in a random medium.- C. Dewitt Morette: A stochastic problem in Physics.- G.S. Goodman: The embedding problem for stochastic matrices.
Indian Academy of Sciences (India)
Abstract. The Raychaudhuri equation is central to the understanding of gravitational attraction in astrophysics and cosmology, and in particular underlies the famous singularity theorems of general relativity theory. This paper reviews the derivation of the equation, and its significance in cosmology.
Differential Equation of Equilibrium
African Journals Online (AJOL)
user
differential equation of equilibrium, comparable to that of beam on elastic foundation, was derived from static principles on the ... tedious and more time saving than the classical method in the solution of the aforementioned differential equation. ... silos, pipelines, bridge arches or wind turbine towers [3]. The objective of this ...
Hans Kelsen and the Austrian Constitutional Court (1918-1929)
National Research Council Canada - National Science Library
Sara Lagi
2012-01-01
This article intends to examine Hans Kelsen's contribution to the establishing of the first Austrian Constitutional court, analyzing the key differences between Kelsen's model of Constitutional court...
In quest of constitutional principles of "neurolaw".
Pizzetti, Federico Gustavo
2011-01-01
The growing use of brain imaging technology and the developing of cognitive neuroscience pose unaccustomed challenges to legal systems. Until now, the fields of Law much affected are the civil and criminal law and procedure, but the constitutional dimension of "neurolaw" cannot be easily underestimated. As the capacity to investigate and to trace brain mechanisms and functional neural activities increases, it becomes urgent the recognition and definition of the unalienable rights and fundamental values in respect of this new techno-scientific power, that must be protected and safeguard at "constitutional level" of norms such as: human dignity, personal identity, authenticity and the pursuit of individual "happiness". As the same as for the law regulating research and experimentation on human genome adopted in the past years, one may also argue if the above mentioned fundamental principles of "neurolaw" must be fixed and disciplined also at European and International level.
Applied partial differential equations
Logan, J David
2004-01-01
This primer on elementary partial differential equations presents the standard material usually covered in a one-semester, undergraduate course on boundary value problems and PDEs. What makes this book unique is that it is a brief treatment, yet it covers all the major ideas: the wave equation, the diffusion equation, the Laplace equation, and the advection equation on bounded and unbounded domains. Methods include eigenfunction expansions, integral transforms, and characteristics. Mathematical ideas are motivated from physical problems, and the exposition is presented in a concise style accessible to science and engineering students; emphasis is on motivation, concepts, methods, and interpretation, rather than formal theory. This second edition contains new and additional exercises, and it includes a new chapter on the applications of PDEs to biology: age structured models, pattern formation; epidemic wave fronts, and advection-diffusion processes. The student who reads through this book and solves many of t...
How Star Wars Illuminates Constitutional Law
Sunstein, Cass Robert
2015-01-01
Human beings often see coherence and planned design when neither exists. This is so in movies, literature, history, economics, and psychoanalysis – and constitutional law. Contrary to the repeated claims of George Lucas, its principal author, the Star Wars series was hardly planned in advance; it involved a great deal of improvisation and surprise, even to Lucas himself. Serendipity and happenstance, sometimes in the forms of eruptions of new thinking, play a pervasive and overlooked role in ...
Constitutive relations for multiphase flow modeling
Energy Technology Data Exchange (ETDEWEB)
Jacobs, H.; Vaeth, L.; Thurnay, K. [Forschungszentrum Karlsruhe GmbH Technik und Umwelt (Germany). Inst. fuer Neutronenphysik und Reaktortechnik
1998-01-01
The constitutive relations that are used in the three-field fluid dynamics code IVA-KA for determining the drag in three-phase mixtures and the heat transferred by radiation are described together with some comparisons of calculational results with experiments. In these experiments (QUEOS), large quantities of solid particles are injected into water. Potential deficiencies of the present drag model are discussed. (author)
What's So Democratic in " democratic constitutionalism " ?
Directory of Open Access Journals (Sweden)
José Alcebíades de Oliveira Junior
2016-06-01
Full Text Available The main idea of this paper is to raise questions on the democratic character of “con- temporary constitutionalism”. In this sense, we present the ideas of four renowned scholars and the core of their theses, whose influence – especially in the “Latin world” – is undenia- ble. They are Manuel Atienza, Luigi Ferrajoli, Luis Prieto Sanchís and Gustavo Zagrebel- sky. Among the many differences that characterize them, their accounts have at least one thing in common: enthusiasm for the constitutional project. To that extent, they stress the normativity of the Constitution and the “civilizing feature” of constitutional values. We address several objections to this understanding, taking into consideration the fundamen- tal right to participate on political affairs, including issues related to substantive rights, which require political and moral developments. To do so, we must take seriously the fact of disagreement and the fact of pluralism as elements of the process of protection and realization of fundamental rights. These rights are also subject to a decision-making process.
A constitutive law for degrading bioresorbable polymers.
Samami, Hassan; Pan, Jingzhe
2016-06-01
This paper presents a constitutive law that predicts the changes in elastic moduli, Poisson's ratio and ultimate tensile strength of bioresorbable polymers due to biodegradation. During biodegradation, long polymer chains are cleaved by hydrolysis reaction. For semi-crystalline polymers, the chain scissions also lead to crystallisation. Treating each scission as a cavity and each new crystal as a solid inclusion, a degrading semi-crystalline polymer can be modelled as a continuum solid containing randomly distributed cavities and crystal inclusions. The effective elastic properties of a degrading polymer are calculated using existing theories for such solid and the tensile strength of the degrading polymer is predicted using scaling relations that were developed for porous materials. The theoretical model for elastic properties and the scaling law for strength form a complete constitutive relation for the degrading polymers. It is shown that the constitutive law can capture the trend of the experimental data in the literature for a range of biodegradable polymers fairly well. Copyright © 2016 Elsevier Ltd. All rights reserved.
Association of Sasang Constitutional Type with Sarcopenia
Directory of Open Access Journals (Sweden)
Seung Ku Lee
2015-01-01
Full Text Available Sasang constitutional medicine (SCM is a unique Korean traditional medicine that classifies human beings as four distinct types named Sasang constitutional types (SCTs, based on physiologic, physical, and psychological traits. Accumulating evidence has demonstrated that specific constitutional types are associated with chronic diseases, but no study has investigated the relationship between SCTs and sarcopenia. The aim of this study was to examine the association in a large population-based study. Data from 1,204 participants who completed questionnaires for life style, anthropometric evaluation, and biochemical analysis were analyzed. Classification of the SCTs was done using an integrated diagnostic method. Sarcopenia was defined as appendicular skeletal muscle mass/height2 less than one standard deviation below the gender-specific normal mean of a younger group. Dual-energy X-ray absorptiometry was used to assess whole body composition. The prevalence of sarcopenia was 8.6% in the Tae-eum (TE type, 44.7% in the So-eum (SE type, and 20.7% in the So-yang (SY type. Multivariate analysis revealed that the SE and SY types had 9.22 (5.06–16.81; P<0.0001 and 2.90 (1.76–4.76; P<0.0001 greater odds of sarcopenia compared to the TE type, respectively. Our results show that the SE and SY types are significantly associated with increased prevalence of sarcopenia.
Coupled KdV equations of Hirota-Satsuma type
Sakovich, S Yu
1999-01-01
It is shown that the system of two coupled Korteweg - de Vries equations passes the Painleve test for integrability in nine distinct cases of its coefficients. The integrability of eight cases is verified by direct construction of Lax pairs, whereas for one case it remains unknown.
A general polynomial solution to convection–dispersion equation ...
Indian Academy of Sciences (India)
A number of models have been established to simulate the behaviour of solute transport due to chemical pollution, both in croplands and groundwater systems. An approximate polynomial solution to convection–dispersion equation (CDE) based on boundary layer theory has been verified for the use to describe solute ...
A Spectral Deferred Correction Method for Fractional Differential Equations
Directory of Open Access Journals (Sweden)
Jia Xin
2013-01-01
Full Text Available A spectral deferred correction method is presented for the initial value problems of fractional differential equations (FDEs with Caputo derivative. This method is constructed based on the residual function and the error equation deduced from Volterra integral equations equivalent to the FDEs. The proposed method allows that one can use a relatively few nodes to obtain the high accuracy numerical solutions of FDEs without the penalty of a huge computational cost due to the nonlocality of Caputo derivative. Finally, preliminary numerical experiments are given to verify the efficiency and accuracy of this method.
Modeling flow stress constitutive behavior of SA508-3 steel for nuclear reactor pressure vessels
Sun, Mingyue; Hao, Luhan; Li, Shijian; Li, Dianzhong; Li, Yiyi
2011-11-01
Based on the measured stress-strain curves under different temperatures and strain rates, a series of flow stress constitutive equations for SA508-3 steel were firstly established through the classical theories on work hardening and softening. The comparison between the experimental and modeling results has confirmed that the established constitutive equations can correctly describe the mechanical responses and microstructural evolutions of the steel under various hot deformation conditions. We further represented a successful industrial application of this model to simulate a forging process for a large conical shell used in a nuclear steam generator, which evidences its practical and promising perspective of our model with an aim of widely promoting the hot plasticity processing for heavy nuclear components of fission reactors.
Pizzarossa, Lucía Berro; Perehudoff, Katrina
2017-12-01
General Comment No. 22, issued in 2016 by the Committee on Economic, Social and Cultural Rights (CESCR), clarifies states' legal duties to respect, protect, and fulfill the right to sexual and reproductive health (SRH). Our study analyzes domestic constitutions around the world to investigate whether and to what extent the right to sexual and reproductive health is respected, protected, and fulfilled; to what extent these provisions are inclusive and non-discriminatory; and to what degree the interlinkages between this and other human rights are acknowledged. Of the 195 constitutions accessed, 27 enshrine sexual and/or reproductive health, and seven adopt restrictive approaches to this right. In the 27 constitutions, provisions most frequently enshrine respect of one's sexual health and family planning decisions, the protection of sexual health, and the provision of reproductive health care and family planning services (fulfillment). Most of the 27 constitutions fail to adequately respect reproductive health rights; to protect reproductive health, family planning, and abortion services from third-party interference; and to fulfill all dimensions of sexual health and access to abortion. Three of the 27 constitutions enshrine a universal right to SRH, and additional constitutions protect specific vulnerable groups (such as women, children) and/or restrict the scope of rights holders to couples. Among the 27 constitutions, nine explicitly link the right to sexual and reproductive health to the rights to education, science, and/or to make autonomous decisions about sexuality and reproduction. Our results can serve as a baseline measure to track constitutional reforms in pursuit of the realization of sexual and reproductive health and rights, and as building blocks for future lawmakers committed to realizing these rights through domestic legal reform.
Die verifiëring, verfyning en toepassing van leksikografiese liniale ...
African Journals Online (AJOL)
rbr
Die doel van hierdie artikel is dus om die liniaal vir Afrikaans te verifieer en te verfyn. Verifiëring geskied met behulp van 'n .... gorie B, kategorie C, ens. In eenvoudige Afrikaans geformuleer, is die ... Absolute versus relatiewe liniaalwaardes. Die doel van Prinsloo en De Schryver met die samestelling van leksikografiese.
Business rescue decision making through verifier determinants – ask the specialists
Directory of Open Access Journals (Sweden)
Marius Pretorius
2013-11-01
Practical/Managerial implications: Decision makers and affected persons could benefit from the insights obtained through this study. Confirming early warning signs through verifier determinants would be beneficial for entrepreneurs who are creditors, rescue practitioners, government regulators, court officials and educators alike. Contribution/Value add: Knowing the verifier determinants could assist decision making and improve the effectiveness of rescue strategies.
2012-11-26
... COMMISSION Preoperational Testing of Onsite Electric Power Systems To Verify Proper Load Group Assignments... Power Systems to Verify Proper Load Group Assignments, Electrical Separation, and Redundancy.'' DG-1294... encompass preoperational testing of electrical power systems used to meet current Station Blackout...
Stephen M Ogle; Kenneth Davis; Thomas Lauvaux; Andrew Schuh; Dan Cooley; Tristram O West; Linda S Heath; Natasha L Miles; Scott Richardson; F Jay Breidt; James E Smith; Jessica L McCarty; Kevin R Gurney; Pieter Tans; A Scott. Denning
2015-01-01
Verifying national greenhouse gas (GHG) emissions inventories is a critical step to ensure that reported emissions data to the United Nations Framework Convention on Climate Change (UNFCCC) are accurate and representative of a country's contribution to GHG concentrations in the atmosphere. Furthermore, verifying biogenic fluxes provides a check on estimated...
Uncertain differential equations
Yao, Kai
2016-01-01
This book introduces readers to the basic concepts of and latest findings in the area of differential equations with uncertain factors. It covers the analytic method and numerical method for solving uncertain differential equations, as well as their applications in the field of finance. Furthermore, the book provides a number of new potential research directions for uncertain differential equation. It will be of interest to researchers, engineers and students in the fields of mathematics, information science, operations research, industrial engineering, computer science, artificial intelligence, automation, economics, and management science.
Differential equations problem solver
Arterburn, David R
2012-01-01
REA's Problem Solvers is a series of useful, practical, and informative study guides. Each title in the series is complete step-by-step solution guide. The Differential Equations Problem Solver enables students to solve difficult problems by showing them step-by-step solutions to Differential Equations problems. The Problem Solvers cover material ranging from the elementary to the advanced and make excellent review books and textbook companions. They're perfect for undergraduate and graduate studies.The Differential Equations Problem Solver is the perfect resource for any class, any exam, and
Hyperbolic partial differential equations
Witten, Matthew
1986-01-01
Hyperbolic Partial Differential Equations III is a refereed journal issue that explores the applications, theory, and/or applied methods related to hyperbolic partial differential equations, or problems arising out of hyperbolic partial differential equations, in any area of research. This journal issue is interested in all types of articles in terms of review, mini-monograph, standard study, or short communication. Some studies presented in this journal include discretization of ideal fluid dynamics in the Eulerian representation; a Riemann problem in gas dynamics with bifurcation; periodic M
Ordinary differential equations
Miller, Richard K
1982-01-01
Ordinary Differential Equations is an outgrowth of courses taught for a number of years at Iowa State University in the mathematics and the electrical engineering departments. It is intended as a text for a first graduate course in differential equations for students in mathematics, engineering, and the sciences. Although differential equations is an old, traditional, and well-established subject, the diverse backgrounds and interests of the students in a typical modern-day course cause problems in the selection and method of presentation of material. In order to compensate for this diversity,
Fully nonlinear elliptic equations
Caffarelli, Luis A
1995-01-01
The goal of the book is to extend classical regularity theorems for solutions of linear elliptic partial differential equations to the context of fully nonlinear elliptic equations. This class of equations often arises in control theory, optimization, and other applications. The authors give a detailed presentation of all the necessary techniques. Instead of treating these techniques in their greatest generality, they outline the key ideas and prove the results needed for developing the subsequent theory. Topics discussed in the book include the theory of viscosity solutions for nonlinear equa
Beginning partial differential equations
O'Neil, Peter V
2011-01-01
A rigorous, yet accessible, introduction to partial differential equations-updated in a valuable new edition Beginning Partial Differential Equations, Second Edition provides a comprehensive introduction to partial differential equations (PDEs) with a special focus on the significance of characteristics, solutions by Fourier series, integrals and transforms, properties and physical interpretations of solutions, and a transition to the modern function space approach to PDEs. With its breadth of coverage, this new edition continues to present a broad introduction to the field, while also addres
Inferring Mathematical Equations Using Crowdsourcing.
Directory of Open Access Journals (Sweden)
Szymon Wasik
Full Text Available Crowdsourcing, understood as outsourcing work to a large network of people in the form of an open call, has been utilized successfully many times, including a very interesting concept involving the implementation of computer games with the objective of solving a scientific problem by employing users to play a game-so-called crowdsourced serious games. Our main objective was to verify whether such an approach could be successfully applied to the discovery of mathematical equations that explain experimental data gathered during the observation of a given dynamic system. Moreover, we wanted to compare it with an approach based on artificial intelligence that uses symbolic regression to find such formulae automatically. To achieve this, we designed and implemented an Internet game in which players attempt to design a spaceship representing an equation that models the observed system. The game was designed while considering that it should be easy to use for people without strong mathematical backgrounds. Moreover, we tried to make use of the collective intelligence observed in crowdsourced systems by enabling many players to collaborate on a single solution. The idea was tested on several hundred players playing almost 10,000 games and conducting a user opinion survey. The results prove that the proposed solution has very high potential. The function generated during weeklong tests was almost as precise as the analytical solution of the model of the system and, up to a certain complexity level of the formulae, it explained data better than the solution generated automatically by Eureqa, the leading software application for the implementation of symbolic regression. Moreover, we observed benefits of using crowdsourcing; the chain of consecutive solutions that led to the best solution was obtained by the continuous collaboration of several players.
Inferring Mathematical Equations Using Crowdsourcing.
Wasik, Szymon; Fratczak, Filip; Krzyskow, Jakub; Wulnikowski, Jaroslaw
2015-01-01
Crowdsourcing, understood as outsourcing work to a large network of people in the form of an open call, has been utilized successfully many times, including a very interesting concept involving the implementation of computer games with the objective of solving a scientific problem by employing users to play a game-so-called crowdsourced serious games. Our main objective was to verify whether such an approach could be successfully applied to the discovery of mathematical equations that explain experimental data gathered during the observation of a given dynamic system. Moreover, we wanted to compare it with an approach based on artificial intelligence that uses symbolic regression to find such formulae automatically. To achieve this, we designed and implemented an Internet game in which players attempt to design a spaceship representing an equation that models the observed system. The game was designed while considering that it should be easy to use for people without strong mathematical backgrounds. Moreover, we tried to make use of the collective intelligence observed in crowdsourced systems by enabling many players to collaborate on a single solution. The idea was tested on several hundred players playing almost 10,000 games and conducting a user opinion survey. The results prove that the proposed solution has very high potential. The function generated during weeklong tests was almost as precise as the analytical solution of the model of the system and, up to a certain complexity level of the formulae, it explained data better than the solution generated automatically by Eureqa, the leading software application for the implementation of symbolic regression. Moreover, we observed benefits of using crowdsourcing; the chain of consecutive solutions that led to the best solution was obtained by the continuous collaboration of several players.
High strain-rate compressive behavior and constitutive modeling of selected polymers
Yokoyama T; Nakai K
2012-01-01
The present paper deals with constitutive modeling of the compressive stress-strain behavior of selected polymers at strain rates from 10−3 to 103/s using a modified Ramberg-Osgood equation. High strain-rate compressive stress-strain curves for four different commercially available extruded polymers are determined on the standard split Hopkinson pressure bar. The low and intermediate strain-rates compressive stress-strain relations are measured in an Instron testing machine. The five paramete...
Moussawi, Ali
2013-10-01
We revisit here the concept of the constitutive relation error for the identification of elastic material parameters based on image correlation. An additional concept, so called constitutive compatibility of stress, is introduced defining a subspace of the classical space of statically admissible stresses. The key idea is to define stresses as compatible with the observed deformation field through the chosen class of constitutive equation. This makes possible the uncoupling of the identification of stress from the identification of the material parameters. As a result, the global cost of the identification is strongly reduced. This uncoupling also leads to parametrized solutions in cases where the solution is non-unique as demonstrated on 2D numerical examples. © 2013 Elsevier B.V.
Constitutionalism and good governance in Nigeria (1999-2014 ...
African Journals Online (AJOL)
Nigeria operates a governmental system based on a written constitution. The idea of constitution and constitutionalism is of a more recent one as the country has witnessed a long era of military rule. While the country, at present, has a written constitution which in reality, was derived from a military decree, there has been ...
he Obligations on Government and Society in our Constitutional ...
African Journals Online (AJOL)
Constitutional democracy limits this principle by subjecting the democratically elected government and the will of the majority subject to a written constitution and the norms embodied in it. Such constitution is enshrined as the supreme law of the country in question. An almost universal feature of modern constitutionalism is a ...
An Integrated Theory of Constitutionalism in World Society
DEFF Research Database (Denmark)
Kjær, Poul F.
both been regarded a indicating a triumph as well as a failure of constitutionalism. This article circumvents this standoff by questioning the very foundation of constitutional theory in the public/private and the national/transnational distinctions. It is argued that the object of constitutions...... for compatibility between orders through constitutionalisation and the idea of constitutionalism as a way of approaching the future....
Ubuntu versus the core values of the South African Constitution ...
African Journals Online (AJOL)
At the dawn of South Africa's new era of constitutionalism the Constitutional Court introduced “African law and legal thinking” and ubuntu to South African jurisprudence as part of the Constitution's source of democratic values. Whereas the Constitutional Court averred on the one hand that African law sustains firmly ...
Habermas on European Constitution and European Identity
Directory of Open Access Journals (Sweden)
Éva Biró-Kaszás
2010-12-01
Full Text Available For the last two decades or so philosophers have been reflecting on a set of practical and political concerns in connection with the new political structural arrangements beyond the nation-state. In this article two essays by Jürgen Habermas shall be examined. An attempt shall be made to tackle Habermas’ philosophical concepts of personal and collective identity as well as the role that a constitution may play in building the post-national constellation. It has been shown that Habermas has normative answers. Firstly, according to him, the fragile balance between the legal order and the particular cultures and traditions of a community has to be protected by the constitutional state. For that reason the political culture has to be “decoupled” from the majority culture. Secondly, the democratically structured attempt to achieve shared meaning has to find the delicate balance between the context-transcending universal normative claims and the claims of particular individual and collective life. Thirdly, it is possible to expand legally mediated civil solidarity trans-nationally, across Europe – we may recognize this development as the emergence of European identity –, since the process of democratic will-formation of citizens may get loose from the structures provided by the state if both shared democratic political cultures as well as a European-wide public sphere exist. The European Constitution may have a catalytic function in materialization of these conditions. It has been shown that in his deliberations Habermas tried to find a reflective equilibrium between the normative and the empirical.
The Constitutional Deficiencies of the German 'Rechtsgutslehre'
Directory of Open Access Journals (Sweden)
Carl-Friedrich Stuckenberg
2013-01-01
Full Text Available This paper questions the theoretical merits and constitutional validity of the “Rechtsgutslehre” (doctrine of the protection of legal goods, a widely held doctrine about the limits of legitimate criminalization in Germany and some other jurisdictions. The immediate cause for this reassessment is a recent decision of the German constitutional court which upheld the German incest prohibition and simultaneously rejected the traditional “Rechtsgutslehre” as constitutionally irrelevant, thereby stirring up considerable controversy among academic criminal lawyers. The paper tries to show why the court’s view is correct by pointing out the main deficiencies of the doctrine and what criteria a better theory must fulfil. Este artículo cuestiona los méritos teóricos y la validez constitucional de la "Rechtsgutslehre" (doctrina de la protección de los bienes jurídicos, una doctrina muy extendida acerca de los límites de la criminalización legítima en Alemania y algunas otras jurisdicciones. La causa inmediata de esta nueva valoración es una decisión reciente del Tribunal Constitucional alemán que ratificó la prohibición del incesto en Alemania y al mismo tiempo rechazó el tradicional "Rechtsgutslehre" por ser constitucionalmente irrelevante, lo que provocó una considerable controversia entre la comunidad académica de abogados criminalistas. El artículo trata de mostrar por qué la decisión de la corte es correcta, señalando las deficiencias principales de la doctrina y los criterios que una teoría más adecuada debe cumplir. DOWNLOAD THIS PAPER FROM SSRN: http://ssrn.com/abstract=2200870
Spherocylindrical microplane constitutive model for shale and other anisotropic rocks
Li, Cunbao; Caner, Ferhun C.; Chau, Viet T.; Bažant, Zdeněk P.
2017-06-01
Constitutive equations for inelastic behavior of anisotropic materials have been a challenge for decades. Presented is a new spherocylindrical microplane constitutive model that meets this challenge for the inelastic fracturing behavior of orthotropic materials, and particularly the shale, which is transversely isotropic and is important for hydraulic fracturing (aka fracking) as well as many geotechnical structures. The basic idea is to couple a cylindrical microplane system to the classical spherical microplane system. Each system is subjected to the same strain tensor while their stress tensors are superposed. The spherical phase is similar to the previous microplane models for concrete and isotropic rock. The integration of stresses over spherical microplanes of all spatial orientations relies on the previously developed optimal Gaussian integration over a spherical surface. The cylindrical phase, which is what creates the transverse isotropy, involves only microplanes that are normal to plane of isotropy, or the bedding layers, and enhance the stiffness and strength in that plane. Unlike all the microplane models except the spectral one, the present one can reproduce all the five independent elastic constants of transversely isotropic shales. Vice versa, from these constants, one can easily calculate all the microplane elastic moduli, which are all positive if the elastic in-to-out-of plane moduli ratio is not too big (usually less than 3.75, which applies to all shales). Oriented micro-crack openings, frictional micro-slips and bedding plane behavior can be modeled more intuitively than with the spectral approach. Data fitting shows that the microplane resistance depends on the angle with the bedding layers non-monotonically, and compressive resistance reaches a minimum at 60°. A robust algorithm for explicit step-by-step structural analysis is formulated. Like all microplane models, there are many material parameters, but they can be identified sequentially
Applied partial differential equations
Logan, J David
2015-01-01
This text presents the standard material usually covered in a one-semester, undergraduate course on boundary value problems and PDEs. Emphasis is placed on motivation, concepts, methods, and interpretation, rather than on formal theory. The concise treatment of the subject is maintained in this third edition covering all the major ideas: the wave equation, the diffusion equation, the Laplace equation, and the advection equation on bounded and unbounded domains. Methods include eigenfunction expansions, integral transforms, and characteristics. In this third edition, text remains intimately tied to applications in heat transfer, wave motion, biological systems, and a variety other topics in pure and applied science. The text offers flexibility to instructors who, for example, may wish to insert topics from biology or numerical methods at any time in the course. The exposition is presented in a friendly, easy-to-read, style, with mathematical ideas motivated from physical problems. Many exercises and worked e...
Applied partial differential equations
DuChateau, Paul
2012-01-01
Book focuses mainly on boundary-value and initial-boundary-value problems on spatially bounded and on unbounded domains; integral transforms; uniqueness and continuous dependence on data, first-order equations, and more. Numerous exercises included.
Fun with Differential Equations
Indian Academy of Sciences (India)
/fulltext/reso/018/06/0543-0557. Keywords. Differential equations; trigonometric functions; elliptic integrals. Author Affiliations. B V Rao1. Chennai Mathematical Institute PlotH1,SIPCOTIT Park Siruseri, Padur Post Chennai 603 103, TN, India.
Saaty, Thomas L
1981-01-01
Covers major types of classical equations: operator, functional, difference, integro-differential, and more. Suitable for graduate students as well as scientists, technologists, and mathematicians. "A welcome contribution." - Math Reviews. 1964 edition.
Tod, Paul
2013-01-01
I review the equations of Conformal Cyclic Cosmology given by Penrose. I suggest a slight modification to Penrose's prescription and show how this works out for FRW cosmologies and for Class A Bianchi cosmologies.
Geometry of differential equations
Khovanskiĭ, A; Vassiliev, V
1998-01-01
This volume contains articles written by V. I. Arnold's colleagues on the occasion of his 60th birthday. The articles are mostly devoted to various aspects of geometry of differential equations and relations to global analysis and Hamiltonian mechanics.
Diophantine Equations and Computation
Davis, Martin
Unless otherwise stated, we’ll work with the natural numbers: N = \\{0,1,2,3, dots\\}. Consider a Diophantine equation F(a1,a2,...,an,x1,x2,...,xm) = 0 with parameters a1,a2,...,an and unknowns x1,x2,...,xm For such a given equation, it is usual to ask: For which values of the parameters does the equation have a solution in the unknowns? In other words, find the set: \\{ mid exists x_1,ldots,x_m [F(a_1,ldots,x_1,ldots)=0] \\} Inverting this, we think of the equation F = 0 furnishing a definition of this set, and we distinguish three classes: a set is called Diophantine if it has such a definition in which F is a polynomial with integer coefficients. We write \\cal D for the class of Diophantine sets.
Nonlinear differential equations
Energy Technology Data Exchange (ETDEWEB)
Dresner, L.
1988-01-01
This report is the text of a graduate course on nonlinear differential equations given by the author at the University of Wisconsin-Madison during the summer of 1987. The topics covered are: direction fields of first-order differential equations; the Lie (group) theory of ordinary differential equations; similarity solutions of second-order partial differential equations; maximum principles and differential inequalities; monotone operators and iteration; complementary variational principles; and stability of numerical methods. The report should be of interest to graduate students, faculty, and practicing scientists and engineers. No prior knowledge is required beyond a good working knowledge of the calculus. The emphasis is on practical results. Most of the illustrative examples are taken from the fields of nonlinear diffusion, heat and mass transfer, applied superconductivity, and helium cryogenics.
Problems in differential equations
Brenner, J L
2013-01-01
More than 900 problems and answers explore applications of differential equations to vibrations, electrical engineering, mechanics, and physics. Problem types include both routine and nonroutine, and stars indicate advanced problems. 1963 edition.
Engineering and the constitution. Technik und Verfassung
Energy Technology Data Exchange (ETDEWEB)
Herzog, R.
1988-01-01
We can see at every turn how instruments once used for the good of mankind become blunt right before our very eyes. They still serve their purpose, but each further step brings about less additional benefit ('residual benefit'). This is a fundamental problem rather than a detail problem, as it is the self-concept, reliability and stability of our public order that is at risk. 'Constitution' in this sense is more than just the legal basis of the state; as used by the author it refers to the laws governing a society's life. (orig./HSCH).
Evaluation of constitutive models for crushed salt
Energy Technology Data Exchange (ETDEWEB)
Callahan, G.D.; Loken, M.C. [RE/SPEC, Inc., Rapid City, SD (United States); Hurtado, L.D.; Hansen, F.D.
1996-05-01
Three constitutive models are recommended as candidates for describing the deformation of crushed salt. These models are generalized to three-dimensional states of stress to include the effects of mean and deviatoric stress and modified to include effects of temperature, grain size, and moisture content. A database including hydrostatic consolidation and shear consolidation tests conducted on Waste Isolation Pilot Plant (WIPP) and southeastern New Mexico salt is used to determine material parameters for the models. To evaluate the capability of the models, parameter values obtained from fitting the complete database are used to predict the individual tests. Finite element calculations of a WIPP shaft with emplaced crushed salt demonstrate the model predictions.
Numerically abnormal chromosome constitutions in humans
Energy Technology Data Exchange (ETDEWEB)
NONE
1993-12-31
Chapter 24, discusses numerically abnormal chromosome constitutions in humans. This involves abnormalities of human chromosome number, including polyploidy (when the number of sets of chromosomes increases) and aneuploidy (when the number of individual normal chromosomes changes). Chapter sections discuss the following chromosomal abnormalities: human triploids, imprinting and uniparental disomy, human tetraploids, hydatidiform moles, anomalies caused by chromosomal imbalance, 13 trisomy (D{sub 1} trisomy, Patau syndrome), 21 trisomy (Down syndrome), 18 trisomy syndrome (Edwards syndrome), other autosomal aneuploidy syndromes, and spontaneous abortions. The chapter concludes with remarks on the nonrandom participation of chromosomes in trisomy. 69 refs., 3 figs., 4 tabs.
Ritual Slaughter in the Modern Constitutional State
DEFF Research Database (Denmark)
Afsah, Ebrahim
In this proposed presentation I intend to give a historical overview of the political and constitutional debates in selected European countries – including Germany, France, Great Britain, Holland and Scandinavia – from the nineteenth century to the present day, paying special attention to the shi....... Similar in nature if not necessarily in intensity to questions of forced and/or underage marriage, male circumcision and female genital mutilation, the commitment of the secular state to animal welfare cannot summarily be rejected by demands for religious freedom....
Electromagnetic Interaction Equations
Zinoviev, Yury M.
2009-01-01
For the electromagnetic interaction of two particles the relativistic quantum mechanics equations are proposed. These equations are solved for the case when one particle has a small mass and moves freely. The initial wave functions are supposed to be concentrated at the coordinates origin. The energy spectrum of another particle wave function is defined by the initial wave function of the free moving particle. Choosing the initial wave function of the free moving particle it is possible to ob...
Ordinary differential equations.
Lebl, Jiří
2013-01-01
In this chapter we provide an overview of the basic theory of ordinary differential equations (ODE). We give the basics of analytical methods for their solutions and also review numerical methods. The chapter should serve as a primer for the basic application of ODEs and systems of ODEs in practice. As an example, we work out the equations arising in Michaelis-Menten kinetics and give a short introduction to using Matlab for their numerical solution.
Relativistic Guiding Center Equations
Energy Technology Data Exchange (ETDEWEB)
White, R. B. [PPPL; Gobbin, M. [Euratom-ENEA Association
2014-10-01
In toroidal fusion devices it is relatively easy that electrons achieve relativistic velocities, so to simulate runaway electrons and other high energy phenomena a nonrelativistic guiding center formalism is not sufficient. Relativistic guiding center equations including flute mode time dependent field perturbations are derived. The same variables as used in a previous nonrelativistic guiding center code are adopted, so that a straightforward modifications of those equations can produce a relativistic version.
The Scottish Constitutional Tradition: A Very British Radicalism?
Directory of Open Access Journals (Sweden)
Bulmer W. Elliot
2015-11-01
Full Text Available This paper discusses recent developments in Scottish nationalist constitutional thought during the period of 2002 to 2014, showing how the Scottish constitutional conversation has diverged from, but continues to be influenced by, the UK-wide constitutional conversation at Westminster. It presents Scottish nationalist constitutional thought as a ‘very British radicalism’, which is characterised by certain constitutional forms and ideas that are radical in a British context (such as popular sovereignty, proportional representation, a written constitution, and a commitment to covenantal socio-economic and environmental provisions while at the same time retaining a persistent ‘Britishness’ in terms of specific institutional proposals and ambivalence towards the principles of constitutional government. Finally, I will discuss possible designs of a future constitutional settlement in Scotland and the United Kingdom. Notably, I will explore how far the Scottish constitutional tradition might impact on the constitutional shape of the United Kingdom.
HOW STAR WARS ILLUMINATES CONSTITUTIONAL LAW
Directory of Open Access Journals (Sweden)
Cass R. Sunstein
2017-02-01
Full Text Available Human beings often see coherence and planned design when neither exists. This is so in movies, literature, history, economics, and psychoanalysis – and constitutional law. Contrary to the repeated claims of George Lucas, its principal author, the Star Wars series was hardly planned in advance; it involved a great deal of improvisation and surprise, even to Lucas himself. Serendipity and happenstance, sometimes in the forms of eruptions of new thinking, play a pervasive and overlooked role in the creative imagination, certainly in single authored works, and even more in multi-authored ones extending over time. Serendipity imposes serious demands on the search for coherence in art, literature, history, and law. That search leads many people (including Lucas to misdescribe the nature of their own creativity and authorship. The misdescription appears to respond to a serious human need for sense-making and pattern-finding, but it is a significant obstacle to understanding and critical reflection. Whether Jedi or Sith, many authors of constitutional law are a lot like the author of Star Wars, disguising the essential nature of their own creative processes.
Constitutional moments in governing science and technology.
Jasanoff, Sheila
2011-12-01
Scholars in science and technology studies (STS) have recently been called upon to advise governments on the design of procedures for public engagement. Any such instrumental function should be carried out consistently with STS's interpretive and normative obligations as a social science discipline. This article illustrates how such threefold integration can be achieved by reviewing current US participatory politics against a 70-year backdrop of tacit constitutional developments in governing science and technology. Two broad cycles of constitutional adjustment are discerned: the first enlarging the scope of state action as well as public participation, with liberalized rules of access and sympathetic judicial review; the second cutting back on the role of the state, fostering the rise of an academic-industrial complex for technology transfer, and privatizing value debates through increasing delegation to professional ethicists. New rules for public engagement in the United Sates should take account of these historical developments and seek to counteract some of the anti-democratic tendencies observable in recent decades.
The Eurozone Crisis: A Constitutional Analysis
Directory of Open Access Journals (Sweden)
Anna Sting
2015-08-01
Full Text Available “Every power comes through crisis” has long been a motif of European integration. The financial and sovereign debt crises, which have shaken the European Union (EU in recent years, are at first glance no different. Treaty reforms, intergovernmental treaties such as the Fiscal Compact and the Treaty Establishing a European Stability Mechanism (ESM Treaty have significantly altered the constitutional landscape of the EU and its Member States. The crisis has also inspired many European legal scholars to critically analyse the EU’s system of economic governance, as have other events throughout the history of the European Union, from the Empty Chair Crisis to the referenda in the aftermath of the Treaty of Maastricht and the failure of the Constitution for the European Union. What does seem to be different is the way in which scholars approach the issue of the Eurozone crisis. Instead of a purely legal perspective on economic governance, European legal scholars have realised that in order to understand and analyse the euro crisis, interdisciplinarity is the word of the moment.
Relationships among certain joint constitutive models.
Energy Technology Data Exchange (ETDEWEB)
Segalman, Daniel Joseph; Starr, Michael James
2004-09-01
In a recent paper, Starr and Segalman demonstrated that any Masing model can be represented as a parallel-series Iwan model. A preponderance of the constitutive models that have been suggested for simulating mechanical joints are Masing models, and the purpose of this discussion is to demonstrate how the Iwan representation of those models can yield insight into their character. In particular, this approach can facilitate a critical comparison among numerous plausible constitutive models. It is explicitly shown that three-parameter models such as Smallwood's (Ramberg-Osgood) calculate parameters in such a manner that macro-slip is not an independent parameter, yet the model admits macro-slip. The introduction of a fourth parameter is therefore required. It is shown that when a macro-slip force is specified for the Smallwood model the result is a special case of the Segalman four-parameter model. Both of these models admit a slope discontinuity at the inception of macro-slip. A five-parameter model that has the beneficial features of Segalman's four-parameter model is proposed. This model manifests a force-displacement curve having a continuous first derivative.
Structures of human constitutive nitric oxide synthases.
Li, Huiying; Jamal, Joumana; Plaza, Carla; Pineda, Stephanie Hai; Chreifi, Georges; Jing, Qing; Cinelli, Maris A; Silverman, Richard B; Poulos, Thomas L
2014-10-01
Mammals produce three isoforms of nitric oxide synthase (NOS): neuronal NOS (nNOS), inducible NOS (iNOS) and endothelial NOS (eNOS). The overproduction of NO by nNOS is associated with a number of neurodegenerative disorders; therefore, a desirable therapeutic goal is the design of drugs that target nNOS but not the other isoforms. Crystallography, coupled with computational approaches and medicinal chemistry, has played a critical role in developing highly selective nNOS inhibitors that exhibit exceptional neuroprotective properties. For historic reasons, crystallography has focused on rat nNOS and bovine eNOS because these were available in high quality; thus, their structures have been used in structure-activity-relationship studies. Although these constitutive NOSs share more than 90% sequence identity across mammalian species for each NOS isoform, inhibitor-binding studies revealed that subtle differences near the heme active site in the same NOS isoform across species still impact enzyme-inhibitor interactions. Therefore, structures of the human constitutive NOSs are indispensible. Here, the first structure of human neuronal NOS at 2.03 Å resolution is reported and a different crystal form of human endothelial NOS is reported at 1.73 Å resolution.
Furlong, Partick J.; And Others
These lectures, presented in observance of the U.S. Constitution bicentennial celebration, consider selected constitutionally significant law cases that occurred in Indiana. These cases are representative of U.S. constitutional development and of the relationship of Indiana to the U.S. Constitution. Patrick Furlong, in "The South Bend…
Balance-characteristic scheme as applied to the shallow water equations over a rough bottom
Goloviznin, V. M.; Isakov, V. A.
2017-07-01
The CABARET scheme is used for the numerical solution of the one-dimensional shallow water equations over a rough bottom. The scheme involves conservative and flux variables, whose values at a new time level are calculated by applying the characteristic properties of the shallow water equations. The scheme is verified using a series of test and model problems.
Votail: A Formally Specified and Verified Ballot Counting System for Irish PR-STV Elections
DEFF Research Database (Denmark)
Cochran, Dermot Robert; Kiniry, Joseph Roland
2010-01-01
Votail is an open source Java implementation of Irish Proportional Representation by Single Transferable Vote (PR-STV). Its functional requirements, derived from Irish electoral law, are formally specified using the Business Object Notation (BON) and refined to a Java Modeling Language (JML......) specification. Formal methods are used to verify and validate the correctness of the software. This is the first public release of a formally verified PR-STV open source system for ballot counting and the most recent of only about half a dozen releases of formally verified e-voting software...
Constitution and religiosity of/in the constitutional order of the National Socialist Empire
Directory of Open Access Journals (Sweden)
Velez, Pedro
2017-05-01
Full Text Available In this article, we will analyse the National Socialist regime as a politico-constitutional reality. We will do it from a new way of looking at politico-constitutional phenomena, interpreting them as registered in a religious grounding. It seeks to show that the National Socialist regime was characterised by having identified the political community – a racially interpreted and raised community to the Absolute – with an empirical historic personality regarded as eminently communitarian. It suggests that the regime constitutes a sui generis case, either in a context of regimes conventionally classified as "right-wing authoritarian and/or totalitarian" or in a larger context of contemporary politics.
High strain-rate compressive behavior and constitutive modeling of selected polymers
Directory of Open Access Journals (Sweden)
Yokoyama T.
2012-08-01
Full Text Available The present paper deals with constitutive modeling of the compressive stress-strain behavior of selected polymers at strain rates from 10−3 to 103/s using a modified Ramberg-Osgood equation. High strain-rate compressive stress-strain curves for four different commercially available extruded polymers are determined on the standard split Hopkinson pressure bar. The low and intermediate strain-rates compressive stress-strain relations are measured in an Instron testing machine. The five parameters for the modified Ramberg-Osgood equation are determined by fitting to the experimental compressive stress-strain data using a least-squares fit. The compressive stress-strain curves at three different strain rates derived from the modified Ramberg-Osgood models are compared with the experimental results. It is shown that the compressive stress-strain behavior during loading process can be successfully predicted by the modified Ramberg-Osgood equation.
High strain-rate compressive behavior and constitutive modeling of selected polymers
Nakai, K.; Yokoyama, T.
2012-08-01
The present paper deals with constitutive modeling of the compressive stress-strain behavior of selected polymers at strain rates from 10-3 to 103/s using a modified Ramberg-Osgood equation. High strain-rate compressive stress-strain curves for four different commercially available extruded polymers are determined on the standard split Hopkinson pressure bar. The low and intermediate strain-rates compressive stress-strain relations are measured in an Instron testing machine. The five parameters for the modified Ramberg-Osgood equation are determined by fitting to the experimental compressive stress-strain data using a least-squares fit. The compressive stress-strain curves at three different strain rates derived from the modified Ramberg-Osgood models are compared with the experimental results. It is shown that the compressive stress-strain behavior during loading process can be successfully predicted by the modified Ramberg-Osgood equation.
High Strain-Rate Compressive Properties and Constitutive Modeling of Selected Polymers
Nakai, Kenji; Yokoyama, Takashi
The present paper is concerned with constitutive modeling of the compressive stress-strain behavior of selected polymers at strain rates from 10-3 to 103/s using a modified Ramberg-Osgood equation. High strain-rate compressive stress-strain curves within a strain range of nearly 0.08 for four different commercially available extruded polymers are determined on the standard split Hopkinson pressure bar. The low and intermediate strain-rates compressive stress-strain relations are measured in an Instron testing machine. The five parameters for the modified Ramberg-Osgood equation are determined by fitting to the experimental compressive stress-strain data using a least-squares fit. It is shown that the compressive stress-strain behavior at different strain rates up to the maximum stress can successfully be predicted by the modified Ramberg-Osgood equation. The limitations of the modified Ramberg-Osgood models are discussed.
The Constitutional Court and the Imperative of its Reform
Directory of Open Access Journals (Sweden)
Claudia Gilia
2012-12-01
Full Text Available Recent debates on the upcoming review of the Constitution have determined us to pay close attention to the basic institution in a democratic state, that is the Constitutional Court. Being caught in the crossfire between power and opposition, the Constitutional Court had a hard time lately, facing severe attacks. The aim of our study is to analyze the evolution of the Constitutional Court within the inland constitutional system, particularly bringing up the flaws describing the Court’s activity. We have also analyzed the proposals put forth by several bodies or experts regarding the constitutional contentious court. At the end of our study, following an analysis of different constitutional types of constitutional review, used by a number of states in Europe, we introduced several resolutions that may improve the role, the course and, last but not least, the activity of the Romanian Constitutional Court.
Directory of Open Access Journals (Sweden)
Florian Ion Tiberiu Petrescu
2015-09-01
Full Text Available This paper presents the dynamic, original, machine motion equations. The equation of motion of the machine that generates angular speed of the shaft (which varies with position and rotation speed is deduced by conservation kinetic energy of the machine. An additional variation of angular speed is added by multiplying by the coefficient dynamic D (generated by the forces out of mechanism and or by the forces generated by the elasticity of the system. Kinetic energy conservation shows angular speed variation (from the shaft with inertial masses, while the dynamic coefficient introduces the variation of w with forces acting in the mechanism. Deriving the first equation of motion of the machine one can obtain the second equation of motion dynamic. From the second equation of motion of the machine it determines the angular acceleration of the shaft. It shows the distribution of the forces on the mechanism to the internal combustion heat engines. Dynamic, the velocities can be distributed in the same way as forces. Practically, in the dynamic regimes, the velocities have the same timing as the forces. Calculations should be made for an engine with a single cylinder. Originally exemplification is done for a classic distribution mechanism, and then even the module B distribution mechanism of an Otto engine type.
How to Verify Plagiarism of the Paper Written in Macedonian and Translated in Foreign Language?
Directory of Open Access Journals (Sweden)
Mirko Spiroski
2016-02-01
CONCLUSION: Plagiarism of the original papers written in Macedonian and translated in other languages can be verified after computerised translation in other languages. Later on, original and translated documents can be compared with available software for plagiarism detection.
Introduction to partial differential equations
Greenspan, Donald
2000-01-01
Designed for use in a one-semester course by seniors and beginning graduate students, this rigorous presentation explores practical methods of solving differential equations, plus the unifying theory underlying the mathematical superstructure. Topics include basic concepts, Fourier series, second-order partial differential equations, wave equation, potential equation, heat equation, approximate solution of partial differential equations, and more. Exercises appear at the ends of most chapters. 1961 edition.
DEFF Research Database (Denmark)
Rasmussen, Henrik Koblitz
2000-01-01
A new technique for the numerical 3D simulation of time dependent flow of viscoelastic fluid is presented. The technique is based on a Lagrangian kinematics description of the fluid flow. The fluid is described by the Rivlin Sawyer integral constitutive equation. The method (referred to as the 3D...
Constitutive and ligand-induced TCR degradation
DEFF Research Database (Denmark)
von Essen, Marina; Bonefeld, Charlotte Menné; Siersma, Volkert
2004-01-01
divergent models for TCR down-regulation and degradation have been suggested. The aims of this study were to determine the rate constants for constitutive and ligand-induced TCR degradation and to determine whether the TCR subunits segregate or are processed as an intact unit during TCR down...... to the lysosomes. Similar results were obtained in studies of primary human Vbeta8+ T cells stimulated with superantigen. Based on these results, the simplest model for TCR internalization, sorting, and degradation is proposed.......Modulation of TCR expression levels is a central event during T cell development and activation, and it probably plays an important role in adjusting T cell responsiveness. Conflicting data have been published on down-regulation and degradation rates of the individual TCR subunits, and several...
Constitutive model with time-dependent deformations
DEFF Research Database (Denmark)
Krogsbøll, Anette
1998-01-01
In many geological and Engineering problems it is necessary to transform information from one scale to another. Data collected at laboratory scale are often used to evaluate field problems on a much larger scale. This is certainly true for geological problems where extreme scale differences...... are common in time as well as size. This problem is adressed by means of a new constitutive model for soils. It is able to describe the behavior of soils at different deformation rates. The model defines time-dependent and stress-related deformations separately. They are related to each other and they occur...... simultanelously. The model is based on concepts from elasticity and viscoplasticity theories. In addition to Hooke's law for the elastic behavior, the framework for the viscoplastic behavior consists, in the general case (two-dimensional or three-dimensional), of a yield surface, an associated flow rule...
Constituting objectivity: Transcendental perspectives on modern physics
Everett, Jonathan
2012-05-01
There is increasing interest in exploring Kantian approaches in the study of the history and philosophy of physics. The most well-known examples of this trend-Friedman's (2001), Ryckman's (2005) and DiSalle's (2006)-focus on Kantianism in the context of the development of the general theory of relativity. The edited collection Constituting Objectivity seeks to develop key Kantian insights-in the most part-in the context of later developments in physics: as well as discussing relativity the volume also provides Kantian interpretations of Bohr's development of quantum theory and continues to provide Kantian insight from later interpretations of quantum mechanics all the way through to considering noncommutative geometry and loop quantum gravity. The volume contains papers on a wide variety of subjects and offers an essential introduction to the breadth of Kantian trends in modern physics.
A thermomechanical constitutive model for superelastic SMA wire with strain-rate dependence
Zhu, Songye; Zhang, Yunfeng
2007-10-01
The recent increased use of shape memory alloys (SMAs) for civil engineering applications manifests the need for a high-fidelity constitutive model which considers the material's strong dependence on the loading rate. This paper presents an improved thermomechanical constitutive model with strain-rate dependence for predicting the uniaxial superelastic behavior of shape memory alloys. The proposed constitutive model, which is formulated within a thermomechanical framework, is comprised of three principal parts: a mechanical law, an energy balance equation, and a transformation kinetics rule. The analytical derivation of the model and experimental test results for superelastic NiTi wires are described in this paper. The prediction made by this phenomenological model shows good agreement with experimental data for superelastic NiTi wires at various loading rates. Through a comparison with experimental results, the proposed constitutive model was evaluated for several key characteristics of superelastic behavior such as reduction of hysteresis area, increase of transformation plateau, and temperature change with strain rate. The proposed constitutive model offers a useful tool for the design and simulation of superelastic SMA-based devices in civil engineering applications.
AC losses in superconductors with a power-law constitutive relation
Energy Technology Data Exchange (ETDEWEB)
Agassi, Y.D., E-mail: yehoshua.agassi@navy.mil
2015-10-15
Highlights: • Derivation of power-law constitutive-relation from distributed Anderson–Kim theory. • The electric-field for HTS constitutive-relation satisfies nonlinear heat-equation. • For slab, AC losses scale as B{sub 0}{sup m}, m = 3–4 and I{sup 3} with field-amplitude and current, respectively. • Calculated pinning potential, AC-losses scaling is consistent with BSCCO data. - Abstract: The observed constitutive relation between the electrical field and current density in cuprates high temperature superconductors is a power-law of the current. This functional dependence is presumably related to the giant flux-creep domain. It is shown that this constitutive relation reflects the statistical spread of the pinning potential associated with creep motion of vortex bundles. The AC losses emanating from a power-law constitutive relation are calculated in an approach focused on the superconductor’s electric field. For a slab geometry in the presence of a parallel AC magnetic field or transport current, the calculated AC-loss scaling laws are consistent with BSCCO data and the critical state model. Extensions of the approach are briefly discussed.
Kuo, Shih-Hsien; Wang, Hsiao-Ling; Lee, Tzu-Chi; Chan, Te-Fu; Chou, Fan-Hao; Chen, Lih-Mih; Lin, Wei-Ting
2015-06-01
Pregnancy is an important stage in life for many women. Humans are complex organisms that are prone to exhibiting gradual alterations in their constitutions that fluctuate with age, diet, and living environment. This is particularly true during the pre- and postnatal periods, in which qi and blood are required to ensure foetal growth. To examine women's constitutional transformation of pre-pregnancy, pregnancy, and postpartum. A prospective, longitudinal study was conducted, and structural questionnaires were used to collect data. The participants were healthy pregnant women 21-49 years of age. Data were collected at six times: during the first (weeks 6-13), second (weeks 14-27), and third (weeks 28-40) trimesters and during the postnatal admission (1-week postnatal) and home self-care (6-week and 6-month postnatal) periods, yielding 86 valid questionnaires. A cubic polynomial regression analyses with generalised estimation equations (GEEs) method was used to reveal the trend of constitution score by different constitutions. Significant differences (p women's constitutions underwent changes throughout the perinatal stages. These findings provide a valuable reference for healthcare professionals in administering perinatal care and demonstrate empirical evidence for use in future intervention-based research. Copyright © 2015 Australian College of Midwives. Published by Elsevier Ltd. All rights reserved.
Viscosity modeling for ionic liquid solutions by Eyring-Wilson equation
Directory of Open Access Journals (Sweden)
He Yang-Chun
2012-01-01
Full Text Available A semi-theoretical model based on the classical Eyring’s mixture viscosity equation and the Wilson activity coefficient equation is presented for correlating the viscosity of ionic liquids with solvent systems. The accuracy of the proposed model was verified by comparing calculated and experimental viscosity values from literatures for 49mixtures with total 1560 data points. The results show that the equation similar to the Wilson activity coefficient equation can be well applied to describe the non-ideal term in the Eyring’s mixture viscosity equation. The model has a relatively simple mathematical form and can be easily incorporated into process simulation software.
Regarding on the exact solutions for the nonlinear fractional differential equations
Directory of Open Access Journals (Sweden)
Kaplan Melike
2016-01-01
Full Text Available In this work, we have considered the modified simple equation (MSE method for obtaining exact solutions of nonlinear fractional-order differential equations. The space-time fractional equal width (EW and the modified equal width (mEW equation are considered for illustrating the effectiveness of the algorithm. It has been observed that all exact solutions obtained in this paper verify the nonlinear ordinary differential equations which was obtained from nonlinear fractional-order differential equations under the terms of wave transformation relationship. The obtained results are shown graphically.
Directory of Open Access Journals (Sweden)
Robert Podolnjak
2006-01-01
Full Text Available The basic argument of the article is that the main causes of failure of the European Constitution stem from an inadequate preparation and implementation of a complex procedure of constitution-making for a federation of countries on a continental scale. This process includes the issues of temporal aspects of constitutionmaking, the subject of constitution-making, the text of the constitution, the strategy of constitutional ratifi cation and the constitution-makers themselves. The principal causes of failure of the European Constitution will be presented in the form of certain preliminary assumptions, which will then be examined in the light of certain comparative experiences of constitution-making in two federal systems – the American and the Swiss system. The primary mistakes of the European constitution-making are refl ected in the lack of an appropriate moment for making the constitution, in the vagueness of the document in terms of its constitutional or contractual quality, in the creation of a text of the Constitution which is completely incomprehensible to the average citizen, in the making of the Constitution without a vision or ambition, in the complete lack of any strategy of ratifi cation of the Constitution, in the insistence on the direct participation of the people in the adoption of the Constitution, which is legally and politically considered primarily an international treaty, and in badly managed media presentation and defence of the Constitution before the European public. The most important mistakes, crucial to the failure of the Constitution, are the ambivalent approach of the European constitutionmakers to the mode of ratifi cation of the Constitution, and their disregard of the constitution-making experience of other federal countries.
Stochastic porous media equations
Barbu, Viorel; Röckner, Michael
2016-01-01
Focusing on stochastic porous media equations, this book places an emphasis on existence theorems, asymptotic behavior and ergodic properties of the associated transition semigroup. Stochastic perturbations of the porous media equation have reviously been considered by physicists, but rigorous mathematical existence results have only recently been found. The porous media equation models a number of different physical phenomena, including the flow of an ideal gas and the diffusion of a compressible fluid through porous media, and also thermal propagation in plasma and plasma radiation. Another important application is to a model of the standard self-organized criticality process, called the "sand-pile model" or the "Bak-Tang-Wiesenfeld model". The book will be of interest to PhD students and researchers in mathematics, physics and biology.
Boussinesq evolution equations
DEFF Research Database (Denmark)
Bredmose, Henrik; Schaffer, H.; Madsen, Per A.
2004-01-01
This paper deals with the possibility of using methods and ideas from time domain Boussinesq formulations in the corresponding frequency domain formulations. We term such frequency domain models "evolution equations". First, we demonstrate that the numerical efficiency of the deterministic...... Boussinesq evolution equations of Madsen and Sorensen [Madsen, P.A., Sorensen, O.R., 1993. Bound waves and triad interactions in shallow water. Ocean Eng. 20 359-388] can be improved by using Fast Fourier Transforms to evaluate the nonlinear terms. For a practical example of irregular waves propagating over...... a submerged bar, it is demonstrated that evolution equations utilising FFT can be solved around 100 times faster than the corresponding time domain model. Use of FFT provides an efficient bridge between the frequency domain and the time domain. We utilise this by adapting the surface roller model for wave...
Quadratic Diophantine equations
Andreescu, Titu
2015-01-01
This monograph treats the classical theory of quadratic Diophantine equations and guides the reader through the last two decades of computational techniques and progress in the area. These new techniques combined with the latest increases in computational power shed new light on important open problems. The authors motivate the study of quadratic Diophantine equations with excellent examples, open problems, and applications. Moreover, the exposition aptly demonstrates many applications of results and techniques from the study of Pell-type equations to other problems in number theory. The book is intended for advanced undergraduate and graduate students as well as researchers. It challenges the reader to apply not only specific techniques and strategies, but also to employ methods and tools from other areas of mathematics, such as algebra and analysis.
Directory of Open Access Journals (Sweden)
Feng Jiang
2017-01-01
Full Text Available The complex frequency shifted (CFS perfectly matched layer (PML is proposed for the two-dimensional auxiliary differential equation (ADE finite-difference time-domain (FDTD method combined with Associated Hermite (AH orthogonal functions. According to the property of constitutive parameters of CFS-PML (CPML absorbing boundary conditions (ABCs, the auxiliary differential variables are introduced. And one relationship between field components and auxiliary differential variables is derived. Substituting auxiliary differential variables into CPML ABCs, the other relationship between field components and auxiliary differential variables is derived. Then the matrix equations are obtained, which can be unified with Berenger’s PML (BPML and free space. The electric field expansion coefficients can thus be obtained, respectively. In order to validate the efficiency of the proposed method, one example of wave propagation in two-dimensional free space is calculated using BPML, UPML, and CPML. Moreover, the absorbing effectiveness of the BPML, UPML, and CPML is discussed in a two-dimensional (2D case, and the numerical simulations verify the accuracy and efficiency of the proposed method.
Monte Carlo simulations and fractional kinetics considerations for the Higuchi equation.
Dokoumetzidis, Aristides; Kosmidis, Kosmas; Macheras, Panos
2011-10-10
We highlight some physical and mathematical aspects relevant to the derivation and use of the Higuchi equation. More specifically, the application of the Higuchi equation to different geometries is discussed and Monte Carlo simulations to verify the validity of Higuchi law in one and two dimensions, as well as the derivation of the Higuchi equation under alternative boundary conditions making use of fractional calculus, are presented. Copyright © 2010 Elsevier B.V. All rights reserved.
Dargys, A
2016-01-01
To have a closed system, the Maxwell equations should be supplemented by constitutive relations which connect the primary electromagnetic fields $(\\bE,\\bB)$ with the secondary ones $(\\bD,\\bH)$ induced in a medium. Recently [Opt. Commun. \\textbf{354}, 259 (2015)] the allowed shapes of the constitutive relations that follow from the relativistic Maxwell equations formulated in terms of geometric algebra were constructed by author. In this paper the obtained general relativistic relations between $(\\bD,\\bH)$ and $(\\bE,\\bB)$ fields are transformed to four $6\\times 6$ matrices that are universal in constructing various combinations of constitutive relations in terms of more popular Gibbs-Heaviside vectorial calculus frequently used to investigate the electromagnetic wave propagation in anisotropic, birefringent, bianisotropic, chiral etc media.
Implementation and verification of interface constitutive model in FLAC3D
Directory of Open Access Journals (Sweden)
Hai-min Wu
2011-09-01
Full Text Available Due to the complexity of soil-structure interaction, simple constitutive models typically used for interface elements in general computer programs cannot satisfy the requirements of discontinuous deformation analysis of structures that contain different interfaces. In order to simulate the strain-softening characteristics of interfaces, a nonlinear strain-softening interface constitutive model was incorporated into fast Lagrange analysis of continua in three dimensions (FLAC3D through a user-defined program in the FISH environment. A numerical simulation of a direct shear test for geosynthetic interfaces was conducted to verify that the interface model was implemented correctly. Results of the numerical tests show good agreement with the results obtained from theoretical calculations, indicating that the model incorporated into FLAC3D can simulate the nonlinear strain-softening behavior of interfaces involving geosynthetic materials. The results confirmed the validity and reliability of the improved interface model. The procedure and method of implementing an interface constitutive model into a commercial computer program also provide a reference for implementation of a new interface constitutive model in FLAC3D.
Partial differential equations
Agranovich, M S
2002-01-01
Mark Vishik's Partial Differential Equations seminar held at Moscow State University was one of the world's leading seminars in PDEs for over 40 years. This book celebrates Vishik's eightieth birthday. It comprises new results and survey papers written by many renowned specialists who actively participated over the years in Vishik's seminars. Contributions include original developments and methods in PDEs and related fields, such as mathematical physics, tomography, and symplectic geometry. Papers discuss linear and nonlinear equations, particularly linear elliptic problems in angles and gener
Equations of mathematical physics
Tikhonov, A N
2011-01-01
Mathematical physics plays an important role in the study of many physical processes - hydrodynamics, elasticity, and electrodynamics, to name just a few. Because of the enormous range and variety of problems dealt with by mathematical physics, this thorough advanced-undergraduate or graduate-level text considers only those problems leading to partial differential equations. The authors - two well-known Russian mathematicians - have focused on typical physical processes and the principal types of equations deailing with them. Special attention is paid throughout to mathematical formulation, ri
Systematic Equation Formulation
DEFF Research Database (Denmark)
Lindberg, Erik
2007-01-01
A tutorial giving a very simple introduction to the set-up of the equations used as a model for an electrical/electronic circuit. The aim is to find a method which is as simple and general as possible with respect to implementation in a computer program. The “Modified Nodal Approach”, MNA, and th......, and the “Controlled Source Approach”, CSA, for systematic equation formulation are investigated. It is suggested that the kernel of the P Spice program based on MNA is reprogrammed....
Li, Tatsien
2017-01-01
This book focuses on nonlinear wave equations, which are of considerable significance from both physical and theoretical perspectives. It also presents complete results on the lower bound estimates of lifespan (including the global existence), which are established for classical solutions to the Cauchy problem of nonlinear wave equations with small initial data in all possible space dimensions and with all possible integer powers of nonlinear terms. Further, the book proposes the global iteration method, which offers a unified and straightforward approach for treating these kinds of problems. Purely based on the properties of solut ions to the corresponding linear problems, the method simply applies the contraction mapping principle.
Generalized estimating equations
Hardin, James W
2002-01-01
Although powerful and flexible, the method of generalized linear models (GLM) is limited in its ability to accurately deal with longitudinal and clustered data. Developed specifically to accommodate these data types, the method of Generalized Estimating Equations (GEE) extends the GLM algorithm to accommodate the correlated data encountered in health research, social science, biology, and other related fields.Generalized Estimating Equations provides the first complete treatment of GEE methodology in all of its variations. After introducing the subject and reviewing GLM, the authors examine th
2010-01-01
... Americans have a solemn obligation to participate in our democracy so that it remains vibrant, strong, and responsive to the needs of our citizens. To succeed, the democracy established in our Constitution requires... as leaders of civic, social, and educational organizations, to conduct ceremonies and programs that...
77 FR 57981 - Constitution Day and Citizenship Day, Constitution Week, 2012
2012-09-18
... From the Federal Register Online via the Government Publishing Office ] Vol. 77 Tuesday, No. 181..., Constitution Week, 2012 #0; #0; #0; Presidential Documents #0; #0; #0;#0;Federal Register / Vol. 77 , No. 181... duties and responsibilities of citizenship, the Congress, by joint resolution of February 29, 1952 (36 U...
Deacon, H. J.
2014-01-01
While the South African Constitution enshrines both children's right to a basic education and teachers' right to strike, conflict between these two often occurs when the way in which teachers' unions conduct strike actions detracts from learners' education. This article identifies the parties affected by industrial action in the school context,…
76 FR 58705 - Constitution Day and Citizenship Day, Constitution Week, 2011
2011-09-21
... September 21, 2011 Part V The President Proclamation 8714--Constitution Day and Citizenship Day..., delegates from the States gathered in Philadelphia to build a new framework for our young republic. Our....) [FR Doc. 2011-24438 Filed 9-20-11; 11:15 am] Billing code 3195-W1-P ...
Berro Pizzarossa, Lucia; Perehudoff, Katrina
2017-01-01
General Comment No. 22, issued in 2016 by the Committee on Economic, Social and Cultural Rights (CESCR), clarifies states' legal duties to respect, protect, and fulfill the right to sexual and reproductive health (SRH). Our study analyzes domestic constitutions around the world to investigate
Berro Pizzarossa, Lucia; Perehudoff, Katrina
2017-01-01
General Comment No. 22 clarifies States’ legal duties to respect, protect, and fulfill the right to sexual and reproductive health (SRH). Our study analyzes domestic constitutions to investigate whether and to what extent the provisions respect, protect, and/or fulfil the right to sexual and
Conservation laws for equations related to soil water equations
Directory of Open Access Journals (Sweden)
Khalique C. M.
2005-01-01
Full Text Available We obtain all nontrivial conservation laws for a class of ( 2+1 nonlinear evolution partial differential equations which are related to the soil water equations. It is also pointed out that nontrivial conservation laws exist for certain classes of equations which admit point symmetries. Moreover, we associate symmetries with conservation laws for special classes of these equations.
Test equating methods and practices
Kolen, Michael J
1995-01-01
In recent years, many researchers in the psychology and statistical communities have paid increasing attention to test equating as issues of using multiple test forms have arisen and in response to criticisms of traditional testing techniques This book provides a practically oriented introduction to test equating which both discusses the most frequently used equating methodologies and covers many of the practical issues involved The main themes are - the purpose of equating - distinguishing between equating and related methodologies - the importance of test equating to test development and quality control - the differences between equating properties, equating designs, and equating methods - equating error, and the underlying statistical assumptions for equating The authors are acknowledged experts in the field, and the book is based on numerous courses and seminars they have presented As a result, educators, psychometricians, professionals in measurement, statisticians, and students coming to the subject for...
The Statistical Drake Equation
Maccone, Claudio
2010-12-01
We provide the statistical generalization of the Drake equation. From a simple product of seven positive numbers, the Drake equation is now turned into the product of seven positive random variables. We call this "the Statistical Drake Equation". The mathematical consequences of this transformation are then derived. The proof of our results is based on the Central Limit Theorem (CLT) of Statistics. In loose terms, the CLT states that the sum of any number of independent random variables, each of which may be ARBITRARILY distributed, approaches a Gaussian (i.e. normal) random variable. This is called the Lyapunov Form of the CLT, or the Lindeberg Form of the CLT, depending on the mathematical constraints assumed on the third moments of the various probability distributions. In conclusion, we show that: The new random variable N, yielding the number of communicating civilizations in the Galaxy, follows the LOGNORMAL distribution. Then, as a consequence, the mean value of this lognormal distribution is the ordinary N in the Drake equation. The standard deviation, mode, and all the moments of this lognormal N are also found. The seven factors in the ordinary Drake equation now become seven positive random variables. The probability distribution of each random variable may be ARBITRARY. The CLT in the so-called Lyapunov or Lindeberg forms (that both do not assume the factors to be identically distributed) allows for that. In other words, the CLT "translates" into our statistical Drake equation by allowing an arbitrary probability distribution for each factor. This is both physically realistic and practically very useful, of course. An application of our statistical Drake equation then follows. The (average) DISTANCE between any two neighboring and communicating civilizations in the Galaxy may be shown to be inversely proportional to the cubic root of N. Then, in our approach, this distance becomes a new random variable. We derive the relevant probability density
Solution of Fokker–Planck equation by finite element and finite ...
Indian Academy of Sciences (India)
The response of a structural system to white noise excitation (delta-correlated) constitutes a Markov vector process whose transitional probability density function (TPDF) is governed by both the forward Fokker–Planck and backward Kolmogorov equations. Numerical solution of these equations by ﬁnite element and ﬁnite ...
Rossani, A.
2016-11-01
If electrons (e) and holes (h) in metals or semiconductors are heated to the temperatures Te and Th greater than the lattice temperature Tp, the electron-phonon interaction causes energy relaxation. In the nonuniform case, a momentum relaxation occurs as well. In view of such an application, a new model based on an asymptotic procedure for solving the kinetic equations of carriers and phonons is proposed, with generation-recombination of electrons and holes, which gives naturally the displaced Maxwellian at the leading order. After that, balance equations for the electron number, hole number, energy densities, and momentum densities are constructed, which constitute now a system of eight equations for the chemical potentials (carriers), the temperatures (carriers and phonons), and the drift velocities (carriers and phonons). In the drift-diffusion approximation the constitutive laws are derived and the Onsager relations recovered.
A unifying fractional wave equation for compressional and shear waves.
Holm, Sverre; Sinkus, Ralph
2010-01-01
This study has been motivated by the observed difference in the range of the power-law attenuation exponent for compressional and shear waves. Usually compressional attenuation increases with frequency to a power between 1 and 2, while shear wave attenuation often is described with powers less than 1. Another motivation is the apparent lack of partial differential equations with desirable properties such as causality that describe such wave propagation. Starting with a constitutive equation which is a generalized Hooke's law with a loss term containing a fractional derivative, one can derive a causal fractional wave equation previously given by Caputo [Geophys J. R. Astron. Soc. 13, 529-539 (1967)] and Wismer [J. Acoust. Soc. Am. 120, 3493-3502 (2006)]. In the low omegatau (low-frequency) case, this equation has an attenuation with a power-law in the range from 1 to 2. This is consistent with, e.g., attenuation in tissue. In the often neglected high omegatau (high-frequency) case, it describes attenuation with a power-law between 0 and 1, consistent with what is observed in, e.g., dynamic elastography. Thus a unifying wave equation derived properly from constitutive equations can describe both cases.
Calculus & ordinary differential equations
Pearson, David
1995-01-01
Professor Pearson's book starts with an introduction to the area and an explanation of the most commonly used functions. It then moves on through differentiation, special functions, derivatives, integrals and onto full differential equations. As with other books in the series the emphasis is on using worked examples and tutorial-based problem solving to gain the confidence of students.
Equational binary decision diagrams
J.F. Groote (Jan Friso); J.C. van de Pol (Jaco)
2000-01-01
textabstractWe incorporate equations in binary decision diagrams (BDD). The resulting objects are called EQ-BDDs. A straightforward notion of ordered EQ-BDDs (EQ-OBDD) is defined, and it is proved that each EQ-BDD is logically equivalent to an EQ-OBDD. Moreover, on EQ-OBDDs satisfiability and
Sonoda, Hidenori
2005-01-01
An application of the exact renormalization group equations to the scalar field theory in three dimensional euclidean space is discussed. We show how to modify the original formulation by J. Polchinski in order to find the Wilson-Fisher fixed point using perturbation theory.
Fay, Temple H.
2010-01-01
Through numerical investigations, we study examples of the forced quadratic spring equation [image omitted]. By performing trial-and-error numerical experiments, we demonstrate the existence of stability boundaries in the phase plane indicating initial conditions yielding bounded solutions, investigate the resonance boundary in the [omega]…
Equational term graph rewriting
Z.M. Ariola (Zena); J.W. Klop (Jan Willem)
1995-01-01
textabstractWe present an equational framework for term graph rewriting with cycles. The usual notion of homomorphism is phrased in terms of the notion of bisimulation, which is well-known in process algebra and concurrency theory. Specifically, a homomorphism is a functional bisimulation. We prove
DEFF Research Database (Denmark)
Dyre, Jeppe
1995-01-01
energies chosen randomly according to a Gaussian. The random-walk model is here derived from Newton's laws by making a number of simplifying assumptions. In the second part of the paper an approximate low-temperature description of energy fluctuations in the random-walk modelthe energy master equation...
Modelling by Differential Equations
Chaachoua, Hamid; Saglam, Ayse
2006-01-01
This paper aims to show the close relation between physics and mathematics taking into account especially the theory of differential equations. By analysing the problems posed by scientists in the seventeenth century, we note that physics is very important for the emergence of this theory. Taking into account this analysis, we show the…
Directory of Open Access Journals (Sweden)
Hatem Mejjaoli
2008-12-01
Full Text Available We introduce and study the Dunkl symmetric systems. We prove the well-posedness results for the Cauchy problem for these systems. Eventually we describe the finite speed of it. Next the semi-linear Dunkl-wave equations are also studied.
Dzhunushaliev, Vladimir
2010-01-01
Stochastic Einstein equations are considered when 3D space metric $\\gamma_{ij}$ are stochastic functions. The probability density for the stochastic quantities is connected with the Perelman's entropy functional. As an example, the Friedman Universe is considered. It is shown that for the Friedman Universe the dynamical evolution is not changed. The connection between general relativity and Ricci flows is discussed.
Partial differential equations
Indian Academy of Sciences (India)
of solutions in the spirit of the work of Gidas–. Ni–Nirenberg, etc. No effort is being made in this writeup to explain their significance in which case the article would go beyond resonable length. References. [1] Brezis H and Nirenberg L 1983 Positive Solutions of nonlinear elliptic equations involving critical Sobolev.
Structural Equation Model Trees
Brandmaier, Andreas M.; von Oertzen, Timo; McArdle, John J.; Lindenberger, Ulman
2013-01-01
In the behavioral and social sciences, structural equation models (SEMs) have become widely accepted as a modeling tool for the relation between latent and observed variables. SEMs can be seen as a unification of several multivariate analysis techniques. SEM Trees combine the strengths of SEMs and the decision tree paradigm by building tree…
Differential Equation of Equilibrium
African Journals Online (AJOL)
user
ABSTRACT. Analysis of underground circular cylindrical shell is carried out in this work. The forth order differential equation of equilibrium, comparable to that of beam on elastic foundation, was derived from static principles on the assumptions of P. L Pasternak. Laplace transformation was used to solve the governing ...
Differential Equations as Actions
DEFF Research Database (Denmark)
Ronkko, Mauno; Ravn, Anders P.
1997-01-01
We extend a conventional action system with a primitive action consisting of a differential equation and an evolution invariant. The semantics is given by a predicate transformer. The weakest liberal precondition is chosen, because it is not always desirable that steps corresponding to differential...
African Journals Online (AJOL)
compaction are two parameters that indicate the degree of compaction in sandstones. When the values are low, the sands are undercompacted, but when they are high the sands are compacted. A number of equations relating porosity and depth in sandstones have been published (Athy,. 1930; Hubbert and Rubey, 1959; ...
ANTHROPOMETRIC PREDICTIVE EQUATIONS FOR ...
African Journals Online (AJOL)
Equations to Estimate Body Composition. Military Medicine. pp. 12-15. Chada, D.S.; Singh, G.P.; Vasdev, V. and Ganjoo, RK. 2006. Anthropometry Correlation of Lipid. Profile in Healthy Aviators. Indian Journal of. Aerospace Med 50 (2), pp. 32 - 36. Dae, J. 2003 . Bodyometryfutrex, http:// www.futrex.com/6100htm/, pp 1-3.
Directory of Open Access Journals (Sweden)
Garkavenko A. S.
2011-08-01
Full Text Available The rate equations of the exciton laser in the system of interacting excitons have been obtained and the inverted population conditions and generation have been derived. The possibility of creating radically new gamma-ray laser has been shown.
Indian Academy of Sciences (India)
Home; Journals; Resonance – Journal of Science Education; Volume 15; Issue 8. The Freudenstein Equation - Design of Four-Link Mechanisms. Ashitava Ghosal. General Article Volume 15 Issue 8 August 2010 pp 699-710. Fulltext. Click here to view fulltext PDF. Permanent link:
The Theory of Global Governance, Constitutionalization and Comparative Constitutional Law
Czech Academy of Sciences Publication Activity Database
Blahož, Josef
2013-01-01
Roč. 3, č. 3 (2013), s. 195-207 ISSN 1805-8396 Institutional support: RVO:68378122 Keywords : globalization of political culture * global constitutionalism * comparative constitutional law Subject RIV: AG - Legal Sciences
Approaches to a constitutional function on theory of crime
Directory of Open Access Journals (Sweden)
Yvan Montoya Vivanco
2013-12-01
Full Text Available After presenting assumptions of neo constitutionalism impact incriminal law, this article raises the possibilities of rebuild contents of categories on crime’s theory towards fundamental principles and rights recognized (explicitly or implicitly in the Constitution.
Constitutive Theory Developed for Monolithic Ceramic Materials
Janosik, Lesley A.
1998-01-01
With the increasing use of advanced ceramic materials in high-temperature structural applications such as advanced heat engine components, the need arises to accurately predict thermomechanical behavior that is inherently time-dependent and that is hereditary in the sense that the current behavior depends not only on current conditions but also on the material's thermomechanical history. Most current analytical life prediction methods for both subcritical crack growth and creep models use elastic stress fields to predict the time-dependent reliability response of components subjected to elevated service temperatures. Inelastic response at high temperatures has been well documented in the materials science literature for these material systems, but this issue has been ignored by the engineering design community. From a design engineer's perspective, it is imperative to emphasize that accurate predictions of time-dependent reliability demand accurate stress field information. Ceramic materials exhibit different time-dependent behavior in tension and compression. Thus, inelastic deformation models for ceramics must be constructed in a fashion that admits both sensitivity to hydrostatic stress and differing behavior in tension and compression. A number of constitutive theories for materials that exhibit sensitivity to the hydrostatic component of stress have been proposed that characterize deformation using time-independent classical plasticity as a foundation. However, none of these theories allow different behavior in tension and compression. In addition, these theories are somewhat lacking in that they are unable to capture the creep, relaxation, and rate-sensitive phenomena exhibited by ceramic materials at high temperatures. The objective of this effort at the NASA Lewis Research Center has been to formulate a macroscopic continuum theory that captures these time-dependent phenomena. Specifically, the effort has focused on inelastic deformation behavior associated
Calatroni, Luca
2013-08-01
We present directional operator splitting schemes for the numerical solution of a fourth-order, nonlinear partial differential evolution equation which arises in image processing. This equation constitutes the H -1-gradient flow of the total variation and represents a prototype of higher-order equations of similar type which are popular in imaging for denoising, deblurring and inpainting problems. The efficient numerical solution of this equation is very challenging due to the stiffness of most numerical schemes. We show that the combination of directional splitting schemes with implicit time-stepping provides a stable and computationally cheap numerical realisation of the equation.
Isharyanto,
2015-01-01
The realm of political practice today , a mechanism for checking the legalnorms by the court to ensure the coherence of the legislation of the constitution becomes inevitable (judicial constitutional review ) . Learning the Japanese experience , that constitutionalism is the reconstruction of post-war Japan ystem ystem kenegaran of civil law -based rule by law be a constitutionalism which is based on the rule of law .
STABILITY AND DYNAMICS OF THE CONSTITUTION OF UKRAINE
Marina Nikolaievna Lazareva
2014-01-01
This article contains a brief review of the constitutional events that took place in Ukraine since its Declaration of Independence to the Presidential elections in 2014. The main attention is given to the transformation of the text of the Ukrainian Constitution of 1996 and the legal instruments of its conversion, including acts of the Constitutional Court. The author emphasizes the idea of the similarity of the constitutional and legal institutions of Ukraine and Russia, comparing them with e...
Problems in Hydrodynamics and Partial Differential Equations.
CALCULUS OF VARIATIONS, RESEARCH MANAGEMENT ), NONLINEAR DIFFERENTIAL EQUATIONS, PARTIAL DIFFERENTIAL EQUATIONS, BOUNDARY VALUE PROBLEMS, EQUATIONS, INEQUALITIES, MEASURE THEORY , INTEGRALS, ABSTRACTS
Lectures on partial differential equations
Petrovsky, I G
1992-01-01
Graduate-level exposition by noted Russian mathematician offers rigorous, transparent, highly readable coverage of classification of equations, hyperbolic equations, elliptic equations and parabolic equations. Wealth of commentary and insight invaluable for deepening understanding of problems considered in text. Translated from the Russian by A. Shenitzer.
The Constitution of the Cultural Memory
Directory of Open Access Journals (Sweden)
Ute Seydel
2015-02-01
Full Text Available In the first half of the twentieth century, the sociologist Maurice Halbwachs and the literary critic and philosopher Walter Benjamin, published a pioneering work on the social dimension of memory as well as the first considerations about the transmission of personal experience and of what a member of a collectivity heard. Although both emphasize the importance of oral communication,it is possible to glimpse, in both texts, the seed for what since the 1980’s began to be called “cultural memory”, a memory that’s not only created on thebasis of oral stories and the everyday inteaction —that is to say, the mediumof the voice— but through the use of various media. These allow to store anddivulge the versions of the past in larger spaces than those which constitute thememory surroundings of which Halbwachs talked. Jan Assmann describes th estabilization processes of cultural memory on which the various institutionsand media intervene, while Astrid Erll explores the dynamization processes of cultural memory that occur in our current mediatic societies through remediatizationand premediatization, as well as the biggest accessibility of electronicmedia for a wide audience. Thus, it is possible to articulate memory latenciesand to question hegemonic versions of the past.
Financial Accounting Constitution or its Referential Matrix
Directory of Open Access Journals (Sweden)
Niculae Feleaga
2006-07-01
Full Text Available Using a simplified approach it may be stated that the financial accounting theoretical framework is structured on three levels. At the first level, reference is made to the accounting objectives. These objectives are fundamental for the theoretical framework. At the second level, we find the accounting information characteristics and explicit mentions about the headings of financial statements. The mentioned characteristics of accounting information represent the basic issues for ensuring its utility. The headings represent the main categories of elements disclosed in the financial statements, like assets and liabilities – these two elements’ definitions brought radical changes both in the accounting thinking and practices. Overall, the second level’s components represent the basis for building the practice directives as a matter of recognition (identification and measurement (evaluation. Inside the third level, the recognition and measurement directives are being detailed, which will be further used by the accounting specialist in order to identify and apply the accounting standards. These two directives enclose postulates, principles and restrictions. Such specifications prove to be useful whenever precise answers must be given to relative financial information issues. Usually, it is accepted that the theoretical framework, also called the accounting framework is the standard-setting, metaphorically speaking is actually the constitution of financial accounting, or in other words, its reference matrix.
[Body constitution in children in Cuentepec, Morelos].
Ramos Rodríguez, R M
1981-01-01
A somatometric estimation of the body constitution was made in 87 females and 72 males applying the values of weight and height, the muscle circumference and medial section of the left arm and fat area of that section. The material represented 28.57 and 23.61% respectively of the total number of the 5 to 19 years-old inhabitants of the Nahua community of Cuentepec, Morelos. Weight and height, -but specially the latter-were impaired, both in males as in females, but more markedly in the latter. The weight as expected for the height was not affected. The behavior of the total area of the arm was quite similar to that of the body weight. In contrast, in females under 14 years old, the muscle area of the arm was located as an average, slightly below the limits of normality; subsequently, it was normal. In males it was significantly lower than in females. The fat area was the most deteriorated and the defect was persistently greater in females than in males. All this means protection mechanisms of the active tissue mass (homeorrhesis) leading to a greater resistance in females, but at the same time, being responsible for a decrease in magnitude of the somatometric expression of the sexual dimorphism.
The Method of a Standalone Functional Verifying Operability of Sonar Control Systems
Directory of Open Access Journals (Sweden)
A. A. Sotnikov
2014-01-01
Full Text Available This article describes a method of standalone verifying sonar control system, which is based on functional checking of control system operability.The main features of realized method are a development of the valid mathematic model for simulation of sonar signals at the point of hydroacoustic antenna, a valid representation of the sonar control system modes as a discrete Markov model, providing functional object verification in real time mode.Some ways are proposed to control computational complexity in case of insufficient computing resources of the simulation equipment, namely the way of model functionality reduction and the way of adequacy reduction.Experiments were made using testing equipment, which was developed by department of Research Institute of Information Control System at Bauman Moscow State Technical University to verify technical validity of industrial sonar complexes.On-board software was artificially changed to create malfunctions in functionality of sonar control systems during the verifying process in order to estimate verifying system performances.The method efficiency was proved by the theory and experiment results in comparison with the basic methodology of verifying technical systems.This method could be also used in debugging of on-board software of sonar complexes and in development of new promising algorithms of sonar signal processing.
Elements of partial differential equations
Sneddon, Ian N
2006-01-01
Geared toward students of applied rather than pure mathematics, this volume introduces elements of partial differential equations. Its focus is primarily upon finding solutions to particular equations rather than general theory.Topics include ordinary differential equations in more than two variables, partial differential equations of the first and second orders, Laplace's equation, the wave equation, and the diffusion equation. A helpful Appendix offers information on systems of surfaces, and solutions to the odd-numbered problems appear at the end of the book. Readers pursuing independent st
Elements of partial differential equations
Sneddon, Ian Naismith
1957-01-01
Geared toward students of applied rather than pure mathematics, this volume introduces elements of partial differential equations. Its focus is primarily upon finding solutions to particular equations rather than general theory.Topics include ordinary differential equations in more than two variables, partial differential equations of the first and second orders, Laplace's equation, the wave equation, and the diffusion equation. A helpful Appendix offers information on systems of surfaces, and solutions to the odd-numbered problems appear at the end of the book. Readers pursuing independent st
Unquenched thirst: the need for a constitutionally recognized right to ...
African Journals Online (AJOL)
As demonstrated in South Africa, the codification of the right to water in its constitution has improved access to adequate water, sparked government concern and action on water and sanitation issues, and provided citizens with various avenues to compel government adherence to the constitutional right. Is constitutional ...
Legitimacy of the Vidovdan Constitution and relationships established thereby
Directory of Open Access Journals (Sweden)
Aksić Sava
2016-01-01
Full Text Available The Vidovdan Constitution (1921 was the first constitution of the Kingdom of Serbs, Croats and Slovenians. Serbian ruling parties advocated that the constitution should be adopted in Parliament by a simple majority vote of Serbs, Croats and Slovenians all together, considering that it was to be the constitution of 'one nation with three names'. On the other hand, Croatian and Slovenian parties took the position that the constitution should be approved by a majority vote of each of the three nations (Serbs, Croats and Slovenians separately. The Constitution was adopted on Vidovdan (St. Vitus Day, on 28th June 1921, by the Serbian and Muslim majority. However, this constitution was not legitimate, because the provisions it rested on were not approved by the parliamentary majority of each nation separately but by the parliamentary majority of all nations together, where the three nations had unequal number of representative. Under the Vidovdan Constitution, the territory of the state was centralized, church authorities did not have the status of state authority, and the Church was only acknowledged the status of an autonomous organization. This Constitution established constitutional monarchy as a form of government. It further envisaged that the King did not have any authorities outside the Constitution, and that there were no authorities that could not be taken away from him under the Constitution.
Avoiding Mazibuko : water security and constitutional rights in ...
African Journals Online (AJOL)
The 2009 judgment by the Constitutional Court of South Africa in Mazibuko v City of Johannesburg is seen by many as a watershed in the interpretation of the fundamental constitutional right of access to water. The Constitutional Court ruled that the right of access to sufficient water does not require that the state provide ...
ALL ABOUT WORDS ON THE PROCEDURE OF CONSTITUTIONAL ...
African Journals Online (AJOL)
'unconstitutional declaration of unconstitutionality' of laws in Melaku's case. ... employed in the process of adjudicating constitutional issues, the ' law to re-enact for .... interpretation, but even then, courts do not follow civil procedures like that of civil suit. Constitutional interpretation is all about maintaining constitutionalism.
Reflections on the Establishment of Constitutional Government in Eastern Europe.
Varat, Jonathan D.
Establishing constitutional government involves not simply the creation of a written document that purports to create the political structure of a nation and guarantee rights to its people, but "constitutionalism" in the sense of meaningful and effective adherence to constitutional norms of democratic organization and the protection of…
BOOK REVIEW Gyorfi T Against the New Constitutionalism (Edward ...
African Journals Online (AJOL)
MJM Venter
2017-05-16
May 16, 2017 ... Review. This notable addition to the series Elgar Monographs in Constitutional and. Administrative Law is a thought-provoking contribution to the "legal versus political constitutionalism" debate. The author, a Hungarian scholar working in the UK, takes a sceptical view of constitutional judicial review. He.
CHAPTER FOUR LİBERTY AND TURKISH CONSTITUTIONS:
FENDOĞLU, Doç.Dr.Hasan Tahsin
2014-01-01
CHAPTER FOUR LIBERTY AND TURKISH CONSTITUTIONS: Doç.Dr.Hasan Tahsin FENDOĞLU ABSTRACT: Turkish Constitution of 1982 is the first and only Turkish Constitution that has a main purpose on strengthening the political power not the liberty or democr...
Zelalem Eshetu Degifie Abstract The Constitution of the Federal ...
African Journals Online (AJOL)
This amending formula which is built-in the constitution serves to confine the right to amend within the prescribed legal ... Trends in Africa and Their Potential Impact on Constitutionalism, 1, 20-21 (Paper Presented at the World Congress .... eternity clauses which define the immutable elements of the constitution. At this time,.
do the new Zimbabwean constitutional provisions on judicial ...
African Journals Online (AJOL)
RV
BA English (Solusi University); LLB, LLM (University of Fort Hare) and and is currently undertaking a .... The Constitution of Zimbabwe stipulates, in line with international norms, that no person or organ of ..... Ex Parte Chairperson of the Constitutional Assembly: in re Certification of the Constitution of the. Republic of South ...
Human Rights under the Ethiopian Constitution: A Descriptive ...
African Journals Online (AJOL)
This article summarizes human rights under the Ethiopian Constitution (mainly surrounding Chapter 3 of Constitution and related constitutional provisions on human and democratic rights), and forwards some insights. It, inter alia, covers various aspects of the application and interpretation of human rights provisions, ...
Constitutive Laws for Geomaterials Lois constitutives pour les géomatériaux
Directory of Open Access Journals (Sweden)
Papamichos E.
2006-12-01
Full Text Available An abundance of constitutive laws exists to approximate the behavior of geomaterials under various stresses, boundary conditions and loading paths, pore pressures, temperatures and so on. The construction of constitutive laws is driven by two competing trends: the tendency for a unifying law describing the material behavior under the most general conditions, and the need for laws that can be used efficiently in practice. The latter incorporates both the possibility of calibration from available specimens and the user-friendliness of the law. For engineering purposes, the second tendency dominates and the engineer scientist has to evaluate the problem and select the most appropriate model to describe the dominant phenomena on hand. A review of various constitutive laws for geomaterials is presented with an emphasis on their application. Various examples of engineering problems and geomaterials with emphasis on petroleum applications are used to demonstrate that the law must be as simple as possible but not simpler. Il existe un nombre important de lois constitutives permettant d'approcher le comportement des géomatériaux sous diverses contraintes, conditions aux limites et divers chemins de chargement, pressions de pore, températures, etc. L'élaboration de lois constitutives suit deux tendances concurrentes : la tendance à élaborer une loi unifiée décrivant le comportement du matériau sous les conditions les plus générales, et le besoin de lois justifié par une utilisation efficace dans la pratique. La dernière tendance inclut à la fois la possibilité d'une calibration par des essais sur des échantillons disponibles, et la convivialité de la loi. À des fins d'ingénierie, la seconde tendance domine, l'ingénieur doit évaluer le problème et sélectionner le modèle le plus approprié pour décrire le phénomène dominant observé. Dans cet article, un examen des diverses lois constitutives pour les géomatériaux, et en
Mahmood, H.; Siddique, M. R. H.; Akhter, M.
2016-08-01
Estimations of biomass, volume and carbon stock are important in the decision making process for the sustainable management of a forest. These estimations can be conducted by using available allometric equations of biomass and volume. Present study aims to: i. develop a compilation with verified allometric equations of biomass, volume, and carbon for trees and shrubs of Bangladesh, ii. find out the gaps and scope for further development of allometric equations for different trees and shrubs of Bangladesh. Key stakeholders (government departments, research organizations, academic institutions, and potential individual researchers) were identified considering their involvement in use and development of allometric equations. A list of documents containing allometric equations was prepared from secondary sources. The documents were collected, examined, and sorted to avoid repetition, yielding 50 documents. These equations were tested through a quality control scheme involving operational verification, conceptual verification, applicability, and statistical credibility. A total of 517 allometric equations for 80 species of trees, shrubs, palm, and bamboo were recorded. In addition, 222 allometric equations for 39 species were validated through the quality control scheme. Among the verified equations, 20%, 12% and 62% of equations were for green-biomass, oven-dried biomass, and volume respectively and 4 tree species contributed 37% of the total verified equations. Five gaps have been pinpointed for the existing allometric equations of Bangladesh: a. little work on allometric equation of common tree and shrub species, b. most of the works were concentrated on certain species, c. very little proportion of allometric equations for biomass estimation, d. no allometric equation for belowground biomass and carbon estimation, and d. lower proportion of valid allometric equations. It is recommended that site and species specific allometric equations should be developed and
Procedures for measuring and verifying gastric tube placement in newborns: an integrative review.
Dias, Flávia de Souza Barbosa; Emidio, Suellen Cristina Dias; Lopes, Maria Helena Baena de Moraes; Shimo, Antonieta Keiko Kakuda; Beck, Ana Raquel Medeiros; Carmona, Elenice Valentim
2017-07-10
to investigate evidence in the literature on procedures for measuring gastric tube insertion in newborns and verifying its placement, using alternative procedures to radiological examination. an integrative review of the literature carried out in the Cochrane, LILACS, CINAHL, EMBASE, MEDLINE and Scopus databases using the descriptors "Intubation, gastrointestinal" and "newborns" in original articles. seventeen publications were included and categorized as "measuring method" or "technique for verifying placement". Regarding measuring methods, the measurements of two morphological distances and the application of two formulas, one based on weight and another based on height, were found. Regarding the techniques for assessing placement, the following were found: electromagnetic tracing, diaphragm electrical activity, CO2 detection, indigo carmine solution, epigastrium auscultation, gastric secretion aspiration, color inspection, and evaluation of pH, enzymes and bilirubin. the measuring method using nose to earlobe to a point midway between the xiphoid process and the umbilicus measurement presents the best evidence. Equations based on weight and height need to be experimentally tested. The return of secretion into the tube aspiration, color assessment and secretion pH are reliable indicators to identify gastric tube placement, and are the currently indicated techniques. investigar, na literatura, evidências sobre procedimentos de mensuração da sonda gástrica em recém-nascidos e de verificação do seu posicionamento, procedimentos alternativos ao exame radiológico. revisão integrativa da literatura nas bases Biblioteca Cochrane, LILACS, CINAHL, EMBASE, MEDLINE e Scopus, utilizando os descritores "intubação gastrointestinal" e "recém-nascido" em artigos originais. dezessete publicações foram incluídas e categorizadas em "método de mensuração" ou "técnica de verificação do posicionamento". Como métodos de mensuração, foram encontrados os de tomada
Data-driven non-linear elasticity: constitutive manifold construction and problem discretization
Ibañez, Ruben; Borzacchiello, Domenico; Aguado, Jose Vicente; Abisset-Chavanne, Emmanuelle; Cueto, Elias; Ladeveze, Pierre; Chinesta, Francisco
2017-11-01
The use of constitutive equations calibrated from data has been implemented into standard numerical solvers for successfully addressing a variety problems encountered in simulation-based engineering sciences (SBES). However, the complexity remains constantly increasing due to the need of increasingly detailed models as well as the use of engineered materials. Data-Driven simulation constitutes a potential change of paradigm in SBES. Standard simulation in computational mechanics is based on the use of two very different types of equations. The first one, of axiomatic character, is related to balance laws (momentum, mass, energy,\\ldots ), whereas the second one consists of models that scientists have extracted from collected, either natural or synthetic, data. Data-driven (or data-intensive) simulation consists of directly linking experimental data to computers in order to perform numerical simulations. These simulations will employ laws, universally recognized as epistemic, while minimizing the need of explicit, often phenomenological, models. The main drawback of such an approach is the large amount of required data, some of them inaccessible from the nowadays testing facilities. Such difficulty can be circumvented in many cases, and in any case alleviated, by considering complex tests, collecting as many data as possible and then using a data-driven inverse approach in order to generate the whole constitutive manifold from few complex experimental tests, as discussed in the present work.
Data-driven non-linear elasticity: constitutive manifold construction and problem discretization
Ibañez, Ruben; Borzacchiello, Domenico; Aguado, Jose Vicente; Abisset-Chavanne, Emmanuelle; Cueto, Elias; Ladeveze, Pierre; Chinesta, Francisco
2017-07-01
The use of constitutive equations calibrated from data has been implemented into standard numerical solvers for successfully addressing a variety problems encountered in simulation-based engineering sciences (SBES). However, the complexity remains constantly increasing due to the need of increasingly detailed models as well as the use of engineered materials. Data-Driven simulation constitutes a potential change of paradigm in SBES. Standard simulation in computational mechanics is based on the use of two very different types of equations. The first one, of axiomatic character, is related to balance laws (momentum, mass, energy,\\ldots ), whereas the second one consists of models that scientists have extracted from collected, either natural or synthetic, data. Data-driven (or data-intensive) simulation consists of directly linking experimental data to computers in order to perform numerical simulations. These simulations will employ laws, universally recognized as epistemic, while minimizing the need of explicit, often phenomenological, models. The main drawback of such an approach is the large amount of required data, some of them inaccessible from the nowadays testing facilities. Such difficulty can be circumvented in many cases, and in any case alleviated, by considering complex tests, collecting as many data as possible and then using a data-driven inverse approach in order to generate the whole constitutive manifold from few complex experimental tests, as discussed in the present work.
Stochastic differential equations and applications
Friedman, Avner
2006-01-01
This text develops the theory of systems of stochastic differential equations, and it presents applications in probability, partial differential equations, and stochastic control problems. Originally published in two volumes, it combines a book of basic theory and selected topics with a book of applications.The first part explores Markov processes and Brownian motion; the stochastic integral and stochastic differential equations; elliptic and parabolic partial differential equations and their relations to stochastic differential equations; the Cameron-Martin-Girsanov theorem; and asymptotic es
Besselink, Leonard F.M.
2011-01-01
This essay compliments Neil Walker's Constitutionalism and the Incompleteness of Democracy: An Iterative Relationshipon, with some historical and constitutional observations. It submits that Walker's analysis is based to a large extent on reasoning derived from a particular continental European
Partial difference equations arising from the Cauchy-Riemann equations
Directory of Open Access Journals (Sweden)
S. Haruki
2006-06-01
Full Text Available We consider some functional equations arising from the Cauchy-Riemann equations, and certain related functional equations. First we propose a new functional equation (E.1 below, over a $2$-divisible Abelian group, which is a discrete version of the Cauchy-Riemann equations, and give the general solutions of (E.1. Next we study a functional equation which is equivalent to (E.1. Further we propose and solve partial difference-differential functional equations and nonsymmetric partial difference equations which are also arising from the Cauchy--Riemann equations. [ f(x+t,y- f(x-t,y = - i [f(x,y+t- f(x,y-t]. (E.1
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems
Directory of Open Access Journals (Sweden)
Long Zhang
2017-01-01
Full Text Available Mobile cyber-physical systems (CPSs are very hard to verify, because of asynchronous communication and the arbitrary number of components. Verification via model checking typically becomes impracticable due to the state space explosion caused by the system parameters and concurrency. In this paper, we propose a formal approach to verify the safety properties of parameterized protocols in mobile CPS. By using counter abstraction, the protocol is modeled as a Petri net. Then, a novel algorithm, which uses IC3 (the state-of-the-art model checking algorithm as the back-end engine, is presented to verify the Petri net model. The experimental results show that our new approach can greatly scale the verification capabilities compared favorably against several recently published approaches. In addition to solving the instances fast, our method is significant for its lower memory consumption.
Frithsen, Ivar L; Vetter, Richard S; Stocks, Ian C
2007-01-01
To determine whether the number of brown recluse spider bites diagnosed by South Carolina physicians coincides with evidence of brown recluse spiders found in the state. Brown recluse spider bite diagnosis data were extracted from 1990 and 2004 surveys of South Carolina physicians. This was compared with the known historical evidence of brown recluse spiders collected in South Carolina and derived from various sources, including state agencies, arachnologists, and museum specimens. South Carolina physicians diagnosed 478 brown recluse spider bites in 1990 and 738 in 2004. Dating to 1953, 44 brown recluse spider specimens have been verified from 6 locations in South Carolina. The number of brown recluse bites reportedly diagnosed in South Carolina greatly outnumbers the verified brown recluse specimens that have been collected in the state. The pattern of bite diagnoses outnumbering verified brown recluse specimens has been reported in other areas outside of this spider's known endemic range.
Dynamic Symmetric Key Mobile Commerce Scheme Based on Self-Verified Mechanism
Directory of Open Access Journals (Sweden)
Jiachen Yang
2014-01-01
Full Text Available In terms of the security and efficiency of mobile e-commerce, the authors summarized the advantages and disadvantages of several related schemes, especially the self-verified mobile payment scheme based on the elliptic curve cryptosystem (ECC and then proposed a new type of dynamic symmetric key mobile commerce scheme based on self-verified mechanism. The authors analyzed the basic algorithm based on self-verified mechanisms and detailed the complete transaction process of the proposed scheme. The authors analyzed the payment scheme based on the security and high efficiency index. The analysis shows that the proposed scheme not only meets the high efficiency of mobile electronic payment premise, but also takes the security into account. The user confirmation mechanism at the end of the proposed scheme further strengthens the security of the proposed scheme. In brief, the proposed scheme is more efficient and practical than most of the existing schemes.
What are the ultimate limits to computational techniques: verifier theory and unverifiability
Yampolskiy, Roman V.
2017-09-01
Despite significant developments in proof theory, surprisingly little attention has been devoted to the concept of proof verifiers. In particular, the mathematical community may be interested in studying different types of proof verifiers (people, programs, oracles, communities, superintelligences) as mathematical objects. Such an effort could reveal their properties, their powers and limitations (particularly in human mathematicians), minimum and maximum complexity, as well as self-verification and self-reference issues. We propose an initial classification system for verifiers and provide some rudimentary analysis of solved and open problems in this important domain. Our main contribution is a formal introduction of the notion of unverifiability, for which the paper could serve as a general citation in domains of theorem proving, as well as software and AI verification.
Evolution of optically nondestructive and data-non-intrusive credit card verifiers
Sumriddetchkajorn, Sarun; Intaravanne, Yuttana
2010-04-01
Since the deployment of the credit card, the number of credit card fraud cases has grown rapidly with a huge amount of loss in millions of US dollars. Instead of asking more information from the credit card's holder or taking risk through payment approval, a nondestructive and data-non-intrusive credit card verifier is highly desirable before transaction begins. In this paper, we review optical techniques that have been proposed and invented in order to make the genuine credit card more distinguishable than the counterfeit credit card. Several optical approaches for the implementation of credit card verifiers are also included. In particular, we highlight our invention on a hyperspectral-imaging based portable credit card verifier structure that offers a very low false error rate of 0.79%. Other key features include low cost, simplicity in design and implementation, no moving part, no need of an additional decoding key, and adaptive learning.
Directory of Open Access Journals (Sweden)
Melek Usal
2010-01-01
Full Text Available The linear thermoelastic behavior of a composite material reinforced by two independent and inextensible fiber families has been analyzed theoretically. The composite material is assumed to be anisotropic, compressible, dependent on temperature gradient, and showing linear elastic behavior. Basic principles and axioms of modern continuum mechanics and equations belonging to kinematics and deformation geometries of fibers have provided guidance and have been determining in the process of this study. The matrix material is supposed to be made of elastic material involving an artificial anisotropy due to fibers reinforcing by arbitrary distributions. As a result of thermodynamic constraints, it has been determined that the free energy function is dependent on a symmetric tensor and two vectors whereas the heat flux vector function is dependent on a symmetric tensor and three vectors. The free energy and heat flux vector functions have been represented by a power series expansion, and the type and the number of terms taken into consideration in this series expansion have determined the linearity of the medium. The linear constitutive equations of the stress and heat flux vector are substituted in the Cauchy equation of motion and in the equation of conservation of energy to obtain the field equations.