PVC树脂生产中产生塑化片的原因与改进措施

分析了PVC树脂生产中产生塑化片的原因,针对储槽搅拌器、离心机、星形下料器和输送管线提出了改进措施,并在料仓底部下料管线处增加了振动筛,改造后效果良好.     

粘土基脱黏剂的研制及其在水性涂料废水处理中的应用

随着水性涂料应用越来越广泛，传统的溶剂型涂料用混凝剂或漆雾凝聚剂难以适用于含水性涂料的废水处理，存在泡沫大，破乳不完全，浊度高，漆渣分散、含水率高等弊病。针对这些问题，本研究通过钠化改性天然膨润土制成粘土基脱黏剂，并配合上浮剂处理水性涂料废水。凝聚分离实验表明：该粘土基脱黏剂与市售产品处理效果相当，且与传统聚合氯化铝及三聚氰胺甲醛树脂相比，无需调节 pH，处理速度更快，水质更好。此外，该粘土基脱黏剂用于实际涂装车间废水处理时，在最佳运行参数下，有效实现了漆渣的团聚上浮及水质的净化。     

北非1942

<正>前言本情景的制作缘起于编辑部送给我的一盒威龙北非兵人。怎奈因诸事扰之,期间停工半年有余,致使整个制作周期长达一年两个月。停工虽打乱了制作的节奏,但却使我有机会沉淀下来总结自己这几年模型制作的心得。所以,本情景可以说是我为了求证自己这些感悟对与错的一个实验性作品。我将本情景的背景设定在1942年北非的突尼斯,德军北非军团501重型坦克营一辆三号N型坦克和一辆82侦察车相聚于某一小镇,装甲兵和侦察车成员正在相互交流情报,而一些装甲掷弹兵则在休整补充物资。     

大庆地区防洪工程管理初探

大庆地区防洪工程运行至今已有五十余年,分析在管理中的一些弊端,研究在今后的工作中应采取的措施和需要完善的问题,对充分发挥工程效益起到了重要作用。     

长距离供热管线穿越行洪区的设计方案探讨

随着城市建设规模的不断发展,为满足不断增长的城市供热需求并全面落实国家生态保护、清洁供暖、可持续发展等政策,减少城市环境治理的压力,城市供热热源逐步远离城市,形成许多以长距离供暖和大规模供热为特征的长距离供热管线.由于热源和城市的位置关系,长距离供热管线往往会穿越复杂的障碍区域.以富拉尔基发电厂向齐齐哈尔市长距离供热管网项目穿越行洪区段管网作为案例,从管线穿越障碍区域设计、防洪设计及施工便道设计三个方面对供热管网穿越行洪区时的难点进行分析总结.     

信息化教学设计的误区和应对策略

本文归纳了目前教师在信息化教学设计中所存在的误区,在对其进行原因剖析的基础上,为一线教师提出了避免误区的应对策略,以期为教师信息化教学设计和教学实施提供借鉴。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.