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中铋原子被五个硫脲分子中的硫原子及硝酸根离子中的两个氧原子包围形成一个歪曲的单帽三棱柱结构.     

模糊控制在机器人柔顺装配中的应用

提出了一种模糊柔顺的控制方法来控制机器人的装配作业，本方法不需要装配作业的模型参数，省去了大量的计算，并且在控制过程中不需要引入受力信息的变化量，实验证明，这种方法实用性强，实时性好。     

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

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

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

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

HPLC法测定福建红曲中的桔霉素

采用薄板层析对红曲样品进行初步的分离，降低了红曲中色素的干扰，根据桔霉素本身具有在激发态下产生荧光的特性，结合荧光检测采用反相HPLC法较为成功地测出福建红曲中桔霉素的含量。     

基于ObjectARX的阀体三维参数化绘图

利用AutoCAD的二次开发工具ObjectARX的强大三维功能,基于阀体产品的特征实现三维实体造型系统的开发.通过实例,介绍了ObjectARX的三维实体造型的设计方法和关键技术.     

一种单相开关电源输入电流谐波抑制方法的研究

根据2000年制订的新IEC1000-3-2电磁兼容标准规定,对单相开关电源全桥整流器加LC滤波器的简单经济无源功率因数校正电路进行了新的分析和设计.建立无量纲归化电路进行仿真分析,结果表明,适当的滤波电感值设计可以取得高功率因数和满足新电磁兼容标准A类和D类电流谐波限制规定,尤其是在300W以下A类电力电子设备可以采用小而经济LC滤波器.分析和计算结果通过计算机仿真和实验验证.     

B/S模式智能考试系统的研究与设计

文章给出的考试系统模型采用浏览器/服务器模式，提供了用户信息管理、试题库信息管理、在线联机考试和公共站点管理四大功能模块，具有强大的试题库建设管理、智能组卷、综合智能评价和学习指导等功能，学科通用性强，是改革传统考试形式和实现考试系统智能化控制的一种新的探索。