不可追踪的离线电子货币方案

针对电子货币系统中重要特性——可追踪性(traceabil-ity),本文提出一种用于不可追踪的电子货币系统的新协议。并说明基于离散对数假设(DLA)和分割选择技术的系统是安全的。     

代码翻译中Case语句的识别和恢复

提出了在开发IA 64二进制翻译系统中采用的n 条件分支跳转表和目标地址恢复技术。着重论述了该技术的核心——过程内切片和表达式替换，以及针对IA 64特性的改进算法。     

移动机器人沿墙算法研究综述

沿墙算法是一种局部路径规划算法,算法的全局收敛性往往优于其他传统方法。为了促进沿墙算法在路径规划领域中的研究,综述了运用沿墙算法规划路径的移动机器人的最新进展和研究成果。根据沿墙算法的避障策略与实现,将沿墙算法分为基于目标方向角的沿墙算法、基于M-Line的沿墙算法、基于最优避障方向的沿墙算法、基于历史信息的沿墙算法以及基于多算法融合的沿墙算法,并对各类算法优缺点进行总结。然而在实际环境中,由于仿真环境的理想化、行为协作机制的僵硬化及传感器的干扰性,沿墙算法在实际应用中与理论结果间存在较大差距。考虑到现有算法仍存在诸多不足,从开发适用于复杂实际环境的沿墙算法、探索更高效合理的多行为切换机制及降低实际环境中传感器噪声影响这3个方面展望了沿墙路径规划算法的未来发展趋势。     

基于Logit模型的华东四省一市居民生活用电预测研究

分析了华东居民家用电器及照明需求的变化规律及用电特征,利用Logit模型自下而上构建了居民生活用电模型,在验证模型稳健性的基础上,对未来华东居民生活用电进行了情景预测。     

黄河流域能源高质量发展的问题与建议

黄河流域被称为能源流域.上游地区的风能、太阳能资源及中下游地区的煤炭、油气资源等都是支撑中国经济发展的重要资源,在中国经济社会发展和生态安全方面具有十分重要的地位.黄河流域资源型重化工产业特征显著,突出反映了中国在建立现代能源体系中所面临的产业发展与生态保护、传统能源与新能源、路径依赖与转型升级之间的矛盾.为打造中国能...     

微细电火花加工机理研究

通过设计单脉冲放电实验,获得加工材料的表面形貌,以及单脉冲放电形成的凹坑.根据不同参数下材料的表面形貌,分析主要电参数与加工表面粗糙度的关系,以及加工表面凹坑的形成原因,得到影响加工质量的主要参数.     

IA-64逆向工程中谓词消除技术研究

IA-64体系结构支持判断执行,提高指令级并行性,但是编译器为了充分利用该特性而做的优化将程序代码进行深度重构,对逆向工程来说很难从优化后的可执行代码中恢复原程序逻辑。该文提出了消除谓词的反优化技术,提高了可执行代码逆向工程的质量。     

IA64二进制翻译中的数据段映射技术

数据段映射是二进制翻译过程中源可执行文件和目标可执行文件数据关系的纽带。论文介绍了32位处理器二进制翻译的数据段映射技术,指出了这种映射技术在IA64二进制翻译中存在的缺陷,进而提出了改进方法,并解决了IA64二进制翻译的数据段映射问题。     

反投机技术研究

投机优化技术作为一种先进的现代编译技术,有效地提高了指令执行的并行性。然而,在逆向工程中,有时要实现代码的跨平台移植,而投机优化技术又受硬件平台的制约;有时需要优化代码的结构,使程序的逻辑结构易于理解;这些都要求消除这种与硬件息息相关的优化技术。论文基于IA-64平台,提出了一种反投机处理算法,对ICC编译器编译后的可执行二进制代码进行处理,消除代码中的投机优化,将其转换成等价的没有投机优化的指令序列,这样使反投机后的代码更容易理解,而且在逆向工程中摆脱了硬件的限制。测试表明该反投机技术可以对ICC编译后的代码进行有效处理。     

提高乡镇工业整体水平 推进乡镇工业的“二次创业”

武进市的乡镇企业是国内乡镇工业企业的主要发祥地之一,经过改革开放20年来的艰苦创业,乡镇企业得到了迅猛的发展,现已成为武进市农村经济的主体力量和全市国民经济的重要支柱。本文通过调查乡镇企业,分析乡镇企业发展过程中存在的问题,提出了搞好乡镇企业发展的一些建议。