基于随机指令注入的抗旁路攻击硬件防护技术

提出一种基于随机指令注入的抗旁路攻击硬件防护技术,通过在处理器内部嵌入一个指令自动产生与插入模块,在处理器运行过程中实时产生一些随机的指令并随机插入到正常指令执行序列中,打乱正常指令执行时序,起到了随机延迟与功耗混淆的作用,克服了现有软件随机延迟技术存在的缺陷.采用影子寄存器等策略解决随机指令执行与正常指令的冲突问题;通过采用配置寄存器来灵活地对随机指令注入功能进行控制,减少了系统防护开销,提高了防护效率.实验结果表明该技术比现有随机时间延迟技术安全性更强而且开销更低.     

混合型BTT/STT大攻角导弹自动驾驶仪设计

为了尽可能提高导弹机动能力,提出了"大过载采用BTT(bank-to-turn)控制,小过载采用STT(skid-to-turn)控制"的设计原则,由BTT/STT决策模块和双回路控制器组成混合型BTT/STT大攻角导弹自动驾驶仪。采用攻角控制替代了传统的过载控制,推导出将过载指令转换为对应STT(或BTT)控制方法的攻角、侧滑角和滚转角指令的BTT/STT决策算法,由角度变化的长周期运动和转动角速度变化的短周期运动组成一个双回路控制器。针对Backstepping设计方法适合于级联系统稳定控制的特点,采用直接构造Backstepping法来设计双回路控制器。仿真结果表明:该大攻角自动驾驶仪能够满足近距格斗导弹的技术要求。     

内存空间在双空间存储器上的推移技术实验

详细介绍双空间存储器理论和其核心技术——内存空间推移技术的仿真实验.证实了用非易失性随机存储器(non-volatile random access memory,NVRAM)构建双空间存储器的可行性,同时通过对8086CPU系统的仿真实验,证实了将内存空间在双空间存储器上推移之技术的正确性.实验设置的目标系统包含一个8086CPU,16 MB的双空间存储器和16个8位的推移锁存器.目标系统中设置了2个不可闭窗和14个可推移的窗框,在不可闭的255号窗壁中设置了8086CPU的首指令和初始化程序,在不可闭的254号窗壁设置了8086CPU的中断向量表和双空间存储器的推移向量表.实验完成了8086CPU的上电过程、自动执行初始化程序、正确执行中断命令、正确执行数据读写命令等操作,并将CPU对其1 MB内存空间的随机读写访问自动落实为对16 MB双空间存储器指定位置的实时随机访问;实验还完成了随时修改推移锁存器的操作,并以此将对应的窗框推移到了双空间存储器的任意位置.实验结果为双空间存储器理论和内存空间推移技术奠定了基础.     

基于动态规划的自动向量化方法

由于SLP自动向量化算法使用的启发式策略会丢失一定的向量化机会,本文提出一种基于动态规划的自动向量化方法DPSLP,该方法采用比SLP更加激进的策略在基本块内寻找候选的SIMD指令分组,依据动态规划方程计算指令分组的代价并从众多指令分组中选择最优的分组进行向量化转换.实验结果显示,DPSLP与SLP相比测试程序的运行时间平均减少了8%,静态指令代价平均减少10%,平均向量宽度增加66.4%.      

多星多载荷联合调度问题建模研究

在对多星多载荷联合调度过程及约束条件分析的基础上,从约束建模及启发式调度规则设计的角度对多星多载荷联合调度方案生成中的关键问题进行了深入研究,建立了基于阶段优化的多星多载荷联合调度模型,提出了基于规则的启发式构造算法。     

汽车自动同步换挡系统及其换挡策略

提出了AST自动同步换挡系统及其自动换档策略.通过油门踏板分析出驾驶员意图,将其转换为本系统的控制指令:加速度.并通过制定合理的换挡策略,综合控制节气门与变速器,用闭环控制来跟随加速度指令,从而实现汽车动力性、舒适性与燃油经济性自动换挡.在Matlab仿真软件中搭建了自动同步换挡系统的意图识别、换挡策略、汽车动力模型各模块,通过仿真证明了本同步换挡系统及换挡策略的可行性.     

内存推移理论及其实验

