用于视频监控的特定声实时定位系统

设计了一种用于视频监控的具有较强抗干扰能力的特定声定位实时系统。本系统利用广义互相关算法(GCC)估计声音到达2个传声器的时间差(TDoA),以此计算声源的方向角。本系统具有特定声检测功能,只有特定声出现时才输出定位结果,提高了系统的抗干扰能力。实验证明,该系统能够实时地对枪声进行定位,当枪声在±30°范围的时候,室内测试的定位误差在±3°以内;室外测试定位误差在±5°以内。     

ARM NEON技术在车位识别算法中的应用

为了在车位检测系统中不使用DSP的情况下,达到实时处理和节约成本的目的,在嵌入式Linux系统中使用了CORTEX-A系列的NEON协处理器技术来优化一种车位图像检测算法的代码。在CORTEX-A8平台上使用该图像处理算法进行了大量的处理测试,图像算法处理速度得到很大提升。最后在多个平台下使用该图像处理算法进行测试对比,使用了NEON技术后其算法处理速度提升明显,能够满足实时要求。     

Eclipse的CDT插件分析

CDT是Eclipse开发C/C++的工具,并为专业领域(如嵌入式软件)提供二次开发支持。文章在分析Eclipse和CDT的本身特征的基础上,介绍CDT的功能结构,以C/C++程序开发者的角度,以工程管理、构建管理、运行调试的分类,研究扩展CDT的方法。     

信息系统总体控制在某能源公司ERP财务模块实施中的应用

ERP建设过程实质是以财务为代表的部门在企业计划、管理制度、业务流程重组、内部供应链管理等方面的变革,本文在信息系统总体控制分析的基础上,结合某能源公司财务模块实施经验,提出在ERP实施过程中要加强GCC控制的观点。     

Preparation of nanocoatings in the presence of precipitated CaCO3 fillers by UV-curing

Various methods were employed to prepare precipitated calcium carbonate (PCC) particles. Particle size and morphology were dependent on reaction conditions as well as temperature, reagents and stirring, either mechanical or by ultrasound probe sonication. Sonication helped to reduce the size of CaCO₃ particles as well as the precipitation time. Sonication was also used to disperse PCC particles in the UV-curable formulations as well as for preparation of the PCC. Formulations containing precipitated calcium carbonates and ground calcium carbonates in various grades were cured by a Mini UV-Cure device. Mechanical and thermal properties of films were characterized with a Dynamic Mechanical Analyzer (DMA). SEM analysis was also used to determine the shape and the size of the PCCs. Sonication decreased the precipitation time of calcium carbonate at least four times more than that of conventional precipitation procedures and the dispersion of particles in the formulations increased to a great extent.     

先进控制技术在常减压装置的应用

介绍了先进控制技术在兰州石化公司5Mt／a常减压装置上的应用情况，阐述了控制器开发过程的要点。通过采用多变量控制手段来实现工艺控制目的，不仅提高了装置的运行平稳率，而且能够卡边进行操作，达到了提高目标产品收率和装置节能降耗的目的。     

Open-Source Model Checking

We present GMC², a software model checker for GCC, the open-source compiler from the Free Software Foundation (FSF). GMC², which is part of the GMC static-analysis and model-checking tool suite for GCC under development at SUNY Stony Brook, can be seen as an extension of Monte Carlo model checking to the setting of concurrent, procedural programming languages. Monte Carlo model checking is a newly developed technique that utilizes the theory of geometric random variables, statistical hypothesis testing, and random sampling of lassos in Büchi automata to realize a one- sided error, randomized algorithm for LTL model checking. To handle the function call/return mechanisms inherent in procedural languages such as C/C++, the version of Monte Carlo model checking implemented in GMC² is optimized for pushdown-automaton models. Our experimental results demonstrate that this approach yields an efficient and scalable software model checker for GCC.     

基于GCC的TMS320C67xx汇编代码的优化

为了使生成的汇编代码具有更高的执行效率,设计并实现了一种基于GCC的 TMS320C67xx汇编指令级的代码优化算法。首先,将汇编指令按照功能划分为不同的指令类型,并将汇编指令链接到链表中。然后,针对每一个寄存器建立对该寄存器的读写操作指令链表。最后,通过对指令类型的判断和对寄存器读写操作指令链表的分析,完成了冗余代码的删除和指令合并。实验结果表明,经过代码优化后,TMS320C67xx汇编代码的执行效率提高了20％左右,较中间代码级的优化算法执行效率提高了15％左右。     

世界碳酸钙工业发展近况

世界碳酸钙工业发展迅速，产能不断增加，首先介绍了近几年来重质研磨碳酸钙（GCC）产业的发展概况，重点介绍了中国、日本、马来西亚、韩国、泰国的GCC产业及国际著名GCC生产公司在中国的经营情况。其次介绍了世界轻质沉淀碳酸钙（PCC）的市场概况及国外大型PCC生产公司的基本情况。最后，重点介绍了中国大陆地区的碳酸钙生产与市场情况，并通过分析近几年中国碳酸钙产品的进出口数量及价格情况指出，开发适合碳酸钙用户需求的新产品、新技术，参与国际竞争是今后中国碳酸钙生产企业的发展方向。     

基于Windows平台VxWorks交叉编译工具的设计

在开发VxWorks嵌入式平台时,开发厂商会推出一整套交叉编译工具链来配合自身的嵌入式产品,但是这些由商业公司提供的工具链,都不会附有工具链相关的源代码和制作方法,灵活性不足,并且它们一般都与整套开发系统捆绑销售使用,成本较高.为了更好地理解这种技术和降低成本,使用了国际开源组织GNU开发的工具链作为产品开发的工具,提...