模态逻辑S5的表推演系统TS5

进一步讨论关于正规模态逻辑Ｓ５的自动定理证明理论与方法，给出了正规模态逻辑Ｓ５的表推演系统ＴＳ６，证明了该可靠性与完备性。     

七号信令系统第4级功能的实现

叙述了七号信令的第４级－－电话用户部分（ＴＵＰ）功能，以及基于ＤＥＳ－３数额空交换机配置的七号信令系统第４级功能的软件设计及实现，并在Ｈ省实现了ＤＥＳ－３数字程控交换机七号信令系统与Ｓ１２４０、Ｅ１０Ｂ七号信令系统的对接。运行结果表明，第４级ＴＵＰ功能运行稳定、故障率低，大话务呼叫呼损经不于４×１０＾－４，达到了设计要求。     

30℃时K_2SO_4和（NH_4）_2SO_4在CH_3OH－H_2O溶液中的共饱和度研究

本研究测定了３０℃时Ｋ２ＳＯ４－（ＮＨ４）２ＳＯ４－ＣＨ３ＯＨ－Ｈ２Ｏ四元体系的共饱和度，分析了ＣＨ３ＯＨ含量对Ｋ２ＳＯ４及（ＮＨ４）２ＳＯ４共饱和度的影响，得出了以ＣＨ３ＯＨ为盐析剂，从Ｋ２ＳＯ４和（ＮＨ４）２ＳＯ４的水溶液中晶析Ｋ２ＳＯ４的规律，为Ｋ２ＳＯ４和（ＮＨ４）２ＳＯ４的分离提供理论依据。     

磷对C3S—C2S—C4A3S—C4AF—CaSO系统矿物形成及其水泥性能影响的研究

研究了磷对Ｃ４Ａ３Ｓ单矿物及Ｃ３Ｓ－Ｃ２Ｓ－Ｃ４Ａ３Ｓ－Ｃ４ＡＦ－ＣａＳＯ４五元系统矿物形成及其水泥性能的影响。结果表明,少量的磷能改善系统的易烧性,降低烧成温度。     

Sb2O3—ZnSn（OH）6—ZnNH4PO4阻燃体系的研究

研究了在聚氯乙烯（ＰＶＣ）中，Ｓｂ２Ｏ２－ＺｎＳｎ（ＯＨ）６，Ｓｂ２Ｏ３－ＺｎＮＨ４ＰＯ４，ＺｎＳｎ（ＯＨ）６－ＺｎＮＨ４ＰＯ４二元体系的协同阻燃性能，以及Ｓｂ２Ｏ３－ＺｎＳｎ（ＯＨ）６－ＺｎＮＨ４ＰＯ４三元系的阻燃性能。采用混料回归实验设计，导出了三元系氧指数与阻燃剂含量关系的数学模型，经计算机计算并绘制出了氧指数等值图。该体系中Ｓｂ２Ｏ３－ＺｎＳｎ（ＯＨ）６，Ｓｂ２Ｏ３－ＺｎＮＨ４ＰＯ４复配图     

ZrO2对热压Si3N4陶瓷材料断裂韧性及显微结构的影响

研究了ＺｒＯ２对热压Ｓｉ３Ｎ４陶瓷材料的断裂韧性Ｋｉｃ、显微结构及结构组成的影响。结果表明，Ｚｒｏ２的含量对Ｓｉ３Ｎ４陶瓷的断裂韧性有显著影响，在１０ｗｔ％时出现峰值ＫＩＣ为７．８３ＭＰａ．ｍ＾１／２，提高约２１．４％，热压Ｓｉ３Ｎ４－ＺｒＯ２系统中能有效地撸制ＺｒＮ的生成。     

MLNi_4Cr和MLNi_4Si贮氢电极的性能

