1RK91不锈钢电渣重熔过程中Ti含量控制研究

为了实现电渣重熔1RK91不锈钢过程中Ti含量的精准控制,以CaF_(2)-CaO-Al_(2)O_(3)三元渣系为基础,通过向渣中添加一定量的MgO、TiO_(2)、Al进行电渣重熔试验。结果表明:在三元基础渣系中添加5%(质量分数,下同)MgO和4%TiO_(2),电渣锭Ti损失量可降低12.9%以上;添加5%MgO和0.4%Al粉时,随着渣中TiO_(2)含量的增加,电渣重熔锭Ti烧损量减小,TiO_(2)添加量达到10%时,出现烧铝增钛现象。试验确定了电渣冶炼1RK91钢的渣系调控方案,在基础渣系中添加5%MgO、7%TiO_(2)和0.4%Al粉,Ti烧损量可控制在2.5%以内,实现了Ti元素的精准控制。

中断驱动型航天嵌入式软件原子性违反检测方法

嵌入式软件的可信性对航天任务的成败至关重要.航天嵌入式软件广泛采用中断驱动的并发机制,不确定的中断抢占可能导致并发缺陷,引发严重的安全问题.研究表明原子性违反是中断并发缺陷中最突出的一类缺陷模式.目前面向中断驱动型嵌入式软件的原子性违反检测方法都无法同时实现高精度和高可扩展性,且其对真实航天嵌入式软件的有效性尚未得到证实.为了有效提升检测该类缺陷的精度与效率,对82个航天嵌入式软件原子性违反进行实证研究,获得该类缺陷在原子区范围、中断嵌套层数、访问交错模式、共享数据访问方式、访问粒度等5个方面的表现特征.并在此基础上,提出一个精确、高效的原子性违反静态检测方法intAtom-S.首先,基于一个由数值不变式参数化的细粒度内存访问模型,引入基于规则的方法剔除标志变量访问,并采用抽象解释进行精确的共享数据分析,该分析能将共享数据访问粒度精确至数组元素,并可识别共享的内存映射I/O地址.然后,使用轻量级数据流分析技术匹配符合缺陷访问交错模式的所有并发三次访问序,作为潜在的原子性违反缺陷候选.最后,采用基于路径条件的约束求解对缺陷候选中的串行访问对和并发三次访问序进行路径可行性分析,逐步消除误报,得到最终的原子性违反结果.在基准测试集和8个真实航天嵌入式软件上的实验表明,与目前最先进的方法相比,intAtom-S误报率降低了72%,检测效率提高了3倍.此外,该方法能够快速完成对真实航天嵌入式软件的分析,平均误报率仅为8.9%,并发现了23个已被开发人员确认的缺陷.

我国农产品网络营销存在的问题和对策

随着计算机网络的不断发展,电子商务快速渗透到各行各业,农产品网络营销也应运而生。面对激烈的竞争,网络营销的开展将对提高我国农产品销售与生产,推动我国农业健康发展,提高农业收入具有极为深远的意义。目前中国农产品网络营销仍处于初级阶段,在农业信息化建设、农产品物流等方面还存在一些问题,针对存在的问题提出了发展农产品网络营销的对策。

热变形过程中耐蚀合金NS334动态再结晶研究

利用高温压缩实验研究了变形温度和应变速率对耐蚀合金NS334热变形的影响,并绘制了应力-应变曲线。通过对曲线拟合与分析,得到NS334加工硬化率与应力之间的关系曲线,进而判定动态再结晶临界应力及临界应变。同时利用再结晶临界应变与Zener-Holomon参数间数学关系,确定NS334的Sellars动态再结晶临界应变预测模型为lnεc=0.1127lnZ-7.60。

低品质再生骨料强化技术研究

再生骨料资源化利用过程中,存在模数低、亚甲基蓝值过高、孔隙率高、抗冻融性差等缺点。为此,模拟工厂应用场景下的机械拌合过程,将不同强化剂混合到低品质再生细骨料中;强化剂会附着在骨料表面与粉体聚集,表现为级配中细颗粒级配向粗颗粒级配迁移,模数增大;干燥后,骨料表面由强化剂形成的疏水层会阻断部分骨料间隙,利于降低骨料的吸水率,提高骨料的抗冻融性能。研究结果表明,骨料中的超细粉末经强化剂强化后形成一种具有强度的晶体,可降低亚甲蓝值。将经强化的再生骨料应用于干混砂浆中,能有效改善砂浆的各项性能,因此具备实际应用价值。

国际基因工程机器大赛对本科生科研教育的启示

近年来,国际基因工程机器大赛(International genetically engineered machine,iGEM,简称iGEM大赛)在全球迅猛发展。仅2017年iGEM大赛全球注册队伍就达到了史无前例的313支,中国地区有98支iGEM团队报名参赛并取得了优异成绩。与国内已有的诸多大学生创新项目、科研培养项目不同,iGEM的组织模式是以学生为主体的研究型学习。该模式取得了丰富的教育效果,体现了新的教育理念,对于我国高校组织本科生课外科研训练有较大的借鉴意义。文中以北京大学参加iGEM大赛为线索,介绍国际基因工程机器大赛(iGEM)的背景和基本情况并以一个参赛周期为序再现北京大学iGEM团队组织和参赛的主要过程。通过与其他本科生科研训练的组织模式进行比较,探讨iGEM对本科生科研训练意义,并总结iGEM的组织经验和对本科生科研能力培养以及组织本科生科研学术竞赛的启示,希望能为国内高校的iGEM活动组织以及本科教育改革提供借鉴。

《清明上河图》新释

宋代翰林画师张择端《清明上河图),是我国古代规模最大的风俗画杰作.该画不仅技艺高超,其所表现的当年汴梁(河南开封)的社会风貌更具有重要的历史文献价值.据说.原画无画名,“清明上河图”之称最早出于金代张著的题跋中,而明代李东阳的题跋则把“清明”解释成“清明节”.此说多得袭用,在诸多评论该画的历史价值、社会意义、艺术成就的文章中,大多牵涉到画中的季节,以为就是“清明节”,其中包括极有权威的《辞海》(第1087页“张择端”条).笔者有幸在开封相国寺买了一套八幅《清明上河图》,借助放大镜,逐人细细观摩.又查阅了一些评介文字,发觉此说并不确.需要澄清.