迁移理论中第一类临界参数方程的解及其方向离散化逼近的收敛性

本文用3-阶拟总体紧算子逼近理论证明了迁移理论中第一类临界参数方程的解的存在性及其方向离散化逼近的收敛性。     

基于函数插值的柯氏质量流量计信号处理方法

对基于离散傅里叶变换(DFT)信号处理方式的柯氏质量流量计来说,影响其精度的关键问题是如何实现信号的整周期采样。提出了一种全新的方法,用采样率固定不变的采样数据,通过软件实时地确定信号的频率并且实现信号整周期重新采样。实验结果表明该方法在求取相位差时具有极高的精度。     

露天矿生产车辆安排计划优化设计

本文结合露天矿车辆生产安排计划的特点,全面分析了车辆安排问题约束条件,构建了基于整数规划的线路车次安排数学模型。利用线性规划对电铲进行初始布点,实现对模型的合理简化,加速模型的求解。考虑到电铲利用率很难达到1,为提高模型最优解的实际应用的可行性,增加了车辆调度的弹性,设置了电铲的最大利用率。为保证电铲有一定的利用率,设置了电铲最小利用率。计算表明本模型具有较好的实用性和通用性。     

Observer-based H-infinity output feedback control with feedback gain and observer gain variations for Delta operator system

Considering that the controller feedback gain and the observer gain are of additive norm-bounded variations, a design method of observer-based H-infinity output feedback controller for uncertain Delta operator systems is proposed in this paper. A sufficient condition of such controllers is presented in linear matrix inequality （LMI） forms. A numerical example is then given to illustrate the effectiveness of this method, that is, the obtained controller guarantees the closed-loop system asymptotically stable and the expected H-infinity performance even if the controller feedback gain and the observer gain are varied.     

脸部特征点的定位与提取方法

提出一种正面人脸关键特征点的自动提取方法。该方法选取两个瞳孔点、两个鼻孔点、鼻尖点、两个嘴角点共7个关键特征点进行自动标定的研究,通过在图像预处理阶段采用选择式掩模平滑算子和Fisher线性判别思想分别进行灰度图像的边缘检测和二值化处理,并结合灰度积分投影方法定位人脸区域,进一步应用人脸结构基本特征的先验知识定位面部主要器官,在此基础上结合Hough变换,SUSAN算子实现特征点的自动提取。实验证明：该方法能够准确、有效地标定人脸的关键特征点,具有一定的实用性,可应用于安全部门、身份证管理、电视会议等领域。     

Known-key distinguishers on type-1 Feistel scheme and near-collision attacks on its hashing modes

We present some known-key distinguishers for a type-1 Feistel scheme with a permutation as the round function. To be more specific, the 29-round known-key truncated differential distinguishers are given for the 256-bit type-1 Feistel scheme with an SP (substitution-permutation) round function by using the rebound attack, where the S -boxes have perfect differential and linear properties and the linear diffusion layer has a maximum branch number. For two 128-bit versions, the distinguishers can be applied on 25-round structures. Based on these distinguishers, we construct near-collision attacks on these schemes with MMO (Matyas-Meyer-Oseas) and MP (Miyaguchi-Preneel) hashing modes, and propose the 26-round and 22-round near-collision attacks for two 256-bit schemes and two 128-bit schemes, respectively. We apply the near-collision attack on MAME and obtain a 26-round near-collision attack. Using the algebraic degree and some integral properties, we prove the correctness of the 31-round known-key integral distinguisher proposed by Sasaki et al. We show that if the round function is a permutation, the integral distinguisher is suitable for a type-1 Feistel scheme of any size.     

结合核函数与非线性偏微分方程的图像去噪方法

传统的非线性扩散滤波方法在图像去噪时使用传统的梯度算子,易导致细节缺失。针对该缺点,以非线性偏微分方程和图像结构信息为基础,构造一类带有自适应权值的非线性扩散滤波去噪方式。这种方式选用多方向的拉普拉斯算子模板,结合核函数,自适应地调节权重系数;利用非局部信息选取合适的搜索窗宽,以减小图像噪声的影响。实验证明,该方法既能较好地保存图像纹理细节,又可以达到很好的去噪效果。     

广东核电模拟机培训综述

本文通过大量的调查数据,概括了目前广东核电持照操纵员和高级操纵员的构成情况,如实地反映了模拟机培训的历史和现状,及良好实践.     

有源介观RLC电路的量子波函数及其双波描述

用表象变换的方法求得了介观RLC电路的量子波函数，并由此求得了电荷和电流的量子涨落，同时又用双波函数方法研究了有源介观电路的量子效应。通过两种方法的比较可知，电路的量子涨落与所处的状态密切相关，这一点由双波函数方法清楚可见。用双波函数求得的电荷和电流的系综平均值正是用波函数求得的电荷和电流的期望值。     

百万千瓦超超临界汽轮机中压缸整体总装工艺技术

介绍了上海汽轮机有限公司1000MW超超临界汽轮机中压缸整体总装的工艺技术。本文从工艺方法、工装设备、检测手段等方面,对1000MW超超临界汽轮机中压缸在厂内整体总装的工艺技术进行了阐述。