双空间存储器是2013年发明的新型存储系统,其核心是内存空间在巨大的双空间存储器上的映射理论——内存推移理论.介绍了所构建的第一个双空间存储器实物系统,并在该系统上首次实施了内存推移理论.完成了对双空间存储器和推移锁存器组的实物设计及实现,并在实物实验系统上成功实施了内存推移操作,从而证实了将内存空间在双空间存储器上推移的理论的正确性,成功解决了内存空间与巨大的双空间存储器随机访问空间的对接问题,奠定了构造双空间存储器和实施内存推移理论的实践基础.所构造的实物系统包含一块TQ2440Core 2.0核心板、1 GB双空间存储器和由8个12位推移锁存器组成的推移锁存器组.将该核心板对其2 MB内存空间的随机访问自动落实为对1 GB双空间存储器字空间上指定位置的随机访问,并利用推移指令在双空间存储器的字空间上实现了窗框移动操作.     

IA-64中软件流水失败的解决方法

软件流水是开发指令级并行性的重要方法之一.IA-64是支持软件流水的EPIC(显式并行指令计算)体系结构.通过对NAS Benchmarks和MediaBench中软件流水所需的寄存器进行分析,指出静态通用寄存器是导致软件流水失败的主要因素.提出了解决IA-64中软件流水失败的两种方法限制循环展开因子的启发式算法(RSU)和堆栈寄存器分配算法(SRA).RSU通过适当减小循环展开因子,增加了软件流水的成功率;SRA在静态寄存器和旋转寄存器之间达到了动态的平衡,提高了寄存器的利用率,更有效地提高了编译器的性能.     

一种作战文书军事标图自动化方法

针对根据作战文书进行自动军事标图问题提出了一套处理方法。将自动标图归结为一个半结构化的自然语言信息抽取问题;采用构造作战文书用语词典库/地名库、综合使用正向最大匹配分词和反向最大匹配分词提高分词结果可靠性等方法实现文书词法分析;通过构造SLR(1)文法规则,实现常用句型句子语法分析;通过构造并填充通用标绘指令模板,实现标绘信息抽取并适配不同标绘软件以实现军事标绘。运用上述方法对一个作战文书语句的实例进行了处理,得到了预期的结果,表明该方法是可行和有效的。     

基于Fortran90的自动微分算法

为了得到高效准确的数值微分运算工具,根据自动微分技术的基本原理,利用Fortran90语言开发了自动微分计算模块MADF(Module of Automatic Differentiation with Function),引入ADF(Automatic Differentiationwith Function)数据类型,按照求导规则对运算符及基本函数进行重载,在计算函数值的同时实现了其导数值的自动计算。利用此方法计算了长柱形天然气储运罐的应力对载荷和材料特性参数的导数,其结果与解析解完全一致。     

支持推测多线程的扩展多核模拟器Prophet+

推测多线程技术是软硬件协同开发非规则应用程序的线程级并行性的有效方法.通过体系结构对推测并行执行模式的支持,编译器产生推测多线程目标代码实现自动并行化加速.文中针对硬件平台如何有效支持程序运行过程的分析及测试,提出了一种支持推测并行执行模式的超标量流水线结构和一种基于独立栈的运行时内存空间管理方法.通过对Prophet模拟器扩展实现,并经Olden基准程序测试表明,扩展后的Prophet+在保持Prophet模拟器性能的前提下,提高了模拟器的精度和灵活性.     

基于MDA的SOA服务协作模型

BPEL是业务流程执行语言用来描述SOA的服务协作模型,实现对已有系统业务流程的编排.但其随着整合已有系统的增多和业务流程复杂性的增加,BPEL建模也变得异常复杂.本文给出了一种基于MDA模型驱动转换的方法来建立SOA服务协作模型.针对建立SOA服务协作模型的复杂性,在平台无关层建立UML活动图描述服务协作模型的交互过程,通过建立模型之间的映射规则,将平台无关层模型自动转换到平台相关层BPEL模型,试验表明:该方法能较好地简化SOA服务协作模型的建立过程.     

PLC在洗碗机控制系统中的应用

本文介绍PLC在洗碗机控制系统中的应用.完成洗碗机控制,PLC的I/O口分配;自动与手动程序利用算术左移ASL(025)指令完成自动控制,利用算术右移ASR(026)指令实现手动控制的软件设计;总启动、停止使用微分求反@COM(029)指令完成的软件设计.     

