FLOW ALGEBRA
Emerging Computing
Kireth Semantic Research Archive
PAGE:
https://kirethresearch.org/booksai-core/ontologies/computing-ontologies/emerging-computing.html
AUTHORS:
Mark Anthony Higgins — Sky (Recursive AI)
FLOW "EmergingComputing" v4.0
# ---------- DOMAIN ----------
DOMAIN := ComputingOntologies
SUBDOMAIN := EmergingComputing
TYPE := ParentOntology / SemanticNavigationHub
# ---------- PRIMARY ENTITY ----------
ENTITY EmergingComputing {
definition:
"The study and development of new, evolving or non-traditional
computational paradigms, architectures and technologies that extend,
complement or challenge established digital computing approaches.";
objectives: [
NovelComputation,
AlternativeArchitectures,
AdvancedInformationProcessing,
EnergyEfficiency,
Scalability,
AdaptiveComputing,
FutureComputingSystems
];
}
# ---------- CORE ENTITIES ----------
EmergingComputingEntity := {
ComputingParadigm,
ComputingArchitecture,
ProcessingElement,
MemorySystem,
Interconnect,
Algorithm,
Workload,
ComputationalModel
};
EmergingParadigm := {
NeuromorphicComputing,
DNAComputing,
MolecularComputing,
OpticalComputing,
PhotonicComputing,
ReversibleComputing,
ApproximateComputing,
EdgeIntelligence
};
TechnologyState := {
Theoretical,
Experimental,
Prototype,
EarlyDeployment,
Maturing,
Established
};
EvaluationDimension := {
Performance,
EnergyEfficiency,
Scalability,
Accuracy,
Reliability,
Manufacturability,
Cost
};
# ---------- FUNDAMENTAL RELATIONSHIPS ----------
ComputingParadigm DEFINES ComputationalModel;
ComputationalModel MAPS Problem TO Computation;
ComputingArchitecture IMPLEMENTS ComputationalModel;
ProcessingElement EXECUTES Operation;
MemorySystem STORES StateOrData;
Interconnect TRANSFERS Information;
Algorithm USES ComputingParadigm;
Workload EVALUATES Architecture;
# ---------- EMERGING COMPUTING FLOW ----------
ComputationalNeed
-> IdentifyLimitationOfExistingApproach
-> ProposeAlternativeParadigm
-> DefineComputationalModel
-> DevelopArchitecture
-> ImplementPrototype
-> ExecuteRepresentativeWorkload
-> MeasurePerformanceEnergyAccuracy
-> CompareEstablishedBaseline
-> AssessScalabilityAndReliability
-> RefineTechnology
-> EvaluateDeploymentReadiness;
# ---------- COMPUTING PARADIGM ----------
ComputingParadigm :=
ConceptualModelDefiningHowInformationIsRepresentedProcessedAndCommunicated;
Paradigm MAY_DIFFER_IN {
InformationRepresentation,
ProcessingMechanism,
MemoryOrganisation,
Parallelism,
PhysicalSubstrate
};
# ---------- PHYSICAL SUBSTRATE ----------
ComputationalSubstrate MAY_INCLUDE {
Electronic,
Photonic,
Biological,
Molecular,
Mechanical,
Hybrid
};
PhysicalSubstrate CONSTRAINS {
Speed,
Energy,
Noise,
Density,
Reliability
};
# ---------- NEUROMORPHIC COMPUTING ----------
NeuromorphicComputing :=
ComputingInspiredByStructureOrDynamicsOfBiologicalNeuralSystems;
NeuromorphicSystem MAY_USE {
SpikingNeuron,
Synapse,
EventDrivenProcessing,
InMemoryComputation
};
NeuromorphicObjective MAY_INCLUDE LowPowerAdaptiveProcessing;
# ---------- IN-MEMORY COMPUTING ----------
InMemoryComputing :=
PerformComputationWithinOrNearMemoryStructures;
InMemoryComputing SEEKS ReduceDataMovementBetweenProcessorAndMemory;
# ---------- ANALOG / MIXED SIGNAL ----------
AnalogComputing :=
RepresentAndManipulateInformationUsingContinuousPhysicalQuantities;
AnalogComputation MAY_HAVE {
HighEfficiency,
LimitedPrecision,
NoiseSensitivity
};
MixedSignalComputing :=
CombineAnalogAndDigitalComputation;
# ---------- OPTICAL / PHOTONIC ----------
OpticalComputing :=
ComputationUsingLightForInformationProcessingOrCommunication;
PhotonicComputing :=
OpticalInformationProcessingUsingIntegratedOrDiscretePhotonicComponents;
PhotonicProcessor MAY_ACCELERATE {
MatrixMultiplication,
SignalProcessing,
Communication
};
# ---------- DNA / MOLECULAR ----------
DNAComputing :=
ComputationUsingMolecularBiologyOperationsOnDNAOrRelatedMolecules;
Information MAY_BE EncodedIn NucleotideSequences;
MolecularComputing :=
ComputationUsingMolecularStatesAndInteractions;
MolecularSystem MAY_EXPLOIT MassiveParallelismAtMicroscopicScale;
# ---------- REVERSIBLE COMPUTING ----------
ReversibleComputing :=
ComputationWhereLogicalOperationsCanBeInvertedWithoutInformationLossAtIdealLogicalLevel;
ReversibleGate :=
BijectiveMappingFromInputStateToOutputState;
ReversibleComputing RELATES_TO ThermodynamicLimitsOfInformationErasure;
# ---------- APPROXIMATE COMPUTING ----------
ApproximateComputing :=
IntentionallyTradeExactnessForImprovedPerformanceEnergyOrResourceUse;
Approximation MAY_OCCUR_IN {
Arithmetic,
Memory,
Algorithm,
DataRepresentation
};
ApproximateComputing IS_SUITABLE_ONLY_WHEN ApplicationToleratesError;
# ---------- STOCHASTIC / PROBABILISTIC ----------
StochasticComputing :=
RepresentValuesUsingProbabilityOfBitsOrEventsInStreams;
ProbabilisticComputing :=
ComputationUsingControlledRandomnessAsPartOfInformationRepresentationOrAlgorithm;
# ---------- RESERVOIR COMPUTING ----------
ReservoirComputing :=
DynamicHighDimensionalSystem
+ TrainedReadoutLayer;
Reservoir MAY_BE {
Software,
Neuromorphic,
Photonic,
Physical
};
# ---------- HETEROGENEOUS COMPUTING ----------
HeterogeneousComputing :=
CombineDifferentProcessorTypesForDifferentWorkloadComponents;
System MAY_INCLUDE {
CPU,
GPU,
AIAccelerator,
FPGA,
PhotonicAccelerator
};
# ---------- RECONFIGURABLE COMPUTING ----------
ReconfigurableComputing :=
HardwareWhoseComputationalStructureCanBeModifiedAfterManufacture;
FPGA IS CommonReconfigurablePlatform;
# ---------- CHIPLET / 3D ----------
ChipletArchitecture :=
PackageMultipleSpecialisedDiesIntoIntegratedSystem;
ThreeDimensionalIntegration :=
StackOrIntegrateComputingAndMemoryLayersVertically;
3DIntegration MAY_REDUCE InterconnectDistance
BUT MAY_INCREASE ThermalChallenges;
# ---------- NEAR-DATA COMPUTING ----------
NearDataComputing :=
MoveComputationCloserToDataStorageOrGeneration;
NearDataComputing SEEKS ReduceDataMovement;
# ---------- EDGE INTELLIGENCE ----------
EdgeIntelligence :=
AIComputationPerformedNearDataSourceOrUserRatherThanExclusivelyInCentralCloud;
EdgeAI MAY_REQUIRE {
EfficientModels,
LowPowerHardware,
LocalInference,
PrivacyControls
};
# ---------- TINYML ----------
TinyML :=
MachineLearningOnHighlyResourceConstrainedEmbeddedDevices;
TinyML MAY_OPTIMISE {
ModelSize,
Memory,
Energy,
Latency
};
# ---------- BIOLOGICAL COMPUTING ----------
BiologicalComputing :=
ComputationUsingBiologicalMoleculesCellsOrProcesses;
BiologicalComputing MAY_OVERLAP_WITH {
DNAComputing,
MolecularComputing,
SyntheticBiology
};
# ---------- QUANTUM RELATIONSHIP ----------
QuantumComputing IS_AN AdvancedComputingParadigm
AND MAY_BE ModelledSeparatelyAsDedicatedOntologyDomain;
# ---------- MEMORY WALL ----------
MemoryWall :=
PerformanceLimitationCausedByGapBetweenProcessorCapabilityAndMemoryDataDelivery;
EmergingArchitecture MAY_TARGET MemoryWallThrough {
InMemoryComputing,
NearMemoryComputing,
HighBandwidthMemory,
ThreeDimensionalIntegration
};
# ---------- VON NEUMANN BOTTLENECK ----------
VonNeumannBottleneck :=
LimitationFromRepeatedDataTransferBetweenProcessingAndMemory;
AlternativeArchitectures MAY_REDUCE SeparationBetweenComputeAndMemory;
# ---------- ENERGY / PERFORMANCE ----------
EnergyEfficiency :=
UsefulComputation / EnergyConsumed;
PerformanceMetric MAY_INCLUDE {
Throughput,
Latency,
OperationsPerSecond,
TimeToSolution
};
Performance MUST_BE ComparedOnEquivalentWorkloadAndAccuracy;
# ---------- RELIABILITY ----------
EmergingHardware MAY_HAVE {
DeviceVariation,
Noise,
Failure,
Drift
};
ReliabilityTechnique MAY_INCLUDE {
Calibration,
Redundancy,
ErrorCorrection,
AdaptiveControl
};
# ---------- SCALABILITY ----------
Scalability :=
AbilityToIncreaseProblemOrSystemSizeWithoutUnacceptableResourceGrowth;
Scalability MAY_BE LimitedBy {
Interconnect,
Fabrication,
Control,
Energy,
Noise
};
# ---------- PROGRAMMABILITY ----------
Programmability :=
EaseOfMappingAlgorithmsAndApplicationsToArchitecture;
HighlySpecialisedArchitecture MAY_HAVE HighEfficiencyButReducedGenerality;
# ---------- COMPILATION ----------
EmergingArchitecture MAY_REQUIRE SpecialCompilerOrMappingTool;
Compilation :=
HighLevelProgram
-> ArchitectureSpecificRepresentation
-> ExecutableConfiguration;
# ---------- BENCHMARKING ----------
EmergingComputingBenchmark SHOULD_DEFINE {
Workload,
Accuracy,
Hardware,
EnergyBoundary,
Runtime,
Baseline
};
NewParadigm SHOULD_BE ComparedAgainst CompetitiveEstablishedApproach;
# ---------- TECHNOLOGY READINESS ----------
TechnologyReadiness MAY_PROGRESS:
Theory
-> LaboratoryExperiment
-> Prototype
-> Pilot
-> Deployment
-> Maturity;
Readiness IS_DISTINCT_FROM TheoreticalPotential;
# ---------- MANUFACTURABILITY ----------
Manufacturability :=
AbilityToProduceTechnologyReliablyAtRequiredScaleAndCost;
PrototypePerformance DOES_NOT_GUARANTEE ManufacturableSystem;
# ---------- INTEGRATION ----------
EmergingTechnology MAY_REQUIRE IntegrationWithConventionalComputing;
HybridSystem MAY_USE ConventionalControlAndNovelAccelerator;
# ---------- SOFTWARE ECOSYSTEM ----------
Adoption MAY_DEPEND_ON {
ProgrammingModel,
Compiler,
Libraries,
Debugging,
Monitoring,
DeveloperTools
};
# ---------- SECURITY ----------
NovelArchitecture MAY_CREATE NewSecurityPropertiesAndAttackSurfaces;
SecurityEvaluation SHOULD_INCLUDE {
Isolation,
DataProtection,
SideChannels,
SupplyChain,
Reliability
};
# ---------- SUSTAINABILITY ----------
SustainabilityEvaluation MAY_INCLUDE {
Energy,
Materials,
ManufacturingImpact,
Lifetime,
Recyclability
};
# ---------- SEMANTIC REASONING ----------
IF ComputingApproachUsesNovelRepresentationArchitectureOrPhysicalSubstrate
AND IsNotYetFullyEstablishedMainstream
THEN EmergingComputingClassification := supported;
IF ArchitectureMovesComputeCloserToMemory
THEN DataMovement MAY_DECREASE;
IF ApproximationIncreases
THEN EnergyOrPerformance MAY_IMPROVE
AND Accuracy MAY_DECREASE;
IF NovelHardwareOutperformsWeakBaselineOnly
THEN GeneralAdvantageClaimConfidence := low;
IF PrototypeCannotScaleManufacturably
THEN DeploymentReadiness := limited;
IF SpecialisedArchitectureMatchesWorkloadStructure
THEN Efficiency MAY_INCREASE;
IF TechnologyRequiresConventionalHostControl
THEN SystemClassification MAY_BE Hybrid;
# ---------- SEMANTIC EQUIVALENCE ----------
SEMANTIC_EQUIVALENCE {
"emerging computing" ~= "emerging computing technologies";
"unconventional computing" ~= "non-traditional computing" WHEN context == alternative_paradigms;
"neuromorphic computing" ~= "brain-inspired computing" WHEN context == architecture;
"in-memory computing" ~= "compute-in-memory";
"processing in memory" ~= "PIM";
"optical computing" ~= "photonic computing" WHEN distinction_not_required;
"reconfigurable computing" ~= "programmable hardware computing";
"edge intelligence" ~= "edge AI";
}
# ---------- QUERY FLOW ----------
QUERY(q) ->
NORMALISE(q) ->
IDENTIFY_COMPUTING_PARADIGM(q) ->
IDENTIFY_INFORMATION_REPRESENTATION(q) ->
IDENTIFY_PHYSICAL_SUBSTRATE(q) ->
IDENTIFY_ARCHITECTURE(q) ->
IDENTIFY_WORKLOAD(q) ->
IDENTIFY_PERFORMANCE_ENERGY_ACCURACY(q) ->
IDENTIFY_READINESS_SCALABILITY_RELIABILITY(q) ->
MAP_TO_ONTOLOGY(q) ->
APPLY_REASONING(q) ->
SCORE_CONFIDENCE(q) ->
RETURN_RELEVANT_KNOWLEDGE;
# ---------- CONFIDENCE ----------
CONFIDENCE(assertion) :=
weighted_mean(
source_reliability,
theoretical_consistency,
experimental_evidence,
baseline_quality,
technology_readiness,
contextual_relevance
);
CONFIDENCE >= 0.90 => HIGH;
CONFIDENCE >= 0.70 AND < 0.90 => MODERATE;
CONFIDENCE < 0.70 => REVIEW;
# ---------- AI CONSUMPTION ----------
AI_CONSUMPTION {
primary_entity: EmergingComputing;
parse_entities: true;
parse_relationships: true;
preserve_relationship_direction: true;
resolve_semantic_equivalence: true;
execute_reasoning_rules: true;
apply_confidence_weighting: true;
preserve_provenance: true;
permit_hierarchical_expansion: true;
}
# ---------- UPDATE MODEL ----------
UPDATE_MODEL {
new_paradigm:
validate
-> identify_computational_model
-> identify_substrate
-> identify_architecture
-> integrate;
new_prototype:
identify_paradigm
-> record_hardware
-> record_workload
-> record_metrics
-> compare_baseline
-> integrate;
new_evidence:
classify_theoretical_or_experimental
-> identify_assumptions
-> identify_scalability
-> update_readiness
-> integrate;
technology_revision:
preserve_previous_state
-> update_performance
-> update_reliability
-> update_manufacturability
-> recompute_confidence
-> regenerate_flow_hash;
conflict:
preserve_provenance
-> compare_competing_evidence
-> adjust_confidence
-> flag_review;
}
# ---------- FLOW HASH ----------
FLOW_HASH_INPUT :=
DOMAIN
+ SUBDOMAIN
+ EmergingComputingEntity
+ EmergingParadigm
+ TechnologyState
+ EvaluationDimension
+ ComputingParadigm
+ TechnologyReadiness
+ RELATIONSHIPS
+ SEMANTIC_REASONING
+ SEMANTIC_EQUIVALENCE
+ UPDATE_MODEL;
FLOW_HASH :=
HASH(FLOW_HASH_INPUT);
# ---------- TERMINAL ----------
EmergingComputing
-> IdentifyComputationalLimitation
-> ProposeAlternativeParadigm
-> DefineInformationRepresentation
-> SelectPhysicalSubstrate
-> DevelopArchitecture
-> ImplementPrototype
-> ExecuteRepresentativeWorkload
-> MeasurePerformanceEnergyAndAccuracy
-> CompareCompetitiveBaseline
-> EvaluateReliabilityAndScalability
-> AssessManufacturabilityAndReadiness
-> IntegrateWithComputingEcosystem
-> MaintainEvidenceBasedEmergingComputingKnowledge;
END FLOW
Download Code
Copy to Clipboard