面向飞腾迈创DSP的自主软件栈设计

飞腾迈创DSP是国防科技大学计算机学院为了突破卡脖子技术,解决我国相关重点领域内芯片长久受制于人的现实问题而自主设计的高性能数字信号处理器。由于该系列芯片采用全自主设计的指令集,无法兼容已有的软件,一套自主完备且高效的软件栈是决定飞腾迈创DSP生命力的关键。基于团队长期以来的持续工作,系统阐述了飞腾迈创DSP软件栈的设计原则与层次化架构,重点介绍了包括支持层、编译层以及工具层在内的相关软件工具的创新功能、实现方法以及性能。同时,结合用户的反馈与团队的思考,还讨论了飞腾迈创DSP软件栈未来需要探索的相关问题。

基于Rubin因果模型的处理变量与协变量的交互效应估计

借鉴Rubin因果模型,使用似然方法测量依从者平均因果效应中的参数,进而得到依从子群体中处理变量与协变量的交互效应。模拟研究表明所提出的方法表现良好。将该方法运用在2013年全国农村住户与外来务工住户的收入调查数据中,使用明瑟收入函数法评估外出务工对依从子群体的教育收益率的影响。实证结果表明:外出务工使得依从子群体的教育收益率提升3.22个百分点。

基于SOX法案权限与资源控制模型的研究

萨班斯法案全称Sarbanes-Oxley法案(SOX),是美国颁布的一部旨在加强对上市公司监管,提高治理水平,提高投资者信心的法案。该法案中的302条款和404条款需要IT信息系统的配合及适应。现有IT治理规范中,COSO和COBIT规范是被广泛接受的标准化评价规范。该文从上面几点入手,着眼于SOX对企业信息系统在权限控制以及资源管理方面的要求,分析了为遵循SOX而需要达到的这两方面的功能和要求。最后基于分析得出的结论,提出了在SOA架构下的为遵循法案而设计的SOX Complier模型。SOX Complier结合了权限分析和审计监控功能,为企业范围各系统以及管理人员提供一系列服务组件,帮助企业信息系统提高安全性和效率,降低法案遵循成本,已达到更快更好遵循SOX法案的目的。

复合式软件随机化安全防御方法

传统的软件安全防御方法一直存在易攻难守的问题,为构建易守难攻的软件安全防御体系,论文基于移动目标防御的思想设计和实现了一种复合式软件纵深安全防御方法,抵御基于软件漏洞的攻击行为.该方法分别在源代码和二进制代码层面引入软件随机化方法,并通过元数据库的设计实现基于源码和基于二进制随机化机制的有机协同,从而形成纵深形式的软件安全防护能力.原型系统的实验结果表明,该方法能够自动、有效地生成随机化软件系统,且生成的目标软件在静态分析和动态运行两个方面都呈现出不确定性,使攻击者难以分析和攻击,从而有效抵御基于软件漏洞的网络攻击.

一个NC代码翻译模块的设计与开发

在分析NC代码和编译原理特点的基础上,提出了一种NC代码翻译模块的结构与设计方法,并叙述了NC代码翻译模块的实现技术。经过实践证明,这种方法是切实可行的。

基于MATLAB进行混合编程的接口技术实现

讨论了MATLAB与其它应用软件进行接口的三种方法 ,并着重讲述前两种方法 :客户 /服务器接口方式 ,和利用MATLAB编译器进行编译连接 ,最后对MathWorks公司专门为VisualStudio提供的Add in工具做了介绍 .

随机对照试验不依从数据分析方法的比较研究

目的比较依从者的平均因果效应(CACE)、意向性分析(ITT)、遵循研究方案分析(PP)和接受干预措施分析(AT),在分析随机对照试验不依从数据的效果,探索各种方法的适用条件,为实际数据分析提供科学依据。方法通过SAS软件模拟产生不依从数据,处理措施的因果效应使用CACE、ITT、PP和AT进行估计,以平均偏倚、均方根误差、标准误和检验效能作为评价指标,比较各种方法的估计效果。结果在各种参数组合下,以平均偏倚、均方根误差和检验效能作为评价指标,CACE的估计效果均优于ITT、PP和AT。依从率低于50%时,CACE估计的标准误低于PP,高于ITT和AT;依从率高于50%时,CACE估计的标准误均低于ITT、PP和AT。结论当满足CACE模型假设时,CACE估计随机对照试验不依从数据因果效应的效果优于三种传统分析方法,能够提供更加稳健、无偏的处理效应估计值。

数控加工过程仿真中NC程序的检错与翻译技术

介绍了在数控加工过程仿真系统中NC程序编译模块的功能结构,它采用单向链表实现NC程序的读入和词法语法语义的检查,采用双向链表实现仿真数据翻译,采用关键字表等技术实现翻译器的通用和兼容。最后给出了一个典型车削零件的实例验证。

MEMS器件虚拟运行中运动规律求解器的设计与实现

针对虚拟运行(在器件动态模型的基础上对MEMS器件运动性能进行评测的设计工具,其作用在于建立MEMS设计参数与器件运行之间的直接联系)中运动规律的联立、求解和实时仿真等问题,分析了几种典型MEMS器件的动态模型,提出了运动规律求解器的设计原理和体系结构,其中包括三项关键技术:物理运动规律在部件库系统中的形式化表示,物理问题自动求解的推理算法,以及离线编译的优化技术.最后,设计和实现了运动规律求解器原型系统,并在该系统中测试了微泵的虚拟运行,达到了通过修改阀片设计参数和膜片驱动参数实时观察虚拟运行中状态相应变化的目标,即在微泵的设计参数与其运行之间建立了直接的关联关系.

