Datalog逻辑程序调用语义及其应用研究

提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。     

基于导频辅助的无循环前缀SFBC-OFDM系统

设计了一种基于导频辅助的无循环前缀空频分组编码-OFDM系统(Non-CP SFBC-OFDM).区别于传统的循环前缀空时分组编码-OFDM系统(CP STBC-OFDM),新系统发射端将块状导频序列和由空频分组编码构成的OFDM符号交替排布发射,并且每个OFDM符号前不再附加循环前缀,而接收端针对这一新的数据发射结构设计出一种基于干扰抵消的信号检测和信道估计联合递归算法.理论推导和仿真结果表明:相对于应用最小平方(LS)、迭代最小平方(iterative LS)的信道估计算法的循环前缀STBC-OFDM系统,引入联合递归算法的新系统可以得到更高的信息数据传输效率和更低的系统误比特率.     

基于STBC-SCFDE系统的信道估计算法研究

针对频率选择性衰落信道下2发射天线的空时分组编码-单载波频域均衡(STBC-SCFDE)系统,分别设计了2种新颖的时域多天线导频序列和频域多天线导频序列,相应地提出了一种时域导频信道估计算法和一种频域导频信道估计算法,并分别进行了信道估计的MSE性能分析以及计算复杂度对比.仿真验证表明,相比传统经典多天线信道估计算法,所提2种信道算法在中低信噪比下均能实现良好的信道估计性能,为未来无线通信系统的信道估计开辟了新的解决途径.     

一种基于信噪比确定主元个数的方法

多段主元分析(MPCA)是针对间歇进行故障诊断一种行之有效的方法.在MPCA中主元个数的确定是模型的关键,关系到主元模型的可靠性、准确性、完备性.传统的累积方差贡献率(CPV)方法确定主元个数主观性较大并且没有考虑故障因素.为了提高检测性能,有效的提取主元,文中提出一种信噪比(SNR)与MPCA相结合选取间歇过程主元个数的方法,SNR表明的是故障诊断的灵敏度和主元个数的影响关系,在确保主元信息充分描述数据的基础上,该方法考虑了故障的信息对主元个数的影响来选取主元.将此方法应用于青霉素间歇发酵过程故障诊断中,仿真结果表明T2统计量和SPE统计量的响应曲线对故障更加敏感,有效地提高了故障诊断的准确率.     

关于水中氧气真空脱除的试验研究

<正> (一)前言水在化工生产中广泛作为热交换的冷源,而水引起的热交换装置的腐蚀,主要是由于水中溶解氧而引起的电化学腐蚀。天然水中溶解着大量的氧气,因此,由于水的原因而造成许多热交换器及管道设备的穿孔腐蚀,甚至于被迫停产检修。为了防止腐蚀,提高热交换效率,确保安全生产,使年腐蚀率降低到0.1毫米以下,为此在实际生产中,已经采用了许多方法,我们对水中氧气真空脱除的试验研究,是防止水中溶解氧腐     

偶联剂及其应用

本文综述了国内外各种偶联剂的类型、化学结构和偶联机理。简要介绍了它们在填充复合材料中的应用。     

腐植酸烟草专用肥氮磷钾适宜配比试验研究

为了筛选腐植酸烟草专用肥氮磷钾适宜配比,研究了不同氮磷钾配比的腐植酸肥料对烟草生长、品质和产量的影响。试验结果表明:施用腐植酸肥料能降低烟草株高,增加烟草单叶重、基茎粗和茎重、根重和根长,有利于增强烟草抗倒伏能力;施用腐植酸肥料能增加烟叶干重产量,以处理3烟叶干重产量最高,为350.1 g,比对照增产93.64%;施用腐植酸肥料能提高烟草叶片质量,叶片颜色、光泽、油分与弹性均优于对照,以处理2烟叶质量最好。腐植酸烟草专用肥氮磷钾适宜配比为N∶P2O5∶K2O=1∶(0.83~1.2)∶(1.2~1.33)。     

掺混肥料的发展规模,关键技术,设备和成本分析（上）

本文介绍了国外复合肥料生产技术的发展和应用情况，对我国发展复合肥料生产采用的工艺技术可能性作了技术经济的初步剖析，指出发展颗粒掺混肥料需具备的条件和需采取的措施。     

天津市用于滨海河口生态补水的非常规水资源估算

随着天津滨海河口入海径流量逐年降低,以及城市水资源供需矛盾日益加剧,入海径流量远不能满足目前滨海河口生态需水量,因此,非常有必要开发非常规水源对滨海河口进行生态补水。在天津非常规水源(包括海水、雨水和再生水)现状分析的基础上,通过水资源利用途径分析和水量估算,得出雨水和再生水资源的可利用量完全可以满足滨海河口适宜生态需水量,并提出了滨海河口生态补水的措施。