广义(ω')性质是Weyl型定理的一种新变化.利用由一致Fredholm指标算子定义的新谱集, 研究了算子T摄动有限秩算子后的广义(ω')性质, 其中T是a-isoloid的, 并将主要结果应用于几类算子.
研究Hilbert空间上复等角紧框架的性质. 首先,建立复等角紧框架的一些必要条件;其次,实等角紧框架的一些结果被拓广到复等角紧框架上.
在紧致的Calabi-Yau流形上,虚部具有确定惯性指数的周期矩阵形成复空间的子空间.在这些子空间上,对辛群Sp(2n,Z)的子群G0发展了模形式理论, 并在具有一个负惯性指标的周期矩阵所形成的空间上给出了推广的Siegel模形式表达式.
基于2009年新立城水库的水质调查资料,分析了新立城水库营养盐动态及富营养化特征.结果表明, 高锰酸钾指数范围为3.4~8.6mg/L,TN为0.48~1.66mg/L,TP为0.021~0.096mg/L. TN和TP含量均超过水体发生富营养化的临界值.7~9月份的N/P适宜藻类生长.选用修正的Carlson营养状态指数法评价水体营养状态,结果表明,6~9月为富营养水平,其余月份为中营养水平.相关分析表明,温度对Chl-a含量的影响显著.另外,Chl-a与pH、总磷之间的相关性显著,与总氮、溶解氧之间相关性较弱.
淮北煤田是中国东部主要的煤炭生产基地之一.通过分析淮北煤田孙疃-赵集2个新勘探矿区中测温数据资料,绘制出了研究区主采煤层在后期开采中可能产生高温热害的分布图. 研究表明:孙疃-赵集勘探区现今地温梯度分布范围介于1.7~3.6℃/hm ,平均现今地温梯度约为2.68℃/hm,3个主采煤层的高温热害区表现出了东高西低的特点.
依据SIMPLE算法中边界压力的外推格式,结合定压边界条件重新推导了邻近边界内节点的压力计算公式.根据NEUMANN特性给出了新的定压边界速度计算公式,用IDEAL算法来处理压力和速度的耦合.讨论了定压边界流动传热问题的求解步骤.通过几个经典算例将本方法与文献方法进行了对比,结果表明本方法提高了定压边界问题数值解的精度,加快了迭代过程的收敛.
应用人工免疫算法规划复杂地形和火力威胁环境下的三维飞行航迹.根据实际地形的特点提取在山岭横栏的地形和多火力威胁包围的复杂场景,利用人工免疫算法的3种情况分别进行飞行器的航线设计,同时根据飞机的机动性和适航性对上述规划出的航迹进行优化;并把免疫算法3种情况的模拟结果进行比较.仿真结果表明,与遗传算法相比,人工免疫算法在规划复杂环境下三维航迹是可行的,在时间上有一定的优势.
针对DCT系数的非高斯性以及广义高斯分布和α稳定分布在音频DCT系数建模上的局限性,提出了一种混合模型.该模型由广义高斯分布和α稳定分布线性加权而成,其加权系数由遗传算法产生.模型的准确性由衡量2个概率分布之间差异的物理量Kullback-Leibler Divergence(KL散度)测量.实验结果表明,提出的混合模型接近于真实分布,并可用于音频检索和隐写分析.
针对云存储环境下突出的一些新问题,如网络的广域性与动态性、商业利益的追求、一致性与可用性的权衡等,提出了一种代价驱动的自适应副本策略CDRS.该副本策略通过引入市场机制中的代价,综合考虑负载平衡及一致性与可用性的均衡,对副本进行自适应的操作,达到最小化副本开销和最大化副本收益的目标.实验结果表明,与传统的副本策略相比,该策略在副本收益以及负载均衡方面有着更大的优势.
结合调整感应半径和采用睡眠唤醒调度机制2种重要的最大化网络生命周期方法,研究了无线传感器网络的最大覆盖子集MSC-ASR问题,提出了相应的混合整数规划模型,证明了所给MSC-ASR问题是一个NPC模型.此外,提出了所探讨问题的2种算法:集中式和分布式.最后通过实验表明了所给算法的有效性.
随着高性能计算需求的不断增长,人们开始将目光投向具有强大计算能力及高存储带宽的GPU设备.与擅长处理复杂性逻辑事务的CPU相比,GPGPU(general purpose graphic processing unit,通用图形处理器)更适合于大规模数据并行处理.CUDA(compute unified device architecture,统一计算架构)的出现更加速了GPGPU应用面的扩张.基于GPGPU和CUDA技术对AES算法的实现进行加速,得到整体吞吐量6~7Gbit/s的速度.如果不考虑数据加载时间,对于1MB以上的输入规模,吞吐量可以达到20Gbit/s.
采用模型检测方法验证微内核操作系统的进程间通信机制,提出了一种从源码提取验证模型的方法.该方法以L4操作系统的进程间通信机制的C+ +源码实现为检验对象,从源码实现直接提取形式化模型,得到Promela语言的模型描述,可以直接应用模型检测器Spin对其进行正确性检测.实验表明了该方法的可行性和实用性.
以运行Hadoop云计算软件平台的异构机群中服务器的硬件指标作为模糊输入,设计了一种自动配置本地服务器的工具.该工具改变了传统云计算平台下的配置方法,以服务器运行历史数据作为参考,引入异构配置方法,通过对异构机群特性的分析,实现对机群的自动配置.仿真实验证明,在保证机群高效的基础上,该工具降低了云计算异构机群的维护成本,具有较高的通用性和可扩展性,对一般的云计算平台也具有参考价值.
针对Ad Hoc网络的黑洞攻击问题,基于AODV协议提出一种采用"逆向逐节点验证"的解决方案.本方案使用控制报文和数据报文检查网络中是否存在黑洞节点,确定黑洞节点的位置并进行排除.中间节点也对可疑节点进行验证,将黑洞攻击危害降到最低.与现有其他方案的比较表明,改进的方案在有效抵御针对Ad Hoc网络黑洞攻击的同时,具有更低的网络开销和网络延迟.
采用博弈论的方法,提出一种新的理性秘密共享方案.该方案具有以下特点:基于椭圆曲线密码体制,能检验出分发者和参与者的欺骗行为;在密钥重构阶段,不需要可信者参与;将真秘密放在一系列假秘密之中,参与者不知当前轮是否是测试轮;参与者偏离协议不如遵守协议的收益大,理性的参与者有动机遵守协议;最终每位参与者公平地得到秘密.分析表明方案是简单、公平和有效的.
通过分析网格资源访问过程中信任管理问题,借鉴人类社会的信任关系,考虑主观信任的模糊性、复杂性和不确定性等因素,通过对网格资源需求的多方面考虑,引入服务属性概念,提出一种基于多服务属性的网格信誉资源选择模型.服务请求者根据自身喜好对各服务属性进行模糊综合评判,选择交易对象.交易结束后,服务请求者根据服务质量判断服务提供者是否可信,并进行信任度更新.仿真实验表明,该模型能较好地抵御恶意实体的攻击,提高资源选择成功率.
从实体行为可信性的主观角度出发,针对传统主观逻辑理论没有考虑主观评测结果随时间动态变化的问题,提出对主观逻辑理论进行动态化多维扩展的思想,将传统的二维观点空间扩展为多维动态观点空间.在综合考虑实体行为的声誉和风险的基础上构建起实体可信度评价体系,提出一个基于主观逻辑扩展的实体行为动态可信评测模型.实验结果表明,该模型对实体恶意行为的反应更加灵敏,检测更加准确,抑制更加有效.
在辫群上定义了一种新的数学问题——多一求根问题.基于该问题的难解性构造了一个强盲签名体制,并证明其在随机预言模型下能抵抗适应性选择的消息的多一存在性伪造攻击.与共轭盲签名体制相比,新体制的优势在于计算效率更高、签名长度更短.
根据NTRU加密算法的可延展性,在简单的确定性模型下证明了它的比特安全性.若预言机能够输出询问密文对应的明文多项式所有系数之和的奇偶性时,则预言机可以通过一系列的询问获得对应的明文.与Mats等人的证明相比,文中的模型更简单,更切合实际中NTRU解密机工作的情形.最后,分析了比特安全性与不可区分性之间的关系,指出形式化强安全定义将具有更高的实用性.
