利用正则表示式描述和设计时序机

用正则表示式来描述时序机的逻辑特性是一种十分有吸引力的数学方法.可是现有文献所提供的这类方法有种种条件,这就大大限制了它的应用.本文试图摆脱这些约束,构造一种普遍适用的正则描述法,并用它来设计时序机.     

结合图像信息和几何关系的配准算法

对图像配准中的特征点检测方法和描述方法进行了研究,提出了一种快速准确的图像配准算法.使用尺度空间理论进行特征点的检测,通过两种不同的特征点描述子对特征点进行描述:一种是基于图像信息的描述子,该描述子使用尺度空间理论上的尺度不变Harris算子的自相关矩阵来描述特征点;第二种是基于空间上的几何关系的描述子,提出了一种融合局部结构特征和全局信息的描述子.在图像配准的目标函数里,将特征点匹配矩阵和图像变换矩阵分解,分别使用两种不同的描述子对二者进行迭代求解.该算法结合了两种特征点描述方法的优点,实验结果表明该方法快速、准确,具有配准精度高和计算时间短的优点.     

非线性采样系统的一种描述函数法

对于同时具有采样过程和非线性元件的控制系统是非常复杂的。无论是线性采样系统理论,还是连续的非线性系统理论和方法都难于用来描述和解决非线性采样系统的问题。本文提出了一种在S域内分析非线性采样系统稳定性和周期状态的描述函数法。它可适于分析有各类非线性元件,不同结构形式,或具有多个非线性元件的非线性采样系统。 1.分析非线性采样系统的一种描述函数法; 2.用描述函数法分析具有一个非线性元件采样系统的稳定性; 3.用DF法分析具有两个非线性元件的非线性采样系统的稳定性。分析计算表明:本方法计算,作图简单,并有足够的精确度,是工程上一种有效的方法。     

中国炭疽菌属(Colletotrichum)的分类研究Ⅰ

介绍了我国炭疽菌属已知种26种,其中新寄主植物4种,地理新分布10种,已知种12种.其中,兰炭疽菌虎头兰变型和直形炭疽菌有描述和插图,其余为名录记载.     

NetBill协议的形式化描述及分析

通过对安全协议验证的形式化需求分析,论证了形式化描述和分析是描述电子商务协议并验证它们属性的有效方法.介绍了一个扩展的BAN逻辑,基于这个逻辑对一种电子交易协议NetBill协议进行形式化描述,并在有入侵的情况下对该协议所期望的属性(安全、原子、隐私)进行了正确的分析,证明了该协议在有入侵者的情况下能够满足安全、原子和隐私等要求.     

基于正弦模型的多描述分层语音编码器

提出一种多描述分层语音编码器. 该编码器基于正弦和等效矩形带宽(ERB)模型,将正弦和噪声模型参数根据能量大小进行适当分配以得到不同的描述和感知层,两个描述中任一描述内包含一个基本层和两个增强层. 该编码器结合了多描述编码(MDC)和分层编码的优点,能够提供稳定的传输质量和速率的自适应. 在有记忆和无记忆信道下对编码器性能的仿真和实验结果表明,在存在分组丢失的情况下,该编码器的性能优于相同速率下的其他编码器.     

基于解耦常识性关联的图像描述生成算法

基于解耦常识性关联的图像描述生成算法旨在排除各类实体间常识性关联对模型推理的干扰,提高描述生成的流畅性与准确性.针对当前图像描述生成中存在的符合常识但与图像内容不相符的关系语句,该算法先通过一种新颖的训练方式加强关系检测模型对图像中真实关系的关注程度,提高关系推理的准确性.再通过一种关系感知的实体交互方法,对存在关系的实体进行有针对性的信息交互,对关系信息进行强化.实验表明,该算法能够纠正一些常识性的虚假关系,生成较为准确的图像描述,并在各项评价指标上获得了较好的实验结果.     

基于DCT的图像均衡多描述方法

多描述方法可将图像编码为多个独立的码流(描述),并通过不同的信道进行传输,因此能够解决不可靠信道传输时的丢包或差错问题.介绍了基于分块DCT的图像多描述编码,并在此基础上根据DCT系数的不同提出了2种多描述方法.实验结果表明,这2种方法在单个描述和两个描述的重构图像中都取得了令人满意的结果,并且所得到的2个描述之间具有...     

基于规范化描述的微处理器功能测试

基于规范化描述，提出了对微处理器进行功能测试的一种方法，给出了实现和结论. 对各种复杂数字系统测试有一定的理论和实用价值.     

一种扩展的模糊描述逻辑

为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.     

