Ehrenfeucht-Fraïssé games in finite set theory

In this article, with Ehrenfeucht-Fraïssé games we prove that Δ₁≠Δ₀ on BFR, which implies Δ≠Δ₀ on BFR, and thus solve an open problem raised by Albert Atserias in his dissertation (Δ₀,Δ₁,Δ are fragments of first order logic and BFR is a class of finite sets which in essence is equivalent to a class of finite pure arithmetic structures with built-in BIT predicate).     

无码间串扰传输特性动态仿真分析与研究

码间串扰和信道噪声是影响基带传输系统性能的两个主要因素。因此,如何消除它们的影响,使系统的误码率达到规定的要求是数字基带系统中必须研究的两个问题。奈奎斯特第一准则为消除码间串扰奠定了理论基础。本文将以此为依据,通过使用Systemview和MATLAB软件实现对基带传输系统的仿真,并根据所得图形从消除码间串扰的角度来定性地分析无码间串扰系统函数的传输特性。实验中所得结果将对我们的理解和实践均有一定的指导作用。     

基于EMS系统的低频减载实时计算的实现

目前电网调度生产中尚不能实现低频减载的在线实时监测,调度无法及时掌握低频减载控制负荷,给电网的安全稳定运行造成一定的安全隐患。为解决该问题,在EMS系统中开发了基于设备的动态拓扑功能,利用广度优先算法将末端设备的负荷动态拓扑到需统计的单位母线上,从而实时显示每条母线8轮低频减载值,再利用E语言文件将计算好的值传给上一级单位进行更高电压等级母线的实时统计。     

通用编辑器的设计及应用研究

硕士研究生入学考试是一种选拔性考试,初试分数合格是选拔的标准之一。根据初试合格线筛选上线生是招生的必经环节,利用计算机可实现快速、高效地筛选,硕士研究生入学考试录取合格线通用编辑器可广泛应用于各招生院校,具有很强的通用性和实用性。     

基于数据预处理的板蓝根注射液指纹图谱模式识别

中药色谱指纹图谱具有成分复杂、图谱基线和成分保留时间易受外界因素干扰等特点.本文对获得的色谱指纹图谱进行基线校正和色谱峰保留时间校正的数据预处理,不需色谱峰的积分,直接用各色谱信号的全谱数据评价相似度、主成分投影分析和谱系聚类分析,将各厂家的注射液样本正确分类并检出其中的异常样本,为处理和评价中药色谱指纹图谱数据,提供客观、便捷的方法.     

JPEG2000中EBCOT算法的优化

JPEG2000是国际标准化组织(ISO)指定的新一代静止图像压缩标准,具有优良的压缩性能和很高的灵活性.在JPEG2000编码系统中优化截断的嵌入式分块编码(EBCOT)的第一层编码花费了大部分时间.为了提高编码的效率,在分析EBCOT算法的基础上提出了一种优化方案.实验结果表明,该方案提高了编码速度,增强了编码的实时性.     

基于改进的Q学习的RoboCup传球策略研究

模拟机器人足球比赛(Robot World Cup,RoboCup)作为多Agent系统的一个理想的实验平台,已经成为人工智能的研究热点。传统的Q学习已被有效地应用于处理RoboCup中传球策略问题,但是它仅能简单地离散化连续的状态、动作空间。提出将神经网络应用于Q学习,系统只需学习部分状态-动作的Q值即可获得近似连续的Q值,就可以有效地提高泛化能力。然后将改进的Q学习应用于优化传球策略,最后在RobCup中实现测试了该算法,实验结果表明改进的Q学习在RoboCup传球策略中的应用,可以有效提高传球的成功率。     

保供电型光储微电网运营策略分析

针对传统应急电源车保供电存在的资产利用率不足、成本较高等问题,结合微电网的发展趋势,提出了一种保供电型光储微电网的运营策略,重点讨论了微电网应用于保供电领域的经济性。提出了光储微电网代替应急电源车的保供电思路,从初始投资成本、运维成本、收益三方面初步分析了微电网应用于保供电领域的经济性;为了解决现阶段储能投资效益差的难题,提出了供电企业向储能投资商给予补贴的建议,并为此提出了虚拟保电量的概念;为了合理确定供电企业给予储能投资商的补贴数额,提出了非博弈和博弈2种补贴方案,并对3种运营模式中共同博弈投资模式的内部交易和定价机制进行了详细讨论。基于算例分析了不同的运营模式下供电企业和社会资本的经济效益,以确定最优的运营策略。     

基于高光谱激光雷达的滞尘叶片光谱特征分析

城市绿植为城市生态系统提供自净功能, 起到净化空气以及滞尘降尘等多种环境保护作用, 而滞尘等因素也 会对绿植产生影响。为了研究滞尘对城市绿植叶片光谱特征的影响, 采集了四种常绿绿植 (八角金盘、石楠、香樟和 玉兰) 叶片样本, 使用高光谱激光雷达系统获取高光谱点云数据, 分析了滞尘对叶片光谱特征的影响。分析结果表明: 对于不同种类叶片, 滞尘对可见光波段反射率均有较大影响; 对于同种类叶片, 滞尘对近红外波段的反射率差异影响 较大, 可见光波段的反射率差异为 1.21%∼3.41%, 近红外为 1.76%∼8.49%; 线性四点内插法计算和光谱导数分析表明 滞尘对四种叶片的红边位置无显著影响; 四种叶片的叶面水含量指数 (LWI) 对滞尘的响应程度最小 (均小于 3.7%), 而 比值植被指数 (RVI) 对滞尘的响应程度最大 (除香樟外, 均大于 20.0%), 红边指数 (SDr)、简单比值指数 (SR) 和叶面叶 绿素指数 (LCI) 的响应程度稳定性较差。进一步建立了滞尘植被指数和响应程度的线性相关性拟合模型并进行了检 验, 其中以 LCI 为自变量建立的模型为最稳定拟合模型, 可表示为 y = −1.527x + 0.6597, 决定系数约为 0.88。     

Atomic origin of the traps in memristive interface

In recent years,trap-related interfacial transport phenomena have received great attention owing to their potential applications in resistive switching devices and photo detectors.Not long ago,one new type of memristive interface that is composed of F-doped SnO2 and Bi2S3 nano-network layers has demonstrated a bivariate-continuous-tunable resistance with a swift response comparable to the one in neuron synapses and with a brain-like memorizing capability.However,the resistive mechanism is still not clearly understood because of lack of evidence,and the limited improvement in the development of the interfacial device.By combining I-V characterization,electron energy-loss spectroscopy,and firstprinciple calculation,we studied in detail the macro/micro features of the memristive interface using experimental and theoretical methods,and confirmed that its atomic origin is attributed to the traps induced by O-doping.This implies that impurity-doping might be an effective strategy for improving switching features and building new interfacial memristors.