摘要：The micro structures and reflectance spectra of angiosperm leaves were compared with those of angiosperm petals. The study indicated that angiosperm leaf organs had identical micro structures and reflectance characteristics in the wave band of near infrared. Micro structures and compositions of leaf organs were the crucial factors influencing their reflectance spectra. The model of biomimetic materials based on angiosperm leaf organs was introduced and verified. From 300 to 2600 nm, the similarity coefficients of reflectance spectra of the foam containing water and Platanus Orientalis Linn. leaves were all above 0.969. The biomimetic camou- flage material exhibited almost the same reflectance spectra with those of green leaves in ultraviolet, visible and near infrared wave bands. And its "concolor and conspectrum" effect might take on reconnaissance of hyperspectral and ultra hy- perspectral imaging.

摘要：Recently service orientation is becoming a mainstream approach for building large scale software systems. A key requirement in service-oriented design is the dependability of service. It stipulates that the behavior of services is controllable. Formal models can aid in constructing software in a dependable manner. They can describe ser- vices precisely and compose them together consistently. This paper presents a strategy for service realization based on a novel layered formal model. When a service is provided or required via internet, the semantic consistency becomes critical issue, Our architecture tackles the issue by proposing a novel scheme： defining contract of a service to keep semantic information. Although service-oriented design is our prime target, the contract models, to a large extent, are independent of the framework of design and therefore applicable to large scale software design in general.

摘要：为解决选煤厂现有产品煤输送带安装位置和空间局限导致多种产品煤混合在一条输送带无法检测浅槽洗选精煤煤质的问题,进行选煤厂灰分检测辅材系统应用研究。通过定制化设计灰分检测辅材系统,对选煤厂2套浅槽系统1~50 mm粒级精煤进行交替检测,用于指导2套重介浅槽密度调控。解决了目前选煤厂精煤灰分无法检测、检测数据误差大、人工快灰化验时间长及放射源等问题。同时该系统具备对外通信接口,将数据远程输送至DCS系统,为重介分选系统的智能化提供基础数据。

摘要：2018年度约翰·贝茨·克拉克奖得主帕劳格·帕塔克是市场设计和教育经济学领域杰出的青年经济学家。帕塔克在市场设计方面的研究成果不仅显著改善了美国公立学校的择校机制,而且拓展和丰富了市场设计理论,此外,他还运用富有创意的实证研究工具对许多教育政策进行了严谨细致的分析,为教育改革提供了科学有力的论证工具。我们从择校机制设计、大型市场中的市场设计和教育经济学等三个方面对帕塔克的学术成果及贡献进行梳理和评述。

摘要：隧道高地温热害是一种典型的不良地质现象,是铁路综合选线设计的难点,直接关系到隧道工程建设的安全性、技术性及经济性。通过地质调查、地质勘探、水化学分析、地温测试及理论计算等方法,研究三百山隧道地质条件、地热特征及地热发育特征。研究结果表明:三百山隧道隧址区整体在三百山地区中生代以来火山盆地中穿越,受区域内多期次的构造运动以及岩浆活动、火山活动的共同影响,从下而上形成火山岩与火山沉积岩三元地质结构。深部岩浆热源距离地表相对较近,为地热水的形成提供了有利的热源条件。地热水以SO_(4)·HCO_(3)-K+Na型为主,HCO_(3)-K+Na和HCO_(3)·SO_(4)-K+Na型为次。地热水普遍含有氟、氯、镁、铀等多种微量元素。钻孔实测温泉温度32~78℃,总流量8.704 L/s,地温梯度在1.65~2.34℃/100 m内变化,平均值为2.06℃/100 m,总体上,地温随着深度的增大而递增。采用二氧化硅温标方法开展热储温度估算,利用热储温度和通过钻孔资料得到的地温资料,对区域地热的热储深度进行估算。计算结果显示:隧道洞身以Ⅰ级轻微热害为主,占隧道全长的52%;导热破碎带段存在Ⅱ级中等热害问题,占隧道全长的10%。通过对该隧道穿越的不同地层地温梯度分析,提出了其地温评价的单元划分和应对措施。研究成果可为类似工程地热异常区的勘察、设计及施工提供借鉴。