基于SNR和PSNR特征的净图定量描述方法的研究

在隐写分析领域,绝大多数的分析方法都采用二类样本(干净图像与掩密图像)进行监督学习的.本文的研究紧紧地围绕干净图像样本,提出了基于SNR和PSNR特征的净图描述方法,通过这二种特征对净图进行量化描述,并在理论和实践中验证了用这二种特征来定量描述干净图像是合适的.当干净图像描述清楚了,干净图像与掩密图像自然而然地区分开了.这种新颖的净图定量描述方法,大大提高了隐写分析方法的适应性.     

换热器管路布置的直接数学描述方法

针对已有换热器管路布置数学描述方法不能直接描述制冷剂流程,以及部分方法不能描述任意管路布置的换热器的问题,提出了一种直接描述流程的管路布置描述方法--制冷荆流程数组.新的方法克服了以上问题,适合应用于换热器的管路优化.将该方法与已有的管路描述方法进行了比较,并将其应用在实际换热器仿真中.     

基于颜色纹理和形状特征相结合的图像检索系统

灰度共生矩阵是一种有效的纹理图像分析方法,为了更有效地进行图像检索,定义了一种新型的灰度共生矩阵描述子,该矩阵描述子能够有效结合颜色、纹理和形状特征,通过描述像素的空间相关性来进行基于内容的图像检索. 利用该矩阵描述子进行图像检索时,先在RGB颜色空间中计算彩色梯度,然后利用灰度共生矩阵来描述图像特征. 实验结果表明其检索性能优于传统的普通灰度共生矩阵.     

基于描述逻辑的图像检索框架

提出一种新的基于描述逻辑的、能处理带有分层信度的图像语义信息的图像检索框架,以解决不确定背景知识的图像检索问题.该框架能处理具有分层信度的不确定语义信息,给出了形状及语义两层模型表述图形信息,提出一种能描述分层信度知识的描述逻辑U-ALC,将图像信息检索化归为描述逻辑U-ALC中的逻辑推理,并给出了描述逻辑U-ALC的推理算法.     

中国炭疽菌属(Colletotrichum)的分类研究Ⅲ

报道我国炭疽菌属3种,其中国内新记录1种,订正种2种.它们是胶孢炭疽菌小变种,毁灭炭疽菌和球炭疽菌,均有描述和插图.研究标本保存于中国科学院微生物所真菌标本室(HMAS)和云南农业大学真菌标本室(MHYAU).     

从Toury的翻译普遍规律谈翻译的归化与异化

Gideon Toury在专著<描述翻译学及其他>中提出了两条翻译的普遍规律,从其内容表述上看与归化和异化有相似之处,但他基于描述翻译研究而得出的结论证明了译作是源语语言文化和目标语语言文化的杂体.译文本身是一种独特的语言变体,我们不应该过于苛求它的纯粹性.     

几种吸附剂对氟的吸附特性的研究

采用静态吸附法研究了活性氧化铝、活化沸石、活性炭、粉煤灰4种吸附剂对氟的吸附特性.结果表明,4种吸附剂的吸附容量均随F-初始浓度或平衡浓度的升高而增大;活性氧化铝和活化沸石的除氟率均随F-初始浓度的增加而明显下降,活性炭的除氟率基本保持稳定,粉煤灰的除氟率随F-初始浓度的增加而略微下降.Henry型吸附等温式能够很好的描述活性碳对氟的吸附,能够较好的描述粉煤灰对氟的吸附,但不能描述活化沸石和活性氧化铝对氟的吸附.Freundlich型吸附等温式能够良好的描述四种吸附剂对氟的吸附,各吸附剂的相关系数达极显著水平或显著水平.Langmuir型吸附等温式能够很好的描述四种吸附剂对氟的吸附,各吸附剂的相关系数均达极显著水平.     

一种数据元语义描述方法

随着数据元标准的建立,数据元在数据集成中有重要作用.当前数据元的语义是通过自然语言解释的,难以满足计算机自动应用数据元的需求.采用本体的思想,提出了一种形式化的数据元语义描述方法,以领域本体的概念为原子概念,以数据元为复合概念,按照数据元的语义特点,建立树形语义描述结构,并定义数据元语义的XML描述方法及图形描述方法.     

逻辑电路中竞争与冒险现象的一种描述

逻辑电路中竞争与冒险现象的描述有多种方法,如波形图法、代数法、几何图法等.本文介绍一种条件状态转移图的描述方法,它具有直观、形象、全面、概括的优点,可以清晰地揭示出竞争冒险现象产生与发展变化的形态与后果,为分析和克服此现象提供条件.