北斗B1I信号码模块的FPGA设计与实现

基于FPGA技术,设计实现了北斗B1I信号码模块,包括码模块的关键参数设计以及各部分的详细设计.采用模块化设计思想,重点设计码NCO,码产生,码滑动,并使用Verilog语言在FPGA中仿真实现.仿真结果表明:理论分析与实验结果吻合,能够正确高效的产生北斗B1I信号,码跟踪频率分辨率为9mHz,码相位误差为1/2码片.为研制北斗接收机相关器芯片奠定了良好的基础.     

测量低频磁场充电法

文章推导了磁充电场解析式，并用其编程计算单一线导体、多线体组成的三维导电体模型，论述了三维模型磁充电场空间分布规律，并用于实测资料解释，证实了磁充电场正演计算的有效性     

相对于理想的环的刻画

设I是环R的理想, 引入伪半投射I-盖的概念。 证明了每一个左R-模有伪半投射I-盖当且仅当每一个左R-模有投射I-盖, 并证明了伪半投射模构成的类是投射类, 进而推广了一些已有的结论。     

量子群U_q(f_m(K))的同构与自同构

研究量子群Uq(f(K))的一类特殊形式Uq(fm(K)).在充分利用Uq(fm(K))的有限维表示理论及其环论性质的基础上,得到当q不是单位根时量子群Uq(fm(K))的同构与自同构的完全分类.     

单晶体SOD力学性能的实验及数值模拟

采用纳米压痕硬度计,测量了沸石分子筛方钠石SOD大单晶的力学性能,得到了载荷 位移曲线图和硬度、弹性模量随压痕深度变化的值。并利用ANSYS有限元程序对沸石单晶体SOD的弹性阶段进行了二维数值模拟,考察了摩擦、压头尖端半径对模拟结果的影响,得到了压痕过程中加卸载时的载荷 位移曲线,模拟结果在趋势上与实验结果有较好的吻合,与理论分析的载荷 位移关系基本一致,较好地反应了弹性纳米压痕的实验过程。     

基于FPGA的无机EL显示模块控制电路设计

介绍了一种无机EL显示模块控制电路的设计过程。该控制电路是基于PLANNAR公司的EL640．480-AFl无机显示模块,使用FPGA设计完成的。在FPGA内部设计了数据处理、存储器时序控制、显示模块时序控制等模块,代替了专用芯片的功能,用数字技术取代传统的模拟技术实现电路各模块,简化了电路;能够完成指定的显示模块的时序及控制方面的要求;适用于大部分的无机EL显示器件,通用性好。利用该控制电路,可以使无机显示模块作为计算机终端。     

大功率模块高频驱动器的设计及实验分析

针对大功率模块的驱动需求,设计了一种低成本的大功率高频驱动器.基于信号调制型磁隔离调制原理,采用脉冲信号耦合和重构方法实现驱动信号的可靠隔离和双向传递;采用高隔离型DC/DC供电模块提高信号隔离效果,降低制造成本;采用欠饱和检测和盲区时间优化控制来解决功率模块短路/过流的准确检测难题;通过软关断方式实现过压保护,利用非神经超前保护机制实现快速而有效的保护;最后,利用大功率移相软开关实验平台,开展了文中设计的驱动器和国外同类先进产品的对比驱动实验.结果表明,所设计的驱动器的驱动能力强,耗能和温升更低,驱动波形好,成本低,能满足大功率模块的高频驱动需求.     

K平空间与K强平空间

引入K平空间、K强平的Banach空间,证明了K平的Banach空间X的共轭空间X*没有K非常光滑点,而S(X*)的非K光滑点在S(X*)中稠密,刻画了凸性更差的Banach空间的性质.另外,还引入强平模、K强平模的概念,并给出强平模、K强平模的充分必要条件.     

多模块软件系统的可靠性分配

从软件模块的角度对软件系统的可靠性做出分析,讨论了多模块软件系统的可靠性表达方式,然后用一个简单的例子说明了不同模块对于软件系统总体可靠性不同的影响,最后引用了一个线性的软件成本函数,并借此来讨论如何分配软件模块的故障率,从而能够使用最小的成本达到预定的可靠性目标。     

强孤立子模

在孤立子模的基础上给出强孤立子模的概念并讨论强孤立子模的一些性质,并证明R-模M的加补子模N是强孤立子模当且仅当N的任意真子模被包含在N的极大子模中.