Orbit calculation; Space transportation system 1 flight; Computerized simulation; Flight control; Fortran; Navigation;
机译:使用路径枚举和约束编程从行为VHDL程序生成设计验证测试
机译:患者对基于急诊部门的艾滋病毒检测计划的反应和他们的朋友对艾滋病毒检测的态度,在美国马里兰州巴尔的摩市区急诊部门寻求护理的患者
机译:在中国高流行地区对艾滋病毒和艾滋病毒检测的态度:告知自愿咨询和检测计划的引入。
机译:通过2U CubeSat上的脉冲等离子推进器进行姿态和轨道控制;青叶VELOX-IV的验证测试
机译:将静态分析和运行时分析相结合,以验证和测试多线程程序。
机译:在中国高流行地区对艾滋病毒和艾滋病毒检测的态度:告知自愿咨询和检测计划的引入
机译:XMM卫星姿态和轨道控制系统的测试和验证设备