Formula traceability

ID Formule Exigence Document/section Fonctions Tests Reference
FORM-BEAM2-001 Repere local et transformation BEAM2 REQ-BEAM-001 docs/elements/beam2.md - ## Repere local Beam2Element.local_frame, Beam2Element.transformation tests/unit/test_beam2_element.py REF-FEM-BATHE
FORM-BEAM2-002 Rigidite de Timoshenko 3D BEAM2 REQ-BEAM-001 docs/elements/beam2.md - ## Proprietes de section Beam2Element.local_stiffness, Beam2Element.stiffness tests/unit/test_beam2_element.py REF-BEAM-TIMOSHENKO-1921
FORM-BEAM2-003 Masse coherente translationnelle et rotatoire BEAM2 REQ-BEAM-001 docs/elements/beam2.md - ## Masse Beam2Element.local_mass, Beam2Element.mass tests/unit/test_beam2_element.py REF-FEM-BATHE
FORM-BEAM2-004 Charge lineique coherente BEAM2 REQ-BEAM-001 docs/elements/beam2.md - ## Charges lineiques DistributedLoadIntegrator._line_vector tests/unit/test_beam2_element.py REF-FEM-BATHE
FORM-COMP-001 Matrice reduite orthotrope en contraintes planes REQ-COMP-001 docs/composites/lamelle_orthotrope.md - ## Matrice reduite Q OrthotropicLamina.nu21, OrthotropicLamina.reduced_stiffness tests/unit/test_composite_material.py REF-COMP-JONES
FORM-COMP-002 Transformation de la rigidite de lamelle Qbar REQ-COMP-001 docs/composites/lamelle_orthotrope.md - ## Transformation Qbar OrthotropicLamina.transformed_stiffness, OrthotropicLamina.strain_in_material_axes, OrthotropicLamina.stress_in_element_axes tests/unit/test_composite_material.py REF-COMP-JONES
FORM-COMP-003 Integration en epaisseur des matrices A B D REQ-COMP-002 docs/composites/theorie_stratifies.md - ## Matrices A, B et D ClassicalLaminate.interfaces, ClassicalLaminate.extensional_matrix, ClassicalLaminate.coupling_matrix, ClassicalLaminate.bending_matrix tests/unit/test_classical_laminate.py REF-COMP-JONES
FORM-COMP-004 Relation generalisee resultantes-deformations ABD REQ-COMP-002 docs/composites/theorie_stratifies.md - ## Matrices A, B et D ClassicalLaminate.stiffness_matrix, ClassicalLaminate.resultants, ClassicalLaminate.generalized_strains tests/unit/test_classical_laminate.py REF-COMP-JONES
FORM-COMP-005 Recuperation des deformations et contraintes par pli REQ-COMP-002 docs/composites/theorie_stratifies.md - ## Recuperation par pli ClassicalLaminate.ply_results tests/unit/test_classical_laminate.py REF-COMP-JONES
FORM-COMP-006 Rigidite MITC4 multicouche avec couplage membrane-flexion REQ-COMP-003 docs/composites/mitc4_multicouche.md - ## Rigidite elementaire MITC4Element.stiffness_local_components, LaminateShellMaterial.coupling_matrix tests/unit/test_mitc4_laminate.py REF-COMP-JONES
FORM-COMP-007 Rigidite de cisaillement transverse du stratifie REQ-COMP-003 docs/composites/mitc4_multicouche.md - ## Cisaillement transverse OrthotropicLamina.transformed_transverse_shear, LaminateShellMaterial.shear_matrix tests/unit/test_mitc4_laminate.py REF-COMP-JONES
FORM-COMP-008 Resultantes MITC4 et recuperation des contraintes par pli REQ-COMP-003 docs/composites/mitc4_multicouche.md - ## Resultantes et contraintes par pli StressPostProcessor._mitc4_result, ClassicalLaminate.ply_results tests/unit/test_mitc4_laminate.py, tests/integration/test_examples.py REF-COMP-JONES
FORM-COMP-009 Critere de contrainte maximale par pli REQ-COMP-004 docs/composites/criteres_rupture.md - ## Contrainte maximale CompositeFailureEvaluator.maximum_stress tests/unit/test_composite_failure.py REF-COMP-JONES
FORM-COMP-010 Critere de deformation maximale par pli REQ-COMP-004 docs/composites/criteres_rupture.md - ## Deformation maximale CompositeFailureEvaluator.maximum_strain tests/unit/test_composite_failure.py REF-COMP-JONES
FORM-COMP-011 Critere quadratique Tsai-Hill REQ-COMP-004 docs/composites/criteres_rupture.md - ## Tsai-Hill CompositeFailureEvaluator.tsai_hill tests/unit/test_composite_failure.py REF-COMP-AZZI-TSAI
FORM-COMP-012 Critere polynomial Tsai-Wu et facteur de reserve REQ-COMP-004 docs/composites/criteres_rupture.md - ## Tsai-Wu CompositeFailureEvaluator.tsai_wu tests/unit/test_composite_failure.py REF-COMP-TSAI-WU
FORM-CONTACT-001 Gap unilateral et Kuhn-Tucker noeud-triangle REQ-CONTACT-001 docs/elements/contact_sans_frottement.md - ## Geometrie, gap et signe FrictionlessContact.geometry, FrictionlessActiveSetSolver.solve tests/unit/test_frictionless_contact.py, tests/verification/test_frictionless_contact_structural_vnv.py, tests/verification/test_contact_master_surface_vnv.py, tests/verification/test_code_aster_contact_folded_vnv.py, tests/verification/test_code_aster_contact_folded_search_vnv.py REF-FEM-BATHE
FORM-CONTACT-002 Coulomb regularise : adhesion et glissement noeud-triangle REQ-CONTACT-001 docs/elements/contact_avec_frottement.md - ## Loi de Coulomb regularisee FrictionlessActiveSetSolver._solve_with_friction, solve_active_slip_root tests/unit/test_frictional_contact.py, tests/unit/test_frictional_contact_structural_limit.py, tests/unit/test_code_aster_friction_contact.py, tests/verification/test_frictional_contact_vnv.py, tests/verification/test_frictional_contact_structural_vnv.py, tests/verification/test_code_aster_friction_contact_vnv.py REF-FEM-BATHE
FORM-DISCRETE-001 Assemblage d'un ressort entre deux noeuds REQ-DISCRETE-001 docs/elements/entites_discretes.md - ## Ressort a deux noeuds SpringDefinition.nodal_stiffness, GlobalAssembler._discrete_matrix tests/unit/test_discrete_entities.py REF-FEM-BATHE
FORM-DISCRETE-002 Matrice d'inertie spatiale d'une masse excentree REQ-DISCRETE-001 docs/elements/entites_discretes.md - ## Masse concentree excentree ConcentratedMass.matrix tests/unit/test_discrete_entities.py REF-FEM-BATHE
FORM-DISCRETE-003 Frequence analytique masse-ressort REQ-DISCRETE-001 docs/elements/entites_discretes.md - ## Verification analytique ModalAnalysisSolver.solve tests/unit/test_discrete_entities.py REF-FEM-BATHE
FORM-DYN-001 Propagation modale exacte sous charge affine par intervalle REQ-DYN-001 docs/solveurs/newmark.md - ## Oracle temporel independant PiecewiseLinearModalOracle.propagate tests/unit/test_transient_broadband.py, tests/verification/test_mitc4_newmark_broadband_vnv.py REF-FEM-BATHE
FORM-MITC3-001 Interpolation P1 et bulle cubique MITC3+ REQ-MITC3-001 docs/elements/mitc3/interpolation_tying.md - ## Enrichissement des rotations Mitc3ShellElement.shape_functions, Mitc3ShellElement.rotation_shape_functions tests/unit/test_mitc3_element.py REF-MITC3-PLUS-2014
FORM-MITC3-002 Cisaillement covariant suppose MITC3+ REQ-MITC3-001 docs/elements/mitc3/interpolation_tying.md - ## Points de tying Mitc3ShellElement.assumed_covariant_shear tests/unit/test_mitc3_element.py, tests/verification/test_mitc3_campaign.py REF-MITC3-PLUS-2014
FORM-MITC3-003 Rigidite Reissner-Mindlin enrichie MITC3+ REQ-MITC3-001 docs/elements/mitc3/matrices_charges.md - ## Rigidite enrichie Mitc3ShellElement.stiffness_components, Mitc3ShellElement.stiffness tests/unit/test_mitc3_element.py, tests/integration/test_mitc3_workflow.py REF-MITC3-PLUS-2014
FORM-MITC3-004 Condensation statique des rotations de bulle REQ-MITC3-001 docs/elements/mitc3/matrices_charges.md - ## Condensation statique condensation_transform, condense_matrix, recover_internal tests/unit/test_mitc3_element.py REF-MITC3-PLUS-2014
FORM-MITC3-005 Masse coherente MITC3+ projetee REQ-MITC3-002 docs/elements/mitc3/matrices_charges.md - ## Masse coherente Mitc3ShellElement.mass, DynamicDofReducer.from_system tests/unit/test_mitc3_element.py, tests/integration/test_mitc3_workflow.py REF-MITC3-PLUS-2014
FORM-MITC4-001 Construction du repère local MITC4 REQ-SOL-002 docs/elements/mitc4/geometrie_ddl.md - ## Construction de la base MITC4Element.local_frame, MITC4Element.transform_dofs tests/verification/test_mitc4_verification.py REF-MITC4-DVORKIN
FORM-MITC4-002 Interpolation bilinéaire MITC4 REQ-SOL-002 docs/elements/mitc4/interpolation_tying.md - ## Interpolation bilineaire MITC4Element.shape_functions tests/verification/test_mitc4_verification.py REF-MITC4-DVORKIN
FORM-MITC4-003 Points de tying et cisaillement transverse REQ-SOL-002 docs/elements/mitc4/interpolation_tying.md - ## Points de tying MITC MITC4Element.shear_tying_vectors, MITC4Element.strain_matrices_local tests/verification/test_mitc4_verification.py REF-MITC4-DVORKIN
FORM-MITC4-004 Décomposition membrane, flexion et cisaillement REQ-SOL-002 docs/elements/mitc4/matrices_charges.md - ## Decomposition de la rigidite MITC4Element.strain_matrices_local, MITC4Element.stiffness_local_components tests/verification/test_mitc4_verification.py REF-MITC4-PLATE-1985
FORM-MITC4-005 Stabilisation de la rotation de drilling REQ-SOL-002 docs/elements/mitc4/matrices_charges.md - ## Rotation de drilling MITC4Element.strain_matrices_local, MITC4Element.stiffness_local_components tests/verification/test_mitc4_verification.py REF-MITC-BATHE
FORM-MITC4-006 Résultantes de coque REQ-SOL-002 docs/elements/mitc4/post_traitement_qualite.md - ## Resultantes de coque StressPostProcessor._mitc4_result tests/unit/test_shell_post.py REF-MITC-BATHE
FORM-MITC4-007 Contraintes aux faces inférieure et supérieure REQ-SOL-002 docs/elements/mitc4/post_traitement_qualite.md - ## Faces inferieure et superieure shell_face_results tests/unit/test_shell_post.py REF-MITC-BATHE
FORM-MITC4-008 Matrice de masse coherente Reissner-Mindlin REQ-MOD-002 docs/elements/mitc4/matrices_charges.md - ## Matrice de masse coherente MITC4Element.mass_local, MITC4Element.mass tests/unit/test_mitc4_dynamics.py REF-FEM-BATHE
FORM-MITC4-009 Condensation statique du drilling sans masse REQ-MOD-002 docs/verification/mitc4_validation.md - ## Condensation du drilling dynamique DynamicDofReducer.from_system, DynamicDofReducer.expand_state tests/unit/test_mitc4_dynamics.py REF-FEM-BATHE
FORM-MITC4-010 Condensation harmonique exacte du drilling avec amortissement de Rayleigh REQ-HAR-001 docs/solveurs/harmonique.md - ## Demonstration de la condensation harmonique exacte DynamicDofReducer.expand_complex_state, HarmonicResponseSolver.solve tests/unit/test_mitc4_dynamics.py, tests/verification/test_mitc4_harmonic_condensation_vnv.py REF-FEM-BATHE
FORM-MITC4-011 Superposition modale complete de la reponse harmonique REQ-HAR-001 docs/solveurs/harmonique.md - ## Superposition modale complete comme oracle large bande Mitc4HarmonicBroadbandStudy.run tests/verification/test_mitc4_harmonic_broadband_vnv.py REF-FEM-BATHE
FORM-MITC4-012 Contrainte harmonique complexe aux faces MITC4 REQ-HAR-001 docs/solveurs/harmonique.md - ## Contraintes harmoniques MITC4 par frequence HarmonicShellStressPostProcessor.frequency_results, HarmonicShellStressPostProcessor.averaged_nodal_stress tests/unit/test_harmonic_shell_post.py, tests/verification/test_mitc4_harmonic_nafems_vnv.py REF-FEM-BATHE
FORM-MPC-001 Elimination affine d'une contrainte multipoint REQ-MPC-001 docs/elements/liaisons_mpc_rbe.md - ## MPC affine ConstraintReduction.from_system tests/unit/test_mpc_reduction.py REF-FEM-BATHE
FORM-MPC-002 Cinematique rigide RBE2 REQ-MPC-001 docs/elements/liaisons_mpc_rbe.md - ## RBE2 : bras rigide rbe2_constraints tests/unit/test_rbe_links.py REF-FEM-BATHE
FORM-MPC-003 Projection rigide ponderee RBE3 et recovery des multiplicateurs REQ-MPC-001 docs/elements/liaisons_mpc_rbe.md - ## RBE3 : distribution par projection rigide rbe3_constraints, recover_constraint_forces tests/unit/test_rbe_links.py REF-FEM-BATHE
FORM-TET10-001 Fonctions de forme quadratiques TET10 REQ-SOL-003 docs/elements/tet10/interpolation_jacobien.md - ## Fonctions quadratiques Tet10Element.shape_functions, Tet10Element.shape_derivatives_reference tests/unit/test_tet10_element.py REF-FEM-BATHE
FORM-TET10-002 Mapping isoparamétrique et transformation J moins T REQ-SOL-003 docs/elements/tet10/interpolation_jacobien.md - ## Mapping Tet10Element.b_matrix, Tet10Element.jacobian_determinants tests/unit/test_tet10_element.py, tests/verification/test_tet10_verification.py REF-FEM-BATHE
FORM-TET10-003 Rigidité intégrée TET10 REQ-SOL-003 docs/elements/tet10/matrices_charges.md - ## Rigidite Tet10Element.stiffness, Tet10Element.stiffness_integration_rule tests/unit/test_tet10_element.py, tests/verification/test_tet10_verification.py, tests/verification/test_tet10_geometry_quadrature_vnv.py REF-FEM-BATHE
FORM-TET10-004 Masse cohérente TET10 REQ-SOL-003 docs/elements/tet10/matrices_charges.md - ## Masse coherente Tet10Element.mass, tetra_duffy_rule tests/unit/test_tet10_element.py, tests/unit/test_tet10_mass_modal_evidence.py, tests/verification/test_tet10_verification.py, tests/verification/test_tet10_mass_modal_loads_vnv.py REF-FEM-BATHE
FORM-TET10-005 Charges cohérentes TET10 REQ-SOL-003 docs/elements/tet10/matrices_charges.md - ## Charge de volume _tet10_body_vector, _solid_face_vector, triangle_duffy_rule, triangle_shape_functions tests/unit/test_distributed_loads.py, tests/verification/test_tet10_mass_modal_loads_vnv.py REF-FEM-BATHE
FORM-TET4-001 Coordonnées barycentriques et gradients constants REQ-SOL-001 docs/elements/tet4/interpolation_jacobien.md - ## Coordonnees barycentriques Tet4Element.shape_gradients tests/unit/test_tet4_element.py REF-FEM-BATHE
FORM-TET4-002 Volume orienté et Jacobien TET4 REQ-SOL-001 docs/elements/tet4/interpolation_jacobien.md - ## Convention de Jacobien Tet4Element.signed_volume tests/unit/test_tet4_element.py, tests/unit/test_mesh_validation.py REF-FEM-BATHE
FORM-TET4-003 Matrice déformation-déplacement TET4 REQ-SOL-001 docs/elements/tet4/matrices_charges.md - ## Matrice deformation-deplacement Tet4Element.strain_displacement_matrix, strain_displacement_from_gradients tests/unit/test_tet4_element.py REF-FEM-BATHE
FORM-TET4-004 Rigidité TET4 REQ-SOL-001 docs/elements/tet4/matrices_charges.md - ## Rigidite Tet4Element.stiffness tests/unit/test_tet4_element.py, tests/unit/test_solver.py REF-FEM-BATHE
FORM-TET4-005 Masse cohérente TET4 REQ-SOL-001 docs/elements/tet4/matrices_charges.md - ## Masse coherente Tet4Element.mass tests/unit/test_analysis_features.py REF-FEM-BATHE
FORM-TET4-006 Charges volumiques et surfaciques TET4 REQ-SOL-001 docs/elements/tet4/matrices_charges.md - ## Charges de volume DistributedLoadIntegrator._body_vector, _solid_face_vector tests/unit/test_distributed_loads.py REF-FEM-BATHE
FORM-TET4-TL-001 Gradient de deformation total lagrangien REQ-NL-002 docs/solveurs/total_lagrangian.md - ## Configuration et mesures TotalLagrangianTet4Kernel.deformation_gradient tests/unit/test_total_lagrangian_tet4.py REF-FEM-BATHE
FORM-TET4-TL-002 Deformation de Green-Lagrange REQ-NL-002 docs/solveurs/total_lagrangian.md - ## Configuration et mesures TotalLagrangianTet4Kernel.green_lagrange_strain tests/unit/test_total_lagrangian_tet4.py REF-FEM-BATHE
FORM-TET4-TL-003 Contrainte PK2 Saint-Venant-Kirchhoff REQ-NL-002 docs/solveurs/total_lagrangian.md - ## Configuration et mesures TotalLagrangianTet4Kernel.second_piola_stress tests/unit/test_total_lagrangian_tet4.py REF-FEM-BATHE
FORM-TET4-TL-004 Force interne et tangente consistante TET4-TL REQ-NL-002 docs/solveurs/total_lagrangian.md - ## Force interne et tangente TotalLagrangianTet4Kernel.internal_force_and_tangent, TotalLagrangianTet4Assembly.assemble tests/unit/test_total_lagrangian_tet4.py, tests/unit/test_total_lagrangian_tet4_batch.py REF-FEM-BATHE
FORM-TET4-TL-005 Elastica Euler sous charge morte REQ-NL-002 docs/solveurs/total_lagrangian.md - ## Reference elastica solve_cantilever_elastica tests/unit/test_elastica_reference.py REF-FEM-BATHE
FORM-TET4-TL-006 Push-forward PK2 vers contrainte de Cauchy REQ-NL-003 docs/verification/tet4_total_lagrangian_structural_v2.md - ## Contraintes finies TotalLagrangianTet4Assembly.element_states tests/unit/test_total_lagrangian_tet4_batch.py, tests/unit/test_tet4_tl_stress.py REF-FEM-BATHE
FORM-TET4-TL-007 Charge critique par annulation de la tangente precontrainte REQ-NL-003 docs/verification/tet4_total_lagrangian_structural_v2.md - ## Flambement lineaire TotalLagrangianBucklingCampaign.run, smallest_tangent_eigenpair tests/unit/test_tet4_tl_buckling.py, tests/verification/test_tet4_tl_buckling_vnv.py REF-FEM-BATHE
FORM-TET4-TL-008 Contrainte spherique de continuation arc-length creuse REQ-NL-003 docs/verification/tet4_total_lagrangian_structural_v2.md - ## Suivi post-critique trace_sparse_arc_length, TotalLagrangianPostbucklingCampaign.run tests/unit/test_tet4_tl_postbuckling.py, tests/verification/test_tet4_tl_postbuckling_vnv.py REF-FEM-BATHE