设G为一有限群, Λ为群代数QG的一个Z-序, Λ'为包含Λ的一个极大Z-序. 由包含映射诱导出的局部自由类群CL(Λ)到CL(Λ')的同态映射的核定义为核群D(Λ). 当G为有限p-群时, 对D(ZG)的指数给出一个估计.
研究如下形式的非散度椭圆方程
解的二阶导数的高阶可积性,其中系数aij(x)有界且具有小BMO范数,bi(x), c(x)∈Ln(Ω),Ω为Rn(n≥3)中的有界光滑域.
研究RBF神经网络在个人信用评级中的应用.针对传统的RBF神经网络无法处理非数值型数据和对初始中心的选取及异常值十分敏感等问题,提出一种基于模糊K-Prototypes算法的RBF神经网络,提高了处理分类型数据及混合型数据的能力,并且改进的模糊K-Prototypes算法有助于降低模型对初始中心选取和异常值的敏感性.将改进前后的模型分别应用于商业银行的个人信贷评级中,结果表明,改进后的模型预测精度和稳健性都优于传统的RBF模型.
采用Chebyshev配置点法研究平行平板间的导电流体在外加横向磁场作用下的动力稳定性. 通过求解广义Orr-Sommerfeld方程的特征值问题,利用QZ法获取中性曲线,详细分析时间模式下磁流体线性稳定性,研究磁场Hartmann数、Reynolds数、波数和增长率对稳定性的作用.
以实际工程为研究对象,分别建立垂直U型地埋管管群的二维和三维非稳态传热模型. 以Fluent作为计算工具,进行系统运行15年的换热耦合计算,得到不同换热条件下的土壤温度变化曲线. 以三维模型数值计算结果为对比条件,以拟合优度为参照参数,对二维传热模型的应用条件进行了分析.
β-淀粉样蛋白(Aβ)的聚集及纤维生成与阿尔茨海默病(AD)存在密切的关系,大量证据表明,老年斑中含有高浓度的过渡金属离子如Zn2+、Cu2+和Fe3+. 本文采用高效毛细管电泳法(HPCE-UV)研究金属离子与Aβ16以及Aβ28的相互作用. 研究表明,Zn2+、Cu2+和Fe3+都可以与Aβ发生相互作用,但Cu2+可以诱导Aβ16的聚集生成低聚体而Zn2+不能. Zn2+和Fe3+都可以诱导Aβ28生成低聚体,但聚集的速率不同.
利用传统固相烧结法制备功能介电陶瓷材料CaSrTiMnO6 (CSTM). 里瓦尔德精修结果表明,该陶瓷具有单钙钛矿结构,属于pnma空间群. 在CSTM陶瓷的介电谱图中,只出现了一个介电弛豫峰,本文利用混价结构机理和归一化键长理论很好地解释了这种现象. 在333~453 K的温度区间内,介电常数在低频下稳定地保持在4 000左右. 这种性质说明该陶瓷材料在高温低频下具有很大的实际应用潜力.
从拟南芥中克隆得到AtACO3基因的全长cDNA序列. 半定量PCR实验结果表明,200 μmol/L CuCl2处理能明显抑制该基因的表达,而200 μmol/L ZnCl2处理1 h则可显著促进其表达. 为验证AtACO3蛋白N端的功能,构建AtACO3 5'端1632 bp基因片段的原核表达载体pET30a-AtACO3-N,并转化大肠杆菌. SDS-聚丙烯酰胺凝胶电泳检测结果显示,该基因片段可以在大肠杆菌中稳定表达. 进一步的抗性实验表明,异源表达基因AtACO3的N端序列能提高大肠杆菌的Zn2+耐受性.
借助1983—1993年间收集的历史样品,并通过移栽和浇水试验,研究纯粹的降水因子对大针茅水分利用效率的影响. 结果表明,无论是在时间尺度还是移栽实验中,降雨量对大针茅的水分利用效率影响显著. 并且仅仅降雨量的变化就能够造成人们在空间尺度上观察到的响应格局,这种格局是否受遗传因素的影响还需要进一步研究.
选取一条典型入滇池河流大河为研究对象,深入调查了大河周边地下水氮污染的状况,并对其时空分布规律及其相关影响因素进行系统分析.结果表明,大河周边地下水三氮污染十分严重,时空分布呈现出一定的变化规律.地下水中三氮含量变化与降雨量、空间位置、地下水位埋深和氮肥施用量等因素相关.
基于支持向量机(SVM)的相关反馈算法在反馈过程中只利用SVM的分类器,反馈结果排序会出现一定错误, 提出一种改进的相关反馈策略,将图像的视觉特征度量函数和SVM分类器函数进行线性加权,作为相关反馈中的相似性度量准则. 实验表明,改进策略能够优化遥感图像检索排序结果,提高检索的精度.
采用泰尔指数方法,对北京市2001—2009年以区县为单位的区域经济差异进行了定量研究,旨在分析在北京市实现经济快速增长的同时,内部各区县经济发展差异与趋势. 研究发现,1)研究期内北京市区域经济差异总体呈扩大趋势;2)中心城区内部的经济差异主要来自北部城区内部和南北城区之间;3)中心城区、近郊区、远郊区之间的差异对总差异贡献最大;4)造成差异的主要原因有自然地理条件的不同、政府资源配置的差异、以及部分区县的优势产业带动.
提出一种动态充电电流调节方法,应用于太阳能电池-锂电池充电系统. 使用低功耗单片机控制系统,动态调节数字电位器,控制充电电路给磷酸铁锂电池最大充电电流,能有效实施对太阳能电池最大功率追踪(MPPT),同时也能对电池在欠充和满充时实施保护. 实验结果表明,MPPT效率最高可达98.5%,电路功率转换效率最高可达93.5%,最大充电电流3.96 A.
为提高光电跟踪设备图像传输的带宽,提高其抗干扰能力和减少配线工作量,提出一种光纤传输系统的设计方案. 针对cameralink接口的相机,对并行图像数据进行主控处理、编码串行化,通过光纤传输后在接收端再进行解码、主控处理后完成采集. 在方案中,加入自诊断机制初步判断光纤通信链路是否通信正常. 实验结果表明,此方案对于cameralink相机具有通用性,可实现光纤通信链路的自诊断,并且实现了base配置模式和medium配置模式下的图像传输. 传输无误码,单通道传输带宽最高可达2 Gbps.
结合调频连续波(FMCW)技术的机载前视阵列合成孔径雷达(SAR) 既能够获取飞机前下方区域图像,又具有FMCW体制雷达体积小、重量轻的优势,易于安装在直升机等轻小型平台. 根据FMCW体制下前视阵列SAR的几何模型分析其回波信号模型以及其由载机运动引起的多普勒频移,研究相应的补偿方案,给出一种基于FMCW的前视阵列SAR的改进频率变标(FS)算法. 通过仿真验证了算法的有效性.
研究干涉SAR图像数据压缩问题,提出将干涉SAR的数据压缩转化为一个幅度图像的压缩和一个干涉相位图的压缩. 设计机上信号处理流程,给出基于DCT和DWT的2种机上数据压缩方法,并对其数据压缩性能进行分析. 针对相干斑对干涉相位影响较大的问题,在对干涉相位图进行压缩前,插入回转中值滤波. 不同信噪比下干涉SAR仿真数据和实际数据的处理结果,表明了本文方法的有效性.
针对目前多数异常行为分析方法没有考虑场景,提出一种基于隐含主题模型的异常行为分析方法. 提取场景的颜色和纹理特征,利用K-means对特征聚类,形成视觉单词,利用pLSA模型将视觉单词分为若干语义主题区域,生成场景描述. 组合轨迹特征与场景语描述,生成组合特征向量,再利用CRF对组合特征向量建模,通过训练估计模型参数,利用模型推断,分析异常行为. 实验表明,本文方法对特定场景的异常行为可以较为准确地分析.
从硬件实现和软件算法两方面,对基于蜂窝地图的全方位步进式机器人系统进行设计实现. 通过对6轮全向移动平台的力学、运动学和动力学分析建模,借助基于FPGA的高精度光电里程计和激光校准装置,设计出适合蜂窝地图下运行的全方位步进式机器人. 结合多维度传感器的数据融合,在蜂窝栅格地图中分2个层次,分别进行基于"六向分块"思想的局部路径规划和基于遗传算法TSP优化问题的全局路径规划. 实验证明了该系统在实际运行中的精确性和鲁棒性.
针对隐蔽信道威胁高安全等级数据库系统机密性的问题,从隐蔽信道实现场景入手,总结归纳数据库系统中已知的隐蔽信道. 通过提出新型的数据库隐蔽信道分类方法,对隐蔽信道的形成机制进行研究,首次提出几类新发现的数据库隐蔽信道. 此外,在基于不同DBMS的数据库系统中实际构建典型的隐蔽信道,并对其进行对比分析,标识出实现缺陷所导致隐蔽信道存在的可能性.
应用小波变换和改进的几何归一化方法,提出一种强鲁棒图像零水印算法. 该算法首先利用一种改进的几何归一化方法将原始图像化为标准图像,然后对标准图像利用Haar小波进行多级小波分解,最后根据高层的中高频小波系数的正负极性构造零水印. 对算法性能进行测试的结果表明,算法对噪声、滤波、有损压缩等常规信号处理具有强鲁棒性,对旋转、缩放、平移、剪切等几何攻击也具有较好的鲁棒性.
RESTful API作为当前主流Web API,其传参与调用方式具有新特性,传统的Web漏洞检测工具均无法有效对其检测. 本文设计并实现了首款针对RESTful API的SQL注入漏洞检测工具:RASIVD. 实验结果表明,与传统检测工具相比,RASIVD能够检测出更多API SQL注入漏洞,且误报率为零,说明了RASIVD的有效性.
针对多再生中继系统中容量受限于中继到目的端链路的场景,提出一种多播线性收发机辅助的多流多播策略来提高系统容量. 策略中,利用数据共享中继的联合传输提高中继到目的端链路容量,并在源端到中继链路进行多流多播传输以实现数据到中继的有效分发. 针对源端到中继的多流多播,还设计一种多流多播收发机,有效地处理多播数据流,并抑制不同数据流间的干扰. 仿真结果验证了提出的策略在中继到目的链路质量较差时对系统容量的显著增益.