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

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

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

高通量蛋白质组学技术现况和展望

尽管对人类蛋白质组的最终完成目标存在不同的意见,但第一步要绘制完整人类基因组所表达的全部蛋白质谱,似乎没有太多的争议.人类蛋白质组的表达谱绘制遇到了在1993和1994年人类基因组测序计划同样的问题,科学家们在注重最后能达到的成就时忽略了所采取的手段.事实上,如果不是解决了96道毛细管电泳测序技术,现在测序计划只可能完成了一部分.同样,目前的绘制表达谱的计划也面临着类似的技术平台上不成熟的情况.     

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

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

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

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

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

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

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

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