基于吴方法的几何定理证明的恒等式方法

多年来通常认为以吴方法为代表的几何定理机器证明的坐标法给出的证明不可读,或不是图灵意义下的类人解答.其实,只要对吴氏的算法做不多的改进,即将命题的结论多项式表示为其条件多项式的线性组合,就能获得不依赖于理论、算法和大量计算过程的恒等式明证.这样的恒等式可以转化为其他更简明且更有直观几何意义的点几何形式或向量及其他形式,从而获得多种证明方法.这也证明了点几何恒等式明证方法对等式型几何命题的普遍有效性.     

塑料光纤微分模延迟的频域相移法研究

塑料光纤的微分模延迟数据对研究塑料光纤的色散特性具有非常重要的意义。采用频域相移法测量了不同长度的两种折射率分布塑料光纤：阶跃型塑料光纤(SI—POF)和渐变型塑料光纤(GI—POF)的微分模延迟曲线。实验结果表明,由于短光纤可以忽略模式耦合和模式损耗,1m塑料光纤的微分模延迟测量值与理论计算值吻合得非常好。因此,频域相移法可以简单、方便、精确地测量塑料光纤的微分模延迟。此外,通过比较不同长度塑料光纤的微分模延迟曲线的变化,可在一定程度上分析光纤中存在的模式耦合。     

煤中腐植酸与尿素相互作用机理的研究

采用化学法和波谱分析法对泥炭、褐煤、风化煤腐植酸（ＨＡ）与尿素的相互作用机理进行了研究。结果表明,ＨＡ与尿素之间发生了极其复杂的反应,包括离子化、络合配位、亲核加成、自由基反应及氢键缔合等,形成不同的化学键。羧基对反应深度的影响最大;含官能团（特别是羧基）最多的风化煤ＨＡ反应性最高。本项研究为有机长效尿素的研制提供了理论依据     

随机权函数非线性回归模型的异方差统计分析

在回归分析中，随机误差是否存在方差齐性是理论与实际工作者都十分关心的问题，方差齐性假设并不总是正确的，在线性和非线性回归中关于异方差的诊断问题已有许多讨论（[1],[2],[4],[5]）。本文在韦博成（1995）讨论了加权非线性回归模型的基础上，用随机系数的方法，讨论随机权函数非线性回归模型中的异方差检验问题，得到了方差齐性检验的似然比统计量和score统计量，同时，当模型存在异方差时，本文给出了估计方差的一种方法。     

大功率LED脉冲位置调制解调设计

脉冲位置调制是室内可见光通信的主要调制方式之一,它具有功率利用率高,频带利用率好,抗干扰性强的特点.为实现室内大功率白光LED照明通信,在分析PPM的原理基础上提出了一种改进的调制方式,给出了这种PPM符号的结构,并设计了大功率LED的驱动电路.其主要特点是由单片机直接输出帧同步信号加PPM信号,不设置保护时隙,其利用...     

南方马尾松松针挥发油成分的气相色谱/质谱分析

采用水蒸了蒸馏方法从中国南方新鲜马尾松松针中提取出挥发油,利用气相色谱／质谱（ＧＣ／ＭＳ）联用技术对其化学成分进行了分析,共分离出９１个峰,各组分经数据库标准图谱核对,得到分子结构。其中３６种化合物的含量较高,占总离子流的８３．０５％,主要是单萜和倍半萜,以及少量萜烯的醇、酯类化合物。     

悬浮聚合法制备磁性分子印迹聚合物微球

以苯胺和二甲基苯胺为模板分子、甲基丙烯酸(MAA)为功能单体、三羟甲基丙烷三丙烯酸酯(TRIM)为交联单体、Fe3O4为磁性组分,采用悬浮聚合法制备了磁性分子印迹聚合物微球(MMIPMs)。结果表明,改性Fe3O4微粒在MMIPMs中分散较好,MMIPMs在水性介质中对模板分子的选择吸附性较差,但在有机介质中有较好的选择吸附性。     

Er3+在二氧化硅介孔分子筛中的高效率发光及其分析

研究了一种新型的负载Er3 的二氧化硅介孔分子筛纳米材料,分析了其在有无功能化试剂全氟甲基磺酰(bis(perfluoromethylsulfonyl)amine)修饰作用下的吸收和荧光光谱特性,获得了高强度的荧光发射.应用Judd-OfelI理论计算了强度参数(Ω2=1.88×10-20,Ω4=5.45×10-20 cm2,Ω6=3.11×1O-20cm2)、跃迁振子强度、自发跃迁概率、能级辐射寿命等重要的光谱参数,讨论了吸收和发射跃迁截面(Ωem=10.9×10-21 cm2),研究了在介孔分子筛纳米材料中的Er3 在不同的抽运功率条件下的荧光强度变化情况.比较了Er3 在不同基质材料中的带宽特性.研究表明二氧化硅介孔分子筛有利于实现高效率的激光输出或具有较宽带宽的高增益光放大,能够成为掺铒激光器或光放大器的新型基质材料.     

能动反射镜低频像差补偿能力分析

 采用Algor软件包并利用有限元法对37单元能动反射镜低频误差补偿能力进行了分析计算，确定了镜面厚度8mm，驱动器间距46mm，极头直径12mm等能动反射镜制造的关键参数。通过计算机仿真分析证明，基于这些参数所设计的能动反射镜可以对低频误差进行有效校正，校正精度的均方根值小于等于λ／８，从而可以为能动反射镜的制造提供理论依据。