静止轨道星载差分吸收光谱仪CCD成像系统设计

静止轨道卫星差分吸收光谱仪采用摆扫成像方式对大气进行探测,针对其工作时CCD成像系统信噪比大于1 000、高速探测模式下探测周期小于10min、高分辨率模式下探测周期小于1h的要求,进行CCD成像系统设计.选取CCD47-20作为探测器,设计成像电路实现光谱图像信号的采集和上传.分析了帧叠加和像元合并对时间、空间分辨率的影响.结合帧转移CCD的特点设计了每个位置最后一帧读出时摆镜转动的成像方式,并合理设置了帧叠加数和像元合并数,达到优化成像周期的目的.1s曝光时间条件下,该CCD成像系统的高速、高分辨率模式探测周期分别为515s和3 315s,图像信噪比均大于1 000,污染物观测实验中未出现失帧或重复的现象.该CCD成像系统方案满足静止轨道星载差分吸收光谱仪的探测需求,为静止轨道环境监测仪器设计提供参考.     

多种时序模型的建模比较

本文通过不同的时间序列模型对同一批数据的建模及预报，在不同的模型间进行了比较，并且根据原始数据的性质指出了一些时间序列模型的适用范围，     

可集成量子计算中的非近邻相互作用

我们研究一维自旋1／2链中的非近邻相互作用的影响。和近邻相互作用相比，非近邻的相互作用强度一般会较弱，因而在以前的许多方案中，这种长程的相互作用被忽略了。本文首先估计由被忽略的非近邻相互作用所引起的量子逻辑门的误差。我们得到的结果是，这项误差不仅和非近邻相互作用的强度有关，更依赖于一维自旋链所包含的粒子数，忽略非近邻相互作用有可能会对可集成量子计算造成影响。我们进一步研究如何消除或者压缩这种长程的相互作用所造成的影响。我们提出了一个量子计算方案。在这种方案中，次近邻的相互作用的影响被完全消除，从而我们可以使量子逻辑门的精度得以提高。我们也讨论了这种方案在超导量子计算体系里面的物理实现问题。     

第三种波粒二象性的揭示及其实验验证

简单回顾了Einstein 1905年揭示的第一种波粒二象性（光的波粒二象性）与de Broglie 1923年揭示的第二种波粒二象性（实物粒子的波粒二象性）及其实验验证过程，指出了这两种波粒二象性的本质差别，分析了波粒二象性的逻辑体系并指出：只要把Gan1995年揭示的“经典（电磁）场在结构上的颗粒性”当作“第三种波粒二象性”就能构成“三种波粒二象性”的完美组合，利用“波粒二象性的相变假说”还可以把这“三种波粒二象性”和谐地统一起来。借助于经典条件下光的经典理论与量子理论究竟哪一个更为精确的实验判决（见《光散射学报》）2006年第1期第75．79页《Lorentz-Compton佯谬与一个双赢判决性散射实验设计》）还可以完成“第三种波粒二象性”和“波粒二象性的相变假说”的实验验证。     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

高考专题复习系列讲座——集合与简易逻辑

[考试内容及考试要求]。考试内容：集合，子集，补集，交集，并集，逻辑联结诃，四种命题，充要条件．     

模糊数学,随机数学与精确数学的逻辑比较

本文揭示模糊数学，随机数学与精确数学有相似的形式公理化描述，它们的区别只在语义上。     

《关于命题的讨论》一文的一点瑕疵

文 [1 ]旨在对高中新教材中新增加的“简易逻辑”内容进行解释说明 ,对于不熟悉这部分内容的中学师生颇有参考价值 .但是该文中有一点瑕疵 ,今冒昧指出 .文 [1 ]在谈到关于命题的否定与否命题这一问题时认为 :“若ｐ则ｑ”的否定是“若ｐ则非ｑ” .这是一个错误观点 .事实上 ,“若ｐ则ｑ”等价于 (「ｐ)∨ｑ(文 [1 ]在谈到关于逻辑联结词与复合命题时也是这样说的 ) ,其否定应该是ｐ∧ (「ｑ) .ｐ∧ (「ｑ)读作“ｐ且非ｑ” ,习惯上也可以说成“虽然ｐ ,但非ｑ” .“若ｐ则非ｑ”等价于 (「ｐ) ∨ (「ｑ) .当ｐ为假时 ,「ｐ为真 ,于是 (「ｐ…     

求解通信网节点间全部路由的逻辑代数化算法

经典的D IJKSTRA和BELLM AN-F LOYD通信网络路由算法,只能根据特定网络参数得到最佳路由,却无法获得网络存在的全部可用路由,而通信网理论研究及网络管理等方面,往往需要获得节点之间的全部可用路由.研究出一种路由新算法,遵循逻辑代数运算规则、采用关联矩阵中行与行之间整合与删除方式计算,N个节点的网络只需N-1次整合及删除运算,就能得到源节点到任意节点两点之间全部路由结果.详细论证了算法的正确性与合理性,简介了算法的并行运算可行性及与经典路由算法的兼容性等问题.通过算例详细说明算法的计算过程,并验证其正确性.     

基于低功耗双边沿D触发器的任意进制异步计数器设计

从D触发器激励表入手，分别给出了采用单边沿D触发器和双边沿D触发器的2^n进制异步加法计数器、减法计数器的设计方法．在此基础上，采用逻辑函数修改技术，通过实例讨论了基于单边沿D触发器和双边沿D触发器的异步任意进制计数器的设计．该设计方法方便，快速，具有一定的实用意义．