线性方程组对于量词的可满足性

本文讨论有关主理想环上线性方程组对于量词组合的可满足性问题,特别是当全称量词和存在量词混合出现的情形.它的背景之一是模上的线性定理的机械化证明.我们对此问题得到了一个算法型的充要条件,该方法对量词未做任何限制.进而讨论了在有限生成Abel群、初等数论、向量空间、多元多项式环等领域中的应用.     

分散橙3掺杂聚合物薄膜的全光极化特性及其驰豫过程研究

利用旋涂法制备了分散橙3（DO3）/PMMA主客体掺杂薄膜,对其吸收谱、厚度和折射率进行了测量,并采用全光极化的方法对薄膜的二阶非线性光学特性进行了研究。实验结果表明,随着厚度的增加其二阶非线性先增强后减弱,d33最大值约为0.827×10-2pm/V。对极化饱和后的驰豫情况进行了分析,发现不同厚度薄膜的驰豫时间不同,这是由于薄膜中偶氮含量和厚度的不同,分子间的相互作用对顺反异构逆过程的快慢有较大的影响。     

基于Mini-LVDS技术的TFT-LCD彩色液晶显示屏的驱动研究及应用

描述了TFT-LCD彩色液晶显示屏的基本驱动原理,重点通过实例分析了基于mini-LVDS技术的驱动,并对Source driver、T-CON两部分电路进行了深入的探讨,同时介绍了利用这部分电路实现图像倒置的具体实现方法.     

BiOCl/蒙脱土复合光催化剂的制备及其光催化活性

为优化BiOCl光催化剂的结构,改善其对有机污染物的吸附性能,进而提高光催化反应活性,采用超声辅助化学沉淀法制备了BiOCl/蒙脱土(MMT)复合光催化剂,并考察了MMT质量分数(w(MMT))对复合光催化剂结构及光催化反应活性的影响。 X射线粉末衍射(XRD)、扫描电子显微镜(SEM)、傅里叶红外光谱(FTIR)和紫外-可见漫反射光谱(DRS)等的表征结果表明,所得催化剂呈微球状结构,禁带宽度为3.24 eV。 随着w(MMT)的增加,催化剂的微球状结构逐渐被破坏,但带隙能未发生明显变化。 以8-羟基喹啉为目标物考察了复合催化剂的吸附及光催化反应活性。 结果表明,随着w(MMT)增加,催化剂对8-羟基喹啉的吸附和光催化氧化活性逐渐增加,这可归因于与MMT的复合增大了比表面积并降低了光生载流子复合效率。 当w(MMT)为15%时,催化剂的吸附及光催化性能达到最佳,光照50 min后,8-羟基喹啉的降解率达到85.6%,矿化率达到51.0%。 光生空穴和超氧自由基负离子为主要的氧化活性物种。 复合催化剂还可高效降解邻苯二酚和对氨基苯甲酸。 同时,复合光催化剂表现出较强的化学稳定性,表明其具有较强的实际应用价值,可用于处理含有机酚类污染物的工业废水。     

“沃·风云榜”开创广东联通大数据营销新模式

针对如何利用大数据资源优势以及平台能力,挖掘出数据中隐藏的业务价值的问题,广东联通从用户关注的热点出发,利用自身数据优势创造性推出大数据应用产品“沃·风云榜”并指导实际业务推广,从而开创大数据营销的全新模式,本文详细介绍“沃·风云榜”的特征及创新点.     

纳米锰基普鲁士白的制备及电化学储钠性能

采用高温共沉淀法制备锰基菱方相的普鲁士白正极材料,研究合成温度对产物微结构和电化学性能的影响。研究发现,随着合成温度的提高,产物的结晶度、颗粒尺寸和嵌钠容量明显提高。当合成温度为90℃时,产物在15 mA·g^-1下首次充放电容量分别达到142和139 mAh·g^-1。在30和50 mA·g^-1分别循环300和600次时,容量仍保持在111和89 mAh·g^-1。     

异构对等分布式存储中的DHitchhiker码

具有高可用性和安全性的去中心化存储因其应用的相同参数低码率RS(Reed-Solomon codes)码存在修复带宽较高的问题.对此,提出一种基于可信度的低修复带宽DHitchhiker码.首先将Hitchhiker码的第一子条带中的数据节点和部分校验节点捎带在余下的校验节点的第二个子条带上;接着将节点分类,让高可信节点存储余下的校验节点,低可信节点存储数据节点和部分校验节点,并让不同类型的节点采用不同的修复策略;最后理论结合实验证明,在修复低可信节点时,DHitchhiker可降低约25％的修复带宽;在整体上,未分类存放的DHitchhiker码可降低约0.5％的修复带宽,基于可信度的DHitchhiker码可降低约1％的修复带宽和2.5％ ～3.3％的修复时间.     

采用Weltch谱估计法的宽带频谱监测系统设计

针对通信过程中异常信号干扰和频谱资源利用紧张的问题,设计了频谱监测系统,FPGA进行数字下变频(DDC)和傅里叶变换(FFT),OMAPL138进行数据的运算及显示。针对实时频谱带宽较窄的问题,采用扫频和FFT相结合的方式来实现宽带频谱的采集分析。采用Weltch谱估计的方法,提高了在最小频率分辨率的频谱刷新速率。在FPGA硬件平台上进行仿真验证,测试结果表明,采用Weltch法的频谱刷新时间是直接FFT法的1/13。