基于镓基液态金属玻璃倾斜开关的制备及研究

本文通过气氛保护熔炼法制备GaInSnZn液态金属,利用该合金作为导电液滴成功制备倾斜开关.通过扫描电镜(SEM)和能谱分析仪(EDS)对其微观形貌和成分进行了测试和分析,利用差式扫描量热仪(DSC)对其进行了熔点和凝固点测试,通过接触角测定仪研究了该液态合金在不同环境、不同基底表面的润湿性.结果 表明:合金的质量比为...     

多不动点约束下的网格变形算法

提出一种多不动点约束下的网格变形算法,能直接对模型进行变形,在算法执行过程中不需要计算控制晶格,具有较低的计算代价。实验结果表明,该算法能够有效改善传统自由变形算法存在的局限性和复杂性问题。     

基于冗余字典稀疏表示的二维DOA估计

针对互成一定角度的双线阵列,提出基于空间合成角冗余字典稀疏表示的二维波达方向估计新方法。将方位角和俯仰角余弦乘积用空间合成角代替,通过空间合成角构造冗余字典降低字典维数和长度,并将子阵接收数据矢量转化为稀疏表示问题,进而利用改进正交匹配追踪算法稀疏求解空间合成角,解算出方位角和俯仰角。与传统高分辨空间谱估计算法相比,无需特征分解和多维谱峰搜索,能在低信噪比、单快拍条件下精确估计相关或非相干信源空间角度,且需要子阵阵元数目较少。     

面向非完全姿态约束问题的旋转矩阵群中的垂线理论

在很多机器人领域,有很多给定任务要求并不需要3维空间的完整姿态约束,而是只限定了目标姿态某一轴的方向．这类问题称为非完全姿态约束问题．针对该问题,定义了旋转矩阵群中测地线的垂足和垂线,并给出了其解析表达式．基于垂线理论,提出了沿垂线规划的点到点轨迹生成算法．最后通过仿真实验求解操作臂的轨迹规划问题,仿真以6自由度的PUMA 560为平台,并依次固定第6关节、第4关节得到5自由度和4自由度的操作臂．提出的算法不仅适用于具有功能冗余的6自由度操作臂,也可应用于不具有冗余特性的5自由度和4自由度操作臂．实验结果验证了提出的理论和算法在解决非完全姿态约束问题上的通用性．同时,该算法还能避免参数表示方法中的奇异性问题．     

DTD约束下的XML树模式查询最小化

目前大部分XML查询语言都使用树模式来匹配待查询的XML文档树以得到所需要的、与模式树相吻合的查询结果,此效率在很大程度上取决于XML模式树的大小,那么尽可能快速地查找并删除查询模式树中的冗余节点就变得十分重要。重点讨论DTD约束下树模式的最小化问题,将DTD兄弟约束SC拓展成扩展兄弟约束ESC,使其能够表达DTD约束中的祖先-后代关系;并指出只包含{ESC,/,//,[],*}的查询树模式的最小化问题的复杂度是指数级的,且当模式树是分支受限的时候,其最小化问题的复杂度是多项式时间的;最后给出了一个多项式时间的受限分支的模式树最小化算法。     

无线传感器网络中一种基于可靠性的数据收集算法

为实现无线传感器网络数据的低延时、高可靠性收集,将数据收集时涉及到的收集树构建、链路调度与功率分配联合问题定义为一个使数据收集延时最小化的优化问题。将该问题分成2个子问题：低延时数据收集树的构建和针对数据收集树的链路调度与功率分配,并为每个子问题提供一种多项式启发算法。仿真结果表明,与现有数据收集策略相比,该算法的数据收集延时明显降低,且可靠性更高。     

GC-MCR:有向图约束指导的并发缺陷检测方法

约束求解应用到程序分析的多个领域,在并发程序分析方面也得到了深入的应用.并发程序随着多核处理器的快速发展而得到广泛使用,然而并发缺陷对并发程序的安全性和可靠性造成了严重的影响,因此,针对并发缺陷的检测尤为重要.并发程序线程运行的不确定性导致的线程交织爆炸问题,给并发缺陷的检测带来了一定挑战.已有并发缺陷检测算法通过约减无效线程交织,以降低在并发程序状态空间内的探索开销.比如,最大因果模型算法把并发程序状态空间的探索问题转换成约束求解问题.然而,其在约束构建过程中会产生大量冗余和冲突的约束,大幅度增加了约束求解的时间以及约束求解器的调用次数,降低了并发程序状态空间的探索效率.针对上述问题,提出了一种有向图约束指导的并发缺陷检测方法 GC-MCR (directed graph constraint-guided maximal causalityreduction).该方法旨在通过使用有向图对约束进行过滤和约减,从而提高约束求解速度,并进一步提高并发程序状态空间的探索效率.实验结果表明:GC-MCR方法构建的有向图可以有效优化约束的表达式,从而提高约束求解器的求解速度并减少求解器的调用次...     

约束设置与逻辑综合在SoC设计中的应用

介绍了约束设置与逻辑综合在SoC设计中的应用,并以一款SoC芯片ZSU32的设计为例,详细讨论了系统芯片的约束设置与逻辑综合策略。     

基于SGP4模型的卫星轨道计算

以TERRA卫星为例介绍两行元素轨道报的格式,采用SGP4模型计算TERRA卫星的卫星轨道,即卫星的实时位置和速度;并计算卫星相对于北京地面站的方位角和高度角。最后利用STK软件的模拟结果进行精度评价。结果表明,计算结果精度较高,具有实际应用价值。     

BGP/MPLS VPN组播链路恢复方案

BGP/MPLS VPN组播链路失效后,一棵组播树会断开成不相连的子树。为此,使用备用路径连接子树,重构组播树,减少备用链路上的离线概率加权主机数。找出备用路径建立时失效链路对组播树的影响因子,设计组播备用路径算法,使该影响因子最小化,从而提高组播树的健壮性。分析结果表明,该算法能实现组播链路的快速恢复。