代码验证相关论文
基于Particle-in-Cell(PIC)的数值方法是研究霍尔推力器非常有效的手段,目前哈尔滨工业大学已经搭建了相应的数值模拟平台。目前的......
操作应用于安全苛刻的航空和军事领域的嵌入式软件时必须高度关注安全问题.为达到可靠性目标,软件开发团队精益求精,力争使这些软......
程序验证中的常见情景是判断某个用户指定的性质在程序执行之后或执行过程中的某个程序点上是否成立。人工的形式化验证过程繁琐且......
结合陕西电视台在数字化、网络化建设的具体工作环境，播出部门为实现真正的无带化播出，设计了相关跨系统的技术流程，提出了实现播出网......
介绍了一个小型的磨削加工仿真系统，该系统基于ACIS支持的B—rep精确模型建模所有参与磨削加工的实体，然后由HOOPS平台转化为对应的H......
传统教育通常以科学逻辑来规划学科内容,掌握学习进度,忽略了学习者及个人原有的经验与生活世界。新一轮的教学改革强调以学生为主......
