无机纳米粒子表面接枝聚合的发展现状

在制备无机纳米粒子/高聚物复合材料的过程中,由于纳米分散体系存在巨大的界面自由能,极易发生团聚,因此难以得到真正意义上的纳米复合材料.无机纳米粒子表面引发接枝聚合是解决上述问题的方法之一.本文介绍了国内外无机纳米粒子表面接枝聚合的发展现状.主要讨论了过氧化物类引发剂、偶氮类引发剂对无机纳米粒子的表面引发自由基聚合,表面引发离子聚合以及表面引发原子转移自由基聚合反应,并进一步指出超细无机粒子表面接枝聚合研究中存在的问题及发展方向.     

板式换热器在CARR中的应用

着重介绍了CARR工程中重水换热器、主换热器的选型及设计过程。通过安全性和经济性等方面的对比,可以看出板式换热器比套管式换热器更具有优越性。板式换热器在系统中的应用对今后的设计具有一定的参考价值。     

中国先进研究堆回路系统设计总结

目前，研究堆的类型曰趋多样化，有重水堆、轻水堆、气冷堆和正在研制的核聚变堆，不同的堆型，回路系统的配置相差很大，如101重水堆有与重水氦气有关的几个回路系统，49．2游泳池式堆也有与轻水有关的几条回路。但采用轻水作冷却剂，重水作反射层的堆，至少需设置十几条回路。CARR是一座轻水作冷却剂、重水作反射层的研究堆，回路系统设计时主要参考了国内外一些研究堆，如HWRR、ORPHEE堆，HANARO堆、FRM—Ⅱ等。     

中国先进研究堆重水浓缩系统设计

文章涉及中国先进研究堆重水浓缩系统的功能、工艺方案和流程设计及系统设计的特点。在系统布置设计中，采用PDSOFTpiping配管软件建立了该系统的三维模型，提高了设计效率。     

一种基于XML的可变粒度冲突避免策略

针对协同设计过程中的数据一致性问题,分析了已有的并发冲突避免策略,结合CATIA的特殊性提出了一套可变粒度锁的冲突避免策略,设计了总体框架及核心算法.以节点间关联性作为判断依据进行节点仲裁选择,并提出节点关联集的维护算法.在协同设计平台中,利用XML实现并发控制机制,对提出的算法进行了实验,验证了用户可互斥地访问对象,并保证一致性.     

基于信息流的多级动态可信度量模型

系统运行时受环境和各种外界因素影响,加之内部多实体间信息流相互干扰,可能会破坏系统的可信性,最终导致产生非预期输出。现有研究主要针对初始化可信硬件环境下实体的完整性度量,未能考虑机密性带来的可信影响,同时对于实体可信度量的频率未能与实体推进时机同步。基于此提出一种基于信息流传递理论的多级动态可信度量模型,该模型以信息流的非传递无干扰理论为依据,通过引入可信代理模块,设计一种多级安全访问控制策略,分别从实体完整性和机密性两方面对系统中实体进行动态可信性度量。最后给出该模型的形式化描述和可信证明,结合抽象系统实例来说明该模型的有效性,相比现有研究,所提模型具有更好的度量实时性,是一种上下文感知的细粒度可信度量模型。     

基于局部保持典型相关分析的无线传感器网络三维定位算法

针对目前无线传感器网络三维空间定位算法精度不高、稳定性差等问题,在基于局部保持典型相关分析LPCCA模型的基础上构造三维定位算法3D-LE-LPCCA。首先,将LPCCA模型拓展到三维空间并建立信号空间和物理空间的映射模型,通过求解映射模型得到未知节点在物理空间上的临近节点集;其次,采用共面度阈值和体积比阈值的约束在临近节点集上计算出最佳定位单元;最后,采用最佳定位单元计算未知节点的坐标。仿真实验表明,该算法具有良好的定位效果,有效地提高了三维定位算法的精度和稳定性,降低了节点能耗。     

基于有效锚节点的多传感器测向测时协同定位算法

针对电子对抗领域中多传感器协同定位精度差、时延高、覆盖率低等缺点,提出了一种有效锚节点选取算法EAS,该算法可根据节点所处环境动态选择有效锚节点参与后期定位;在有效锚节点的基础上对经典的独立数据定位技术进行改进,提出了基于有效锚节点的多传感器测向测时协同定位算法LDTEAS,该算法可降低环境和敌方干扰等因素对定位产生的影响。仿真实验结果表明,相比于同类算法,该算法能有效地提高定位的精度和定位的覆盖率。     

基于Uppaal的实时系统AADL数据流模型的转换与验证

体系结构分析设计语言AADL是一种可支持软硬件一体化建模及同一模型多元分析的形式化与图形化建模语言。采用时间自动机形式化模型检验方法对AADL模型中的数据流进行转换和验证。考虑到单一数据流与混合数据流的差异性,分别设计了数据流到时间自动机模型的转换规则,并通过时间自动机网络实现数据流的综合分析。设计开发了自动化模型转换的插件AADLToUppaal Plug-in,将其嵌入到OSTATE工具中,使用时间自动机建模与验证工具Uppaal对转换得到的时间自动机进行模拟和验证,等价地验证所设计的AADL模型数据流时延是否满足系统实时性要求。仿真实验结果表明,所设计的数据流模型转换方法能有效地将AADL模型转换到时间自动机模型,并能在Uppaal中正确地分析原模型的数据流时延特性。