摘要：修复软件缺陷是软件工程领域一个无法回避的重要问题,而程序自动修复技术则旨在自动、准确且高效地修复存在缺陷的程序,以缓解软件缺陷所带来的问题.近年来,随着深度学习的快速发展,程序自动修复领域兴起了一种使用深度神经网络去自动捕捉缺陷程序及其补丁之间关系的方法,被称为神经程序修复.从在基准测试上被正确修复的缺陷的数量上看,神经程序修复工具的修复性能已经显著超过了非学习的程序自动修复工具.然而,近期有研究发现:神经程序修复系统性能的提升可能得益于测试数据在训练数据中存在,即数据泄露.受此启发,为了进一步探究神经程序修复系统数据泄露的原因及影响,更公平地评估现有的系统:(1)对现有神经程序修复系统进行了系统的分类和总结,根据分类结果定义了神经程序修复系统的数据泄露,并为每个类别的系统设计了数据泄露的检测方法;(2)依照上一步骤中的数据泄露检测方法对现有模型展开了大规模检测,并探究了数据泄露对模型真实性能与评估性能间差异的影响以及对模型本身的影响;(3)分析现有神经程序修复系统数据集的收集和过滤策略,加以改进和补充,在现有流行的数据集上,基于改进后的策略构建了一个纯净的大规模程序修复训练数据集,并验证了该数据集避免数据泄露的有效性.由实验结果发现:调研的10个神经程序修复系统在基准测试集上均出现了数据泄露,其中,神经程序修复系统RewardRepair的数据泄露问题较为严重,在基准测试集Defects4J(v1.2.0)上的数据泄露达24处,泄露比例高达53.33%.此外,数据泄露对神经程序修复系统的鲁棒性也造成了影响,调研的5个神经程序修复系统均因数据泄露产生了鲁棒性降低的问题.由此可见,数据泄露是一个十分常见的问题,且会使神经程序修复系统得到不公平的性能评估结果以及影响系统在基准测试集上的鲁棒性.研究人员在训练神经程序修复模型时,应尽可能避免出现数据泄露,且要考虑数据泄露问题对神经程序修复系统性能评估产生的影响,尽可能更公平地评估系统.

摘要：目的研发一款一体化呼吸道合胞病毒(RSV)分型即时检验(point-of-care testing,POCT)检测试剂并评估其性能。方法以RSV A和B亚型及ON1和BA9基因型的基因组保守序列设计特异性的引物和探针,优化PCR反应体系和条件,整合试剂玻璃化技术和多重检测平台,开发RSV分型POCT检测试剂,并对该产品的敏感度、特异度、重复性和临床性能进行评估。结果一体化RSV分型POCT检测试剂敏感度可达500拷贝/ml,特异度好,与临床上表现相似的病原体无交叉反应,试剂批间和批内重复性Ct值的变异系数均<5%,具有较好的重复性,检测试剂应用于53例临床样本测试,检测结果与对比试剂具有较高的一致性和符合率,阳性符合率高达98.11%。结论本研究开发的一体化RSV分型POCT检测试剂集成了"核酸提取-纯化-检测",实现了"样本进,结果出",操作简单,检测结果准确、可靠、稳定,可用于RSV A和B亚型的分型即时检验,为RSV的防控和诊疗提供助力。

摘要：工业园区是能源消费和碳排放的密集区域,推动工业园区碳达峰对国家早日实现碳达峰目标具有重要意义.以南京某国家级开发区为例,基于LEAP模型,设置基准情景(BAU)、非工业减排(S1)、全行业一般减排(S2)、全行业强化减排(S3)和深度减排(S4)共5类情景,分析各情景下的能源消费需求和CO_(2)排放变化情况,评估各项措施的碳减排贡献,提出园区实现碳达峰目标的政策建议.结果表明,S2、S3和S4情景下能源消费需求和CO_(2)排放量将分别于2035、2030和2028年达到峰值,能源消费需求峰值(以标煤计)分别为26.28、21.66和19.10万t,CO_(2)排放峰值分别为75.35、59.34和53.24万t.工业是研究区域能源消费和碳排放的主要贡献行业,S2、S3和S4情景下工业能源消费和碳排放占比分别于2035年、2030年和2028年达到峰值57.1%、56.0%、53.6%和64.2%、66.2%和62.9%.工业能效提升的碳减排贡献最大,其次为经济增速放缓,交通新能源汽车推广和公共建筑节能的碳减排贡献不显著.综合考虑碳达峰时间和园区碳排放强度考核目标,建议将S3情景作为该园区碳达峰的实施路径.研究建议,碳减排应以工业为重点,以提升能效水平为主,优先从重点行业入手.同时不断提升新能源汽车占比,降低公共建筑能耗水平.

摘要：仿生学是对在大自然中发现的生物方法、系统和良好设计的提取和应用,仿生学或仿生方法被认为是最有前途的领域之一。生物仿生可以用于纺织产业链的所有环节,从纤维、织造、染整到服装设计,仿生学在纺织领域全面开花。仿生创新是系统研究的产物,到目前为止,商业化的仿生纺织技术还不多;从纤维仿生、面料仿生、色彩仿生、设计仿生和低能耗生产5个方面介绍近年来的成果,分析各方面不足,并对未来进行展望。可以看出,纺织仿生领域前期的研究重点在通过组织结构设计仿生实现面料功能性,随着微纳米尺度科技和可穿戴技术的发展,更多研究集中在材料仿生领域以及仿生学和智能纺织品的结合。在可预见的未来,服装将真正成为人类的第二皮肤。

