This paper presents a high level overview of a technology called CodeHawk whose purpose is to support verification of software properties. Today’s commercially available static analysis tools identify potential runtime and vulnerability problems based on properties described in the semantics of the programming language. While CodeHawk will detect those classes of problems, it is distinguished b...

Properties of the static, spherically symmetric solutions in the Jordan, Brans-Dicke theory. ABSTRACT. We have studied the properties of the static, spherically symmetric solution of Jordan, Brans-Dicke theory. An exact interior solution for standard space-time line element in the Schwarzschild form is obtained.

an understanding of the strength of rice grains as affected by moisture content and temperature is important for analysis and prediction of cracking and/or breakage behavior during handling and processing. further, the magnitude of these properties at various moisture contents and temperatures is needed for the accurate design of milling machinery so that grain damage is minimized. to determine...

we assume that each valence quark in a nucleon is in a phenomenological modified harmonic oscillator potential of the form: ( l+yo) (ar +br+cr +dr ), where a, b, c and d are constants and ? is one of the dirac matrices. then by making use of a suitable ansatz, the dirac equation has a very simple solution which is exact. we then have calculated the static properties of the nucleon in the ground...

This study is limited to study of buckling analysis of a sandwich cylindrical shell with functionally graded face sheets and homogenous core. High-order sandwich plate theory is improved by considering the in-plane stresses of the core that usually are ignored in the analysis of sandwich structures. Assume that all properties of the face sheets and the core are temperature dependent. Strain com...

The aim of this paper is to investigate geometrically nonlinear static analysis of axially functionally graded cantilever beam subjected to transversal non follower load. The considered problem is solved by finite element method with total Lagrangian kinematic approach. The material properties of the beam vary along the longitudinal direction according to the power law function. The finite elem...

Background & Aim: Increasing economic role of medicinal herbs in recent society and complexity of modern technologies in production (planting and harvesting), transportation, storage, processing, quality evaluation, distribution, marketing and consumption of these products require a thorough understanding of their physical properties. Coefficient of friction of plant on the various surfaces is ...

Background & Aim: Increasing economic role of medicinal herbs in recent society and complexity of modern technologies in production (planting and harvesting), transportation, storage, processing, quality evaluation, distribution, marketing and consumption of these products require a thorough understanding of their physical properties. Coefficient of friction of plant on the various surfaces is ...

thermoplastic honeycombs based on polypropylene are one of the latest types of cores used in sandwich structures. up to now there have been few experimental and modelling studies on the mechanical behaviour of sandwich structures with thermoplastic cores. in this paper, by considering the similar properties of foams and thermoplastic honeycombs, attempts are made to model the static indentation...