Automatic verification by means of extended static checking (ESC) has seen some success in industry and academia due to its lightweight and easy-to-use nature. Unfortunately, ESC comes at a cost: a host of logical and practical completeness and soundness issues. Interactive verification technology, on the other hand, is usually complete and sound, but requires a large amount of mathematical and...

The spline finite strip method (S.F.S.M.) for buckling analysis of plates and plate assemblies subjected to longitudinal compression and bending, transverse compression as well as shear is described. The method allows for the boundary conditions. Local buckling coefficients of plates with different boundary conditions under compression, bending and shear are calculated. Convergence studies with...

Real filaments are not perfectly homogeneous. Most of them have various materials composition and shapes making their stiffnesses not constant along the arclength. We investigate the existence of circular and helical equilibrium solutions of an intrinsically straight rod with varying bending and twisting stiffnesses, within the framework of the Kirchhoff model. The planar ring equilibrium solut...

The macroscopic curvature of double helical DNA induced by regularly repeated adenine tracts is well-known but still puzzling. Its physical origin remains controversial even though it is perhaps the best-documented sequence modulation of DNA structure. We report here the results of comparative theoretical and experimental studies of bending dynamics in 35-mer DNA fragments. This length appears ...

The spline finite strip method (S.F.S.M.) for buckling analysis of plates and plate assemblies subjected to longitudinal compression and bending, transverse compression as well as shear is described. The method allows for the boundary conditions. Local buckling coefficients of plates with different boundary conditions under compression, bending and shear are calculated. Convergence studies with...

This study focuses on the prediction of progressive brittle damages corroded stiffened structures by using peridynamics. First, deformations a structure subjected to uniform static pressure are investigated, and peridynamics results verified with from finite element analysis. Second, plate predicted, effects corrosion crack path as well bending strength investigated. Next, different types: loca...

A 3D mathematical model of orthodontic archwire with rectangular curve is established. Simplified 3D solid model of orthodontic archwire bending robot, which is consistent of bending die, support structure and archwire are established by Creo software, then the simplified model of bending die is put into ANSYS Workbench. Material parameters the contact condition and boundary conditions are set ...

The macroscopic curvature induced in the double helical B-DNA by regularly repeated adenine tracts (A-tracts) plays an exceptional role in structural studies of DNA because this effect presents the most well documented example of sequence specific conformational modulations. Recently, a new hypothesis of its physical origin has been put forward. According to it, the intrinsic bends in B-DNA may...

Polyetheretherketone (PEEK) is now attracting attention as an alternative to metal alloys in the dental field. In the present study, we evaluated the load-deflection characteristics of PEEK wires in addition to their frictional properties. Three types of PEEK wires are used: two sizes of rectangular shape, 0.016 × 0.022 in² and 0.019 × 0.025 in² (19-25PEEK), and rounded shape, diameter 0.016 in...