土默川平原盐碱地改良试验初报

一、材料与方法 1．试验材料 供试盐碱改良剂为康地宝、盐碱丰两种，康地宝购于北京北农康地生物有限公司，盐碱丰购于北人公司。种植作物紫花苜蓿由澳大利亚引入。     

非线性尘埃声波在含有2种不同温度离子的尘埃等离子体中的稳定性问题

在无磁场的尘埃等离子体中 ,由冷的尘埃颗粒和热的电子和离子组成的尘埃等离子体 ,对于有限的小振幅的非线性波的运动可以用KdV方程描述 .对由 2种不同温度离子的尘埃等离子体中的弱二维尘埃声波 ,得到了它所满足的KP方程 .并且发现 ,在横向扰动下 ,弱的非线性孤立波在尘埃等离子体中是稳定的 .在这个系统中既存在压缩孤立波又存在稀疏孤立波     

H2在金属钾修饰碳纳米管上的吸附与储存

利用高压容积法、辅以卸压升温脱附排水法,测定金属钾修饰多壁碳纳米管(K~0-MWCNTs)对H_2的吸附储存容量。结果表明,在室温(～25℃)、～7.25MPa实验条件下其对氢的吸附储存容量可达3.80％(质量百分数);室温下卸至常压的脱附氢量为3.36％(占总吸附氢量的～89％),后续升温(升至673K)的脱附氢量为0.41％(占总吸附氢量的～11％)。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

配合物[Bi(SCN2H4)5(NO3)](NO3)2H2O的合成和晶体结构

[Bi(SCN2H4)5(NO3)](NO3)2H2O是在水溶液中由硫脲与硝酸铋(Ⅲ)以摩尔比5:1反应合成.晶体结构由单晶X-射线衍射分析测定,晶体属于三斜晶系,P-1空间群,晶胞参数a=9.284(1)nm,b=9.783(1)nm,c=13.995(2)nm;α=80.7 02(2)°,β=84.092(2)°,γ=86.334(2)°.Z=2,V=1.2463(3)nm3,R1=0.050,wR2=0.104.在[Bi(SCN2H4)5(NO3)](NO3)2 H2O中铋原子被五个硫脲分子中的硫原子及硝酸根离子中的两个氧原子包围形成一个歪曲的单帽三棱柱结构.     

南极发现神秘病毒带给人类灭顶之灾?

南级发现神秘病毒近日,俄罗斯《真理报》独家披露一则令世人震惊的消息:1999年,一支科学考察队在南极大陆永久冻土带下,发现了一种闻所未闻的神秘病毒,迄今地球上没有任何人群及动物对这种病毒具有免疫力。由于该病毒“休眠”在南极永久冻土带的底层,暂时还不会对人与动物形成威胁,因而这种神秘病毒只在科学界引起了高度重视,而全世界大多数人对它的潜在危害尚一无所知。     

鄱阳湖流域综合规划与管理技术

从80年代开始实施的江西省山江湖工程是一项针对鄱阳湖流域可持续发展的流域综合管理工程。本文回顾了山江湖工程l0多年来实施流域管理战略的过程，分析了鄱阳湖流域生态系统恢复的发展阶段和新时期流域综合规划和管理的战略思想，同时提出了建立鄱阳湖综合流域管理信息共享平台和一种对流域生境进行制图以及对景观生态系统进行建模的综合评价方法。     

受光阑限制厄米-高斯光束的聚焦特性

该文从Collins公式出发。对受光阑限制厄米-高斯光束的聚焦特性进行了研究。利用厄米函数的性质，推导出了受光阑限制的厄米-高斯光束轴上聚焦光强分布的解析公式。受光阑限制的厄米-高斯光束的轴上光强分布不仅与菲涅耳数有关。而且还与截断参数和光束模式有关。解析公式有利于研究厄米-高斯光束的轴上光强分布与菲涅耳数、截断参数和光束模式等之间的关系。     

某承力密封框的CAD/CAE集成设计

运用CAD／CAE集成设计技术对某飞机承力密封框进行了设计：建立了CAD模型和CAE模型；根据承力密封框的使用环境和设计要求，确定了对其进行刚度和强度分析时所需的各种主要参数；应用CAE系统软件计算承力密封框的刚度和强度，并分析了计算结果。     

缅怀“多莉”

多莉,这只曾经享受过生命的快乐、并且为全世界带来过无数惊喜的可爱的小绵羊,于2003年2月14日平静安详地离开人世。它的“英年早逝”,引起了人们对克隆动物健康的关注、以及对克隆技术发展前景的再思考。