运行时验证中的减少监控开销方法研究

运行时验证中的一个重要研究内容就是减少监控开销,以达到运行时开销对系统影响最小化的目标。总结了近年来运行时验证中减少监控开销技术的研究发展,首先介绍了运行时开销控制的研究现状;然后详细介绍了运行时开销减少的具体方法;最后分析了运行时开销控制技术面临的主要挑战,并对该领域未来的研究方向进行了展望。     

一个新的基于能量和距离的传感器网络协议

分析了基于低能量自适应聚类层次(LEACH)协议等典型协议,提出了一个基于能量和到基站距离的分簇算法,并在簇首的数据发送中引入了改进的多跳路由算法,称为基于能量距离分簇(EDBCM)的多跳算法。仿真结果表明,新协议提高了基站接收到的数据量,延长了整个网络的寿命。     

2500m~3高炉出铁沟热套浇浇注料的研制

以刚玉、碳化硅、氧化铝微粉、二氧化硅微粉、球状沥青等为原料,研究了不同的SiC加入量对出铁沟浇注料性能的影响。结果表明,SiC加入量越多,浇注料的抗渣性能越好,但是加入过多的SiC会导致浇注料的显气孔率升高,常温抗折强度、常温耐压强度和高温抗折强度下降。当SiC含量为18%时,出铁沟渣、铁线位的侵蚀速率基本相当,也为套浇创造条件。     

FX-01催化剂上苯与二乙苯烷基转移 Ⅰ.工艺条件及催化剂寿命

研究了ＦＸ－０１催化剂上苯与二乙苯烷基转移反应的工艺条件。在ＦＸ－０１催化剂上，当原料中水的质量分数为（５０～１００）×１０－６时，适宜的反应温度２４０～２６０℃，反应压力２．６～３．４ＭＰａ，总质量空速４～１０ｈ－１，苯／二乙苯的摩尔比为８／１～１２／１。经过１２００ｈ的寿命试验，催化剂的活性和选择性没有明显变化，二乙苯的转化率＞５０．０％，生成乙苯的选择性超过９３．０％。并用ＩＲ、ＸＲＤ及酸性测定等方法表征了寿命试验反应前后催化剂的结构和酸性的变化。表征结果说明该催化剂有很好的稳定性，具有工业应用前景。     

物联网技术在片烟仓储管理系统中的应用研究

利用RFID技术,实现对片烟包芯温湿度和烟包其他信息的整合,并进行身份识别和跟踪。便于做好以下工作:一是根据包芯的温湿度信息,调节仓储环境温湿度指标,避免烟包的造碎或霉烂,降低库耗,提高烟叶养护质量;二是准确、及时、全面掌握烟叶库存信息,便于有效调度,科学使用,提高工作效率,提高仓储空间的使用率,大大减少劳动力投入,为企业带来可观的经济效益。     

潮洲弦诗乐的特点及录音

文中介绍了潮州弦诗乐的特点,并从音乐及平衡、层次感和清晰度、定位及空间感、动态范围及录音电平的控制几方面谈了录制潮州弦诗乐的心得体会。     

一种新型热量表的设计

本文从热量测量的基本原理出发，结合供暖系统的技术指标，给出了一种新型热量表的软、硬件设计方法，该热量表能对温度、压力等各项参数进行自校正运算，提高了测量精度，实际应用表明，其完全符合工业测量的标准，具有较优性能。     

MOOC背景下的高校教师角色转型

针对MOOC时代教师的角色及其转型这一热点问题,从软件工程服务学角度提出教育即服务的观点,即将教师为学生提供包括学业上的帮助等各种服务理解为MOOC时代教师对学生进行教育;以软件工程MOOC课堂教学为背景,介绍上述观点的实践活动,指出高校教师只有真正理解并满足学生的真实需求,才能和学生一起成长,实现MOOC时代教与学双赢的教育目的。     

β沸石催化剂上苯/乙烯烷基化反应器模拟

建立了苯与乙烯在β沸石催化剂上烷基化反应的气－液－固三相反应器数学模型，并应用变步长的Ｒｕｎｇｅ－Ｋｕｔａ法给出了模型的解。比较了不同的反应条件和反应器行为。计算结果表明，无论是固定床鼓泡反应器，还是滴流床反应器，反应过程均为气液膜液侧的传质阻力所控制，且固定床鼓泡反应器对该反应更适合。     

对园林工程中大树移栽施工技术的探讨

大树移栽是园林工程建设中一个涉及专业多、消耗大、较为复杂,工程量大并且非常重要的工作。本文重点分析了在园林工程建设施工中,关于大树移栽的相关技术,希望能为同行做好城市的绿化工作提供帮助。