1‐Factor and Cycle Covers of Cubic Graphs

Let G be a bridgeless cubic graph. Consider a list of k 1‐factors of G. Let be the set of edges contained in precisely i members of the k 1‐factors. Let be the smallest over all lists of k 1‐factors of G. Any list of three 1‐factors induces a core of a cubic graph. We use results on the structure of cores to prove sufficient conditions for Berge‐covers and for the existence of three 1‐factors with empty intersection. Furthermore, if , then is an upper bound for the girth of G. We also prove some new upper bounds for the length of shortest cycle covers of bridgeless cubic graphs. Cubic graphs with have a 4‐cycle cover of length and a 5‐cycle double cover. These graphs also satisfy two conjectures of Zhang 18 . We also give a negative answer to a problem stated in 18 .     

3D X-ray Micro-CT Analysis of Rebar Corrosion in Reinforced Concrete Subjected to a Chloride-Induced Environment

The paper presents experimental investigations of the concrete covers’ protective ability to counteract rebar corrosion in reinforced concrete cubes. The concrete sample was subjected to a chloride-induced environment to get corroded and combined with an un-corroded sample. The chloride-accelerated technique can induce a high degree of corrosion within a controlled time. Moreover, detailed and thorough experimental measurements and analyses of reinforcement loss due to corrosion and its influence on concrete microstructure, were studied through 3D X-ray micro-computed tomography. The rebar outside the concrete was heavily corroded due to the chloride-accelerated test, whereas, only local surface corrosion products appeared inside the concrete. It turned out that the concrete cover showed protective ability to counteract the reinforcing-steel corrosion mechanism despite the accelerated corrosion environment. Moreover, the bond strength between the reinforcement rebar and concrete was not visibly affected since the failure force in the pull-out test and failure mechanisms, observed by 3D X-ray micro-CT, were similar for corroded and un-corroded samples. The failure occurred due to radial cracks with a maximum width equal to approximately 0.25 mm.     

浙江省城镇建设用地空间扩展时空特征分析

运用1990~2015年浙江省6期土地利用数据, 使用扩展速率、扩展强度、分形维数等指标分析浙江省城镇建设用地空间格局. 结果表明 (1)1990~2015年, 浙江省城镇建设用地增长在5个时期呈现“W”趋势, 从不同行政等级来看, 扩展速度的发展趋势具有一致性, 2000~2005年是浙江省不同行政等级的城市城镇用地扩展速度的最快阶段. (2)从扩展强度来看, 浙江省在2000~ 2005年对城镇用地扩展最大, 其他时期基本维持稳定. 地势平缓的城市往往开发强度大, 丘陵地区的城市处于缓慢扩展阶段. (3)浙江省城镇用地空间结构的分形维数和稳定性特征存在波动性. 城镇用地的空间结构特征与城镇用地增长过程和发展阶段具有一定的联系. (4)浙江省城镇用地重心受到地形限制明显. 西南地区受到丘陵地形影响, 重心移动方向大多数与斜长的峡谷平行; 北部平原区域的城镇用地的重心变化往往受到经济等社会因素影响较大. (5)浙江省城镇建设用地空间扩展的影响因素上存在一定规律, 可看出1995年、2010年、2015年主要倾向于社会经济的影响, 在2000年、2005年则倾向于自然因素的影响.     

基于多尺度学习与深度卷积神经网络的遥感图像土地利用分类

土地利用信息是国土资源管理的基础和重要依据,随着高分辨率遥感图像数据的日益增多,迫切需要快速准确的土地利用分类方法。目前应用较广的面向对象的分类方法对空间特征的利用尚不够充分,在特征选择上存在一定的局限性。为此,提出一种基于多尺度学习与深度卷积神经网络（deep convolutional neural network,DCNN）的多尺度神经网络（multi-scale neural network,MSNet）模型,基于残差网络构建了100层编码网络,通过并行输入实现输入图像的多尺度学习,利用膨胀卷积实现特征图像的多尺度学习,设计了一种端到端的分类网络。以浙江省0.5 m分辨率的光学航空遥感图像为数据源进行了实验,总体分类精度达91.97%,并将其与传统全卷积网络（fully convolutional networks,FCN）方法和基于支持向量机（support vector machine,SVM）的面向对象方法进行了对比,结果表明,本文所提方法分类精度更高,分类结果整体性更强。     

