MathematicalTheoremMachineProvingSystemBasedonCoq-MachineProvingoftheFactorizationTheoremofPrincipalIdealDomain
Coq
Mathematical Theorem
Machine Proving

3 浏览量2025-07-20上传pdf0.86MB共8页暂未评分

AnalysisofBoostingSystemReliability
Boosting
System
Reliability

2 浏览量2025-07-19上传pdf1.31MB共11页暂未评分

Asafeeyeontheroad
Safety
Driving
Monitoring

5 浏览量2025-07-19上传pdf3.88MB共30页暂未评分

DevelopmentandExperimentofAutomaticEmergencyWellShut-inControlSystem
Automatic
Emergency
Well

3 浏览量2025-07-19上传pdf0.61MB共4页暂未评分

End-to-endTask-OrientedDialogueSystemwithDistantlySupervisedKnowledgeBaseRetriever
End-to-end
Task-Oriented Dialogue
System

4 浏览量2025-07-19上传pdf0.5MMB共12页暂未评分

MudPulseSystemSignalProcessandAnalyze
Mud Pulse
Signal Processing
Analyze

3 浏览量2025-07-19上传pdf2.48MB共8页暂未评分

ResearchofIgnitionEnergyClosed-LoopControlforNaturalGasEngine
Ignition
Energy
Control

3 浏览量2025-07-19上传pdf3.19MB共7页暂未评分

ResearchofVehicleAutomaticDiagnosticSystemBasedonCANoe
Vehicle
Automatic
Diagnostic

4 浏览量2025-07-19上传pdf2.99MB共5页暂未评分

SubaruPrimeFocusSpectrographMetrologyCameraSystem
Subaru
Prime Focus Spectrograph
Metrology Camera

4 浏览量2025-07-19上传pdf2.98MB共26页暂未评分

TheTestandEvaluationforCoachElectronicStabilityControlSystem
Test
Evaluation
Coach

3 浏览量2025-07-19上传pdf1.03MB共5页暂未评分

UAVunmannedphotoelectricwarningsystem
UAV
unmanned
photoelectric

1 浏览量2025-07-19上传pdf0.46MB共9页暂未评分

UpdatableHashProofSystemandItsApplications
Updatable
Hash
Proof

3 浏览量2025-07-19上传pdf1.05MB共20页暂未评分