基于虚拟现实的重力坝施工动态图形仿真研究

针对当前工程图形仿真技术的发展及其在水电工程施工领域应用的特点,文中将虚拟现实技术应用到混凝土重力坝施工动态图形仿真中,采用高效的图形渲染引擎,将复杂的施工过程用逼真的三维动画形象地描述出来,展现出具有真实感的可实时交互的虚拟施工场景,为全面地掌握复杂的混凝土重力坝施工过程提供了快捷的途径,极大提高了混凝土重力坝施工组织设计的现代化水平.     

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

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

代码注释自动生成方法综述

在软件的开发和维护过程中,与代码对应的注释经常存在缺失、不足或者与代码实际内容不匹配等问题,但手工编写代码注释对开发人员来说费时费力,且注释质量难以保证,因此亟需研究人员提出有效的代码注释自动生成方法.代码注释自动生成问题是当前程序理解研究领域的一个研究热点,对该问题进行了系统综述.主要将已有的自动生成方法细分为3类:...     

回归测试中测试用例集缩减问题的研究

测试用例集缩减(Test Suite Minimization,TSM)问题作为回归测试的研究热点和难点,在满足对指定测试需求的覆盖前提下,通过识别并移除冗余测试用例来降低回归测试成本。对国内外已有的TSM研究成果进行综述。首先分别从源代码和模型两个角度出发,总结已有的TSM方法:从源代码角度出发,重点分析与总结传统TSM方法和考虑缺陷检测能力的TSM方法;从模型角度出发,重点分析与总结基于扩展有限状态自动机的TSM方法。然后对实证研究中采用的评测程序、评测指标和实证结论进行总结。随后总结了TSM方法在特定测试领域的应用,包括GUI应用测试、Web应用测试和缺陷定位等。最后展望了未来的可能发展趋势。     

三维微弹簧型MEMS探卡的设计和制备

随着IC器件上的I/O尺寸减小和密度增加,与之通过接触来进行电性能测试的探卡密度也要相应增加,传统手工制作的环氧树脂针形探卡难以满足使用要求,使用MEMS技术制作探卡成为发展的趋势,但是当前MEMS探卡的主要问题是不能承受和产生破坏焊垫表面氧化层和污染层所需的应力.本文提出了一种简支梁结构、通过多次电镀工艺制作的三维弹性MEMS探卡,这种探卡可以承受更大应力,并且具有较小的自身电阻.针对间距为250 μm阵列排布的器件I/O,使用ANSYS有限元方法对弹簧型探卡进行了结构分析和设计,采用UV-LIGA工艺制备探卡,最后对探卡的力学性能进行了测试.     

代码生成技术在MDA中的实现

针对如何将具体的业务模型转换为应用程序代码的问题,提出了一个采用XSLT技术的代码生成器设计方案,用来实现MDA中的自动代码生成。从介绍代码生成器的输入文件入手,讨论了代码生成器的处理原理,最后举了一个采用XSLT技术的代码生成器生成代码的例子。     

基于XML与ASP技术的三层结构网络辅助教学系统

计算机网络辅助教学系统是基于三层客户／服务器模型的体系结构，系统主要包括在线考试和网上两个方面，开发该系统的目的是辅助教师的课堂教学和使学生在课余时间可随时利用网络资源进行实时自学，自测及在线答疑等学习活动。     

基于离网型逆变器的输出阻抗重塑方法研究

当微电网运行在离网模式下,接入非线性负载时,负载电流中含有大量谐波,导致微电网中逆变器输出电压谐波含量增大,输出电压波形畸变且幅值降低.为此,基于离网型逆变器的阻抗模型,从逆变器输出阻抗的角度出发,分析输出电压畸变以及电压跌落的原因,通过模型降阶,得到静止坐标系下的比例降阶多谐振(proportion and redu...     

粗糙集理论在启动子识别中的应用研究

针对目前基于计算机的启动子识别技术的研究现状,指出现有启动子识别技术的不足,并探讨将粗糙集理论应用于启动子识别研究可能的改进方向.     

图像引导的微流控单细胞打印系统

传统流式细胞分离方式需要较大的细胞起始浓度,采用机械臂的单细胞分离方式成本高昂,使单细胞技术推广受限.设计并制作了一种集成阀门和动态流阻捕获结构的微流控芯片,可以进行单细胞捕获、鉴定及释放的循环过程;搭建了集成流动控制模块、双光路荧光检测的光学模块和运动收集模块的外围控制系统;实现了图像引导的细胞捕获、特定细胞检测和释...