摘要：基于程序频谱的动态缺陷定位(spectrum based dynamic fault localization,SFL)可分为基于可执行语句覆盖的方法和基于谓词覆盖的方法。通过分析以上两类方法可以发现:a)基于可执行语句覆盖的方法未考虑谓词错误和执行结果之间的关联;b)基于谓词覆盖的方法只针对谓词进行插桩,最后只计算谓词的可疑度并对谓词进行排序,如果缺陷是非谓词,此类方法无法准确定位缺陷位置;c)忽略了基本块之间的关联和层次特性,将各个基本块看成相互独立的个体。为解决上述问题,首先,将谓词错误与执行结果之间的关联性这一有用信息加入到算法的设计中;其次,加入谓词分层覆盖与分析的思想,对覆盖矩阵中的基本块进行细分和分层;最后,将两者结合,提出一种基于谓词分层覆盖矩阵的缺陷定位方法,即谓词分层覆盖算法Phcm。将西门子程序集作为目标程序,通过与其他三种缺陷定位方法进行对比实验,验证了该方法在提高缺陷定位的精准度和减小代码检查率上的有效性。

摘要：以Java/Java3D为工具,开发了一个基于Web的半沉浸式模具虚拟装配环境,实现了系统的立体显示功能,解决了虚拟手操作中的广义碰撞检测问题。提供了虚拟场景中生成和管理装配路径的方法,可应用于装配评价和装配规划。系统采用B/S模式,充分发挥Web3D的优势,以多通道的交互式平台支持模具的协同设计,有助于提高模具设计效率。

摘要：首先分析了"12+48 V"轻混系统的优势以及该系统中的重要部件,48/12 V双向DC/DC变换器,随后对该双向DC/DC变换器的研制进行了分析。提出了一种应用同步整流技术、结构简单、系统成本低、控制方法简单的主电路拓扑结构,并详细分析了电路的工作原理。选用了凌力尔特公司新开发的双向DC/DC控制芯片LTC3871,结合外部电路设计,完成了一款高效双向DC/DC变换器的研究与制作,最后给出了制作的实物及实物测试波形。

摘要：圆盘线圈是近年来兴起的无线能量传输系统中能量耦合的核心元件。通过引入广义超几何函数pFq 将圆盘线圈的自感积分表达式化为闭式。类似地,通过建立完全椭圆积分与广义超几何函数之间的联系将同轴共面圆盘线圈的互感化为闭式。这些闭式解使上述电感计算问题不再需要数值积分。进一步,基于所得闭式解,分析了圆盘线圈的GPW(given piece of wire)优化问题,得到了给定导线所能绕制的圆盘线圈自感最大值,且达到最大值的圆盘线圈外半径与内半径之比是一个与导线几何参数无关的常数。数值计算表明所得公式与已有方法所得结果一致性较好。

摘要：随着单宽流量的增大,台阶式溢洪道的消能率逐渐降低,在大单宽流量下工程运行存在诸多问题。前人对台阶式溢洪道的研究重点多集中在台阶的尺寸、布置形式、流态等问题上,很少研究台阶本身的形式。为解决大单宽流量下台阶溢洪道的运行难题,提出了台阶形状在平面上呈"M"形的台阶溢洪道,并采用模型试验和三维紊流数值模拟的方法对比研究了"M"形台阶溢洪道和传统矩形台阶溢洪道的消能特性。研究结果表明:在较大单宽流量下,"M"形台阶溢洪道较传统的矩形台阶溢洪道掺气更充分,台阶面上负压区很小,台阶面上形成多种尺度的漩涡,水流为三元流态,消能率更高。研究成果可供工程设计和运行参考。

摘要：目的实现对电信设备拥有量发展计划的预测。方法引入灰色系统理论预测模型,结合国家统计局公布的近年来电信设备实际拥有量数据进行预测设计。结果形成一种使用灰色系统理论对电信设备拥有量发展计划的预测方法。结论该方法简单、快速、实用,具有一定的预测精度。在实施重大计划决策时,可与其他预测方法一起使用。

摘要：分析了X波段有源相控阵雷达子阵驱动延时组件的功能及其工作原理,介绍了驱动延时组件高精度与小型化设计的实现方式。针对任务需求,设计并实现了一种集成五位延时、收/发增益补偿功能的驱动延时组件。根据实测结果,该驱动延时组件接收增益为16 d B±1 d B,发射功率为27.5 d Bm±0.5 d Bm,延时切换时幅度精度≤±0.8 d B,相位精度≤±5°。

摘要：为了克服现有大部分望远光学系统在机载或星载遥测系统等特殊应用中存在的局限性,基于多优化自由度的光学自由曲面,设计了一个兼容物理结构紧凑、大相对孔径与宽视场的离轴两反自由曲面望远光学系统.该自由曲面望远光学系统具有1/3.75大相对孔径,焦距为300 mm,全视场角为2.8°,整体结构尺寸不超过100 mm×200 mm×300 mm.采用孔径离轴的方式,提高系统的集光能量.利用分视场拓展优化,提升各个视场的成像性能.结合XY多项式自由曲面的多优化自由度,仅用前4阶项,有效地平衡了系统的离轴像差.在探测器空间截止频率50 lp/mm处,系统的调制传递函数优于0.4.各个视场的像点半径均方根值均优于探测器单个像素10μm.设计结果表明,系统整体成像性能优良,同时具有结构紧凑与小型化优势,可用于机载或空间望远光学系统等特定应用的目标遥测中.

摘要：陈鹤琴先生说:“儿童成长过程中,应当把大自然做出发点,让孩子直接向大自然去学习。”春天里草长莺飞,花红柳绿,正是孩子们踏春的好时节。在孩子们的眼里,大自然就像一个万花筒色彩斑斓、美不胜收,他们用自己的方式去感知春天的美。在幼儿园里,他们尽情发挥自己的想象,创意无限,快乐无限。创作了主题为《春》的水墨画系列作品。

摘要：艺术片的特征是通过独特的声音、色彩、音乐、背景等符号和叙事手法来揭示主题,底层叙事是以底层人民为镜头焦点,关注底层的生存状态的一种叙事形态。将艺术片与底层叙事相融合,就产生了一种独特的艺术效果和人文关怀的精神内涵。贾樟柯的电影《三峡好人》便是这两者完美结合的典型代表。