摘要：在建立可调节产品族优化模型的基础上,基于独立优化、平台规划、实例产品设计和方案评价的产品族自底向上设计流程,提出基于敏感度分析和模糊聚类的产品族优化再设计方法.在产品平台规划阶段,首先使用变量敏感度分析初步划分可能的平台常量和可调节变量集合;然后对实例产品间由于变量通用所造成的性能、成本和约束满足变化进行模糊C均值聚类,并引入模糊覆盖指数决定最优的聚类数目,合理规划多平台常量的共享.通过建立平台非通用性指数以定量评价产品族方案的通用程度.最后采用通用电机产品族的再设计实例,证明了该方法的正确性与高效性.

摘要：针对整体相似性检索算法无法实施精确的局部结构匹配的问题,提出一种基于子图同构的三维CAD模型局部结构匹配算法.该算法通过提取CAD模型的B-Rep信息,将其表示为以面作为节点的属性邻接图.在局部匹配过程中,用户输入的局部结构被表示成"子图",待匹配的整体CAD模型被表示成"大图";则在整体CAD模型中,检索局部结构的问题就被转换成在"大图"中寻找同构"子图"的问题.子图同构是NP完全问题,通过利用CAD模型的面特征将图顶点有效细分,并利用已匹配顶点之间的邻接关系动态裁剪搜索空间,实现了快速的同构匹配.实验结果表明,该算法能实现精确的局部结构匹配,并且检索效率能满足实际应用要求.

摘要：解同步电路设计方法可以与现有EDA工具较好地兼容,可以极大地提高异步电路的设计效率.基于解同步电路的抽象模型——控制图,提出了一种解同步电路优化设计方法,优化过程由解同步电路的性能评价函数作为指导,在不影响电路性能的前提下有效地减小电路控制通路的面积.选取了一系列标准测试电路进行了实验,最终解同步电路控制通路所需的局部控制器数量减少了54%,C门的数量减少了76.3%.采用该设计方法,设计实现了0.35μm工艺条件下的32位解同步乘法器,实验结果表明,相对于传统的解同步电路设计方法,提出的优化设计方法可以在保持电路性能的前提下有效地减小电路的面积.

摘要：为了解决测试用例自动生成中等式约束的求解问题,提出一种加入等式处理策略的分支限界搜索算法.首先将线性代数中判定线性方程组是否有解的方法引入分支限界测试用例生成框架之中;然后在已有算法模型的基础上提出集成等式处理分支限界搜索算法,以支持多种变量类型的等式处理;最后将等式约束分为等式无解、等式多解和等式唯一解三大类进行处理,包含了等式约束求解问题的所有情况.实验结果表明,文中算法可以实现对一部分不可达路径的检测,在很大程度上减少测试用例生成的时间并提高覆盖率;对大工程的测试以及同开源约束求解工具Choco的对比实验,也证明了该算法可以提升测试效率.

摘要：随着虚拟现实与增强现实技术的快速发展,近年来越来越多的虚拟现实与增强现实相关应用走入大众视野.在众多显示设备中,头盔显示器以其高沉浸感、实时交互性及其广阔的应用领域在虚拟现实与增强现实技术中占据重要地位.文中介绍了头盔显示器光学系统成像原理;分析总结了从不同的技术角度解决的传统头盔显示器体积与质量大、调焦与辐辏不匹配等问题的3种新型头盔显示器,包括自由曲面头盔显示器、波导型头盔显示器和真实立体感头盔显示器,阐述了用户佩戴头盔显示器的视疲劳主观和客观评测方法;最后对头盔显示器的未来发展趋势进行了展望.

