无双线性对的无证书签密方案分析与改进

对高键鑫等人提出的一种无双线性对运算的无证书签密方案进行密码分析,指出方案的不可伪造性证明存在漏洞,致使方案不安全,并提出了一个改进的签密方案.安全性能方面,为了抵抗不诚实用户发起的公钥替换攻击,改进方案在签密运算的指数部分加入用户生成的部分公钥的哈希函数值,并在随机预言模型下证明了改进方案对自适应选择消息和身份攻击是存在性不可伪造的,改进方案没有使用计算耗时的对运算,具有较高的运算效率.     

基于连云港海相软土的新型土工材料强度试验研究

以连云港港区海相淤泥为原料,发泡聚苯乙烯EPS颗粒为轻质掺料,水泥为主固化材料,粉煤灰、矿渣、砂、石灰、石膏等为辅助固化材料,制备出满足一定强度的新型轻质土工材料.通过一系列的强度试验,分析了各固化剂掺量与固化后的淤泥无侧限抗压强度的影响,探讨了各掺料的固化机理.结果表明,在最佳配合比范围内,该新型土工材料的无侧限抗压强度远大于单一材料的强度值.     

基于无速度传感器的直接转矩控制系统优化

针对传统异步电机直接转矩控制系统在低速运行状态下存在磁链轨迹发生波动、转矩脉动大的问题,提出一种新型异步电机直接转矩控制策略。采用滑模控制和空间矢量脉宽调制技术(SVPWM: Space Voltage Pwlse-Width Modulation), 引入滑模控制器, 以提高系统对参数变化和外界干扰的鲁棒性。利用空间电压矢量脉宽调制技术产生系统所需要的任意期望空间电压矢量, 使磁链轨迹更趋近于圆形, 即降低了转矩和磁链脉动,又增强了系统的鲁棒性。同时引入无速度传感器技术, 以提高系统工程应用性。通过在Matlab/ Simulink软件仿真结果表明, 新型直接转矩控制系统改善了磁链轨迹波动并有效地降低了转矩脉动, 使转速估计具有较高精度。     

交互式语音地球仪照明结构研究

简述了交互式语音地球仪结构原理;研究了地球仪上首都的无歧义显示、发光二极管的布置以及首 都显示分辨率;制成了交互式语音地球仪。     

马钢新2#2 500m3高炉出铁场设计

马钢新2# 2 500 m3大高炉出铁场设计采用了双矩形出铁场的纵向布置形式.共设3个铁口,无渣口.每个出铁场下均设2条混铁车停放线,采用320 t鱼雷型混铁车受运铁水.在介绍马钢新2#大高炉出铁场设计的同时,详细论述了针对同类型高炉出铁场设计存在的某些问题所采取的技术措施.     

嵇康《声无哀乐论》音乐美学思想中的典型命题及其论证

从逻辑角度对嵇康声无哀乐论的音乐美学思想及典型命题论证进一步认真分析与研究,旨在说明嵇康以哀乐＂名＂＂实＂之辩来阐述＂声无哀乐＂的思想认识的合理性思路。     

不连续问题的无网格分域算法

提出一种无网格方法中采用分域的思想处理材料和位移不连续问题的方法。该方法将求解域沿不连续面进行分域,通过使用两种转换矩阵使子域交界面上的位移连续性得到满足;采用分块矩阵法计算转换后的刚度矩阵,所得刚度矩阵仍具有稀疏、带状性。可采用与有限元耦合的方式施加本质边界条件。编制了该算法的计算程序,通过对材料不连续悬臂梁弯曲问题的分析和单边裂纹板裂纹张开位移的计算,验证了该算法的正确性和有效性。     

无瓣海桑（Sonneratia apetala）对浮游微藻群落结构及生态功能的影响研究

 2009年春季和秋季对广州市南沙区14涌和19涌以人工种植红树植物无瓣海桑（Sonneratia apetala）为主的湿地水体中的浮游微藻进行采样调查,从种类数、丰度、门类组成和多样性指数对微藻进行群落结构及其生态功能的分析研究,并以此对湿地水质进行评价和从藻类的角度分析无瓣海桑对湿地水体的净化功能。结果显示,微藻种类极其丰富,共鉴定出8门92属338种,总丰度在10⁵～10⁷个/L数量级,其中以19涌湿地公园无瓣海桑林内微藻丰度最高,达9.45×10⁶～1.20×10⁷个/L,为超富营养水平。14涌和19涌都存在着有机污染现象,但14涌湿地水质要优于19涌,主要与其内水文条件较优有关。无瓣海桑如果在较封闭的水体环境中易产生较严重的水体富营养化现象。在管理人工红树林湿地时应注意保证林内与林外水体的流通。     

一种基于DAG图的异构可重构任务划分方法

为了实现高性能低功耗的计算,以任务划分为研究对象,提出了异构可重构计算的基本概念和形式化描述方法,给出了基于异构计算任务和异构可重构体系结构相结合的异构可重构两种任务划分方法:节点内部可重组及网络可重建的任务划分及算法,最后验证了其任务划分方法的有效性.     

地表水水质评价模型及其遗传算法求解

以标准等级水体为样本点构造样本空间,借鉴无单元思想,建立带权的地表水水质评价模型.对模型中的参数,根据数据拟合的思想,将问题转化为一个非线性优化问题,然后利用遗传算法进行求解.用已知算例对评价模型的合理性进行对比检验,并将其成功应用于密云水库样本点水质的综合评价,最后将此模型推广到一般情形的评价问题.