Autonomy; Formalism; Nasa space programs; Nanotechnology; Spacecraft design; Surveys; Program verification(Computers); Asteroid belts; Chemical composition; Earth orbits; Bandwidth; Space exploration; Minerals; Morphology; Simulation; Insects;
机译:基于NASA群的系统建模:使用面向代理的软件工程和形式化方法
机译:用于形式化方法的智能知识数据库(IKD)工具
机译:软件工程中的智能系统和形式方法
机译:集成形式方法对智能群体的要求
机译:使用基于粒子群方法的无线通信中的智能处理。
机译:一种粒子群优化改进的心电图分类BP神经网络智能模型
机译:基于NASA群的系统建模:使用面向代理的软件工程和形式化方法
机译:智能手臂形式化方法综述