新型燃料电池汽车用交错式结构DC/DC系统研究

为解决电动汽车中氢燃料电池输出纹波大的问题,提出了将交错式直流电压(DC/DC)变换器引入氢燃料电池汽车动力系统的改进方案.以三相交错式Boost变换器为基础拓扑,在输入端加入滤波电感和π型缓冲电路,构造了综合考量的燃料电池输出和DC/DC变换器输入的新型交错式DC/DC变换器结构.结合输入输出双重控制策略,搭建了新型...     

G(o)del语言对现代软件工程方法的支持

文章以一种新型的逻辑程序设计语言--G(o)del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨.G(o)del语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件设计的一些主流方法.模块系统提供了组织大规模程序的方法,并通过结合类型系统实现了对抽象数据类型程序设计的支持,从而能够支持面向对象程序设计;延迟计算则使利用该语言所编制的软件在可重用性方面获得提升.     

低温超声波化学镀镍工艺研究

为降低常规化学镀的施镀温度,采用低温超声波化学镀镍工艺,研究了镀液成分,工艺条件的影响。与传统化学镀镍工艺相比,该工艺所得镀层含磷量高,硬度高,组织结构致密均匀。     

Goedel语言对现代软件工程方法的支持

文章以一种新型的逻辑程序设计语言——Goedel语言为例，对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。Goedel语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制，能够支持现代软件设计的一些主流方法。模块系统提供了组织大规模程序的方法，并通过结合类型系统实现了对抽象数据类型程序设计的支持，从而能够支持面向对象程序设计；延迟计算则使利用该语言所编制的软件在可重用性方面获得提升。