一种基于前向安全的授权群签名方案

本文提出了基于前向安全授权群签名方案,能在群成员密钥泄漏后,保持该成员以前签名的匿名性与有效性,另外通过在一般群签名上增加负责授权的权限管理员和授权过程来达到授权群签名.该方案综合利用前向安全和基于离散时数问题难解性的性质,从而加强了该授权群签名方案的安全性.     

基于符号模型检测的SDG故障诊断解形式化验证

由于定量信息和非线性因果关系的丢失,SDG的故障诊断解需要进一步的进行校核与验证。创新地将SDG故障诊断解的验证置于符号模型检测框架中进行研究,提出了基于符号模型检测的SDG故障诊断形式化验证方法。首先扩展、转换了SDG模型的有限状态变迁系统形式化描述,建立了SMV模型;其次引入故障传播时间建立了模型观测变量的动态验证信息,并基于步进式监控分析了动态验证策略,将SDG正向推理扩展建模为动态推理验证;然后面向符号模型检测扩展了动态推理验证过程的SMV模型,提出了验证算法SSDGFD_ SMC;最后,通过一个实例验证了算法的有效性。     

基于一种改进遗传模拟退火算法的TSP求解

快速收敛于全局最优解是遗传算法的一个研究重点.在对遗传算法和模拟退火算法研究的基础上,分析了两种算法各自的优缺点,对已有的遗传模拟退火算法进行了改进.结合遗传算法和模拟退火算法的优点,给出了一种并行的多层搜索结构,提高了算法的效率;同时,在此基础上,提出一种种群早熟评价指标.最后,将此改进算法应用到旅行商问题中,并分别对10个城市和30个城市的旅行商问题进行了仿真,用于验证算法的可行性和快速性.仿真结果表明.改进的遗传模拟退火算法能够较快的收敛于全局最优解.     

一种变步长AP-REE算法的研究

为了提高自适应滤波器的滤波性能,提出了一种变步长的AP-REE算法。通过分析AP-REE算法权值误差和权值均方误差的二阶统计量,获得了参数迭代步长的一个优化解,促进了AP-REE算法在迭代方向上均方误差的收敛速度。仿真结果表明,相比较于定步长的AP-REE算法,变步长的AP-REE算法获得了更快的收敛速度。     

制约锻造自动化发展的因素

<正>近年来,我国工业产业迅速发展,对产品的产能和质量提出了更高的要求,需要更加先进、柔性及高效的自动化生产设备。同时,当前科学技术的进步,产品的多方位发展速度加快,生存周期逐渐缩短,相关产业的市场竞争越来越激烈。对于锻造行业而言,需要与时俱进,加大对锻造自动化生产工艺技术的研发力度,从而生产出高技术含量、低价格及高质量的产品,更好地满足市场竞争需求。     

世纪之交世界合成氨和尿素技术进展综述

介绍了合成氨、尿素技术的现状和生产过程中采用的典型工艺及其技术特点,概括了高油价下世界合成氨和尿素的原料结构变化及相关技术进展。展望了合成氨、尿素技术未来的发展趋势,认为未来合成氨和尿素技术进展的主要趋势是大型化、低能耗、结构调整、清洁生产和长周期运行。     

野外环境自动监测系统

介绍了一种先进的野外环境自动监测系统。它以TMS320C30为核心处理器,实现了野外污染物光谱数据的实时采集与分析处理。详细叙述了该系统的总体结构、有关接口、辐射探测原理及软件设计。     

激光微多普勒探测运动目标复合振动的实验研究

建立了激光微多普勒效应探测系统,开展了激光微多普勒效应探测运动目标复合振动的实验研究.实验结果的频谱分析和时-频域的联合分析表明:利用激光微多普勒效应,可以有效地探测目标的复合振动,为目标的探测、分类和识别奠定了基础.     

下部烟叶采收时间对上部叶生理生化变化及烤后质量的影响

为改善上部烟叶的品质,进行了烤烟下部叶4个采收时期对上部烟叶生理生化变化及烤后质量的影响试验.结果表明下部叶不同采收时期对烤烟上部烟叶的转化酶、多酚氧化酶以及抗坏血酸氧化酶的活性均有一定影响,且打顶后10d采收处理的烟株其上部烟叶烤后质量最好.     

平原河网地区河流健康评价指标体系构建

分析了长江下游东部河网水系的特点及影响河网健康的因素,明确了评价指标体系构建的原则与理论依据,构建了包含总目标层、分目标层、准则层和指标层四个层次的平原河网地区河流健康评价指标体系。