催化裂化装置柴油系统腐蚀原因分析

陕西延长石油延安炼油厂现有一套1.0MMTA催化裂化装置,主要处理常压渣油。在装置运行过程中,发现分馏塔柴油系统出现了较为严重的腐蚀现象,其中柴油系统工艺管线、冷却设备因腐蚀穿孔多次出现泄露情况,对装置的安全平稳运行带来了严重影响。本文主要根据装置的腐蚀情况,分析了装置产生腐蚀的主要原因,初步探讨了腐蚀产生的机理,并根据实际生产过程中的经验,提出了一些可行性的预防措施。     

TSLV：基于时间切片的车载网络位置验证方法(英文)

Position-spoofing-based attacks seriously threaten the security of Vehicular Ad Hoc Network(VANET).An effective solution to detect position spoofing is location verification.However,since vehicles move fast and the topology changes quickly in VANET,the static location verification method in Wireless Sensor Network(WSN) is not suitable for VANET.Taking into account the dynamic changing topology of VANET and collusion,we propose a Time-Slice-based Location Verification scheme,named TSLV,to resist position spo...     

离心机转鼓结构优化设计方法的研究

提出了一种基于有限元分析的离心机转鼓结构优化设计的新方法。通过ANSYS中的参数化建模模块建立了GKH1250虹吸离心机转鼓的计算模型,并在此基础上使用优化设计功能对其进行第一次优化计算,然后根据其优化结果对转鼓进行了刚度和强度分析,并对优化变量的限制条件作相应的调整,最后再通过有限元分析进行了第二次优化设计,实现了总质量最小的优化目标。为应用ANSYS优化设计功能进行离心机转鼓的优化设计提供了一种新的方法。     

桥梁防撞墙外观质量的控制

本文对桥梁施工中防撞墙出现的外观质量问题进行了分析,并提出一些有效的控制方法。     

病毒感染对细胞表面超微结构影响的研究

用原子力显微镜（AFM）技术观察汉坦病毒的基本形貌,分别对用戊二醛固定的Vero—E6细胞和用汉坦病毒感染过的Vero—E6细胞进行成像,在原子级或纳米级水平上观测病毒感染后细胞表面超微结构的变化。将病毒直接滴加到云母片上自然风干后进行扫描,可以清晰地观察到病毒的结构大小;用0．5％～2．0％浓度的戊二醛固定细胞,通过成像发现,固定液浓度高时虽然成像质量较好,但对细胞的损伤较大,降低固定液浓度,细胞的形态接近于生理状态,成像质量良好;用不同稀释度的病毒感染细胞后,用合适的戊二醛浓度固定细胞进行观察,发现病毒感染前后细胞的形态结构发生了较大的变化,并且发现其形态的变化与病毒感染的浓度有显著的相关性。     

利用多级互连网络实现ATM多址通信

讨论了在ＡＴＭ中多址通信的几种主要实现方法和信元再生的多址通信方法。研究了用于多址通信的多级互连网的交换机结构，并描述了在这种交换结构上采用信元再生的方法实现ＡＴＭ多址通信的几个主要问题，如多址通信树的建立、信元的传递过程以及节点加入的方法。     

新型斗轮式掘进机

<正> 1 概述目前掘进机截割机构的转速较高,一般为44～130r/min(也有23r/min),相应的截割速度也较高,这就造成煤尘大,单位能耗高,截割力不足等缺陷。为此,除了加大截割电机功率外,主要应将截割机构的转速大幅度地降低,以降低煤尘、增大截割力。如图1,图2说明了截煤滚筒转速与单位能耗及产生粉尘量的关系曲线。随着转速的降低,单位能耗与粉尘量都大大降低。     

物联网分布式路由中基于Beta函数的抗攻击信任管理模型

With the rapid development of Internet of Things (IoT), the issue of trust in distributed routing systems has attracted more research attention. The existing trust management frameworks, however, suffer from some possible attacks in hostile environments, such as false accusation, collusion, on-off, and conflicting behavior. Therefore, more comprehensive models should be proposed to predict the trust level of nodes on potential routes more precisely, and to defeat several kinds of possible attacks. This paper makes an attempt to design an attack-resistant trust management model based on beta function for distributed routing strategy in IoT. Our model can evaluate and propagate reputation in distributed routing systems. We first describe possible attacks on existing systems. Our model is then proposed to establish reliable trust relations between self-organized nodes and defeat possible attacks in distributed routing systems. We also propose a theoretical basis and skeleton of our model. Finally, some performance evaluations and security analyses are provided to show the effectiveness and robustness of our model compared with the existing systems.     

一类多变量非线性系统的解耦及线性化

以微分流形的分布为工具，得到了一类非线性系统可通过对角状态反馈变换实现系统的解耦及线性化的充要条件。     

基于TLA的UML模型形式化验证

统一建模语言(UML)不能直接对所建立模型的正确性进行形式化验证。为解决上述问题,从UML模型的静态结构和动态行为 2个方面分别提出结合行为时序逻辑(TLA)的模型形式化方法,在此基础上提出将UML模型转化为TLA+的形式化描述方法,并用TLC工具形式化检测TLA+描述的正确性。通过实例分析证明了该方法的有效性。