Using FORAY Models to Enable MPSoC Memory Optimizations

With the technology advances it becomes feasible to implement a large multiprocessor system on a single chip. In such Systems-on-Chip (SoCs), a significant portion of energy is spent in the memory subsystem. There are several approaches reducing this energy, including the ones at physical, architecture and algorithmic levels. Classical approaches, including algorithmic and some architectural approaches, use static analysis and transformation of the application source code. However, often it is not possible to perform static analysis and optimization of a program’s memory access behavior unless the program is written in an easily analyzable form, e.g., free from pointer arithmetic. In this paper, we introduce the FORAY model of a program that allows aggressive analysis of the application’s memory behavior and enables such optimizations on arbitrary code which are not possible to apply otherwise. We then present FORAY-GEN: an automated profile-based approach for extraction of the FORAY model from the original program. We also outline our approach in applying FORAY-GEN for multiprocessor SoCs. We demonstrate how FORAY-GEN enhances applicability of other memory subsystem optimization approaches, resulting in an average of two times increase in the number of memory references that can be analyzed by existing static approaches.     

基于对称密钥互认机制的USB Key设计

本文简要说明了加密狗的软、硬件原理。分析了目前的软件加密狗所存在的一些可能安全漏洞,采用了PIN“一次一密”的设计思想。详细介绍了ZLG公司PDIUSBD12USB芯片与P89LPC932A1单片机的内部结构,给出了基于这两种芯片的加密狗的硬件实现,配以程序流程图,并简要介绍了驱动程序开发。分析了目前破解软件狗的一些常用技术手段及其应对策略。     

Preparation of new black chrome solar selective coatings

The application of the pulse current electrolysis method for black chrome oxide electrocrystallization on nickel substrate, named KIEROME, has been investigated. Pulse plating parameters to optimize the optical properties of KIEROME included the bath composition, current density, plating time, and duty cycle. The bath composition was prepared with the formula of 250–300g/l chromic acid. 10–15 g/l propionic acid and 0.5 g/l of a proprietaryadditive. It has been observed that the KIEROME exhibited reasonable optical properties for commercialization when the plating parameters were properly controlled: absorptance (α) of 0.944, and emittance (ɛ) of 0.084. Thermal aging tests associated with the changes in optical properties, surface microstructures and composition profiles were also performed by aging at 300°C and 450°C ir air for 24 hours. The surface microstructures of the as-deposited and thermally treated KIEROME coatings were investigated using Scanning Electron Microscopy (SEM), Auger Electron Scopy (AES) and X-ray Photoelectron Spectroscopy (XPS). This study implies that the KIEROME exhibits good optical properties and reasonable thermal stability for the practical application.     

汽车橡胶后支承软垫总成的试制

介绍汽车橡胶减震器性能，胶料配方设计，并用特殊金属骨架处理办法提高橡胶同金属之间的粘接力，从而达到图纸要求。满足用户需要。     

湿式氧化法治理棉浆黑液中试及反应器工艺设计原理

本文对湿式氧化治理棉浆黑液过程,进行了试验研究,考察了湿式氧化 COD 的宏观反应动力学和传质特性。通过对传质和反应的理论分析,为中试提出了单泡罩鼓泡环流厨应器型式。采用氧化—苛化—循环回用的工艺路线,在5.4～5.9 MPa、240～250℃、黑液平均停留时间为0.7小时的条件下,氧化结果获得 COD 转化率为42～48%,去色率大于95%,总碱回收率达90%以上。氧化液循环回用符合生产要求,反应器结构合理,操作稳定,能满足工艺和反应的要求。     

焦作云台山与青龙峡景区中奥陶统马家沟组沉积特征及演化规律

通过对焦作云台山与青龙峡景区中奥陶统马家沟组的岩性、沉积构造、古生物实体化石和遗迹化石的组成和分布特征分析及其沉积环境研究,结果表明,研究区马家沟组主要为潮坪-碳酸盐岩台地沉积,可划分为潮坪相和碳酸盐岩台地相及潮上带、潮间带和潮下开阔台地3个沉积亚相;其沉积演化特征显示出7个沉积旋回,每个沉积旋回变化从潮间带(潮上带)沉积开始,海水逐渐加深变为潮下开阔台地沉积,然后海水逐渐变浅,过渡到潮间带沉积,总体上反映了马家沟组沉积期经历了7次较完整的海平面变化过程.研究云台山与青龙峡景区马家沟组沉积环境和沉积演化对于恢复该区早古生代的沉积环境和丰富云台山世界地质公园的地质信息均有重要意义.     

论《黑猫》对政治的心理学解析——兼论爱伦·坡的保守政治观

爱伦.坡的小说《黑猫》中以"我"表征理性和美国或以白人为主的南方人,黑猫象征本能和黑人奴隶,以本能和理性为切入点,对二者模糊化处理,企图以相对较为客观的视角评析当时社会对奴隶制的分裂态度,从心理的视角深刻透视美国政治文化,流露出对奴隶解放的审慎态度。坡在提醒美国白人警惕奴隶制和废奴运动,表现出他保守的政治观。     

益阳黑茶中茶多酚含量测定研究

研究了不同浸取方法对黑茶中茶多酚的浸取效果,并分别用分光光度法和间接原子吸收光谱法测定了黑茶样品中茶多酚的含量.研究结果表明：2种测定方法的相关性良好,具有简便、快速、准确度高、重复性好等优点,可用于茶叶中茶多酚含量测定.     

测定CI-时大量S2O3^2-干扰的消除方法

研究大量硫代硫酸根离子对摩尔法测定Cl-千扰的消除方法,建立向样品中加硝酸使硫代硫酸根离子转变成单质硫沉淀和二氧化硫气体,消除氯离子测定过程中硫代硫酸根离子干扰的方法,确定最佳操作条件．该方法精密度及准确度均较好,并已应用于硫化黑工艺废液提取硫代硫酸钠过程中Cl-的检测．     

打桩过程的非线性有限元分析

利用国际上最先进的大型通用有限元计算分析软件之一——ABAQUS中的ABAQUS/Explicit模块,采用对时间进行显式积分的格式对钢筋混凝土预制桩的打桩过程进行动态模拟,得到了桩体的设计参数（包括桩径、桩长、桩身材料等）、打桩机械参数（锤重、落高、能量、桩垫、锤垫等）对打桩过程的影响规律,对工程应用有一定的指导意义.