摘要：为减少历史时间窗时空查询结果偏差,通过假定移动对象在连续位置更新间做匀速直线运动,获取该对象的近似轨迹函数,基于此函数提出简化的位置演进模型。由该模型求解对象轨迹与查询区域边界相交时间点集;由轨迹函数计算对象与查询中心点间距离函数,求解距离函数间相交时间点集。给出基于简化位置演进模型的时间窗时空范围查询、最近邻查询算法。仿真结果表明,与传统算法相比,所提两类查询算法的结果准确度更高。

摘要：介绍了深圳市中金岭南有色冶金股份有限公司丹霞冶炼厂250 kt/a冶炼烟气制酸装置工艺设计和运行情况。针对生产运行过程中出现的净化工序入口氮氧化物含量偏高、臭氧发生器臭氧产能低于设定值、压缩空气压力波动大、转化器催化剂装填量偏少等问题进行了优化改造。目前该制酸装置运行情况良好,设备作业率高,各项技术经济指标均达到了设计要求。

摘要：介绍了铅、锌冶炼烟气制酸工程的工艺设计特点和主要设备选型情况。试生产期间发现系统中存在一些问题,后逐渐加以完善。一年多的生产实践表明:制酸系统各项工艺指标均达到设计值,转化率大于99.90%,尾气排放SO_2质量浓度低于200 mg/m^3。该烟气制酸设计工程采用的工艺技术先进、可靠,适应性强。

摘要：主要论述了回转窑烟气氧化锌脱硫工艺的基本原理、工艺设计、设备选型及生产实践情况。氧化锌脱硫系统采用含氧化锌的浆液吸收回转窑烟气中的SO2,吸收后的亚硫酸锌浆液利用废电解液中的稀硫酸分解,获得高浓度的SO2和硫酸锌溶液,SO2气体返回锌精矿焙烧制酸系统制酸,硫酸锌溶液回浸出车间回收锌。经过将近一年的生产实践,该系统各项工艺指标均达到设计值,特别适合于低浓度SO2烟气的尾气处理。

摘要：得益于设计IP的成熟可靠性,目前SoC系统能够基于设计IP实现快速构建。在SoC系统构建过程中,往往需要考虑从IP模块到SoC系统的功能验证。为了能够减小SoC系统构建与功能验证之间的项目压力,提出了一种可快速构建、可扩展、可复用的自动化验证平台。该平台基于UVM、Python、Mako技术,同时具备SV、UVM、C的测试能力,可以快速部署验证平台,有利于验证环境,标准化测试指令规范了测试代码。在不同验证层次中投入试用,有效节省了96.9%的构建测试平台时间,减少了66.2%的测试框架代码,减少了66.4%的测试用例代码。该平台已作为独立EDA产品,参与到多个芯片研发。

摘要：受益于芯片时钟优化处理技术,时钟信息的管理也变得更为复杂。一致性时钟信息缺失可能造成芯片时钟数据的错误输入和输出,继而影响最终后端综合结果。文中提出了一个覆盖芯片开发全流程的一致性时钟信息管理方案,采用Python、Tkinter、Graphviz技术共同实现对时钟信息进行中心化管理、可视化编辑、脚本批量处理。项目投入使用后,减少了整体时钟冗余信息32.8%,节省后端维护脚本时间76.0%,降低时钟信息出错率88.3%。多个部门利用一致性时钟信息获得所需信息,跨时钟域检查和后端综合均从该方案受益。