摘要：给出了集合覆盖问题的一种随机近似算法。给定E={e1,e2,…,en}的子集的集合S和S中每个子集的权值,带权的集合覆盖问题是从S中选择费用和最小的子集使得其并集覆盖E。对E中每一个未被覆盖的元素,以某一精心设计的概率分布选择包含该元素的子集,直到E中所有元素均被覆盖,算法结束。该算法求出的覆盖的费用的期望值不超过***,其中opt为最优覆盖的费用,B=maxe∈E{|L(e)|},L(e)={s|e∈s,s∈S}。算法时间复杂度为O(n),其中n为E的元素数目。

摘要：为了降低缺陷定位过程中的人力成本,研究者们在缺陷报告的基础上提出了许多基于信息检索的缺陷定位模型,包括使用传统特征和使用深度学习特征进行建模的定位模型.在评价不同缺陷定位模型时设计的实验中,现有研究大多忽视了缺陷报告所属的版本与目标源代码的版本之间存在的“版本失配”问题或/和在训练和测试模型时缺陷报告的时间顺序所引发的“数据泄露”问题.致力于报告现有模型在更加真实的应用场景下的性能表现,并分析版本失配和数据泄露问题对评估各模型真实性能产生的影响.选取6个使用传统特征的定位模型(BugLocator、BRTracer、BLUiR、AmaLgam、BLIA、Locus)和1个使用深度学习特征的定位模型(CodeBERT)作为研究对象.在5个不同实验设置下基于8个开源项目进行系统性的实证分析.首先,CodeBERT模型直接应用于缺陷定位效果并不理想,其定位的准确率依赖于目标项目的版本数目和源代码规模.其次,版本匹配设置下使用传统特征的定位模型在平均准确率均值(MAP)、平均序位倒数均值(MRR)两个指标上比版本失配实验设置下最高可以提高47.2%和46.0%,CodeBERT模型的效果也受到数据泄露和版本匹配的双重影响.使用传统特征的缺陷定位模型的性能被低估,而使用深度学习特征的CodeBERT模型在应用于缺陷定位任务时还需要更多的探索和验证.

摘要：对蟹爪式装载机在煤矿中的应用做了简单介绍,分析了煤矿用装载机在设计之前应考虑的主要因素。探讨了蟹爪式装载机总体性能参数和总体尺寸参数的计算方法,为煤矿用蟹爪式装载机的设计提供参考。

摘要：以一类指令制导地空导弹为对象,设计并研制了地空导弹训练仿真器样机,实现了导弹武器系统的多种训练功能。本文提出了该训练仿真器的设计原则;介绍了武器系统的仿真建模方法、监控台的功能和多媒体演示方案;重点展示了训练仿真系统的硬件结构、软件实现手段以及系统所实现的各种训练模式,并分析了系统的时空一致性。

摘要：目的研究总藤黄酸亲水凝胶骨架片体外释药速率的影响因素并考察其体外释放特性。方法以藤黄酸(GA)释放度为考察指标,采用单因素试验法,考察填充剂用量、黏合剂类型、制备方法、压片压力和转速对药物体外释放行为的影响,并采用正交试验设计对处方进行优选,确定最佳制备工艺条件。结果以羟丙基甲基纤维素(HPMC K15M)为骨架材料,预胶化淀粉和乳糖为填充剂,制备了12 h缓释片。该制剂2 h释放约35%,6 h释放约65%,10 h释放约85%,12 h释放约95%,满足缓释片释放要求。结论本方法制备的总藤黄酸缓释片外观及可压性良好,具有良好的释放性能。且工艺简单易行,生产成本低。

摘要：该文基于变换光学方法,导出了正多边形电磁聚焦器的介电常数和磁导率的分布,并用有限元分析软件COMSOL进行了证实。分别仿真了TE波和线源激励下正三边形、正四边形、正五边形和正六边形电磁聚焦器附近的电场分布和能量密度分布,并讨论了正多边形电磁聚焦器聚焦区域面积大小和电磁参数偏离理论值对其聚焦特性的影响,结果表明:聚焦区域越小,电磁聚焦越强;当超材料的电磁特性偏离理论值时,电磁聚焦特性发生变化。

摘要：文章对有挡板条件下常用的桨式、涡轮式、折桨式、推进式搅拌器采用桨槽径比为0.4—0.6,大于传统的1∶3的结构参数,还有双层桨的形式,进行搅拌功率曲线的测绘。另外对桨叶上开孔、管形桨、弧面桨、半管形桨的正、反两面进行搅拌器的功率曲线测绘,共24条曲线。详细介绍了功率曲线测绘设备的结构形式和各种参数比,以供设计搅拌器时使用;说明了较大的桨槽径比及双层桨叶在实际生产应用中的重要意义,对不同结构搅拌器的功率准数进行了对比,并说明了应用NP-Re曲线的注意事项。

摘要：基于Narasimhan T N的理论,研究了大型复杂工程问题的三维饱和–非饱和瞬变流数值模型,编制了相应的计算机程序。成功地对占地1.1km×1.0km×72m的大型不规则域——上冶峪干贮灰场进行了历时87 d的饱和–非饱和瞬变流数值模拟,演绎了场内粉煤灰体的含水率、饱和度和孔隙水压力在洪水、降雨、排渗和蒸发等作用下,随时间变化的规律和过程。同时,还进行了特殊工程材料——粉煤灰的水分特征曲线和非饱和渗透系数K(h)的试验。

摘要：　　微流控芯片系统用于细胞分析是该技术近期发展的一个热点[1,2],受到越来越多的关注.其主要原因在于微全分析系统具备高度微型化、集成化和设计灵活等特点,通过巧妙设计和准确加工能够实现细胞的培养、凋亡及检测等功能[3].……

摘要：由于在无线环境、移动模型、硬件平台等方面的差异,民用无线自组网协议无法直接适用于军用网络。为军用无线自组网设计了一种新的可靠多径路由协议。首先,设计了新的可靠性、稳定性路径指标和多路径之间的相关性因子,并提出了选择满足单路径指标且互相关因子最低的L条路径的选路算法。仿真结果表明,该协议比DT-MAODV具有更高的投送成功率和更低的端到端时延。