并联混合动力汽车的模糊转矩控制策略

提出了一种新的并联混合动力汽车(PHEV)模糊转矩控制策略(FTCS)及其设计方法.以并联混合动力系统的工作模式为基础,利用请求转矩与发动机最佳转矩的比值和电池电荷状态(SOC)为输入、电机归一化转矩指令为输出,构建了有22条规则的模糊推理器,用以确定发动机和电机的最佳转矩分配,实现系统的总体能量转换效率最高.仿真结果表明,与采用精确门限参数的策略相比,FTCS的燃油经济性有较大提高,并能更好地控制电池SOC在工作区变化.     

PC控制系统的计算机辅助设计

针对ＰＣ控制系统设计过程中的关键性技术问题，提出并实施了计算机辅助设计方法。通过对梯形图的分析比较，绘出了逻辑表达式的变换方法。进而使用模块化和计算机编译技术，实现了电气图向梯形图逻辑表达式的自动转换、以及梯形图的自动绘制和ＰＣ指令的自动编程     

C++Builder在单片机辅助开发工具中的应用

针对单片机的复杂结构和难记的指令对单片机一般开发者(特别是初学者)造成的开发困难,以 51系列单片机为例,提出了一种单片机辅助开发工具的设计.通过实现单片机各部件模块可视化开发和代码自动生成,介绍了C++Builder可视化开发技术在单片机辅助开发工具中的应用.     

多端口出入式自动化存取系统作业集成优化

为了提高具有双板作业运作特点的多端口出入式自动化存取系统(AS/RS)整体作业效率,在统筹考虑货位分配和指令序列排序对作业时间影响的基础上,提出以最小化指令序列完工时间为优化目标的集成优化模型。引入交换和插入思想构建货位分配和指令排序的搜索邻域,并分析2种邻域构建方法对指令序列完工时间的影响。最后,设计二阶段禁忌搜索算法对问题进行求解,利用货位分配和指令排序2个阶段禁忌搜索过程的反馈获得模型最优解,其求解过程体现货位分配和指令排序2个优化方面在邻域搜索过程中互相影响、互相嵌套的复杂关系。研究结果表明:二阶段禁忌搜索算法在不同的货位规模和指令序列规模下均能获得满意解,具有较好的鲁棒性和计算效率;相比"先到先服务"和"最近邻"调度规则,本文优化方法能够有效缩短指令序列完工时间。     

可编程控制器控制系统的计算机辅助设计

针对可编程控制器控制系统设计过程中的关键性技术问题，提出并实施了计算机辅助设计方法．通过对梯形图的分析比较，得出了逻辑表达式的评价指标及逻辑变换方法．通过使用模块化和计算机编译技术，实现了电气图向梯形图逻辑表达式的自动转换，以及梯形图的自动绘制和可编程控制器指令的自动编程     

基于反过滤规则集和自动爬虫的XSS漏洞深度挖掘技术

为解决Web网站跨站脚本攻击(XSS)问题,通过对XSS漏洞特征及过滤方式的分析,提出了通过反过滤规则集转换XSS代码并用自动爬虫程序实现漏洞代码的自动注入和可用性检验的XSS漏洞挖掘技术,依此方法可以获取XSS漏洞代码的转换形式及漏洞的注入入口,以实现对Web跨站漏洞深度挖掘.提出的XSS漏洞挖掘技术在邮箱XSS漏洞挖掘及Web网站XSS漏洞检测方面的实际应用验证了该技术的有效性.     

即时编译器辅助垃圾收集中的对象生命期分析研究

提出一种对象生命期分析算法,利用即时编译器分析应用程序并在其中安插显式释放对象等指令,通过辅助垃圾收集器改进对象的回收与分配来减轻垃圾收集器自动回收的负担.该算法结合了活跃变量分析和指针逃逸分析,对Java程序的每个方法仅分析一次,而且是过程间的,对域、上下文是敏感的,能够分析识别应用程序中的非全局对象及其死亡位置.实验结果表明:算法的执行时间占总编译时间的3.6%~5.3%;相比一般的Salagnac等指针逃逸分析,能识别出更多的对象生命期信息,而且对象死亡位置能精确到Java方法控制流图中的基本块;在即时编译器辅助的垃圾收集优化中能够显式地回收较多的内存空间.