利用交流阻抗、循环伏安及扫描电镜（ＳＥＭ）观察等方法，测定了ＭＬＮｉ４和ＭＬＮｉ４Ｓｉ（ＭＬ：富镧混合稀土金属）贮氢电极的性能，并对两电极性能差别的原因进行了分析和讨论．结果表明，ＭＬＮｉ４Ｃｒ电极比ＭＬＮｉ４Ｓｉ电极易活化、放电容量大、过电位小以及快速放电能力强；而ＭＬＮｉ４Ｓｉ电极具有较好的循环充放电特性．     

MLNi_4Cr和MLNi_4Si贮氢电极的性能

利用交流阻抗、循环伏安及扫描电镜（ＳＥＭ）观察等方法，测定了ＭＬＮｉ４和ＭＬＮｉ４Ｓｉ（ＭＬ：富镧混合稀土金属）贮氢电极的性能，并对两电极性能差别的原因进行了分析和讨论．结果表明，ＭＬＮｉ４Ｃｒ电极比ＭＬＮｉ４Ｓｉ电极易活化、放电容量大、过电位小以及快速放电能力强；而ＭＬＮｉ４Ｓｉ电极具有较好的循环充放电特性．     

电解液组成对PbO2／PbSO4电极电化学行为的影响

用循环伏安法研究了电解液组成对ＰｂＯ２／ＰｂＳＯ４电极电化学行为的影响，并用实际电池加以对照．在电解液中加入Ｎａ２ＳＯ４、ＣｄＳＯ４、ＣｏＳＯ４和ＬＤ均可提高其放电容量，ＣｏＳＯ４可显著延长电池使用寿命．     

SnCl_4结晶水对SnO_2成膜的光电性质影响

报道了用无水ＳｎＣｌ４和ＳｎＣｌ４·５Ｈ２Ｏ为原料，用热喷涂法制备ＳｎＯ２薄膜，在基片温度为５３０℃时，制得薄膜的Ｘ－射线，ＳＥＭ图及其光电性质．总结出含Ｈ２Ｏ的ＳｎＣｌ４制得的薄膜生长速度快，电阻率低，两者在结构上无明显差异。     

Microstructure and dielectric properties of BaTi4O9(f)/0.64 BaTi4O9+0.36 BaPr2Ti4O12 composites

The microstructure, dielectric properties and chemical state of Ti element on BaTi4O9 (f)/(0. 64 BaTi4O9-0. 36BaPr2Ti4O12 ) composites sample surface were characterized by X-ray diffraction (XRD) ,Transmission electron microscopy (TEM), LCR meter method and X-ray photoelectron spectroscopy (XPS).The results show that the system is composed of BaTi4O9 and BaPr2Ti4O12 two phases. Pr ions are distributed inthe BaTi4O9 grains and the segregation of Pr ions was observed on the grain boundaries of BaTi4O9/BaTi4O9.The content of Ti3 + and Ti2+ decrease in the BPT system composites due to the addition of BaTi4O9 fibers,which improved the dielectric properties of the system. BPT10 sample with 10 % BaTi4O9 fibers, has the bestdielectric properties in the system, its εr =64,tan δ = 1×10-4(at 1 MHz) , and it may be a potential candi-date for microwave dielectric ceramics.     

25℃ K2SO4-(NH4)2SO4-H2O体系溶解度计算

依据Pitzer电解质溶液理论对含有固溶体结晶区的K2SO4－（NH4）2SO4－H2O水盐体系溶解度进行了计算，计算值与实验确定值相吻合，并针对该体系相图固溶体结晶区不易实验确定的问题，提出了计算确定的方法。     

金属卟啉及复合催化体系催化氧气氧化对硝基乙苯制备对硝基苯乙酮

