可制造性设计在系统工程过程中的应用研究

本文针对复杂产品协同设计、开发与验证过程中的可制造性共性问题,以航空电子系统为典型的复杂系统对象,探讨了可制造性的概念内涵、工作边界、组织架构和开展时机,着重从系统设计和开发策划、系统需求捕获与定义、系统架构定义、系统详细设计与实现和系统验证子过程的角度,详细阐释了可制造性设计融入系统工程过程的实施思路,并结合具体的应用实例,对可制造性设计对产品高质量交付的正向影响进行了阐释,为可制造性工作在系统开发与设计中的落地推广指明了方向、奠定了基础。     

机载超轻量化卷积神经网络加速器设计

卷积神经网络庞大的权重参数和复杂的网络层结构,使其计算复杂度过高,所需的计算资源和存储资源也随着网络层数的增加而快速增长,难以在资源和功耗有严苛要求的机载嵌入式计算系统中部署,制约了机载嵌入式计算系统朝着高智能化发展。针对资源受限的机载嵌入式计算系统对超轻量化智能计算的需求,提出一套全流程的卷积神经网络模型优化加速方法,在对算法模型进行超轻量化处理后,通过组合加速算子搭建卷积神经网络加速器,并基于FPGA开展网络模型推理过程的功能验证。结果证明：本文搭建的加速器能够显著降低硬件资源占用率,获得良好的算法加速比,对机载嵌入式智能计算系统设计具有重要意义。     

庞巴迪C系列飞机成功首飞

庞巴迪公司在C系列飞机研发过程中，进行了大量的关键技术先期研究和验证试验，新建了多种试验设施，并开展了系统的研究工作。尽管目前对C系列飞机未来的市场前景还无法作出准确的预测，但可以肯定的是，它对世界民用飞机制造业的格局将产生重要影响。     

ASP.NET窗体验证模式及其在用户身份甄别中的应用

本文讨论了基于.NET Framework的网站安全控制方法,重点分析了ASP.NET窗体验证的内部机制,给出了Authentication和Authorization环节的实现方法。     

齐重阳直升机型号试飞专家

作为中国飞行试验研究院试飞总师,您长期从事我国固定翼飞机、直升机试飞技术研究与发展工作,对多种新型飞机和直升机的试飞做出了重要贡献。请您谈谈您所参与完成的重大的试飞项目,以及某型直升机的试飞定型对我国直升机技术的重要意义。齐重阳:从1990年参加工作至今,我先后参与完成了加油工程、飞豹、歼8Ⅱ飞机、歼10、直升机等数十个国家重大型号试飞。     

机械加工中的特殊过程识别及其确认

阐述了机械加工中特殊过程的识别与确认。以图纸要求的产品特性指标能否直接测量或验证作为特殊过程识别判据。产品特性直接检测或服役验证方法、影响特殊过程输出产品特性的各相关因素及其测控方法、过程实施记录是确认的内容。     

关于空间应用SoC可靠性设计与验证的思考

介绍了国内外空间应用SoC的研究现状,建立了空间应用SoC可靠性设计流程,总结归纳了相关的可靠性设计、加固方法以及可靠性验证技术,并提出了未来的研究方向和相关工作建议,供相关人员参考。     

飞行临界软件的验证与确认

飞行监界系统的复杂性和容错要求正在急速增长。因此，必须开发新的技术和方法而且要与已有的方法相结合，以使飞行临界系统在合理开发费用下，达到严格的验证和确认。本文探讨了这类临界领域系统在系统结构和软件设计中的一些高级要求，提出了一些有价值的、有效支持体系结构设计与分析以及软件开发、验证的技术。