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

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

Design for the Future: Educational Institutions in the Gulf

Despite a distinguished heritage of learning in the Middle East, the expansion of provision for higher education is currently at an unprecedented scale. The Gulf States, in particular, are seeking to keep up with accelerated population growth and a demographic ‘youth bulge’. Guest-Editor Kevin Mitchell describes the architectural approaches employed in the design of institutions in the region from the first universities in Saudi Arabia to Foster + Partners's ground-breaking sustainable design for the Masdar Institute in Abu Dhabi and future projects.     

基于MIPS32平台的Linux操作系统移植

论述基于MIPS32体系结构的Linux操作系统的移植技术;结合具体实例,给出在特定硬件平台(同济大学微电子中心自主开发的BC320芯片及板级系统)上移植Linux的实现过程;介绍建立交叉开发环境的方法,讨论当实际指令集为标准MIPS32指令集子集时(以4条非对齐存取指令为例),如何逻辑等效地完成操作系统移植的问题。     

湿法生产超细重质碳酸钙工艺实践

随着湿法研磨工艺和改性技术的发展,解决了超细重质碳酸钙的团聚等问题,使改性超细碳酸钙在聚氯乙烯波纹管中用量得到了极大的提高,并且质量稳定,有利于工业化大规模生产。本文重点介绍其生产工艺与实践。     

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.     

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

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

Tornado API分析及第三方工具链集成技术

分析了Tornado集成开发环境及GCC编译器.重点讨论了Tornado应用程序接口.对Tornado的定制与扩展及第三方工具链的集成技术进行了较深入的探讨.修改GCC-3.3.2部分源码后,采用新的集成策略,把它成功地集成到了Tornado开发环境中.     

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.     

基于Linux的嵌入式交叉编译环境的建立及实现

交叉编译环境是嵌入式开发必不可少的工具,嵌入式系统的可执行文件都是通过交叉编译生成的.通过分步编译Binutils、GCC、glibc和GDB,最终成功完成了基于ARM S3C2410和嵌入式Linux的交叉编译环境的建立,并通过测试,具有可靠的稳定性.与普遍采用的利用Crosstool脚本工具集构建交叉编译环境相比,...     

立磨机细磨重质碳酸钙的试验研究

立磨机可成功地用于磨制超细重质碳酸钙，影响其工作的主要因素的转速，浓度，介质量，介质种类及助磨剂等，立磨机效率高，能耗低。