基于普通Petri网的梯形图中接通延时定时器的建模方法

针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。     

SC-1型乙烯裂解炉先进控制系统开发与应用

针对SC-1型乙烯气液相裂解炉控制问题,提出了一种鲁棒性较强的先进控制策略,开发了由“DCS控制层”和“上位机控制层”构成的先进控制系统.该系统有效地解决了燃料热值波动对裂解炉裂解气出口温度的影响,减少了裂解气出口温度和裂解炉总加工量的波动,实现了“卡边”控制及生产过程的安全逻辑保护,优化控制器可一键投运和切除,解决了裂解炉控制问题的复杂性.该系统成功应用于兰州石化46万吨／年乙烯装置,大幅度提高了装置的平稳率,提升了双烯收率,降低了装置能耗.     

面向综合集成研讨环境的主动信息获取方法*

针对在综合集成研讨环境中,由于存在时间压力,传统的网络信息获取方法难以直接使用,提出了一种面向综合集成研讨环境的主动信息获取方法。该方法将领域词条与通用词条相结合,从发言文本流中实时提取话题,并在话题发生变化时自动生成检索词送入搜索引擎进行检索,再通过多个用户之间的协作推荐实现对重要检索结果的筛选。实验结果表明,这种方法可为综合集成研讨系统的用户提供及时、准确、上下文相关的信息服务。     

弱酸性条件起始合成MUF树脂工艺研究

为了开发一种新的在"弱酸—弱碱—弱酸—弱碱"条件下合成三聚氰胺-尿素-甲醛树脂(MUF)的工艺,对弱酸性条件下起始合成MUF工艺进行研究.探讨了在不同酸性阶段加入的三聚氰胺对脲醛树脂性能的影响,找出最佳的三聚氰胺改性脲醛树脂的合成工艺.在最佳工艺基础上,评价三聚氰胺用量对MUF树脂性能的影响以及对胶合板性能的影响,并对MUF树脂和普通脲醛树脂进行红外分析.结果证明:三聚氰胺在甲醛与尿素一次缩聚之后加入,对脲醛树脂改性效果最好,其胶合板湿剪切强度与甲醛释放量之间达到较好平衡,胶合板甲醛释放量为0.63mg/L,湿剪切强度为1.03MPa.红外谱图分析表明:三聚氰胺分子以亚甲基与脲醛树脂分子链相连并有可能嵌入脲醛树脂分子链中,形成一定数量的醚键,使三聚氰胺在脲醛树脂中真正起到骨架作用.     

Implementing optimized pairings with elliptic nets

In this paper,we use elliptic nets to implement the optimized Ate pairings and optimal pairings on the Barreto-Naehrig curves with embedding degree 12.In order to do the arithmetic of elliptic curves over finite fields with elliptic nets,we first give some basic properties of elliptic nets associated to elliptic curves over finite fields and the expression of Miller function in terms of elliptic nets.Then we give formulae to compute some optimized pairings with elliptic nets,which is a new method to implement pairings.This method with elliptic nets has time complexity comparable to Miller’s algorithm and it can be optimized.     

Performance analysis for range expansion in heterogeneous networks

In this paper, the uplink and downlink performance of a two-tier heterogeneous network （HetNet） with range expansion （RE） is analyzed. Different from previous works, base stations （BSs） are modeled as a spatial Poisson point process. This model can not only capture the irregularity of the BS deployment but also lead to closed form expressions. With the analytical results, the impacts of several key parameters on the coverage and throughput performance are investigated. Our results justifies the effectiveness of RE and Pico deployment. Based on our analyses, certain attention should be made on the RE design to balance the uplink and downlink performance. Our analyses are corroborated by simulations and can thus serve as a flexible and quick guidance for system design without complicated and time-consuming system-level platform construction and simulation.     

基于改进迭代最近点算法的接骨板贴合性快捷计算方法

