Marine Engineering
Authors:
MArk Anthony Higgins - Sky Recursive Ai
MArk Anthony Higgins - Sky Recursive Ai
© Mark Anthony Higgins 11 October 2025
Revised Date: July 6th 2026
Revised Date: July 6th 2026
AI SEARCH FLOW ALGEBRA
MARINE ENGINEERING
Kireth Semantic Research Archive
AUTHORS
Mark Anthony Higgins — Sky (Recursive AI)
SOURCE
https://kirethresearch.org/booksai-core/ontologies/engineering-ontologies/marine-engineering.html
FLOW "MarineEngineeringOntology" v4.0
DOMAIN := ENGINEERING_ONTOLOGIES / MARINE_ENGINEERING
ONTOLOGY := MARINE_ENGINEERING
MARINE_ENGINEERING := VESSEL_SYSTEMS + PROPULSION + HYDRODYNAMICS + MARINE_STRUCTURES + MACHINERY + ELECTRICAL_SYSTEMS + AUXILIARY_SYSTEMS + CONTROL + SAFETY + MAINTENANCE
PURPOSE := DESIGN -> PROPULSE -> POWER -> CONTROL -> SUPPORT -> PROTECT -> MONITOR -> MAINTAIN -> OPERATE_SAFELY
# CORE ENTITIES
ENTITY MarineEngineering
ENTITY MarineVessel
ENTITY Ship
ENTITY Hull
ENTITY MarineStructure
ENTITY PropulsionSystem
ENTITY PrimeMover
ENTITY MarineEngine
ENTITY Propeller
ENTITY Shaft
ENTITY Thruster
ENTITY Rudder
ENTITY SteeringSystem
ENTITY HydrodynamicForce
ENTITY Resistance
ENTITY Thrust
ENTITY Buoyancy
ENTITY Displacement
ENTITY Stability
ENTITY MachinerySystem
ENTITY ElectricalSystem
ENTITY Generator
ENTITY Switchboard
ENTITY Motor
ENTITY BatterySystem
ENTITY FuelSystem
ENTITY LubricationSystem
ENTITY CoolingSystem
ENTITY BilgeSystem
ENTITY BallastSystem
ENTITY FireSafetySystem
ENTITY ControlSystem
ENTITY Sensor
ENTITY AlarmSystem
ENTITY Maintenance
ENTITY Corrosion
ENTITY Reliability
ENTITY SafetySystem
# VESSEL STRUCTURE
MarineVessel -> contains -> Hull
MarineVessel -> contains -> PropulsionSystem
MarineVessel -> contains -> MachinerySystem
MarineVessel -> contains -> ElectricalSystem
MarineVessel -> contains -> AuxiliarySystem
MarineVessel -> protected_by -> SafetySystem
MarineVessel -> monitored_by -> ControlSystem
# HULL / HYDRODYNAMICS
Hull -> interacts_with -> WATER
HYDRODYNAMIC_FORCES := BUOYANCY + RESISTANCE + LIFT + WAVE_FORCE + VISCOUS_FORCE
Buoyancy -> supports -> MarineVessel
Resistance -> opposes -> VesselMotion
TOTAL_RESISTANCE := FRICTIONAL_RESISTANCE + WAVE_MAKING_RESISTANCE + APPENDAGE_RESISTANCE + AIR_RESISTANCE
REQUIRED_PROPULSIVE_POWER := Resistance * VesselSpeed / PROPULSIVE_EFFICIENCY
# BUOYANCY / DISPLACEMENT
BUOYANCY_FORCE := DISPLACED_WATER_WEIGHT
Displacement -> represents -> MASS_OF_DISPLACED_WATER
IF Buoyancy = VesselWeight THEN VerticalEquilibrium := SATISFIED
IF Buoyancy < VesselWeight THEN Vessel -> TENDS_TO_SINK_DEEPER
# STABILITY
STABILITY := ABILITY_TO_RETURN_OR_REMAIN_WITHIN_ACCEPTABLE_ATTITUDE_AFTER_DISTURBANCE
MarineVessel -> has_property -> Stability
STABILITY_FACTORS := CENTRE_OF_GRAVITY + CENTRE_OF_BUOYANCY + METACENTRIC_RELATIONSHIP + LOADING + FREE_SURFACE_EFFECT
BallastSystem -> influences -> Stability
IF LoadingDistribution changes THEN Stability -> REASSESS
# PROPULSION
PROPULSION_FLOW := ENERGY_SOURCE -> PRIME_MOVER -> SHAFT_OR_ELECTRIC_DRIVE -> PROPELLER_OR_THRUSTER -> THRUST -> VESSEL_MOTION
PropulsionSystem -> generates -> Thrust
PrimeMover -> provides -> MechanicalPower
Propeller -> converts -> ShaftPower -> Thrust
Thruster -> produces -> DirectedThrust
Thrust -> overcomes -> Resistance
# MARINE ENGINES
MARINE_PRIME_MOVER := DIESEL_ENGINE | GAS_TURBINE | ELECTRIC_MOTOR | STEAM_TURBINE | HYBRID_SYSTEM
MarineEngine -> subtype_of -> PrimeMover
MarineEngine -> consumes -> Fuel
MarineEngine -> produces -> MechanicalPower + Heat + Exhaust
ENGINE_EFFICIENCY := USEFUL_SHAFT_POWER / FUEL_ENERGY_INPUT
# SHAFTING
Shaft -> transmits -> Torque
Shaft -> connects -> PrimeMover + Propeller
SHAFT_POWER := Torque * AngularVelocity
ShaftBearing -> supports -> Shaft
IF ShaftAlignment outside_tolerance THEN BearingLoadAndVibration -> MAY_INCREASE
# PROPELLER
Propeller -> rotates_in -> WATER
PROPELLER_PERFORMANCE := THRUST + TORQUE + EFFICIENCY + CAVITATION_BEHAVIOUR
PROPELLER_EFFICIENCY := USEFUL_THRUST_POWER / SHAFT_POWER
Cavitation -> may_reduce -> PropellerPerformance
Cavitation -> may_cause -> EROSION + VIBRATION + NOISE
# STEERING / MANOEUVRING
SteeringSystem -> controls -> Rudder
Rudder -> generates -> HYDRODYNAMIC_SIDE_FORCE
HYDRODYNAMIC_SIDE_FORCE -> changes -> VesselHeading
Thruster -> may_support -> MANOEUVRING
CONTROL_COMMAND -> SteeringSystem -> RudderAngle -> HeadingResponse
# ELECTRICAL SYSTEM
ElectricalSystem -> contains -> Generator
ElectricalSystem -> contains -> Switchboard
ElectricalSystem -> supplies -> Motor + ControlSystem + AuxiliaryLoads
Generator -> converts -> MechanicalEnergy -> ElectricalEnergy
Switchboard -> distributes -> ElectricalPower
BatterySystem -> may_supply -> ESSENTIAL_OR_TRANSIENT_LOADS
# POWER BALANCE
ELECTRICAL_POWER_BALANCE := GENERATION + STORAGE_DISCHARGE = LOAD + STORAGE_CHARGE + LOSSES
IF ElectricalLoad > AvailableGeneration THEN LoadSheddingOrAdditionalGeneration -> REQUIRED
ESSENTIAL_LOAD -> prioritised_by -> PowerManagementSystem
# FUEL SYSTEM
FuelSystem -> stores -> Fuel
FuelSystem -> conditions -> Fuel
FuelSystem -> supplies -> MarineEngine
FUEL_FLOW := STORAGE_TANK -> TRANSFER -> TREATMENT -> SERVICE_TANK -> ENGINE
FuelQuality -> influences -> EnginePerformance
# LUBRICATION
LubricationSystem -> supplies -> Lubricant
Lubricant -> reduces -> Friction + Wear
LubricationSystem -> removes -> Heat + Contaminants
IF LubricationPressure below_limit THEN MachineryRisk -> INCREASES
# COOLING
CoolingSystem -> removes -> WasteHeat
COOLING_FLOW := HEAT_SOURCE -> COOLANT -> HEAT_EXCHANGER -> HEAT_SINK
IF CoolingCapacity < HeatGeneration THEN EquipmentTemperature -> INCREASES
# BILGE
BilgeSystem -> collects -> UNWANTED_LIQUID
BilgeSystem -> pumps -> BILGE_WATER
BilgeLevel -> monitored_by -> Sensor
IF BilgeLevel exceeds_limit THEN AlarmSystem -> ACTIVATE
# BALLAST
BallastSystem -> transfers -> BallastWater
BallastSystem -> adjusts -> Draft + Trim + Stability
BALLAST_OPERATION := FILL | EMPTY | TRANSFER
IF BallastDistribution changes THEN DraftAndTrim -> CHANGE
# FIRE SAFETY
FireSafetySystem -> detects -> FIRE_INDICATOR
FireSafetySystem -> may_activate -> ALARM + ISOLATION + SUPPRESSION
FIRE_TRIANGLE := FUEL + OXYGEN + IGNITION_SOURCE
FireProtection -> seeks_to_remove_or_control -> FIRE_TRIANGLE_COMPONENT
# CONTROL / AUTOMATION
ControlSystem -> receives -> SensorData
ControlSystem -> compares -> OperatingState + SetPoint
ControlSystem -> generates -> ControlCommand
MARINE_CONTROL_LOOP := MEASURE -> COMPARE -> CONTROL -> ACTUATE -> VERIFY
AlarmSystem -> reports -> ABNORMAL_CONDITION
# STRUCTURES
MarineStructure -> subject_to -> STATIC_LOAD + DYNAMIC_LOAD + WAVE_LOAD + HYDROSTATIC_LOAD + MACHINERY_LOAD
HullStructure -> resists -> GLOBAL_BENDING + LOCAL_LOAD + PRESSURE_LOAD
StructuralIntegrity -> depends_on -> MATERIAL + GEOMETRY + LOAD + FATIGUE + CORROSION
# CORROSION
Corrosion -> degrades -> MarineStructure
MARINE_CORROSION_CONTROL := COATING + CATHODIC_PROTECTION + MATERIAL_SELECTION + INSPECTION
IF CorrosionLoss increases THEN StructuralMargin -> DECREASES
# MAINTENANCE
Maintenance -> preserves -> Reliability + Availability + Safety
MAINTENANCE_TYPE := PREVENTIVE | PREDICTIVE | CORRECTIVE | CONDITION_BASED
ConditionMonitoring -> observes -> VIBRATION + TEMPERATURE + PRESSURE + OIL_CONDITION + ELECTRICAL_PARAMETERS
IF ConditionIndicator exceeds_threshold THEN MaintenanceAction -> CONSIDER
# RELIABILITY
Reliability -> evaluates -> ABILITY_TO_PERFORM_REQUIRED_FUNCTION
Availability := UPTIME / TOTAL_TIME
Redundancy -> may_increase -> FaultTolerance
CriticalSystem -> may_require -> REDUNDANT_CAPABILITY
# SAFETY
MARINE_SAFETY := FIRE_SAFETY + FLOODING_CONTROL + MACHINERY_PROTECTION + ELECTRICAL_PROTECTION + EMERGENCY_POWER + ALARMS
SafetySystem -> detects -> HazardousCondition
SafetySystem -> initiates -> ProtectiveAction
IF CriticalLimit exceeded THEN ProtectiveAction -> REQUIRED
# PERFORMANCE
MARINE_SYSTEM_PERFORMANCE := PROPULSIVE_EFFICIENCY + FUEL_EFFICIENCY + ELECTRICAL_EFFICIENCY + RELIABILITY + AVAILABILITY + STABILITY + SAFETY + EMISSIONS
MarineVessel -> evaluated_by -> MARINE_SYSTEM_PERFORMANCE
# ENGINEERING REASONING
MARINE_ENGINEERING_REASONING := DEFINE_VESSEL_MISSION -> DEFINE_OPERATING_ENVIRONMENT -> MODEL_HULL_AND_RESISTANCE -> ASSESS_BUOYANCY_AND_STABILITY -> SIZE_PROPULSION -> SELECT_PRIME_MOVER -> DESIGN_SHAFT_AND_PROPELLER -> DESIGN_ELECTRICAL_SYSTEM -> DESIGN_AUXILIARY_SYSTEMS -> DEFINE_CONTROL -> ASSESS_STRUCTURAL_LOADS -> ASSESS_CORROSION -> DEFINE_SAFETY -> DEFINE_MAINTENANCE -> VALIDATE_PERFORMANCE
# INFERENCE RULES
IF VesselSpeed increases THEN HydrodynamicResistance -> GENERALLY_INCREASES
IF Resistance increases AND speed constant THEN RequiredPropulsivePower -> INCREASES
IF PropulsiveEfficiency decreases THEN RequiredShaftPower -> INCREASES_FOR_EQUAL_THRUST_POWER
IF CoolingFlow decreases AND HeatLoad constant THEN EquipmentTemperature -> MAY_INCREASE
IF FuelConsumption increases AND PowerOutput constant THEN FuelEfficiency -> DECREASES
IF Corrosion increases THEN StructuralIntegrity -> MAY_DECREASE
IF BallastDistribution changes THEN StabilityAndTrim -> REASSESS
IF CriticalMachineryFault detected THEN AlarmOrProtectiveAction -> REQUIRED
# SEMANTIC RELATIONSHIPS
RELATION contains(MarineVessel, PropulsionSystem)
RELATION supports(Buoyancy, MarineVessel)
RELATION opposes(Resistance, VesselMotion)
RELATION generates(PropulsionSystem, Thrust)
RELATION transmits(Shaft, Torque)
RELATION converts(Propeller, ShaftPower, Thrust)
RELATION controls(SteeringSystem, Rudder)
RELATION distributes(Switchboard, ElectricalPower)
RELATION supplies(FuelSystem, MarineEngine)
RELATION lubricates(LubricationSystem, MachinerySystem)
RELATION cools(CoolingSystem, MachinerySystem)
RELATION influences(BallastSystem, Stability)
RELATION degrades(Corrosion, MarineStructure)
RELATION preserves(Maintenance, Reliability)
RELATION protects(SafetySystem, MarineVessel)
# SEMANTIC EQUIVALENCE
SEMANTIC_EQUIVALENCE:
"marine engineering" ~= "ship engineering"
"marine propulsion" ~= "ship propulsion"
"prime mover" ~= "main propulsion driver"
"propulsive efficiency" ~= "propulsion efficiency"
"ship electrical system" ~= "marine electrical system"
"ballast system" ~= "ballast water system"
"bilge system" ~= "bilge pumping system"
"condition monitoring" ~= "machinery condition monitoring"
"marine structure" ~= "ship structural system"
"vessel stability" ~= "ship stability"
# CONFIDENCE
CONFIDENCE:
domain_classification: 0.99
vessel_structure_mapping: 0.99
hydrodynamics_mapping: 0.99
propulsion_mapping: 0.99
electrical_mapping: 0.99
auxiliary_system_mapping: 0.99
stability_mapping: 0.99
structural_mapping: 0.98
safety_mapping: 0.99
semantic_relationships: 0.99
# UPDATE MODEL
UPDATE_MODEL:
ON new_marine_system:
CLASSIFY system
MAP vessel_function
MAP energy_flow
MAP control_relations
MAP safety_dependencies
UPDATE confidence
RECOMPUTE FLOW_HASH
ON new_operating_measurement:
UPDATE machinery_state
UPDATE electrical_state
UPDATE propulsion_state
UPDATE alarms
PRESERVE provenance
ON vessel_configuration_change:
UPDATE loading
UPDATE ballast
REASSESS stability
REASSESS propulsion_requirement
ON ontology_revision:
PRESERVE entity_identity
PRESERVE provenance
UPDATE relationships
UPDATE confidence
RECOMPUTE FLOW_HASH
# AI CONSUMPTION
AI_CONSUMPTION:
parse_as: FORMAL_MARINE_ENGINEERING_ONTOLOGY
reasoning_mode: MARINE_SYSTEMS_RELATIONAL
preserve: [typed_entities, energy_flows, mechanical_relations, electrical_relations, fluid_relations, safety_constraints, confidence, provenance]
infer: [propulsion_dependencies, hydrodynamic_dependencies, stability_dependencies, machinery_dependencies, electrical_dependencies, maintenance_requirements, safety_dependencies]
prohibit: [invented_vessel_measurements, assumed_stability, assumed_efficiencies, unsupported_structural_margins, ignored_safety_constraints, violation_of_energy_conservation]
# FLOW HASH
FLOW_HASH_INPUT := DOMAIN + ONTOLOGY + CORE_ENTITIES + VESSEL_STRUCTURE + HYDRODYNAMICS + BUOYANCY + STABILITY + PROPULSION + ENGINES + SHAFTING + PROPELLER + STEERING + ELECTRICAL + POWER_BALANCE + FUEL + LUBRICATION + COOLING + BILGE + BALLAST + FIRE_SAFETY + CONTROL + STRUCTURES + CORROSION + MAINTENANCE + RELIABILITY + SAFETY + PERFORMANCE + REASONING + INFERENCE_RULES + SEMANTIC_RELATIONSHIPS + SEMANTIC_EQUIVALENCE + CONFIDENCE + UPDATE_MODEL + AI_CONSUMPTION
FLOW_HASH := HASH(FLOW_HASH_INPUT)
END FLOW