代码验证相关硕士博士期刊学术论文 - 搜论网

代码验证相关论文

非正交结构化网格下的霍尔推力器Particle-in-Cell粒子模拟

基于Particle-in-Cell(PIC)的数值方法是研究霍尔推力器非常有效的手段,目前哈尔滨工业大学已经搭建了相应的数值模拟平台。目前的......

学位

霍尔推力器非正交结构化网格泊松方程代码验证 PIC数值模拟

提高嵌入式软件质量

操作应用于安全苛刻的航空和军事领域的嵌入式软件时必须高度关注安全问题.为达到可靠性目标,软件开发团队精益求精,力争使这些软......

期刊

嵌入式软件软件质量 Software Quality 软件开发团队数学证明验证流程软件应用目标军事领域解决方案代码验证测试操作应用安全问题

看过本文同时还关注