Interoperability; Networks; Rings; Synchronism; Throughput; Transmittance; Verification; Network protocols; Fiber distributed data interpeace; Media access control; Protocol verification; Theses;
机译:通过模拟白色和深色层的形成来改善AISI 52100硬化钢的正交加工中的表面完整性
机译:在模拟团队游戏协议中,摄入碳水化合物凝胶可显着改善青少年团队游戏玩家的间歇耐力能力,而不是短跑性能。
机译:根据理论物理化学性质的预测以及通过Betti方案生产的新型香豆素衍生物的实验相关性进行验证,可对药效团进行建模。
机译:使用时间Petri网在无线多跳传感器网络中新型节能跨层MAC协议的正式建模与验证
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:使用预测的形状字符串和两层支持向量机模型提高β转向预测的性能
机译:改进的FDDI协议的MAC层的形式模型。