为了快速计算出接骨板在断骨表面的最佳贴合位置,以减少手术中接骨板反复调整的次数,提出了一种基于改进迭代最近点（ICP）算法的接骨板贴合性快捷计算方法。首先,由医生指导在断骨表面选取贴合区域,并利用接骨板表面点的法向量之间的夹角提取接骨板的内曲面点云;然后,在对两组点云模型进行平滑处理并采用格点采样的方式来简化点云模型后,利用点云之间的特征关系进行初始配准;最后,对接骨板内曲面点云模型进行边界及内部特征关键点提取,并采用K-维树（KD-Tree）搜索邻近点,对接骨板的特征关键点和断骨表面选取区域执行ICP精确配准。以胫骨为例进行实验,实验结果表明,所提算法相较于近年所提配准算法在保持较高配准度的同时提高了配准效率,能够实现胫骨不同受损类型与接骨板之间的快速配准,并且对其他受损骨骼具有通用性。     

基于特征相似度计算的网页包装器自适应

随着大数据的发展,互联网数据呈现爆炸式的增长.Web作为一种重要的信息载体,包含了各种类型的信息,而包装器的提出就是为了从杂乱的Web信息中提取出目标数据.但是,随着网页更新的频繁,轻微的结构变化都可能导致原有的包装器失效,增加包装器的维护成本.针对包装器的健壮性以及维护成本问题,提出了一种基于特征相似度计算的网页包装器自适应技术.该技术主要通过解析新网页的特征集合和旧包装器所蕴含的特征信息,通过网页相似度计算,重定位旧包装器在新网页中的映射区域和映射数据项,并根据映射关系使旧包装器能够自适应新网页的数据提取.该技术主要针对各类型网站进行实验,其中包括了购物类、新闻类、资讯类、论坛类和服务类,从中选取了250对新旧版本网页,共500个网页,进行包装器自适应实验.实验结果表明,当网页结构改变时,该方法能够有效地自适应新网页的数据提取,且数据提取的平均精确度和平均召回值分别达到82.2％和84.36％.     

引入动态内存分析的微信撤回消息恢复方法

作为广受用户青睐的即时通信系统,微信在给人们生活带来极大便利的同时,也给不法分子提供了违法犯罪的新手段、新工具。微信聊天记录作为我国法律中明确列出的电子证据类型,其有效性引起广泛关注,使得微信聊天记录的恢复成为相关领域的研究热点。针对现有的聊天记录恢复研究多集中于删除消息的恢复,撤回消息的恢复尚未取得有效进展,通过研究PC版微信运行过程中的动态内存管理机制,分析撤回消息在动态内存中的特征字符及字段结构,对比文本、表情、图片等不同类型的消息在内存中的存储原理,提出一种基于动态内存分析的微信撤回消息恢复方法。利用Python语言编写的工具实现了对微信撤回消息原文、撤回状态、撤回方微信ID等内容的批量恢复,验证了该方法的有效性。     

Bioleaching of pyrrhotite by Sulfobacillus thermosulfidooxidans

The bioleaching of pyrrhotite was investigated using Sulfobacillus thermosulfidooxidans.The effects of pH,pulp concentration,inoculation amount,external addition of ferrous and ferric ions were examined.The pH is found to exert a profound effect on the leaching process for controlling the bacterial activity and precipitation of ferric ions mainly as jarosite.The results show that low pulp content increases the leaching rate of iron.The inoculation amount from 1×107 cell/mL to 1×108 cell/mL has positive effects on the leaching rate.The results also imply that addition of ferrous sulfate（1 g/L） is required for the bacteria to efficiently drive the extraction of iron,however,the leaching efficiency has no obvious enhancement when 2 g/L ferrous sulfate was added.Comparatively,addition of ferric sulfate（2 g/L） significantly inhibits the bioleaching process.At the end of bioleaching,jarosite and sulfur are observed on the surface of pyrrhotite residues by using XRD and SEM.With the passivation film formed by jarosite and sulfur,the continuous iron extraction is effectively blocked.