多数据源集成系统中数据查询过程的π-演算模型

企业动态联盟对信息系统灵活性提出了更高的要求。我们开发的异构数据源集成系统，具有系统配置灵活和数据源的“即插即用”特点，。并给出了其简化的数据查询过程的π－演算模型，利用该模型研究了系统动态行为，表现其多层结构中多代理，多对象之间的互操作性，该模型显示了HDSI的并发性，分布性及适于动态联盟组织结构和软硬件平台多变性的灵活性，该形式化模型有利于系统的改进，维护和验证。     

基于FUSION法的功率键合图图形编辑器系统分析

本文采用了第二代面向对象的Ｆｕｓｉｏｎ法进行系统分析,由功率键合图图形编辑器系统（ＢＧＦＥ）模糊的需求信息产生出该系统软件一个严谨的需求规格说明,文章阐述了Ｆｕｓｉｏｎ分析法的特征及基本理论,建立了ＢＧＦＥ系统的四种模型,对象模型、系统对象模型,操作模型,操作序列模型。表明,将Ｆｕｓｉｏｎ分析法用于ＢＧＦＥ系统的分析阶段是可行且十分有效的。     

返回舱着陆姿态和动力响应的DEM-FEM耦合分析

针对返回舱安全着陆问题,采用陆面颗粒离散元模型（discrete element model, DEM）与返回舱壳体有限元模型（finite element method, FEM）相耦合的方法,对返回舱回收着陆过程的动力特性进行数值分析,并与试验结果进行对比,验证计算结果的正确性。分析讨论垂直和倾斜2种着陆姿态的返回舱结构应力分布,从冲击能量的角度讨论陆面颗粒对其缓冲作用。对影响返回舱回弹响应的主要因素进行分析并提出相应的改进方法。结果认为：陆面颗粒是返回舱着陆冲击能量吸收的主体,且倾斜着陆时陆面颗粒吸能占比更加显著;当陆面颗粒之间的摩擦因数较小或返回舱质量较大时,返回舱着陆的回弹速度相对较小。     

HIP法制备CuCr触头的真空电击穿特性

采用热等静压(HIP)固相烧结法制备了近乎完全致密、低氧、氮含量的CuCr合金材料,研究了在不同烧结温度下制备CuCr合金的Cr相颗粒度、电击穿场强及击穿区域,给出了CuCr合金Cr相粒子半径与击穿场强的关系式。结果表明:随着HIP烧结温度的上升,CuCr触头材料的Cr相颗粒度也将逐渐增大,导致真空电击穿场强减小,与此同时真空电击穿烧蚀面积增大,烧蚀坑深度逐步加深。     

基于标签共现网络的用户聚合算法研究

目前,聚合服务包含网络资源聚合、服务聚合与用户聚合三个方面,其中用户聚合研究亟待完善。在一些开放平台的社会化标签系统中,用户根据个人偏好自由选择词汇对网络资源进行标注。标注的标签词反映了用户的兴趣偏好。从标签共现网络视角,提出了一种基于标签共现网络的用户聚合算法TBKM。定义了TBKM算法的相关概念;创新提出了TBKM算法并给出了算法的详细设计;选择目前网络上最大的书签类站点Delicious的真实数据进行实证研究,将TBKM算法与传统K-means算法在聚类效果上进行比较,展示了TBKM算法在簇间距离与簇内半径两指标上的创新性。     

CADP与PIM-SM协议分析

由于PIM-SM协议标准化进程还处在实验阶段,协议本身需要不断发展完善。提出PIM-SM组播系统的抽象模型,给出了协议实体的部分形式化描述,并使用CADP工具集对其进行简单验证。     

现代CAD技术在电器中的应用(续)

介绍了先进制造技术对CAD技术发展的影响，现代CAD技术的形成和发展以及在电器中的应用，现代CAD是现代制造技术的核心技术，其主要发展方向是使现代设计实现集成化，网络化和智能化，由此引出并行设计，协同设计和虚拟设计的新思想。     

智能节点重叠网络

P2P文件共享的大量应用带来了网络性能、安全性、知识产权等问题。文章给出了构建可管理、可控制和可运营的P2P网络的实例。     

组合式蓄热式烧嘴燃烧技术在线材加热炉的应用

介绍了组合、蓄热式烧嘴燃烧技术在线材连轧生产线加热炉上的应用，成功地将低发热值的高炉煤气应用于轧钢加热炉，实践证明节能效果显著，取得了满意的效果及较高的经济效益。