摘要：覆盖率驱动的验证是功能验证的重要方法,但功能覆盖定义的主观性和手工调整验证输入的冗长过程都极大地影响了覆盖率驱动验证的效率.文中分析了代码行覆盖次数与功能覆盖率的内在联系,建立了基于代码行覆盖次数的概率模型,提出一种新的通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法——FOCDGAG.通过代码行覆盖次数计算验证输入序列的适应度,选取对提高功能覆盖率贡献较高的输入序列,使用遗传算法自动生成新的输入序列组.实验结果表明,采用FOCDGAG时不需要功能覆盖信息,可以将全随机输入生成的功能覆盖率收敛速度提高10倍以上,将约束随机输入生成的功能覆盖率收敛速度提高20倍以上.

摘要：槽车在LNG运输中扮演着重要角色。鉴于LNG的特性,槽车充装安全尤为重要。本研究从接收站装车撬及槽车设备出发,结合槽车充装流程及接收站实际操作经验,对槽车充装安全隐患进行探讨。

摘要：按照GB/T 31887.1-2019规定的要求,使用配光软件研究一种通过前期配光制作反射镜结构的电动自行车照明装置的方法,通过前期配光设计并制作出一套完整的试模灯具,测试该试模灯具的近光及远光功能的配光性能,对比分析配光性能测试数据,总结出不合格配光点、配光区域的问题点和引起不合格的原因,得出影响配光性能的因素,再对试模进行反复修改、制作及测试,最终研制出了一套完整的反射镜结构的照明装置。对该照明装置进行配光性能测试,发现该照明装置完全符合国标GB 31887.1-2019中规定的近光和远光功能的配光性能要求,可以应用于相同型号照明装置的批量生产。本次配光设计过程中前期所得出的最终配光设计数据,可以作为广泛型号照明装置的前期配光设计的数据支撑,直接应用这些配光设计数据可以缩短同类产品的研发周期,极大地降低反射镜结构的照明装置的研发成本。本次研制的反射镜结构的照明装置应用于电动自行车批量生产,可以加快电动自行车产品的更新迭代,促进电动自行车行业的产业升级。

摘要：针对浙江LNG接收站仪表空气系统单一运行供气方式问题,立足于提高系统的可靠性,提出仪表空气压缩机与制氮空气压缩机交替运行的改进方法。通过优化仪表空气系统与制氮系统的工艺流程,将仪表空气压缩机与制氮空气压缩机串联相互备用,利用制氮空压机提供空气以生产仪表空气,并进行稳定性、维修成本分析。结果表明,仪表空气压缩机与制氮空气压缩机串联交替运行是一种可行的运行模式,既能充分发挥仪表空压机与制氮空压机的性能,又能保障仪表空气系统运行的稳定性。

摘要：通过配光软件按标准要求进行前期配光设计,分析配光性能测试点(区)所产生的不符合原因并调整试模结构,优化配光设计,研制出一套完整的透镜结构的电动自行车照明装置的标准光学单元。该类型的标准光学单元作为电动自行车照明装置的主要发光结构,可直接应用于实际生产。对量产品测试其配光性能,发现该类型的量产品完全符合国标GB 31887.1-2019中规定的近光和远光功能的配光性能要求,完全可以应用于不同型号电动自行车照明装置的批量生产。同时还可以发现,批量生产的不同型号的照明装置的配光性能测试数据与试模测试数据一致性较好,符合批量生产的规定要求。该类标准光学单元的实际应用,可大大缩短照明装置类产品的产品研发周期,大大降低了研发成本,同时也可加快电动自行车产品的更新迭代,对电动自行车行业的产业升级提供了基础保障。

摘要：蛋白组装技术发展迅速,被广泛应用于生物催化、生物传感器和药物释放等领域,已成为生物工程领域的重要组成部分。由于蛋白质-蛋白质相互作用的复杂性,以及对蛋白质折叠和分子识别的认识不够深入,设计复杂的蛋白组装非常具有挑战性。随着计算机技术和分子模拟的不断发展,已逐步实现了从原子和分子尺度精确设计蛋白质的组装体和预测蛋白组装体的结构,并进一步在蛋白组装体上设计催化位点来实现人工组装酶的生物催化。近年来,机器学习等人工智能技术已被应用到蛋白组装设计中并促进了蛋白组装研究的发展。综述计算模拟技术在蛋白组装设计、组装结构预测、催化位点设计等方面的研究进展以及在新酶设计、药物释放、生物传感器等方面的应用,以期通过基础理论研究指导面向更多不同应用领域的蛋白组装的设计和优化。

摘要：以陕西韩城象山选煤厂原煤仓为背景,对大直径钢筋混凝土筒仓仓顶传统倒锥壳结构形式的优缺点进行了分析,提出了大直径仓顶采用轻钢结构的设计方法,文章详细介绍了桁架梁与仓壁的两种连接节点做法,并对两种连接节点的优缺点进行分析;并对仓顶钢结构防腐做法进行了探讨,为以后大直径筒仓仓顶结构形式的设计提供参考。

摘要：历经千年演绎的木雕艺术已经成为中国传统文化中的璀璨珠宝。从民间建筑、家具、佛像雕刻演进而来的福建木雕艺术历史悠久。唐宋以后,木雕艺术逐渐兴盛,发展至今主要产地有福州、莆田、泉州、湖北等,精品佳作、异彩纷呈,形成颇具地域特色的风格和流派。闽南一带的金木雕流行以透雕与浮雕相结合,并施以金彩,金碧辉煌、玲珑剔透。而泉州木雕造型简练概括．注重神韵．风格淳朴，具有劲健浑厚的艺术特色。

摘要：介绍了直径30 m的钢结构浓缩池结构设计、布置、节点连接及防火、防腐等方法,对其进行了经济性分析和比较,认为钢结构浓缩池虽然造价居中,但其具有安装简便、施工周期短、材料可以循环利用、设计改造简单、综合成本相对较低等优点。

摘要：以陕西韩城下峪口选煤厂原煤仓为背景,分别采用规范公式和有限元软件Midas Gen建立了筒仓有限元模型,对直径25 m预应力储煤仓仓壁的受力情况进行了计算,通过对两种方法的计算结果进行对比分析,指出规范采用无矩理论的不足,提出了预应力筒仓设计思路。