摘要：近年来,在单体建筑与环境审美意境的关系问题上,“唯形式论”、新“形式一元论”的极端主义美学思潮几乎成为西方艺术的主流,并对建筑产生了极其深刻的影响,这种潮流也在我国蔓延,使奇奇怪怪的超大型建筑不断建成。对这一问题的研究,影响最广泛的是建筑现象学,它实现了对传统建筑学在认识论和方法论上的批评与超越。不过现象学在这一领域的研究逐渐走入困境。而中国哲学美学与文化中的“意境”“天人和谐”“生生哲学”等重要观念则蕴含更多的东方智慧。以此为契机,呼吁从观念上、本体上去构建中国自己的学术话语体系,重估东方文化所具有的价值,为解决人类社会共同面临的问题贡献更多的东方智慧。

摘要：协作业务流程可以在执行跨组织的业务目标时简化业务逻辑,提升协作效率。它有两个重要的管理目标:隐私保护和数据监管。协作者们通常会利用可信的第三方平台。然而这种中心化的协作会存在监管失效和隐私泄露的风险。因此,目前的研究转向了利用去中心化方式的区块链技术实现流程监管。目前的方法基于匿名身份和公开的数据,会造成数据泄露的风险。为此,提出一个基于混合链的协作业务流程管理新方法,在监管业务流程数据的基础上,设计了对流程数据的针对性隐私保护方案。公有链部分确保流程实例对外部用户的隐私性和可监管性,联盟链部分提供了对内部协作者的隐私保护和数据监管。当流程实例在联盟链上执行时,利用三次遍历全体协作者的双向传递机制隔离协作任务。通过在多个公开的业务流程数据上的仿真实验,对比了混合链方法与其他基于区块链的方法。实验结果表明,混合链方法能够保护隐私数据和监管流程数据,在执行效率上具备可用性。

摘要：为探讨正念对智慧产生影响的具体作用机制,本研究以137名大学生为被试,采用对照组实验设计,以正念为实验组干预手段,验证了个人成长主动性在正念与智慧之间的中介作用,并考察了反思对该中介过程的调节作用。研究结果表明:(1)正念干预可有效促进智慧发展;(2)正念干预可通过提升个人成长主动性水平间接促进智慧发展;(3)反思调节正念影响个人成长主动性的路径;(4)反思调节了个人成长主动性在正念影响智慧中所起的中介作用。

摘要：高黏改性沥青是决定排水沥青路面使用性能的关键因素之一。为了评价改性剂类型、掺量及生产工艺的影响,分别采用车辙、半圆弯曲、浸水马歇尔、冻融劈裂和浸水肯塔堡飞散试验对高黏改性沥青混合料的高温稳定性、低温抗裂性和水稳定性进行测试,通过微观形貌特征对改性剂在沥青中的工作机理进行分析。研究结果表明:不同因素对沥青混合料空隙率的影响很小。在相同的掺量和生产工艺下,与常规的泰孚派克(Tafpack super,TPS)高黏改性沥青混合料相比,热塑性树脂(thermoplastic resin,TPR)高黏改性沥青混合料具有更优的低温抗裂性、相当的水稳定性和略差的高温稳定性,但是两者的路用性能在统计学意义上无显著差异。TPR改性剂掺量的提高可以明显提升混合料的各项路用性能;当以70#普通沥青和苯乙烯-丁二烯-苯乙烯(styrenic block copolymers,SBS)改性沥青作为基质沥青时,TPR改性剂掺量分别达到13%和9%,其混合料路用性能即可满足排水沥青混合料的技术要求。总体上看,改性剂掺量和生产工艺对各项路用性能均有显著影响,其中改性剂掺量的影响大于生产工艺。从微观形貌角度证实采用直投法时沥青中存在颗粒结团,部分改性剂颗粒与沥青的不完全混融导致直投法的改性效率低于剪切法,因此采用直投法时应适当增加改性剂掺量。研究结果可为排水沥青路面的材料设计提供有益的参考。

摘要：利用Laplace变换法对修正流动模型的输流直管的流体诱发振动微分方程进行推导,得到位置相关项的解的具体表达式,基于欧拉-伯努利梁理论并经过化简最终导出输流直管的传递矩阵表达式,进一步获得整个管路系统的特征方程。相比于基于波动方法的传递矩阵法,该方法的特征方程仅为2阶,大大节省计算时间。通过与微分变换法对比发现,运用两者计算输流管路固有频率所得结果几乎一致。考虑到制造误差能够导致管路材质不均匀,用周期性来近似描述材质的不均匀性,利用该方法计算具有弹性支承的周期性输流直管的颤振临界流速,发现材质的不均匀段长度越小,结果越接近纯悬臂式输流直管,运用该方法可以优化弹性支承(包括弹性系数和安置位置)和材料特性,可将其推广至复杂结构的输流管路的动态特性研究,其可为设计人员提供精确的计算结果。

摘要：中华人民共和国成立以前的“拉魂腔”,从艺术形态发展的角度来看,大致可以划分作“唱门子”(肇始期)、“对子戏”(萌芽期)、“小戏班”(生长期)、“大戏班”(拓展期)四个历史时期。“拉魂腔”艺人从单兵作战、结对演出到形成班社抱团取暖,再到班社林立聚众商演,一路艰辛,一路成长。通过对其发展轨迹的梳理和艺术形态的剖析,可以更好地了解这一民间艺术的内在肌理和嬗变规律。