康定杨、滇杨、西南杨花粉形态的计算机量化分析

本文对康定杨（Ｐ．ｋａｎｇｄｉｎｇｅｎｓｉｓ）、滇杨（Ｐ．ｙｕｎｎａｎｅｓｉｓ）、西南杨（Ｐ．ｓｃｈｎｅｉｄｅｒｉ） 等三种杨树花粉作计算机量化分析后的结果表明：康定杨、滇杨，西南杨花粉 的平均等效圆面积直径分别为１８．４８ｕｍ、２１．１０ｕｍ和２５．６４ｕｍ．该结果对三种 杨树数值分类的量化提供了数据资料。

“项目驱动”在编译原理教学中的应用

针对编译原理课程教学中存在的一些难点问题,提出基于"项目驱动"的编译原理教学方法,并通过项目模块化的方式提高学生的实际应用能力。

综论《文选》的编者问题(上)——从文献可信度层面上辨“与刘孝绰等撰”说不能成立

《古今诗人秀句序》的"昭明太子萧统与刘孝绰等撰集《文选》"与《中兴书目》注的昭明太子"与何逊、刘孝绰等撰集"《文选》说,是被学林普遍用以证明《文选》为萧统与刘孝绰等编纂一说最主要的"客观材料",但是这两条"客观材料"是没有从文献可信度层面辨析的。其说难以成立。《文选》只能是昭明太子一己之所撰。

基于网表级的RM电路面积优化

固定极性RM(Fixed-Polarity Reed-Muller,FPRM)电路面积优化是集成电路优化设计中的重要部分。针对传统网表级优化耗费时间长、逻辑级优化准确度低等问题。本文提出了一种新的基于网表级RM电路优化方案,使用穷举算法或者改进型布谷鸟算法获取部分最优极性或近最优极性对应的电路表达式,再经过DC(Design Complier)综合选取最小的电路面积及其电路结构。MCNC Benchmark电路测试结果表明,利用所提方法减少了需要网表级综合的电路数目,同时优化后得到的电路面积比逻辑级优化节省12%。

表达式求值及符号推导

编译程序可以将源代码翻译成目标代码,在应用程序开发中起着不可估量的作用。在教学过程中,理解如何对表达式求值及符号推导对于解编译程序工作原理具有重要的作用。本文讨论了如何采用类C语言的方式对表达式进行求值及符号推导,对于教学和研究均有促进作用。

标准模板库在编译设计中的应用

将标准模板库技术应用于编译程序的开发,可以大大减少设计的难度,增加代码的可读性、可维护性和重用性。本文用开发的一个实例具体说明了标准模板库在复杂系统设计中的应用。

用于优化WCET值的片上存储器分配方法

SPM(Scratchpad Memory)是实时嵌入式系统中常见的片上存储器,其分配管理在编译期进行,从而可以在编译完成时确定访存时延.当前的SPM分配方法主要用于减少程序在平均情况下的执行时间.然而,在硬实时系统中,最差情况下的执行时间(WCET,Worst-Case Execution Time)是更为关键的指标.通过分析优化程序WCET值过程中存在的主要问题以及现有算法,基于变量公用度概念,提出一种启发式搜索算法用于最小化程序WCET值的数据变量SPM分配,实验表明,论文提出的分配方法可获得更好的优化效果.

基于LEX语言的词法分析程序自动构造过程

词法分析程序手工编写较为繁琐,依赖于LEX编译系统可以实现词法分析程序的自动产生．介绍了LEX 编译系统的作用及LEX源程序的书写．以PL／O语言为例分析了使用LEX编译系统产生词法分析程序的原理及过程,通过实例分析了使用LEX编译系统产生的词法分析程序的工作过程．

本科课程导师制研究与实践

分析目前高校本科培养模式存在的问题,提出引入课程导师制作为本科导师双选制的有益补充,并以编译原理课程教学为实践,探究课程导师制实施的方案及效果。实践证明,课程导师制对于增加师生交流沟通、全面提高学生综合素质具有重要意义。

基于LCC的交叉编译器的研究与实现

嵌入式系统的飞速发展使得必须快速地为之开发相应的编译器。LCC是一款可重定向的开源小型C编译器,基于LCC为嵌入式系统实现交叉编译器是种有效的途径。首先分析了LCC编译器的体系结构,然后说明了基于LCC的交叉编译器移植技术及其实现,并详细讨论了实现中的关键技术:交叉C编译器ABI的制定和DAG归约规则的制定。并根据实践经验总结出了3条对规约规则的制定具有指导作用的原则。

“结构力学”网络课程的设计与制作

分析了网络教学的优势,介绍了“结构力学”网络课程设计的目的、内容及其具体栏目,指出网络课程在教学中的应用能使学生自主地安排学习时间,通过网络方便迅速地与教师进行交流,大大提高了学生的学习兴趣,为培养学生分析、解决问题的能力,提高学生的综合素质起到了积极的促进作用。