应用硫酸铵提高乌拉嗄金矿石浮选回收率试验研究

经试验发现应用一种化学肥料硫酸铵可以显著提高乌拉嘎金矿石的浮选回收率。闭路试验尾矿工艺矿物学鉴定证明，以硫酸铵作为调整剂的浮选过程中，微细粒单体金和金与石英边生体被有效回收。     

复合材料POSS/TX-10/Bent的制备及其吸附性能

以多面齐聚倍半硅氧烷(POSS)、TX-10型非离子表面活性剂为改性剂对膨润土(Bent)进行复合改性制备了复合材料(POSS/TX-10/Bent),并利用亚甲基蓝研究了其吸附性能。采用XRD、XPS、EA、FTIR、SEM对POSS/TX-10/Bent进行了组成与结构表征。结果表明,POSS和TX-10型非离子表面活性剂都成功插入到膨润土层间,使得复合材料层间距增大,疏水性增强。吸附实验表明,在30℃、pH为6.52(原始值)的条件下,复合材料投加量5 g/L、吸附180 min时效果最佳。在同等吸附条件下,复合改性膨润土对亚甲基蓝的吸附能力远大于未改性的膨润土。吸附过程更符合准二级动力学模型,平衡吸附数据与Langmuir等温吸附曲线吻合较好,吸附是一个自发的吸热过程,POSS/TX-10/Bent对亚甲基蓝的理论最大吸附量为253.81 mg/g。     

改性钢渣除藻效果研究

对改性钢渣在机械搅拌条件下的除藻效果进行了研究,并分析了改性钢渣预处理与混凝联用工艺对藻类的去除效果和协同作用.实验表明,钢渣经改性后,既能有效地去除水中的藻类,又能降低藻的光合活性,抑制藻的生长;高温活化改性钢渣预处理与混凝联用工艺对藻类有很好的去除效果,其对叶绿素a的平均去除率达91.4％,远高于单纯的钢渣预处理和混凝工艺.这暗示了两者之间在除藻方面存在协同作用.     

多级联动产品质量电子监管系统的设计与实现

根据质检总局对开展产品质量电子监管工作的思路,设计开发了具有多级联动特点的产品质量电子监管系统。介绍了系统的五大主要功能以及系统技术框架搭建、数据格式规范化、数据集成接口实现、信息安全保障和产品信誉度评估模型的设计等系统开发的关键技术问题。实践证明系统具有集成能力强、信息安全有保障、数据格式统一规范、质量信誉度评估公开公正以及具备质量抽检方案决策支持功能等特点。     

基于椭圆曲线的一种高效率数字签名

为给出一种基于椭圆曲线密码的高效率的数字签名方案.不仅在算法设计时完全避免了费时的求逆运算,而且利用消息HASH值的汉明重量作为消息摘要进行签名与验证.结果在同等安全性下,该方案比通用的ECDSA等方案运行时间更短.新方案可适用于网络等对签名实时性要求较高的场合.     

应用型本科院校数据结构创新教学模式

文章针对计算机专业的核心课程数据结构,以培养创新应用型人才为目标,从教与学的角度探讨案例驱动式教学、形象教学与启发式教学结合、教学立体化、课程设计与大项目作业结合等观点,使学生能更好地学习数据结构课程。     

Static typing for a substructural lambda calculus

Substructural type systems are designed from the insight inspired by the development of linear and substructural logics. Substructural type systems promise to control the usage of computational resources statically, thus detect more program errors at an early stage than traditional type systems do. In the past decade, substructural type systems have been deployed in the design of novel programming languages, such as Vault, etc. This paper presents a general typing theory for substructural type system. First, we define a universal semantic framework for substructural types by interpreting them as characteristic intervals composed of type qualifiers. Based on this framework, we present the design of a substructural calculus λ_SL with subtyping relations. After giving syntax, typing rules and operational semantics for λ_SL, we prove the type safety theorem. The new calculus λ_SL can guarantee many more safety invariants than traditional lambda calculus, which is demonstrated by showing that the λ_SL calculus can serve as an idealized type intermediate language, and defining a type-preserving translation from ordinary typed lambda calculus into λ_SL.     

A new process for fabricating tip-shaped polymer microstructure array with patterned metallic coatings

In this paper, we present a new process for fabricating tip-shaped polymer microstructure array coated by patterned metal layer. This new process involves three techniques including: micro-molding, patterned metal layer transfer, and electrochemical-based sacrificial layer. As we know, it is very difficult to remove the extra photoresist (PR) in the concave areas in traditional micro-fabrication technology, which hinders patterning metal layers on three-dimensional (3D) microstructures. The electrochemical-based sacrificial layer technique can effectively resolve this problem, which is verified by scanning electron microscopy (SEM) characterization. Comparative study between the 3D metal-coated polyimide microstructures fabricated with and without the electrochemical-based sacrificial layer step is also performed and SEM images proved the effect of the presented process. The applicability of the developed process is also demonstrated with the successful fabrication of a pyramid-shaped polyimide microelectrodes array for neural stimulation.     

微水导激光切割玻璃的耦合装置设计

为了解决激光切割钢化玻璃过程中由于热应力导致产生裂纹并发生破裂的技术难题，建立了光液耦合模型，采用FLUENT软件进行了耦合腔内多场分析，获得了微水导激光切割钢化玻璃的工艺参量。结果表明，在喷口口径为0.4mm、水束压力为20MPa、激光功率为48W、切割速率为20mm/s的工艺条件下，厚度为0.5mm及1.0mm的玻璃试样的切割表面均比较光滑、基体内无微裂纹存在，切缝宽度约为100μm。该双注水口耦合装置的设计是合理的，能够满足钢化玻璃切割工艺的要求。     

碱土金属氧化物含量对模拟高放废液玻璃固化体析晶行为的影响

以硼硅酸盐玻璃作为基础玻璃基材,通过熔融法制备了含16%(质量分数)模拟高放废液的玻璃固化体,探究了碱土金属氧化物含量对玻璃固化体析晶行为的影响,以期在保证玻璃固化体性能要求的前提下,通过控制碱土金属氧化物的含量抑制玻璃固化体的析晶倾向。结果显示:碱土金属氧化物(CaO+MgO+BaO)含量在7%~19%(质量分数)时,玻璃固化体析晶上限温度和析晶率随碱土金属氧化物含量的降低而逐渐降低;玻璃网络聚合度的增加能够显著增强玻璃固化体的抗析晶性能,当碱土金属氧化物含量低于11%(质量分数)时玻璃固化体中硫酸盐的溶解度明显下降。基于包容0.7%(质量分数)SO₃的要求,碱土金属氧化物含量适宜组成应控制在11%(质量分数)以上。