一个令人费解的逆否命题

作者在给“百千万骨干教师”讲授逻辑问题时 ,一位教师向我提出了一个令他困惑不解的问题 ,下面是解决此问题的全过程 .(为叙述方便 ,把“百千万骨干教师”视为学生 )问题 :原命题　若 x≥ 0 ,则 x2 ≥ 0 .逆否命题　若 x2 <0 ,则 x<0 .学生甲 :逆否命题这样写对吗 ?教师 :对呀 .学生甲 :原命题显然是真的 ,然而逆否命题怎样是假的呢 ?教师 :这个问题提的好 .(因为刚讲过逻辑研究的对象 ,这个问题正好与逻辑研究的对象有关 )请同学们讨论逆否命题到底是真还是假 ?学生乙 :在实数范围内 ,x<0不可能 ,所以逆否命题不存在 .学生丙 :不对 .x2 <0…     

红光激发下掺Ho3+氟化物薄膜的上转换发光

利用激光脉冲沉淀法制备了稀土Ho~(3 )掺杂的氟化物薄膜。观测到处于薄膜中的Ho~(3 )离子在632.8nm红光激发下的上转换发射。这些上转换发射包括:~5S_2→~5I_7,~5F_4→~5I_7和~5S_2→~5I_8。     

目标自适应分割算法的研究

初步探讨和分析几种实际典型场景目标与背景的特征，提出相应的目标分割算法，并对几种方法加以融合。实际跟踪算法中，实现目标分割方法的自动转换．自动调整自适应分割门限及搜索方案．实验表明，该算法转换灵活，跟踪平稳。自适应能力强，抗干扰性能好．易于软件实现．     

Theme Party主题Party

据说诺基亚72系列3款新机的设计灵感源于上世纪30年代的旧上海，时尚魅惑而又略带怀旧色彩。而如今这场充满激情的派对已经上演，一样的装扮，不同的面孔，而都显得格外耀眼     

单光子探测器量子效率的绝对自身标定方法

提出一种单光子探测器量子效率的绝对自身标定方案，利用光参量下转换过程中产生的光子对在时间上的相关性，先将参量光束分为两路，然后引入相对延时，使同时产生的孪生光子先后进入单光子探测器，然后将探测器之后的电路分为三路，其中一路直接进入计数器得到探测器所探测到的光子的总计数率，另两路用电路方法引入和光路相当的相对延时，经符合电路后进入计数器，得到前后到达探测器的光子对之间的符合计数率.这样，从符合计数率与总光子计数率之比即可在不需要任何其他探测器或者参照标准的情况下获得探测器的量子效率.文中给出两种方案，分别适     

非线性Schroedinger方程的包络形式解

扩展了最近提出的F展开方法以构造非线性演化方程更多的精确解，即将F展开法中的一阶非线性常微分方程和单变量的有限幂级数代之以类似的一阶常微分方程组和两个变量的有限幂级数，这两个变量是一阶常微分方程组的解分量．作为例子，用扩展的F展开法解非线性Schroedinger方程，得到了很丰富的包络形式的精确解，特别是以两个不同的Jacobi椭圆函数表示的解．显然，扩展的F展开方法也可以解其他类型的非线性演化方程．     

数据转换系统中放大器的选择

随着广播电视技术的不断发展 ,模拟信号传输向数字信号传输的转换已成为必然。介绍模数转换系统中放大器的性能、关键技术 ,并就放大器的选择作详细探讨。     

SOC设计验证讲述

本文论述了SOC正确性验证所使用的模拟，形式验证技术和静态验证技术等，并讨论了在设计过程中系统级、模块级、门级和物理级各个层次中的验证方法。