流形元法固定边界约束处理研究

在数值流形方法中,对于材料的固定边界,一般采用罚函数的方法进行处理,即在固定边界上设置刚性弹簧约束其位移来实现固定约束条件的近似满足。罚函数法在理论上不是严格的固定约束处理方法,罚弹簧的布置与弹簧刚度的大小对模拟的效果都会产生影响。基于流形单元上位移函数的组成提出了流形方法固定边界约束处理的新方法,在组成流形单元的物理覆盖上,通过取消相应的覆盖函数在流形单元位移函数中的组成来实现双向固定的约束条件,通过使用只包含单方向位移的覆盖函数使x向固定约束条件和y向固定约束条件得到实现,推导了相应固定约束条件下的流形单元刚度矩阵的数值计算格式。该方法严格满足固定约束的物理意义,简化了固定边界的处理,并经算例证明是有效和准确的,有利于数值流形方法的程序实现和工程应用。     

舞台音乐反射罩的声学参量分析

利用有限元技术对不同形状舞台音乐反射罩所产生的声场及其建筑声学参量进行了数值分析,并与无音乐罩时的声场情况进行了对比。结果表明音乐罩对舞台及观众席的音质改善有明显效果。此方法对音乐罩设计有实际指导意义。     

Multipliers,covers, and stem extensions for Lie superalgebras

Suppose that the underlying field is of characteristic different from 2 and 3. We first prove that the so-called stem deformations of a free presentation of a finite-dimensional Lie superalgebra L exhaust all the maximal stem extensions of L; up to equivalence of extensions. Then we prove that multipliers and covers always exist for a Lie superalgebra and they are unique up to superalgebra isomorphisms. Finally, we describe the multipliers, covers, and maximal stem extensions of Heisenberg superalgebras and model filiform Lie superalgebras.     

异型微组装微波组件的可拆卸密封技术

随着微波多芯片组件的广泛运用,封装设计已成为微波多芯片组件技术中的一项重要技术。文章介绍了一种用于异型微组装微波组件的可拆卸封装技术。这种方法通过设计一种带冠的薄壁盖子,采用倒扣软钎焊的方式,来实现异型微波的可拆卸密封技术。     

LTE室分高倒流小区解决方案的研究

LTE室分高倒流直接影响室内4G用户的感知，同时较大程度拉低LTE网络驻留率指标。由于室内无线环境的封闭性，室分小区之间的覆盖独立性，仅仅通过参数调整的手段达到降低高倒流的效果非常不明显，因此本文针对目前影响室内用户感知的高倒流问题，从高倒流小区的标准出发，对室分高倒流小区的发现手段，产生原因及解决方案进行详尽地阐述，并针对各类型的高倒流情形提出解决方法，最终提供读者发现、分析及解决室分高倒流小区的有效方案，从而作为研究方法提供给LTE室内小区高倒流问题解决的指导意见     

Injective hulls are not natural

In a category with injective hulls and a cogenerator, the embeddings into injective hulls can never form a natural transformation, unless all objects are injective. In particular, assigning to a field its algebraic closure, to a poset or Boolean algebra its Mac-Neille completion, and to an R-module its injective envelope is not functorial, if one wants the respective embeddings to form a natural transformation. Received January 21, 2000; accepted in final form August 10, 2001. RID="h1" RID="h2" RID="h3" ID="h1"The hospitality of York University is gratefully acknowledged by the first author. ID="h2"Third author partially supported by the Grant Agency of the Czech Republic under Grant no. 201/99/0310, and the hospitality of York University is also acknowledged. ID="h3"Partial financial assistance by the Natural Sciences and Engineering Councel of Canada is acknowledged by the fourth author.