程序不动点的直观计算意义

连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法.     

极耐热内切葡聚糖酶Cel12B的基因克隆、表达和酶学性质的研究

极耐热酶在工业生产中有可观的潜在用途,为此从极端嗜热厌氧细菌海柄热袍菌中通过PCR方法克隆出Cel12B基因,构建重组表达质粒pET-20b-Cel12B,转化至大肠杆菌JM109（DE3）诱导表达后,获得极耐热重组内切葡聚糖酶．经过热处理和组氨酸亲和层析柱纯化,获得电泳纯单一条带,酶学性质测定表明：最适作用pH为6．0,最适作用温度90℃,在pH5．3～6.5之间酶活力稳定,90℃半衰期70min。     

四旋翼无人机固定时间姿态输出反馈控制

为实现角度不可测的四旋翼无人机(unmanned aerial vehicle, UAV)姿态跟踪,提出一种新的输出反馈控制方案。首先,将外界干扰与系统模型中的不确定作为综合扰动整体估计,设计了固定时间扩张状态观测器来估计未知角速度和综合扰动,保证估计误差能够在固定时间内收敛到原点,且收敛时间不依赖于系统的初始条件。同时为了提升控制精度和速度,设计基于齐次性理论的固定时间控制器,能够保证系统的跟踪误差在固定时间内收敛至零,且收敛时间与四旋翼无人机的初始状态无关。最后,通过仿真研究,验证本文所提方案的有效性。     

基于模糊综合评判法的自行车骑行环境评价——以北京市为例

机动车与自行车争夺有限的道路资源,恶化了自行车骑行环境,如何改善自行车骑行环境并提高自行车道改善工作的决策水平是保障自行车出行的关键。从道路设施和交通运营两个方面分析筛选出13项骑行环境评价指标;基于拉格朗日条件极值原理综合运用包含层次分析法-熵值法的组合赋权法确定各项指标的权重系数,进而构建了城市自行车骑行环境模糊综合评判模型。最后选取北京市朝阳区部分道路为实例,进一步验证了模型的可行性。结果表明：根据道路状况和交通运营的评分高低确定自行车骑行环境改造的优先次序,可为较差的骑行环境提供明确的改造指导,避免无方向的盲目改造,从而以耗费更少的社会资源取得更优的骑行环境改善成效。     

基于迁移学习的卷积神经网络电网故障诊断

电网拓扑结构复杂、分支众多、潮流分布不平衡、故障样本较少且难以获取。为提高配电网的故障诊断准确性,提出将迁移学习的思想与卷积神经网络(convolutional neural networks, CNN)相结合,以此来解决目标域样本不足导致训练效果差的问题,同时利用主成分分析(principal component analysis, PCA)对时序数据进行降维,提升运行速率,形成配电网故障诊断方法。首先对PCA和CNN的结构特点进行分析;然后通过仿真模拟不同的故障条件,生成面向CNN的时序数据。再通过最大均值差异法(MMD)选择出最适合迁移的源域数据,建立源域故障识别的预训练模型。最后使用目标域数据,在预训练模型的基础上进行迁移微调训练,得到故障诊断模型。仿真结果表明,该方法能够在小样本的情况下迅速完成对故障类型的精准预测。     

Microstructure,phase stability and mechanical properties of Nb–Ni–Ti–Co–Zr and Nb–Ni–Ti–Co–Zr–Hf high entropy alloys

Owning to their excellent thermal stability and high strength at elevated temperature,high entropy alloys(HEAs) possess great potential for the application in aviation and aerospace fields.In present work,two novel Nb-Ni-Ti-Co-Zr and Nb-Ni-Ti-Co-Zr-Hf HEAs were prepared by arc melting and copper mold suction-casting method.The microstructure,phase stability,mechanical properties at room temperature and elevated temperature of the two HEAs were studied.Both of the HEAs possess high yield stress at room temperature,especially for the Nb-Ni-Ti-Co-Zr(with 2331 Mpa).In addition,the Nb-Ni-Ti-Co-Zr HEA exhibited high yield stress of 564 Mpa at elevated temperature of 800 ℃ and large compressive plastic strain(more than 50%at 800 ℃).Nb-Ni-Ti-Co-Zr-Hf alloy showed new phase precipitation at 800 ℃,whereas the structure of Nb-Ni-Ti-Co-Zr was more stable,which is one of the reason why it possesses high strength at room temperature and elevated temperature.The high temperature properties of the Nb-Ni-Ti-Co-Zr HEA make it promising for high temperature application.     

Robust predictive control of polytopic uncertain systems with both state and input delays

A robust model predictive control algorithm for discrete linear systems with both state and input delays subjected to constrained input control is presented,where the polytopic uncertainties exist in both state matrices and input matrices.The algorithm optimizes an upper bound with respect to a state feedback control law.The feedback control law is presented based on the construction of a parameter-dependent Lyapunov function.The above optimization problem can be formulated as a LMI-based optimization.The feasibility of the optimization problem guarantees that the algorithm is robustly stable.The simulation results verify the effectiveness of the proposed algorithm.     

技术能源网络MIS

本文介绍企业技术能源网络ＭＩＳ的网络环境，系统的软、硬件构成，设计思想，技术特点和实现策略。     

羧甲基纤维素钠水溶液稳定性及其对胶体的保护性能

羧甲基纤维素钠(CMC)是一种高分子电解质,作为保护胶体在医药、食品、石油、纺织、印染等领域均有广泛的应用。不同取代度和聚合度的CMC在一定浓度的乙醇水溶液中溶解性能不同。本文利用这个原理对CMC分级。测定织物整理用的活性碳悬浮液的相对聚结量⊿f值的结果表明,在本实验中具有较低取代度和较高聚合度的级分对胶体的保护性能较好。 CMC水溶液的存放性能很不稳定,主要原因是在外界因素作用下分子链断裂,因此特性粘度下降。在存放降解过程中CMC对胶体的保护性能开始有所上升,然后逐渐下降。存放时温度升高会大大加速CMC对胶体保护性能下降的过程。     

非齐次Poincare’标架丛、配丛以及它们的联络

本文给出了结构群ISO(3,1)元素左右作用的两种不同表示。用矩阵乘法定义了群元素的左、右作用以及它们对矢量和标架的左、右作用,规定了将仿射标架分解为矩阵组合的一种形式,并用一种新的方法定义结构群对积流形P×M′的作用,从而建立了新的非齐次Poincare′标架丛P(M)及其配丛E(M)。