摘要：铁路重载货车车体在运用中出现的疲劳裂纹往往发生在焊缝连接处,为了从设计源头有效遏制此类问题的发生,对车体结构设计传统策略进行了优化,并给出了适用于车体结构设计的优化方法。车体结构设计策略优化是在车体设计传统策略基础上,通过车体静强度仿真,确定应力集中部位,然后建立包括焊缝的应力集中部位实体模型,在结果分析时除了关注焊缝连接处的应力最大点,同时重点关注焊缝连接处的应力变化趋势。为了进一步降低焊缝连接处的应力,给出了正交试验设计、BP神经网络、遗传算法相结合的优化方法。最后采用车体设计策略与GA-BP优化方法对C80E车体从整体到局部进行结构优化,不仅提升了车体结构的疲劳可靠性,同时也验证了本文给出的车体设计策略与结构优化方法合理、可行。

摘要：在铁路领域中,随着铁路运行安全保障要求的提升,无人机凭借其高灵活性、低成本、广覆盖等优势,在铁路行业展现出巨大应用潜力。首先对铁路货场、编组站、施工及应急管理等场景的应用需求进行分析,提出使用无人机结合3DGIS、北斗高清定位、AI图像识别、机载传感、数字孪生等技术,进行智能巡检、安全管控、应急管理、远程调度等应用的解决方案。然后,还对无人机下一步在铁路行业进行规模应用的发展方向进行分析,最后对需要在政策引导、装备安全属性提高及空域管控技术完善等方面进行深入探讨。

摘要：基于商用有限元软件ABAQUS,建立了碳纤维增强环氧树脂复合材料(CFRP)层合板和铝板双搭接胶螺混合连接接头强度预测模型,并进行了仿真分析,同时与试验结果进行对比,探究了此类混合接头在拉伸载荷工况下的失效形式和承载能力。结果表明,拉伸加载过程中,螺栓通过分担部分载荷加强了胶接连接。混合接头的失效形式先表现为胶层的断裂失效,最终表现为层合板孔边挤压失效。利用模型预测的接头承载能力与试验结果的误差为9.7%,具有较好的吻合性。该分析方法能够为复合材料-金属胶螺混合连接的分析和设计提供一定的参考。

摘要：新中国成立60多年来,我国建设了许多防洪、发电、灌溉、调水等水利水电工程,水利水电勘测设计水平不断得到提高。总体看,我国水利水电勘测设计技术已位于世界前列,许多关键技术的把握处于世界领先地位。回顾了各时期水利水电事业的发展,从各时期标志性水利水电工程建设说明勘测设计水平的进步和提高,并对当前所处的地位及今后发展趋势作出了初步评价。

摘要：软件验证是保证核电软件质量的必经步骤之一,基准题验证是核电软件验证的一种重要手段.基准题的数据来源主要是通过自主实验、收集核电厂运行数据、加入国际实验研究计划和购买国际基准题的数据等传统方法获取,但是存在成本高,周期长的问题.为了给堆芯稳态核设计程序验证测试提供更多的验证基准题,本文基于蜕变测试原理提出一种基准题衍生技术,该技术首先建立基准题衍生框架,主要思想是根据蜕变关系的参变量及关系式,直接对原始基准题的相关输入和输出参变量进行计算求解,得到衍生基准题(新的测试用例).再者,针对基准题以固定格式输入卡的形式实现待测程序数据输入的特点,为了提高衍生效率,设计基准题自动衍生算法,开发基准题自动衍生工具系统.最后,以堆芯稳态中子扩散程序的二维、三维基准题的衍生为实例展示.结果表明,该技术可自动地实现单个或者批量生成二维,三维衍生基准题.不但生成数据准确、效率高,而且比传统的方法成本低.