非线性尘埃声波在含有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中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

软件开发统一过程应用研究

Rational Unified Process(RUP)是一个先进的较成熟的软件过程框架，Rational Suite是一个可视化的RUP支持软件包，两者结合提供了一个较好的软件工程环境。结合一个物业管理系统的开发过程，介绍了RUP过程的特点和实践过程。     

配合物[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系统软件计算承力密封框的刚度和强度，并分析了计算结果。     

智能教学系统NKI-Tutor的教学策略研究

智能教学系统NKI-Tutor是国家知识基础设施(即NKI)的一个重要应用，其目的是将NKI丰富的知识传授给学生．NKI-Tutor教学策略研究主要研究面向领域本体的跨学科教学策略，设计用于实施领域本体属性和关系教学的微教学策略，以及实施教学规划的宏教学策略，并通过动态逻辑验证教学策略的合理性和完备性．     

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

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

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

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

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

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