摘要：该文在ARMv8 64位多核处理器上基于OpenBLAS首次设计、实现并优化了四精度矩阵乘法(Quadruple precision General Matrix-Matrix Multiplication,QGEMM).由于浮点计算中不可避免地引入舍入误差,双精度矩阵乘法(DGEMM)在某些情况下不能给出令人满意的数值结果,因此需要高精度或多精度算法来实现更精确的计算.Double-double算术是一种较为有效和广泛使用的手段.文中采用double-double数据格式构建结构体存储四精度浮点数据;基于OpenBLAS中的稠密矩阵计算的分块算法,增加四精度数据格式的相关的头文件和源文件,并用汇编代码撰写文中所提出的QGEMM的核心内核;利用无误差变换技术,调整并优化内核中的算法流程,避免规格化操作步骤造成的数据强制依赖关系;通过分析算法的数据依赖关系,设计寄存器的分配和轮转策略,优化指令调度顺序,开发指令级并行性,提高QGEMM的实际性能.根据具体算法使用混合乘加指令(FMA)的程度不同,文中采用了算法理论峰值性能这一概念,其有别于机器理论峰值的概念,能更好地评估文中所提出的QGEMM的实际效率.数值实验表明:文中通过汇编代码实现并优化的QGEMM性能最高达到19.7Gflops,效率为在ARMv864位多核处理器平台上QGEMM算法理论峰值性能的82.1%,在满足数值结果精度要求的同时,其计算速度约是由C语言撰写的未优化的QGEMM和MBLAS中QGEMM的5.8倍,是编译器GCC实现的long double数据格式的QGEMM的24倍.同时数值实验还显示文中提出的QGEMM针对不同规模的矩阵具有较好的线程可扩展性.

摘要：功耗已经成为集成电路设计的一个十分重要的问题 对于一个给定的电路 ,其功耗是与输入密切相关的 ,即对于不同的输入向量集 ,同一电路可能会有不同的功耗 功耗敏感性定义了由于原始输入的改变而引起的功耗变化特性 文中给出了基于信号置 1概率和跳变率传输特性的功耗敏感性分析方法 ,并详细阐述了它在无时延动态功耗估计和静态功耗估计中的应用 实验结果表明 ,它在保证了较好精度的条件下 ,大大降低了估计时间 ;另外 ,这一方法还可以应用于时延动态功耗估计、在特定向量集上的动态及静态功耗估计 。

摘要：研究了具有模糊截止期的多控制任务的实时调度问题,提出了奉献度的概念和最大奉献优先(LDF)的调度策略.为了减小因任务间频繁切换造成的系统开销,提出了基于抢占阈值的最大奉献优先(TLDF)调度策略.最后,通过仿真比较了LDF和TLDF两种调度策略,实现了具有模糊截止期的控制任务调度,在减少并均衡控制性能损失的同时提高系统计算资源的使用率.

摘要：采用传统方法解决多学科的设计问题时 ,因为无法定量考虑分布在多个学科内的产品指标对设计变量的影响 ,通常会产生频繁的设计返工 .该文通过收集产品各领域的指标约束与关系约束来构建基于约束网络的产品参数协调模型 ,采用区间描述设计变量的不确定性信息 ,并将区间算法与基因算法相结合实现了一致性模型求解框架 .使用该方法能够检测潜在冲突 ,得到与给定产品指标相对应的设计变量可行解空间 ,进而辅助设计人员决策 .最后以该方法在转向架设计中的应用实例说明其有效性 .

摘要：研制高效的自动分析系统是密码协议安全性分析的一项关键任务,然而由于密码协议的分析非常复杂,存在大量未解决的问题,使得很多现有分析系统在可靠性和效率方面仍存在许多局限性.该文基于一种新提出的密码协议代数模型和安全性分析技术,设计并实现了一个高效的安全协议安全性自动分析系统(Security ProtocolAnalyzer,SPA).首先对协议安全目标进行规范,然后从初始状态出发,采用有效的搜索算法进行分析证明,试图发现针对协议的安全漏洞.使用该系统分析了 10 多个密码协议的安全性,发现了一个未见公开的密码协议攻击实例.实验数据显示,该系统与现有分析工具相比,具有较高的分析可靠性和效率,可作为网络系统安全性评测以及密码协议设计的有效辅助工具.