关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

关于马王堆汉墓T形帛画内容的疑点分析

西汉马王堆 T 形帛画的主题思想并非是引魂升天,汉代流行的是活着的人通过修炼达到成神成仙,没有死后成仙的观念。此图应该是死者进入祖地的路标,是死者在阴间生活环境的表现,具有巫术性质。由于巫术是古人通往灵魂的主要手段,所以 T 形帛画应该是用来行使巫术的一件工具,它的作用有两种:一、把灵魂引到新的住地——墓室;二、由于中国民间有人死后要到祖地去见祖先的观念,所以帛画又具有死者在阴间的路标的作用。     

盐地碱蓬Δ^1—二氯吡咯—5—羟酸合成酶基因（SsP5CS）的克隆及表达特性

从盐地碱蓬（suaeda salsa)中克隆了Δ^1-二氯吡咯－5－羟酸合成酶基因的cDNA片段（S.salsa Δ^1-pyrroline－5－carboxylate synthase gene,Ssp5CS),Southern杂交表明SsP5CS基因在盐地碱蓬基因组中只有一个拷贝；Northern杂交结果表明，不同盐处理（400mmol/L NaCl)时间下SsP5CS在盐地碱蓬叶中的表达量明显增加，同时盐胁迫条件下盐地碱蓬叶中的脯氨酸含量与对照组相比显著的增加， 并且其渗透调节能力也逐渐增强，推测SsP5CS基因可能在保护盐地碱蓬免受盐胁迫损伤的过程中起到重要作用。     

双基地声纳定位精度和算法研究

根据双基地声纳定位的特点，提出了一种单纯基于声波到达时间(TOL)的双基地声纳定位算法，给出了算法的原理和误差分布。通过数值仿真，研究了基线长度、时间测量误差对算法定位性能的影响。仿真结果表明，TOL算法的定位精度与基线长度有关，随着基线长度的增加，定位精度提高。时间测量误差对算法的定位精度影响较小。与同等条件下单基地声纳定位相比，双基地TOL算法具有更高的定位精度。该研究为多基地声纳新体制的建立，提供了理论依据。     

探月"三步曲"

2004年是中国实施探月工程非常关键的一年。“这一年,我们将从上到下组建各级指挥和技术系统:落实好今年的进度计划,各种设备、仪器的试验并作好第二、第三期工程的论证等。今年探月工程第一期任务中整个卫星和装载的仪器基本要能够拿出初样,2005年要正式提交使用的设备,所以今年的工作具有全局的意义。”欧阳院士说。     

伦敦采用缓解交通拥堵的新办法、新技术

据2003年11月8日英国《新科学家》报道:为了缓解城市交通拥堵,伦敦已采取对开入市中心的车辆收费的办法。交通拥堵的现象在世界上普遍存在,越来越多的车拥挤在公路上,造成公交车的运行很不准时,结果使越来越多的人选择开私车,这就使交通更加陷入了一种恶性循环。我国也处在这种恶性循环之中,尤其是大城市堵车现象越来越严重。伦敦的办法是规定每天上午7点到下午6 :30之间进入伦敦收费带的车辆必须统一支付5英镑的费用。在交费时他们的车牌就会被记录下来。方法是用城市中心周围的摄像机锁定进入收费区的车牌号,并识别出各个车辆的号码,如果…