超分辨率复原技术中基于分级块匹配的运动估计

超分辨率复原技术中的运动补偿(或图像配准)是超分辨率复原过程中的首要环节.运动补偿的基本前提是运动估计问题.运动估计的方法中,在基于多目标场景的平移运动中多采用分级块匹配的方法.本文着重介绍了分级块匹配的方法极其可信度验证,并将其优缺点做了简单对比.     

苦丁茶主物质提取及其HPLC指纹图谱分析

通过对苦丁茶成分的提取方式和条件初步优化,选取最优的色谱分离条件,运用高效液相色谱技术(HPLC),针对4个不同产地的10个批次苦丁茶建立指纹图谱.从图谱中所含主成分的种类和化学成分的提取率选择超声提取的方式,确定75％的乙醇为提取溶剂和30 min的超声时间.在对HPLC条件的优化过程中,根据最终实验结果的优越性选择...     

基于学习通课程的学生网络学习行为研究

针对超星学习通课程学习过程中学生出现的被动学习、消极学习现象,提出分析学生学习态度的方法,构建学习态度跟踪模型.首先针对超星学习通平台收集的学生网络学习行为数据,选取与学习态度相关性较高的指标,形成训练数据集;然后,通过调查法对学生学习态度进行调查,以此获得学习态度标签;最后,基于分类算法构建学习态度跟踪模型,采用五折...     

基于精确标识对象Petri网模型的检测方法

精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程.通过该转换算法不仅能有效地解决精确标识PNO活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.     

基于FPGA的IP仿真验证平台

IP（集成电路知识产权芯核）的仿真和硬件验证是IP开发中不可缺少的环节．文中基于FPGA（现场可编程门阵列）开发了一个IP仿真验证平台,并使用PCI（外部设备互连）总线来测试IP．用户只要将自已设计的IP插入所开发的仿真验证平台,就可以方便地对IP进行测试．文中还对所设计的平台进行了软件仿真,以验证其功能,并在载有Xilinx Spartan-3 600E FPGA的PCI插卡上进行上板调试．结果表明,所建立的基于FPGA的IP仿真验证平台可以对IP进行有效的仿真和验证,并具有良好的稳定性和实用价值．     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

支持多优先级的高速crossbar调度器的设计与实现

为了在高速交换中提供具有服务质量保证的调度器,提出了基于p—iDRR算法的调度器的FPGA实现方案。通过简化调度流程和使用流水线设计方式,使得调度器简单、高速、硬件易实现,并具有良好的性能。采用Xilinx公司的xc2v3000—6bg728芯片实现了支持2个优先级的crossbar调度器,能够支持16个2．5Gb／s的高速端口。另外,提出了一种软件仿真和硬件仿真相结合的验证方案,用于调度器功能的验证。     

基于耦合辅助信息的矩阵分解和靶向GPCRs的配体活性预测方法

G蛋白偶联受体(GPCRs)是人类最重要的药物靶点,目前市场上大约34％的现代药物都以GPCRs作为靶点.在药物发现过程中,配体生物活性的准确预测对于筛选苗头化合物至关重要.对单个GPCR任务来说,通过实验得到生物活性的配体数量十分有限,若将多个GPCRs任务放在一起通过矩阵分解进行学习,可以利用GPCRs任务间的关联...     

3种不同抑菌性的耳用制剂微生物限度检查方法验证及应用

目的探索3种不同抑菌性的耳用制剂微生物限度检查方法.方法依据2015版《中国药典》第四部通则1105、1106及1107中,需氧菌总数、霉菌与酵母菌总数及控制菌的检查法做验证.结果微生物计数法验证试验中,试验组的5种添加菌回收比值均在0.5～2限度内;控制菌均能被检出.结论通过对3种不同抑菌性的耳用制剂微生物限度检查方...     

RVM在SoC验证中的应用及覆盖率驱动技术

介绍了RVM的层次化验证平台的结构,描述了RVM提供的基类和它们相互之间的关系。并且以USB 为例,给出了利用RVM搭建模块级验证平台的方法,阐述了基于代码覆盖率和功能覆盖率的覆盖率驱动技术。