不确定环境下考虑群体冲突与指标关联的应急群决策EI北大核心CSCD

针对不确定环境下的应急群决策问题,提出一种新的基于语义信息的考虑群体冲突与指标关联的应急群决策模型。利用自由语义信息与可能性分布—犹豫模糊语言集刻画并处理不确定信息;提出一种基于可能性分布—犹豫模糊语言集的群体意见冲突检测与调整算法,降低了专家群体的意见冲突水平;提出一种新的基于决策试验和评价实验室与网络层次分析方法的指标关联权重确定方法;考虑决策专家的风险偏好,提出一种基于前景理论的逼近理想解排序算法。以某高铁车站应对大量旅客滞留突发事件为例,验证了所提模型的有效性与科学性。     

注重学生自我学习建构的教学——以《指数函数》为例

指数函数是高职一年级学生系统学习的第二类基本初等函数,教材给出的是形式性定义。教师如何帮助学生认知指数函数其具体特征(具有指数幂结构——个性),把握其作为函数的本质特点(数集上指数运算的对应,"对应说"——共性),辩证统一地认知指数函数,这是教师教学中需要重点突破的。教学中教师引导学生通过观察、猜想、不完全归纳,提炼指数函数的性质,感知认知的过程和方法;教师从分图、分组的预设中,强调指数函数分类的特点。特别是首尾呼应的巧妙设计,教师通过几何画板,引领学生解决了情境中的"高利贷为什么可怕"的问题,更让学生认识到指数函数的个性特征,在指数函数在底数大于1时,不仅是单调增加的,而且增加的速度很快。     

页岩气水平井暂堵球运移特性数值模拟研究

水平井暂堵压裂技术是提高非常规储层改造效果的关键,而暂堵球在水平井中的运移及封堵特性的准确预判是水平井暂堵压裂成功实施的关键。因此,需要利用数值模拟方法模拟暂堵球在水平井的运移和封堵特性。由于CFD-DEM耦合模型能够将暂堵球颗粒视为旋转的球体,实现颗粒与流体之间的双向耦合,因此基于CFD-DEM耦合方法建立了页岩气水平井井筒暂堵模型,分析了暂堵球粒径、压裂泵注排量和暂堵球密度对暂堵球运移和封堵性能的影响,结果表明,对于?139.7 mm的单簇8孔螺旋分布式套管,孔眼与暂堵球直径之比为0.97左右时井筒暂堵效果最好;暂堵球的坐封效率随着泵注排量增大呈先升高后降低的趋势,泵注排量低于6 m³/min时,随着泵注排量增大,暂堵球坐封效率升高;泵排量为4～7 m³/min时,暂堵球的坐封效率较高;低密度暂堵球的坐封效率最高,高密度暂堵球的坐封效率最低;暂堵球最容易坐封在射孔簇后半段孔眼上,也能够坐封在第1个孔眼上。研究结果表明,基于CFD-DEM耦合的页岩气水平井井筒暂堵模型能够实现暂堵球在水平段运移过程的可视化,利用其可预测暂堵球的运移速度及坐封...     

W14Cr4VMnRE高速钢中稀土碳氮化物的电子探针定量分析

W14Cr4VMn高速工具钢在加入0.026～0.150％Ce后,在钢中形成浅桔红色稀土碳氮化物。本文报导利用电子探针对这种细小夹杂物进行定量分析的结果。首先用波谱测出K值,再经TN-2000能谱仪的ZAF修正程序进行计算机定量计算,确定这种夹杂物为Ce(C,N)_3。     

运输类大型飞机噪声适航测试方法应用

对研发过程中的新舟700系列飞机在内的涡桨运输类客机的噪声适航方法进行分析,对其瞬时声压级、有效感觉噪声级等算法进行研究.使用丹麦B&K公司的噪声分析产品PLUSE声学测试分析系统,采用基于静态测试预测噪声级的算法,“以机代台”对发动机静态数据进行分析.利用涡桨类飞机竞争机型庞巴迪DHC-8-400飞机已有的噪声数据,使用C#语言和Visual Studio 2013平台开发预测系统.最后利用SPSS软件进行置信区间的计算,验证数据的符合性.方法及竞争机型噪声数据可为今后上市的涡桨类运输飞机提供噪声适航研发依据.     

基于矢量水听器的非均匀阵列APES波束形成算法

针对传统幅度与相位估计（Amplitude and phase estimation,APES）算法难以应用于非均匀阵列的问题,研究了基于矢量水听器的APES算法。利用矢量水听器能够同时共点测量声压和质点振速的特点,将矢量水听器的声压和解析振速通道作为两个子阵,两路子阵之间只存在一个相位差,且与阵元位置无关,使得APES算法能够应用于任意形状的阵列。推导和分析了矢量APES算法的阵增益及其稳健性。分析和 仿真表明：该方法相比于传统APES算法,具有更高的阵增益,且能适用于非均匀阵列;相比 于最小方差无失真响应（Minimum variance distortionless response,MVDR）算法,具有更好的稳健性,能解决相干问题及能够获得更准确的信号功率,并用实测数据验证了算法的 有效性。     

一种改进的各向异性扩散深度图像增强算法

深度图像受其测距原理所限,存在边缘不匹配、无效像素、噪声等问题,提出一种基于改进的各向异性扩散算法的深度图像增强方法。首先,校正深度图像和彩色图像的位置关系,并根据时间连续性选择多帧图像,进行多帧均值滤波预处理;其次,通过在彩色图像中引入权重的思想,构建具有4-邻域形式的深度图像模型,利用彩色图像引导的深度图像进行各向异性扩散,填补孔洞;最后,使用改进的自适应中值滤波平滑图像噪声。实验结果表明,该方法能够有效修复原始深度图像中存在的由无效像素组成的黑色孔洞,在抑制噪声的同时,仍能保持深度图像中物体边缘的细节信息。     

基于三维多孔泡沫镍材料的乳糖传感器研究

提出了一种基于三维多孔泡沫镍的乳糖传感器,采用泡沫镍材料作为工作电极,铂电极作为对电极,在0.1 M的NaOH碱性环境中以循环伏安法(CV)和电流-时间曲线法(i-t)建立了乳糖定量检测方法,循环伏安扫描结果证明乳糖可以被泡沫镍氧化,电流-时间检测结果表明乳糖在0.2 mmol/L~3.5 mmol/L的线性浓度范围内,泡沫镍检测乳糖的灵敏度为9.433 1 mA/(cm2·mmol/L),检测限为6.8μmol/L.本文所研究的乳糖传感器具有响应速度快、成本低、高灵敏度、低检测限等优势,具有较好的实际应用价值.     

Wacom Cintiq Companion 2新帝移动电脑保持进化

时隔1年,W a c o m公司在C E S2015上发布了Wacom Cintiq Companion的换代产品：Wacom Cintiq Companion 2。和以往一样《个人电脑》杂志实验室在第一时间拿到了这款产品,并对其进行了一段时间的试用。     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。