在常压、无溶剂条件下,以氧气为氧化剂,研究了金属卟啉及金属卟啉-过渡金属盐复合催化体系对氧化对硝基乙苯制备对硝基苯乙酮的催化作用.发现所有金属卟啉及金属卟啉-过渡金属盐复合催化剂对上述反应均具有催化活性,且催化效果有明显的差别.金属卟啉与过渡金属盐的复合催化体系比单独的金属卟啉催化体系具有更好的效果,且具有明显的协同作用.其中氯化四-(对-甲氧基苯基)锰卟啉-硬脂酸钴复合催化剂的效果最好,可使反应的引发温度从无催化剂(空白)的190℃降低到155℃,对硝基乙苯的转化率从11.3%提高到61.5%,对硝基苯乙酮的选择性从52.5%提高到88.9%,相应的收率也从5.9%提高到54.7%.     

第四代移动通信IP网络关键技术

首先提出了第四代移动通信系统(4 G)的主要技术目标,并对第四代移动通信系统(4 G)采用的网络构架进行了介绍。通过对4 G网络中各层关键技术特点的分析,阐明了移动通信技术的发展方向。最后结合我国的实际情况,讨论了3 G通信网络建设的必要性,并对4 G网络做出展望。     

纳米Fe3O4及其复合体系的微波吸收特性研究

研究了纳米Fe3O4及其复合体系的微波吸收特性,并分析了吸收机制以及复合组分对吸波性能的影响。结果表明,在Fe3O4/BaTiO3复合体系中,通过调节材料组分可调节吸收峰的位置,复合体系的有效吸收频带较单一材料拓宽。当样品的厚度为2 mm,Fe3O4与BaTiO3的质量比为3:2时,反射率为-10 dB的有效频宽达2.7 GHz,Fe3O4与BaTiO3的质量比为2:3时,反射率为-10 dB的有效频宽可达4 GHz。在Fe3O4/PANI复合体系中,当Fe3O4在复合体系中的质量比为35%左右时,微波吸收率最高,吸收峰值为-21 dB,-10 dB频宽大于4GHz。     

4WD整车差速系统研究

从汽车两轮驱动方式的差速系统入手，着重阐述了关于四轮驱动的差速系统常见构成、原理及存在的问题；阐述了目前解决四轮驱动方式差速系统结构复杂及制造精度要求高等问题的方法及弊端.通过自由轮差速系统的原理分析、运动分析和理论力学分析，力求通过牙嵌式自由轮差速器这一简捷方式，解决常规四轮驱动方式下差速系统存在的诸多问题.     

4TPS-PS并联四自由度电动平台的受力特性研究

针对稳定跟踪系统需求,建立4TPS-PS并联四自由度平台运动学模型,推导雅克比矩阵,对平台运动情况下的受力进行分析,推导出平台输出力与各作动缸驱动力之间的关系式,与没有从动支链的3-RPS并联机构的力学特性进行比较,分析4TPS-PS并联机构的受力特点,表明4TPS-PS结构是并联型稳定跟踪平台的理想选择.对实验室样机在工作空间内受力情况进行仿真计算,分析从动支链受力与平台结构参数的关系,为优化设计和运动控制提供依据.     

骨干网IPv4/IPv6协议转换网关设计

阐述了骨干网上部署IPv6网络中,解决既要满足IPv4和IPv6网络互联互通的需要,同时减少IPv4地址消耗的问题。比较了几种比较成熟的IPv4/IPv6转换技术,提出了在IPv4/IPv6网络边界的协议转换网关上使用改进的NAPT-PT协议转换方案,指出了在城域网环境下采用NAPT-PT方案的不足和实现过程中的解决办法。     

PDM-PAM4短距离光传输IM/DD系统

为实现短距离光传输系统在低成本下提升速率的目标,提出了一种基于强度调制/直接检测的偏振复用4阶脉冲幅度调制光纤传输系统. 该系统结构简单,利用高效的数字信号处理算法,包括偏振态估计、混合偏振拍打噪声消除、基于最小均方误差算法的自适应多入多出技术滤波,可实现稳定可靠的均衡解复用. 在Matlab和VPI软件联合仿真平台上,对224 Gbit/s PDM-PAM4系统进行了仿真验证.