捣固炼焦技术的发展和应用

介绍了捣固炼焦的原理及技术优势,对顶装焦炉与捣固焦炉的主要特点进行了比较,分析了顶装炼焦改造为捣固炼焦所涉及的项目和可能遇到的问题,介绍了捣固炼焦技术的最新进展。     

Identification and Functional Analysis of the Caffeic Acid O-Methyltransferase (COMT) Gene Family in Rice (Oryza sativa L.)

Caffeic acid O-methyltransferase (COMT) is one of the core enzymes involved in lignin synthesis. However, there is no systematic study on the rice COMT gene family. We identified 33 COMT genes containing the methyltransferase-2 domain in the rice genome using bioinformatic methods and divided them into Group I (a and b) and Group II. Motifs, conserved domains, gene structure and SNPs density are related to the classification of OsCOMTs. The tandem phenomenon plays a key role in the expansion of OsCOMTs. The expression levels of fourteen and thirteen OsCOMTs increased or decreased under salt stress and drought stress, respectively. OsCOMTs showed higher expression levels in the stem. The lignin content of rice was measured in five stages; combined with the expression analysis of OsCOMTs and multiple sequence alignment, we found that OsCOMT8, OsCOMT9 and OsCOMT15 play a key role in the synthesis of lignin. Targeted miRNAs and gene ontology annotation revealed that OsCOMTs were involved in abiotic stress responses. Our study contributes to the analysis of the biological function of OsCOMTs, which may provide information for future rice breeding and editing of the rice genome.     

一种基于整数小波变换的医学图像半脆弱水印算法

提出一种应用于医学图像的半脆弱水印算法.首先时RGB图像进行可逆颜色转换,再对亮度分量进行一维整数harr小波变换,然后通过自适应地修改高频系数以嵌入水印.实验表明,该算法具有较高的透明性,对非恶意攻击具有一定鲁棒性,同时能较好地对恶意攻击进行检测与定位,能方便地应用于医学图像管理与保护.     

基于自适应机制的多宇宙并行量子衍生进化算法

进化参量的选取对量子衍生进化算法(QEA)的优化性能有极大的影响,传统QEA在选择进化参量时并未考虑种群中个体间的差异,种群中所有个体采用相同的进化参量完成更新,导致算法在解决组合优化问题中存在收敛速度慢、容易陷入局部最优解等问题。针对这一问题,采用自适应机制调整QEA的旋转角步长和量子变异概率,算法中任意一代的任一个体的进化参量均由该个体自身适应度确定,从而保证尽可能多的进化个体能够朝着最优解方向不断靠近。此外,由于自适应量子进化算法需要评估个体的适应度,导致运算时间较长,针对这一问题则采用多宇宙机制将算法分布于多个宇宙中并行实现,从而提高算法的执行效率。通过搜索多峰函数最优解和求解背包问题测试算法性能,结果表明,与传统QEA相比,所提出算法在收敛速度、搜索全局最优解及执行速度方面具有较好的表现。     

一种基于格局的程序分析方法

本文提出了一种自动程序分析方法，其基本思想是程序可以看成由一组基本成分根据特定的构造方式来构成，从而可以通过提供一组标准的分析方法，实现对程序的自动分析与理解．     

模拟Boyer-Moore定理证明器

SBMTP(Simulate Boyer-Moore Theorem Prover)系统是在IBM-PC-386微机上用GCLISP语言实现的一个定理证明系统。该系统采用的思想方法和理论基础是Boyer-Moore的计算逻辑理论. SBMTP主要由三部分组成:知识库管理部分、定理证明部分及中断恢复部分。 知识库管理部分包括一个基本知识库和一系列知识库构造工具。用户可根据具体问题 灵活地组织自己所需要的知识库,定理证明部分采用启发式方法逐步推演,完成证明。中断恢复部分在证明产生中断的情况下提供了较强的恢复能力,提高了证明效率。     

一类非线性不确定系统的高阶积分自适应滑模控制

为有效改善传统积分滑模在一类非线性不确定系统的应用中存在的抖振问题,结合有限时间收敛理论、高阶积分滑模理论和自适应控制理论,提出了一种高阶积分自适应滑模控制方法;该方法通过选取有限时间收敛反馈量和设计高阶积分滑模面,不仅确保了系统状态误差在有限时间内的收敛性,而且还保证了系统具备对不确定性干扰的抑制能力;同时,当系统的不确定项的边界范围无法预先确定时,采用自适应方法对滑模控制的趋近速率进行估计;仿真结果表明所提方法能够有效抑制非线性不确定系统的抖动,并具有较高的控制精度.     

网络环境中的信息安全技术

我们现在所处的信息时代,是以计算机和互联网为核心的,在这里,信息是一种被社会各行各业广泛利用的资源。当然,随之产生的信息安全性问题也日益增多。随着因特网在全球的飞快发展和普及,跨国的计算机网络也已经深入日常生活,这无疑也为信息犯罪提供了方便。因此,网络环境下的信息安全技术是当今面临的迫切需求,对于保障网络信息的安全、清...     

临近空间飞行器多通道全流程可视化演示系统

临近空间飞行器具有多学科、多物理场强耦合的复杂性,基于多领域耦合仿真与虚拟现实技术实现全流程飞行特性的可视化演示,可对总体和分系统设计人员提供直观、清晰的海量试验数据分析手段.传统的可视化手段往往只是针对三维场景的视景仿真,没有集成多物理场的可视化.且针对多物理场的可视化也只是针对某一个特定的状态,不能表现飞行器多物理场的全程变化过程.通过研究基于多通道的虚拟飞行可视化技术、多物理场科学计算可视化技术,利用多通道投影显示硬件系统、大视场屏幕等硬件设备,建立了多通道、全流程可视化演示系统,取得了较好的应用效果,提供了实验结果的重要辅助分析工具,使可视化视觉效果具有强烈沉浸感.